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 (2285 MiB free)
memory of node 1: 16384 MiB (1490 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304226-1534048120/watcher-4304226-1534048120 -o /tmp/evaluation-result-4304226-1534048120/solver-4304226-1534048120 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534040758-13580 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1477004483 -superng HOME/instance-4304226-1534048120.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=14596, runsolver pid=14593
[startup+0.100064 s]*
/proc/loadavg: 0.96 1.20 1.28 3/206 14653
/proc/meminfo: memFree=3861168/32770624 swapFree=67108860/67108860
[pid=14596] ppid=14593 vsize=10005480 memory=16544 CPUtime=0.08 cores=0,2,4,6
/proc/14596/stat : 14596 (java) S 14593 14596 11630 0 -1 1077944320 4321 13283 0 0 1 0 5 2 20 0 6 0 222375150 10245611520 4136 33554432000 4194304 4196468 140730644569520 140730644552064 140292806078199 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
/proc/14596/statm: 2501370 4136 1932 1 0 2489808 0
[pid=14596/tid=14649] ppid=14593 vsize=10005480 memory=4279135703980212877 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14649/stat : 14649 (java) R 14593 14596 11630 0 -1 4202560 2140 13283 0 0 0 0 5 2 20 0 6 0 222375159 10245611520 4202 33554432000 4194304 4196468 140730644569520 140292777914960 140292790158686 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14650] ppid=14593 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14650/stat : 14650 (java) S 14593 14596 11630 0 -1 1077944384 1 13283 0 0 0 0 5 2 20 0 6 0 222375160 10245611520 4202 33554432000 4194304 4196468 140730644569520 140292810320528 140292806088405 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14651] ppid=14593 vsize=10005480 memory=140653307319936 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14651/stat : 14651 (java) S 14593 14596 11630 0 -1 1077944384 1 13283 0 0 0 0 5 2 20 0 6 0 222375160 10245611520 4202 33554432000 4194304 4196468 140730644569520 140292345485840 140292806088405 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14652] ppid=14593 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14652/stat : 14652 (java) S 14593 14596 11630 0 -1 1077944384 1 13283 0 0 0 0 5 2 20 0 6 0 222375160 10245611520 4202 33554432000 4194304 4196468 140730644569520 140292344433040 140292806088405 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14653] ppid=14593 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14653/stat : 14653 (java) S 14593 14596 11630 0 -1 1077944384 2 13283 0 0 0 0 5 2 20 0 6 0 222375160 10245611520 4202 33554432000 4194304 4196468 140730644569520 140292343380240 140292806088405 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16544 KiB
[startup+0.210004 s]*
/proc/loadavg: 0.96 1.20 1.28 4/215 14662
/proc/meminfo: memFree=3837492/32770624 swapFree=67108860/67108860
[pid=14596] ppid=14593 vsize=10982744 memory=42608 CPUtime=0.25 cores=0,2,4,6
/proc/14596/stat : 14596 (java) S 14593 14596 11630 0 -1 1077944320 7384 13283 0 0 16 2 5 2 20 0 15 0 222375150 11246329856 10652 33554432000 4194304 4196468 140730644569520 140730644552064 140292806078199 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
/proc/14596/statm: 2745686 10652 2946 1 0 2708109 0
[pid=14596/tid=14649] ppid=14593 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/14596/task/14649/stat : 14649 (java) R 14593 14596 11630 0 -1 4202560 4002 13283 0 0 10 1 5 2 20 0 15 0 222375159 11246329856 10718 33554432000 4194304 4196468 140730644569520 140292777895312 140292786353948 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14650] ppid=14593 vsize=10982744 memory=342 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14650/stat : 14650 (java) S 14593 14596 11630 0 -1 1077944384 1 13283 0 0 0 0 5 2 20 0 15 0 222375160 11246329856 10718 33554432000 4194304 4196468 140730644569520 140292810320528 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14651] ppid=14593 vsize=10982744 memory=3691180516896102048 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14651/stat : 14651 (java) S 14593 14596 11630 0 -1 1077944384 1 13283 0 0 0 0 5 2 20 0 15 0 222375160 11246329856 10718 33554432000 4194304 4196468 140730644569520 140292345485840 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14652] ppid=14593 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14652/stat : 14652 (java) S 14593 14596 11630 0 -1 1077944384 1 13283 0 0 0 0 5 2 20 0 15 0 222375160 11246329856 10718 33554432000 4194304 4196468 140730644569520 140292344433040 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14653] ppid=14593 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14653/stat : 14653 (java) S 14593 14596 11630 0 -1 1077944384 2 13283 0 0 0 0 5 2 20 0 15 0 222375160 11246329856 10784 33554432000 4194304 4196468 140730644569520 140292343380240 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14654] ppid=14593 vsize=10982744 memory=140653307319936 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14654/stat : 14654 (java) S 14593 14596 11630 0 -1 1077944384 2 13283 0 0 0 0 5 2 20 0 15 0 222375161 11246329856 10784 33554432000 4194304 4196468 140730644569520 140292299127664 140292806089346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14655] ppid=14593 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14655/stat : 14655 (java) S 14593 14596 11630 0 -1 1077944384 13 13283 0 0 0 0 5 2 20 0 15 0 222375162 11246329856 10784 33554432000 4194304 4196468 140730644569520 140291617056288 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14656] ppid=14593 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14656/stat : 14656 (java) S 14593 14596 11630 0 -1 1077944384 1 13283 0 0 0 0 5 2 20 0 15 0 222375162 11246329856 10784 33554432000 4194304 4196468 140730644569520 140291415729520 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14657] ppid=14593 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14657/stat : 14657 (java) S 14593 14596 11630 0 -1 1077944384 3 13283 0 0 0 0 5 2 20 0 15 0 222375165 11246329856 10784 33554432000 4194304 4196468 140730644569520 140291108329808 140292806096795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14658] ppid=14593 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14596/task/14658/stat : 14658 (java) S 14593 14596 11630 0 -1 1077944384 354 13283 0 0 1 0 5 2 20 0 15 0 222375165 11246329856 10784 33554432000 4194304 4196468 140730644569520 140292298074480 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14659] ppid=14593 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14596/task/14659/stat : 14659 (java) S 14593 14596 11630 0 -1 1077944384 252 13283 0 0 1 0 5 2 20 0 15 0 222375165 11246329856 10784 33554432000 4194304 4196468 140730644569520 140292297021680 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14660] ppid=14593 vsize=10982744 memory=140653307319936 CPUtime=0.1 cores=0,2,4,6
/proc/14596/task/14660/stat : 14660 (java) S 14593 14596 11630 0 -1 1077944384 617 13283 0 0 3 0 5 2 20 0 15 0 222375165 11246329856 10784 33554432000 4194304 4196468 140730644569520 140292295968880 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14661] ppid=14593 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14661/stat : 14661 (java) S 14593 14596 11630 0 -1 1077944384 3 13283 0 0 0 0 5 2 20 0 15 0 222375165 11246329856 10784 33554432000 4194304 4196468 140730644569520 140290677532896 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14662] ppid=14593 vsize=10982744 memory=140653307319936 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14662/stat : 14662 (java) S 14593 14596 11630 0 -1 1077944384 1 13283 0 0 0 0 5 2 20 0 15 0 222375165 11246329856 10784 33554432000 4194304 4196468 140730644569520 140292294917296 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42608 KiB
[startup+0.310345 s]*
/proc/loadavg: 0.96 1.20 1.28 3/215 14662
/proc/meminfo: memFree=3824716/32770624 swapFree=67108860/67108860
[pid=14596] ppid=14593 vsize=10983192 memory=56292 CPUtime=0.37 cores=0,2,4,6
/proc/14596/stat : 14596 (java) S 14593 14596 11630 0 -1 1077944320 10642 13283 0 0 28 2 5 2 20 0 15 0 222375150 11246788608 14073 33554432000 4194304 4196468 140730644569520 140730644552064 140292806078199 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
/proc/14596/statm: 2745798 14073 3065 1 0 2708109 0
[pid=14596/tid=14649] ppid=14593 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/14596/task/14649/stat : 14649 (java) R 14593 14596 11630 0 -1 4202560 7188 13283 0 0 19 1 5 2 20 0 15 0 222375159 11246788608 14073 33554432000 4194304 4196468 140730644569520 140292777890208 140292806090134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14650] ppid=14593 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14650/stat : 14650 (java) S 14593 14596 11630 0 -1 1077944384 1 13283 0 0 0 0 5 2 20 0 15 0 222375160 11246788608 14073 33554432000 4194304 4196468 140730644569520 140292810320528 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14651] ppid=14593 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14651/stat : 14651 (java) S 14593 14596 11630 0 -1 1077944384 1 13283 0 0 0 0 5 2 20 0 15 0 222375160 11246788608 14073 33554432000 4194304 4196468 140730644569520 140292345485840 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14652] ppid=14593 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14652/stat : 14652 (java) S 14593 14596 11630 0 -1 1077944384 1 13283 0 0 0 0 5 2 20 0 15 0 222375160 11246788608 14073 33554432000 4194304 4196468 140730644569520 140292344433040 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14653] ppid=14593 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14653/stat : 14653 (java) S 14593 14596 11630 0 -1 1077944384 2 13283 0 0 0 0 5 2 20 0 15 0 222375160 11246788608 14073 33554432000 4194304 4196468 140730644569520 140292343380240 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14654] ppid=14593 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14654/stat : 14654 (java) S 14593 14596 11630 0 -1 1077944384 2 13283 0 0 0 0 5 2 20 0 15 0 222375161 11246788608 14073 33554432000 4194304 4196468 140730644569520 140292299127664 140292806089346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14655] ppid=14593 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14655/stat : 14655 (java) S 14593 14596 11630 0 -1 1077944384 13 13283 0 0 0 0 5 2 20 0 15 0 222375162 11246788608 14073 33554432000 4194304 4196468 140730644569520 140291617056288 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14656] ppid=14593 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14656/stat : 14656 (java) S 14593 14596 11630 0 -1 1077944384 1 13283 0 0 0 0 5 2 20 0 15 0 222375162 11246788608 14073 33554432000 4194304 4196468 140730644569520 140291415729520 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14657] ppid=14593 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14657/stat : 14657 (java) S 14593 14596 11630 0 -1 1077944384 3 13283 0 0 0 0 5 2 20 0 15 0 222375165 11246788608 14073 33554432000 4194304 4196468 140730644569520 140291108329808 140292806096795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14658] ppid=14593 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14596/task/14658/stat : 14658 (java) S 14593 14596 11630 0 -1 1077944384 356 13283 0 0 2 0 5 2 20 0 15 0 222375165 11246788608 14073 33554432000 4194304 4196468 140730644569520 140292298074480 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14659] ppid=14593 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14596/task/14659/stat : 14659 (java) S 14593 14596 11630 0 -1 1077944384 255 13283 0 0 1 0 5 2 20 0 15 0 222375165 11246788608 14073 33554432000 4194304 4196468 140730644569520 140292297021680 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14660] ppid=14593 vsize=10983192 memory=140653307319936 CPUtime=0.11 cores=0,2,4,6
/proc/14596/task/14660/stat : 14660 (java) R 14593 14596 11630 0 -1 4202560 623 13283 0 0 4 0 5 2 20 0 15 0 222375165 11246788608 14073 33554432000 4194304 4196468 140730644569520 140292295968880 140292806099546 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14661] ppid=14593 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14661/stat : 14661 (java) S 14593 14596 11630 0 -1 1077944384 3 13283 0 0 0 0 5 2 20 0 15 0 222375165 11246788608 14073 33554432000 4194304 4196468 140730644569520 140290677532896 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14662] ppid=14593 vsize=10983192 memory=140653307319936 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14662/stat : 14662 (java) S 14593 14596 11630 0 -1 1077944384 1 13283 0 0 0 0 5 2 20 0 15 0 222375165 11246788608 14073 33554432000 4194304 4196468 140730644569520 140292294917296 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56292 KiB
[startup+0.700704 s]
/proc/loadavg: 0.96 1.20 1.28 3/215 14662
/proc/meminfo: memFree=3814048/32770624 swapFree=67108860/67108860
[pid=14596] ppid=14593 vsize=10983192 memory=88512 CPUtime=0.98 cores=0,2,4,6
/proc/14596/stat : 14596 (java) S 14593 14596 11630 0 -1 1077944320 16773 13283 0 0 87 4 5 2 20 0 15 0 222375150 11246788608 22128 33554432000 4194304 4196468 140730644569520 140730644552064 140292806078199 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
/proc/14596/statm: 2745798 22128 3238 1 0 2708109 0
[pid=14596/tid=14649] ppid=14593 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/14596/task/14649/stat : 14649 (java) R 14593 14596 11630 0 -1 4202560 12279 13283 0 0 56 3 5 2 20 0 15 0 222375159 11246788608 22128 33554432000 4194304 4196468 140730644569520 140292777906080 140292783302352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14650] ppid=14593 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14650/stat : 14650 (java) S 14593 14596 11630 0 -1 1077944384 1 13283 0 0 0 0 5 2 20 0 15 0 222375160 11246788608 22128 33554432000 4194304 4196468 140730644569520 140292810320528 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14651] ppid=14593 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14651/stat : 14651 (java) S 14593 14596 11630 0 -1 1077944384 1 13283 0 0 0 0 5 2 20 0 15 0 222375160 11246788608 22128 33554432000 4194304 4196468 140730644569520 140292345485840 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14652] ppid=14593 vsize=10983192 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14652/stat : 14652 (java) S 14593 14596 11630 0 -1 1077944384 1 13283 0 0 0 0 5 2 20 0 15 0 222375160 11246788608 22128 33554432000 4194304 4196468 140730644569520 140292344433040 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14653] ppid=14593 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14653/stat : 14653 (java) S 14593 14596 11630 0 -1 1077944384 2 13283 0 0 0 0 5 2 20 0 15 0 222375160 11246788608 22128 33554432000 4194304 4196468 140730644569520 140292343380240 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14654] ppid=14593 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14654/stat : 14654 (java) S 14593 14596 11630 0 -1 1077944384 5 13283 0 0 0 0 5 2 20 0 15 0 222375161 11246788608 22128 33554432000 4194304 4196468 140730644569520 140292299127664 140292806089346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14655] ppid=14593 vsize=10983192 memory=140653199766224 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14655/stat : 14655 (java) S 14593 14596 11630 0 -1 1077944384 13 13283 0 0 0 0 5 2 20 0 15 0 222375162 11246788608 22128 33554432000 4194304 4196468 140730644569520 140291617056288 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14656] ppid=14593 vsize=10983192 memory=140655883977315 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14656/stat : 14656 (java) S 14593 14596 11630 0 -1 1077944384 1 13283 0 0 0 0 5 2 20 0 15 0 222375162 11246788608 22128 33554432000 4194304 4196468 140730644569520 140291415729520 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14657] ppid=14593 vsize=10983192 memory=10824 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14657/stat : 14657 (java) S 14593 14596 11630 0 -1 1077944384 3 13283 0 0 0 0 5 2 20 0 15 0 222375165 11246788608 22128 33554432000 4194304 4196468 140730644569520 140291108329808 140292806096795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14658] ppid=14593 vsize=10983192 memory=7234564758908855872 CPUtime=0.14 cores=0,2,4,6
/proc/14596/task/14658/stat : 14658 (java) S 14593 14596 11630 0 -1 1077944384 720 13283 0 0 7 0 5 2 20 0 15 0 222375165 11246788608 22128 33554432000 4194304 4196468 140730644569520 140292298074480 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14659] ppid=14593 vsize=10983192 memory=8099279071866868843 CPUtime=0.16 cores=0,2,4,6
/proc/14596/task/14659/stat : 14659 (java) S 14593 14596 11630 0 -1 1077944384 871 13283 0 0 9 0 5 2 20 0 15 0 222375165 11246788608 22128 33554432000 4194304 4196468 140730644569520 140292297021680 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14660] ppid=14593 vsize=10983192 memory=6154282490091891024 CPUtime=0.2 cores=0,2,4,6
/proc/14596/task/14660/stat : 14660 (java) S 14593 14596 11630 0 -1 1077944384 675 13283 0 0 13 0 5 2 20 0 15 0 222375165 11246788608 22128 33554432000 4194304 4196468 140730644569520 140292295968880 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14661] ppid=14593 vsize=10983192 memory=4128 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14661/stat : 14661 (java) S 14593 14596 11630 0 -1 1077944384 3 13283 0 0 0 0 5 2 20 0 15 0 222375165 11246788608 22128 33554432000 4194304 4196468 140730644569520 140290677532896 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14662] ppid=14593 vsize=10983192 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14662/stat : 14662 (java) S 14593 14596 11630 0 -1 1077944384 1 13283 0 0 0 0 5 2 20 0 15 0 222375165 11246788608 22128 33554432000 4194304 4196468 140730644569520 140292294917296 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88512 KiB
[startup+1.50253 s]
/proc/loadavg: 0.96 1.20 1.28 3/215 14662
/proc/meminfo: memFree=3771128/32770624 swapFree=67108860/67108860
[pid=14596] ppid=14593 vsize=10991948 memory=226696 CPUtime=3.04 cores=0,2,4,6
/proc/14596/stat : 14596 (java) S 14593 14596 11630 0 -1 1077944320 22819 13283 0 0 288 9 5 2 20 0 15 0 222375150 11255754752 56674 33554432000 4194304 4196468 140730644569520 140730644552064 140292806078199 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
/proc/14596/statm: 2747987 56674 3465 1 0 2709645 0
[pid=14596/tid=14649] ppid=14593 vsize=10991948 memory=12813 CPUtime=1.44 cores=0,2,4,6
/proc/14596/task/14649/stat : 14649 (java) S 14593 14596 11630 0 -1 1077944384 15068 13283 0 0 132 5 5 2 20 0 15 0 222375159 11255754752 56674 33554432000 4194304 4196468 140730644569520 140292777910928 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14650] ppid=14593 vsize=10991948 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14650/stat : 14650 (java) R 14593 14596 11630 0 -1 4202560 35 13283 0 0 0 0 5 2 20 0 15 0 222375160 11255754752 56674 33554432000 4194304 4196468 140730644569520 140292810320728 140292799184735 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14651] ppid=14593 vsize=10991948 memory=3772 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14651/stat : 14651 (java) R 14593 14596 11630 0 -1 1077944384 1 13283 0 0 0 0 5 2 20 0 15 0 222375160 11255754752 56674 33554432000 4194304 4196468 140730644569520 140292345485840 140292806088405 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14652] ppid=14593 vsize=10991948 memory=249425 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14652/stat : 14652 (java) R 14593 14596 11630 0 -1 4202560 215 13283 0 0 0 0 5 2 20 0 15 0 222375160 11255754752 56674 33554432000 4194304 4196468 140730644569520 140292344433040 140292791105618 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14653] ppid=14593 vsize=10991948 memory=88512 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14653/stat : 14653 (java) R 14593 14596 11630 0 -1 4202560 67 13283 0 0 0 0 5 2 20 0 15 0 222375160 11255754752 56674 33554432000 4194304 4196468 140730644569520 140292343380240 140292799178046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14654] ppid=14593 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14654/stat : 14654 (java) S 14593 14596 11630 0 -1 1077944384 20 13283 0 0 0 0 5 2 20 0 15 0 222375161 11255754752 56674 33554432000 4194304 4196468 140730644569520 140292299126176 140292806088405 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14655] ppid=14593 vsize=10991948 memory=281306399474160 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14655/stat : 14655 (java) S 14593 14596 11630 0 -1 1077944384 13 13283 0 0 0 0 5 2 20 0 15 0 222375162 11255754752 56674 33554432000 4194304 4196468 140730644569520 140291617056288 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14656] ppid=14593 vsize=10991948 memory=281306399524960 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14656/stat : 14656 (java) S 14593 14596 11630 0 -1 1077944384 1 13283 0 0 0 0 5 2 20 0 15 0 222375162 11255754752 56674 33554432000 4194304 4196468 140730644569520 140291415729520 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14657] ppid=14593 vsize=10991948 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14657/stat : 14657 (java) S 14593 14596 11630 0 -1 1077944384 3 13283 0 0 0 0 5 2 20 0 15 0 222375165 11255754752 56674 33554432000 4194304 4196468 140730644569520 140291108329808 140292806096795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14658] ppid=14593 vsize=10991948 memory=4638778398332698720 CPUtime=0.6 cores=0,2,4,6
/proc/14596/task/14658/stat : 14658 (java) R 14593 14596 11630 0 -1 4202560 1572 13283 0 0 53 0 5 2 20 0 15 0 222375165 11255754752 56674 33554432000 4194304 4196468 140730644569520 140292298060360 140292787599637 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14659] ppid=14593 vsize=10991948 memory=281306399808448 CPUtime=0.67 cores=0,2,4,6
/proc/14596/task/14659/stat : 14659 (java) R 14593 14596 11630 0 -1 4202560 2245 13283 0 0 59 1 5 2 20 0 15 0 222375165 11255754752 56674 33554432000 4194304 4196468 140730644569520 140292297020864 140292789464383 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14660] ppid=14593 vsize=10991948 memory=-7531822216213012384 CPUtime=0.48 cores=0,2,4,6
/proc/14596/task/14660/stat : 14660 (java) S 14593 14596 11630 0 -1 1077944384 1378 13283 0 0 40 1 5 2 20 0 15 0 222375165 11255754752 56674 33554432000 4194304 4196468 140730644569520 140292295968880 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14661] ppid=14593 vsize=10991948 memory=-7531822216213012384 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14661/stat : 14661 (java) S 14593 14596 11630 0 -1 1077944384 3 13283 0 0 0 0 5 2 20 0 15 0 222375165 11255754752 56674 33554432000 4194304 4196468 140730644569520 140290677532896 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14662] ppid=14593 vsize=10991948 memory=-7233780906022716832 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14662/stat : 14662 (java) S 14593 14596 11630 0 -1 1077944384 1 13283 0 0 0 0 5 2 20 0 15 0 222375165 11255754752 56674 33554432000 4194304 4196468 140730644569520 140292294917296 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 10991948 KiB
################
# More data... #
################
/proc/14596/task/14649/stat : 14649 (java) R 14593 14596 11630 0 -1 4202560 2351959 13283 0 0 229731 184 5 2 20 0 15 0 222375159 11278843904 952017 33554432000 4194304 4196468 140730644569520 140292777913968 140292393560265 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14650] ppid=14593 vsize=11014496 memory=3811656 CPUtime=20.63 cores=0,2,4,6
/proc/14596/task/14650/stat : 14650 (java) S 14593 14596 11630 0 -1 1077944384 102467 13283 0 0 1955 101 5 2 20 0 15 0 222375160 11278843904 952017 33554432000 4194304 4196468 140730644569520 140292810320528 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14651] ppid=14593 vsize=11014496 memory=3814232 CPUtime=20.72 cores=0,2,4,6
/proc/14596/task/14651/stat : 14651 (java) S 14593 14596 11630 0 -1 1077944384 96980 13283 0 0 1968 97 5 2 20 0 15 0 222375160 11278843904 952017 33554432000 4194304 4196468 140730644569520 140292345485840 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14652] ppid=14593 vsize=11014496 memory=3819372 CPUtime=20.59 cores=0,2,4,6
/proc/14596/task/14652/stat : 14652 (java) S 14593 14596 11630 0 -1 1077944384 98908 13283 0 0 1953 99 5 2 20 0 15 0 222375160 11278843904 952017 33554432000 4194304 4196468 140730644569520 140292344433040 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14653] ppid=14593 vsize=11014496 memory=3816796 CPUtime=20.7 cores=0,2,4,6
/proc/14596/task/14653/stat : 14653 (java) S 14593 14596 11630 0 -1 1077944384 100252 13283 0 0 1967 96 5 2 20 0 15 0 222375160 11278843904 952017 33554432000 4194304 4196468 140730644569520 140292343380240 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14654] ppid=14593 vsize=11014496 memory=3814232 CPUtime=1.33 cores=0,2,4,6
/proc/14596/task/14654/stat : 14654 (java) S 14593 14596 11630 0 -1 1077944384 21338 13283 0 0 117 9 5 2 20 0 15 0 222375161 11278843904 952017 33554432000 4194304 4196468 140730644569520 140292299127664 140292806089346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14655] ppid=14593 vsize=11014496 memory=3807560 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14655/stat : 14655 (java) S 14593 14596 11630 0 -1 1077944384 28 13283 0 0 0 0 5 2 20 0 15 0 222375162 11278843904 952017 33554432000 4194304 4196468 140730644569520 140291617056352 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14656] ppid=14593 vsize=11014496 memory=3807560 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14656/stat : 14656 (java) S 14593 14596 11630 0 -1 1077944384 8 13283 0 0 0 0 5 2 20 0 15 0 222375162 11278843904 952017 33554432000 4194304 4196468 140730644569520 140291415729536 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14657] ppid=14593 vsize=11014496 memory=3807560 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14657/stat : 14657 (java) S 14593 14596 11630 0 -1 1077944384 3 13283 0 0 0 0 5 2 20 0 15 0 222375165 11278843904 952017 33554432000 4194304 4196468 140730644569520 140291108329808 140292806096795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14658] ppid=14593 vsize=11014496 memory=3816796 CPUtime=12.54 cores=0,2,4,6
/proc/14596/task/14658/stat : 14658 (java) S 14593 14596 11630 0 -1 1077944384 87169 13283 0 0 1239 8 5 2 20 0 15 0 222375165 11278843904 952017 33554432000 4194304 4196468 140730644569520 140292298074480 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14659] ppid=14593 vsize=11014496 memory=3811656 CPUtime=12.41 cores=0,2,4,6
/proc/14596/task/14659/stat : 14659 (java) S 14593 14596 11630 0 -1 1077944384 81823 13283 0 0 1224 10 5 2 20 0 15 0 222375165 11278843904 952017 33554432000 4194304 4196468 140730644569520 140292297021680 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14660] ppid=14593 vsize=11014496 memory=3808068 CPUtime=3.44 cores=0,2,4,6
/proc/14596/task/14660/stat : 14660 (java) S 14593 14596 11630 0 -1 1077944384 71573 13283 0 0 328 9 5 2 20 0 15 0 222375165 11278843904 952017 33554432000 4194304 4196468 140730644569520 140292295968880 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 52 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14661] ppid=14593 vsize=11014496 memory=1240 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14661/stat : 14661 (java) S 14593 14596 11630 0 -1 1077944384 3 13283 0 0 0 0 5 2 20 0 15 0 222375165 11278843904 952017 33554432000 4194304 4196468 140730644569520 140290677532896 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14662] ppid=14593 vsize=11014496 memory=3814232 CPUtime=1.46 cores=0,2,4,6
/proc/14596/task/14662/stat : 14662 (java) S 14593 14596 11630 0 -1 1077944384 2227 13283 0 0 73 66 5 2 20 0 15 0 222375165 11278843904 952017 33554432000 4194304 4196468 140730644569520 140292294917296 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 50 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
Current children cumulated CPU time: 2412.5 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3808068 KiB
[startup+2382.3 s]
/proc/loadavg: 1.31 1.31 1.40 3/215 15014
/proc/meminfo: memFree=1343884/32770624 swapFree=67108860/67108860
[pid=14596] ppid=14593 vsize=11014496 memory=3773960 CPUtime=2473.53 cores=0,2,4,6
/proc/14596/stat : 14596 (java) S 14593 14596 11630 0 -1 1077944320 3047993 13283 0 0 246677 669 5 2 20 0 15 0 222375150 11278843904 943490 33554432000 4194304 4196468 140730644569520 140730644552064 140292806078199 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
/proc/14596/statm: 2753624 943490 3538 1 0 2715277 0
[pid=14596/tid=14649] ppid=14593 vsize=11014496 memory=3770164 CPUtime=2358.86 cores=0,2,4,6
/proc/14596/task/14649/stat : 14649 (java) R 14593 14596 11630 0 -1 4202560 2355991 13283 0 0 235694 185 5 2 20 0 15 0 222375159 11278843904 943490 33554432000 4194304 4196468 140730644569520 140292777913792 140292381375952 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14650] ppid=14593 vsize=11014496 memory=3773960 CPUtime=20.95 cores=0,2,4,6
/proc/14596/task/14650/stat : 14650 (java) S 14593 14596 11630 0 -1 1077944384 107586 13283 0 0 1986 102 5 2 20 0 15 0 222375160 11278843904 943490 33554432000 4194304 4196468 140730644569520 140292810320528 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14651] ppid=14593 vsize=11014496 memory=3773960 CPUtime=21.04 cores=0,2,4,6
/proc/14596/task/14651/stat : 14651 (java) S 14593 14596 11630 0 -1 1077944384 102820 13283 0 0 1998 99 5 2 20 0 15 0 222375160 11278843904 943490 33554432000 4194304 4196468 140730644569520 140292345485840 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14652] ppid=14593 vsize=11014496 memory=3773960 CPUtime=20.91 cores=0,2,4,6
/proc/14596/task/14652/stat : 14652 (java) S 14593 14596 11630 0 -1 1077944384 103882 13283 0 0 1984 100 5 2 20 0 15 0 222375160 11278843904 943490 33554432000 4194304 4196468 140730644569520 140292344433040 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14653] ppid=14593 vsize=11014496 memory=3773960 CPUtime=21.02 cores=0,2,4,6
/proc/14596/task/14653/stat : 14653 (java) S 14593 14596 11630 0 -1 1077944384 105296 13283 0 0 1999 96 5 2 20 0 15 0 222375160 11278843904 943490 33554432000 4194304 4196468 140730644569520 140292343380240 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14654] ppid=14593 vsize=11014496 memory=3773960 CPUtime=1.34 cores=0,2,4,6
/proc/14596/task/14654/stat : 14654 (java) S 14593 14596 11630 0 -1 1077944384 21656 13283 0 0 118 9 5 2 20 0 15 0 222375161 11278843904 943490 33554432000 4194304 4196468 140730644569520 140292299127664 140292806089346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14655] ppid=14593 vsize=11014496 memory=4616 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14655/stat : 14655 (java) S 14593 14596 11630 0 -1 1077944384 28 13283 0 0 0 0 5 2 20 0 15 0 222375162 11278843904 943490 33554432000 4194304 4196468 140730644569520 140291617056352 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14656] ppid=14593 vsize=11014496 memory=3784944 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14656/stat : 14656 (java) S 14593 14596 11630 0 -1 1077944384 8 13283 0 0 0 0 5 2 20 0 15 0 222375162 11278843904 943490 33554432000 4194304 4196468 140730644569520 140291415729536 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14657] ppid=14593 vsize=11014496 memory=3770164 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14657/stat : 14657 (java) S 14593 14596 11630 0 -1 1077944384 3 13283 0 0 0 0 5 2 20 0 15 0 222375165 11278843904 943490 33554432000 4194304 4196468 140730644569520 140291108329808 140292806096795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14658] ppid=14593 vsize=11014496 memory=3778812 CPUtime=12.56 cores=0,2,4,6
/proc/14596/task/14658/stat : 14658 (java) S 14593 14596 11630 0 -1 1077944384 88217 13283 0 0 1241 8 5 2 20 0 15 0 222375165 11278843904 943490 33554432000 4194304 4196468 140730644569520 140292298074480 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14659] ppid=14593 vsize=11014496 memory=4128 CPUtime=12.43 cores=0,2,4,6
/proc/14596/task/14659/stat : 14659 (java) S 14593 14596 11630 0 -1 1077944384 84602 13283 0 0 1226 10 5 2 20 0 15 0 222375165 11278843904 943490 33554432000 4194304 4196468 140730644569520 140292297021680 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14660] ppid=14593 vsize=11014496 memory=60452 CPUtime=3.45 cores=0,2,4,6
/proc/14596/task/14660/stat : 14660 (java) S 14593 14596 11630 0 -1 1077944384 73448 13283 0 0 329 9 5 2 20 0 15 0 222375165 11278843904 943490 33554432000 4194304 4196468 140730644569520 140292295968880 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 52 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14661] ppid=14593 vsize=11014496 memory=3778788 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14661/stat : 14661 (java) S 14593 14596 11630 0 -1 1077944384 3 13283 0 0 0 0 5 2 20 0 15 0 222375165 11278843904 943490 33554432000 4194304 4196468 140730644569520 140290677532896 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14662] ppid=14593 vsize=11014496 memory=1240 CPUtime=1.49 cores=0,2,4,6
/proc/14596/task/14662/stat : 14662 (java) S 14593 14596 11630 0 -1 1077944384 2256 13283 0 0 75 67 5 2 20 0 15 0 222375165 11278843904 943490 33554432000 4194304 4196468 140730644569520 140292294917296 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 50 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
Current children cumulated CPU time: 2473.53 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3773960 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2427.7 s]
/proc/loadavg: 1.23 1.30 1.39 3/215 15015
/proc/meminfo: memFree=1400800/32770624 swapFree=67108860/67108860
[pid=14596] ppid=14593 vsize=11014496 memory=3714028 CPUtime=2520 cores=0,2,4,6
/proc/14596/stat : 14596 (java) S 14593 14596 11630 0 -1 1077944320 3060171 13283 0 0 251317 676 5 2 20 0 15 0 222375150 11278843904 928507 33554432000 4194304 4196468 140730644569520 140730644552064 140292806078199 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
/proc/14596/statm: 2753624 928507 3538 1 0 2715277 0
[pid=14596/tid=14649] ppid=14593 vsize=11014496 memory=3714028 CPUtime=2403.87 cores=0,2,4,6
/proc/14596/task/14649/stat : 14649 (java) R 14593 14596 11630 0 -1 4202560 2358874 13283 0 0 240195 185 5 2 20 0 15 0 222375159 11278843904 928507 33554432000 4194304 4196468 140730644569520 140292777913792 140292377829056 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14650] ppid=14593 vsize=11014496 memory=3763788 CPUtime=21.3 cores=0,2,4,6
/proc/14596/task/14650/stat : 14650 (java) S 14593 14596 11630 0 -1 1077944384 108560 13283 0 0 2020 103 5 2 20 0 15 0 222375160 11278843904 928507 33554432000 4194304 4196468 140730644569520 140292810320528 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14651] ppid=14593 vsize=11014496 memory=3725312 CPUtime=21.38 cores=0,2,4,6
/proc/14596/task/14651/stat : 14651 (java) S 14593 14596 11630 0 -1 1077944384 103831 13283 0 0 2031 100 5 2 20 0 15 0 222375160 11278843904 928507 33554432000 4194304 4196468 140730644569520 140292345485840 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14652] ppid=14593 vsize=11014496 memory=3725312 CPUtime=21.25 cores=0,2,4,6
/proc/14596/task/14652/stat : 14652 (java) S 14593 14596 11630 0 -1 1077944384 105434 13283 0 0 2017 101 5 2 20 0 15 0 222375160 11278843904 928507 33554432000 4194304 4196468 140730644569520 140292344433040 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14653] ppid=14593 vsize=11014496 memory=56 CPUtime=21.36 cores=0,2,4,6
/proc/14596/task/14653/stat : 14653 (java) S 14593 14596 11630 0 -1 1077944384 107165 13283 0 0 2032 97 5 2 20 0 15 0 222375160 11278843904 928507 33554432000 4194304 4196468 140730644569520 140292343380240 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14654] ppid=14593 vsize=11014496 memory=3725312 CPUtime=1.36 cores=0,2,4,6
/proc/14596/task/14654/stat : 14654 (java) S 14593 14596 11630 0 -1 1077944384 21970 13283 0 0 119 10 5 2 20 0 15 0 222375161 11278843904 928507 33554432000 4194304 4196468 140730644569520 140292299127664 140292806089346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14655] ppid=14593 vsize=11014496 memory=3732496 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14655/stat : 14655 (java) S 14593 14596 11630 0 -1 1077944384 28 13283 0 0 0 0 5 2 20 0 15 0 222375162 11278843904 928507 33554432000 4194304 4196468 140730644569520 140291617056352 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14656] ppid=14593 vsize=11014496 memory=3763788 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14656/stat : 14656 (java) S 14593 14596 11630 0 -1 1077944384 8 13283 0 0 0 0 5 2 20 0 15 0 222375162 11278843904 928507 33554432000 4194304 4196468 140730644569520 140291415729536 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14657] ppid=14593 vsize=11014496 memory=3773960 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14657/stat : 14657 (java) S 14593 14596 11630 0 -1 1077944384 3 13283 0 0 0 0 5 2 20 0 15 0 222375165 11278843904 928507 33554432000 4194304 4196468 140730644569520 140291108329808 140292806096795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14658] ppid=14593 vsize=11014496 memory=3714028 CPUtime=12.57 cores=0,2,4,6
/proc/14596/task/14658/stat : 14658 (java) S 14593 14596 11630 0 -1 1077944384 88512 13283 0 0 1241 9 5 2 20 0 15 0 222375165 11278843904 928507 33554432000 4194304 4196468 140730644569520 140292298074480 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14659] ppid=14593 vsize=11014496 memory=3725312 CPUtime=12.45 cores=0,2,4,6
/proc/14596/task/14659/stat : 14659 (java) S 14593 14596 11630 0 -1 1077944384 86881 13283 0 0 1228 10 5 2 20 0 15 0 222375165 11278843904 928507 33554432000 4194304 4196468 140730644569520 140292297021680 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14660] ppid=14593 vsize=11014496 memory=3714028 CPUtime=3.46 cores=0,2,4,6
/proc/14596/task/14660/stat : 14660 (java) S 14593 14596 11630 0 -1 1077944384 74423 13283 0 0 330 9 5 2 20 0 15 0 222375165 11278843904 928507 33554432000 4194304 4196468 140730644569520 140292295968880 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 52 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14661] ppid=14593 vsize=11014496 memory=3753528 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14661/stat : 14661 (java) S 14593 14596 11630 0 -1 1077944384 3 13283 0 0 0 0 5 2 20 0 15 0 222375165 11278843904 928507 33554432000 4194304 4196468 140730644569520 140290677532896 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14662] ppid=14593 vsize=11014496 memory=3743268 CPUtime=1.52 cores=0,2,4,6
/proc/14596/task/14662/stat : 14662 (java) S 14593 14596 11630 0 -1 1077944384 2282 13283 0 0 76 69 5 2 20 0 15 0 222375165 11278843904 928507 33554432000 4194304 4196468 140730644569520 140292294917296 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 50 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3714028 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2427.78 s]
# the end of solver process 14596 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.28 s, system=6.82486 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2427.7 s]
/proc/loadavg: 1.23 1.30 1.39 3/215 15015
/proc/meminfo: memFree=1400800/32770624 swapFree=67108860/67108860
[pid=14596] ppid=14593 vsize=11014496 memory=3714028 CPUtime=2520 cores=0,2,4,6
/proc/14596/stat : 14596 (java) S 14593 14596 11630 0 -1 1077944320 3060171 13283 0 0 251317 676 5 2 20 0 15 0 222375150 11278843904 928507 33554432000 4194304 4196468 140730644569520 140730644552064 140292806078199 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
/proc/14596/statm: 2753624 928507 3538 1 0 2715277 0
[pid=14596/tid=14649] ppid=14593 vsize=11014496 memory=3714028 CPUtime=2403.87 cores=0,2,4,6
/proc/14596/task/14649/stat : 14649 (java) R 14593 14596 11630 0 -1 4202560 2358874 13283 0 0 240195 185 5 2 20 0 15 0 222375159 11278843904 928507 33554432000 4194304 4196468 140730644569520 140292777913792 140292377829056 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14650] ppid=14593 vsize=11014496 memory=3763788 CPUtime=21.3 cores=0,2,4,6
/proc/14596/task/14650/stat : 14650 (java) S 14593 14596 11630 0 -1 1077944384 108560 13283 0 0 2020 103 5 2 20 0 15 0 222375160 11278843904 928507 33554432000 4194304 4196468 140730644569520 140292810320528 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14651] ppid=14593 vsize=11014496 memory=3725312 CPUtime=21.38 cores=0,2,4,6
/proc/14596/task/14651/stat : 14651 (java) S 14593 14596 11630 0 -1 1077944384 103831 13283 0 0 2031 100 5 2 20 0 15 0 222375160 11278843904 928507 33554432000 4194304 4196468 140730644569520 140292345485840 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14652] ppid=14593 vsize=11014496 memory=3725312 CPUtime=21.25 cores=0,2,4,6
/proc/14596/task/14652/stat : 14652 (java) S 14593 14596 11630 0 -1 1077944384 105434 13283 0 0 2017 101 5 2 20 0 15 0 222375160 11278843904 928507 33554432000 4194304 4196468 140730644569520 140292344433040 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14653] ppid=14593 vsize=11014496 memory=56 CPUtime=21.36 cores=0,2,4,6
/proc/14596/task/14653/stat : 14653 (java) S 14593 14596 11630 0 -1 1077944384 107165 13283 0 0 2032 97 5 2 20 0 15 0 222375160 11278843904 928507 33554432000 4194304 4196468 140730644569520 140292343380240 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14654] ppid=14593 vsize=11014496 memory=3725312 CPUtime=1.36 cores=0,2,4,6
/proc/14596/task/14654/stat : 14654 (java) S 14593 14596 11630 0 -1 1077944384 21970 13283 0 0 119 10 5 2 20 0 15 0 222375161 11278843904 928507 33554432000 4194304 4196468 140730644569520 140292299127664 140292806089346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14655] ppid=14593 vsize=11014496 memory=3732496 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14655/stat : 14655 (java) S 14593 14596 11630 0 -1 1077944384 28 13283 0 0 0 0 5 2 20 0 15 0 222375162 11278843904 928507 33554432000 4194304 4196468 140730644569520 140291617056352 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14656] ppid=14593 vsize=11014496 memory=3763788 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14656/stat : 14656 (java) S 14593 14596 11630 0 -1 1077944384 8 13283 0 0 0 0 5 2 20 0 15 0 222375162 11278843904 928507 33554432000 4194304 4196468 140730644569520 140291415729536 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14657] ppid=14593 vsize=11014496 memory=3773960 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14657/stat : 14657 (java) S 14593 14596 11630 0 -1 1077944384 3 13283 0 0 0 0 5 2 20 0 15 0 222375165 11278843904 928507 33554432000 4194304 4196468 140730644569520 140291108329808 140292806096795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14658] ppid=14593 vsize=11014496 memory=3714028 CPUtime=12.57 cores=0,2,4,6
/proc/14596/task/14658/stat : 14658 (java) S 14593 14596 11630 0 -1 1077944384 88512 13283 0 0 1241 9 5 2 20 0 15 0 222375165 11278843904 928507 33554432000 4194304 4196468 140730644569520 140292298074480 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14659] ppid=14593 vsize=11014496 memory=3725312 CPUtime=12.45 cores=0,2,4,6
/proc/14596/task/14659/stat : 14659 (java) S 14593 14596 11630 0 -1 1077944384 86881 13283 0 0 1228 10 5 2 20 0 15 0 222375165 11278843904 928507 33554432000 4194304 4196468 140730644569520 140292297021680 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14660] ppid=14593 vsize=11014496 memory=3714028 CPUtime=3.46 cores=0,2,4,6
/proc/14596/task/14660/stat : 14660 (java) S 14593 14596 11630 0 -1 1077944384 74423 13283 0 0 330 9 5 2 20 0 15 0 222375165 11278843904 928507 33554432000 4194304 4196468 140730644569520 140292295968880 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 52 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14661] ppid=14593 vsize=11014496 memory=3753528 CPUtime=0.07 cores=0,2,4,6
/proc/14596/task/14661/stat : 14661 (java) S 14593 14596 11630 0 -1 1077944384 3 13283 0 0 0 0 5 2 20 0 15 0 222375165 11278843904 928507 33554432000 4194304 4196468 140730644569520 140290677532896 140292806088405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
[pid=14596/tid=14662] ppid=14593 vsize=11014496 memory=3743268 CPUtime=1.52 cores=0,2,4,6
/proc/14596/task/14662/stat : 14662 (java) S 14593 14596 11630 0 -1 1077944384 2282 13283 0 0 76 69 5 2 20 0 15 0 222375165 11278843904 928507 33554432000 4194304 4196468 140730644569520 140292294917296 140292806089346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 50 0 0 6293624 6294260 16957440 140730644572771 140730644575580 140730644575580 140730644578255 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3714028 KiB
Child status: 143
Real time (s): 2427.78
CPU time (s): 2520.1
CPU user time (s): 2513.28
CPU system time (s): 6.82486
CPU usage (%): 103.803
Max. virtual memory (cumulated for all children) (KiB): 11014496
Max. memory (cumulated for all children) (KiB): 4093488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.28
system time used= 6.82486
maximum resident set size= 4093488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3074688
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80947
involuntary context switches= 4006
# summary of solver processes directly reported to runsolver:
# pid: 14596
# total CPU time (s): 2520.1
# total CPU user time (s): 2513.28
# total CPU system time (s): 6.82486
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2134 second user time and 23.9163 second system time
The end