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 (15212 MiB free)
memory of node 1: 16384 MiB (15262 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393347-1568344204/watcher-4393347-1568344204 -o /tmp/evaluation-result-4393347-1568344204/solver-4393347-1568344204 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568343521-17189 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 262919573 HOME/instance-4393347-1568344204.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
solver pid=17909, runsolver pid=17906
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 8.55 7.66 4.73 9/233 17925
/proc/meminfo: memFree=31191452/32770624 swapFree=66999976/67108860
[pid=17909] ppid=17906 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17909/stat : 17909 (xcsp3-exec) S 17906 17909 15420 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410334456 115843072 363 33554432000 4194304 5098028 140734420007056 140734420005160 140396671013500 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40763392 140734420013947 140734420014189 140734420014189 140734420017098 0
/proc/17909/statm: 28282 363 304 221 0 87 0
[pid=17911] ppid=17909 vsize=15144768 memory=28664 CPUtime=0.13 cores=0,2,4,6
/proc/17911/stat : 17911 (java) S 17909 17909 15420 0 -1 1077944320 5652 0 0 0 11 2 0 0 20 0 15 0 410334456 15508242432 7166 33554432000 4194304 4196468 140727269213376 140727269195920 140649092181751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
/proc/17911/statm: 3786192 7166 3117 1 0 3748377 0
[pid=17911/tid=17912] ppid=17909 vsize=15144768 memory=7748307311448697419 CPUtime=0.09 cores=0,2,4,6
/proc/17911/task/17912/stat : 17912 (java) R 17909 17909 15420 0 -1 4202560 3558 0 0 0 8 1 0 0 20 0 15 0 410334457 15508242432 7166 33554432000 4194304 4196468 140727269213376 140649096416288 140649076262238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17913] ppid=17909 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17913/stat : 17913 (java) S 17909 17909 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410334457 15508242432 7166 33554432000 4194304 4196468 140727269213376 140649044801808 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17914] ppid=17909 vsize=15144768 memory=140128508565120 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17914/stat : 17914 (java) S 17909 17909 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410334457 15508242432 7166 33554432000 4194304 4196468 140727269213376 140649043749264 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17915] ppid=17909 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17915/stat : 17915 (java) S 17909 17909 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410334458 15508242432 7166 33554432000 4194304 4196468 140727269213376 140649042696720 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17916] ppid=17909 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17916/stat : 17916 (java) S 17909 17909 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410334458 15508242432 7166 33554432000 4194304 4196468 140727269213376 140649041644176 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17917] ppid=17909 vsize=15144768 memory=140128508565120 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17917/stat : 17917 (java) S 17909 17909 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410334459 15508242432 7166 33554432000 4194304 4196468 140727269213376 140648560683504 140649092192898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17918] ppid=17909 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17918/stat : 17918 (java) S 17909 17909 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410334459 15508242432 7166 33554432000 4194304 4196468 140727269213376 140648559629728 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17919] ppid=17909 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17919/stat : 17919 (java) S 17909 17909 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410334460 15508242432 7166 33554432000 4194304 4196468 140727269213376 140648558577136 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17920] ppid=17909 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17920/stat : 17920 (java) S 17909 17909 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410334462 15508242432 7166 33554432000 4194304 4196468 140727269213376 140648557525712 140649092200347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17921] ppid=17909 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17921/stat : 17921 (java) S 17909 17909 15420 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 410334462 15508242432 7166 33554432000 4194304 4196468 140727269213376 140648556472304 140649092192898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17922] ppid=17909 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17922/stat : 17922 (java) S 17909 17909 15420 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 410334462 15508242432 7166 33554432000 4194304 4196468 140727269213376 140648555419760 140649092192898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17923] ppid=17909 vsize=15144768 memory=140128508565120 CPUtime=0.02 cores=0,2,4,6
/proc/17911/task/17923/stat : 17923 (java) R 17909 17909 15420 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 410334462 15508242432 7166 33554432000 4194304 4196468 140727269213376 140648554367216 140649076262268 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17924] ppid=17909 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17924/stat : 17924 (java) S 17909 17909 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410334462 15508242432 7166 33554432000 4194304 4196468 140727269213376 140648553314912 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17925] ppid=17909 vsize=15144768 memory=140128508565120 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17925/stat : 17925 (java) S 17909 17909 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410334463 15508242432 7166 33554432000 4194304 4196468 140727269213376 140648552262448 140649092192898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30116 KiB
[startup+0.210841 s]*
/proc/loadavg: 8.55 7.66 4.73 8/233 17925
/proc/meminfo: memFree=31178656/32770624 swapFree=66999976/67108860
[pid=17909] ppid=17906 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17909/stat : 17909 (xcsp3-exec) S 17906 17909 15420 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410334456 115843072 363 33554432000 4194304 5098028 140734420007056 140734420005160 140396671013500 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40763392 140734420013947 140734420014189 140734420014189 140734420017098 0
/proc/17909/statm: 28282 363 304 221 0 87 0
[pid=17911] ppid=17909 vsize=15144768 memory=40532 CPUtime=0.34 cores=0,2,4,6
/proc/17911/stat : 17911 (java) S 17909 17909 15420 0 -1 1077944320 9313 0 0 0 31 3 0 0 20 0 15 0 410334456 15508242432 10133 33554432000 4194304 4196468 140727269213376 140727269195920 140649092181751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
/proc/17911/statm: 3786192 10133 3310 1 0 3748377 0
[pid=17911/tid=17912] ppid=17909 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/17911/task/17912/stat : 17912 (java) R 17909 17909 15420 0 -1 4202560 6571 0 0 0 17 3 0 0 20 0 15 0 410334457 15508242432 10133 33554432000 4194304 4196468 140727269213376 140649096411472 140649076262238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17913] ppid=17909 vsize=15144768 memory=13675 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17913/stat : 17913 (java) S 17909 17909 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410334457 15508242432 10133 33554432000 4194304 4196468 140727269213376 140649044801808 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17914] ppid=17909 vsize=15144768 memory=140128508581779 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17914/stat : 17914 (java) S 17909 17909 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410334457 15508242432 10133 33554432000 4194304 4196468 140727269213376 140649043749264 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17915] ppid=17909 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17915/stat : 17915 (java) S 17909 17909 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410334458 15508242432 10133 33554432000 4194304 4196468 140727269213376 140649042696720 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17916] ppid=17909 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17916/stat : 17916 (java) S 17909 17909 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410334458 15508242432 10133 33554432000 4194304 4196468 140727269213376 140649041644176 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17917] ppid=17909 vsize=15144768 memory=140128508565120 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17917/stat : 17917 (java) S 17909 17909 15420 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410334459 15508242432 10133 33554432000 4194304 4196468 140727269213376 140648560683504 140649092192898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17918] ppid=17909 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17918/stat : 17918 (java) S 17909 17909 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410334459 15508242432 10133 33554432000 4194304 4196468 140727269213376 140648559629728 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17919] ppid=17909 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17919/stat : 17919 (java) S 17909 17909 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410334460 15508242432 10133 33554432000 4194304 4196468 140727269213376 140648558577136 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17920] ppid=17909 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17920/stat : 17920 (java) S 17909 17909 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410334462 15508242432 10133 33554432000 4194304 4196468 140727269213376 140648557525712 140649092200347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17921] ppid=17909 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/17911/task/17921/stat : 17921 (java) S 17909 17909 15420 0 -1 1077944384 479 0 0 0 3 0 0 0 20 0 15 0 410334462 15508242432 10133 33554432000 4194304 4196468 140727269213376 140648556472304 140649092192898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17922] ppid=17909 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/17911/task/17922/stat : 17922 (java) S 17909 17909 15420 0 -1 1077944384 152 0 0 0 1 0 0 0 20 0 15 0 410334462 15508242432 10133 33554432000 4194304 4196468 140727269213376 140648555419760 140649092192898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17923] ppid=17909 vsize=15144768 memory=140128508565120 CPUtime=0.08 cores=0,2,4,6
/proc/17911/task/17923/stat : 17923 (java) S 17909 17909 15420 0 -1 1077944384 808 0 0 0 8 0 0 0 20 0 15 0 410334462 15508242432 10133 33554432000 4194304 4196468 140727269213376 140648554367216 140649092192898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17924] ppid=17909 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17924/stat : 17924 (java) S 17909 17909 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410334462 15508242432 10133 33554432000 4194304 4196468 140727269213376 140648553314912 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17925] ppid=17909 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17925/stat : 17925 (java) S 17909 17909 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410334463 15508242432 10133 33554432000 4194304 4196468 140727269213376 140648552262448 140649092192898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41984 KiB
[startup+0.31494 s]*
/proc/loadavg: 8.55 7.66 4.73 8/233 17925
/proc/meminfo: memFree=31171112/32770624 swapFree=66999976/67108860
[pid=17909] ppid=17906 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17909/stat : 17909 (xcsp3-exec) S 17906 17909 15420 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410334456 115843072 363 33554432000 4194304 5098028 140734420007056 140734420005160 140396671013500 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40763392 140734420013947 140734420014189 140734420014189 140734420017098 0
/proc/17909/statm: 28282 363 304 221 0 87 0
[pid=17911] ppid=17909 vsize=15149024 memory=49864 CPUtime=0.54 cores=0,2,4,6
/proc/17911/stat : 17911 (java) S 17909 17909 15420 0 -1 1077944320 10812 0 0 0 50 4 0 0 20 0 15 0 410334456 15512600576 12466 33554432000 4194304 4196468 140727269213376 140727269195920 140649092181751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
/proc/17911/statm: 3787256 12466 3359 1 0 3748377 0
[pid=17911/tid=17912] ppid=17909 vsize=15149024 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/17911/task/17912/stat : 17912 (java) R 17909 17909 15420 0 -1 4202560 7728 0 0 0 27 3 0 0 20 0 15 0 410334457 15512600576 12466 33554432000 4194304 4196468 140727269213376 140649096412864 140649092203677 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17913] ppid=17909 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17913/stat : 17913 (java) S 17909 17909 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410334457 15512600576 12466 33554432000 4194304 4196468 140727269213376 140649044801808 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17914] ppid=17909 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17914/stat : 17914 (java) S 17909 17909 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410334457 15512600576 12466 33554432000 4194304 4196468 140727269213376 140649043749264 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17915] ppid=17909 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17915/stat : 17915 (java) S 17909 17909 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410334458 15512600576 12466 33554432000 4194304 4196468 140727269213376 140649042696720 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17916] ppid=17909 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17916/stat : 17916 (java) S 17909 17909 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410334458 15512600576 12466 33554432000 4194304 4196468 140727269213376 140649041644176 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17917] ppid=17909 vsize=15149024 memory=-7595490506177102494 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17917/stat : 17917 (java) S 17909 17909 15420 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410334459 15512600576 12466 33554432000 4194304 4196468 140727269213376 140648560683504 140649092192898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17918] ppid=17909 vsize=15149024 memory=-7533229591079788448 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17918/stat : 17918 (java) S 17909 17909 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410334459 15512600576 12466 33554432000 4194304 4196468 140727269213376 140648559629728 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17919] ppid=17909 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17919/stat : 17919 (java) S 17909 17909 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410334460 15512600576 12466 33554432000 4194304 4196468 140727269213376 140648558577136 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17920] ppid=17909 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17920/stat : 17920 (java) S 17909 17909 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410334462 15512600576 12466 33554432000 4194304 4196468 140727269213376 140648557525712 140649092200347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17921] ppid=17909 vsize=15149024 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/17911/task/17921/stat : 17921 (java) S 17909 17909 15420 0 -1 1077944384 497 0 0 0 5 0 0 0 20 0 15 0 410334462 15512600576 12466 33554432000 4194304 4196468 140727269213376 140648556472304 140649092192898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17922] ppid=17909 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/17911/task/17922/stat : 17922 (java) R 17909 17909 15420 0 -1 4202560 320 0 0 0 4 0 0 0 20 0 15 0 410334462 15512600576 12466 33554432000 4194304 4196468 140727269213376 140648555410144 140649075568656 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17923] ppid=17909 vsize=15149024 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/17911/task/17923/stat : 17923 (java) S 17909 17909 15420 0 -1 1077944384 967 0 0 0 13 0 0 0 20 0 15 0 410334462 15512600576 12466 33554432000 4194304 4196468 140727269213376 140648554367216 140649092192898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17924] ppid=17909 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17924/stat : 17924 (java) S 17909 17909 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410334462 15512600576 12466 33554432000 4194304 4196468 140727269213376 140648553314912 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17925] ppid=17909 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17925/stat : 17925 (java) S 17909 17909 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410334463 15512600576 12466 33554432000 4194304 4196468 140727269213376 140648552262448 140649092192898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51316 KiB
[startup+0.701491 s]
/proc/loadavg: 8.55 7.66 4.73 8/233 17925
/proc/meminfo: memFree=31150072/32770624 swapFree=66999976/67108860
[pid=17909] ppid=17906 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17909/stat : 17909 (xcsp3-exec) S 17906 17909 15420 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410334456 115843072 363 33554432000 4194304 5098028 140734420007056 140734420005160 140396671013500 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40763392 140734420013947 140734420014189 140734420014189 140734420017098 0
/proc/17909/statm: 28282 363 304 221 0 87 0
[pid=17911] ppid=17909 vsize=15151148 memory=120324 CPUtime=1.76 cores=0,2,4,6
/proc/17911/stat : 17911 (java) S 17909 17909 15420 0 -1 1077944320 14132 0 0 0 170 6 0 0 20 0 15 0 410334456 15514775552 30081 33554432000 4194304 4196468 140727269213376 140727269195920 140649092181751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
/proc/17911/statm: 3787787 30081 3449 1 0 3748889 0
[pid=17911/tid=17912] ppid=17909 vsize=15151148 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/17911/task/17912/stat : 17912 (java) R 17909 17909 15420 0 -1 4202560 8325 0 0 0 63 5 0 0 20 0 15 0 410334457 15514775552 30081 33554432000 4194304 4196468 140727269213376 140649096419840 140648723854896 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17913] ppid=17909 vsize=15151148 memory=33 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17913/stat : 17913 (java) S 17909 17909 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410334457 15514775552 30081 33554432000 4194304 4196468 140727269213376 140649044801808 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17914] ppid=17909 vsize=15151148 memory=-7604262568725289114 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17914/stat : 17914 (java) S 17909 17909 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410334457 15514775552 30081 33554432000 4194304 4196468 140727269213376 140649043749264 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17915] ppid=17909 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17915/stat : 17915 (java) S 17909 17909 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410334458 15514775552 30081 33554432000 4194304 4196468 140727269213376 140649042696720 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17916] ppid=17909 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17916/stat : 17916 (java) S 17909 17909 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410334458 15514775552 30081 33554432000 4194304 4196468 140727269213376 140649041644176 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17917] ppid=17909 vsize=15151148 memory=34336 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17917/stat : 17917 (java) S 17909 17909 15420 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410334459 15514775552 30081 33554432000 4194304 4196468 140727269213376 140648560683504 140649092192898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17918] ppid=17909 vsize=15151148 memory=988 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17918/stat : 17918 (java) S 17909 17909 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410334459 15514775552 30081 33554432000 4194304 4196468 140727269213376 140648559629728 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17919] ppid=17909 vsize=15151148 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17919/stat : 17919 (java) S 17909 17909 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410334460 15514775552 30081 33554432000 4194304 4196468 140727269213376 140648558577136 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17920] ppid=17909 vsize=15151148 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17920/stat : 17920 (java) S 17909 17909 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410334462 15514775552 30081 33554432000 4194304 4196468 140727269213376 140648557525712 140649092200347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17921] ppid=17909 vsize=15151148 memory=580 CPUtime=0.37 cores=0,2,4,6
/proc/17911/task/17921/stat : 17921 (java) R 17909 17909 15420 0 -1 4202560 1449 0 0 0 37 0 0 0 20 0 15 0 410334462 15514775552 30081 33554432000 4194304 4196468 140727269213376 140648556465328 140649075586848 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17922] ppid=17909 vsize=15151148 memory=1696 CPUtime=0.37 cores=0,2,4,6
/proc/17911/task/17922/stat : 17922 (java) R 17909 17909 15420 0 -1 4202560 1368 0 0 0 37 0 0 0 20 0 15 0 410334462 15514775552 30081 33554432000 4194304 4196468 140727269213376 140648555405640 140649077103533 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17923] ppid=17909 vsize=15151148 memory=3436 CPUtime=0.32 cores=0,2,4,6
/proc/17911/task/17923/stat : 17923 (java) S 17909 17909 15420 0 -1 1077944384 1681 0 0 0 32 0 0 0 20 0 15 0 410334462 15514775552 30081 33554432000 4194304 4196468 140727269213376 140648554367216 140649092192898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17924] ppid=17909 vsize=15151148 memory=7548 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17924/stat : 17924 (java) S 17909 17909 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410334462 15514775552 30081 33554432000 4194304 4196468 140727269213376 140648553314912 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17925] ppid=17909 vsize=15151148 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17925/stat : 17925 (java) S 17909 17909 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410334463 15514775552 30081 33554432000 4194304 4196468 140727269213376 140648552262448 140649092192898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 121776 KiB
[startup+1.50946 s]
/proc/loadavg: 8.51 7.67 4.74 8/233 17925
/proc/meminfo: memFree=31045824/32770624 swapFree=66999976/67108860
[pid=17909] ppid=17906 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17909/stat : 17909 (xcsp3-exec) S 17906 17909 15420 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410334456 115843072 363 33554432000 4194304 5098028 140734420007056 140734420005160 140396671013500 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40763392 140734420013947 140734420014189 140734420014189 140734420017098 0
/proc/17909/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/17911/task/17925/stat : 17925 (java) S 17909 17909 15420 0 -1 1077944384 673 0 0 0 0 7 0 0 20 0 19 0 410334463 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648552262448 140649092192898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17954] ppid=17909 vsize=15618124 memory=1452 CPUtime=232.01 cores=0,2,4,6
/proc/17911/task/17954/stat : 17954 (java) R 17909 17909 15420 0 -1 4202560 415 0 0 0 23201 0 0 0 20 0 19 0 410335085 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648541183288 140648726884912 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17955] ppid=17909 vsize=15618124 memory=1128392 CPUtime=233.01 cores=0,2,4,6
/proc/17911/task/17955/stat : 17955 (java) R 17909 17909 15420 0 -1 4202560 4808 0 0 0 23293 8 0 0 20 0 19 0 410335086 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648538026344 140648726804751 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17956] ppid=17909 vsize=15618124 memory=1452 CPUtime=233.04 cores=0,2,4,6
/proc/17911/task/17956/stat : 17956 (java) R 17909 17909 15420 0 -1 4202560 525 0 0 0 23304 0 0 0 20 0 19 0 410335086 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648536973744 140648726785482 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17957] ppid=17909 vsize=15618124 memory=1105816 CPUtime=231.05 cores=0,2,4,6
/proc/17911/task/17957/stat : 17957 (java) R 17909 17909 15420 0 -1 4202560 2076 0 0 0 23101 4 0 0 20 0 19 0 410335086 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648535920520 140648726804805 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
Current children cumulated CPU time: 952.92 s
Current children cumulated vsize: 15731252 KiB
Current children cumulated memory: 1129844 KiB
[startup+240.801 s]
/proc/loadavg: 8.31 8.15 5.61 9/239 18147
/proc/meminfo: memFree=29367160/32770624 swapFree=66999980/67108860
[pid=17909] ppid=17906 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17909/stat : 17909 (xcsp3-exec) S 17906 17909 15420 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410334456 115843072 363 33554432000 4194304 5098028 140734420007056 140734420005160 140396671013500 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40763392 140734420013947 140734420014189 140734420014189 140734420017098 0
/proc/17909/statm: 28282 363 304 221 0 87 0
[pid=17911] ppid=17909 vsize=15618124 memory=1128392 CPUtime=956.08 cores=0,2,4,6
/proc/17911/stat : 17911 (java) S 17909 17909 15420 0 -1 1077944320 57363 0 0 0 95566 42 0 0 20 0 19 0 410334456 15992958976 282098 33554432000 4194304 4196468 140727269213376 140727269195920 140649092181751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
/proc/17911/statm: 3904531 282098 3520 1 0 3865633 0
[pid=17911/tid=17912] ppid=17909 vsize=15618124 memory=1128392 CPUtime=1.4 cores=0,2,4,6
/proc/17911/task/17912/stat : 17912 (java) S 17909 17909 15420 0 -1 1077944384 9398 0 0 0 134 6 0 0 20 0 19 0 410334457 15992958976 282098 33554432000 4194304 4196468 140727269213376 140649096422528 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17913] ppid=17909 vsize=15618124 memory=3848 CPUtime=0.12 cores=0,2,4,6
/proc/17911/task/17913/stat : 17913 (java) S 17909 17909 15420 0 -1 1077944384 1031 0 0 0 9 3 0 0 20 0 19 0 410334457 15992958976 282098 33554432000 4194304 4196468 140727269213376 140649044801808 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17914] ppid=17909 vsize=15618124 memory=6791534058613427641 CPUtime=0.13 cores=0,2,4,6
/proc/17911/task/17914/stat : 17914 (java) S 17909 17909 15420 0 -1 1077944384 1236 0 0 0 10 3 0 0 20 0 19 0 410334457 15992958976 282098 33554432000 4194304 4196468 140727269213376 140649043749264 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17915] ppid=17909 vsize=15618124 memory=2776 CPUtime=0.12 cores=0,2,4,6
/proc/17911/task/17915/stat : 17915 (java) S 17909 17909 15420 0 -1 1077944384 1341 0 0 0 9 3 0 0 20 0 19 0 410334458 15992958976 282098 33554432000 4194304 4196468 140727269213376 140649042696720 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17916] ppid=17909 vsize=15618124 memory=2748 CPUtime=0.12 cores=0,2,4,6
/proc/17911/task/17916/stat : 17916 (java) S 17909 17909 15420 0 -1 1077944384 2202 0 0 0 9 3 0 0 20 0 19 0 410334458 15992958976 282098 33554432000 4194304 4196468 140727269213376 140649041644176 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17917] ppid=17909 vsize=15618124 memory=1412 CPUtime=0.01 cores=0,2,4,6
/proc/17911/task/17917/stat : 17917 (java) S 17909 17909 15420 0 -1 1077944384 1581 0 0 0 1 0 0 0 20 0 19 0 410334459 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648560683504 140649092192898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17918] ppid=17909 vsize=15618124 memory=3316 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17918/stat : 17918 (java) S 17909 17909 15420 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 410334459 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648559629792 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17919] ppid=17909 vsize=15618124 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17919/stat : 17919 (java) S 17909 17909 15420 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 410334460 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648558577152 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17920] ppid=17909 vsize=15618124 memory=1128392 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17920/stat : 17920 (java) S 17909 17909 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410334462 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648557525712 140649092200347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17921] ppid=17909 vsize=15618124 memory=1412 CPUtime=2.28 cores=0,2,4,6
/proc/17911/task/17921/stat : 17921 (java) S 17909 17909 15420 0 -1 1077944384 8439 0 0 0 227 1 0 0 20 0 19 0 410334462 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648556472304 140649092192898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17922] ppid=17909 vsize=15618124 memory=3272 CPUtime=2.53 cores=0,2,4,6
/proc/17911/task/17922/stat : 17922 (java) S 17909 17909 15420 0 -1 1077944384 12469 0 0 0 252 1 0 0 20 0 19 0 410334462 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648555419760 140649092192898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17923] ppid=17909 vsize=15618124 memory=19352 CPUtime=0.79 cores=0,2,4,6
/proc/17911/task/17923/stat : 17923 (java) S 17909 17909 15420 0 -1 1077944384 8278 0 0 0 78 1 0 0 20 0 19 0 410334462 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648554367216 140649092192898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17924] ppid=17909 vsize=15618124 memory=11852 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17924/stat : 17924 (java) S 17909 17909 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410334462 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648553314912 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17925] ppid=17909 vsize=15618124 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/17911/task/17925/stat : 17925 (java) S 17909 17909 15420 0 -1 1077944384 673 0 0 0 0 7 0 0 20 0 19 0 410334463 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648552262448 140649092192898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17954] ppid=17909 vsize=15618124 memory=1564 CPUtime=232.79 cores=0,2,4,6
/proc/17911/task/17954/stat : 17954 (java) R 17909 17909 15420 0 -1 4202560 415 0 0 0 23279 0 0 0 20 0 19 0 410335085 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648541183288 140648726804690 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17955] ppid=17909 vsize=15618124 memory=928 CPUtime=233.8 cores=0,2,4,6
/proc/17911/task/17955/stat : 17955 (java) R 17909 17909 15420 0 -1 4202560 4808 0 0 0 23372 8 0 0 20 0 19 0 410335086 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648538026344 140648726804885 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17956] ppid=17909 vsize=15618124 memory=1980 CPUtime=233.83 cores=0,2,4,6
/proc/17911/task/17956/stat : 17956 (java) R 17909 17909 15420 0 -1 4202560 525 0 0 0 23383 0 0 0 20 0 19 0 410335086 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648536973744 140648726804672 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17957] ppid=17909 vsize=15618124 memory=1332 CPUtime=231.84 cores=0,2,4,6
/proc/17911/task/17957/stat : 17957 (java) R 17909 17909 15420 0 -1 4202560 2076 0 0 0 23180 4 0 0 20 0 19 0 410335086 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648535920520 140648726804910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
Current children cumulated CPU time: 956.08 s
Current children cumulated vsize: 15731252 KiB
Current children cumulated memory: 1129844 KiB
[startup+241.001 s]*
/proc/loadavg: 8.29 8.15 5.62 9/239 18147
/proc/meminfo: memFree=29367160/32770624 swapFree=66999980/67108860
[pid=17909] ppid=17906 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17909/stat : 17909 (xcsp3-exec) S 17906 17909 15420 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410334456 115843072 363 33554432000 4194304 5098028 140734420007056 140734420005160 140396671013500 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40763392 140734420013947 140734420014189 140734420014189 140734420017098 0
/proc/17909/statm: 28282 363 304 221 0 87 0
[pid=17911] ppid=17909 vsize=15618124 memory=1128392 CPUtime=956.9 cores=0,2,4,6
/proc/17911/stat : 17911 (java) S 17909 17909 15420 0 -1 1077944320 57363 0 0 0 95648 42 0 0 20 0 19 0 410334456 15992958976 282098 33554432000 4194304 4196468 140727269213376 140727269195920 140649092181751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
/proc/17911/statm: 3904531 282098 3520 1 0 3865633 0
[pid=17911/tid=17912] ppid=17909 vsize=15618124 memory=1398722017469774279 CPUtime=1.4 cores=0,2,4,6
/proc/17911/task/17912/stat : 17912 (java) S 17909 17909 15420 0 -1 1077944384 9398 0 0 0 134 6 0 0 20 0 19 0 410334457 15992958976 282098 33554432000 4194304 4196468 140727269213376 140649096422528 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17913] ppid=17909 vsize=15618124 memory=4126316290023845779 CPUtime=0.12 cores=0,2,4,6
/proc/17911/task/17913/stat : 17913 (java) S 17909 17909 15420 0 -1 1077944384 1031 0 0 0 9 3 0 0 20 0 19 0 410334457 15992958976 282098 33554432000 4194304 4196468 140727269213376 140649044801808 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17914] ppid=17909 vsize=15618124 memory=2648 CPUtime=0.13 cores=0,2,4,6
/proc/17911/task/17914/stat : 17914 (java) S 17909 17909 15420 0 -1 1077944384 1236 0 0 0 10 3 0 0 20 0 19 0 410334457 15992958976 282098 33554432000 4194304 4196468 140727269213376 140649043749264 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17915] ppid=17909 vsize=15618124 memory=912 CPUtime=0.12 cores=0,2,4,6
/proc/17911/task/17915/stat : 17915 (java) S 17909 17909 15420 0 -1 1077944384 1341 0 0 0 9 3 0 0 20 0 19 0 410334458 15992958976 282098 33554432000 4194304 4196468 140727269213376 140649042696720 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17916] ppid=17909 vsize=15618124 memory=1440 CPUtime=0.12 cores=0,2,4,6
/proc/17911/task/17916/stat : 17916 (java) S 17909 17909 15420 0 -1 1077944384 2202 0 0 0 9 3 0 0 20 0 19 0 410334458 15992958976 282098 33554432000 4194304 4196468 140727269213376 140649041644176 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17917] ppid=17909 vsize=15618124 memory=1768 CPUtime=0.01 cores=0,2,4,6
/proc/17911/task/17917/stat : 17917 (java) S 17909 17909 15420 0 -1 1077944384 1581 0 0 0 1 0 0 0 20 0 19 0 410334459 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648560683504 140649092192898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17918] ppid=17909 vsize=15618124 memory=111636 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17918/stat : 17918 (java) S 17909 17909 15420 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 410334459 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648559629792 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17919] ppid=17909 vsize=15618124 memory=808 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17919/stat : 17919 (java) S 17909 17909 15420 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 410334460 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648558577152 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17920] ppid=17909 vsize=15618124 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17920/stat : 17920 (java) S 17909 17909 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410334462 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648557525712 140649092200347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17921] ppid=17909 vsize=15618124 memory=924 CPUtime=2.28 cores=0,2,4,6
/proc/17911/task/17921/stat : 17921 (java) S 17909 17909 15420 0 -1 1077944384 8439 0 0 0 227 1 0 0 20 0 19 0 410334462 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648556472304 140649092192898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17922] ppid=17909 vsize=15618124 memory=3848 CPUtime=2.53 cores=0,2,4,6
/proc/17911/task/17922/stat : 17922 (java) S 17909 17909 15420 0 -1 1077944384 12469 0 0 0 252 1 0 0 20 0 19 0 410334462 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648555419760 140649092192898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17923] ppid=17909 vsize=15618124 memory=4108 CPUtime=0.79 cores=0,2,4,6
/proc/17911/task/17923/stat : 17923 (java) S 17909 17909 15420 0 -1 1077944384 8278 0 0 0 78 1 0 0 20 0 19 0 410334462 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648554367216 140649092192898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17924] ppid=17909 vsize=15618124 memory=2776 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17924/stat : 17924 (java) S 17909 17909 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410334462 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648553314912 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17925] ppid=17909 vsize=15618124 memory=2748 CPUtime=0.07 cores=0,2,4,6
/proc/17911/task/17925/stat : 17925 (java) S 17909 17909 15420 0 -1 1077944384 673 0 0 0 0 7 0 0 20 0 19 0 410334463 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648552262448 140649092192898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17954] ppid=17909 vsize=15618124 memory=1412 CPUtime=232.99 cores=0,2,4,6
/proc/17911/task/17954/stat : 17954 (java) R 17909 17909 15420 0 -1 4202560 415 0 0 0 23299 0 0 0 20 0 19 0 410335085 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648541183288 140648726804857 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17955] ppid=17909 vsize=15618124 memory=3316 CPUtime=234.01 cores=0,2,4,6
/proc/17911/task/17955/stat : 17955 (java) R 17909 17909 15420 0 -1 4202560 4808 0 0 0 23393 8 0 0 20 0 19 0 410335086 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648538026344 140648723969904 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17956] ppid=17909 vsize=15618124 memory=1452 CPUtime=234.04 cores=0,2,4,6
/proc/17911/task/17956/stat : 17956 (java) R 17909 17909 15420 0 -1 4202560 525 0 0 0 23404 0 0 0 20 0 19 0 410335086 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648536973744 140648726804740 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17957] ppid=17909 vsize=15618124 memory=1128392 CPUtime=232.05 cores=0,2,4,6
/proc/17911/task/17957/stat : 17957 (java) R 17909 17909 15420 0 -1 4202560 2076 0 0 0 23201 4 0 0 20 0 19 0 410335086 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648535920520 140648726437362 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
Current children cumulated CPU time: 956.9 s
Current children cumulated vsize: 15731252 KiB
Current children cumulated memory: 1129844 KiB
[startup+241.111 s]
/proc/loadavg: 8.29 8.15 5.62 9/239 18147
/proc/meminfo: memFree=29367160/32770624 swapFree=66999980/67108860
[pid=17909] ppid=17906 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17909/stat : 17909 (xcsp3-exec) S 17906 17909 15420 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410334456 115843072 363 33554432000 4194304 5098028 140734420007056 140734420005160 140396671013500 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40763392 140734420013947 140734420014189 140734420014189 140734420017098 0
/proc/17909/statm: 28282 363 304 221 0 87 0
[pid=17911] ppid=17909 vsize=15618124 memory=1128392 CPUtime=957.3 cores=0,2,4,6
/proc/17911/stat : 17911 (java) S 17909 17909 15420 0 -1 1077944320 57363 0 0 0 95688 42 0 0 20 0 19 0 410334456 15992958976 282098 33554432000 4194304 4196468 140727269213376 140727269195920 140649092181751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
/proc/17911/statm: 3904531 282098 3520 1 0 3865633 0
[pid=17911/tid=17912] ppid=17909 vsize=15618124 memory=1128392 CPUtime=1.4 cores=0,2,4,6
/proc/17911/task/17912/stat : 17912 (java) S 17909 17909 15420 0 -1 1077944384 9398 0 0 0 134 6 0 0 20 0 19 0 410334457 15992958976 282098 33554432000 4194304 4196468 140727269213376 140649096422528 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17913] ppid=17909 vsize=15618124 memory=1452 CPUtime=0.12 cores=0,2,4,6
/proc/17911/task/17913/stat : 17913 (java) S 17909 17909 15420 0 -1 1077944384 1031 0 0 0 9 3 0 0 20 0 19 0 410334457 15992958976 282098 33554432000 4194304 4196468 140727269213376 140649044801808 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17914] ppid=17909 vsize=15618124 memory=1452 CPUtime=0.13 cores=0,2,4,6
/proc/17911/task/17914/stat : 17914 (java) S 17909 17909 15420 0 -1 1077944384 1236 0 0 0 10 3 0 0 20 0 19 0 410334457 15992958976 282098 33554432000 4194304 4196468 140727269213376 140649043749264 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17915] ppid=17909 vsize=15618124 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/17911/task/17915/stat : 17915 (java) S 17909 17909 15420 0 -1 1077944384 1341 0 0 0 9 3 0 0 20 0 19 0 410334458 15992958976 282098 33554432000 4194304 4196468 140727269213376 140649042696720 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17916] ppid=17909 vsize=15618124 memory=1452 CPUtime=0.12 cores=0,2,4,6
/proc/17911/task/17916/stat : 17916 (java) S 17909 17909 15420 0 -1 1077944384 2202 0 0 0 9 3 0 0 20 0 19 0 410334458 15992958976 282098 33554432000 4194304 4196468 140727269213376 140649041644176 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17917] ppid=17909 vsize=15618124 memory=1128392 CPUtime=0.01 cores=0,2,4,6
/proc/17911/task/17917/stat : 17917 (java) S 17909 17909 15420 0 -1 1077944384 1581 0 0 0 1 0 0 0 20 0 19 0 410334459 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648560683504 140649092192898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17918] ppid=17909 vsize=15618124 memory=772 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17918/stat : 17918 (java) S 17909 17909 15420 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 410334459 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648559629792 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17919] ppid=17909 vsize=15618124 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17919/stat : 17919 (java) S 17909 17909 15420 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 410334460 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648558577152 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17920] ppid=17909 vsize=15618124 memory=1128392 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17920/stat : 17920 (java) S 17909 17909 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410334462 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648557525712 140649092200347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17921] ppid=17909 vsize=15618124 memory=1556 CPUtime=2.28 cores=0,2,4,6
/proc/17911/task/17921/stat : 17921 (java) S 17909 17909 15420 0 -1 1077944384 8439 0 0 0 227 1 0 0 20 0 19 0 410334462 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648556472304 140649092192898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17922] ppid=17909 vsize=15618124 memory=3616 CPUtime=2.53 cores=0,2,4,6
/proc/17911/task/17922/stat : 17922 (java) S 17909 17909 15420 0 -1 1077944384 12469 0 0 0 252 1 0 0 20 0 19 0 410334462 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648555419760 140649092192898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17923] ppid=17909 vsize=15618124 memory=34352 CPUtime=0.79 cores=0,2,4,6
/proc/17911/task/17923/stat : 17923 (java) S 17909 17909 15420 0 -1 1077944384 8278 0 0 0 78 1 0 0 20 0 19 0 410334462 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648554367216 140649092192898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17924] ppid=17909 vsize=15618124 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17911/task/17924/stat : 17924 (java) S 17909 17909 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410334462 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648553314912 140649092191957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17925] ppid=17909 vsize=15618124 memory=1105816 CPUtime=0.07 cores=0,2,4,6
/proc/17911/task/17925/stat : 17925 (java) S 17909 17909 15420 0 -1 1077944384 673 0 0 0 0 7 0 0 20 0 19 0 410334463 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648552262448 140649092192898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17954] ppid=17909 vsize=15618124 memory=1128392 CPUtime=233.09 cores=0,2,4,6
/proc/17911/task/17954/stat : 17954 (java) R 17909 17909 15420 0 -1 4202560 415 0 0 0 23309 0 0 0 20 0 19 0 410335085 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648541183288 140648726804810 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17955] ppid=17909 vsize=15618124 memory=2372 CPUtime=234.11 cores=0,2,4,6
/proc/17911/task/17955/stat : 17955 (java) R 17909 17909 15420 0 -1 4202560 4808 0 0 0 23403 8 0 0 20 0 19 0 410335086 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648538026344 140648726804810 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17956] ppid=17909 vsize=15618124 memory=1121260 CPUtime=234.14 cores=0,2,4,6
/proc/17911/task/17956/stat : 17956 (java) R 17909 17909 15420 0 -1 4202560 525 0 0 0 23414 0 0 0 20 0 19 0 410335086 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648536973744 140648726437995 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
[pid=17911/tid=17957] ppid=17909 vsize=15618124 memory=1452 CPUtime=232.15 cores=0,2,4,6
/proc/17911/task/17957/stat : 17957 (java) R 17909 17909 15420 0 -1 4202560 2076 0 0 0 23211 4 0 0 20 0 19 0 410335086 15992958976 282098 33554432000 4194304 4196468 140727269213376 140648535920520 140648726787056 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727269221359 140727269221530 140727269221530 140727269224399 0
Current children cumulated CPU time: 957.3 s
Current children cumulated vsize: 15731252 KiB
Current children cumulated memory: 1129844 KiB
Child status: 0
Real time (s): 241.133
CPU time (s): 957.373
CPU user time (s): 956.934
CPU system time (s): 0.438432
CPU usage (%): 397.03
Max. virtual memory (cumulated for all children) (KiB): 15731252
Max. memory (cumulated for all children) (KiB): 1129844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 956.934
system time used= 0.438432
maximum resident set size= 1143328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58484
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8101
involuntary context switches= 13401
# summary of solver processes directly reported to runsolver:
# pid: 17909
# total CPU time (s): 957.373
# total CPU user time (s): 956.934
# total CPU system time (s): 0.438432
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.6161 second user time and 2.65539 second system time
The end