runsolver Copyright (C) 2010 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 893)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3190282-1302598027/watcher-3190282-1302598027 -o /tmp/evaluation-result-3190282-1302598027/solver-3190282-1302598027 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190282-1302598027.cnf
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.09 3.98 3.36 9/220 29243
/proc/meminfo: memFree=16295068/32951124 swapFree=67111528/67111528
[pid=29243] ppid=29241 vsize=30540 CPUtime=0 cores=1,3
/proc/29243/stat : 29243 (java) S 29241 29243 28928 0 -1 4202496 1251 0 0 0 0 0 0 0 25 0 2 0 371400683 31272960 969 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/29243/statm: 7635 969 741 9 0 386 0
[pid=29243/tid=29244] ppid=29241 vsize=30540 CPUtime=0 cores=1,3
/proc/29243/task/29244/stat : 29244 (java) R 29241 29243 28928 0 -1 4202560 135 0 0 0 0 0 0 0 25 0 2 0 371400683 31272960 969 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228122713915 0 0 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0304349 s]
/proc/loadavg: 4.09 3.98 3.36 9/220 29243
/proc/meminfo: memFree=16295068/32951124 swapFree=67111528/67111528
[pid=29243] ppid=29241 vsize=7562296 CPUtime=0.01 cores=1,3
/proc/29243/stat : 29243 (java) S 29241 29243 28928 0 -1 4202496 8522 0 1 0 1 0 0 0 25 0 11 0 371400683 7743791104 8219 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/29243/statm: 1890574 8222 1623 9 0 1881322 0
[pid=29243/tid=29244] ppid=29241 vsize=7562296 CPUtime=0.01 cores=1,3
/proc/29243/task/29244/stat : 29244 (java) R 29241 29243 28928 0 -1 4202560 7400 0 1 0 1 0 0 0 25 0 11 0 371400683 7743791104 8223 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 47450684448773 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7562296
[startup+0.100424 s]
/proc/loadavg: 4.09 3.98 3.36 9/220 29243
/proc/meminfo: memFree=16295068/32951124 swapFree=67111528/67111528
[pid=29243] ppid=29241 vsize=7569940 CPUtime=0.09 cores=1,3
/proc/29243/stat : 29243 (java) S 29241 29243 28928 0 -1 4202496 9811 0 1 0 8 1 0 0 25 0 18 0 371400683 7751618560 9506 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29243/statm: 1892485 9507 1757 9 0 1883223 0
[pid=29243/tid=29244] ppid=29241 vsize=7569940 CPUtime=0.08 cores=1,3
/proc/29243/task/29244/stat : 29244 (java) R 29241 29243 28928 0 -1 4202560 8636 0 1 0 7 1 0 0 18 0 18 0 371400683 7751618560 9507 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 47450685310600 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7569940
[startup+0.300359 s]
/proc/loadavg: 4.09 3.98 3.36 9/220 29243
/proc/meminfo: memFree=16295068/32951124 swapFree=67111528/67111528
[pid=29243] ppid=29241 vsize=7577892 CPUtime=0.49 cores=1,3
/proc/29243/stat : 29243 (java) S 29241 29243 28928 0 -1 4202496 13618 0 1 0 47 2 0 0 25 0 19 0 371400683 7759761408 12729 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29243/statm: 1894473 12729 2210 9 0 1885211 0
[pid=29243/tid=29244] ppid=29241 vsize=7577892 CPUtime=0.29 cores=1,3
/proc/29243/task/29244/stat : 29244 (java) R 29241 29243 28928 0 -1 4202560 9889 0 1 0 27 2 0 0 19 0 19 0 371400683 7759761408 12729 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 46912505120883 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 7577892
[startup+0.700322 s]
/proc/loadavg: 4.09 3.98 3.36 9/220 29243
/proc/meminfo: memFree=16295068/32951124 swapFree=67111528/67111528
[pid=29243] ppid=29241 vsize=7577224 CPUtime=1.06 cores=1,3
/proc/29243/stat : 29243 (java) S 29241 29243 28928 0 -1 4202496 14245 0 1 0 104 2 0 0 25 0 19 0 371400683 7759077376 13247 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29243/statm: 1894306 13247 2223 9 0 1885044 0
[pid=29243/tid=29244] ppid=29241 vsize=7577224 CPUtime=0.69 cores=1,3
/proc/29243/task/29244/stat : 29244 (java) R 29241 29243 28928 0 -1 4202560 10318 0 1 0 67 2 0 0 19 0 19 0 371400683 7759077376 13247 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 47450688949075 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 7577224
[startup+1.50114 s]
/proc/loadavg: 4.09 3.98 3.36 7/262 29288
/proc/meminfo: memFree=16154540/32951124 swapFree=67111528/67111528
[pid=29243] ppid=29241 vsize=7662960 CPUtime=2.06 cores=1,3
/proc/29243/stat : 29243 (java) S 29241 29243 28928 0 -1 4202496 23781 0 1 0 202 4 0 0 25 0 19 0 371400683 7846871040 20922 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29243/statm: 1915740 20922 2252 9 0 1906478 0
[pid=29243/tid=29244] ppid=29241 vsize=7662960 CPUtime=1.44 cores=1,3
/proc/29243/task/29244/stat : 29244 (java) R 29241 29243 28928 0 -1 4202560 10952 0 1 0 142 2 0 0 20 0 19 0 371400683 7846871040 20922 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 46912505678008 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29243/tid=29246] ppid=29241 vsize=7662960 CPUtime=0 cores=1,3
/proc/29243/task/29246/stat : 29246 (java) S 29241 29243 28928 0 -1 4202560 682 0 0 0 0 0 0 0 17 0 19 0 371400685 7846871040 20922 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29247] ppid=29241 vsize=7662960 CPUtime=0 cores=1,3
/proc/29243/task/29247/stat : 29247 (java) S 29241 29243 28928 0 -1 4202560 66 0 0 0 0 0 0 0 17 0 19 0 371400685 7846871040 20922 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29248] ppid=29241 vsize=7662960 CPUtime=0 cores=1,3
/proc/29243/task/29248/stat : 29248 (java) S 29241 29243 28928 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 19 0 371400685 7846871040 20922 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29249] ppid=29241 vsize=7662960 CPUtime=0 cores=1,3
/proc/29243/task/29249/stat : 29249 (java) S 29241 29243 28928 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 19 0 371400685 7846871040 20922 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29250] ppid=29241 vsize=7662960 CPUtime=0 cores=1,3
/proc/29243/task/29250/stat : 29250 (java) S 29241 29243 28928 0 -1 4202560 96 0 0 0 0 0 0 0 17 0 19 0 371400685 7846871040 20922 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29251] ppid=29241 vsize=7662960 CPUtime=0 cores=1,3
/proc/29243/task/29251/stat : 29251 (java) S 29241 29243 28928 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 19 0 371400685 7846871040 20922 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29252] ppid=29241 vsize=7662960 CPUtime=0 cores=1,3
/proc/29243/task/29252/stat : 29252 (java) S 29241 29243 28928 0 -1 4202560 25 0 0 0 0 0 0 0 17 0 19 0 371400685 7846871040 20922 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29253] ppid=29241 vsize=7662960 CPUtime=0 cores=1,3
/proc/29243/task/29253/stat : 29253 (java) S 29241 29243 28928 0 -1 4202560 277 0 0 0 0 0 0 0 18 0 19 0 371400685 7846871040 20922 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29255] ppid=29241 vsize=7662960 CPUtime=0.01 cores=1,3
/proc/29243/task/29255/stat : 29255 (java) S 29241 29243 28928 0 -1 4202560 1159 0 0 0 1 0 0 0 17 0 19 0 371400686 7846871040 20922 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134530560 0 0 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29256] ppid=29241 vsize=7662960 CPUtime=0 cores=1,3
/proc/29243/task/29256/stat : 29256 (java) S 29241 29243 28928 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 371400686 7846871040 20922 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29257] ppid=29241 vsize=7662960 CPUtime=0 cores=1,3
/proc/29243/task/29257/stat : 29257 (java) S 29241 29243 28928 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371400686 7846871040 20922 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29259] ppid=29241 vsize=7662960 CPUtime=0 cores=1,3
/proc/29243/task/29259/stat : 29259 (java) S 29241 29243 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400688 7846871040 20922 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134537649 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29260] ppid=29241 vsize=7662960 CPUtime=0.22 cores=1,3
/proc/29243/task/29260/stat : 29260 (java) R 29241 29243 28928 0 -1 4202560 2013 0 0 0 22 0 0 0 18 0 19 0 371400688 7846871040 20922 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 47450688002256 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29243/tid=29261] ppid=29241 vsize=7662960 CPUtime=0.34 cores=1,3
/proc/29243/task/29261/stat : 29261 (java) R 29241 29243 28928 0 -1 4202560 7339 0 0 0 34 0 0 0 17 0 19 0 371400688 7846871040 20922 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 47450685274192 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29243/tid=29262] ppid=29241 vsize=7662960 CPUtime=0 cores=1,3
/proc/29243/task/29262/stat : 29262 (java) S 29241 29243 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400688 7846871040 20922 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29263] ppid=29241 vsize=7662960 CPUtime=0 cores=1,3
/proc/29243/task/29263/stat : 29263 (java) S 29241 29243 28928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371400688 7846871040 20922 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134530560 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29287] ppid=29241 vsize=7662960 CPUtime=0 cores=1,3
/proc/29243/task/29287/stat : 29287 (java) S 29241 29243 28928 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371400706 7846871040 20922 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134530560 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 7662960
[startup+3.10088 s]
/proc/loadavg: 4.09 3.98 3.36 5/262 29288
/proc/meminfo: memFree=16086464/32951124 swapFree=67111528/67111528
[pid=29243] ppid=29241 vsize=7663484 CPUtime=3.76 cores=1,3
/proc/29243/stat : 29243 (java) S 29241 29243 28928 0 -1 4202496 25110 0 1 0 372 4 0 0 25 0 19 0 371400683 7847407616 22249 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29243/statm: 1915871 22249 2254 9 0 1906609 0
[pid=29243/tid=29244] ppid=29241 vsize=7663484 CPUtime=3.02 cores=1,3
/proc/29243/task/29244/stat : 29244 (java) R 29241 29243 28928 0 -1 4202560 10955 0 1 0 300 2 0 0 25 0 19 0 371400683 7847407616 22249 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 46912505613392 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29243/tid=29246] ppid=29241 vsize=7663484 CPUtime=0 cores=1,3
/proc/29243/task/29246/stat : 29246 (java) S 29241 29243 28928 0 -1 4202560 682 0 0 0 0 0 0 0 15 0 19 0 371400685 7847407616 22249 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29247] ppid=29241 vsize=7663484 CPUtime=0 cores=1,3
/proc/29243/task/29247/stat : 29247 (java) S 29241 29243 28928 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 371400685 7847407616 22249 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29248] ppid=29241 vsize=7663484 CPUtime=0 cores=1,3
/proc/29243/task/29248/stat : 29248 (java) S 29241 29243 28928 0 -1 4202560 240 0 0 0 0 0 0 0 15 0 19 0 371400685 7847407616 22249 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29249] ppid=29241 vsize=7663484 CPUtime=0 cores=1,3
/proc/29243/task/29249/stat : 29249 (java) S 29241 29243 28928 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 371400685 7847407616 22249 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29250] ppid=29241 vsize=7663484 CPUtime=0 cores=1,3
/proc/29243/task/29250/stat : 29250 (java) S 29241 29243 28928 0 -1 4202560 689 0 0 0 0 0 0 0 15 0 19 0 371400685 7847407616 22249 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29251] ppid=29241 vsize=7663484 CPUtime=0 cores=1,3
/proc/29243/task/29251/stat : 29251 (java) S 29241 29243 28928 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 371400685 7847407616 22249 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29252] ppid=29241 vsize=7663484 CPUtime=0 cores=1,3
/proc/29243/task/29252/stat : 29252 (java) S 29241 29243 28928 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 371400685 7847407616 22249 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29253] ppid=29241 vsize=7663484 CPUtime=0 cores=1,3
/proc/29243/task/29253/stat : 29253 (java) S 29241 29243 28928 0 -1 4202560 292 0 0 0 0 0 0 0 18 0 19 0 371400685 7847407616 22249 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29255] ppid=29241 vsize=7663484 CPUtime=0.03 cores=1,3
/proc/29243/task/29255/stat : 29255 (java) S 29241 29243 28928 0 -1 4202560 1385 0 0 0 3 0 0 0 16 0 19 0 371400686 7847407616 22249 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134530560 0 0 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29256] ppid=29241 vsize=7663484 CPUtime=0 cores=1,3
/proc/29243/task/29256/stat : 29256 (java) S 29241 29243 28928 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 371400686 7847407616 22249 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29257] ppid=29241 vsize=7663484 CPUtime=0 cores=1,3
/proc/29243/task/29257/stat : 29257 (java) S 29241 29243 28928 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371400686 7847407616 22249 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29259] ppid=29241 vsize=7663484 CPUtime=0 cores=1,3
/proc/29243/task/29259/stat : 29259 (java) S 29241 29243 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400688 7847407616 22249 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134537649 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29260] ppid=29241 vsize=7663484 CPUtime=0.24 cores=1,3
/proc/29243/task/29260/stat : 29260 (java) S 29241 29243 28928 0 -1 4202560 2045 0 0 0 24 0 0 0 15 0 19 0 371400688 7847407616 22249 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29261] ppid=29241 vsize=7663484 CPUtime=0.41 cores=1,3
/proc/29243/task/29261/stat : 29261 (java) S 29241 29243 28928 0 -1 4202560 7565 0 0 0 41 0 0 0 16 0 19 0 371400688 7847407616 22249 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29262] ppid=29241 vsize=7663484 CPUtime=0 cores=1,3
/proc/29243/task/29262/stat : 29262 (java) S 29241 29243 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400688 7847407616 22249 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29263] ppid=29241 vsize=7663484 CPUtime=0 cores=1,3
/proc/29243/task/29263/stat : 29263 (java) S 29241 29243 28928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371400688 7847407616 22249 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134530560 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29287] ppid=29241 vsize=7663484 CPUtime=0 cores=1,3
/proc/29243/task/29287/stat : 29287 (java) S 29241 29243 28928 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371400706 7847407616 22249 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134530560 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 7663484
[startup+6.3013 s]
/proc/loadavg: 4.08 3.98 3.36 5/262 29288
/proc/meminfo: memFree=16039704/32951124 swapFree=67111528/67111528
[pid=29243] ppid=29241 vsize=7663484 CPUtime=6.98 cores=1,3
/proc/29243/stat : 29243 (java) S 29241 29243 28928 0 -1 4202496 25638 0 1 0 694 4 0 0 25 0 19 0 371400683 7847407616 22741 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29243/statm: 1915871 22741 2254 9 0 1906609 0
[pid=29243/tid=29244] ppid=29241 vsize=7663484 CPUtime=6.17 cores=1,3
/proc/29243/task/29244/stat : 29244 (java) R 29241 29243 28928 0 -1 4202560 10958 0 1 0 615 2 0 0 25 0 19 0 371400683 7847407616 22741 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 46912505590396 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29243/tid=29246] ppid=29241 vsize=7663484 CPUtime=0 cores=1,3
/proc/29243/task/29246/stat : 29246 (java) S 29241 29243 28928 0 -1 4202560 686 0 0 0 0 0 0 0 15 0 19 0 371400685 7847407616 22741 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29247] ppid=29241 vsize=7663484 CPUtime=0 cores=1,3
/proc/29243/task/29247/stat : 29247 (java) S 29241 29243 28928 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 371400685 7847407616 22741 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29248] ppid=29241 vsize=7663484 CPUtime=0 cores=1,3
/proc/29243/task/29248/stat : 29248 (java) S 29241 29243 28928 0 -1 4202560 607 0 0 0 0 0 0 0 15 0 19 0 371400685 7847407616 22741 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29249] ppid=29241 vsize=7663484 CPUtime=0 cores=1,3
/proc/29243/task/29249/stat : 29249 (java) S 29241 29243 28928 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 371400685 7847407616 22741 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29250] ppid=29241 vsize=7663484 CPUtime=0 cores=1,3
/proc/29243/task/29250/stat : 29250 (java) S 29241 29243 28928 0 -1 4202560 689 0 0 0 0 0 0 0 15 0 19 0 371400685 7847407616 22741 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29251] ppid=29241 vsize=7663484 CPUtime=0 cores=1,3
/proc/29243/task/29251/stat : 29251 (java) S 29241 29243 28928 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 371400685 7847407616 22741 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29252] ppid=29241 vsize=7663484 CPUtime=0 cores=1,3
/proc/29243/task/29252/stat : 29252 (java) S 29241 29243 28928 0 -1 4202560 25 0 0 0 0 0 0 0 16 0 19 0 371400685 7847407616 22741 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29253] ppid=29241 vsize=7663484 CPUtime=0 cores=1,3
/proc/29243/task/29253/stat : 29253 (java) S 29241 29243 28928 0 -1 4202560 292 0 0 0 0 0 0 0 15 0 19 0 371400685 7847407616 22741 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29255] ppid=29241 vsize=7663484 CPUtime=0.07 cores=1,3
/proc/29243/task/29255/stat : 29255 (java) S 29241 29243 28928 0 -1 4202560 1534 0 0 0 7 0 0 0 15 0 19 0 371400686 7847407616 22741 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134530560 0 0 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29256] ppid=29241 vsize=7663484 CPUtime=0 cores=1,3
/proc/29243/task/29256/stat : 29256 (java) S 29241 29243 28928 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 371400686 7847407616 22741 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29257] ppid=29241 vsize=7663484 CPUtime=0 cores=1,3
/proc/29243/task/29257/stat : 29257 (java) S 29241 29243 28928 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371400686 7847407616 22741 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29259] ppid=29241 vsize=7663484 CPUtime=0 cores=1,3
/proc/29243/task/29259/stat : 29259 (java) S 29241 29243 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400688 7847407616 22741 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134537649 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29260] ppid=29241 vsize=7663484 CPUtime=0.24 cores=1,3
/proc/29243/task/29260/stat : 29260 (java) S 29241 29243 28928 0 -1 4202560 2046 0 0 0 24 0 0 0 15 0 19 0 371400688 7847407616 22741 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29261] ppid=29241 vsize=7663484 CPUtime=0.43 cores=1,3
/proc/29243/task/29261/stat : 29261 (java) S 29241 29243 28928 0 -1 4202560 7568 0 0 0 43 0 0 0 15 0 19 0 371400688 7847407616 22741 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=29243/tid=29251] ppid=29241 vsize=7658696 CPUtime=0.14 cores=1,3
/proc/29243/task/29251/stat : 29251 (java) S 29241 29243 28928 0 -1 4202560 1394 0 0 0 14 0 0 0 15 0 19 0 371400685 7842504704 33836 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29252] ppid=29241 vsize=7658696 CPUtime=0.12 cores=1,3
/proc/29243/task/29252/stat : 29252 (java) S 29241 29243 28928 0 -1 4202560 33 0 0 0 12 0 0 0 15 0 19 0 371400685 7842504704 33836 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29253] ppid=29241 vsize=7658696 CPUtime=0.16 cores=1,3
/proc/29243/task/29253/stat : 29253 (java) S 29241 29243 28928 0 -1 4202560 1162 0 0 0 16 0 0 0 15 0 19 0 371400685 7842504704 33836 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29255] ppid=29241 vsize=7658696 CPUtime=4.88 cores=1,3
/proc/29243/task/29255/stat : 29255 (java) S 29241 29243 28928 0 -1 4202560 4007 0 0 0 487 1 0 0 15 0 19 0 371400686 7842504704 33836 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134530560 0 0 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29256] ppid=29241 vsize=7658696 CPUtime=0 cores=1,3
/proc/29243/task/29256/stat : 29256 (java) S 29241 29243 28928 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 371400686 7842504704 33836 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29257] ppid=29241 vsize=7658696 CPUtime=0 cores=1,3
/proc/29243/task/29257/stat : 29257 (java) S 29241 29243 28928 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371400686 7842504704 33836 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29259] ppid=29241 vsize=7658696 CPUtime=0 cores=1,3
/proc/29243/task/29259/stat : 29259 (java) S 29241 29243 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400688 7842504704 33836 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134537649 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29260] ppid=29241 vsize=7658696 CPUtime=0.24 cores=1,3
/proc/29243/task/29260/stat : 29260 (java) S 29241 29243 28928 0 -1 4202560 2046 0 0 0 24 0 0 0 15 0 19 0 371400688 7842504704 33836 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29261] ppid=29241 vsize=7658696 CPUtime=0.46 cores=1,3
/proc/29243/task/29261/stat : 29261 (java) S 29241 29243 28928 0 -1 4202560 7575 0 0 0 46 0 0 0 15 0 19 0 371400688 7842504704 33836 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29262] ppid=29241 vsize=7658696 CPUtime=0 cores=1,3
/proc/29243/task/29262/stat : 29262 (java) S 29241 29243 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400688 7842504704 33836 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29263] ppid=29241 vsize=7658696 CPUtime=0 cores=1,3
/proc/29243/task/29263/stat : 29263 (java) S 29241 29243 28928 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 371400688 7842504704 33836 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134530560 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29287] ppid=29241 vsize=7658696 CPUtime=0 cores=1,3
/proc/29243/task/29287/stat : 29287 (java) S 29241 29243 28928 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371400706 7842504704 33836 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134530560 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1123.55
Current children cumulated vsize (KiB) 7658696
[startup+1182.3 s]
/proc/loadavg: 4.03 4.01 3.80 5/262 29331
/proc/meminfo: memFree=15756464/32951124 swapFree=67111528/67111528
[pid=29243] ppid=29241 vsize=7658696 CPUtime=1183.57 cores=1,3
/proc/29243/stat : 29243 (java) S 29241 29243 28928 0 -1 4202496 37812 0 1 0 118350 7 0 0 25 0 19 0 371400683 7842504704 33856 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29243/statm: 1914674 33856 2255 9 0 1905412 0
[pid=29243/tid=29244] ppid=29241 vsize=7658696 CPUtime=1176.41 cores=1,3
/proc/29243/task/29244/stat : 29244 (java) R 29241 29243 28928 0 -1 4202560 14732 0 1 0 117638 3 0 0 25 0 19 0 371400683 7842504704 33856 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 46912505678064 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29243/tid=29246] ppid=29241 vsize=7658696 CPUtime=0.14 cores=1,3
/proc/29243/task/29246/stat : 29246 (java) S 29241 29243 28928 0 -1 4202560 983 0 0 0 14 0 0 0 15 0 19 0 371400685 7842504704 33856 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29247] ppid=29241 vsize=7658696 CPUtime=0.15 cores=1,3
/proc/29243/task/29247/stat : 29247 (java) S 29241 29243 28928 0 -1 4202560 1716 0 0 0 15 0 0 0 15 0 19 0 371400685 7842504704 33856 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29248] ppid=29241 vsize=7658696 CPUtime=0.17 cores=1,3
/proc/29243/task/29248/stat : 29248 (java) S 29241 29243 28928 0 -1 4202560 788 0 0 0 17 0 0 0 15 0 19 0 371400685 7842504704 33856 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29249] ppid=29241 vsize=7658696 CPUtime=0.17 cores=1,3
/proc/29243/task/29249/stat : 29249 (java) S 29241 29243 28928 0 -1 4202560 680 0 0 0 17 0 0 0 15 0 19 0 371400685 7842504704 33856 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29250] ppid=29241 vsize=7658696 CPUtime=0.13 cores=1,3
/proc/29243/task/29250/stat : 29250 (java) S 29241 29243 28928 0 -1 4202560 1450 0 0 0 13 0 0 0 15 0 19 0 371400685 7842504704 33856 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29251] ppid=29241 vsize=7658696 CPUtime=0.15 cores=1,3
/proc/29243/task/29251/stat : 29251 (java) S 29241 29243 28928 0 -1 4202560 1394 0 0 0 15 0 0 0 15 0 19 0 371400685 7842504704 33856 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29252] ppid=29241 vsize=7658696 CPUtime=0.12 cores=1,3
/proc/29243/task/29252/stat : 29252 (java) S 29241 29243 28928 0 -1 4202560 33 0 0 0 12 0 0 0 15 0 19 0 371400685 7842504704 33856 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29253] ppid=29241 vsize=7658696 CPUtime=0.17 cores=1,3
/proc/29243/task/29253/stat : 29253 (java) S 29241 29243 28928 0 -1 4202560 1162 0 0 0 17 0 0 0 15 0 19 0 371400685 7842504704 33856 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29255] ppid=29241 vsize=7658696 CPUtime=5.16 cores=1,3
/proc/29243/task/29255/stat : 29255 (java) S 29241 29243 28928 0 -1 4202560 4031 0 0 0 515 1 0 0 15 0 19 0 371400686 7842504704 33856 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134530560 0 0 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29256] ppid=29241 vsize=7658696 CPUtime=0 cores=1,3
/proc/29243/task/29256/stat : 29256 (java) S 29241 29243 28928 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 371400686 7842504704 33856 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29257] ppid=29241 vsize=7658696 CPUtime=0 cores=1,3
/proc/29243/task/29257/stat : 29257 (java) S 29241 29243 28928 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371400686 7842504704 33856 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29259] ppid=29241 vsize=7658696 CPUtime=0 cores=1,3
/proc/29243/task/29259/stat : 29259 (java) S 29241 29243 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400688 7842504704 33856 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134537649 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29260] ppid=29241 vsize=7658696 CPUtime=0.24 cores=1,3
/proc/29243/task/29260/stat : 29260 (java) S 29241 29243 28928 0 -1 4202560 2046 0 0 0 24 0 0 0 15 0 19 0 371400688 7842504704 33856 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29261] ppid=29241 vsize=7658696 CPUtime=0.46 cores=1,3
/proc/29243/task/29261/stat : 29261 (java) S 29241 29243 28928 0 -1 4202560 7575 0 0 0 46 0 0 0 15 0 19 0 371400688 7842504704 33856 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29262] ppid=29241 vsize=7658696 CPUtime=0 cores=1,3
/proc/29243/task/29262/stat : 29262 (java) S 29241 29243 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400688 7842504704 33856 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29263] ppid=29241 vsize=7658696 CPUtime=0 cores=1,3
/proc/29243/task/29263/stat : 29263 (java) S 29241 29243 28928 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 371400688 7842504704 33856 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134530560 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29287] ppid=29241 vsize=7658696 CPUtime=0 cores=1,3
/proc/29243/task/29287/stat : 29287 (java) S 29241 29243 28928 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371400706 7842504704 33856 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134530560 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1183.57
Current children cumulated vsize (KiB) 7658696
[startup+1242.3 s]
/proc/loadavg: 4.01 4.01 3.81 5/262 29333
/proc/meminfo: memFree=15753564/32951124 swapFree=67111528/67111528
[pid=29243] ppid=29241 vsize=7658696 CPUtime=1243.61 cores=1,3
/proc/29243/stat : 29243 (java) S 29241 29243 28928 0 -1 4202496 38221 0 1 0 124353 8 0 0 25 0 19 0 371400683 7842504704 34250 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29243/statm: 1914674 34250 2255 9 0 1905412 0
[pid=29243/tid=29244] ppid=29241 vsize=7658696 CPUtime=1236.14 cores=1,3
/proc/29243/task/29244/stat : 29244 (java) R 29241 29243 28928 0 -1 4202560 15001 0 1 0 123611 3 0 0 25 0 19 0 371400683 7842504704 34250 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 46912505590422 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29243/tid=29246] ppid=29241 vsize=7658696 CPUtime=0.15 cores=1,3
/proc/29243/task/29246/stat : 29246 (java) S 29241 29243 28928 0 -1 4202560 983 0 0 0 15 0 0 0 16 0 19 0 371400685 7842504704 34250 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29247] ppid=29241 vsize=7658696 CPUtime=0.17 cores=1,3
/proc/29243/task/29247/stat : 29247 (java) S 29241 29243 28928 0 -1 4202560 1716 0 0 0 17 0 0 0 16 0 19 0 371400685 7842504704 34250 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29248] ppid=29241 vsize=7658696 CPUtime=0.17 cores=1,3
/proc/29243/task/29248/stat : 29248 (java) S 29241 29243 28928 0 -1 4202560 788 0 0 0 17 0 0 0 15 0 19 0 371400685 7842504704 34250 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29249] ppid=29241 vsize=7658696 CPUtime=0.18 cores=1,3
/proc/29243/task/29249/stat : 29249 (java) S 29241 29243 28928 0 -1 4202560 681 0 0 0 18 0 0 0 15 0 19 0 371400685 7842504704 34250 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29250] ppid=29241 vsize=7658696 CPUtime=0.14 cores=1,3
/proc/29243/task/29250/stat : 29250 (java) S 29241 29243 28928 0 -1 4202560 1450 0 0 0 14 0 0 0 15 0 19 0 371400685 7842504704 34250 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29251] ppid=29241 vsize=7658696 CPUtime=0.15 cores=1,3
/proc/29243/task/29251/stat : 29251 (java) S 29241 29243 28928 0 -1 4202560 1394 0 0 0 15 0 0 0 15 0 19 0 371400685 7842504704 34250 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29252] ppid=29241 vsize=7658696 CPUtime=0.13 cores=1,3
/proc/29243/task/29252/stat : 29252 (java) S 29241 29243 28928 0 -1 4202560 35 0 0 0 13 0 0 0 15 0 19 0 371400685 7842504704 34250 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29253] ppid=29241 vsize=7658696 CPUtime=0.18 cores=1,3
/proc/29243/task/29253/stat : 29253 (java) S 29241 29243 28928 0 -1 4202560 1163 0 0 0 18 0 0 0 15 0 19 0 371400685 7842504704 34250 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29255] ppid=29241 vsize=7658696 CPUtime=5.4 cores=1,3
/proc/29243/task/29255/stat : 29255 (java) S 29241 29243 28928 0 -1 4202560 4163 0 0 0 539 1 0 0 15 0 19 0 371400686 7842504704 34250 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134530560 0 0 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29256] ppid=29241 vsize=7658696 CPUtime=0 cores=1,3
/proc/29243/task/29256/stat : 29256 (java) S 29241 29243 28928 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 371400686 7842504704 34250 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29257] ppid=29241 vsize=7658696 CPUtime=0 cores=1,3
/proc/29243/task/29257/stat : 29257 (java) S 29241 29243 28928 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371400686 7842504704 34250 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29259] ppid=29241 vsize=7658696 CPUtime=0 cores=1,3
/proc/29243/task/29259/stat : 29259 (java) S 29241 29243 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400688 7842504704 34250 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134537649 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29260] ppid=29241 vsize=7658696 CPUtime=0.24 cores=1,3
/proc/29243/task/29260/stat : 29260 (java) S 29241 29243 28928 0 -1 4202560 2046 0 0 0 24 0 0 0 15 0 19 0 371400688 7842504704 34250 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29261] ppid=29241 vsize=7658696 CPUtime=0.46 cores=1,3
/proc/29243/task/29261/stat : 29261 (java) S 29241 29243 28928 0 -1 4202560 7575 0 0 0 46 0 0 0 15 0 19 0 371400688 7842504704 34250 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29262] ppid=29241 vsize=7658696 CPUtime=0 cores=1,3
/proc/29243/task/29262/stat : 29262 (java) S 29241 29243 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400688 7842504704 34250 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29263] ppid=29241 vsize=7658696 CPUtime=0 cores=1,3
/proc/29243/task/29263/stat : 29263 (java) S 29241 29243 28928 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 371400688 7842504704 34250 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134530560 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29287] ppid=29241 vsize=7658696 CPUtime=0 cores=1,3
/proc/29243/task/29287/stat : 29287 (java) S 29241 29243 28928 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371400706 7842504704 34250 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134530560 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1243.61
Current children cumulated vsize (KiB) 7658696
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.06 4.02 3.82 3/222 29341
/proc/meminfo: memFree=15956460/32951124 swapFree=67111528/67111528
[pid=29243] ppid=29241 vsize=7658696 CPUtime=1301.34 cores=1,3
/proc/29243/stat : 29243 (java) S 29241 29243 28928 0 -1 4202496 38285 0 1 0 130126 8 0 0 25 0 19 0 371400683 7842504704 34300 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29243/statm: 1914674 34300 2255 9 0 1905412 0
[pid=29243/tid=29244] ppid=29241 vsize=7658696 CPUtime=1293.54 cores=1,3
/proc/29243/task/29244/stat : 29244 (java) R 29241 29243 28928 0 -1 4202560 15009 0 1 0 129351 3 0 0 25 0 19 0 371400683 7842504704 34300 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 46912505677852 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29243/tid=29246] ppid=29241 vsize=7658696 CPUtime=0.17 cores=1,3
/proc/29243/task/29246/stat : 29246 (java) S 29241 29243 28928 0 -1 4202560 983 0 0 0 17 0 0 0 15 0 19 0 371400685 7842504704 34300 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29247] ppid=29241 vsize=7658696 CPUtime=0.17 cores=1,3
/proc/29243/task/29247/stat : 29247 (java) S 29241 29243 28928 0 -1 4202560 1716 0 0 0 17 0 0 0 15 0 19 0 371400685 7842504704 34300 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29248] ppid=29241 vsize=7658696 CPUtime=0.17 cores=1,3
/proc/29243/task/29248/stat : 29248 (java) S 29241 29243 28928 0 -1 4202560 788 0 0 0 17 0 0 0 15 0 19 0 371400685 7842504704 34300 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29249] ppid=29241 vsize=7658696 CPUtime=0.18 cores=1,3
/proc/29243/task/29249/stat : 29249 (java) S 29241 29243 28928 0 -1 4202560 681 0 0 0 18 0 0 0 15 0 19 0 371400685 7842504704 34300 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29250] ppid=29241 vsize=7658696 CPUtime=0.15 cores=1,3
/proc/29243/task/29250/stat : 29250 (java) S 29241 29243 28928 0 -1 4202560 1451 0 0 0 15 0 0 0 15 0 19 0 371400685 7842504704 34300 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29251] ppid=29241 vsize=7658696 CPUtime=0.16 cores=1,3
/proc/29243/task/29251/stat : 29251 (java) S 29241 29243 28928 0 -1 4202560 1394 0 0 0 16 0 0 0 15 0 19 0 371400685 7842504704 34300 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29252] ppid=29241 vsize=7658696 CPUtime=0.14 cores=1,3
/proc/29243/task/29252/stat : 29252 (java) S 29241 29243 28928 0 -1 4202560 35 0 0 0 14 0 0 0 15 0 19 0 371400685 7842504704 34300 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29253] ppid=29241 vsize=7658696 CPUtime=0.19 cores=1,3
/proc/29243/task/29253/stat : 29253 (java) S 29241 29243 28928 0 -1 4202560 1163 0 0 0 19 0 0 0 15 0 19 0 371400685 7842504704 34300 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29255] ppid=29241 vsize=7658696 CPUtime=5.66 cores=1,3
/proc/29243/task/29255/stat : 29255 (java) S 29241 29243 28928 0 -1 4202560 4214 0 0 0 565 1 0 0 15 0 19 0 371400686 7842504704 34300 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134530560 0 0 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29256] ppid=29241 vsize=7658696 CPUtime=0 cores=1,3
/proc/29243/task/29256/stat : 29256 (java) S 29241 29243 28928 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 371400686 7842504704 34300 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29257] ppid=29241 vsize=7658696 CPUtime=0 cores=1,3
/proc/29243/task/29257/stat : 29257 (java) S 29241 29243 28928 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371400686 7842504704 34300 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29259] ppid=29241 vsize=7658696 CPUtime=0 cores=1,3
/proc/29243/task/29259/stat : 29259 (java) S 29241 29243 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400688 7842504704 34300 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134537649 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29260] ppid=29241 vsize=7658696 CPUtime=0.24 cores=1,3
/proc/29243/task/29260/stat : 29260 (java) S 29241 29243 28928 0 -1 4202560 2046 0 0 0 24 0 0 0 15 0 19 0 371400688 7842504704 34300 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29261] ppid=29241 vsize=7658696 CPUtime=0.46 cores=1,3
/proc/29243/task/29261/stat : 29261 (java) S 29241 29243 28928 0 -1 4202560 7575 0 0 0 46 0 0 0 15 0 19 0 371400688 7842504704 34300 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29262] ppid=29241 vsize=7658696 CPUtime=0 cores=1,3
/proc/29243/task/29262/stat : 29262 (java) S 29241 29243 28928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371400688 7842504704 34300 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134529945 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
[pid=29243/tid=29263] ppid=29241 vsize=7658696 CPUtime=0 cores=1,3
/proc/29243/task/29263/stat : 29263 (java) S 29241 29243 28928 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 371400688 7842504704 34300 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134530560 0 4 0 16800975 18446604470337012160 0 0 -1 3 0 0 0
[pid=29243/tid=29287] ppid=29241 vsize=7658696 CPUtime=0 cores=1,3
/proc/29243/task/29287/stat : 29287 (java) S 29241 29243 28928 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371400706 7842504704 34300 33554432000 1073741824 1073778376 140736496728480 18446744073709551615 228134530560 0 4 0 16800975 18446604470337012160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1301.34
Current children cumulated vsize (KiB) 7658696
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1300.05
CPU time (s): 1301.41
CPU user time (s): 1301.32
CPU system time (s): 0.090986
CPU usage (%): 100.105
Max. virtual memory (cumulated for all children) (KiB): 7663484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.32
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38321
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31867
involuntary context switches= 6799
runsolver used 2.12568 second user time and 4.99924 second system time
The end