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 (9560 MiB free)
memory of node 1: 16384 MiB (10356 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308644-1534341580/watcher-4308644-1534341580 -o /tmp/evaluation-result-4308644-1534341580/solver-4308644-1534341580 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534329180-20205 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 547745782 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308644-1534341580.xml
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=21491, runsolver pid=21488
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.20 1.40 1.61 3/215 21506
/proc/meminfo: memFree=20375820/32770624 swapFree=67108368/67108860
[pid=21491] ppid=21488 vsize=14082736 memory=33352 CPUtime=0.11 cores=1,3,5,7
/proc/21491/stat : 21491 (java) S 21488 21491 20173 0 -1 1077944320 7288 0 0 0 10 1 0 0 20 0 15 0 251721159 14420721664 8338 33554432000 4194304 4196468 140730739141920 140730739124464 139686572560119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
/proc/21491/statm: 3520684 8338 3138 1 0 3482761 0
[pid=21491/tid=21493] ppid=21488 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=1,3,5,7
/proc/21491/task/21493/stat : 21493 (java) R 21488 21491 20173 0 -1 4202560 5351 0 0 0 8 1 0 0 20 0 15 0 251721159 14420721664 8338 33554432000 4194304 4196468 140730739141920 139686576780072 139686572582045 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21494] ppid=21488 vsize=14082736 memory=5793855410686314937 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21494/stat : 21494 (java) S 21488 21491 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251721160 14420721664 8338 33554432000 4194304 4196468 140730739141920 139686502648592 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21495] ppid=21488 vsize=14082736 memory=140159676421760 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21495/stat : 21495 (java) S 21488 21491 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251721160 14420721664 8338 33554432000 4194304 4196468 140730739141920 139686501596048 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21496] ppid=21488 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21496/stat : 21496 (java) S 21488 21491 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251721160 14420721664 8338 33554432000 4194304 4196468 140730739141920 139686500543504 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21497] ppid=21488 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21497/stat : 21497 (java) S 21488 21491 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251721160 14420721664 8338 33554432000 4194304 4196468 140730739141920 139686499490960 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21498] ppid=21488 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21498/stat : 21498 (java) S 21488 21491 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251721161 14420721664 8338 33554432000 4194304 4196468 140730739141920 139685484410864 139686572571266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21499] ppid=21488 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21499/stat : 21499 (java) S 21488 21491 20173 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251721162 14420721664 8338 33554432000 4194304 4196468 140730739141920 139685483357088 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21500] ppid=21488 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21500/stat : 21500 (java) S 21488 21491 20173 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251721162 14420721664 8338 33554432000 4194304 4196468 140730739141920 139685482304496 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21501] ppid=21488 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21501/stat : 21501 (java) S 21488 21491 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251721164 14420721664 8338 33554432000 4194304 4196468 140730739141920 139685481253072 139686572578715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21502] ppid=21488 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21502/stat : 21502 (java) R 21488 21491 20173 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 251721164 14420721664 8338 33554432000 4194304 4196468 140730739141920 139685480200688 139686572571266 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21503] ppid=21488 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21503/stat : 21503 (java) S 21488 21491 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251721164 14420721664 8338 33554432000 4194304 4196468 140730739141920 139685479148144 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21504] ppid=21488 vsize=14082736 memory=140159676421760 CPUtime=0.01 cores=1,3,5,7
/proc/21491/task/21504/stat : 21504 (java) R 21488 21491 20173 0 -1 4202560 250 0 0 0 1 0 0 0 20 0 15 0 251721164 14420721664 8338 33554432000 4194304 4196468 140730739141920 139685478095600 139686564797246 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21505] ppid=21488 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21505/stat : 21505 (java) S 21488 21491 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251721165 14420721664 8338 33554432000 4194304 4196468 140730739141920 139685477043296 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21506] ppid=21488 vsize=14082736 memory=140159676421760 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21506/stat : 21506 (java) S 21488 21491 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251721165 14420721664 8338 33554432000 4194304 4196468 140730739141920 139685475989808 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33352 KiB
[startup+0.212831 s]*
/proc/loadavg: 1.20 1.40 1.61 5/215 21506
/proc/meminfo: memFree=20360828/32770624 swapFree=67108368/67108860
[pid=21491] ppid=21488 vsize=14082736 memory=47172 CPUtime=0.32 cores=1,3,5,7
/proc/21491/stat : 21491 (java) S 21488 21491 20173 0 -1 1077944320 10399 0 0 0 29 3 0 0 20 0 15 0 251721159 14420721664 11793 33554432000 4194304 4196468 140730739141920 140730739124464 139686572560119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
/proc/21491/statm: 3520684 11793 3373 1 0 3482761 0
[pid=21491/tid=21493] ppid=21488 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/21491/task/21493/stat : 21493 (java) R 21488 21491 20173 0 -1 4202560 8103 0 0 0 18 2 0 0 20 0 15 0 251721159 14420721664 11793 33554432000 4194304 4196468 140730739141920 139686576790736 139686572572054 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21494] ppid=21488 vsize=14082736 memory=4211973885881212298 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21494/stat : 21494 (java) S 21488 21491 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251721160 14420721664 11793 33554432000 4194304 4196468 140730739141920 139686502648592 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21495] ppid=21488 vsize=14082736 memory=140159676421760 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21495/stat : 21495 (java) S 21488 21491 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251721160 14420721664 11793 33554432000 4194304 4196468 140730739141920 139686501596048 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21496] ppid=21488 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21496/stat : 21496 (java) S 21488 21491 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251721160 14420721664 11793 33554432000 4194304 4196468 140730739141920 139686500543504 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21497] ppid=21488 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21497/stat : 21497 (java) S 21488 21491 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251721160 14420721664 11793 33554432000 4194304 4196468 140730739141920 139686499490960 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21498] ppid=21488 vsize=14082736 memory=140159676421760 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21498/stat : 21498 (java) S 21488 21491 20173 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 251721161 14420721664 11793 33554432000 4194304 4196468 140730739141920 139685484410864 139686572571266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21499] ppid=21488 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21499/stat : 21499 (java) S 21488 21491 20173 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251721162 14420721664 11793 33554432000 4194304 4196468 140730739141920 139685483357088 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21500] ppid=21488 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21500/stat : 21500 (java) S 21488 21491 20173 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251721162 14420721664 11793 33554432000 4194304 4196468 140730739141920 139685482304496 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21501] ppid=21488 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21501/stat : 21501 (java) S 21488 21491 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251721164 14420721664 11793 33554432000 4194304 4196468 140730739141920 139685481253072 139686572578715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21502] ppid=21488 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21491/task/21502/stat : 21502 (java) S 21488 21491 20173 0 -1 1077944384 502 0 0 0 2 0 0 0 20 0 15 0 251721164 14420721664 11793 33554432000 4194304 4196468 140730739141920 139685480200688 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21503] ppid=21488 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21491/task/21503/stat : 21503 (java) S 21488 21491 20173 0 -1 1077944384 124 0 0 0 2 0 0 0 20 0 15 0 251721164 14420721664 11793 33554432000 4194304 4196468 140730739141920 139685479148144 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21504] ppid=21488 vsize=14082736 memory=140159676421760 CPUtime=0.06 cores=1,3,5,7
/proc/21491/task/21504/stat : 21504 (java) R 21488 21491 20173 0 -1 4202560 286 0 0 0 6 0 0 0 20 0 15 0 251721164 14420721664 11793 33554432000 4194304 4196468 140730739141920 139685478095600 139686572572054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21505] ppid=21488 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21505/stat : 21505 (java) S 21488 21491 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251721165 14420721664 11793 33554432000 4194304 4196468 140730739141920 139685477043296 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21506] ppid=21488 vsize=14082736 memory=140159676421760 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21506/stat : 21506 (java) S 21488 21491 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251721165 14420721664 11793 33554432000 4194304 4196468 140730739141920 139685475989808 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47172 KiB
[startup+0.310565 s]*
/proc/loadavg: 1.20 1.40 1.61 3/215 21506
/proc/meminfo: memFree=20357292/32770624 swapFree=67108368/67108860
[pid=21491] ppid=21488 vsize=14082736 memory=50384 CPUtime=0.44 cores=1,3,5,7
/proc/21491/stat : 21491 (java) S 21488 21491 20173 0 -1 1077944320 10747 0 0 0 41 3 0 0 20 0 15 0 251721159 14420721664 12596 33554432000 4194304 4196468 140730739141920 140730739124464 139686572560119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
/proc/21491/statm: 3520684 12596 3375 1 0 3482761 0
[pid=21491/tid=21493] ppid=21488 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=1,3,5,7
/proc/21491/task/21493/stat : 21493 (java) R 21488 21491 20173 0 -1 4202560 8434 0 0 0 28 2 0 0 20 0 15 0 251721159 14420721664 12596 33554432000 4194304 4196468 140730739141920 139686576794704 139686556640606 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21494] ppid=21488 vsize=14082736 memory=4211973885881212298 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21494/stat : 21494 (java) S 21488 21491 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251721160 14420721664 12596 33554432000 4194304 4196468 140730739141920 139686502648592 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21495] ppid=21488 vsize=14082736 memory=140159676424111 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21495/stat : 21495 (java) S 21488 21491 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251721160 14420721664 12596 33554432000 4194304 4196468 140730739141920 139686501596048 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21496] ppid=21488 vsize=14082736 memory=140159546947805 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21496/stat : 21496 (java) S 21488 21491 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251721160 14420721664 12596 33554432000 4194304 4196468 140730739141920 139686500543504 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21497] ppid=21488 vsize=14082736 memory=140159546936783 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21497/stat : 21497 (java) S 21488 21491 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251721160 14420721664 12596 33554432000 4194304 4196468 140730739141920 139686499490960 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21498] ppid=21488 vsize=14082736 memory=140159676441960 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21498/stat : 21498 (java) S 21488 21491 20173 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 251721161 14420721664 12596 33554432000 4194304 4196468 140730739141920 139685484410864 139686572571266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21499] ppid=21488 vsize=14082736 memory=140159546945999 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21499/stat : 21499 (java) S 21488 21491 20173 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251721162 14420721664 12596 33554432000 4194304 4196468 140730739141920 139685483357088 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21500] ppid=21488 vsize=14082736 memory=280319093882768 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21500/stat : 21500 (java) S 21488 21491 20173 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251721162 14420721664 12596 33554432000 4194304 4196468 140730739141920 139685482304496 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21501] ppid=21488 vsize=14082736 memory=280319093880432 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21501/stat : 21501 (java) S 21488 21491 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251721164 14420721664 12596 33554432000 4194304 4196468 140730739141920 139685481253072 139686572578715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21502] ppid=21488 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21491/task/21502/stat : 21502 (java) S 21488 21491 20173 0 -1 1077944384 502 0 0 0 2 0 0 0 20 0 15 0 251721164 14420721664 12596 33554432000 4194304 4196468 140730739141920 139685480200688 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21503] ppid=21488 vsize=14082736 memory=2240 CPUtime=0.02 cores=1,3,5,7
/proc/21491/task/21503/stat : 21503 (java) S 21488 21491 20173 0 -1 1077944384 124 0 0 0 2 0 0 0 20 0 15 0 251721164 14420721664 12596 33554432000 4194304 4196468 140730739141920 139685479148144 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21504] ppid=21488 vsize=14082736 memory=140159676421760 CPUtime=0.08 cores=1,3,5,7
/proc/21491/task/21504/stat : 21504 (java) S 21488 21491 20173 0 -1 1077944384 303 0 0 0 8 0 0 0 20 0 15 0 251721164 14420721664 12596 33554432000 4194304 4196468 140730739141920 139685478095600 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21505] ppid=21488 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21505/stat : 21505 (java) S 21488 21491 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251721165 14420721664 12596 33554432000 4194304 4196468 140730739141920 139685477043296 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21506] ppid=21488 vsize=14082736 memory=140159676421760 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21506/stat : 21506 (java) S 21488 21491 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251721165 14420721664 12596 33554432000 4194304 4196468 140730739141920 139685475989808 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50384 KiB
[startup+0.70075 s]
/proc/loadavg: 1.20 1.40 1.61 5/215 21506
/proc/meminfo: memFree=20332984/32770624 swapFree=67108368/67108860
[pid=21491] ppid=21488 vsize=14084804 memory=89160 CPUtime=0.99 cores=1,3,5,7
/proc/21491/stat : 21491 (java) S 21488 21491 20173 0 -1 1077944320 17639 0 0 0 95 4 0 0 20 0 15 0 251721159 14422839296 22290 33554432000 4194304 4196468 140730739141920 140730739124464 139686572560119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
/proc/21491/statm: 3521201 22290 3505 1 0 3483273 0
[pid=21491/tid=21493] ppid=21488 vsize=14084804 memory=872 CPUtime=0.67 cores=1,3,5,7
/proc/21491/task/21493/stat : 21493 (java) R 21488 21491 20173 0 -1 4202560 14883 0 0 0 64 3 0 0 20 0 15 0 251721159 14422839296 22290 33554432000 4194304 4196468 140730739141920 139686576785776 139686572582045 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21494] ppid=21488 vsize=14084804 memory=1920 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21494/stat : 21494 (java) S 21488 21491 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251721160 14422839296 22290 33554432000 4194304 4196468 140730739141920 139686502648592 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21495] ppid=21488 vsize=14084804 memory=6284 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21495/stat : 21495 (java) S 21488 21491 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251721160 14422839296 22290 33554432000 4194304 4196468 140730739141920 139686501596048 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21496] ppid=21488 vsize=14084804 memory=7014751519600366929 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21496/stat : 21496 (java) S 21488 21491 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251721160 14422839296 22290 33554432000 4194304 4196468 140730739141920 139686500543504 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21497] ppid=21488 vsize=14084804 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21497/stat : 21497 (java) S 21488 21491 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251721160 14422839296 22290 33554432000 4194304 4196468 140730739141920 139686499490960 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21498] ppid=21488 vsize=14084804 memory=5787213848606435153 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21498/stat : 21498 (java) S 21488 21491 20173 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 251721161 14422839296 22290 33554432000 4194304 4196468 140730739141920 139685484410864 139686572571266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21499] ppid=21488 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21499/stat : 21499 (java) S 21488 21491 20173 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251721162 14422839296 22290 33554432000 4194304 4196468 140730739141920 139685483357088 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21500] ppid=21488 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21500/stat : 21500 (java) S 21488 21491 20173 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251721162 14422839296 22290 33554432000 4194304 4196468 140730739141920 139685482304496 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21501] ppid=21488 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21501/stat : 21501 (java) S 21488 21491 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251721164 14422839296 22290 33554432000 4194304 4196468 140730739141920 139685481253072 139686572578715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21502] ppid=21488 vsize=14084804 memory=225 CPUtime=0.07 cores=1,3,5,7
/proc/21491/task/21502/stat : 21502 (java) S 21488 21491 20173 0 -1 1077944384 670 0 0 0 7 0 0 0 20 0 15 0 251721164 14422839296 22290 33554432000 4194304 4196468 140730739141920 139685480200688 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21503] ppid=21488 vsize=14084804 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/21491/task/21503/stat : 21503 (java) S 21488 21491 20173 0 -1 1077944384 278 0 0 0 7 0 0 0 20 0 15 0 251721164 14422839296 22290 33554432000 4194304 4196468 140730739141920 139685479148144 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21504] ppid=21488 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/21491/task/21504/stat : 21504 (java) S 21488 21491 20173 0 -1 1077944384 424 0 0 0 15 0 0 0 20 0 15 0 251721164 14422839296 22290 33554432000 4194304 4196468 140730739141920 139685478095600 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21505] ppid=21488 vsize=14084804 memory=280319094066672 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21505/stat : 21505 (java) S 21488 21491 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251721165 14422839296 22290 33554432000 4194304 4196468 140730739141920 139685477043296 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21506] ppid=21488 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21506/stat : 21506 (java) S 21488 21491 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251721165 14422839296 22290 33554432000 4194304 4196468 140730739141920 139685475989808 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89160 KiB
[startup+1.502 s]
/proc/loadavg: 1.20 1.40 1.61 3/215 21506
/proc/meminfo: memFree=20299948/32770624 swapFree=67108368/67108860
[pid=21491] ppid=21488 vsize=14090948 memory=156744 CPUtime=2.88 cores=1,3,5,7
/proc/21491/stat : 21491 (java) S 21488 21491 20173 0 -1 1077944320 24792 0 0 0 280 8 0 0 20 0 15 0 251721159 14429130752 39186 33554432000 4194304 4196468 140730739141920 140730739124464 139686572560119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
/proc/21491/statm: 3522737 39186 3542 1 0 3484809 0
[pid=21491/tid=21493] ppid=21488 vsize=14090948 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/21491/task/21493/stat : 21493 (java) R 21488 21491 20173 0 -1 4202560 18954 0 0 0 142 5 0 0 20 0 15 0 251721159 14429130752 39186 33554432000 4194304 4196468 140730739141920 139686576795984 139686184075184 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21494] ppid=21488 vsize=14090948 memory=-1088251628401078322 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21494/stat : 21494 (java) S 21488 21491 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251721160 14429130752 39186 33554432000 4194304 4196468 140730739141920 139686502648592 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21495] ppid=21488 vsize=14090948 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21495/stat : 21495 (java) S 21488 21491 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251721160 14429130752 39186 33554432000 4194304 4196468 140730739141920 139686501596048 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21496] ppid=21488 vsize=14090948 memory=-6585528546044026665 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21496/stat : 21496 (java) S 21488 21491 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251721160 14429130752 39186 33554432000 4194304 4196468 140730739141920 139686500543504 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21497] ppid=21488 vsize=14090948 memory=-7594588880670511662 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21497/stat : 21497 (java) S 21488 21491 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251721160 14429130752 39186 33554432000 4194304 4196468 140730739141920 139686499490960 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21498] ppid=21488 vsize=14090948 memory=-6367067914546800737 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21498/stat : 21498 (java) S 21488 21491 20173 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 251721161 14429130752 39186 33554432000 4194304 4196468 140730739141920 139685484410864 139686572571266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
################
# More data... #
################
/proc/21491/task/21493/stat : 21493 (java) R 21488 21491 20173 0 -1 4202560 37334 0 0 0 236880 25 0 0 20 0 15 0 251721159 14429130752 73362 33554432000 4194304 4196468 140730739141920 139686576798384 139686187139337 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21494] ppid=21488 vsize=14090948 memory=291392 CPUtime=6.11 cores=1,3,5,7
/proc/21491/task/21494/stat : 21494 (java) S 21488 21491 20173 0 -1 1077944384 2578 0 0 0 567 44 0 0 20 0 15 0 251721160 14429130752 73362 33554432000 4194304 4196468 140730739141920 139686502648592 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21495] ppid=21488 vsize=14090948 memory=293448 CPUtime=6.09 cores=1,3,5,7
/proc/21491/task/21495/stat : 21495 (java) S 21488 21491 20173 0 -1 1077944384 6092 0 0 0 570 39 0 0 20 0 15 0 251721160 14429130752 73362 33554432000 4194304 4196468 140730739141920 139686501596048 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21496] ppid=21488 vsize=14090948 memory=291392 CPUtime=6.12 cores=1,3,5,7
/proc/21491/task/21496/stat : 21496 (java) S 21488 21491 20173 0 -1 1077944384 3034 0 0 0 572 40 0 0 20 0 15 0 251721160 14429130752 73362 33554432000 4194304 4196468 140730739141920 139686500543504 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21497] ppid=21488 vsize=14090948 memory=293448 CPUtime=6.09 cores=1,3,5,7
/proc/21491/task/21497/stat : 21497 (java) S 21488 21491 20173 0 -1 1077944384 2768 0 0 0 569 40 0 0 20 0 15 0 251721160 14429130752 73362 33554432000 4194304 4196468 140730739141920 139686499490960 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21498] ppid=21488 vsize=14090948 memory=756 CPUtime=5.48 cores=1,3,5,7
/proc/21491/task/21498/stat : 21498 (java) S 21488 21491 20173 0 -1 1077944384 4904 0 0 0 507 41 0 0 20 0 15 0 251721161 14429130752 73362 33554432000 4194304 4196468 140730739141920 139685484410864 139686572571266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21499] ppid=21488 vsize=14090948 memory=293448 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21499/stat : 21499 (java) S 21488 21491 20173 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 251721162 14429130752 73362 33554432000 4194304 4196468 140730739141920 139685483357152 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21500] ppid=21488 vsize=14090948 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21500/stat : 21500 (java) S 21488 21491 20173 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 251721162 14429130752 73362 33554432000 4194304 4196468 140730739141920 139685482304512 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21501] ppid=21488 vsize=14090948 memory=293448 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21501/stat : 21501 (java) S 21488 21491 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251721164 14429130752 73362 33554432000 4194304 4196468 140730739141920 139685481253072 139686572578715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21502] ppid=21488 vsize=14090948 memory=293448 CPUtime=1.17 cores=1,3,5,7
/proc/21491/task/21502/stat : 21502 (java) S 21488 21491 20173 0 -1 1077944384 5369 0 0 0 116 1 0 0 20 0 15 0 251721164 14429130752 73362 33554432000 4194304 4196468 140730739141920 139685480200688 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21503] ppid=21488 vsize=14090948 memory=293448 CPUtime=1.28 cores=1,3,5,7
/proc/21491/task/21503/stat : 21503 (java) S 21488 21491 20173 0 -1 1077944384 4384 0 0 0 127 1 0 0 20 0 15 0 251721164 14429130752 73362 33554432000 4194304 4196468 140730739141920 139685479148144 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21504] ppid=21488 vsize=14090948 memory=1616 CPUtime=0.8 cores=1,3,5,7
/proc/21491/task/21504/stat : 21504 (java) S 21488 21491 20173 0 -1 1077944384 4175 0 0 0 79 1 0 0 20 0 15 0 251721164 14429130752 73362 33554432000 4194304 4196468 140730739141920 139685478095600 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21505] ppid=21488 vsize=14090948 memory=496 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21505/stat : 21505 (java) S 21488 21491 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251721165 14429130752 73362 33554432000 4194304 4196468 140730739141920 139685477043296 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21506] ppid=21488 vsize=14090948 memory=6791534058613427641 CPUtime=0.95 cores=1,3,5,7
/proc/21491/task/21506/stat : 21506 (java) S 21488 21491 20173 0 -1 1077944384 921 0 0 0 44 51 0 0 20 0 15 0 251721165 14429130752 73362 33554432000 4194304 4196468 140730739141920 139685475989808 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
Current children cumulated CPU time: 2403.22 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 293448 KiB
[startup+2442.3 s]
/proc/loadavg: 1.49 1.45 1.42 3/216 21688
/proc/meminfo: memFree=23105548/32770624 swapFree=67108368/67108860
[pid=21491] ppid=21488 vsize=14090948 memory=295496 CPUtime=2463.75 cores=1,3,5,7
/proc/21491/stat : 21491 (java) S 21488 21491 20173 0 -1 1077944320 73827 0 0 0 246138 237 0 0 20 0 15 0 251721159 14429130752 73874 33554432000 4194304 4196468 140730739141920 140730739124464 139686572560119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
/proc/21491/statm: 3522737 73874 3588 1 0 3484809 0
[pid=21491/tid=21493] ppid=21488 vsize=14090948 memory=68636 CPUtime=2428.68 cores=1,3,5,7
/proc/21491/task/21493/stat : 21493 (java) R 21488 21491 20173 0 -1 4202560 37728 0 0 0 242843 25 0 0 20 0 15 0 251721159 14429130752 73874 33554432000 4194304 4196468 140730739141920 139686576798432 139686187269461 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21494] ppid=21488 vsize=14090948 memory=2148 CPUtime=6.28 cores=1,3,5,7
/proc/21491/task/21494/stat : 21494 (java) S 21488 21491 20173 0 -1 1077944384 2628 0 0 0 583 45 0 0 20 0 15 0 251721160 14429130752 73874 33554432000 4194304 4196468 140730739141920 139686502648592 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21495] ppid=21488 vsize=14090948 memory=295496 CPUtime=6.28 cores=1,3,5,7
/proc/21491/task/21495/stat : 21495 (java) S 21488 21491 20173 0 -1 1077944384 6095 0 0 0 588 40 0 0 20 0 15 0 251721160 14429130752 73874 33554432000 4194304 4196468 140730739141920 139686501596048 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21496] ppid=21488 vsize=14090948 memory=295496 CPUtime=6.3 cores=1,3,5,7
/proc/21491/task/21496/stat : 21496 (java) S 21488 21491 20173 0 -1 1077944384 3166 0 0 0 589 41 0 0 20 0 15 0 251721160 14429130752 73874 33554432000 4194304 4196468 140730739141920 139686500543504 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21497] ppid=21488 vsize=14090948 memory=293448 CPUtime=6.28 cores=1,3,5,7
/proc/21491/task/21497/stat : 21497 (java) S 21488 21491 20173 0 -1 1077944384 2847 0 0 0 587 41 0 0 20 0 15 0 251721160 14429130752 73874 33554432000 4194304 4196468 140730739141920 139686499490960 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21498] ppid=21488 vsize=14090948 memory=295496 CPUtime=5.62 cores=1,3,5,7
/proc/21491/task/21498/stat : 21498 (java) S 21488 21491 20173 0 -1 1077944384 5066 0 0 0 520 42 0 0 20 0 15 0 251721161 14429130752 73874 33554432000 4194304 4196468 140730739141920 139685484410864 139686572571266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21499] ppid=21488 vsize=14090948 memory=295496 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21499/stat : 21499 (java) S 21488 21491 20173 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 251721162 14429130752 73874 33554432000 4194304 4196468 140730739141920 139685483357152 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21500] ppid=21488 vsize=14090948 memory=295496 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21500/stat : 21500 (java) S 21488 21491 20173 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 251721162 14429130752 73874 33554432000 4194304 4196468 140730739141920 139685482304512 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21501] ppid=21488 vsize=14090948 memory=295496 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21501/stat : 21501 (java) S 21488 21491 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251721164 14429130752 73874 33554432000 4194304 4196468 140730739141920 139685481253072 139686572578715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21502] ppid=21488 vsize=14090948 memory=295496 CPUtime=1.17 cores=1,3,5,7
/proc/21491/task/21502/stat : 21502 (java) S 21488 21491 20173 0 -1 1077944384 5369 0 0 0 116 1 0 0 20 0 15 0 251721164 14429130752 73874 33554432000 4194304 4196468 140730739141920 139685480200688 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21503] ppid=21488 vsize=14090948 memory=295496 CPUtime=1.28 cores=1,3,5,7
/proc/21491/task/21503/stat : 21503 (java) S 21488 21491 20173 0 -1 1077944384 4384 0 0 0 127 1 0 0 20 0 15 0 251721164 14429130752 73874 33554432000 4194304 4196468 140730739141920 139685479148144 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21504] ppid=21488 vsize=14090948 memory=295496 CPUtime=0.8 cores=1,3,5,7
/proc/21491/task/21504/stat : 21504 (java) S 21488 21491 20173 0 -1 1077944384 4176 0 0 0 79 1 0 0 20 0 15 0 251721164 14429130752 73874 33554432000 4194304 4196468 140730739141920 139685478095600 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21505] ppid=21488 vsize=14090948 memory=3364 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21505/stat : 21505 (java) S 21488 21491 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251721165 14429130752 73874 33554432000 4194304 4196468 140730739141920 139685477043296 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21506] ppid=21488 vsize=14090948 memory=0 CPUtime=0.97 cores=1,3,5,7
/proc/21491/task/21506/stat : 21506 (java) S 21488 21491 20173 0 -1 1077944384 936 0 0 0 45 52 0 0 20 0 15 0 251721165 14429130752 73874 33554432000 4194304 4196468 140730739141920 139685475989808 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
Current children cumulated CPU time: 2463.75 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 295496 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2498.11 s]
/proc/loadavg: 1.29 1.40 1.40 3/216 21688
/proc/meminfo: memFree=23116340/32770624 swapFree=67108368/67108860
[pid=21491] ppid=21488 vsize=14090948 memory=297544 CPUtime=2520.06 cores=1,3,5,7
/proc/21491/stat : 21491 (java) S 21488 21491 20173 0 -1 1077944320 74949 0 0 0 251763 243 0 0 20 0 15 0 251721159 14429130752 74386 33554432000 4194304 4196468 140730739141920 140730739124464 139686572560119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
/proc/21491/statm: 3522737 74386 3588 1 0 3484809 0
[pid=21491/tid=21493] ppid=21488 vsize=14090948 memory=297544 CPUtime=2484.15 cores=1,3,5,7
/proc/21491/task/21493/stat : 21493 (java) R 21488 21491 20173 0 -1 4202560 38286 0 0 0 248390 25 0 0 20 0 15 0 251721159 14429130752 74386 33554432000 4194304 4196468 140730739141920 139686576798544 139686186607587 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21494] ppid=21488 vsize=14090948 memory=297544 CPUtime=6.46 cores=1,3,5,7
/proc/21491/task/21494/stat : 21494 (java) S 21488 21491 20173 0 -1 1077944384 2715 0 0 0 600 46 0 0 20 0 15 0 251721160 14429130752 74386 33554432000 4194304 4196468 140730739141920 139686502648592 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21495] ppid=21488 vsize=14090948 memory=297544 CPUtime=6.45 cores=1,3,5,7
/proc/21491/task/21495/stat : 21495 (java) S 21488 21491 20173 0 -1 1077944384 6126 0 0 0 604 41 0 0 20 0 15 0 251721160 14429130752 74386 33554432000 4194304 4196468 140730739141920 139686501596048 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21496] ppid=21488 vsize=14090948 memory=297544 CPUtime=6.47 cores=1,3,5,7
/proc/21491/task/21496/stat : 21496 (java) S 21488 21491 20173 0 -1 1077944384 3279 0 0 0 606 41 0 0 20 0 15 0 251721160 14429130752 74386 33554432000 4194304 4196468 140730739141920 139686500543504 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21497] ppid=21488 vsize=14090948 memory=297544 CPUtime=6.45 cores=1,3,5,7
/proc/21491/task/21497/stat : 21497 (java) S 21488 21491 20173 0 -1 1077944384 2984 0 0 0 603 42 0 0 20 0 15 0 251721160 14429130752 74386 33554432000 4194304 4196468 140730739141920 139686499490960 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21498] ppid=21488 vsize=14090948 memory=297544 CPUtime=5.75 cores=1,3,5,7
/proc/21491/task/21498/stat : 21498 (java) S 21488 21491 20173 0 -1 1077944384 5241 0 0 0 531 44 0 0 20 0 15 0 251721161 14429130752 74386 33554432000 4194304 4196468 140730739141920 139685484410864 139686572571266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21499] ppid=21488 vsize=14090948 memory=1288 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21499/stat : 21499 (java) S 21488 21491 20173 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 251721162 14429130752 74386 33554432000 4194304 4196468 140730739141920 139685483357152 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21500] ppid=21488 vsize=14090948 memory=297544 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21500/stat : 21500 (java) S 21488 21491 20173 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 251721162 14429130752 74386 33554432000 4194304 4196468 140730739141920 139685482304512 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21501] ppid=21488 vsize=14090948 memory=297544 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21501/stat : 21501 (java) S 21488 21491 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251721164 14429130752 74386 33554432000 4194304 4196468 140730739141920 139685481253072 139686572578715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21502] ppid=21488 vsize=14090948 memory=297544 CPUtime=1.17 cores=1,3,5,7
/proc/21491/task/21502/stat : 21502 (java) S 21488 21491 20173 0 -1 1077944384 5371 0 0 0 116 1 0 0 20 0 15 0 251721164 14429130752 74386 33554432000 4194304 4196468 140730739141920 139685480200688 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21503] ppid=21488 vsize=14090948 memory=3460 CPUtime=1.28 cores=1,3,5,7
/proc/21491/task/21503/stat : 21503 (java) S 21488 21491 20173 0 -1 1077944384 4386 0 0 0 127 1 0 0 20 0 15 0 251721164 14429130752 74386 33554432000 4194304 4196468 140730739141920 139685479148144 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21504] ppid=21488 vsize=14090948 memory=1104 CPUtime=0.8 cores=1,3,5,7
/proc/21491/task/21504/stat : 21504 (java) S 21488 21491 20173 0 -1 1077944384 4178 0 0 0 79 1 0 0 20 0 15 0 251721164 14429130752 74386 33554432000 4194304 4196468 140730739141920 139685478095600 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21505] ppid=21488 vsize=14090948 memory=68636 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21505/stat : 21505 (java) S 21488 21491 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251721165 14429130752 74386 33554432000 4194304 4196468 140730739141920 139685477043296 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21506] ppid=21488 vsize=14090948 memory=2148 CPUtime=0.99 cores=1,3,5,7
/proc/21491/task/21506/stat : 21506 (java) S 21488 21491 20173 0 -1 1077944384 951 0 0 0 46 53 0 0 20 0 15 0 251721165 14429130752 74386 33554432000 4194304 4196468 140730739141920 139685475989808 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 297544 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2498.12 s]
# the end of solver process 21491 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.65 s, system=2.43539 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2498.11 s]
/proc/loadavg: 1.29 1.40 1.40 3/216 21688
/proc/meminfo: memFree=23116340/32770624 swapFree=67108368/67108860
[pid=21491] ppid=21488 vsize=14090948 memory=297544 CPUtime=2520.06 cores=1,3,5,7
/proc/21491/stat : 21491 (java) S 21488 21491 20173 0 -1 1077944320 74949 0 0 0 251763 243 0 0 20 0 15 0 251721159 14429130752 74386 33554432000 4194304 4196468 140730739141920 140730739124464 139686572560119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
/proc/21491/statm: 3522737 74386 3588 1 0 3484809 0
[pid=21491/tid=21493] ppid=21488 vsize=14090948 memory=297544 CPUtime=2484.15 cores=1,3,5,7
/proc/21491/task/21493/stat : 21493 (java) R 21488 21491 20173 0 -1 4202560 38286 0 0 0 248390 25 0 0 20 0 15 0 251721159 14429130752 74386 33554432000 4194304 4196468 140730739141920 139686576798544 139686186607587 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21494] ppid=21488 vsize=14090948 memory=297544 CPUtime=6.46 cores=1,3,5,7
/proc/21491/task/21494/stat : 21494 (java) S 21488 21491 20173 0 -1 1077944384 2715 0 0 0 600 46 0 0 20 0 15 0 251721160 14429130752 74386 33554432000 4194304 4196468 140730739141920 139686502648592 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21495] ppid=21488 vsize=14090948 memory=297544 CPUtime=6.45 cores=1,3,5,7
/proc/21491/task/21495/stat : 21495 (java) S 21488 21491 20173 0 -1 1077944384 6126 0 0 0 604 41 0 0 20 0 15 0 251721160 14429130752 74386 33554432000 4194304 4196468 140730739141920 139686501596048 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21496] ppid=21488 vsize=14090948 memory=297544 CPUtime=6.47 cores=1,3,5,7
/proc/21491/task/21496/stat : 21496 (java) S 21488 21491 20173 0 -1 1077944384 3279 0 0 0 606 41 0 0 20 0 15 0 251721160 14429130752 74386 33554432000 4194304 4196468 140730739141920 139686500543504 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21497] ppid=21488 vsize=14090948 memory=297544 CPUtime=6.45 cores=1,3,5,7
/proc/21491/task/21497/stat : 21497 (java) S 21488 21491 20173 0 -1 1077944384 2984 0 0 0 603 42 0 0 20 0 15 0 251721160 14429130752 74386 33554432000 4194304 4196468 140730739141920 139686499490960 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21498] ppid=21488 vsize=14090948 memory=297544 CPUtime=5.75 cores=1,3,5,7
/proc/21491/task/21498/stat : 21498 (java) S 21488 21491 20173 0 -1 1077944384 5241 0 0 0 531 44 0 0 20 0 15 0 251721161 14429130752 74386 33554432000 4194304 4196468 140730739141920 139685484410864 139686572571266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21499] ppid=21488 vsize=14090948 memory=1288 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21499/stat : 21499 (java) S 21488 21491 20173 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 251721162 14429130752 74386 33554432000 4194304 4196468 140730739141920 139685483357152 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21500] ppid=21488 vsize=14090948 memory=297544 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21500/stat : 21500 (java) S 21488 21491 20173 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 251721162 14429130752 74386 33554432000 4194304 4196468 140730739141920 139685482304512 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21501] ppid=21488 vsize=14090948 memory=297544 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21501/stat : 21501 (java) S 21488 21491 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251721164 14429130752 74386 33554432000 4194304 4196468 140730739141920 139685481253072 139686572578715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21502] ppid=21488 vsize=14090948 memory=297544 CPUtime=1.17 cores=1,3,5,7
/proc/21491/task/21502/stat : 21502 (java) S 21488 21491 20173 0 -1 1077944384 5371 0 0 0 116 1 0 0 20 0 15 0 251721164 14429130752 74386 33554432000 4194304 4196468 140730739141920 139685480200688 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21503] ppid=21488 vsize=14090948 memory=3460 CPUtime=1.28 cores=1,3,5,7
/proc/21491/task/21503/stat : 21503 (java) S 21488 21491 20173 0 -1 1077944384 4386 0 0 0 127 1 0 0 20 0 15 0 251721164 14429130752 74386 33554432000 4194304 4196468 140730739141920 139685479148144 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21504] ppid=21488 vsize=14090948 memory=1104 CPUtime=0.8 cores=1,3,5,7
/proc/21491/task/21504/stat : 21504 (java) S 21488 21491 20173 0 -1 1077944384 4178 0 0 0 79 1 0 0 20 0 15 0 251721164 14429130752 74386 33554432000 4194304 4196468 140730739141920 139685478095600 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21505] ppid=21488 vsize=14090948 memory=68636 CPUtime=0 cores=1,3,5,7
/proc/21491/task/21505/stat : 21505 (java) S 21488 21491 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251721165 14429130752 74386 33554432000 4194304 4196468 140730739141920 139685477043296 139686572570325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
[pid=21491/tid=21506] ppid=21488 vsize=14090948 memory=2148 CPUtime=0.99 cores=1,3,5,7
/proc/21491/task/21506/stat : 21506 (java) S 21488 21491 20173 0 -1 1077944384 951 0 0 0 46 53 0 0 20 0 15 0 251721165 14429130752 74386 33554432000 4194304 4196468 140730739141920 139685475989808 139686572571266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 10227712 140730739147861 140730739148041 140730739148041 140730739150799 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 297544 KiB
Child status: 143
Real time (s): 2498.12
CPU time (s): 2520.08
CPU user time (s): 2517.65
CPU system time (s): 2.43539
CPU usage (%): 100.879
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 297544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.65
system time used= 2.43539
maximum resident set size= 298160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75194
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 213666
involuntary context switches= 4364
# summary of solver processes directly reported to runsolver:
# pid: 21491
# total CPU time (s): 2520.08
# total CPU user time (s): 2517.65
# total CPU system time (s): 2.43539
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6675 second user time and 24.1524 second system time
The end