runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108311143/gj-user-solver-1.0/rand97.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand97.cudf /home/misc2010/tmp/201108311143/gj-user-solver-1.0/rand97.cudf.user-upgrades.result -sum(installedsize) 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 1/33 30270
/proc/meminfo: memFree=775216/1048576 swapFree=0/0
[pid=30270] ppid=30269 vsize=3020 CPUtime=0
/proc/30270/stat : 30270 (runsolver) R 30269 30270 19908 34817 19908 4202560 73 0 0 0 0 0 0 0 25 0 1 0 65913861 3092480 94 1283457024 134512640 134586868 4292921168 18446744073709551615 4294960130 0 0 0 24578 0 0 0 17 0 0 0 0
/proc/30270/statm: 755 94 62 19 0 54 0

[startup+0.114553 s]
/proc/loadavg: 0.85 0.97 0.99 1/33 30270
/proc/meminfo: memFree=775216/1048576 swapFree=0/0
[pid=30270] ppid=30269 vsize=2568 CPUtime=0
/proc/30270/stat : 30270 (gj-user-solver-) S 30269 30270 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 65913861 2629632 269 1283457024 134512640 135304128 4294697408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30270/statm: 642 269 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.206582 s]
/proc/loadavg: 0.85 0.97 0.99 1/33 30270
/proc/meminfo: memFree=775216/1048576 swapFree=0/0
[pid=30270] ppid=30269 vsize=2568 CPUtime=0
/proc/30270/stat : 30270 (gj-user-solver-) S 30269 30270 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 65913861 2629632 269 1283457024 134512640 135304128 4294697408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30270/statm: 642 269 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.316449 s]
/proc/loadavg: 0.85 0.97 0.99 1/33 30270
/proc/meminfo: memFree=775216/1048576 swapFree=0/0
[pid=30270] ppid=30269 vsize=2568 CPUtime=0
/proc/30270/stat : 30270 (gj-user-solver-) S 30269 30270 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 65913861 2629632 269 1283457024 134512640 135304128 4294697408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30270/statm: 642 269 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.714644 s]
/proc/loadavg: 0.85 0.97 0.99 1/33 30270
/proc/meminfo: memFree=775216/1048576 swapFree=0/0
[pid=30270] ppid=30269 vsize=2568 CPUtime=0
/proc/30270/stat : 30270 (gj-user-solver-) S 30269 30270 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 65913861 2629632 269 1283457024 134512640 135304128 4294697408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30270/statm: 642 269 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+1.51475 s]
/proc/loadavg: 0.85 0.97 0.99 2/43 30280
/proc/meminfo: memFree=711352/1048576 swapFree=0/0
[pid=30270] ppid=30269 vsize=2568 CPUtime=0
/proc/30270/stat : 30270 (gj-user-solver-) S 30269 30270 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 65913861 2629632 269 1283457024 134512640 135304128 4294697408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30270/statm: 642 269 229 194 0 29 0
[pid=30272] ppid=30270 vsize=411548 CPUtime=1.17
/proc/30272/stat : 30272 (java) S 30270 30270 19908 34817 19908 4202496 26121 0 65 0 114 3 0 0 25 0 9 0 65913862 421425152 25431 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30272/statm: 102887 25431 2900 10 0 97035 0
[pid=30272/tid=30273] ppid=30270 vsize=411548 CPUtime=0.58
/proc/30272/task/30273/stat : 30273 (java) R 30270 30270 19908 34817 19908 4202560 6644 0 35 0 56 2 0 0 25 0 9 0 65913863 421425152 25431 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30272/tid=30274] ppid=30270 vsize=411548 CPUtime=0.58
/proc/30272/task/30274/stat : 30274 (java) R 30270 30270 19908 34817 19908 4202560 18091 0 27 0 57 1 0 0 18 0 9 0 65913863 421425152 25431 1283457024 134512640 134550932 4288101072 18446744073709551615 4151029920 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=30272/tid=30275] ppid=30270 vsize=411548 CPUtime=0
/proc/30272/task/30275/stat : 30275 (java) S 30270 30270 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 19 0 9 0 65913864 421425152 25431 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30276] ppid=30270 vsize=411548 CPUtime=0
/proc/30272/task/30276/stat : 30276 (java) S 30270 30270 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 19 0 9 0 65913864 421425152 25431 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30277] ppid=30270 vsize=411548 CPUtime=0
/proc/30272/task/30277/stat : 30277 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 65913865 421425152 25431 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30278] ppid=30270 vsize=411548 CPUtime=0.01
/proc/30272/task/30278/stat : 30278 (java) S 30270 30270 19908 34817 19908 4202560 445 0 3 0 1 0 0 0 15 0 9 0 65913865 421425152 25431 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30279] ppid=30270 vsize=411548 CPUtime=0
/proc/30272/task/30279/stat : 30279 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 65913865 421425152 25431 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30280] ppid=30270 vsize=411548 CPUtime=0
/proc/30272/task/30280/stat : 30280 (java) S 30270 30270 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 9 0 65913865 421425152 25431 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 414116

[startup+3.10511 s]
/proc/loadavg: 0.85 0.97 0.99 2/43 30280
/proc/meminfo: memFree=639804/1048576 swapFree=0/0
[pid=30270] ppid=30269 vsize=2568 CPUtime=0
/proc/30270/stat : 30270 (gj-user-solver-) S 30269 30270 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 65913861 2629632 269 1283457024 134512640 135304128 4294697408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30270/statm: 642 269 229 194 0 29 0
[pid=30272] ppid=30270 vsize=411680 CPUtime=2.77
/proc/30272/stat : 30272 (java) S 30270 30270 19908 34817 19908 4202496 49729 0 65 0 265 12 0 0 25 0 9 0 65913862 421560320 49039 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30272/statm: 102920 49039 2900 10 0 97068 0
[pid=30272/tid=30273] ppid=30270 vsize=411680 CPUtime=1.17
/proc/30272/task/30273/stat : 30273 (java) R 30270 30270 19908 34817 19908 4202560 13748 0 35 0 111 6 0 0 25 0 9 0 65913863 421560320 49039 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30272/tid=30274] ppid=30270 vsize=411680 CPUtime=1.55
/proc/30272/task/30274/stat : 30274 (java) R 30270 30270 19908 34817 19908 4202560 34591 0 27 0 150 5 0 0 16 0 9 0 65913863 421560320 49039 1283457024 134512640 134550932 4288101072 18446744073709551615 4150948720 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=30272/tid=30275] ppid=30270 vsize=411680 CPUtime=0
/proc/30272/task/30275/stat : 30275 (java) S 30270 30270 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 19 0 9 0 65913864 421560320 49039 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30276] ppid=30270 vsize=411680 CPUtime=0
/proc/30272/task/30276/stat : 30276 (java) S 30270 30270 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 19 0 9 0 65913864 421560320 49039 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30277] ppid=30270 vsize=411680 CPUtime=0
/proc/30272/task/30277/stat : 30277 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 65913865 421560320 49039 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30278] ppid=30270 vsize=411680 CPUtime=0.02
/proc/30272/task/30278/stat : 30278 (java) S 30270 30270 19908 34817 19908 4202560 449 0 3 0 2 0 0 0 15 0 9 0 65913865 421560320 49039 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30279] ppid=30270 vsize=411680 CPUtime=0
/proc/30272/task/30279/stat : 30279 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 65913865 421560320 49039 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30280] ppid=30270 vsize=411680 CPUtime=0
/proc/30272/task/30280/stat : 30280 (java) S 30270 30270 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 9 0 65913865 421560320 49039 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 414248

[startup+6.30584 s]
/proc/loadavg: 0.94 0.99 0.99 2/43 30280
/proc/meminfo: memFree=502660/1048576 swapFree=0/0
[pid=30270] ppid=30269 vsize=2568 CPUtime=0
/proc/30270/stat : 30270 (gj-user-solver-) S 30269 30270 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 65913861 2629632 269 1283457024 134512640 135304128 4294697408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30270/statm: 642 269 229 194 0 29 0
[pid=30272] ppid=30270 vsize=440720 CPUtime=5.96
/proc/30272/stat : 30272 (java) S 30270 30270 19908 34817 19908 4202496 78129 0 65 0 575 21 0 0 25 0 9 0 65913862 451297280 77433 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30272/statm: 110180 77433 2901 10 0 104328 0
[pid=30272/tid=30273] ppid=30270 vsize=440720 CPUtime=2.03
/proc/30272/task/30273/stat : 30273 (java) R 30270 30270 19908 34817 19908 4202560 13765 0 35 0 197 6 0 0 25 0 9 0 65913863 451297280 77433 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30272/tid=30274] ppid=30270 vsize=440720 CPUtime=3.87
/proc/30272/task/30274/stat : 30274 (java) R 30270 30270 19908 34817 19908 4202560 62955 0 27 0 373 14 0 0 16 0 9 0 65913863 451297280 77433 1283457024 134512640 134550932 4288101072 18446744073709551615 4152142363 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=30272/tid=30275] ppid=30270 vsize=440720 CPUtime=0
/proc/30272/task/30275/stat : 30275 (java) S 30270 30270 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 19 0 9 0 65913864 451297280 77433 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30276] ppid=30270 vsize=440720 CPUtime=0
/proc/30272/task/30276/stat : 30276 (java) S 30270 30270 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 19 0 9 0 65913864 451297280 77433 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30277] ppid=30270 vsize=440720 CPUtime=0
/proc/30272/task/30277/stat : 30277 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 65913865 451297280 77433 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30278] ppid=30270 vsize=440720 CPUtime=0.04
/proc/30272/task/30278/stat : 30278 (java) S 30270 30270 19908 34817 19908 4202560 468 0 3 0 4 0 0 0 15 0 9 0 65913865 451297280 77433 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30279] ppid=30270 vsize=440720 CPUtime=0
/proc/30272/task/30279/stat : 30279 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 65913865 451297280 77433 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30280] ppid=30270 vsize=440720 CPUtime=0
/proc/30272/task/30280/stat : 30280 (java) S 30270 30270 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 9 0 65913865 451297280 77433 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 443288

[startup+12.7088 s]
/proc/loadavg: 1.02 1.00 1.00 2/44 30281
/proc/meminfo: memFree=497224/1048576 swapFree=0/0
[pid=30270] ppid=30269 vsize=2568 CPUtime=0
/proc/30270/stat : 30270 (gj-user-solver-) S 30269 30270 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 65913861 2629632 269 1283457024 134512640 135304128 4294697408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30270/statm: 642 269 229 194 0 29 0
[pid=30272] ppid=30270 vsize=412428 CPUtime=12.28
/proc/30272/stat : 30272 (java) S 30270 30270 19908 34817 19908 4202496 92617 0 71 0 1198 30 0 0 25 0 10 0 65913862 422326272 70552 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30272/statm: 103107 70552 2917 10 0 97252 0
[pid=30272/tid=30273] ppid=30270 vsize=412428 CPUtime=5.3
/proc/30272/task/30273/stat : 30273 (java) R 30270 30270 19908 34817 19908 4202560 14015 0 41 0 520 10 0 0 25 0 10 0 65913863 422326272 70552 1283457024 134512640 134550932 4288101072 18446744073709551615 4150066745 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30272/tid=30274] ppid=30270 vsize=412428 CPUtime=6.84
/proc/30272/task/30274/stat : 30274 (java) S 30270 30270 19908 34817 19908 4202560 77126 0 27 0 666 18 0 0 15 0 10 0 65913863 422326272 70552 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30275] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30275/stat : 30275 (java) S 30270 30270 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65913864 422326272 70552 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30276] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30276/stat : 30276 (java) S 30270 30270 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65913864 422326272 70552 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30277] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30277/stat : 30277 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65913865 422326272 70552 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30278] ppid=30270 vsize=412428 CPUtime=0.11
/proc/30272/task/30278/stat : 30278 (java) S 30270 30270 19908 34817 19908 4202560 531 0 3 0 11 0 0 0 15 0 10 0 65913865 422326272 70552 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30279] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30279/stat : 30279 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65913865 422326272 70552 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30280] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30280/stat : 30280 (java) S 30270 30270 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 65913865 422326272 70552 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30281] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30281/stat : 30281 (java) S 30270 30270 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 65914814 422326272 70552 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 414996

[startup+25.5117 s]
/proc/loadavg: 1.02 1.00 1.00 2/44 30281
/proc/meminfo: memFree=584272/1048576 swapFree=0/0
[pid=30270] ppid=30269 vsize=2568 CPUtime=0
/proc/30270/stat : 30270 (gj-user-solver-) S 30269 30270 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 65913861 2629632 269 1283457024 134512640 135304128 4294697408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30270/statm: 642 269 229 194 0 29 0
[pid=30272] ppid=30270 vsize=412428 CPUtime=25.06
/proc/30272/stat : 30272 (java) S 30270 30270 19908 34817 19908 4202496 92621 0 71 0 2474 32 0 0 25 0 10 0 65913862 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30272/statm: 103107 48705 2917 10 0 97252 0
[pid=30272/tid=30273] ppid=30270 vsize=412428 CPUtime=17.6
/proc/30272/task/30273/stat : 30273 (java) R 30270 30270 19908 34817 19908 4202560 14015 0 41 0 1749 11 0 0 25 0 10 0 65913863 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4114376547 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30272/tid=30274] ppid=30270 vsize=412428 CPUtime=7.32
/proc/30272/task/30274/stat : 30274 (java) S 30270 30270 19908 34817 19908 4202560 77126 0 27 0 712 20 0 0 15 0 10 0 65913863 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30275] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30275/stat : 30275 (java) S 30270 30270 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65913864 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30276] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30276/stat : 30276 (java) S 30270 30270 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65913864 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30277] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30277/stat : 30277 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65913865 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30278] ppid=30270 vsize=412428 CPUtime=0.11
/proc/30272/task/30278/stat : 30278 (java) S 30270 30270 19908 34817 19908 4202560 535 0 3 0 11 0 0 0 15 0 10 0 65913865 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30279] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30279/stat : 30279 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65913865 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30280] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30280/stat : 30280 (java) S 30270 30270 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 65913865 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30281] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30281/stat : 30281 (java) S 30270 30270 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 65914814 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 414996

[startup+51.108 s]
/proc/loadavg: 1.01 1.00 1.00 2/44 30281
/proc/meminfo: memFree=584272/1048576 swapFree=0/0
[pid=30270] ppid=30269 vsize=2568 CPUtime=0
/proc/30270/stat : 30270 (gj-user-solver-) S 30269 30270 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 65913861 2629632 269 1283457024 134512640 135304128 4294697408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30270/statm: 642 269 229 194 0 29 0
[pid=30272] ppid=30270 vsize=412428 CPUtime=50.64
/proc/30272/stat : 30272 (java) S 30270 30270 19908 34817 19908 4202496 92621 0 71 0 5031 33 0 0 25 0 10 0 65913862 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30272/statm: 103107 48705 2917 10 0 97252 0
[pid=30272/tid=30273] ppid=30270 vsize=412428 CPUtime=42.47
/proc/30272/task/30273/stat : 30273 (java) R 30270 30270 19908 34817 19908 4202560 14015 0 41 0 4235 12 0 0 25 0 10 0 65913863 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4115294827 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30272/tid=30274] ppid=30270 vsize=412428 CPUtime=8.04
/proc/30272/task/30274/stat : 30274 (java) S 30270 30270 19908 34817 19908 4202560 77126 0 27 0 784 20 0 0 15 0 10 0 65913863 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30275] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30275/stat : 30275 (java) S 30270 30270 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65913864 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30276] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30276/stat : 30276 (java) S 30270 30270 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65913864 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30277] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30277/stat : 30277 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65913865 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30278] ppid=30270 vsize=412428 CPUtime=0.11
/proc/30272/task/30278/stat : 30278 (java) S 30270 30270 19908 34817 19908 4202560 535 0 3 0 11 0 0 0 15 0 10 0 65913865 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30279] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30279/stat : 30279 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65913865 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30280] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30280/stat : 30280 (java) S 30270 30270 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 65913865 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30281] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30281/stat : 30281 (java) S 30270 30270 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 65914814 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 414996

[startup+102.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/46 30284
/proc/meminfo: memFree=584248/1048576 swapFree=0/0
[pid=30270] ppid=30269 vsize=2568 CPUtime=0
/proc/30270/stat : 30270 (gj-user-solver-) S 30269 30270 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 65913861 2629632 269 1283457024 134512640 135304128 4294697408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30270/statm: 642 269 229 194 0 29 0
[pid=30272] ppid=30270 vsize=412428 CPUtime=101.81
/proc/30272/stat : 30272 (java) S 30270 30270 19908 34817 19908 4202496 92621 0 71 0 10148 33 0 0 25 0 10 0 65913862 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30272/statm: 103107 48705 2917 10 0 97252 0
[pid=30272/tid=30273] ppid=30270 vsize=412428 CPUtime=92.85
/proc/30272/task/30273/stat : 30273 (java) R 30270 30270 19908 34817 19908 4202560 14015 0 41 0 9273 12 0 0 25 0 10 0 65913863 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4115251544 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30272/tid=30274] ppid=30270 vsize=412428 CPUtime=8.82
/proc/30272/task/30274/stat : 30274 (java) S 30270 30270 19908 34817 19908 4202560 77126 0 27 0 862 20 0 0 15 0 10 0 65913863 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30275] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30275/stat : 30275 (java) S 30270 30270 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65913864 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30276] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30276/stat : 30276 (java) S 30270 30270 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65913864 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30277] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30277/stat : 30277 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65913865 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30278] ppid=30270 vsize=412428 CPUtime=0.11
/proc/30272/task/30278/stat : 30278 (java) S 30270 30270 19908 34817 19908 4202560 535 0 3 0 11 0 0 0 15 0 10 0 65913865 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30279] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30279/stat : 30279 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65913865 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30280] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30280/stat : 30280 (java) S 30270 30270 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 65913865 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30281] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30281/stat : 30281 (java) S 30270 30270 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 65914814 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 414996

[startup+162.303 s]
/proc/loadavg: 1.03 1.01 1.00 2/46 30290
/proc/meminfo: memFree=584248/1048576 swapFree=0/0
[pid=30270] ppid=30269 vsize=2568 CPUtime=0
/proc/30270/stat : 30270 (gj-user-solver-) S 30269 30270 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 65913861 2629632 269 1283457024 134512640 135304128 4294697408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30270/statm: 642 269 229 194 0 29 0
[pid=30272] ppid=30270 vsize=412428 CPUtime=161.76
/proc/30272/stat : 30272 (java) S 30270 30270 19908 34817 19908 4202496 92621 0 71 0 16143 33 0 0 25 0 10 0 65913862 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30272/statm: 103107 48705 2917 10 0 97252 0
[pid=30272/tid=30273] ppid=30270 vsize=412428 CPUtime=151.81
/proc/30272/task/30273/stat : 30273 (java) R 30270 30270 19908 34817 19908 4202560 14015 0 41 0 15169 12 0 0 25 0 10 0 65913863 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4114867657 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30272/tid=30274] ppid=30270 vsize=412428 CPUtime=9.82
/proc/30272/task/30274/stat : 30274 (java) S 30270 30270 19908 34817 19908 4202560 77126 0 27 0 962 20 0 0 15 0 10 0 65913863 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30275] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30275/stat : 30275 (java) S 30270 30270 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65913864 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30276] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30276/stat : 30276 (java) S 30270 30270 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65913864 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30277] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30277/stat : 30277 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65913865 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30278] ppid=30270 vsize=412428 CPUtime=0.11
/proc/30272/task/30278/stat : 30278 (java) S 30270 30270 19908 34817 19908 4202560 535 0 3 0 11 0 0 0 15 0 10 0 65913865 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30279] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30279/stat : 30279 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65913865 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30280] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30280/stat : 30280 (java) S 30270 30270 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 65913865 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30281] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30281/stat : 30281 (java) S 30270 30270 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 65914814 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 161.76
Current children cumulated vsize (KiB) 414996

[startup+222.306 s]
/proc/loadavg: 1.01 1.01 1.00 2/45 30292
/proc/meminfo: memFree=584264/1048576 swapFree=0/0
[pid=30270] ppid=30269 vsize=2568 CPUtime=0
/proc/30270/stat : 30270 (gj-user-solver-) S 30269 30270 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 65913861 2629632 269 1283457024 134512640 135304128 4294697408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30270/statm: 642 269 229 194 0 29 0
[pid=30272] ppid=30270 vsize=412428 CPUtime=221.73
/proc/30272/stat : 30272 (java) S 30270 30270 19908 34817 19908 4202496 92621 0 71 0 22140 33 0 0 25 0 10 0 65913862 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30272/statm: 103107 48705 2917 10 0 97252 0
[pid=30272/tid=30273] ppid=30270 vsize=412428 CPUtime=211.1
/proc/30272/task/30273/stat : 30273 (java) R 30270 30270 19908 34817 19908 4202560 14015 0 41 0 21098 12 0 0 25 0 10 0 65913863 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4115218844 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30272/tid=30274] ppid=30270 vsize=412428 CPUtime=10.5
/proc/30272/task/30274/stat : 30274 (java) S 30270 30270 19908 34817 19908 4202560 77126 0 27 0 1030 20 0 0 15 0 10 0 65913863 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30275] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30275/stat : 30275 (java) S 30270 30270 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65913864 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30276] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30276/stat : 30276 (java) S 30270 30270 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65913864 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30277] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30277/stat : 30277 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65913865 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30278] ppid=30270 vsize=412428 CPUtime=0.11
/proc/30272/task/30278/stat : 30278 (java) S 30270 30270 19908 34817 19908 4202560 535 0 3 0 11 0 0 0 15 0 10 0 65913865 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30279] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30279/stat : 30279 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65913865 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30280] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30280/stat : 30280 (java) S 30270 30270 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 65913865 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30281] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30281/stat : 30281 (java) S 30270 30270 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 65914814 422326272 48705 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 221.73
Current children cumulated vsize (KiB) 414996

[startup+282.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 30292
/proc/meminfo: memFree=584272/1048576 swapFree=0/0
[pid=30270] ppid=30269 vsize=2568 CPUtime=0
/proc/30270/stat : 30270 (gj-user-solver-) S 30269 30270 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 65913861 2629632 269 1283457024 134512640 135304128 4294697408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30270/statm: 642 269 229 194 0 29 0
[pid=30272] ppid=30270 vsize=412428 CPUtime=281.69
/proc/30272/stat : 30272 (java) S 30270 30270 19908 34817 19908 4202496 92623 0 71 0 28134 35 0 0 25 0 10 0 65913862 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30272/statm: 103107 48707 2919 10 0 97252 0
[pid=30272/tid=30273] ppid=30270 vsize=412428 CPUtime=270.5
/proc/30272/task/30273/stat : 30273 (java) R 30270 30270 19908 34817 19908 4202560 14015 0 41 0 27036 14 0 0 25 0 10 0 65913863 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4115255017 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30272/tid=30274] ppid=30270 vsize=412428 CPUtime=11.06
/proc/30272/task/30274/stat : 30274 (java) S 30270 30270 19908 34817 19908 4202560 77128 0 27 0 1086 20 0 0 15 0 10 0 65913863 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30275] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30275/stat : 30275 (java) S 30270 30270 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65913864 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30276] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30276/stat : 30276 (java) S 30270 30270 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65913864 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30277] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30277/stat : 30277 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65913865 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30278] ppid=30270 vsize=412428 CPUtime=0.11
/proc/30272/task/30278/stat : 30278 (java) S 30270 30270 19908 34817 19908 4202560 535 0 3 0 11 0 0 0 15 0 10 0 65913865 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30279] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30279/stat : 30279 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65913865 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30280] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30280/stat : 30280 (java) S 30270 30270 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 65913865 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30281] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30281/stat : 30281 (java) S 30270 30270 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 65914814 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 281.69
Current children cumulated vsize (KiB) 414996

Solver just ended. Dumping a history of the last processes samples

[startup+283.209 s]
/proc/loadavg: 1.00 1.00 1.00 3/44 30292
/proc/meminfo: memFree=584272/1048576 swapFree=0/0
[pid=30270] ppid=30269 vsize=2568 CPUtime=0
/proc/30270/stat : 30270 (gj-user-solver-) S 30269 30270 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 65913861 2629632 269 1283457024 134512640 135304128 4294697408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30270/statm: 642 269 229 194 0 29 0
[pid=30272] ppid=30270 vsize=412428 CPUtime=282.59
/proc/30272/stat : 30272 (java) S 30270 30270 19908 34817 19908 4202496 92623 0 71 0 28224 35 0 0 25 0 10 0 65913862 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30272/statm: 103107 48707 2919 10 0 97252 0
[pid=30272/tid=30273] ppid=30270 vsize=412428 CPUtime=271.24
/proc/30272/task/30273/stat : 30273 (java) R 30270 30270 19908 34817 19908 4202560 14015 0 41 0 27110 14 0 0 25 0 10 0 65913863 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4115219120 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30272/tid=30274] ppid=30270 vsize=412428 CPUtime=11.22
/proc/30272/task/30274/stat : 30274 (java) S 30270 30270 19908 34817 19908 4202560 77128 0 27 0 1102 20 0 0 16 0 10 0 65913863 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30275] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30275/stat : 30275 (java) S 30270 30270 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65913864 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30276] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30276/stat : 30276 (java) S 30270 30270 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65913864 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30277] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30277/stat : 30277 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65913865 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30278] ppid=30270 vsize=412428 CPUtime=0.11
/proc/30272/task/30278/stat : 30278 (java) S 30270 30270 19908 34817 19908 4202560 535 0 3 0 11 0 0 0 15 0 10 0 65913865 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30279] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30279/stat : 30279 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65913865 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30280] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30280/stat : 30280 (java) S 30270 30270 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 65913865 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30281] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30281/stat : 30281 (java) S 30270 30270 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 65914814 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.59
Current children cumulated vsize (KiB) 414996

[startup+284.009 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 30292
/proc/meminfo: memFree=584272/1048576 swapFree=0/0
[pid=30270] ppid=30269 vsize=2568 CPUtime=0
/proc/30270/stat : 30270 (gj-user-solver-) S 30269 30270 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 65913861 2629632 269 1283457024 134512640 135304128 4294697408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30270/statm: 642 269 229 194 0 29 0
[pid=30272] ppid=30270 vsize=412428 CPUtime=283.39
/proc/30272/stat : 30272 (java) S 30270 30270 19908 34817 19908 4202496 92623 0 71 0 28304 35 0 0 25 0 10 0 65913862 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30272/statm: 103107 48707 2919 10 0 97252 0
[pid=30272/tid=30273] ppid=30270 vsize=412428 CPUtime=272.04
/proc/30272/task/30273/stat : 30273 (java) R 30270 30270 19908 34817 19908 4202560 14015 0 41 0 27190 14 0 0 25 0 10 0 65913863 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4115300677 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30272/tid=30274] ppid=30270 vsize=412428 CPUtime=11.22
/proc/30272/task/30274/stat : 30274 (java) S 30270 30270 19908 34817 19908 4202560 77128 0 27 0 1102 20 0 0 15 0 10 0 65913863 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30275] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30275/stat : 30275 (java) S 30270 30270 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65913864 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30276] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30276/stat : 30276 (java) S 30270 30270 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65913864 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30277] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30277/stat : 30277 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65913865 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30278] ppid=30270 vsize=412428 CPUtime=0.11
/proc/30272/task/30278/stat : 30278 (java) S 30270 30270 19908 34817 19908 4202560 535 0 3 0 11 0 0 0 15 0 10 0 65913865 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30279] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30279/stat : 30279 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65913865 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30280] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30280/stat : 30280 (java) S 30270 30270 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 65913865 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30281] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30281/stat : 30281 (java) S 30270 30270 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 65914814 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.39
Current children cumulated vsize (KiB) 414996

[startup+284.809 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 30292
/proc/meminfo: memFree=584272/1048576 swapFree=0/0
[pid=30270] ppid=30269 vsize=2568 CPUtime=0
/proc/30270/stat : 30270 (gj-user-solver-) S 30269 30270 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 65913861 2629632 269 1283457024 134512640 135304128 4294697408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30270/statm: 642 269 229 194 0 29 0
[pid=30272] ppid=30270 vsize=412428 CPUtime=284.19
/proc/30272/stat : 30272 (java) S 30270 30270 19908 34817 19908 4202496 92623 0 71 0 28384 35 0 0 25 0 10 0 65913862 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30272/statm: 103107 48707 2919 10 0 97252 0
[pid=30272/tid=30273] ppid=30270 vsize=412428 CPUtime=272.84
/proc/30272/task/30273/stat : 30273 (java) R 30270 30270 19908 34817 19908 4202560 14015 0 41 0 27270 14 0 0 25 0 10 0 65913863 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4115226950 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30272/tid=30274] ppid=30270 vsize=412428 CPUtime=11.22
/proc/30272/task/30274/stat : 30274 (java) S 30270 30270 19908 34817 19908 4202560 77128 0 27 0 1102 20 0 0 15 0 10 0 65913863 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30275] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30275/stat : 30275 (java) S 30270 30270 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65913864 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30276] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30276/stat : 30276 (java) S 30270 30270 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65913864 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30277] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30277/stat : 30277 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65913865 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30278] ppid=30270 vsize=412428 CPUtime=0.11
/proc/30272/task/30278/stat : 30278 (java) S 30270 30270 19908 34817 19908 4202560 535 0 3 0 11 0 0 0 15 0 10 0 65913865 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30279] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30279/stat : 30279 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65913865 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30280] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30280/stat : 30280 (java) S 30270 30270 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 65913865 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30281] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30281/stat : 30281 (java) S 30270 30270 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 65914814 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.19
Current children cumulated vsize (KiB) 414996

[startup+285.209 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 30292
/proc/meminfo: memFree=584272/1048576 swapFree=0/0
[pid=30270] ppid=30269 vsize=2568 CPUtime=0
/proc/30270/stat : 30270 (gj-user-solver-) S 30269 30270 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 65913861 2629632 269 1283457024 134512640 135304128 4294697408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30270/statm: 642 269 229 194 0 29 0
[pid=30272] ppid=30270 vsize=412428 CPUtime=284.59
/proc/30272/stat : 30272 (java) S 30270 30270 19908 34817 19908 4202496 92623 0 71 0 28424 35 0 0 25 0 10 0 65913862 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30272/statm: 103107 48707 2919 10 0 97252 0
[pid=30272/tid=30273] ppid=30270 vsize=412428 CPUtime=273.24
/proc/30272/task/30273/stat : 30273 (java) R 30270 30270 19908 34817 19908 4202560 14015 0 41 0 27310 14 0 0 25 0 10 0 65913863 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4115125925 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30272/tid=30274] ppid=30270 vsize=412428 CPUtime=11.22
/proc/30272/task/30274/stat : 30274 (java) S 30270 30270 19908 34817 19908 4202560 77128 0 27 0 1102 20 0 0 15 0 10 0 65913863 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30275] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30275/stat : 30275 (java) S 30270 30270 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 65913864 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30276] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30276/stat : 30276 (java) S 30270 30270 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 65913864 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30277] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30277/stat : 30277 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65913865 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30278] ppid=30270 vsize=412428 CPUtime=0.11
/proc/30272/task/30278/stat : 30278 (java) S 30270 30270 19908 34817 19908 4202560 535 0 3 0 11 0 0 0 15 0 10 0 65913865 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30279] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30279/stat : 30279 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 65913865 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30280] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30280/stat : 30280 (java) S 30270 30270 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 65913865 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30281] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30281/stat : 30281 (java) S 30270 30270 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 65914814 422326272 48707 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.59
Current children cumulated vsize (KiB) 414996

[startup+285.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 30292
/proc/meminfo: memFree=584272/1048576 swapFree=0/0
[pid=30270] ppid=30269 vsize=2568 CPUtime=0
/proc/30270/stat : 30270 (gj-user-solver-) S 30269 30270 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 25 0 1 0 65913861 2629632 269 1283457024 134512640 135304128 4294697408 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30270/statm: 642 269 229 194 0 29 0
[pid=30272] ppid=30270 vsize=412428 CPUtime=284.68
/proc/30272/stat : 30272 (java) S 30270 30270 19908 34817 19908 4202496 92624 0 71 0 28433 35 0 0 25 0 9 0 65913862 422326272 48708 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30272/statm: 103107 48708 2920 10 0 97252 0
[pid=30272/tid=30273] ppid=30270 vsize=412428 CPUtime=273.33
/proc/30272/task/30273/stat : 30273 (java) S 30270 30270 19908 34817 19908 4202560 14015 0 41 0 27319 14 0 0 25 0 9 0 65913863 422326272 48708 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30274] ppid=30270 vsize=412428 CPUtime=11.22
/proc/30272/task/30274/stat : 30274 (java) S 30270 30270 19908 34817 19908 4202560 77128 0 27 0 1102 20 0 0 15 0 9 0 65913863 422326272 48708 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30275] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30275/stat : 30275 (java) S 30270 30270 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 65913864 422326272 48708 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30276] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30276/stat : 30276 (java) S 30270 30270 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 65913864 422326272 48708 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30277] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30277/stat : 30277 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 65913865 422326272 48708 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30278] ppid=30270 vsize=412428 CPUtime=0.11
/proc/30272/task/30278/stat : 30278 (java) S 30270 30270 19908 34817 19908 4202560 535 0 3 0 11 0 0 0 15 0 9 0 65913865 422326272 48708 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30279] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30279/stat : 30279 (java) S 30270 30270 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 65913865 422326272 48708 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=30272/tid=30280] ppid=30270 vsize=412428 CPUtime=0
/proc/30272/task/30280/stat : 30280 (java) S 30270 30270 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 9 0 65913865 422326272 48708 1283457024 134512640 134550932 4288101072 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.68
Current children cumulated vsize (KiB) 414996

Child status: 0
Real time (s): 285.328
CPU time (s): 284.702
CPU user time (s): 284.334
CPU system time (s): 0.368023
CPU usage (%): 99.7807
Max. virtual memory (cumulated for all children) (KiB): 443288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.334
system time used= 0.368023
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93012
page faults= 71
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6173
involuntary context switches= 8918

runsolver used 0 second user time and 0.004 second system time

The end