runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (11412 MiB free)
memory of node 1: 16384 MiB (15094 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298819-1532782061/watcher-4298819-1532782061 -o /tmp/evaluation-result-4298819-1532782061/solver-4298819-1532782061 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532774549-6745 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4298819-1532782061.xml --timelimit 2520
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7556, runsolver pid=7553
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 1.22 1.33 1.39 5/219 7571
/proc/meminfo: memFree=27127008/32770624 swapFree=67108860/67108860
[pid=7556] ppid=7553 vsize=10658972 memory=27460 CPUtime=0.12 cores=1,3,5,7
/proc/7556/stat : 7556 (java) S 7553 7556 6713 0 -1 1077944320 5334 0 0 0 11 1 0 0 20 0 15 0 95769312 10914787328 6865 33554432000 4194304 4196468 140726925257280 140726925239824 140094361702135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
/proc/7556/statm: 2664743 6865 2846 1 0 2627263 0
[pid=7556/tid=7558] ppid=7553 vsize=10658972 memory=-8485773889882985313 CPUtime=0.09 cores=1,3,5,7
/proc/7556/task/7558/stat : 7558 (java) S 7553 7556 6713 0 -1 1077944384 3167 0 0 0 8 1 0 0 20 0 15 0 95769312 10914787328 6865 33554432000 4194304 4196468 140726925257280 140094365929488 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7559] ppid=7553 vsize=10658972 memory=5793855016436246969 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7559/stat : 7559 (java) S 7553 7556 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95769313 10914787328 6865 33554432000 4194304 4196468 140726925257280 140094318254736 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7560] ppid=7553 vsize=10658972 memory=139765426353792 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7560/stat : 7560 (java) S 7553 7556 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95769313 10914787328 6865 33554432000 4194304 4196468 140726925257280 140093967751696 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7561] ppid=7553 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7561/stat : 7561 (java) S 7553 7556 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95769313 10914787328 6865 33554432000 4194304 4196468 140726925257280 140093966698896 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7562] ppid=7553 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7562/stat : 7562 (java) S 7553 7556 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95769313 10914787328 6865 33554432000 4194304 4196468 140726925257280 140093965646096 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7563] ppid=7553 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7563/stat : 7563 (java) S 7553 7556 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95769314 10914787328 6865 33554432000 4194304 4196468 140726925257280 140093921373040 140094361713282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7564] ppid=7553 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7564/stat : 7564 (java) S 7553 7556 6713 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95769315 10914787328 6865 33554432000 4194304 4196468 140726925257280 140093920319008 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7565] ppid=7553 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7565/stat : 7565 (java) S 7553 7556 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95769315 10914787328 6865 33554432000 4194304 4196468 140726925257280 140093919266160 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7566] ppid=7553 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7566/stat : 7566 (java) S 7553 7556 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95769317 10914787328 6865 33554432000 4194304 4196468 140726925257280 140093918214480 140094361720731 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7567] ppid=7553 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7567/stat : 7567 (java) S 7553 7556 6713 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 95769317 10914787328 6865 33554432000 4194304 4196468 140726925257280 140093917161840 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7568] ppid=7553 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7568/stat : 7568 (java) S 7553 7556 6713 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 15 0 95769317 10914787328 6865 33554432000 4194304 4196468 140726925257280 140093916109040 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7569] ppid=7553 vsize=10658972 memory=139765426353792 CPUtime=0.02 cores=1,3,5,7
/proc/7556/task/7569/stat : 7569 (java) R 7553 7556 6713 0 -1 4202560 329 0 0 0 2 0 0 0 20 0 15 0 95769317 10914787328 6865 33554432000 4194304 4196468 140726925257280 140093847234672 140094361723482 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7570] ppid=7553 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7570/stat : 7570 (java) S 7553 7556 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95769317 10914787328 6865 33554432000 4194304 4196468 140726925257280 140093846182112 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7571] ppid=7553 vsize=10658972 memory=139765426353792 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7571/stat : 7571 (java) S 7553 7556 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95769318 10914787328 6865 33554432000 4194304 4196468 140726925257280 140093845130416 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27460 KiB
[startup+0.211086 s]*
/proc/loadavg: 1.22 1.33 1.39 6/219 7571
/proc/meminfo: memFree=27115972/32770624 swapFree=67108860/67108860
[pid=7556] ppid=7553 vsize=10661056 memory=40264 CPUtime=0.34 cores=1,3,5,7
/proc/7556/stat : 7556 (java) S 7553 7556 6713 0 -1 1077944320 8144 0 0 0 32 2 0 0 20 0 15 0 95769312 10916921344 10066 33554432000 4194304 4196468 140726925257280 140726925239824 140094361702135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
/proc/7556/statm: 2665264 10066 2987 1 0 2627263 0
[pid=7556/tid=7558] ppid=7553 vsize=10661056 memory=-3103912127665269909 CPUtime=0.19 cores=1,3,5,7
/proc/7556/task/7558/stat : 7558 (java) R 7553 7556 6713 0 -1 4202560 5186 0 0 0 18 1 0 0 20 0 15 0 95769312 10916921344 10066 33554432000 4194304 4196468 140726925257280 140094365940560 140094340146926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7559] ppid=7553 vsize=10661056 memory=4211973491631144330 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7559/stat : 7559 (java) S 7553 7556 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95769313 10916921344 10066 33554432000 4194304 4196468 140726925257280 140094318254736 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7560] ppid=7553 vsize=10661056 memory=139765426353792 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7560/stat : 7560 (java) S 7553 7556 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95769313 10916921344 10066 33554432000 4194304 4196468 140726925257280 140093967751696 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7561] ppid=7553 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7561/stat : 7561 (java) S 7553 7556 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95769313 10916921344 10066 33554432000 4194304 4196468 140726925257280 140093966698896 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7562] ppid=7553 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7562/stat : 7562 (java) S 7553 7556 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95769313 10916921344 10066 33554432000 4194304 4196468 140726925257280 140093965646096 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7563] ppid=7553 vsize=10661056 memory=139765426353792 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7563/stat : 7563 (java) S 7553 7556 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95769314 10916921344 10066 33554432000 4194304 4196468 140726925257280 140093921373040 140094361713282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7564] ppid=7553 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7564/stat : 7564 (java) S 7553 7556 6713 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95769315 10916921344 10066 33554432000 4194304 4196468 140726925257280 140093920319008 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7565] ppid=7553 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7565/stat : 7565 (java) S 7553 7556 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95769315 10916921344 10066 33554432000 4194304 4196468 140726925257280 140093919266160 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7566] ppid=7553 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7566/stat : 7566 (java) S 7553 7556 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95769317 10916921344 10066 33554432000 4194304 4196468 140726925257280 140093918214480 140094361720731 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7567] ppid=7553 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/7556/task/7567/stat : 7567 (java) S 7553 7556 6713 0 -1 1077944384 544 0 0 0 2 0 0 0 20 0 15 0 95769317 10916921344 10066 33554432000 4194304 4196468 140726925257280 140093917161840 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7568] ppid=7553 vsize=10661056 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/7556/task/7568/stat : 7568 (java) S 7553 7556 6713 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 15 0 95769317 10916921344 10066 33554432000 4194304 4196468 140726925257280 140093916109040 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7569] ppid=7553 vsize=10661056 memory=139765426353792 CPUtime=0.08 cores=1,3,5,7
/proc/7556/task/7569/stat : 7569 (java) S 7553 7556 6713 0 -1 1077944384 835 0 0 0 8 0 0 0 20 0 15 0 95769317 10916921344 10066 33554432000 4194304 4196468 140726925257280 140093847234672 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7570] ppid=7553 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7570/stat : 7570 (java) S 7553 7556 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95769317 10916921344 10066 33554432000 4194304 4196468 140726925257280 140093846182112 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7571] ppid=7553 vsize=10661056 memory=139765426353792 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7571/stat : 7571 (java) S 7553 7556 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95769318 10916921344 10066 33554432000 4194304 4196468 140726925257280 140093845130416 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40264 KiB
[startup+0.31213 s]*
/proc/loadavg: 1.22 1.33 1.39 6/219 7571
/proc/meminfo: memFree=27108280/32770624 swapFree=67108860/67108860
[pid=7556] ppid=7553 vsize=10661132 memory=47312 CPUtime=0.61 cores=1,3,5,7
/proc/7556/stat : 7556 (java) S 7553 7556 6713 0 -1 1077944320 8917 0 0 0 58 3 0 0 20 0 15 0 95769312 10916999168 11828 33554432000 4194304 4196468 140726925257280 140726925239824 140094361702135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
/proc/7556/statm: 2665283 11828 3071 1 0 2627263 0
[pid=7556/tid=7558] ppid=7553 vsize=10661132 memory=7377246124687064083 CPUtime=0.3 cores=1,3,5,7
/proc/7556/task/7558/stat : 7558 (java) R 7553 7556 6713 0 -1 4202560 5485 0 0 0 28 2 0 0 20 0 15 0 95769312 10916999168 11828 33554432000 4194304 4196468 140726925257280 140094365938288 140094000647746 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7559] ppid=7553 vsize=10661132 memory=4211973491631144330 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7559/stat : 7559 (java) S 7553 7556 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95769313 10916999168 11828 33554432000 4194304 4196468 140726925257280 140094318254736 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7560] ppid=7553 vsize=10661132 memory=139765426356171 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7560/stat : 7560 (java) S 7553 7556 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95769313 10916999168 11828 33554432000 4194304 4196468 140726925257280 140093967751696 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7561] ppid=7553 vsize=10661132 memory=139765282358345 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7561/stat : 7561 (java) S 7553 7556 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95769313 10916999168 11828 33554432000 4194304 4196468 140726925257280 140093966698896 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7562] ppid=7553 vsize=10661132 memory=139765282360783 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7562/stat : 7562 (java) S 7553 7556 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95769313 10916999168 11828 33554432000 4194304 4196468 140726925257280 140093965646096 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7563] ppid=7553 vsize=10661132 memory=139765426360532 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7563/stat : 7563 (java) S 7553 7556 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95769314 10916999168 11828 33554432000 4194304 4196468 140726925257280 140093921373040 140094361713282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7564] ppid=7553 vsize=10661132 memory=139765282369967 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7564/stat : 7564 (java) S 7553 7556 6713 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95769315 10916999168 11828 33554432000 4194304 4196468 140726925257280 140093920319008 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7565] ppid=7553 vsize=10661132 memory=279530564730768 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7565/stat : 7565 (java) S 7553 7556 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95769315 10916999168 11828 33554432000 4194304 4196468 140726925257280 140093919266160 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7566] ppid=7553 vsize=10661132 memory=279530564728464 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7566/stat : 7566 (java) S 7553 7556 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95769317 10916999168 11828 33554432000 4194304 4196468 140726925257280 140093918214480 140094361720731 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7567] ppid=7553 vsize=10661132 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7556/task/7567/stat : 7567 (java) R 7553 7556 6713 0 -1 4202560 682 0 0 0 7 0 0 0 20 0 15 0 95769317 10916999168 11828 33554432000 4194304 4196468 140726925257280 140093917152224 140094361723482 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7568] ppid=7553 vsize=10661132 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/7556/task/7568/stat : 7568 (java) R 7553 7556 6713 0 -1 4202560 317 0 0 0 5 0 0 0 20 0 15 0 95769317 10916999168 11828 33554432000 4194304 4196468 140726925257280 140093916095064 140094345087413 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7569] ppid=7553 vsize=10661132 memory=139765426353792 CPUtime=0.16 cores=1,3,5,7
/proc/7556/task/7569/stat : 7569 (java) R 7553 7556 6713 0 -1 4202560 1069 0 0 0 16 0 0 0 20 0 15 0 95769317 10916999168 11828 33554432000 4194304 4196468 140726925257280 140093847229024 140094343112143 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7570] ppid=7553 vsize=10661132 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7570/stat : 7570 (java) S 7553 7556 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95769317 10916999168 11828 33554432000 4194304 4196468 140726925257280 140093846182112 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7571] ppid=7553 vsize=10661132 memory=139765426353792 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7571/stat : 7571 (java) S 7553 7556 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95769318 10916999168 11828 33554432000 4194304 4196468 140726925257280 140093845130416 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 47312 KiB
[startup+0.700755 s]
/proc/loadavg: 1.22 1.33 1.39 5/219 7571
/proc/meminfo: memFree=27083720/32770624 swapFree=67108860/67108860
[pid=7556] ppid=7553 vsize=10661132 memory=86836 CPUtime=1.8 cores=1,3,5,7
/proc/7556/stat : 7556 (java) S 7553 7556 6713 0 -1 1077944320 13734 0 0 0 175 5 0 0 20 0 15 0 95769312 10916999168 21709 33554432000 4194304 4196468 140726925257280 140726925239824 140094361702135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
/proc/7556/statm: 2665283 21709 3117 1 0 2627263 0
[pid=7556/tid=7558] ppid=7553 vsize=10661132 memory=5484 CPUtime=0.67 cores=1,3,5,7
/proc/7556/task/7558/stat : 7558 (java) R 7553 7556 6713 0 -1 4202560 5703 0 0 0 64 3 0 0 20 0 15 0 95769312 10916999168 21709 33554432000 4194304 4196468 140726925257280 140094365694240 140726926260162 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7559] ppid=7553 vsize=10661132 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7559/stat : 7559 (java) S 7553 7556 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95769313 10916999168 21709 33554432000 4194304 4196468 140726925257280 140094318254736 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7560] ppid=7553 vsize=10661132 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7560/stat : 7560 (java) S 7553 7556 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95769313 10916999168 21709 33554432000 4194304 4196468 140726925257280 140093967751696 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7561] ppid=7553 vsize=10661132 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7561/stat : 7561 (java) S 7553 7556 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95769313 10916999168 21709 33554432000 4194304 4196468 140726925257280 140093966698896 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7562] ppid=7553 vsize=10661132 memory=7453282923411170919 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7562/stat : 7562 (java) S 7553 7556 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95769313 10916999168 21709 33554432000 4194304 4196468 140726925257280 140093965646096 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7563] ppid=7553 vsize=10661132 memory=6220993253238723945 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7563/stat : 7563 (java) S 7553 7556 6713 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95769314 10916999168 21709 33554432000 4194304 4196468 140726925257280 140093921373040 140094361713282 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7564] ppid=7553 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7564/stat : 7564 (java) S 7553 7556 6713 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95769315 10916999168 21709 33554432000 4194304 4196468 140726925257280 140093920319008 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7565] ppid=7553 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7565/stat : 7565 (java) S 7553 7556 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95769315 10916999168 21709 33554432000 4194304 4196468 140726925257280 140093919266160 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7566] ppid=7553 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7566/stat : 7566 (java) S 7553 7556 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95769317 10916999168 21709 33554432000 4194304 4196468 140726925257280 140093918214480 140094361720731 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7567] ppid=7553 vsize=10661132 memory=36 CPUtime=0.43 cores=1,3,5,7
/proc/7556/task/7567/stat : 7567 (java) R 7553 7556 6713 0 -1 4202560 2539 0 0 0 43 0 0 0 20 0 15 0 95769317 10916999168 21709 33554432000 4194304 4196468 140726925257280 140093917147312 140094361723482 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7568] ppid=7553 vsize=10661132 memory=3 CPUtime=0.4 cores=1,3,5,7
/proc/7556/task/7568/stat : 7568 (java) R 7553 7556 6713 0 -1 4202560 2312 0 0 0 40 0 0 0 20 0 15 0 95769317 10916999168 21709 33554432000 4194304 4196468 140726925257280 140093916101528 140094343246314 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7569] ppid=7553 vsize=10661132 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/7556/task/7569/stat : 7569 (java) S 7553 7556 6713 0 -1 1077944384 1809 0 0 0 26 0 0 0 20 0 15 0 95769317 10916999168 21709 33554432000 4194304 4196468 140726925257280 140093847234672 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7570] ppid=7553 vsize=10661132 memory=279530564914672 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7570/stat : 7570 (java) S 7553 7556 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95769317 10916999168 21709 33554432000 4194304 4196468 140726925257280 140093846182112 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7571] ppid=7553 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7571/stat : 7571 (java) S 7553 7556 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95769318 10916999168 21709 33554432000 4194304 4196468 140726925257280 140093845130416 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 86836 KiB
[startup+1.50079 s]
/proc/loadavg: 1.22 1.33 1.39 4/219 7571
/proc/meminfo: memFree=27029796/32770624 swapFree=67108860/67108860
[pid=7556] ppid=7553 vsize=10661132 memory=195064 CPUtime=3.25 cores=1,3,5,7
/proc/7556/stat : 7556 (java) S 7553 7556 6713 0 -1 1077944320 20929 0 0 0 316 9 0 0 20 0 15 0 95769312 10916999168 48766 33554432000 4194304 4196468 140726925257280 140726925239824 140094361702135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
/proc/7556/statm: 2665283 48766 3137 1 0 2627263 0
[pid=7556/tid=7558] ppid=7553 vsize=10661132 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/7556/task/7558/stat : 7558 (java) R 7553 7556 6713 0 -1 4202560 5994 0 0 0 141 5 0 0 20 0 15 0 95769312 10916999168 48766 33554432000 4194304 4196468 140726925257280 140094365700240 140726926260162 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7559] ppid=7553 vsize=10661132 memory=-6583839696183762729 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7559/stat : 7559 (java) S 7553 7556 6713 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 95769313 10916999168 48766 33554432000 4194304 4196468 140726925257280 140094318254736 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7560] ppid=7553 vsize=10661132 memory=-3472574513799858008 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7560/stat : 7560 (java) S 7553 7556 6713 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 15 0 95769313 10916999168 48766 33554432000 4194304 4196468 140726925257280 140093967751696 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7561] ppid=7553 vsize=10661132 memory=9051004470784983213 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7561/stat : 7561 (java) S 7553 7556 6713 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 95769313 10916999168 48766 33554432000 4194304 4196468 140726925257280 140093966698896 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7562] ppid=7553 vsize=10661132 memory=-6222382971732055939 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7562/stat : 7562 (java) S 7553 7556 6713 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 15 0 95769313 10916999168 48766 33554432000 4194304 4196468 140726925257280 140093965646096 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7563] ppid=7553 vsize=10661132 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7563/stat : 7563 (java) S 7553 7556 6713 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 15 0 95769314 10916999168 48766 33554432000 4194304 4196468 140726925257280 140093921373040 140094361713282 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
################
# More data... #
################
/proc/7556/task/7558/stat : 7558 (java) R 7553 7556 6713 0 -1 4202560 19314 0 0 0 232422 4349 0 0 20 0 15 0 95769312 10916999168 69121 33554432000 4194304 4196468 140726925257280 140094365703136 140726926260162 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7559] ppid=7553 vsize=10661132 memory=276484 CPUtime=5.97 cores=1,3,5,7
/proc/7556/task/7559/stat : 7559 (java) S 7553 7556 6713 0 -1 1077944384 2523 0 0 0 560 37 0 0 20 0 15 0 95769313 10916999168 69121 33554432000 4194304 4196468 140726925257280 140094318254736 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7560] ppid=7553 vsize=10661132 memory=276484 CPUtime=6.02 cores=1,3,5,7
/proc/7556/task/7560/stat : 7560 (java) S 7553 7556 6713 0 -1 1077944384 4292 0 0 0 564 38 0 0 20 0 15 0 95769313 10916999168 69121 33554432000 4194304 4196468 140726925257280 140093967751696 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7561] ppid=7553 vsize=10661132 memory=274436 CPUtime=5.98 cores=1,3,5,7
/proc/7556/task/7561/stat : 7561 (java) S 7553 7556 6713 0 -1 1077944384 3499 0 0 0 559 39 0 0 20 0 15 0 95769313 10916999168 69121 33554432000 4194304 4196468 140726925257280 140093966698896 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7562] ppid=7553 vsize=10661132 memory=276484 CPUtime=5.99 cores=1,3,5,7
/proc/7556/task/7562/stat : 7562 (java) S 7553 7556 6713 0 -1 1077944384 3799 0 0 0 563 36 0 0 20 0 15 0 95769313 10916999168 69121 33554432000 4194304 4196468 140726925257280 140093965646096 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7563] ppid=7553 vsize=10661132 memory=276484 CPUtime=6.1 cores=1,3,5,7
/proc/7556/task/7563/stat : 7563 (java) S 7553 7556 6713 0 -1 1077944384 5711 0 0 0 575 35 0 0 20 0 15 0 95769314 10916999168 69121 33554432000 4194304 4196468 140726925257280 140093921373040 140094361713282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7564] ppid=7553 vsize=10661132 memory=276484 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7564/stat : 7564 (java) S 7553 7556 6713 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 95769315 10916999168 69121 33554432000 4194304 4196468 140726925257280 140093920319008 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7565] ppid=7553 vsize=10661132 memory=276484 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7565/stat : 7565 (java) S 7553 7556 6713 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 95769315 10916999168 69121 33554432000 4194304 4196468 140726925257280 140093919266160 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7566] ppid=7553 vsize=10661132 memory=274436 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7566/stat : 7566 (java) S 7553 7556 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95769317 10916999168 69121 33554432000 4194304 4196468 140726925257280 140093918214480 140094361720731 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7567] ppid=7553 vsize=10661132 memory=276484 CPUtime=0.7 cores=1,3,5,7
/proc/7556/task/7567/stat : 7567 (java) S 7553 7556 6713 0 -1 1077944384 2715 0 0 0 70 0 0 0 20 0 15 0 95769317 10916999168 69121 33554432000 4194304 4196468 140726925257280 140093917161840 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7568] ppid=7553 vsize=10661132 memory=276484 CPUtime=0.78 cores=1,3,5,7
/proc/7556/task/7568/stat : 7568 (java) S 7553 7556 6713 0 -1 1077944384 8154 0 0 0 77 1 0 0 20 0 15 0 95769317 10916999168 69121 33554432000 4194304 4196468 140726925257280 140093916109040 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7569] ppid=7553 vsize=10661132 memory=276484 CPUtime=0.28 cores=1,3,5,7
/proc/7556/task/7569/stat : 7569 (java) S 7553 7556 6713 0 -1 1077944384 1943 0 0 0 28 0 0 0 20 0 15 0 95769317 10916999168 69121 33554432000 4194304 4196468 140726925257280 140093847234672 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7570] ppid=7553 vsize=10661132 memory=276484 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7570/stat : 7570 (java) S 7553 7556 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95769317 10916999168 69121 33554432000 4194304 4196468 140726925257280 140093846182112 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7571] ppid=7553 vsize=10661132 memory=4132 CPUtime=1.01 cores=1,3,5,7
/proc/7556/task/7571/stat : 7571 (java) S 7553 7556 6713 0 -1 1077944384 503 0 0 0 53 48 0 0 20 0 15 0 95769318 10916999168 69121 33554432000 4194304 4196468 140726925257280 140093845130416 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
Current children cumulated CPU time: 2400.63 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 276484 KiB
[startup+2442.3 s]
/proc/loadavg: 1.19 1.30 1.35 3/219 7749
/proc/meminfo: memFree=26885296/32770624 swapFree=67108860/67108860
[pid=7556] ppid=7553 vsize=10661132 memory=278532 CPUtime=2461.14 cores=1,3,5,7
/proc/7556/stat : 7556 (java) S 7553 7556 6713 0 -1 1077944320 55050 0 0 0 241458 4656 0 0 20 0 15 0 95769312 10916999168 69633 33554432000 4194304 4196468 140726925257280 140726925239824 140094361702135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
/proc/7556/statm: 2665283 69633 3148 1 0 2627263 0
[pid=7556/tid=7558] ppid=7553 vsize=10661132 memory=278532 CPUtime=2427.31 cores=1,3,5,7
/proc/7556/task/7558/stat : 7558 (java) R 7553 7556 6713 0 -1 4202560 19683 0 0 0 238280 4451 0 0 20 0 15 0 95769312 10916999168 69633 33554432000 4194304 4196468 140726925257280 140094365706400 140726926260162 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7559] ppid=7553 vsize=10661132 memory=278532 CPUtime=6.16 cores=1,3,5,7
/proc/7556/task/7559/stat : 7559 (java) S 7553 7556 6713 0 -1 1077944384 2857 0 0 0 578 38 0 0 20 0 15 0 95769313 10916999168 69633 33554432000 4194304 4196468 140726925257280 140094318254736 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7560] ppid=7553 vsize=10661132 memory=278532 CPUtime=6.2 cores=1,3,5,7
/proc/7556/task/7560/stat : 7560 (java) S 7553 7556 6713 0 -1 1077944384 4353 0 0 0 581 39 0 0 20 0 15 0 95769313 10916999168 69633 33554432000 4194304 4196468 140726925257280 140093967751696 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7561] ppid=7553 vsize=10661132 memory=278532 CPUtime=6.16 cores=1,3,5,7
/proc/7556/task/7561/stat : 7561 (java) S 7553 7556 6713 0 -1 1077944384 3601 0 0 0 576 40 0 0 20 0 15 0 95769313 10916999168 69633 33554432000 4194304 4196468 140726925257280 140093966698896 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7562] ppid=7553 vsize=10661132 memory=278532 CPUtime=6.17 cores=1,3,5,7
/proc/7556/task/7562/stat : 7562 (java) S 7553 7556 6713 0 -1 1077944384 3948 0 0 0 580 37 0 0 20 0 15 0 95769313 10916999168 69633 33554432000 4194304 4196468 140726925257280 140093965646096 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7563] ppid=7553 vsize=10661132 memory=276484 CPUtime=6.26 cores=1,3,5,7
/proc/7556/task/7563/stat : 7563 (java) S 7553 7556 6713 0 -1 1077944384 5852 0 0 0 590 36 0 0 20 0 15 0 95769314 10916999168 69633 33554432000 4194304 4196468 140726925257280 140093921373040 140094361713282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7564] ppid=7553 vsize=10661132 memory=3560 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7564/stat : 7564 (java) S 7553 7556 6713 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 95769315 10916999168 69633 33554432000 4194304 4196468 140726925257280 140093920319008 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7565] ppid=7553 vsize=10661132 memory=27744 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7565/stat : 7565 (java) S 7553 7556 6713 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 95769315 10916999168 69633 33554432000 4194304 4196468 140726925257280 140093919266160 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7566] ppid=7553 vsize=10661132 memory=278532 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7566/stat : 7566 (java) S 7553 7556 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95769317 10916999168 69633 33554432000 4194304 4196468 140726925257280 140093918214480 140094361720731 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7567] ppid=7553 vsize=10661132 memory=278532 CPUtime=0.7 cores=1,3,5,7
/proc/7556/task/7567/stat : 7567 (java) S 7553 7556 6713 0 -1 1077944384 2717 0 0 0 70 0 0 0 20 0 15 0 95769317 10916999168 69633 33554432000 4194304 4196468 140726925257280 140093917161840 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7568] ppid=7553 vsize=10661132 memory=278532 CPUtime=0.79 cores=1,3,5,7
/proc/7556/task/7568/stat : 7568 (java) S 7553 7556 6713 0 -1 1077944384 8157 0 0 0 78 1 0 0 20 0 15 0 95769317 10916999168 69633 33554432000 4194304 4196468 140726925257280 140093916109040 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7569] ppid=7553 vsize=10661132 memory=1444 CPUtime=0.28 cores=1,3,5,7
/proc/7556/task/7569/stat : 7569 (java) S 7553 7556 6713 0 -1 1077944384 1945 0 0 0 28 0 0 0 20 0 15 0 95769317 10916999168 69633 33554432000 4194304 4196468 140726925257280 140093847234672 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7570] ppid=7553 vsize=10661132 memory=278532 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7570/stat : 7570 (java) S 7553 7556 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95769317 10916999168 69633 33554432000 4194304 4196468 140726925257280 140093846182112 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7571] ppid=7553 vsize=10661132 memory=3560 CPUtime=1.03 cores=1,3,5,7
/proc/7556/task/7571/stat : 7571 (java) S 7553 7556 6713 0 -1 1077944384 511 0 0 0 53 50 0 0 20 0 15 0 95769318 10916999168 69633 33554432000 4194304 4196468 140726925257280 140093845130416 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
Current children cumulated CPU time: 2461.14 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 278532 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2500.7 s]
/proc/loadavg: 1.46 1.35 1.36 3/218 7750
/proc/meminfo: memFree=26879120/32770624 swapFree=67108860/67108860
[pid=7556] ppid=7553 vsize=10661132 memory=280580 CPUtime=2520.05 cores=1,3,5,7
/proc/7556/stat : 7556 (java) S 7553 7556 6713 0 -1 1077944320 56235 0 0 0 247241 4764 0 0 20 0 15 0 95769312 10916999168 70145 33554432000 4194304 4196468 140726925257280 140726925239824 140094361702135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
/proc/7556/statm: 2665283 70145 3148 1 0 2627263 0
[pid=7556/tid=7558] ppid=7553 vsize=10661132 memory=8112282956445269571 CPUtime=2485.32 cores=1,3,5,7
/proc/7556/task/7558/stat : 7558 (java) R 7553 7556 6713 0 -1 4202560 20059 0 0 0 243977 4555 0 0 20 0 15 0 95769312 10916999168 70145 33554432000 4194304 4196468 140726925257280 140094365704816 140726926260162 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7559] ppid=7553 vsize=10661132 memory=280580 CPUtime=6.34 cores=1,3,5,7
/proc/7556/task/7559/stat : 7559 (java) S 7553 7556 6713 0 -1 1077944384 3170 0 0 0 595 39 0 0 20 0 15 0 95769313 10916999168 70145 33554432000 4194304 4196468 140726925257280 140094318254736 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7560] ppid=7553 vsize=10661132 memory=280580 CPUtime=6.39 cores=1,3,5,7
/proc/7556/task/7560/stat : 7560 (java) S 7553 7556 6713 0 -1 1077944384 4488 0 0 0 599 40 0 0 20 0 15 0 95769313 10916999168 70145 33554432000 4194304 4196468 140726925257280 140093967751696 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7561] ppid=7553 vsize=10661132 memory=280580 CPUtime=6.33 cores=1,3,5,7
/proc/7556/task/7561/stat : 7561 (java) S 7553 7556 6713 0 -1 1077944384 3751 0 0 0 593 40 0 0 20 0 15 0 95769313 10916999168 70145 33554432000 4194304 4196468 140726925257280 140093966698896 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7562] ppid=7553 vsize=10661132 memory=280580 CPUtime=6.34 cores=1,3,5,7
/proc/7556/task/7562/stat : 7562 (java) S 7553 7556 6713 0 -1 1077944384 4003 0 0 0 597 37 0 0 20 0 15 0 95769313 10916999168 70145 33554432000 4194304 4196468 140726925257280 140093965646096 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7563] ppid=7553 vsize=10661132 memory=280580 CPUtime=6.41 cores=1,3,5,7
/proc/7556/task/7563/stat : 7563 (java) S 7553 7556 6713 0 -1 1077944384 5988 0 0 0 605 36 0 0 20 0 15 0 95769314 10916999168 70145 33554432000 4194304 4196468 140726925257280 140093921373040 140094361713282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7564] ppid=7553 vsize=10661132 memory=280580 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7564/stat : 7564 (java) S 7553 7556 6713 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 95769315 10916999168 70145 33554432000 4194304 4196468 140726925257280 140093920319008 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7565] ppid=7553 vsize=10661132 memory=27744 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7565/stat : 7565 (java) S 7553 7556 6713 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 95769315 10916999168 70145 33554432000 4194304 4196468 140726925257280 140093919266160 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7566] ppid=7553 vsize=10661132 memory=280580 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7566/stat : 7566 (java) S 7553 7556 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95769317 10916999168 70145 33554432000 4194304 4196468 140726925257280 140093918214480 140094361720731 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7567] ppid=7553 vsize=10661132 memory=280580 CPUtime=0.7 cores=1,3,5,7
/proc/7556/task/7567/stat : 7567 (java) S 7553 7556 6713 0 -1 1077944384 2719 0 0 0 70 0 0 0 20 0 15 0 95769317 10916999168 70145 33554432000 4194304 4196468 140726925257280 140093917161840 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7568] ppid=7553 vsize=10661132 memory=280580 CPUtime=0.79 cores=1,3,5,7
/proc/7556/task/7568/stat : 7568 (java) S 7553 7556 6713 0 -1 1077944384 8159 0 0 0 78 1 0 0 20 0 15 0 95769317 10916999168 70145 33554432000 4194304 4196468 140726925257280 140093916109040 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7569] ppid=7553 vsize=10661132 memory=280580 CPUtime=0.28 cores=1,3,5,7
/proc/7556/task/7569/stat : 7569 (java) S 7553 7556 6713 0 -1 1077944384 1947 0 0 0 28 0 0 0 20 0 15 0 95769317 10916999168 70145 33554432000 4194304 4196468 140726925257280 140093847234672 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7570] ppid=7553 vsize=10661132 memory=280580 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7570/stat : 7570 (java) S 7553 7556 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95769317 10916999168 70145 33554432000 4194304 4196468 140726925257280 140093846182112 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7571] ppid=7553 vsize=10661132 memory=3560 CPUtime=1.07 cores=1,3,5,7
/proc/7556/task/7571/stat : 7571 (java) S 7553 7556 6713 0 -1 1077944384 525 0 0 0 55 52 0 0 20 0 15 0 95769318 10916999168 70145 33554432000 4194304 4196468 140726925257280 140093845130416 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 280580 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2500.71 s]
# the end of solver process 7556 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2472.43 s, system=47.6474 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2500.7 s]
/proc/loadavg: 1.46 1.35 1.36 3/218 7750
/proc/meminfo: memFree=26879120/32770624 swapFree=67108860/67108860
[pid=7556] ppid=7553 vsize=10661132 memory=280580 CPUtime=2520.05 cores=1,3,5,7
/proc/7556/stat : 7556 (java) S 7553 7556 6713 0 -1 1077944320 56235 0 0 0 247241 4764 0 0 20 0 15 0 95769312 10916999168 70145 33554432000 4194304 4196468 140726925257280 140726925239824 140094361702135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
/proc/7556/statm: 2665283 70145 3148 1 0 2627263 0
[pid=7556/tid=7558] ppid=7553 vsize=10661132 memory=8112282956445269571 CPUtime=2485.32 cores=1,3,5,7
/proc/7556/task/7558/stat : 7558 (java) R 7553 7556 6713 0 -1 4202560 20059 0 0 0 243977 4555 0 0 20 0 15 0 95769312 10916999168 70145 33554432000 4194304 4196468 140726925257280 140094365704816 140726926260162 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7559] ppid=7553 vsize=10661132 memory=280580 CPUtime=6.34 cores=1,3,5,7
/proc/7556/task/7559/stat : 7559 (java) S 7553 7556 6713 0 -1 1077944384 3170 0 0 0 595 39 0 0 20 0 15 0 95769313 10916999168 70145 33554432000 4194304 4196468 140726925257280 140094318254736 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7560] ppid=7553 vsize=10661132 memory=280580 CPUtime=6.39 cores=1,3,5,7
/proc/7556/task/7560/stat : 7560 (java) S 7553 7556 6713 0 -1 1077944384 4488 0 0 0 599 40 0 0 20 0 15 0 95769313 10916999168 70145 33554432000 4194304 4196468 140726925257280 140093967751696 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7561] ppid=7553 vsize=10661132 memory=280580 CPUtime=6.33 cores=1,3,5,7
/proc/7556/task/7561/stat : 7561 (java) S 7553 7556 6713 0 -1 1077944384 3751 0 0 0 593 40 0 0 20 0 15 0 95769313 10916999168 70145 33554432000 4194304 4196468 140726925257280 140093966698896 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7562] ppid=7553 vsize=10661132 memory=280580 CPUtime=6.34 cores=1,3,5,7
/proc/7556/task/7562/stat : 7562 (java) S 7553 7556 6713 0 -1 1077944384 4003 0 0 0 597 37 0 0 20 0 15 0 95769313 10916999168 70145 33554432000 4194304 4196468 140726925257280 140093965646096 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7563] ppid=7553 vsize=10661132 memory=280580 CPUtime=6.41 cores=1,3,5,7
/proc/7556/task/7563/stat : 7563 (java) S 7553 7556 6713 0 -1 1077944384 5988 0 0 0 605 36 0 0 20 0 15 0 95769314 10916999168 70145 33554432000 4194304 4196468 140726925257280 140093921373040 140094361713282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7564] ppid=7553 vsize=10661132 memory=280580 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7564/stat : 7564 (java) S 7553 7556 6713 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 95769315 10916999168 70145 33554432000 4194304 4196468 140726925257280 140093920319008 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7565] ppid=7553 vsize=10661132 memory=27744 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7565/stat : 7565 (java) S 7553 7556 6713 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 95769315 10916999168 70145 33554432000 4194304 4196468 140726925257280 140093919266160 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7566] ppid=7553 vsize=10661132 memory=280580 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7566/stat : 7566 (java) S 7553 7556 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95769317 10916999168 70145 33554432000 4194304 4196468 140726925257280 140093918214480 140094361720731 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7567] ppid=7553 vsize=10661132 memory=280580 CPUtime=0.7 cores=1,3,5,7
/proc/7556/task/7567/stat : 7567 (java) S 7553 7556 6713 0 -1 1077944384 2719 0 0 0 70 0 0 0 20 0 15 0 95769317 10916999168 70145 33554432000 4194304 4196468 140726925257280 140093917161840 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7568] ppid=7553 vsize=10661132 memory=280580 CPUtime=0.79 cores=1,3,5,7
/proc/7556/task/7568/stat : 7568 (java) S 7553 7556 6713 0 -1 1077944384 8159 0 0 0 78 1 0 0 20 0 15 0 95769317 10916999168 70145 33554432000 4194304 4196468 140726925257280 140093916109040 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7569] ppid=7553 vsize=10661132 memory=280580 CPUtime=0.28 cores=1,3,5,7
/proc/7556/task/7569/stat : 7569 (java) S 7553 7556 6713 0 -1 1077944384 1947 0 0 0 28 0 0 0 20 0 15 0 95769317 10916999168 70145 33554432000 4194304 4196468 140726925257280 140093847234672 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7570] ppid=7553 vsize=10661132 memory=280580 CPUtime=0 cores=1,3,5,7
/proc/7556/task/7570/stat : 7570 (java) S 7553 7556 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95769317 10916999168 70145 33554432000 4194304 4196468 140726925257280 140093846182112 140094361712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
[pid=7556/tid=7571] ppid=7553 vsize=10661132 memory=3560 CPUtime=1.07 cores=1,3,5,7
/proc/7556/task/7571/stat : 7571 (java) S 7553 7556 6713 0 -1 1077944384 525 0 0 0 55 52 0 0 20 0 15 0 95769318 10916999168 70145 33554432000 4194304 4196468 140726925257280 140093845130416 140094361713282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140726925259896 140726925260041 140726925260041 140726925262799 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 280580 KiB
Child status: 143
Real time (s): 2500.71
CPU time (s): 2520.07
CPU user time (s): 2472.43
CPU system time (s): 47.6474
CPU usage (%): 100.774
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 280580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2472.43
system time used= 47.6474
maximum resident set size= 281084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56379
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 205501
involuntary context switches= 6399
# summary of solver processes directly reported to runsolver:
# pid: 7556
# total CPU time (s): 2520.07
# total CPU user time (s): 2472.43
# total CPU system time (s): 47.6474
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7981 second user time and 24.5054 second system time
The end