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-4249804-1500695665/watcher-4249804-1500695665 -o /tmp/evaluation-result-4249804-1500695665/solver-4249804-1500695665 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16504 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1490150746 HOME/instance-4249804-1500695665.xml
pid=9973
running on 8 cores: 0,2,4,6,8,10,12,14
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.33 14.08 14.04 9/273 9976
/proc/meminfo: memFree=31578616/32770624 swapFree=5724/265576
[pid=9976] ppid=9973 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9976/stat : 9976 (xcsp3-exec) S 9973 9976 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4835694 9740288 346 33554432000 4194304 5098028 140729794054352 140729794052456 139953264632444 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23683072 140729794061454 140729794061664 140729794061664 140729794064363 0
/proc/9976/statm: 2378 346 289 221 0 87 0
[startup+0.100098 s]
/proc/loadavg: 12.33 14.08 14.04 9/273 9976
/proc/meminfo: memFree=31578616/32770624 swapFree=5724/265576
[pid=9976] ppid=9973 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9976/stat : 9976 (xcsp3-exec) S 9973 9976 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4835694 9740288 346 33554432000 4194304 5098028 140729794054352 140729794052456 139953264632444 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23683072 140729794061454 140729794061664 140729794061664 140729794064363 0
/proc/9976/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200331 s]
/proc/loadavg: 12.33 14.08 14.04 9/273 9976
/proc/meminfo: memFree=31578616/32770624 swapFree=5724/265576
[pid=9976] ppid=9973 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9976/stat : 9976 (xcsp3-exec) S 9973 9976 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4835694 9740288 346 33554432000 4194304 5098028 140729794054352 140729794052456 139953264632444 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23683072 140729794061454 140729794061664 140729794061664 140729794064363 0
/proc/9976/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300295 s]
/proc/loadavg: 12.33 14.08 14.04 9/273 9976
/proc/meminfo: memFree=31578616/32770624 swapFree=5724/265576
[pid=9976] ppid=9973 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9976/stat : 9976 (xcsp3-exec) S 9973 9976 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4835694 9740288 346 33554432000 4194304 5098028 140729794054352 140729794052456 139953264632444 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23683072 140729794061454 140729794061664 140729794061664 140729794064363 0
/proc/9976/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700197 s]
/proc/loadavg: 12.33 14.08 14.04 9/273 9976
/proc/meminfo: memFree=31578616/32770624 swapFree=5724/265576
[pid=9976] ppid=9973 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9976/stat : 9976 (xcsp3-exec) S 9973 9976 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4835694 9740288 346 33554432000 4194304 5098028 140729794054352 140729794052456 139953264632444 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23683072 140729794061454 140729794061664 140729794061664 140729794064363 0
/proc/9976/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5018 s]
/proc/loadavg: 12.33 14.08 14.04 17/294 9997
/proc/meminfo: memFree=31206112/32770624 swapFree=5724/265884
[pid=9976] ppid=9973 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9976/stat : 9976 (xcsp3-exec) S 9973 9976 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4835694 9740288 346 33554432000 4194304 5098028 140729794054352 140729794052456 139953264632444 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23683072 140729794061454 140729794061664 140729794061664 140729794064363 0
/proc/9976/statm: 2378 346 289 221 0 87 0
[pid=9977] ppid=9976 vsize=13269256 CPUtime=6.53 cores=0,2,4,6,8,10,12,14
/proc/9977/stat : 9977 (java) S 9976 9976 16473 0 -1 1077944320 16167 0 0 0 429 224 0 0 20 0 20 0 4835694 13587718144 173938 33554432000 4194304 4196468 140728193398048 140728193380592 139787723181815 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
/proc/9977/statm: 3317314 173938 3246 1 0 3304547 0
[pid=9977/tid=9978] ppid=9976 vsize=13269256 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9978/stat : 9978 (java) S 9976 9976 16473 0 -1 1077944384 6461 0 0 0 98 6 0 0 20 0 20 0 4835694 13587718144 173938 33554432000 4194304 4196468 140728193398048 139787727418304 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9980] ppid=9976 vsize=13269256 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9980/stat : 9980 (java) R 9976 9976 16473 0 -1 4202560 194 0 0 0 12 25 0 0 20 0 20 0 4835695 13587718144 173938 33554432000 4194304 4196468 140728193398048 139787641662680 139787716278516 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9981] ppid=9976 vsize=13269256 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9981/stat : 9981 (java) R 9976 9976 16473 0 -1 4202560 175 0 0 0 12 25 0 0 20 0 20 0 4835695 13587718144 173938 33554432000 4194304 4196468 140728193398048 139787640610136 139787716286463 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9982] ppid=9976 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9982/stat : 9982 (java) R 9976 9976 16473 0 -1 4202560 208 0 0 0 14 28 0 0 20 0 20 0 4835695 13587718144 173938 33554432000 4194304 4196468 140728193398048 139787639557080 139787716285417 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9983] ppid=9976 vsize=13269256 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9983/stat : 9983 (java) R 9976 9976 16473 0 -1 4202560 204 0 0 0 13 28 0 0 20 0 20 0 4835695 13587718144 173938 33554432000 4194304 4196468 140728193398048 139787638504536 139787716286463 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9984] ppid=9976 vsize=13269256 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9984/stat : 9984 (java) R 9976 9976 16473 0 -1 4202560 180 0 0 0 13 24 0 0 20 0 20 0 4835695 13587718144 173938 33554432000 4194304 4196468 140728193398048 139787637451480 139787708209698 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9985] ppid=9976 vsize=13269256 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9985/stat : 9985 (java) R 9976 9976 16473 0 -1 4202560 203 0 0 0 15 25 0 0 20 0 20 0 4835695 13587718144 173938 33554432000 4194304 4196468 140728193398048 139787636398624 139787716285417 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9986] ppid=9976 vsize=13269256 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9986/stat : 9986 (java) R 9976 9976 16473 0 -1 4202560 247 0 0 0 13 27 0 0 20 0 20 0 4835695 13587718144 173938 33554432000 4194304 4196468 140728193398048 139787635345880 139787708209698 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9987] ppid=9976 vsize=13269256 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9987/stat : 9987 (java) R 9976 9976 16473 0 -1 4202560 197 0 0 0 13 27 0 0 20 0 20 0 4835695 13587718144 173938 33554432000 4194304 4196468 140728193398048 139787634293336 139787716286463 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9988] ppid=9976 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9988/stat : 9988 (java) S 9976 9976 16473 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4835697 13587718144 173938 33554432000 4194304 4196468 140728193398048 139787051083040 139787723192021 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9989] ppid=9976 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9989/stat : 9989 (java) S 9976 9976 16473 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4835698 13587718144 173938 33554432000 4194304 4196468 140728193398048 139787050030816 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9990] ppid=9976 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9990/stat : 9990 (java) S 9976 9976 16473 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4835699 13587718144 173938 33554432000 4194304 4196468 140728193398048 139787048977648 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9991] ppid=9976 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9991/stat : 9991 (java) S 9976 9976 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4835702 13587718144 173938 33554432000 4194304 4196468 140728193398048 139787047926224 139787723200411 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9992] ppid=9976 vsize=13269256 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9992/stat : 9992 (java) S 9976 9976 16473 0 -1 1077944384 1651 0 0 0 52 0 0 0 20 0 20 0 4835702 13587718144 173938 33554432000 4194304 4196468 140728193398048 139787046873328 139787723192962 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9993] ppid=9976 vsize=13269256 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9993/stat : 9993 (java) S 9976 9976 16473 0 -1 1077944384 1624 0 0 0 50 0 0 0 20 0 20 0 4835702 13587718144 173938 33554432000 4194304 4196468 140728193398048 139787045820784 139787723192962 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9994] ppid=9976 vsize=13269256 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9994/stat : 9994 (java) S 9976 9976 16473 0 -1 1077944384 1266 0 0 0 63 0 0 0 20 0 20 0 4835702 13587718144 173938 33554432000 4194304 4196468 140728193398048 139787044752720 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9995] ppid=9976 vsize=13269256 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9995/stat : 9995 (java) S 9976 9976 16473 0 -1 1077944384 2179 0 0 0 55 0 0 0 20 0 20 0 4835702 13587718144 173938 33554432000 4194304 4196468 140728193398048 139787043710896 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9996] ppid=9976 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9996/stat : 9996 (java) S 9976 9976 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4835702 13587718144 173938 33554432000 4194304 4196468 140728193398048 139787042663392 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9997] ppid=9976 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9997/stat : 9997 (java) S 9976 9976 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4835703 13587718144 173940 33554432000 4194304 4196468 140728193398048 139787041610928 139787723192962 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
Current children cumulated CPU time (s) 6.53
Current children cumulated vsize (KiB) 13278768
[startup+3.10095 s]
/proc/loadavg: 12.33 14.08 14.04 13/294 9997
/proc/meminfo: memFree=30757284/32770624 swapFree=5724/265884
[pid=9976] ppid=9973 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9976/stat : 9976 (xcsp3-exec) S 9973 9976 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4835694 9740288 346 33554432000 4194304 5098028 140729794054352 140729794052456 139953264632444 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23683072 140729794061454 140729794061664 140729794061664 140729794064363 0
/proc/9976/statm: 2378 346 289 221 0 87 0
[pid=9977] ppid=9976 vsize=13269256 CPUtime=18.47 cores=0,2,4,6,8,10,12,14
/proc/9977/stat : 9977 (java) S 9976 9976 16473 0 -1 1077944320 45654 0 0 0 1449 398 0 0 20 0 20 0 4835694 13587718144 280502 33554432000 4194304 4196468 140728193398048 140728193380592 139787723181815 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
/proc/9977/statm: 3317314 280502 3272 1 0 3304547 0
[pid=9977/tid=9978] ppid=9976 vsize=13269256 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9978/stat : 9978 (java) S 9976 9976 16473 0 -1 1077944384 6769 0 0 0 112 6 0 0 20 0 20 0 4835694 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787727418240 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9980] ppid=9976 vsize=13269256 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9980/stat : 9980 (java) R 9976 9976 16473 0 -1 4202560 3866 0 0 0 130 48 0 0 20 0 20 0 4835695 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787641662600 139787706564850 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9981] ppid=9976 vsize=13269256 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9981/stat : 9981 (java) R 9976 9976 16473 0 -1 4202560 3764 0 0 0 130 49 0 0 20 0 20 0 4835695 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787640610056 139787707639406 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9982] ppid=9976 vsize=13269256 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9982/stat : 9982 (java) R 9976 9976 16473 0 -1 4202560 3890 0 0 0 135 49 0 0 20 0 20 0 4835695 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787639557000 139787715810023 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9983] ppid=9976 vsize=13269256 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9983/stat : 9983 (java) R 9976 9976 16473 0 -1 4202560 3323 0 0 0 133 51 0 0 20 0 20 0 4835695 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787638504456 139787715810023 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9984] ppid=9976 vsize=13269256 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9984/stat : 9984 (java) R 9976 9976 16473 0 -1 4202560 3819 0 0 0 133 46 0 0 20 0 20 0 4835695 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787637451400 139787707882451 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9985] ppid=9976 vsize=13269256 CPUtime=1.81 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9985/stat : 9985 (java) R 9976 9976 16473 0 -1 4202560 3825 0 0 0 135 46 0 0 20 0 20 0 4835695 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787636398856 139787715810023 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9986] ppid=9976 vsize=13269256 CPUtime=1.81 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9986/stat : 9986 (java) R 9976 9976 16473 0 -1 4202560 3596 0 0 0 133 48 0 0 20 0 20 0 4835695 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787635345800 139787715810023 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9987] ppid=9976 vsize=13269256 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9987/stat : 9987 (java) R 9976 9976 16473 0 -1 4202560 3666 0 0 0 134 49 0 0 20 0 20 0 4835695 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787634293256 139787715810023 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9988] ppid=9976 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9988/stat : 9988 (java) S 9976 9976 16473 0 -1 1077944384 790 0 0 0 2 0 0 0 20 0 20 0 4835697 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787051083072 139787723192021 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9989] ppid=9976 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9989/stat : 9989 (java) S 9976 9976 16473 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4835698 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787050030816 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9990] ppid=9976 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9990/stat : 9990 (java) S 9976 9976 16473 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4835699 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787048977664 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9991] ppid=9976 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9991/stat : 9991 (java) S 9976 9976 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4835702 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787047926224 139787723200411 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9992] ppid=9976 vsize=13269256 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9992/stat : 9992 (java) S 9976 9976 16473 0 -1 1077944384 1788 0 0 0 65 0 0 0 20 0 20 0 4835702 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787046864432 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9993] ppid=9976 vsize=13269256 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9993/stat : 9993 (java) S 9976 9976 16473 0 -1 1077944384 1647 0 0 0 63 0 0 0 20 0 20 0 4835702 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787045811888 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9994] ppid=9976 vsize=13269256 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9994/stat : 9994 (java) S 9976 9976 16473 0 -1 1077944384 1287 0 0 0 77 0 0 0 20 0 20 0 4835702 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787044759008 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9995] ppid=9976 vsize=13269256 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9995/stat : 9995 (java) S 9976 9976 16473 0 -1 1077944384 2326 0 0 0 60 0 0 0 20 0 20 0 4835702 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787043715184 139787723192962 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9996] ppid=9976 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9996/stat : 9996 (java) S 9976 9976 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4835702 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787042663392 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9997] ppid=9976 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9997/stat : 9997 (java) S 9976 9976 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4835703 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787041610928 139787723192962 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
Current children cumulated CPU time (s) 18.47
Current children cumulated vsize (KiB) 13278768
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9977 sig 9
??? kill 9976 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20127 s]
/proc/loadavg: 12.33 14.08 14.04 13/294 9997
/proc/meminfo: memFree=30757284/32770624 swapFree=5724/265884
[pid=9976] ppid=9973 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9976/stat : 9976 (xcsp3-exec) S 9973 9976 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4835694 9740288 346 33554432000 4194304 5098028 140729794054352 140729794052456 139953264632444 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23683072 140729794061454 140729794061664 140729794061664 140729794064363 0
/proc/9976/statm: 2378 346 289 221 0 87 0
[pid=9977] ppid=9976 vsize=13269256 CPUtime=19.27 cores=0,2,4,6,8,10,12,14
/proc/9977/stat : 9977 (java) S 9976 9976 16473 0 -1 1077944320 45656 0 0 0 1529 398 0 0 20 0 20 0 4835694 13587718144 280502 33554432000 4194304 4196468 140728193398048 140728193380592 139787723181815 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
/proc/9977/statm: 3317314 280502 3272 1 0 3304547 0
[pid=9977/tid=9978] ppid=9976 vsize=13269256 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9978/stat : 9978 (java) S 9976 9976 16473 0 -1 1077944384 6769 0 0 0 112 6 0 0 20 0 20 0 4835694 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787727418240 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9980] ppid=9976 vsize=13269256 CPUtime=1.88 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9980/stat : 9980 (java) R 9976 9976 16473 0 -1 4202560 3866 0 0 0 140 48 0 0 20 0 20 0 4835695 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787641662600 139787707882459 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9981] ppid=9976 vsize=13269256 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9981/stat : 9981 (java) R 9976 9976 16473 0 -1 4202560 3766 0 0 0 140 49 0 0 20 0 20 0 4835695 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787640610056 139787707882227 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9982] ppid=9976 vsize=13269256 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9982/stat : 9982 (java) R 9976 9976 16473 0 -1 4202560 3890 0 0 0 144 49 0 0 20 0 20 0 4835695 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787639557000 139787715810023 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9983] ppid=9976 vsize=13269256 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9983/stat : 9983 (java) R 9976 9976 16473 0 -1 4202560 3323 0 0 0 143 51 0 0 20 0 20 0 4835695 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787638504456 139787707882433 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9984] ppid=9976 vsize=13269256 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9984/stat : 9984 (java) R 9976 9976 16473 0 -1 4202560 3819 0 0 0 143 46 0 0 20 0 20 0 4835695 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787637451400 139787715810023 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9985] ppid=9976 vsize=13269256 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9985/stat : 9985 (java) R 9976 9976 16473 0 -1 4202560 3825 0 0 0 145 46 0 0 20 0 20 0 4835695 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787636398856 139787715810023 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9986] ppid=9976 vsize=13269256 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9986/stat : 9986 (java) R 9976 9976 16473 0 -1 4202560 3596 0 0 0 143 48 0 0 20 0 20 0 4835695 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787635345800 139787715810023 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9987] ppid=9976 vsize=13269256 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9987/stat : 9987 (java) R 9976 9976 16473 0 -1 4202560 3666 0 0 0 144 49 0 0 20 0 20 0 4835695 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787634293256 139787708171464 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9988] ppid=9976 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9988/stat : 9988 (java) S 9976 9976 16473 0 -1 1077944384 790 0 0 0 2 0 0 0 20 0 20 0 4835697 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787051083072 139787723192021 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9989] ppid=9976 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9989/stat : 9989 (java) S 9976 9976 16473 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4835698 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787050030816 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9990] ppid=9976 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9990/stat : 9990 (java) S 9976 9976 16473 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4835699 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787048977664 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9991] ppid=9976 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9991/stat : 9991 (java) S 9976 9976 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4835702 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787047926224 139787723200411 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9992] ppid=9976 vsize=13269256 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9992/stat : 9992 (java) S 9976 9976 16473 0 -1 1077944384 1788 0 0 0 65 0 0 0 20 0 20 0 4835702 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787046864432 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9993] ppid=9976 vsize=13269256 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9993/stat : 9993 (java) S 9976 9976 16473 0 -1 1077944384 1647 0 0 0 63 0 0 0 20 0 20 0 4835702 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787045811888 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9994] ppid=9976 vsize=13269256 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9994/stat : 9994 (java) S 9976 9976 16473 0 -1 1077944384 1287 0 0 0 77 0 0 0 20 0 20 0 4835702 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787044759008 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9995] ppid=9976 vsize=13269256 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9995/stat : 9995 (java) S 9976 9976 16473 0 -1 1077944384 2326 0 0 0 60 0 0 0 20 0 20 0 4835702 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787043715184 139787723192962 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9996] ppid=9976 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9996/stat : 9996 (java) S 9976 9976 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4835702 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787042663392 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9997] ppid=9976 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9997/stat : 9997 (java) S 9976 9976 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4835703 13587718144 280502 33554432000 4194304 4196468 140728193398048 139787041610928 139787723192962 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
Current children cumulated CPU time (s) 19.27
Current children cumulated vsize (KiB) 13278768
[startup+4.00194 s]
/proc/loadavg: 12.63 14.11 14.05 13/294 9997
/proc/meminfo: memFree=30467148/32770624 swapFree=5724/265884
[pid=9976] ppid=9973 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9976/stat : 9976 (xcsp3-exec) S 9973 9976 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4835694 9740288 346 33554432000 4194304 5098028 140729794054352 140729794052456 139953264632444 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23683072 140729794061454 140729794061664 140729794061664 140729794064363 0
/proc/9976/statm: 2378 346 289 221 0 87 0
[pid=9977] ppid=9976 vsize=13869360 CPUtime=24.84 cores=0,2,4,6,8,10,12,14
/proc/9977/stat : 9977 (java) S 9976 9976 16473 0 -1 1077944320 59757 0 0 0 2011 473 0 0 20 0 21 0 4835694 14202224640 328748 33554432000 4194304 4196468 140728193398048 140728193380592 139787723181815 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
/proc/9977/statm: 3467340 328748 3276 1 0 3454573 0
[pid=9977/tid=9978] ppid=9976 vsize=13869360 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9978/stat : 9978 (java) S 9976 9976 16473 0 -1 1077944384 8705 0 0 0 124 6 0 0 20 0 21 0 4835694 14202224640 328748 33554432000 4194304 4196468 140728193398048 139787727422592 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9980] ppid=9976 vsize=13869360 CPUtime=2.09 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9980/stat : 9980 (java) R 9976 9976 16473 0 -1 4202560 3946 0 0 0 152 57 0 0 20 0 21 0 4835695 14202224640 328748 33554432000 4194304 4196468 140728193398048 139787641662368 139787716285427 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9981] ppid=9976 vsize=13869360 CPUtime=2.12 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9981/stat : 9981 (java) R 9976 9976 16473 0 -1 4202560 3896 0 0 0 153 59 0 0 20 0 21 0 4835695 14202224640 328748 33554432000 4194304 4196468 140728193398048 139787640610136 139787708209689 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9982] ppid=9976 vsize=13869360 CPUtime=2.15 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9982/stat : 9982 (java) R 9976 9976 16473 0 -1 4202560 3976 0 0 0 157 58 0 0 20 0 21 0 4835695 14202224640 328748 33554432000 4194304 4196468 140728193398048 139787639557080 139787708209698 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9983] ppid=9976 vsize=13869360 CPUtime=2.14 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9983/stat : 9983 (java) R 9976 9976 16473 0 -1 4202560 3417 0 0 0 155 59 0 0 20 0 21 0 4835695 14202224640 328748 33554432000 4194304 4196468 140728193398048 139787638504536 139787708209698 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9984] ppid=9976 vsize=13869360 CPUtime=2.1 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9984/stat : 9984 (java) R 9976 9976 16473 0 -1 4202560 3943 0 0 0 156 54 0 0 20 0 21 0 4835695 14202224640 328748 33554432000 4194304 4196468 140728193398048 139787637451168 139787716286503 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9985] ppid=9976 vsize=13869360 CPUtime=2.13 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9985/stat : 9985 (java) R 9976 9976 16473 0 -1 4202560 3917 0 0 0 157 56 0 0 20 0 21 0 4835695 14202224640 328748 33554432000 4194304 4196468 140728193398048 139787636398936 139787716286473 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9986] ppid=9976 vsize=13869360 CPUtime=2.11 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9986/stat : 9986 (java) R 9976 9976 16473 0 -1 4202560 3724 0 0 0 156 55 0 0 20 0 21 0 4835695 14202224640 328748 33554432000 4194304 4196468 140728193398048 139787635345880 139787716285417 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9987] ppid=9976 vsize=13869360 CPUtime=2.14 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9987/stat : 9987 (java) R 9976 9976 16473 0 -1 4202560 3833 0 0 0 157 57 0 0 20 0 21 0 4835695 14202224640 328748 33554432000 4194304 4196468 140728193398048 139787634293336 139787708209234 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9988] ppid=9976 vsize=13869360 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9988/stat : 9988 (java) S 9976 9976 16473 0 -1 1077944384 2255 0 0 0 3 0 0 0 20 0 21 0 4835697 14202224640 328748 33554432000 4194304 4196468 140728193398048 139787051083040 139787723192021 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9989] ppid=9976 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9989/stat : 9989 (java) S 9976 9976 16473 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 21 0 4835698 14202224640 328748 33554432000 4194304 4196468 140728193398048 139787050030816 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9990] ppid=9976 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9990/stat : 9990 (java) S 9976 9976 16473 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 21 0 4835699 14202224640 328748 33554432000 4194304 4196468 140728193398048 139787048977664 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9991] ppid=9976 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9991/stat : 9991 (java) S 9976 9976 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4835702 14202224640 328748 33554432000 4194304 4196468 140728193398048 139787047926224 139787723200411 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9992] ppid=9976 vsize=13869360 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9992/stat : 9992 (java) S 9976 9976 16473 0 -1 1077944384 4079 0 0 0 116 1 0 0 20 0 21 0 4835702 14202224640 328748 33554432000 4194304 4196468 140728193398048 139787046864608 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9993] ppid=9976 vsize=13869360 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9993/stat : 9993 (java) S 9976 9976 16473 0 -1 1077944384 3758 0 0 0 109 0 0 0 20 0 21 0 4835702 14202224640 328748 33554432000 4194304 4196468 140728193398048 139787045805776 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9994] ppid=9976 vsize=13869360 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9994/stat : 9994 (java) S 9976 9976 16473 0 -1 1077944384 4177 0 0 0 130 1 0 0 20 0 21 0 4835702 14202224640 328748 33554432000 4194304 4196468 140728193398048 139787044747280 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9995] ppid=9976 vsize=13869360 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9995/stat : 9995 (java) S 9976 9976 16473 0 -1 1077944384 3442 0 0 0 74 1 0 0 20 0 21 0 4835702 14202224640 328748 33554432000 4194304 4196468 140728193398048 139787043715184 139787723192962 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9996] ppid=9976 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9996/stat : 9996 (java) S 9976 9976 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4835702 14202224640 328748 33554432000 4194304 4196468 140728193398048 139787042663392 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9997] ppid=9976 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9997/stat : 9997 (java) S 9976 9976 16473 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 21 0 4835703 14202224640 328748 33554432000 4194304 4196468 140728193398048 139787041610928 139787723192962 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
Current children cumulated CPU time (s) 24.84
Current children cumulated vsize (KiB) 13878872
[startup+4.40108 s]
/proc/loadavg: 12.63 14.11 14.05 21/302 10089
/proc/meminfo: memFree=30199016/32770624 swapFree=5724/265884
[pid=9976] ppid=9973 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9976/stat : 9976 (xcsp3-exec) S 9973 9976 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4835694 9740288 346 33554432000 4194304 5098028 140729794054352 140729794052456 139953264632444 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23683072 140729794061454 140729794061664 140729794061664 140729794064363 0
/proc/9976/statm: 2378 346 289 221 0 87 0
[pid=9977] ppid=9976 vsize=14068024 CPUtime=27.91 cores=0,2,4,6,8,10,12,14
/proc/9977/stat : 9977 (java) S 9976 9976 16473 0 -1 1077944320 63613 0 0 0 2276 515 0 0 20 0 28 0 4835694 14405656576 347715 33554432000 4194304 4196468 140728193398048 140728193380592 139787723181815 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
/proc/9977/statm: 3517006 347715 3291 1 0 3504239 0
[pid=9977/tid=9978] ppid=9976 vsize=14068024 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9978/stat : 9978 (java) S 9976 9976 16473 0 -1 1077944384 8709 0 0 0 125 6 0 0 20 0 28 0 4835694 14405656576 347715 33554432000 4194304 4196468 140728193398048 139787727422592 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9980] ppid=9976 vsize=14068024 CPUtime=2.16 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9980/stat : 9980 (java) S 9976 9976 16473 0 -1 1077944384 3990 0 0 0 154 62 0 0 20 0 28 0 4835695 14405656576 347715 33554432000 4194304 4196468 140728193398048 139787641662480 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9981] ppid=9976 vsize=14068024 CPUtime=2.19 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9981/stat : 9981 (java) S 9976 9976 16473 0 -1 1077944384 3936 0 0 0 155 64 0 0 20 0 28 0 4835695 14405656576 347715 33554432000 4194304 4196468 140728193398048 139787640609936 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9982] ppid=9976 vsize=14068024 CPUtime=2.23 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9982/stat : 9982 (java) S 9976 9976 16473 0 -1 1077944384 4015 0 0 0 159 64 0 0 20 0 28 0 4835695 14405656576 347715 33554432000 4194304 4196468 140728193398048 139787639556880 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9983] ppid=9976 vsize=14068024 CPUtime=2.22 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9983/stat : 9983 (java) S 9976 9976 16473 0 -1 1077944384 3458 0 0 0 158 64 0 0 20 0 28 0 4835695 14405656576 347715 33554432000 4194304 4196468 140728193398048 139787638504336 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9984] ppid=9976 vsize=14068024 CPUtime=2.19 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9984/stat : 9984 (java) S 9976 9976 16473 0 -1 1077944384 3979 0 0 0 159 60 0 0 20 0 28 0 4835695 14405656576 347715 33554432000 4194304 4196468 140728193398048 139787637451280 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9985] ppid=9976 vsize=14068024 CPUtime=2.21 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9985/stat : 9985 (java) S 9976 9976 16473 0 -1 1077944384 3959 0 0 0 160 61 0 0 20 0 28 0 4835695 14405656576 347715 33554432000 4194304 4196468 140728193398048 139787636398736 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9986] ppid=9976 vsize=14068024 CPUtime=2.18 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9986/stat : 9986 (java) S 9976 9976 16473 0 -1 1077944384 3766 0 0 0 158 60 0 0 20 0 28 0 4835695 14405656576 347715 33554432000 4194304 4196468 140728193398048 139787635345680 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9987] ppid=9976 vsize=14068024 CPUtime=2.22 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9987/stat : 9987 (java) S 9976 9976 16473 0 -1 1077944384 3874 0 0 0 160 62 0 0 20 0 28 0 4835695 14405656576 347715 33554432000 4194304 4196468 140728193398048 139787634293136 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9988] ppid=9976 vsize=14068024 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9988/stat : 9988 (java) S 9976 9976 16473 0 -1 1077944384 2569 0 0 0 3 0 0 0 20 0 28 0 4835697 14405656576 347715 33554432000 4194304 4196468 140728193398048 139787051084528 139787723192962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9989] ppid=9976 vsize=14068024 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9989/stat : 9989 (java) S 9976 9976 16473 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4835698 14405656576 347715 33554432000 4194304 4196468 140728193398048 139787050030816 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9990] ppid=9976 vsize=14068024 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9990/stat : 9990 (java) S 9976 9976 16473 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4835699 14405656576 347715 33554432000 4194304 4196468 140728193398048 139787048977664 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9991] ppid=9976 vsize=14068024 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9991/stat : 9991 (java) S 9976 9976 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4835702 14405656576 347715 33554432000 4194304 4196468 140728193398048 139787047926224 139787723200411 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9992] ppid=9976 vsize=14068024 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9992/stat : 9992 (java) R 9976 9976 16473 0 -1 4202560 4774 0 0 0 146 1 0 0 20 0 28 0 4835702 14405656576 347715 33554432000 4194304 4196468 140728193398048 139787046859352 139787702428099 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9993] ppid=9976 vsize=14068024 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9993/stat : 9993 (java) R 9976 9976 16473 0 -1 4202560 4248 0 0 0 138 0 0 0 20 0 28 0 4835702 14405656576 347715 33554432000 4194304 4196468 140728193398048 139787045801800 139787707066520 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9994] ppid=9976 vsize=14068024 CPUtime=1.55 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9994/stat : 9994 (java) R 9976 9976 16473 0 -1 4202560 4536 0 0 0 154 1 0 0 20 0 28 0 4835702 14405656576 347715 33554432000 4194304 4196468 140728193398048 139787044753888 139787708106864 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9995] ppid=9976 vsize=14068024 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9995/stat : 9995 (java) R 9976 9976 16473 0 -1 4202560 4373 0 0 0 86 1 0 0 20 0 28 0 4835702 14405656576 347715 33554432000 4194304 4196468 140728193398048 139787043715184 139787723203162 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9996] ppid=9976 vsize=14068024 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9996/stat : 9996 (java) S 9976 9976 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4835702 14405656576 347715 33554432000 4194304 4196468 140728193398048 139787042663392 139787723192021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=9997] ppid=9976 vsize=14068024 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9997/stat : 9997 (java) S 9976 9976 16473 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4835703 14405656576 347715 33554432000 4194304 4196468 140728193398048 139787041610928 139787723192962 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=10082] ppid=9976 vsize=14068024 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/9977/task/10082/stat : 10082 (java) R 9976 9976 16473 0 -1 4202560 20 0 0 0 10 0 0 0 20 0 28 0 4836123 14405656576 347715 33554432000 4194304 4196468 140728193398048 139787030437512 139787318534461 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=10083] ppid=9976 vsize=14068024 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/9977/task/10083/stat : 10083 (java) R 9976 9976 16473 0 -1 4202560 18 0 0 0 5 0 0 0 20 0 28 0 4836123 14405656576 347715 33554432000 4194304 4196468 140728193398048 139786426233352 139787318534461 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=10084] ppid=9976 vsize=14068024 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/9977/task/10084/stat : 10084 (java) R 9976 9976 16473 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 28 0 4836123 14405656576 347715 33554432000 4194304 4196468 140728193398048 139787028332680 139787723193750 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=10085] ppid=9976 vsize=14068024 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/9977/task/10085/stat : 10085 (java) R 9976 9976 16473 0 -1 4202560 24 0 0 0 8 0 0 0 20 0 28 0 4836123 14405656576 347715 33554432000 4194304 4196468 140728193398048 139786425177800 139787317337188 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=10086] ppid=9976 vsize=14068024 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/9977/task/10086/stat : 10086 (java) R 9976 9976 16473 0 -1 4202560 25 0 0 0 7 0 0 0 20 0 28 0 4836123 14405656576 347715 33554432000 4194304 4196468 140728193398048 139787029383888 139787317838748 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=10087] ppid=9976 vsize=14068024 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/9977/task/10087/stat : 10087 (java) R 9976 9976 16473 0 -1 4202560 18 0 0 0 6 0 0 0 20 0 28 0 4836123 14405656576 347715 33554432000 4194304 4196468 140728193398048 139787033595272 139787317519430 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=10088] ppid=9976 vsize=14068024 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/9977/task/10088/stat : 10088 (java) R 9976 9976 16473 0 -1 4202560 21 0 0 0 6 0 0 0 20 0 28 0 4836123 14405656576 347715 33554432000 4194304 4196468 140728193398048 139786427281944 139787317518862 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
[pid=9977/tid=10089] ppid=9976 vsize=14068024 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/9977/task/10089/stat : 10089 (java) R 9976 9976 16473 0 -1 4202560 18 0 0 0 9 0 0 0 20 0 28 0 4836123 14405656576 347715 33554432000 4194304 4196468 140728193398048 139786429386192 139787318111158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12099584 140728193406140 140728193406316 140728193406316 140728193408975 0
Current children cumulated CPU time (s) 27.91
Current children cumulated vsize (KiB) 14077536
[startup+4.60158 s]
/proc/loadavg: 12.63 14.11 14.05 21/302 10089
/proc/meminfo: memFree=30199016/32770624 swapFree=5724/265884
[pid=9976] ppid=9973 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9976/stat : 9976 (xcsp3-exec) S 9973 9976 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4835694 9740288 346 33554432000 4194304 5098028 140729794054352 140729794052456 139953264632444 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 23683072 140729794061454 140729794061664 140729794061664 140729794064363 0
/proc/9976/statm: 2378 346 289 221 0 87 0
[pid=9977] ppid=9976 vsize=0 CPUtime=29.2 cores=0,2,4,6,8,10,12,14
/proc/9977/stat : 9977 (java) Z 9976 9976 16473 0 -1 4227084 64782 0 0 0 2403 517 0 0 20 0 2 0 4835694 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/9977/statm: 0 0 0 0 0 0 0
[pid=9977/tid=9996] ppid=9976 vsize=0 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/9977/task/9996/stat : 9996 (java) R 9976 9976 16473 0 -1 4203588 3 0 0 0 0 1 0 0 20 0 2 0 4835702 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 12 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 29.2
Current children cumulated vsize (KiB) 9512
Child status: 0
Real time (s): 4.604
CPU time (s): 29.2133
CPU user time (s): 24.0354
CPU system time (s): 5.17792
CPU usage (%): 634.52
Max. virtual memory (cumulated for all children) (KiB): 14077536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.0354
system time used= 5.17792
maximum resident set size= 1396436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65311
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= 5566
involuntary context switches= 2413
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045682 second user time and 0.083243 second system time
The end