runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245046-1500685245/watcher-4245046-1500685245 -o /tmp/evaluation-result-4245046-1500685245/solver-4245046-1500685245 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8603 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 282870403 HOME/instance-4245046-1500685245.xml
pid=18568
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.59 15.51 13.33 10/273 18571
/proc/meminfo: memFree=28450696/32770624 swapFree=5884/237896
[pid=18571] ppid=18568 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18571/stat : 18571 (xcsp3-exec) S 18568 18571 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3792270 9740288 346 33554432000 4194304 5098028 140733214146208 140733214144312 140313382417020 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30306304 140733214151823 140733214152032 140733214152032 140733214154731 0
/proc/18571/statm: 2378 346 289 221 0 87 0
[startup+0.100095 s]
/proc/loadavg: 15.59 15.51 13.33 10/273 18571
/proc/meminfo: memFree=28450696/32770624 swapFree=5884/237896
[pid=18571] ppid=18568 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18571/stat : 18571 (xcsp3-exec) S 18568 18571 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3792270 9740288 346 33554432000 4194304 5098028 140733214146208 140733214144312 140313382417020 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30306304 140733214151823 140733214152032 140733214152032 140733214154731 0
/proc/18571/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200297 s]
/proc/loadavg: 15.59 15.51 13.33 10/273 18571
/proc/meminfo: memFree=28450696/32770624 swapFree=5884/237896
[pid=18571] ppid=18568 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18571/stat : 18571 (xcsp3-exec) S 18568 18571 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3792270 9740288 346 33554432000 4194304 5098028 140733214146208 140733214144312 140313382417020 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30306304 140733214151823 140733214152032 140733214152032 140733214154731 0
/proc/18571/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300259 s]
/proc/loadavg: 15.59 15.51 13.33 10/273 18571
/proc/meminfo: memFree=28450696/32770624 swapFree=5884/237896
[pid=18571] ppid=18568 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18571/stat : 18571 (xcsp3-exec) S 18568 18571 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3792270 9740288 346 33554432000 4194304 5098028 140733214146208 140733214144312 140313382417020 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30306304 140733214151823 140733214152032 140733214152032 140733214154731 0
/proc/18571/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700286 s]
/proc/loadavg: 15.59 15.51 13.33 10/273 18571
/proc/meminfo: memFree=28450696/32770624 swapFree=5884/237896
[pid=18571] ppid=18568 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18571/stat : 18571 (xcsp3-exec) S 18568 18571 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3792270 9740288 346 33554432000 4194304 5098028 140733214146208 140733214144312 140313382417020 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30306304 140733214151823 140733214152032 140733214152032 140733214154731 0
/proc/18571/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50121 s]
/proc/loadavg: 15.59 15.51 13.33 11/294 18592
/proc/meminfo: memFree=28301240/32770624 swapFree=5884/237892
[pid=18571] ppid=18568 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18571/stat : 18571 (xcsp3-exec) S 18568 18571 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3792270 9740288 346 33554432000 4194304 5098028 140733214146208 140733214144312 140313382417020 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30306304 140733214151823 140733214152032 140733214152032 140733214154731 0
/proc/18571/statm: 2378 346 289 221 0 87 0
[pid=18572] ppid=18571 vsize=13801768 CPUtime=5.28 cores=1,3,5,7,9,11,13,15
/proc/18572/stat : 18572 (java) S 18571 18571 8571 0 -1 1077944320 15775 0 0 0 503 25 0 0 20 0 28 0 3792271 14133010432 56124 33554432000 4194304 4196468 140720999212624 140720999195168 140164286897911 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
/proc/18572/statm: 3450442 56124 3237 1 0 3437675 0
[pid=18572/tid=18573] ppid=18571 vsize=13801768 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18573/stat : 18573 (java) S 18571 18571 8571 0 -1 1077944384 6996 0 0 0 107 4 0 0 20 0 28 0 3792271 14133010432 56124 33554432000 4194304 4196468 140720999212624 140164291138688 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18575] ppid=18571 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18575/stat : 18575 (java) S 18571 18571 8571 0 -1 1077944384 27 0 0 0 2 2 0 0 20 0 28 0 3792272 14133010432 56124 33554432000 4194304 4196468 140720999212624 140164245658256 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18576] ppid=18571 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18576/stat : 18576 (java) S 18571 18571 8571 0 -1 1077944384 21 0 0 0 2 1 0 0 20 0 28 0 3792272 14133010432 56124 33554432000 4194304 4196468 140720999212624 140163885386256 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18577] ppid=18571 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18577/stat : 18577 (java) S 18571 18571 8571 0 -1 1077944384 24 0 0 0 1 2 0 0 20 0 28 0 3792272 14133010432 56124 33554432000 4194304 4196468 140720999212624 140163884333456 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18578] ppid=18571 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18578/stat : 18578 (java) S 18571 18571 8571 0 -1 1077944384 27 0 0 0 1 2 0 0 20 0 28 0 3792272 14133010432 56124 33554432000 4194304 4196468 140720999212624 140163883280656 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18579] ppid=18571 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18579/stat : 18579 (java) S 18571 18571 8571 0 -1 1077944384 23 0 0 0 1 2 0 0 20 0 28 0 3792272 14133010432 56124 33554432000 4194304 4196468 140720999212624 140163882228880 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18580] ppid=18571 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18580/stat : 18580 (java) S 18571 18571 8571 0 -1 1077944384 22 0 0 0 1 2 0 0 20 0 28 0 3792272 14133010432 56124 33554432000 4194304 4196468 140720999212624 140163881176080 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18581] ppid=18571 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18581/stat : 18581 (java) S 18571 18571 8571 0 -1 1077944384 25 0 0 0 1 2 0 0 20 0 28 0 3792272 14133010432 56124 33554432000 4194304 4196468 140720999212624 140163880123280 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18582] ppid=18571 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18582/stat : 18582 (java) S 18571 18571 8571 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 3792272 14133010432 56124 33554432000 4194304 4196468 140720999212624 140163879070480 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18583] ppid=18571 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18583/stat : 18583 (java) S 18571 18571 8571 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3792274 14133010432 56124 33554432000 4194304 4196468 140720999212624 140163480807792 140164286909058 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18584] ppid=18571 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18584/stat : 18584 (java) S 18571 18571 8571 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3792275 14133010432 56124 33554432000 4194304 4196468 140720999212624 140163479753824 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18585] ppid=18571 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18585/stat : 18585 (java) S 18571 18571 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3792275 14133010432 56124 33554432000 4194304 4196468 140720999212624 140163478700928 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18586] ppid=18571 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18586/stat : 18586 (java) S 18571 18571 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3792279 14133010432 56124 33554432000 4194304 4196468 140720999212624 140163477649232 140164286916507 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18587] ppid=18571 vsize=13801768 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18587/stat : 18587 (java) R 18571 18571 8571 0 -1 4202560 1803 0 0 0 46 0 0 0 20 0 28 0 3792279 14133010432 56124 33554432000 4194304 4196468 140720999212624 140163476582824 140164268445303 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18588] ppid=18571 vsize=13801768 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18588/stat : 18588 (java) R 18571 18571 8571 0 -1 4202560 1346 0 0 0 46 0 0 0 20 0 28 0 3792279 14133010432 56124 33554432000 4194304 4196468 140720999212624 140163475531360 140164264648562 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18589] ppid=18571 vsize=13801768 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18589/stat : 18589 (java) R 18571 18571 8571 0 -1 4202560 1424 0 0 0 61 0 0 0 20 0 28 0 3792279 14133010432 56124 33554432000 4194304 4196468 140720999212624 140163474478040 140164279187360 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18590] ppid=18571 vsize=13801768 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18590/stat : 18590 (java) R 18571 18571 8571 0 -1 4202560 2241 0 0 0 60 2 0 0 20 0 28 0 3792279 14133010432 56124 33554432000 4194304 4196468 140720999212624 140163473436152 140164286909846 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18591] ppid=18571 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18591/stat : 18591 (java) S 18571 18571 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3792279 14133010432 56124 33554432000 4194304 4196468 140720999212624 140163472386656 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18592] ppid=18571 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18592/stat : 18592 (java) S 18571 18571 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3792279 14133010432 56124 33554432000 4194304 4196468 140720999212624 140163471333936 140164286909058 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 13811280
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18572 sig 9
??? kill 18571 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60164 s]
/proc/loadavg: 15.59 15.51 13.33 11/294 18592
/proc/meminfo: memFree=28301240/32770624 swapFree=5884/237892
[pid=18571] ppid=18568 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18571/stat : 18571 (xcsp3-exec) S 18568 18571 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3792270 9740288 346 33554432000 4194304 5098028 140733214146208 140733214144312 140313382417020 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30306304 140733214151823 140733214152032 140733214152032 140733214154731 0
/proc/18571/statm: 2378 346 289 221 0 87 0
[pid=18572] ppid=18571 vsize=13801768 CPUtime=5.83 cores=1,3,5,7,9,11,13,15
/proc/18572/stat : 18572 (java) S 18571 18571 8571 0 -1 1077944320 15940 0 0 0 558 25 0 0 20 0 28 0 3792271 14133010432 56322 33554432000 4194304 4196468 140720999212624 140720999195168 140164286897911 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
/proc/18572/statm: 3450442 56322 3237 1 0 3437675 0
[pid=18572/tid=18573] ppid=18571 vsize=13801768 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18573/stat : 18573 (java) S 18571 18571 8571 0 -1 1077944384 6996 0 0 0 107 4 0 0 20 0 28 0 3792271 14133010432 56322 33554432000 4194304 4196468 140720999212624 140164291138688 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18575] ppid=18571 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18575/stat : 18575 (java) S 18571 18571 8571 0 -1 1077944384 27 0 0 0 2 2 0 0 20 0 28 0 3792272 14133010432 56322 33554432000 4194304 4196468 140720999212624 140164245658256 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18576] ppid=18571 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18576/stat : 18576 (java) S 18571 18571 8571 0 -1 1077944384 21 0 0 0 2 1 0 0 20 0 28 0 3792272 14133010432 56322 33554432000 4194304 4196468 140720999212624 140163885386256 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18577] ppid=18571 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18577/stat : 18577 (java) S 18571 18571 8571 0 -1 1077944384 24 0 0 0 1 2 0 0 20 0 28 0 3792272 14133010432 56322 33554432000 4194304 4196468 140720999212624 140163884333456 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18578] ppid=18571 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18578/stat : 18578 (java) S 18571 18571 8571 0 -1 1077944384 27 0 0 0 1 2 0 0 20 0 28 0 3792272 14133010432 56322 33554432000 4194304 4196468 140720999212624 140163883280656 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18579] ppid=18571 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18579/stat : 18579 (java) S 18571 18571 8571 0 -1 1077944384 23 0 0 0 1 2 0 0 20 0 28 0 3792272 14133010432 56322 33554432000 4194304 4196468 140720999212624 140163882228880 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18580] ppid=18571 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18580/stat : 18580 (java) S 18571 18571 8571 0 -1 1077944384 22 0 0 0 1 2 0 0 20 0 28 0 3792272 14133010432 56322 33554432000 4194304 4196468 140720999212624 140163881176080 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18581] ppid=18571 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18581/stat : 18581 (java) S 18571 18571 8571 0 -1 1077944384 25 0 0 0 1 2 0 0 20 0 28 0 3792272 14133010432 56322 33554432000 4194304 4196468 140720999212624 140163880123280 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18582] ppid=18571 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18582/stat : 18582 (java) S 18571 18571 8571 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 3792272 14133010432 56322 33554432000 4194304 4196468 140720999212624 140163879070480 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18583] ppid=18571 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18583/stat : 18583 (java) S 18571 18571 8571 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3792274 14133010432 56322 33554432000 4194304 4196468 140720999212624 140163480807792 140164286909058 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18584] ppid=18571 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18584/stat : 18584 (java) S 18571 18571 8571 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3792275 14133010432 56322 33554432000 4194304 4196468 140720999212624 140163479753824 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18585] ppid=18571 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18585/stat : 18585 (java) S 18571 18571 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3792275 14133010432 56322 33554432000 4194304 4196468 140720999212624 140163478700928 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18586] ppid=18571 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18586/stat : 18586 (java) S 18571 18571 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3792279 14133010432 56322 33554432000 4194304 4196468 140720999212624 140163477649232 140164286916507 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18587] ppid=18571 vsize=13801768 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18587/stat : 18587 (java) D 18571 18571 8571 0 -1 4202560 1803 0 0 0 48 0 0 0 20 0 28 0 3792279 14133010432 56322 33554432000 4194304 4196468 140720999212624 140163476583672 140164279615063 0 4 0 16800975 18446744071582151463 0 0 -1 9 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18588] ppid=18571 vsize=13801768 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18588/stat : 18588 (java) D 18571 18571 8571 0 -1 4202560 1346 0 0 0 47 0 0 0 20 0 28 0 3792279 14133010432 56322 33554432000 4194304 4196468 140720999212624 140163475530840 140164279615063 0 4 0 16800975 18446744071582151463 0 0 -1 7 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18589] ppid=18571 vsize=13801768 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18589/stat : 18589 (java) D 18571 18571 8571 0 -1 4202560 1580 0 0 0 61 0 0 0 20 0 28 0 3792279 14133010432 56322 33554432000 4194304 4196468 140720999212624 140163474477896 140164279615063 0 4 0 16800975 18446744071582151463 0 0 -1 7 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18590] ppid=18571 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18590/stat : 18590 (java) D 18571 18571 8571 0 -1 4202560 2248 0 0 0 61 2 0 0 20 0 28 0 3792279 14133010432 56322 33554432000 4194304 4196468 140720999212624 140163473436152 140164266805047 0 4 0 16800975 18446744072100666501 0 0 -1 7 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18591] ppid=18571 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18591/stat : 18591 (java) S 18571 18571 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3792279 14133010432 56322 33554432000 4194304 4196468 140720999212624 140163472386656 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18592] ppid=18571 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18592/stat : 18592 (java) D 18571 18571 8571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 28 0 3792279 14133010432 56322 33554432000 4194304 4196468 140720999212624 140163471333856 140164271753998 0 4 0 16800975 18446744071582151416 0 0 -1 9 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (KiB) 13811280
[startup+2.00119 s]
/proc/loadavg: 15.59 15.51 13.33 11/294 18592
/proc/meminfo: memFree=28301240/32770624 swapFree=5884/237892
[pid=18571] ppid=18568 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18571/stat : 18571 (xcsp3-exec) S 18568 18571 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3792270 9740288 346 33554432000 4194304 5098028 140733214146208 140733214144312 140313382417020 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30306304 140733214151823 140733214152032 140733214152032 140733214154731 0
/proc/18571/statm: 2378 346 289 221 0 87 0
[pid=18572] ppid=18571 vsize=13801768 CPUtime=8.78 cores=1,3,5,7,9,11,13,15
/proc/18572/stat : 18572 (java) S 18571 18571 8571 0 -1 1077944320 18402 0 0 0 852 26 0 0 20 0 28 0 3792271 14133010432 58796 33554432000 4194304 4196468 140720999212624 140720999195168 140164286897911 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
/proc/18572/statm: 3450442 58796 3239 1 0 3437675 0
[pid=18572/tid=18573] ppid=18571 vsize=13801768 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18573/stat : 18573 (java) S 18571 18571 8571 0 -1 1077944384 6996 0 0 0 107 4 0 0 20 0 28 0 3792271 14133010432 58796 33554432000 4194304 4196468 140720999212624 140164291138688 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18575] ppid=18571 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18575/stat : 18575 (java) S 18571 18571 8571 0 -1 1077944384 27 0 0 0 2 2 0 0 20 0 28 0 3792272 14133010432 58796 33554432000 4194304 4196468 140720999212624 140164245658256 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18576] ppid=18571 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18576/stat : 18576 (java) S 18571 18571 8571 0 -1 1077944384 21 0 0 0 2 1 0 0 20 0 28 0 3792272 14133010432 58796 33554432000 4194304 4196468 140720999212624 140163885386256 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18577] ppid=18571 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18577/stat : 18577 (java) S 18571 18571 8571 0 -1 1077944384 24 0 0 0 1 2 0 0 20 0 28 0 3792272 14133010432 58796 33554432000 4194304 4196468 140720999212624 140163884333456 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18578] ppid=18571 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18578/stat : 18578 (java) S 18571 18571 8571 0 -1 1077944384 27 0 0 0 1 2 0 0 20 0 28 0 3792272 14133010432 58796 33554432000 4194304 4196468 140720999212624 140163883280656 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18579] ppid=18571 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18579/stat : 18579 (java) S 18571 18571 8571 0 -1 1077944384 23 0 0 0 1 2 0 0 20 0 28 0 3792272 14133010432 58796 33554432000 4194304 4196468 140720999212624 140163882228880 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18580] ppid=18571 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18580/stat : 18580 (java) S 18571 18571 8571 0 -1 1077944384 22 0 0 0 1 2 0 0 20 0 28 0 3792272 14133010432 58796 33554432000 4194304 4196468 140720999212624 140163881176080 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18581] ppid=18571 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18581/stat : 18581 (java) S 18571 18571 8571 0 -1 1077944384 25 0 0 0 1 2 0 0 20 0 28 0 3792272 14133010432 58796 33554432000 4194304 4196468 140720999212624 140163880123280 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18582] ppid=18571 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18582/stat : 18582 (java) S 18571 18571 8571 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 3792272 14133010432 58796 33554432000 4194304 4196468 140720999212624 140163879070480 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18583] ppid=18571 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18583/stat : 18583 (java) S 18571 18571 8571 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3792274 14133010432 58796 33554432000 4194304 4196468 140720999212624 140163480807792 140164286909058 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18584] ppid=18571 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18584/stat : 18584 (java) S 18571 18571 8571 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3792275 14133010432 58796 33554432000 4194304 4196468 140720999212624 140163479753824 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18585] ppid=18571 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18585/stat : 18585 (java) S 18571 18571 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3792275 14133010432 58796 33554432000 4194304 4196468 140720999212624 140163478700928 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18586] ppid=18571 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18586/stat : 18586 (java) S 18571 18571 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3792279 14133010432 58796 33554432000 4194304 4196468 140720999212624 140163477649232 140164286916507 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18587] ppid=18571 vsize=13801768 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18587/stat : 18587 (java) R 18571 18571 8571 0 -1 4202560 2480 0 0 0 72 0 0 0 20 0 28 0 3792279 14133010432 58796 33554432000 4194304 4196468 140720999212624 140163476583392 140164268418754 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18588] ppid=18571 vsize=13801768 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18588/stat : 18588 (java) R 18571 18571 8571 0 -1 4202560 1905 0 0 0 74 0 0 0 20 0 28 0 3792279 14133010432 58796 33554432000 4194304 4196468 140720999212624 140163475531280 140164272909779 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18589] ppid=18571 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18589/stat : 18589 (java) R 18571 18571 8571 0 -1 4202560 2386 0 0 0 91 0 0 0 20 0 28 0 3792279 14133010432 58796 33554432000 4194304 4196468 140720999212624 140163474478048 140164268442070 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18590] ppid=18571 vsize=13801768 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18590/stat : 18590 (java) S 18571 18571 8571 0 -1 1077944384 2610 0 0 0 70 2 0 0 20 0 28 0 3792279 14133010432 58796 33554432000 4194304 4196468 140720999212624 140163473439216 140164286909058 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 13 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18591] ppid=18571 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18591/stat : 18591 (java) S 18571 18571 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3792279 14133010432 58796 33554432000 4194304 4196468 140720999212624 140163472386656 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18592] ppid=18571 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18592/stat : 18592 (java) S 18571 18571 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3792279 14133010432 58796 33554432000 4194304 4196468 140720999212624 140163471333936 140164286909058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
Current children cumulated CPU time (s) 8.78
Current children cumulated vsize (KiB) 13811280
[startup+2.10122 s]
/proc/loadavg: 15.59 15.51 13.33 11/294 18592
/proc/meminfo: memFree=28301240/32770624 swapFree=5884/237892
[pid=18571] ppid=18568 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18571/stat : 18571 (xcsp3-exec) S 18568 18571 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3792270 9740288 346 33554432000 4194304 5098028 140733214146208 140733214144312 140313382417020 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 30306304 140733214151823 140733214152032 140733214152032 140733214154731 0
/proc/18571/statm: 2378 346 289 221 0 87 0
[pid=18572] ppid=18571 vsize=13801768 CPUtime=9.56 cores=1,3,5,7,9,11,13,15
/proc/18572/stat : 18572 (java) S 18571 18571 8571 0 -1 1077944320 18479 0 0 0 930 26 0 0 20 0 28 0 3792271 14133010432 58895 33554432000 4194304 4196468 140720999212624 140720999195168 140164286897911 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
/proc/18572/statm: 3450442 58895 3239 1 0 3437675 0
[pid=18572/tid=18573] ppid=18571 vsize=13801768 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18573/stat : 18573 (java) S 18571 18571 8571 0 -1 1077944384 6996 0 0 0 107 4 0 0 20 0 28 0 3792271 14133010432 58895 33554432000 4194304 4196468 140720999212624 140164291138688 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18575] ppid=18571 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18575/stat : 18575 (java) S 18571 18571 8571 0 -1 1077944384 27 0 0 0 2 2 0 0 20 0 28 0 3792272 14133010432 58895 33554432000 4194304 4196468 140720999212624 140164245658256 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18576] ppid=18571 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18576/stat : 18576 (java) S 18571 18571 8571 0 -1 1077944384 21 0 0 0 2 1 0 0 20 0 28 0 3792272 14133010432 58895 33554432000 4194304 4196468 140720999212624 140163885386256 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18577] ppid=18571 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18577/stat : 18577 (java) S 18571 18571 8571 0 -1 1077944384 24 0 0 0 1 2 0 0 20 0 28 0 3792272 14133010432 58895 33554432000 4194304 4196468 140720999212624 140163884333456 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18578] ppid=18571 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18578/stat : 18578 (java) S 18571 18571 8571 0 -1 1077944384 27 0 0 0 1 2 0 0 20 0 28 0 3792272 14133010432 58895 33554432000 4194304 4196468 140720999212624 140163883280656 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18579] ppid=18571 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18579/stat : 18579 (java) S 18571 18571 8571 0 -1 1077944384 23 0 0 0 1 2 0 0 20 0 28 0 3792272 14133010432 58895 33554432000 4194304 4196468 140720999212624 140163882228880 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18580] ppid=18571 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18580/stat : 18580 (java) S 18571 18571 8571 0 -1 1077944384 22 0 0 0 1 2 0 0 20 0 28 0 3792272 14133010432 58895 33554432000 4194304 4196468 140720999212624 140163881176080 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18581] ppid=18571 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18581/stat : 18581 (java) S 18571 18571 8571 0 -1 1077944384 25 0 0 0 1 2 0 0 20 0 28 0 3792272 14133010432 58895 33554432000 4194304 4196468 140720999212624 140163880123280 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18582] ppid=18571 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18582/stat : 18582 (java) S 18571 18571 8571 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 3792272 14133010432 58895 33554432000 4194304 4196468 140720999212624 140163879070480 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18583] ppid=18571 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18583/stat : 18583 (java) S 18571 18571 8571 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3792274 14133010432 58895 33554432000 4194304 4196468 140720999212624 140163480807792 140164286909058 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18584] ppid=18571 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18584/stat : 18584 (java) S 18571 18571 8571 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3792275 14133010432 58895 33554432000 4194304 4196468 140720999212624 140163479753824 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18585] ppid=18571 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18585/stat : 18585 (java) S 18571 18571 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3792275 14133010432 58895 33554432000 4194304 4196468 140720999212624 140163478700928 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18586] ppid=18571 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18586/stat : 18586 (java) S 18571 18571 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3792279 14133010432 58895 33554432000 4194304 4196468 140720999212624 140163477649232 140164286916507 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18587] ppid=18571 vsize=13801768 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18587/stat : 18587 (java) R 18571 18571 8571 0 -1 4202560 2494 0 0 0 81 0 0 0 20 0 28 0 3792279 14133010432 58895 33554432000 4194304 4196468 140720999212624 140163476583984 140164264494942 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18588] ppid=18571 vsize=13801768 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18588/stat : 18588 (java) R 18571 18571 8571 0 -1 4202560 1918 0 0 0 84 0 0 0 20 0 28 0 3792279 14133010432 58895 33554432000 4194304 4196468 140720999212624 140163475541184 140164270394745 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18589] ppid=18571 vsize=13801768 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18589/stat : 18589 (java) R 18571 18571 8571 0 -1 4202560 2408 0 0 0 101 0 0 0 20 0 28 0 3792279 14133010432 58895 33554432000 4194304 4196468 140720999212624 140163474478240 140164272024283 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18590] ppid=18571 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18590/stat : 18590 (java) S 18571 18571 8571 0 -1 1077944384 2624 0 0 0 71 2 0 0 20 0 28 0 3792279 14133010432 58895 33554432000 4194304 4196468 140720999212624 140163473439216 140164286909058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18591] ppid=18571 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18591/stat : 18591 (java) S 18571 18571 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3792279 14133010432 58895 33554432000 4194304 4196468 140720999212624 140163472386656 140164286908117 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
[pid=18572/tid=18592] ppid=18571 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18572/task/18592/stat : 18592 (java) S 18571 18571 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3792279 14133010432 58895 33554432000 4194304 4196468 140720999212624 140163471333936 140164286909058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9068544 140720999220412 140720999220588 140720999220588 140720999223247 0
Current children cumulated CPU time (s) 9.56
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 2.20098
CPU time (s): 10.2448
CPU user time (s): 9.97067
CPU system time (s): 0.274081
CPU usage (%): 465.464
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.97067
system time used= 0.274081
maximum resident set size= 237776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19087
page faults= 0
swaps= 0
block input operations= 8
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3525
involuntary context switches= 944
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025499 second user time and 0.024519 second system time
The end