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-4250030-1500696013/watcher-4250030-1500696013 -o /tmp/evaluation-result-4250030-1500696013/solver-4250030-1500696013 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16945 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2065915722 HOME/instance-4250030-1500696013.xml
pid=23992
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: 12.31 14.91 14.91 10/266 23995
/proc/meminfo: memFree=31512660/32770624 swapFree=5900/312904
[pid=23995] ppid=23992 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23995/stat : 23995 (xcsp3-exec) S 23992 23995 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4868214 9740288 346 33554432000 4194304 5098028 140725563922176 140725563920280 139632759333500 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 35221504 140725563929742 140725563929952 140725563929952 140725563932651 0
/proc/23995/statm: 2378 346 289 221 0 87 0
[startup+0.100071 s]
/proc/loadavg: 12.31 14.91 14.91 10/266 23995
/proc/meminfo: memFree=31512660/32770624 swapFree=5900/312904
[pid=23995] ppid=23992 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23995/stat : 23995 (xcsp3-exec) S 23992 23995 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4868214 9740288 346 33554432000 4194304 5098028 140725563922176 140725563920280 139632759333500 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 35221504 140725563929742 140725563929952 140725563929952 140725563932651 0
/proc/23995/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200309 s]
/proc/loadavg: 12.31 14.91 14.91 10/266 23995
/proc/meminfo: memFree=31512660/32770624 swapFree=5900/312904
[pid=23995] ppid=23992 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23995/stat : 23995 (xcsp3-exec) S 23992 23995 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4868214 9740288 346 33554432000 4194304 5098028 140725563922176 140725563920280 139632759333500 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 35221504 140725563929742 140725563929952 140725563929952 140725563932651 0
/proc/23995/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300299 s]
/proc/loadavg: 12.31 14.91 14.91 10/266 23995
/proc/meminfo: memFree=31512660/32770624 swapFree=5900/312904
[pid=23995] ppid=23992 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23995/stat : 23995 (xcsp3-exec) S 23992 23995 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4868214 9740288 346 33554432000 4194304 5098028 140725563922176 140725563920280 139632759333500 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 35221504 140725563929742 140725563929952 140725563929952 140725563932651 0
/proc/23995/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70028 s]
/proc/loadavg: 12.31 14.91 14.91 10/266 23995
/proc/meminfo: memFree=31512660/32770624 swapFree=5900/312904
[pid=23995] ppid=23992 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23995/stat : 23995 (xcsp3-exec) S 23992 23995 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4868214 9740288 346 33554432000 4194304 5098028 140725563922176 140725563920280 139632759333500 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 35221504 140725563929742 140725563929952 140725563929952 140725563932651 0
/proc/23995/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50335 s]
/proc/loadavg: 12.31 14.91 14.91 5/287 24016
/proc/meminfo: memFree=30736408/32770624 swapFree=5900/313000
[pid=23995] ppid=23992 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23995/stat : 23995 (xcsp3-exec) S 23992 23995 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4868214 9740288 346 33554432000 4194304 5098028 140725563922176 140725563920280 139632759333500 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 35221504 140725563929742 140725563929952 140725563929952 140725563932651 0
/proc/23995/statm: 2378 346 289 221 0 87 0
[pid=23996] ppid=23995 vsize=13267208 CPUtime=6.25 cores=1,3,5,7,9,11,13,15
/proc/23996/stat : 23996 (java) S 23995 23995 16913 0 -1 1077944320 16185 0 0 0 380 245 0 0 20 0 20 0 4868214 13585620992 181374 33554432000 4194304 4196468 140734665057328 140734665039872 140140875706103 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
/proc/23996/statm: 3316802 181374 3239 1 0 3304035 0
[pid=23996/tid=23997] ppid=23995 vsize=13267208 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/23996/task/23997/stat : 23997 (java) S 23995 23995 16913 0 -1 1077944384 6577 0 0 0 94 6 0 0 20 0 20 0 4868215 13585620992 181374 33554432000 4194304 4196468 140734665057328 140140879943984 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=23999] ppid=23995 vsize=13267208 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/23996/task/23999/stat : 23999 (java) R 23995 23995 16913 0 -1 4202560 428 0 0 0 14 30 0 0 20 0 20 0 4868216 13585620992 181374 33554432000 4194304 4196468 140734665057328 140140828326664 140140868334311 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24000] ppid=23995 vsize=13267208 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24000/stat : 24000 (java) R 23995 23995 16913 0 -1 4202560 648 0 0 0 16 28 0 0 20 0 20 0 4868216 13585620992 181374 33554432000 4194304 4196468 140734665057328 140140827273944 140140860406747 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24001] ppid=23995 vsize=13267208 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24001/stat : 24001 (java) R 23995 23995 16913 0 -1 4202560 406 0 0 0 15 29 0 0 20 0 20 0 4868216 13585620992 181374 33554432000 4194304 4196468 140734665057328 140140826221064 140140868334311 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24002] ppid=23995 vsize=13267208 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24002/stat : 24002 (java) R 23995 23995 16913 0 -1 4202560 413 0 0 0 15 29 0 0 20 0 20 0 4868216 13585620992 181374 33554432000 4194304 4196468 140734665057328 140140825168264 140140868334311 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24003] ppid=23995 vsize=13267208 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24003/stat : 24003 (java) R 23995 23995 16913 0 -1 4202560 371 0 0 0 14 28 0 0 20 0 20 0 4868216 13585620992 181374 33554432000 4194304 4196468 140734665057328 140140470533384 140140868334311 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24004] ppid=23995 vsize=13267208 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24004/stat : 24004 (java) R 23995 23995 16913 0 -1 4202560 412 0 0 0 13 29 0 0 20 0 20 0 4868216 13585620992 181374 33554432000 4194304 4196468 140734665057328 140140469480584 140140859089136 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24005] ppid=23995 vsize=13267208 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24005/stat : 24005 (java) R 23995 23995 16913 0 -1 4202560 402 0 0 0 14 30 0 0 20 0 20 0 4868216 13585620992 181374 33554432000 4194304 4196468 140734665057328 140140468427784 140140868334311 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24006] ppid=23995 vsize=13267208 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24006/stat : 24006 (java) R 23995 23995 16913 0 -1 4202560 379 0 0 0 15 28 0 0 20 0 20 0 4868216 13585620992 181374 33554432000 4194304 4196468 140734665057328 140140467374984 140140868334311 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24007] ppid=23995 vsize=13267208 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24007/stat : 24007 (java) S 23995 23995 16913 0 -1 1077944384 231 0 0 0 1 0 0 0 20 0 20 0 4868218 13585620992 181374 33554432000 4194304 4196468 140734665057328 140140337886144 140140875716309 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24008] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24008/stat : 24008 (java) S 23995 23995 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4868219 13585620992 181374 33554432000 4194304 4196468 140734665057328 140140336833632 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24009] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24009/stat : 24009 (java) S 23995 23995 16913 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4868219 13585620992 181374 33554432000 4194304 4196468 140734665057328 140140335780736 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24010] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24010/stat : 24010 (java) S 23995 23995 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4868222 13585620992 181374 33554432000 4194304 4196468 140734665057328 140140334729040 140140875724699 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24011] ppid=23995 vsize=13267208 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24011/stat : 24011 (java) S 23995 23995 16913 0 -1 1077944384 1018 0 0 0 40 0 0 0 20 0 20 0 4868222 13585620992 181374 33554432000 4194304 4196468 140734665057328 140140333677424 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24012] ppid=23995 vsize=13267208 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24012/stat : 24012 (java) S 23995 23995 16913 0 -1 1077944384 936 0 0 0 43 0 0 0 20 0 20 0 4868222 13585620992 181374 33554432000 4194304 4196468 140734665057328 140140332624624 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24013] ppid=23995 vsize=13267208 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24013/stat : 24013 (java) S 23995 23995 16913 0 -1 1077944384 1219 0 0 0 43 0 0 0 20 0 20 0 4868222 13585620992 181374 33554432000 4194304 4196468 140734665057328 140140331571824 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24014] ppid=23995 vsize=13267208 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24014/stat : 24014 (java) S 23995 23995 16913 0 -1 1077944384 1447 0 0 0 35 0 0 0 20 0 20 0 4868222 13585620992 181374 33554432000 4194304 4196468 140734665057328 140140330519024 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24015] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24015/stat : 24015 (java) S 23995 23995 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4868223 13585620992 181374 33554432000 4194304 4196468 140734665057328 140140329466464 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24016] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24016/stat : 24016 (java) S 23995 23995 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4868223 13585620992 181374 33554432000 4194304 4196468 140734665057328 140140328413744 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 13276720
[startup+3.10347 s]
/proc/loadavg: 12.31 14.91 14.91 10/287 24016
/proc/meminfo: memFree=29414112/32770624 swapFree=5900/313000
[pid=23995] ppid=23992 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23995/stat : 23995 (xcsp3-exec) S 23992 23995 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4868214 9740288 346 33554432000 4194304 5098028 140725563922176 140725563920280 139632759333500 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 35221504 140725563929742 140725563929952 140725563929952 140725563932651 0
/proc/23995/statm: 2378 346 289 221 0 87 0
[pid=23996] ppid=23995 vsize=13267208 CPUtime=17.05 cores=1,3,5,7,9,11,13,15
/proc/23996/stat : 23996 (java) S 23995 23995 16913 0 -1 1077944320 24157 0 0 0 985 720 0 0 20 0 20 0 4868214 13585620992 427881 33554432000 4194304 4196468 140734665057328 140734665039872 140140875706103 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
/proc/23996/statm: 3316802 427881 3245 1 0 3304035 0
[pid=23996/tid=23997] ppid=23995 vsize=13267208 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/23996/task/23997/stat : 23997 (java) R 23995 23995 16913 0 -1 4202560 6981 0 0 0 115 9 0 0 20 0 20 0 4868215 13585620992 427881 33554432000 4194304 4196468 140734665057328 140140879943952 140140508709433 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=23999] ppid=23995 vsize=13267208 CPUtime=1.75 cores=1,3,5,7,9,11,13,15
/proc/23996/task/23999/stat : 23999 (java) S 23995 23995 16913 0 -1 1077944384 1318 0 0 0 86 89 0 0 20 0 20 0 4868216 13585620992 427881 33554432000 4194304 4196468 140734665057328 140140828326544 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24000] ppid=23995 vsize=13267208 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24000/stat : 24000 (java) S 23995 23995 16913 0 -1 1077944384 1331 0 0 0 87 87 0 0 20 0 20 0 4868216 13585620992 427881 33554432000 4194304 4196468 140734665057328 140140827273744 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24001] ppid=23995 vsize=13267208 CPUtime=1.75 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24001/stat : 24001 (java) S 23995 23995 16913 0 -1 1077944384 984 0 0 0 87 88 0 0 20 0 20 0 4868216 13585620992 427881 33554432000 4194304 4196468 140734665057328 140140826220944 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24002] ppid=23995 vsize=13267208 CPUtime=1.75 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24002/stat : 24002 (java) S 23995 23995 16913 0 -1 1077944384 882 0 0 0 87 88 0 0 20 0 20 0 4868216 13585620992 427881 33554432000 4194304 4196468 140734665057328 140140825168144 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24003] ppid=23995 vsize=13267208 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24003/stat : 24003 (java) S 23995 23995 16913 0 -1 1077944384 1563 0 0 0 85 88 0 0 20 0 20 0 4868216 13585620992 427881 33554432000 4194304 4196468 140734665057328 140140470533264 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24004] ppid=23995 vsize=13267208 CPUtime=1.68 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24004/stat : 24004 (java) S 23995 23995 16913 0 -1 1077944384 851 0 0 0 83 85 0 0 20 0 20 0 4868216 13585620992 427881 33554432000 4194304 4196468 140734665057328 140140469480464 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24005] ppid=23995 vsize=13267208 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24005/stat : 24005 (java) S 23995 23995 16913 0 -1 1077944384 1136 0 0 0 86 90 0 0 20 0 20 0 4868216 13585620992 427881 33554432000 4194304 4196468 140734665057328 140140468427664 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24006] ppid=23995 vsize=13267208 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24006/stat : 24006 (java) S 23995 23995 16913 0 -1 1077944384 787 0 0 0 87 87 0 0 20 0 20 0 4868216 13585620992 427881 33554432000 4194304 4196468 140734665057328 140140467374864 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24007] ppid=23995 vsize=13267208 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24007/stat : 24007 (java) S 23995 23995 16913 0 -1 1077944384 2399 0 0 0 4 0 0 0 20 0 20 0 4868218 13585620992 427881 33554432000 4194304 4196468 140734665057328 140140337887600 140140875717250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24008] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24008/stat : 24008 (java) S 23995 23995 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4868219 13585620992 427881 33554432000 4194304 4196468 140734665057328 140140336833632 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24009] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24009/stat : 24009 (java) S 23995 23995 16913 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4868219 13585620992 427881 33554432000 4194304 4196468 140734665057328 140140335780736 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24010] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24010/stat : 24010 (java) S 23995 23995 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4868222 13585620992 427881 33554432000 4194304 4196468 140734665057328 140140334729040 140140875724699 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24011] ppid=23995 vsize=13267208 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24011/stat : 24011 (java) S 23995 23995 16913 0 -1 1077944384 1018 0 0 0 40 0 0 0 20 0 20 0 4868222 13585620992 427881 33554432000 4194304 4196468 140734665057328 140140333677424 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24012] ppid=23995 vsize=13267208 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24012/stat : 24012 (java) S 23995 23995 16913 0 -1 1077944384 940 0 0 0 48 0 0 0 20 0 20 0 4868222 13585620992 427881 33554432000 4194304 4196468 140734665057328 140140332624624 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24013] ppid=23995 vsize=13267208 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24013/stat : 24013 (java) S 23995 23995 16913 0 -1 1077944384 1222 0 0 0 48 0 0 0 20 0 20 0 4868222 13585620992 427881 33554432000 4194304 4196468 140734665057328 140140331571824 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24014] ppid=23995 vsize=13267208 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24014/stat : 24014 (java) S 23995 23995 16913 0 -1 1077944384 1447 0 0 0 35 0 0 0 20 0 20 0 4868222 13585620992 427881 33554432000 4194304 4196468 140734665057328 140140330519024 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24015] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24015/stat : 24015 (java) S 23995 23995 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4868223 13585620992 427881 33554432000 4194304 4196468 140734665057328 140140329466464 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24016] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24016/stat : 24016 (java) S 23995 23995 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4868223 13585620992 427881 33554432000 4194304 4196468 140734665057328 140140328413744 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
Current children cumulated CPU time (s) 17.05
Current children cumulated vsize (KiB) 13276720
[startup+6.30352 s]
/proc/loadavg: 12.28 14.86 14.90 17/295 24024
/proc/meminfo: memFree=26284764/32770624 swapFree=5900/313012
[pid=23995] ppid=23992 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23995/stat : 23995 (xcsp3-exec) S 23992 23995 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4868214 9740288 346 33554432000 4194304 5098028 140725563922176 140725563920280 139632759333500 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 35221504 140725563929742 140725563929952 140725563929952 140725563932651 0
/proc/23995/statm: 2378 346 289 221 0 87 0
[pid=23996] ppid=23995 vsize=13267208 CPUtime=38.06 cores=1,3,5,7,9,11,13,15
/proc/23996/stat : 23996 (java) S 23995 23995 16913 0 -1 1077944320 42031 0 0 0 1891 1915 0 0 20 0 20 0 4868214 13585620992 1052607 33554432000 4194304 4196468 140734665057328 140734665039872 140140875706103 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
/proc/23996/statm: 3316802 1052607 3246 1 0 3304035 0
[pid=23996/tid=23997] ppid=23995 vsize=13267208 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/23996/task/23997/stat : 23997 (java) S 23995 23995 16913 0 -1 1077944384 7543 0 0 0 157 12 0 0 20 0 20 0 4868215 13585620992 1052607 33554432000 4194304 4196468 140734665057328 140140879944064 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=23999] ppid=23995 vsize=13267208 CPUtime=4.29 cores=1,3,5,7,9,11,13,15
/proc/23996/task/23999/stat : 23999 (java) R 23995 23995 16913 0 -1 4202560 2465 0 0 0 194 235 0 0 20 0 20 0 4868216 13585620992 1052607 33554432000 4194304 4196468 140734665057328 140140828326744 140140868802939 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24000] ppid=23995 vsize=13267208 CPUtime=4.34 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24000/stat : 24000 (java) R 23995 23995 16913 0 -1 4202560 2639 0 0 0 196 238 0 0 20 0 20 0 4868216 13585620992 1052607 33554432000 4194304 4196468 140734665057328 140140827273944 140140868802939 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24001] ppid=23995 vsize=13267208 CPUtime=4.33 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24001/stat : 24001 (java) R 23995 23995 16913 0 -1 4202560 2191 0 0 0 197 236 0 0 20 0 20 0 4868216 13585620992 1052607 33554432000 4194304 4196468 140734665057328 140140826221144 140140868805950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24002] ppid=23995 vsize=13267208 CPUtime=4.35 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24002/stat : 24002 (java) R 23995 23995 16913 0 -1 4202560 2343 0 0 0 190 245 0 0 20 0 20 0 4868216 13585620992 1052607 33554432000 4194304 4196468 140734665057328 140140825168344 140140868805950 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24003] ppid=23995 vsize=13267208 CPUtime=4.33 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24003/stat : 24003 (java) R 23995 23995 16913 0 -1 4202560 3157 0 0 0 197 236 0 0 20 0 20 0 4868216 13585620992 1052607 33554432000 4194304 4196468 140734665057328 140140470533464 140140868805950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24004] ppid=23995 vsize=13267208 CPUtime=4.24 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24004/stat : 24004 (java) R 23995 23995 16913 0 -1 4202560 2265 0 0 0 193 231 0 0 20 0 20 0 4868216 13585620992 1052607 33554432000 4194304 4196468 140734665057328 140140469480352 140140868802939 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24005] ppid=23995 vsize=13267208 CPUtime=4.35 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24005/stat : 24005 (java) R 23995 23995 16913 0 -1 4202560 2445 0 0 0 189 246 0 0 20 0 20 0 4868216 13585620992 1052607 33554432000 4194304 4196468 140734665057328 140140468427864 140140868802939 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24006] ppid=23995 vsize=13267208 CPUtime=4.2 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24006/stat : 24006 (java) R 23995 23995 16913 0 -1 4202560 2242 0 0 0 192 228 0 0 20 0 20 0 4868216 13585620992 1053119 33554432000 4194304 4196468 140734665057328 140140467375064 140140868805950 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24007] ppid=23995 vsize=13267208 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24007/stat : 24007 (java) S 23995 23995 16913 0 -1 1077944384 8360 0 0 0 7 0 0 0 20 0 20 0 4868218 13585620992 1053119 33554432000 4194304 4196468 140734665057328 140140337886112 140140875716309 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24008] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24008/stat : 24008 (java) S 23995 23995 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4868219 13585620992 1053119 33554432000 4194304 4196468 140734665057328 140140336833632 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24009] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24009/stat : 24009 (java) S 23995 23995 16913 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4868219 13585620992 1053119 33554432000 4194304 4196468 140734665057328 140140335780736 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24010] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24010/stat : 24010 (java) S 23995 23995 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4868222 13585620992 1053119 33554432000 4194304 4196468 140734665057328 140140334729040 140140875724699 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
################
# More data... #
################
/proc/23996/task/24009/stat : 24009 (java) S 23995 23995 16913 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4868219 13585620992 2667441 33554432000 4194304 4196468 140734665057328 140140335780736 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24010] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24010/stat : 24010 (java) S 23995 23995 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4868222 13585620992 2667441 33554432000 4194304 4196468 140734665057328 140140334729040 140140875724699 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24011] ppid=23995 vsize=13267208 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24011/stat : 24011 (java) S 23995 23995 16913 0 -1 1077944384 1320 0 0 0 41 0 0 0 20 0 20 0 4868222 13585620992 2667441 33554432000 4194304 4196468 140734665057328 140140333677424 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24012] ppid=23995 vsize=13267208 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24012/stat : 24012 (java) S 23995 23995 16913 0 -1 1077944384 1164 0 0 0 49 0 0 0 20 0 20 0 4868222 13585620992 2667441 33554432000 4194304 4196468 140734665057328 140140332624624 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24013] ppid=23995 vsize=13267208 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24013/stat : 24013 (java) S 23995 23995 16913 0 -1 1077944384 1593 0 0 0 52 0 0 0 20 0 20 0 4868222 13585620992 2667441 33554432000 4194304 4196468 140734665057328 140140331571824 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24014] ppid=23995 vsize=13267208 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24014/stat : 24014 (java) S 23995 23995 16913 0 -1 1077944384 1506 0 0 0 36 0 0 0 20 0 20 0 4868222 13585620992 2667441 33554432000 4194304 4196468 140734665057328 140140330519024 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24015] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24015/stat : 24015 (java) S 23995 23995 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4868223 13585620992 2667441 33554432000 4194304 4196468 140734665057328 140140329466464 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24016] ppid=23995 vsize=13267208 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24016/stat : 24016 (java) S 23995 23995 16913 0 -1 1077944384 358 0 0 0 1 1 0 0 20 0 20 0 4868223 13585620992 2667441 33554432000 4194304 4196468 140734665057328 140140328413744 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
Current children cumulated CPU time (s) 162.77
Current children cumulated vsize (KiB) 13276720
[startup+24.4032 s]
/proc/loadavg: 11.85 14.59 14.81 17/295 24125
/proc/meminfo: memFree=20507644/32770624 swapFree=5900/313072
[pid=23995] ppid=23992 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23995/stat : 23995 (xcsp3-exec) S 23992 23995 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4868214 9740288 346 33554432000 4194304 5098028 140725563922176 140725563920280 139632759333500 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 35221504 140725563929742 140725563929952 140725563929952 140725563932651 0
/proc/23995/statm: 2378 346 289 221 0 87 0
[pid=23996] ppid=23995 vsize=13267208 CPUtime=165.94 cores=1,3,5,7,9,11,13,15
/proc/23996/stat : 23996 (java) S 23995 23995 16913 0 -1 1077944320 146160 0 0 0 12186 4408 0 0 20 0 20 0 4868214 13585620992 2667442 33554432000 4194304 4196468 140734665057328 140734665039872 140140875706103 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
/proc/23996/statm: 3316802 2667442 3248 1 0 3304035 0
[pid=23996/tid=23997] ppid=23995 vsize=13267208 CPUtime=2.95 cores=1,3,5,7,9,11,13,15
/proc/23996/task/23997/stat : 23997 (java) S 23995 23995 16913 0 -1 1077944384 7860 0 0 0 283 12 0 0 20 0 20 0 4868215 13585620992 2667442 33554432000 4194304 4196468 140734665057328 140140879945328 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=23999] ppid=23995 vsize=13267208 CPUtime=19.96 cores=1,3,5,7,9,11,13,15
/proc/23996/task/23999/stat : 23999 (java) R 23995 23995 16913 0 -1 4202560 16394 0 0 0 1476 520 0 0 20 0 20 0 4868216 13585620992 2667442 33554432000 4194304 4196468 140734665057328 140140828326664 140140868805779 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24000] ppid=23995 vsize=13267208 CPUtime=20.15 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24000/stat : 24000 (java) R 23995 23995 16913 0 -1 4202560 11668 0 0 0 1504 511 0 0 20 0 20 0 4868216 13585620992 2667442 33554432000 4194304 4196468 140734665057328 140140827273864 140140868805767 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24001] ppid=23995 vsize=13267208 CPUtime=20.16 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24001/stat : 24001 (java) R 23995 23995 16913 0 -1 4202560 14599 0 0 0 1420 596 0 0 20 0 20 0 4868216 13585620992 2667442 33554432000 4194304 4196468 140734665057328 140140826221064 140140868805856 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24002] ppid=23995 vsize=13267208 CPUtime=20.1 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24002/stat : 24002 (java) R 23995 23995 16913 0 -1 4202560 10862 0 0 0 1450 560 0 0 20 0 20 0 4868216 13585620992 2667442 33554432000 4194304 4196468 140734665057328 140140825168264 140140868810801 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24003] ppid=23995 vsize=13267208 CPUtime=19.92 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24003/stat : 24003 (java) R 23995 23995 16913 0 -1 4202560 18349 0 0 0 1468 524 0 0 20 0 20 0 4868216 13585620992 2667442 33554432000 4194304 4196468 140734665057328 140140470533384 140140868805763 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24004] ppid=23995 vsize=13267208 CPUtime=19.91 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24004/stat : 24004 (java) R 23995 23995 16913 0 -1 4202560 21811 0 0 0 1429 562 0 0 20 0 20 0 4868216 13585620992 2667442 33554432000 4194304 4196468 140734665057328 140140469480584 140140868805866 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24005] ppid=23995 vsize=13267208 CPUtime=20.22 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24005/stat : 24005 (java) R 23995 23995 16913 0 -1 4202560 12932 0 0 0 1471 551 0 0 20 0 20 0 4868216 13585620992 2667442 33554432000 4194304 4196468 140734665057328 140140468427784 140140868802580 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24006] ppid=23995 vsize=13267208 CPUtime=19.66 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24006/stat : 24006 (java) R 23995 23995 16913 0 -1 4202560 12174 0 0 0 1404 562 0 0 20 0 20 0 4868216 13585620992 2667442 33554432000 4194304 4196468 140734665057328 140140467374984 140140868805866 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24007] ppid=23995 vsize=13267208 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24007/stat : 24007 (java) S 23995 23995 16913 0 -1 1077944384 12271 0 0 0 94 1 0 0 20 0 20 0 4868218 13585620992 2667442 33554432000 4194304 4196468 140734665057328 140140337886144 140140875716309 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24008] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24008/stat : 24008 (java) S 23995 23995 16913 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 4868219 13585620992 2667442 33554432000 4194304 4196468 140734665057328 140140336833632 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24009] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24009/stat : 24009 (java) S 23995 23995 16913 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4868219 13585620992 2667442 33554432000 4194304 4196468 140734665057328 140140335780736 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24010] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24010/stat : 24010 (java) S 23995 23995 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4868222 13585620992 2667442 33554432000 4194304 4196468 140734665057328 140140334729040 140140875724699 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24011] ppid=23995 vsize=13267208 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24011/stat : 24011 (java) S 23995 23995 16913 0 -1 1077944384 1320 0 0 0 41 0 0 0 20 0 20 0 4868222 13585620992 2667442 33554432000 4194304 4196468 140734665057328 140140333677424 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24012] ppid=23995 vsize=13267208 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24012/stat : 24012 (java) S 23995 23995 16913 0 -1 1077944384 1164 0 0 0 49 0 0 0 20 0 20 0 4868222 13585620992 2667442 33554432000 4194304 4196468 140734665057328 140140332624624 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24013] ppid=23995 vsize=13267208 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24013/stat : 24013 (java) S 23995 23995 16913 0 -1 1077944384 1593 0 0 0 52 0 0 0 20 0 20 0 4868222 13585620992 2667442 33554432000 4194304 4196468 140734665057328 140140331571824 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24014] ppid=23995 vsize=13267208 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24014/stat : 24014 (java) S 23995 23995 16913 0 -1 1077944384 1506 0 0 0 36 0 0 0 20 0 20 0 4868222 13585620992 2667442 33554432000 4194304 4196468 140734665057328 140140330519024 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24015] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24015/stat : 24015 (java) S 23995 23995 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4868223 13585620992 2667442 33554432000 4194304 4196468 140734665057328 140140329466464 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24016] ppid=23995 vsize=13267208 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24016/stat : 24016 (java) S 23995 23995 16913 0 -1 1077944384 358 0 0 0 1 1 0 0 20 0 20 0 4868223 13585620992 2667442 33554432000 4194304 4196468 140734665057328 140140328413744 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
Current children cumulated CPU time (s) 165.94
Current children cumulated vsize (KiB) 13276720
[startup+24.8039 s]
/proc/loadavg: 11.85 14.59 14.81 17/295 24125
/proc/meminfo: memFree=20507644/32770624 swapFree=5900/313072
[pid=23995] ppid=23992 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23995/stat : 23995 (xcsp3-exec) S 23992 23995 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4868214 9740288 346 33554432000 4194304 5098028 140725563922176 140725563920280 139632759333500 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 35221504 140725563929742 140725563929952 140725563929952 140725563932651 0
/proc/23995/statm: 2378 346 289 221 0 87 0
[pid=23996] ppid=23995 vsize=13267208 CPUtime=169.13 cores=1,3,5,7,9,11,13,15
/proc/23996/stat : 23996 (java) S 23995 23995 16913 0 -1 1077944320 146299 0 0 0 12505 4408 0 0 20 0 20 0 4868214 13585620992 2667445 33554432000 4194304 4196468 140734665057328 140734665039872 140140875706103 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
/proc/23996/statm: 3316802 2667445 3248 1 0 3304035 0
[pid=23996/tid=23997] ppid=23995 vsize=13267208 CPUtime=2.95 cores=1,3,5,7,9,11,13,15
/proc/23996/task/23997/stat : 23997 (java) S 23995 23995 16913 0 -1 1077944384 7860 0 0 0 283 12 0 0 20 0 20 0 4868215 13585620992 2667445 33554432000 4194304 4196468 140734665057328 140140879945328 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=23999] ppid=23995 vsize=13267208 CPUtime=20.36 cores=1,3,5,7,9,11,13,15
/proc/23996/task/23999/stat : 23999 (java) R 23995 23995 16913 0 -1 4202560 16399 0 0 0 1516 520 0 0 20 0 20 0 4868216 13585620992 2667445 33554432000 4194304 4196468 140734665057328 140140828326664 140140868802844 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24000] ppid=23995 vsize=13267208 CPUtime=20.55 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24000/stat : 24000 (java) R 23995 23995 16913 0 -1 4202560 11671 0 0 0 1544 511 0 0 20 0 20 0 4868216 13585620992 2667445 33554432000 4194304 4196468 140734665057328 140140827273864 140140868802836 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24001] ppid=23995 vsize=13267208 CPUtime=20.56 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24001/stat : 24001 (java) R 23995 23995 16913 0 -1 4202560 14616 0 0 0 1460 596 0 0 20 0 20 0 4868216 13585620992 2667445 33554432000 4194304 4196468 140734665057328 140140826221064 140140868802804 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24002] ppid=23995 vsize=13267208 CPUtime=20.5 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24002/stat : 24002 (java) R 23995 23995 16913 0 -1 4202560 10881 0 0 0 1490 560 0 0 20 0 20 0 4868216 13585620992 2667445 33554432000 4194304 4196468 140734665057328 140140825168264 140140868802828 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24003] ppid=23995 vsize=13267208 CPUtime=20.32 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24003/stat : 24003 (java) R 23995 23995 16913 0 -1 4202560 18363 0 0 0 1508 524 0 0 20 0 20 0 4868216 13585620992 2667445 33554432000 4194304 4196468 140734665057328 140140470533384 140140868802820 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24004] ppid=23995 vsize=13267208 CPUtime=20.3 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24004/stat : 24004 (java) R 23995 23995 16913 0 -1 4202560 21830 0 0 0 1468 562 0 0 20 0 20 0 4868216 13585620992 2667445 33554432000 4194304 4196468 140734665057328 140140469480584 140140868802836 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24005] ppid=23995 vsize=13267208 CPUtime=20.62 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24005/stat : 24005 (java) R 23995 23995 16913 0 -1 4202560 12952 0 0 0 1511 551 0 0 20 0 20 0 4868216 13585620992 2667445 33554432000 4194304 4196468 140734665057328 140140468427784 140140868334311 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24006] ppid=23995 vsize=13267208 CPUtime=20.06 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24006/stat : 24006 (java) R 23995 23995 16913 0 -1 4202560 12196 0 0 0 1444 562 0 0 20 0 20 0 4868216 13585620992 2667445 33554432000 4194304 4196468 140734665057328 140140467374984 140140868802860 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24007] ppid=23995 vsize=13267208 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24007/stat : 24007 (java) S 23995 23995 16913 0 -1 1077944384 12271 0 0 0 94 1 0 0 20 0 20 0 4868218 13585620992 2667445 33554432000 4194304 4196468 140734665057328 140140337886144 140140875716309 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24008] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24008/stat : 24008 (java) S 23995 23995 16913 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 4868219 13585620992 2667445 33554432000 4194304 4196468 140734665057328 140140336833632 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24009] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24009/stat : 24009 (java) S 23995 23995 16913 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4868219 13585620992 2667445 33554432000 4194304 4196468 140734665057328 140140335780736 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24010] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24010/stat : 24010 (java) S 23995 23995 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4868222 13585620992 2667445 33554432000 4194304 4196468 140734665057328 140140334729040 140140875724699 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24011] ppid=23995 vsize=13267208 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24011/stat : 24011 (java) S 23995 23995 16913 0 -1 1077944384 1320 0 0 0 41 0 0 0 20 0 20 0 4868222 13585620992 2667445 33554432000 4194304 4196468 140734665057328 140140333677424 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24012] ppid=23995 vsize=13267208 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24012/stat : 24012 (java) S 23995 23995 16913 0 -1 1077944384 1164 0 0 0 49 0 0 0 20 0 20 0 4868222 13585620992 2667445 33554432000 4194304 4196468 140734665057328 140140332624624 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24013] ppid=23995 vsize=13267208 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24013/stat : 24013 (java) S 23995 23995 16913 0 -1 1077944384 1593 0 0 0 52 0 0 0 20 0 20 0 4868222 13585620992 2667445 33554432000 4194304 4196468 140734665057328 140140331571824 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24014] ppid=23995 vsize=13267208 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24014/stat : 24014 (java) S 23995 23995 16913 0 -1 1077944384 1506 0 0 0 36 0 0 0 20 0 20 0 4868222 13585620992 2667445 33554432000 4194304 4196468 140734665057328 140140330519024 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24015] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24015/stat : 24015 (java) S 23995 23995 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4868223 13585620992 2667445 33554432000 4194304 4196468 140734665057328 140140329466464 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24016] ppid=23995 vsize=13267208 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24016/stat : 24016 (java) S 23995 23995 16913 0 -1 1077944384 378 0 0 0 1 1 0 0 20 0 20 0 4868223 13585620992 2667445 33554432000 4194304 4196468 140734665057328 140140328413744 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
Current children cumulated CPU time (s) 169.13
Current children cumulated vsize (KiB) 13276720
[startup+24.9022 s]
/proc/loadavg: 11.85 14.59 14.81 17/295 24125
/proc/meminfo: memFree=20507644/32770624 swapFree=5900/313072
[pid=23995] ppid=23992 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23995/stat : 23995 (xcsp3-exec) S 23992 23995 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4868214 9740288 346 33554432000 4194304 5098028 140725563922176 140725563920280 139632759333500 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 35221504 140725563929742 140725563929952 140725563929952 140725563932651 0
/proc/23995/statm: 2378 346 289 221 0 87 0
[pid=23996] ppid=23995 vsize=13267208 CPUtime=169.73 cores=1,3,5,7,9,11,13,15
/proc/23996/stat : 23996 (java) S 23995 23995 16913 0 -1 1077944320 149477 0 0 0 12565 4408 0 0 20 0 20 0 4868214 13585620992 2667448 33554432000 4194304 4196468 140734665057328 140734665039872 140140875706103 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
/proc/23996/statm: 3316802 2667448 3249 1 0 3304035 0
[pid=23996/tid=23997] ppid=23995 vsize=13267208 CPUtime=2.95 cores=1,3,5,7,9,11,13,15
/proc/23996/task/23997/stat : 23997 (java) S 23995 23995 16913 0 -1 1077944384 7860 0 0 0 283 12 0 0 20 0 20 0 4868215 13585620992 2667448 33554432000 4194304 4196468 140734665057328 140140879945328 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=23999] ppid=23995 vsize=13267208 CPUtime=20.43 cores=1,3,5,7,9,11,13,15
/proc/23996/task/23999/stat : 23999 (java) S 23995 23995 16913 0 -1 1077944384 16401 0 0 0 1523 520 0 0 20 0 20 0 4868216 13585620992 2667448 33554432000 4194304 4196468 140734665057328 140140828326544 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24000] ppid=23995 vsize=13267208 CPUtime=20.62 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24000/stat : 24000 (java) S 23995 23995 16913 0 -1 1077944384 11674 0 0 0 1551 511 0 0 20 0 20 0 4868216 13585620992 2667448 33554432000 4194304 4196468 140734665057328 140140827273744 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24001] ppid=23995 vsize=13267208 CPUtime=20.64 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24001/stat : 24001 (java) S 23995 23995 16913 0 -1 1077944384 14621 0 0 0 1468 596 0 0 20 0 20 0 4868216 13585620992 2667448 33554432000 4194304 4196468 140734665057328 140140826220944 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24002] ppid=23995 vsize=13267208 CPUtime=20.58 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24002/stat : 24002 (java) S 23995 23995 16913 0 -1 1077944384 10890 0 0 0 1498 560 0 0 20 0 20 0 4868216 13585620992 2667448 33554432000 4194304 4196468 140734665057328 140140825168144 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24003] ppid=23995 vsize=13267208 CPUtime=20.39 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24003/stat : 24003 (java) S 23995 23995 16913 0 -1 1077944384 18366 0 0 0 1515 524 0 0 20 0 20 0 4868216 13585620992 2667448 33554432000 4194304 4196468 140734665057328 140140470533264 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24004] ppid=23995 vsize=13267208 CPUtime=20.37 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24004/stat : 24004 (java) S 23995 23995 16913 0 -1 1077944384 21844 0 0 0 1475 562 0 0 20 0 20 0 4868216 13585620992 2667448 33554432000 4194304 4196468 140734665057328 140140469480464 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24005] ppid=23995 vsize=13267208 CPUtime=20.69 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24005/stat : 24005 (java) S 23995 23995 16913 0 -1 1077944384 12964 0 0 0 1518 551 0 0 20 0 20 0 4868216 13585620992 2667448 33554432000 4194304 4196468 140734665057328 140140468427664 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24006] ppid=23995 vsize=13267208 CPUtime=20.13 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24006/stat : 24006 (java) S 23995 23995 16913 0 -1 1077944384 12199 0 0 0 1451 562 0 0 20 0 20 0 4868216 13585620992 2667448 33554432000 4194304 4196468 140734665057328 140140467374864 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24007] ppid=23995 vsize=13267208 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24007/stat : 24007 (java) R 23995 23995 16913 0 -1 4202560 15398 0 0 0 97 1 0 0 20 0 20 0 4868218 13585620992 2667448 33554432000 4194304 4196468 140734665057328 140140337886032 140140854076278 0 0 0 16800975 0 0 0 -1 9 0 0 10 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24008] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24008/stat : 24008 (java) S 23995 23995 16913 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 4868219 13585620992 2667448 33554432000 4194304 4196468 140734665057328 140140336833632 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24009] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24009/stat : 24009 (java) S 23995 23995 16913 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4868219 13585620992 2667448 33554432000 4194304 4196468 140734665057328 140140335780736 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24010] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24010/stat : 24010 (java) S 23995 23995 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4868222 13585620992 2667448 33554432000 4194304 4196468 140734665057328 140140334729040 140140875724699 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24011] ppid=23995 vsize=13267208 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24011/stat : 24011 (java) S 23995 23995 16913 0 -1 1077944384 1320 0 0 0 41 0 0 0 20 0 20 0 4868222 13585620992 2667448 33554432000 4194304 4196468 140734665057328 140140333677424 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24012] ppid=23995 vsize=13267208 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24012/stat : 24012 (java) S 23995 23995 16913 0 -1 1077944384 1164 0 0 0 49 0 0 0 20 0 20 0 4868222 13585620992 2667448 33554432000 4194304 4196468 140734665057328 140140332624624 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24013] ppid=23995 vsize=13267208 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24013/stat : 24013 (java) S 23995 23995 16913 0 -1 1077944384 1593 0 0 0 52 0 0 0 20 0 20 0 4868222 13585620992 2667448 33554432000 4194304 4196468 140734665057328 140140331571824 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24014] ppid=23995 vsize=13267208 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24014/stat : 24014 (java) S 23995 23995 16913 0 -1 1077944384 1506 0 0 0 36 0 0 0 20 0 20 0 4868222 13585620992 2667448 33554432000 4194304 4196468 140734665057328 140140330519024 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24015] ppid=23995 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24015/stat : 24015 (java) S 23995 23995 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4868223 13585620992 2667448 33554432000 4194304 4196468 140734665057328 140140329466464 140140875716309 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
[pid=23996/tid=24016] ppid=23995 vsize=13267208 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/23996/task/24016/stat : 24016 (java) S 23995 23995 16913 0 -1 1077944384 378 0 0 0 1 1 0 0 20 0 20 0 4868223 13585620992 2667448 33554432000 4194304 4196468 140734665057328 140140328413744 140140875717250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 13864960 140734665065660 140734665065836 140734665065836 140734665068495 0
Current children cumulated CPU time (s) 169.73
Current children cumulated vsize (KiB) 13276720
Child status: 1
Real time (s): 24.9861
CPU time (s): 169.801
CPU user time (s): 125.662
CPU system time (s): 44.1384
CPU usage (%): 679.581
Max. virtual memory (cumulated for all children) (KiB): 13276720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 125.662
system time used= 44.1384
maximum resident set size= 10670204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154430
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8392
involuntary context switches= 13361
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.435818 second user time and 0.742504 second system time
The end