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-4249734-1500695597/watcher-4249734-1500695597 -o /tmp/evaluation-result-4249734-1500695597/solver-4249734-1500695597 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7775 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1499038011 HOME/instance-4249734-1500695597.xml
pid=7802
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: 6.39 11.79 13.21 3/264 7805
/proc/meminfo: memFree=27769552/32770624 swapFree=5880/296720
[pid=7805] ppid=7802 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7805/stat : 7805 (xcsp3-exec) S 7802 7805 7744 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4827492 9740288 345 33554432000 4194304 5098028 140720415526160 140720415524264 140170903306876 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35938304 140720415528078 140720415528288 140720415528288 140720415530987 0
/proc/7805/statm: 2378 345 289 221 0 87 0
[startup+0.100703 s]
/proc/loadavg: 6.39 11.79 13.21 3/264 7805
/proc/meminfo: memFree=27769552/32770624 swapFree=5880/296720
[pid=7805] ppid=7802 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7805/stat : 7805 (xcsp3-exec) S 7802 7805 7744 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4827492 9740288 345 33554432000 4194304 5098028 140720415526160 140720415524264 140170903306876 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35938304 140720415528078 140720415528288 140720415528288 140720415530987 0
/proc/7805/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200258 s]
/proc/loadavg: 6.39 11.79 13.21 3/264 7805
/proc/meminfo: memFree=27769552/32770624 swapFree=5880/296720
[pid=7805] ppid=7802 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7805/stat : 7805 (xcsp3-exec) S 7802 7805 7744 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4827492 9740288 345 33554432000 4194304 5098028 140720415526160 140720415524264 140170903306876 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35938304 140720415528078 140720415528288 140720415528288 140720415530987 0
/proc/7805/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300381 s]
/proc/loadavg: 6.39 11.79 13.21 3/264 7805
/proc/meminfo: memFree=27769552/32770624 swapFree=5880/296720
[pid=7805] ppid=7802 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7805/stat : 7805 (xcsp3-exec) S 7802 7805 7744 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4827492 9740288 345 33554432000 4194304 5098028 140720415526160 140720415524264 140170903306876 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35938304 140720415528078 140720415528288 140720415528288 140720415530987 0
/proc/7805/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700752 s]
/proc/loadavg: 6.39 11.79 13.21 3/264 7805
/proc/meminfo: memFree=27769552/32770624 swapFree=5880/296720
[pid=7805] ppid=7802 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7805/stat : 7805 (xcsp3-exec) S 7802 7805 7744 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4827492 9740288 345 33554432000 4194304 5098028 140720415526160 140720415524264 140170903306876 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35938304 140720415528078 140720415528288 140720415528288 140720415530987 0
/proc/7805/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50121 s]
/proc/loadavg: 6.39 11.79 13.21 7/285 7826
/proc/meminfo: memFree=26421004/32770624 swapFree=5880/296712
[pid=7805] ppid=7802 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7805/stat : 7805 (xcsp3-exec) S 7802 7805 7744 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4827492 9740288 345 33554432000 4194304 5098028 140720415526160 140720415524264 140170903306876 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35938304 140720415528078 140720415528288 140720415528288 140720415530987 0
/proc/7805/statm: 2378 345 289 221 0 87 0
[pid=7806] ppid=7805 vsize=13267208 CPUtime=4.52 cores=0,2,4,6,8,10,12,14
/proc/7806/stat : 7806 (java) S 7805 7805 7744 0 -1 1077944320 13809 0 0 0 358 94 0 0 20 0 20 0 4827493 13585620992 285674 33554432000 4194304 4196468 140728587746064 140728587728608 140705176674039 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
/proc/7806/statm: 3316802 285674 3234 1 0 3304035 0
[pid=7806/tid=7807] ppid=7805 vsize=13267208 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7807/stat : 7807 (java) R 7805 7805 7744 0 -1 4202560 6963 0 0 0 97 18 0 0 20 0 20 0 4827493 13585620992 285674 33554432000 4194304 4196468 140728587746064 140705180908216 140704817400576 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7809] ppid=7805 vsize=13267208 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7809/stat : 7809 (java) S 7805 7805 7744 0 -1 1077944384 158 0 0 0 21 9 0 0 20 0 20 0 4827494 13585620992 285674 33554432000 4194304 4196468 140728587746064 140704776309136 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7810] ppid=7805 vsize=13267208 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7810/stat : 7810 (java) S 7805 7805 7744 0 -1 1077944384 84 0 0 0 19 9 0 0 20 0 20 0 4827494 13585620992 285674 33554432000 4194304 4196468 140728587746064 140704775256336 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7811] ppid=7805 vsize=13267208 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7811/stat : 7811 (java) S 7805 7805 7744 0 -1 1077944384 70 0 0 0 21 8 0 0 20 0 20 0 4827494 13585620992 285674 33554432000 4194304 4196468 140728587746064 140704774204048 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7812] ppid=7805 vsize=13267208 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7812/stat : 7812 (java) S 7805 7805 7744 0 -1 1077944384 139 0 0 0 21 9 0 0 20 0 20 0 4827494 13585620992 285674 33554432000 4194304 4196468 140728587746064 140704773151248 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7813] ppid=7805 vsize=13267208 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7813/stat : 7813 (java) S 7805 7805 7744 0 -1 1077944384 99 0 0 0 21 8 0 0 20 0 20 0 4827494 13585620992 285674 33554432000 4194304 4196468 140728587746064 140704772098960 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7814] ppid=7805 vsize=13267208 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7814/stat : 7814 (java) S 7805 7805 7744 0 -1 1077944384 268 0 0 0 21 9 0 0 20 0 20 0 4827494 13585620992 285674 33554432000 4194304 4196468 140728587746064 140704771046160 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7815] ppid=7805 vsize=13267208 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7815/stat : 7815 (java) S 7805 7805 7744 0 -1 1077944384 85 0 0 0 21 8 0 0 20 0 20 0 4827494 13585620992 285674 33554432000 4194304 4196468 140728587746064 140704769993872 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7816] ppid=7805 vsize=13267208 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7816/stat : 7816 (java) S 7805 7805 7744 0 -1 1077944384 134 0 0 0 21 9 0 0 20 0 20 0 4827494 13585620992 285674 33554432000 4194304 4196468 140728587746064 140704768941072 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7817] ppid=7805 vsize=13267208 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7817/stat : 7817 (java) S 7805 7805 7744 0 -1 1077944384 294 0 0 0 1 0 0 0 20 0 20 0 4827496 13585620992 285674 33554432000 4194304 4196468 140728587746064 140703841441904 140705176685186 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7818] ppid=7805 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7818/stat : 7818 (java) S 7805 7805 7744 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4827497 13585620992 285674 33554432000 4194304 4196468 140728587746064 140703840387936 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7819] ppid=7805 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7819/stat : 7819 (java) S 7805 7805 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4827498 13585620992 285674 33554432000 4194304 4196468 140728587746064 140703839335552 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7820] ppid=7805 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7820/stat : 7820 (java) S 7805 7805 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4827502 13585620992 285674 33554432000 4194304 4196468 140728587746064 140703838283856 140705176692635 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7821] ppid=7805 vsize=13267208 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7821/stat : 7821 (java) S 7805 7805 7744 0 -1 1077944384 953 0 0 0 24 0 0 0 20 0 20 0 4827502 13585620992 285674 33554432000 4194304 4196468 140728587746064 140703837231728 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7822] ppid=7805 vsize=13267208 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7822/stat : 7822 (java) S 7805 7805 7744 0 -1 1077944384 710 0 0 0 19 0 0 0 20 0 20 0 4827502 13585620992 285674 33554432000 4194304 4196468 140728587746064 140703836178928 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7823] ppid=7805 vsize=13267208 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7823/stat : 7823 (java) S 7805 7805 7744 0 -1 1077944384 1295 0 0 0 21 0 0 0 20 0 20 0 4827502 13585620992 285674 33554432000 4194304 4196468 140728587746064 140703835126640 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7824] ppid=7805 vsize=13267208 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7824/stat : 7824 (java) S 7805 7805 7744 0 -1 1077944384 1261 0 0 0 23 0 0 0 20 0 20 0 4827502 13585620992 285674 33554432000 4194304 4196468 140728587746064 140703834073840 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7825] ppid=7805 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7825/stat : 7825 (java) S 7805 7805 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4827502 13585620992 285674 33554432000 4194304 4196468 140728587746064 140703833020768 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7826] ppid=7805 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7826/stat : 7826 (java) S 7805 7805 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4827502 13585620992 285674 33554432000 4194304 4196468 140728587746064 140703831968048 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 13276720
[startup+3.10096 s]
/proc/loadavg: 6.39 11.79 13.21 10/285 7826
/proc/meminfo: memFree=26237684/32770624 swapFree=5880/296740
[pid=7805] ppid=7802 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7805/stat : 7805 (xcsp3-exec) S 7802 7805 7744 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4827492 9740288 345 33554432000 4194304 5098028 140720415526160 140720415524264 140170903306876 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35938304 140720415528078 140720415528288 140720415528288 140720415530987 0
/proc/7805/statm: 2378 345 289 221 0 87 0
[pid=7806] ppid=7805 vsize=13267208 CPUtime=7.14 cores=0,2,4,6,8,10,12,14
/proc/7806/stat : 7806 (java) S 7805 7805 7744 0 -1 1077944320 17125 0 0 0 570 144 0 0 20 0 20 0 4827493 13585620992 354163 33554432000 4194304 4196468 140728587746064 140728587728608 140705176674039 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
/proc/7806/statm: 3316802 354163 3236 1 0 3304035 0
[pid=7806/tid=7807] ppid=7805 vsize=13267208 CPUtime=2.59 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7807/stat : 7807 (java) R 7805 7805 7744 0 -1 4202560 7897 0 0 0 239 20 0 0 20 0 20 0 4827493 13585620992 354163 33554432000 4194304 4196468 140728587746064 140705180912192 140704817170305 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7809] ppid=7805 vsize=13267208 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7809/stat : 7809 (java) S 7805 7805 7744 0 -1 1077944384 370 0 0 0 29 15 0 0 20 0 20 0 4827494 13585620992 354163 33554432000 4194304 4196468 140728587746064 140704776309136 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7810] ppid=7805 vsize=13267208 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7810/stat : 7810 (java) S 7805 7805 7744 0 -1 1077944384 546 0 0 0 27 15 0 0 20 0 20 0 4827494 13585620992 354163 33554432000 4194304 4196468 140728587746064 140704775256336 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7811] ppid=7805 vsize=13267208 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7811/stat : 7811 (java) S 7805 7805 7744 0 -1 1077944384 279 0 0 0 28 15 0 0 20 0 20 0 4827494 13585620992 354163 33554432000 4194304 4196468 140728587746064 140704774204048 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7812] ppid=7805 vsize=13267208 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7812/stat : 7812 (java) S 7805 7805 7744 0 -1 1077944384 436 0 0 0 30 14 0 0 20 0 20 0 4827494 13585620992 354163 33554432000 4194304 4196468 140728587746064 140704773151248 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7813] ppid=7805 vsize=13267208 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7813/stat : 7813 (java) S 7805 7805 7744 0 -1 1077944384 370 0 0 0 29 15 0 0 20 0 20 0 4827494 13585620992 354163 33554432000 4194304 4196468 140728587746064 140704772098960 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7814] ppid=7805 vsize=13267208 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7814/stat : 7814 (java) S 7805 7805 7744 0 -1 1077944384 470 0 0 0 29 14 0 0 20 0 20 0 4827494 13585620992 354163 33554432000 4194304 4196468 140728587746064 140704771046160 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7815] ppid=7805 vsize=13267208 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7815/stat : 7815 (java) S 7805 7805 7744 0 -1 1077944384 317 0 0 0 28 14 0 0 20 0 20 0 4827494 13585620992 354163 33554432000 4194304 4196468 140728587746064 140704769993872 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7816] ppid=7805 vsize=13267208 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7816/stat : 7816 (java) S 7805 7805 7744 0 -1 1077944384 379 0 0 0 30 15 0 0 20 0 20 0 4827494 13585620992 354163 33554432000 4194304 4196468 140728587746064 140704768941072 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7817] ppid=7805 vsize=13267208 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7817/stat : 7817 (java) S 7805 7805 7744 0 -1 1077944384 517 0 0 0 1 0 0 0 20 0 20 0 4827496 13585620992 354163 33554432000 4194304 4196468 140728587746064 140703841441904 140705176685186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7818] ppid=7805 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7818/stat : 7818 (java) S 7805 7805 7744 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4827497 13585620992 354163 33554432000 4194304 4196468 140728587746064 140703840387936 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7819] ppid=7805 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7819/stat : 7819 (java) S 7805 7805 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4827498 13585620992 354163 33554432000 4194304 4196468 140728587746064 140703839335552 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7820] ppid=7805 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7820/stat : 7820 (java) S 7805 7805 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4827502 13585620992 354163 33554432000 4194304 4196468 140728587746064 140703838283856 140705176692635 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7821] ppid=7805 vsize=13267208 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7821/stat : 7821 (java) S 7805 7805 7744 0 -1 1077944384 960 0 0 0 28 0 0 0 20 0 20 0 4827502 13585620992 354163 33554432000 4194304 4196468 140728587746064 140703837231728 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7822] ppid=7805 vsize=13267208 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7822/stat : 7822 (java) S 7805 7805 7744 0 -1 1077944384 710 0 0 0 19 0 0 0 20 0 20 0 4827502 13585620992 354163 33554432000 4194304 4196468 140728587746064 140703836178928 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7823] ppid=7805 vsize=13267208 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7823/stat : 7823 (java) S 7805 7805 7744 0 -1 1077944384 1295 0 0 0 23 0 0 0 20 0 20 0 4827502 13585620992 354163 33554432000 4194304 4196468 140728587746064 140703835126640 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7824] ppid=7805 vsize=13267208 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7824/stat : 7824 (java) S 7805 7805 7744 0 -1 1077944384 1263 0 0 0 24 0 0 0 20 0 20 0 4827502 13585620992 354163 33554432000 4194304 4196468 140728587746064 140703834073840 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7825] ppid=7805 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7825/stat : 7825 (java) S 7805 7805 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4827502 13585620992 354163 33554432000 4194304 4196468 140728587746064 140703833020768 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7826] ppid=7805 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7826/stat : 7826 (java) S 7805 7805 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4827502 13585620992 354163 33554432000 4194304 4196468 140728587746064 140703831968048 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
Current children cumulated CPU time (s) 7.14
Current children cumulated vsize (KiB) 13276720
[startup+6.30098 s]
/proc/loadavg: 6.04 11.63 13.15 3/285 7826
/proc/meminfo: memFree=25700400/32770624 swapFree=5880/296752
[pid=7805] ppid=7802 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7805/stat : 7805 (xcsp3-exec) S 7802 7805 7744 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4827492 9740288 345 33554432000 4194304 5098028 140720415526160 140720415524264 140170903306876 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35938304 140720415528078 140720415528288 140720415528288 140720415530987 0
/proc/7805/statm: 2378 345 289 221 0 87 0
[pid=7806] ppid=7805 vsize=13267208 CPUtime=13.7 cores=0,2,4,6,8,10,12,14
/proc/7806/stat : 7806 (java) S 7805 7805 7744 0 -1 1077944320 23836 0 0 0 1030 340 0 0 20 0 20 0 4827493 13585620992 478642 33554432000 4194304 4196468 140728587746064 140728587728608 140705176674039 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
/proc/7806/statm: 3316802 478642 3236 1 0 3304035 0
[pid=7806/tid=7807] ppid=7805 vsize=13267208 CPUtime=5.3 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7807/stat : 7807 (java) R 7805 7805 7744 0 -1 4202560 8469 0 0 0 508 22 0 0 20 0 20 0 4827493 13585620992 478642 33554432000 4194304 4196468 140728587746064 140705180911792 140704817535157 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7809] ppid=7805 vsize=13267208 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7809/stat : 7809 (java) S 7805 7805 7744 0 -1 1077944384 939 0 0 0 53 39 0 0 20 0 20 0 4827494 13585620992 478642 33554432000 4194304 4196468 140728587746064 140704776309136 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7810] ppid=7805 vsize=13267208 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7810/stat : 7810 (java) S 7805 7805 7744 0 -1 1077944384 1212 0 0 0 51 40 0 0 20 0 20 0 4827494 13585620992 478642 33554432000 4194304 4196468 140728587746064 140704775256336 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7811] ppid=7805 vsize=13267208 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7811/stat : 7811 (java) S 7805 7805 7744 0 -1 1077944384 1051 0 0 0 51 38 0 0 20 0 20 0 4827494 13585620992 478642 33554432000 4194304 4196468 140728587746064 140704774204048 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7812] ppid=7805 vsize=13267208 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7812/stat : 7812 (java) S 7805 7805 7744 0 -1 1077944384 1285 0 0 0 54 38 0 0 20 0 20 0 4827494 13585620992 478642 33554432000 4194304 4196468 140728587746064 140704773151248 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7813] ppid=7805 vsize=13267208 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7813/stat : 7813 (java) S 7805 7805 7744 0 -1 1077944384 929 0 0 0 53 40 0 0 20 0 20 0 4827494 13585620992 478642 33554432000 4194304 4196468 140728587746064 140704772098960 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7814] ppid=7805 vsize=13267208 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7814/stat : 7814 (java) S 7805 7805 7744 0 -1 1077944384 1039 0 0 0 53 38 0 0 20 0 20 0 4827494 13585620992 478642 33554432000 4194304 4196468 140728587746064 140704771046160 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7815] ppid=7805 vsize=13267208 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7815/stat : 7815 (java) S 7805 7805 7744 0 -1 1077944384 888 0 0 0 53 37 0 0 20 0 20 0 4827494 13585620992 478642 33554432000 4194304 4196468 140728587746064 140704769993872 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7816] ppid=7805 vsize=13267208 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7816/stat : 7816 (java) S 7805 7805 7744 0 -1 1077944384 1185 0 0 0 53 39 0 0 20 0 20 0 4827494 13585620992 478642 33554432000 4194304 4196468 140728587746064 140704768941072 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7817] ppid=7805 vsize=13267208 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7817/stat : 7817 (java) S 7805 7805 7744 0 -1 1077944384 957 0 0 0 2 0 0 0 20 0 20 0 4827496 13585620992 478642 33554432000 4194304 4196468 140728587746064 140703841441904 140705176685186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7818] ppid=7805 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7818/stat : 7818 (java) S 7805 7805 7744 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4827497 13585620992 478642 33554432000 4194304 4196468 140728587746064 140703840387936 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7819] ppid=7805 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7819/stat : 7819 (java) S 7805 7805 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4827498 13585620992 478642 33554432000 4194304 4196468 140728587746064 140703839335552 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7820] ppid=7805 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7820/stat : 7820 (java) S 7805 7805 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4827502 13585620992 478642 33554432000 4194304 4196468 140728587746064 140703838283856 140705176692635 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
################
# More data... #
################
/proc/7806/task/7826/stat : 7826 (java) S 7805 7805 7744 0 -1 1077944384 520 0 0 0 3 4 0 0 20 0 20 0 4827502 13585620992 2663485 33554432000 4194304 4196468 140728587746064 140703831968048 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
Current children cumulated CPU time (s) 202.7
Current children cumulated vsize (KiB) 13276720
[startup+115.301 s]
/proc/loadavg: 5.74 9.56 12.22 17/291 8089
/proc/meminfo: memFree=20590364/32770624 swapFree=5880/296968
[pid=7805] ppid=7802 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7805/stat : 7805 (xcsp3-exec) S 7802 7805 7744 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4827492 9740288 345 33554432000 4194304 5098028 140720415526160 140720415524264 140170903306876 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35938304 140720415528078 140720415528288 140720415528288 140720415530987 0
/proc/7805/statm: 2378 345 289 221 0 87 0
[pid=7806] ppid=7805 vsize=13267208 CPUtime=215.93 cores=0,2,4,6,8,10,12,14
/proc/7806/stat : 7806 (java) S 7805 7805 7744 0 -1 1077944320 410976 0 0 0 18544 3049 0 0 20 0 20 0 4827493 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140728587728608 140705176674039 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
/proc/7806/statm: 3316802 2669219 3245 1 0 3304035 0
[pid=7806/tid=7807] ppid=7805 vsize=13267208 CPUtime=98.12 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7807/stat : 7807 (java) S 7805 7805 7744 0 -1 1077944384 53545 0 0 0 9788 24 0 0 20 0 20 0 4827493 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140705180912656 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7809] ppid=7805 vsize=13267208 CPUtime=14.29 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7809/stat : 7809 (java) R 7805 7805 7744 0 -1 4202560 27797 0 0 0 1063 366 0 0 20 0 20 0 4827494 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140704776309336 140705161371678 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7810] ppid=7805 vsize=13267208 CPUtime=14.16 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7810/stat : 7810 (java) R 7805 7805 7744 0 -1 4202560 24176 0 0 0 1043 373 0 0 20 0 20 0 4827494 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140704775256224 140705161371814 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7811] ppid=7805 vsize=13267208 CPUtime=14.15 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7811/stat : 7811 (java) R 7805 7805 7744 0 -1 4202560 43200 0 0 0 1056 359 0 0 20 0 20 0 4827494 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140704774204248 140705161371678 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7812] ppid=7805 vsize=13267208 CPUtime=14.27 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7812/stat : 7812 (java) R 7805 7805 7744 0 -1 4202560 41468 0 0 0 1033 394 0 0 20 0 20 0 4827494 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140704773151448 140705161625045 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7813] ppid=7805 vsize=13267208 CPUtime=14.31 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7813/stat : 7813 (java) R 7805 7805 7744 0 -1 4202560 60795 0 0 0 1057 374 0 0 20 0 20 0 4827494 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140704772099160 140705161625045 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7814] ppid=7805 vsize=13267208 CPUtime=14.08 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7814/stat : 7814 (java) R 7805 7805 7744 0 -1 4202560 60097 0 0 0 1018 390 0 0 20 0 20 0 4827494 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140704771046360 140705161625138 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7815] ppid=7805 vsize=13267208 CPUtime=14.01 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7815/stat : 7815 (java) R 7805 7805 7744 0 -1 4202560 40013 0 0 0 1032 369 0 0 20 0 20 0 4827494 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140704769994072 140705161625264 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7816] ppid=7805 vsize=13267208 CPUtime=14.24 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7816/stat : 7816 (java) R 7805 7805 7744 0 -1 4202560 27527 0 0 0 1041 383 0 0 20 0 20 0 4827494 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140704768941272 140705161624244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7817] ppid=7805 vsize=13267208 CPUtime=2.68 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7817/stat : 7817 (java) S 7805 7805 7744 0 -1 1077944384 22039 0 0 0 265 3 0 0 20 0 20 0 4827496 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140703841440240 140705176684245 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7818] ppid=7805 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7818/stat : 7818 (java) S 7805 7805 7744 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 4827497 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140703840387936 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7819] ppid=7805 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7819/stat : 7819 (java) S 7805 7805 7744 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 4827498 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140703839335552 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7820] ppid=7805 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7820/stat : 7820 (java) S 7805 7805 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4827502 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140703838283856 140705176692635 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7821] ppid=7805 vsize=13267208 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7821/stat : 7821 (java) S 7805 7805 7744 0 -1 1077944384 2132 0 0 0 39 0 0 0 20 0 20 0 4827502 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140703837231728 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7822] ppid=7805 vsize=13267208 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7822/stat : 7822 (java) S 7805 7805 7744 0 -1 1077944384 1791 0 0 0 32 0 0 0 20 0 20 0 4827502 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140703836178928 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7823] ppid=7805 vsize=13267208 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7823/stat : 7823 (java) S 7805 7805 7744 0 -1 1077944384 2354 0 0 0 35 0 0 0 20 0 20 0 4827502 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140703835126640 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7824] ppid=7805 vsize=13267208 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7824/stat : 7824 (java) S 7805 7805 7744 0 -1 1077944384 2183 0 0 0 32 1 0 0 20 0 20 0 4827502 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140703834073840 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7825] ppid=7805 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7825/stat : 7825 (java) S 7805 7805 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4827502 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140703833020768 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7826] ppid=7805 vsize=13267208 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7826/stat : 7826 (java) S 7805 7805 7744 0 -1 1077944384 520 0 0 0 4 4 0 0 20 0 20 0 4827502 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140703831968048 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
Current children cumulated CPU time (s) 215.93
Current children cumulated vsize (KiB) 13276720
[startup+116.901 s]
/proc/loadavg: 5.92 9.53 12.20 17/291 8089
/proc/meminfo: memFree=20597144/32770624 swapFree=5880/296968
[pid=7805] ppid=7802 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7805/stat : 7805 (xcsp3-exec) S 7802 7805 7744 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4827492 9740288 345 33554432000 4194304 5098028 140720415526160 140720415524264 140170903306876 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35938304 140720415528078 140720415528288 140720415528288 140720415530987 0
/proc/7805/statm: 2378 345 289 221 0 87 0
[pid=7806] ppid=7805 vsize=13267208 CPUtime=228.36 cores=0,2,4,6,8,10,12,14
/proc/7806/stat : 7806 (java) S 7805 7805 7744 0 -1 1077944320 589771 0 0 0 19771 3065 0 0 20 0 20 0 4827493 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140728587728608 140705176674039 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
/proc/7806/statm: 3316802 2669219 3245 1 0 3304035 0
[pid=7806/tid=7807] ppid=7805 vsize=13267208 CPUtime=98.12 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7807/stat : 7807 (java) S 7805 7805 7744 0 -1 1077944384 53545 0 0 0 9788 24 0 0 20 0 20 0 4827493 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140705180912656 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7809] ppid=7805 vsize=13267208 CPUtime=15.84 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7809/stat : 7809 (java) R 7805 7805 7744 0 -1 4202560 29771 0 0 0 1217 367 0 0 20 0 20 0 4827494 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140704776309256 140705169302247 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7810] ppid=7805 vsize=13267208 CPUtime=15.72 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7810/stat : 7810 (java) R 7805 7805 7744 0 -1 4202560 30145 0 0 0 1198 374 0 0 20 0 20 0 4827494 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140704775256456 140705162432856 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7811] ppid=7805 vsize=13267208 CPUtime=15.7 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7811/stat : 7811 (java) R 7805 7805 7744 0 -1 4202560 45176 0 0 0 1210 360 0 0 20 0 20 0 4827494 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140704774204168 140705169302247 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7812] ppid=7805 vsize=13267208 CPUtime=15.82 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7812/stat : 7812 (java) R 7805 7805 7744 0 -1 4202560 44430 0 0 0 1186 396 0 0 20 0 20 0 4827494 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140704773151056 140705169302247 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7813] ppid=7805 vsize=13267208 CPUtime=15.89 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7813/stat : 7813 (java) R 7805 7805 7744 0 -1 4202560 63365 0 0 0 1214 375 0 0 20 0 20 0 4827494 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140704772099080 140705169302247 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7814] ppid=7805 vsize=13267208 CPUtime=15.63 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7814/stat : 7814 (java) R 7805 7805 7744 0 -1 4202560 62072 0 0 0 1172 391 0 0 20 0 20 0 4827494 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140704771046280 140705169302247 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7815] ppid=7805 vsize=13267208 CPUtime=15.53 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7815/stat : 7815 (java) R 7805 7805 7744 0 -1 4202560 41988 0 0 0 1183 370 0 0 20 0 20 0 4827494 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140704769993992 140705160057072 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7816] ppid=7805 vsize=13267208 CPUtime=15.82 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7816/stat : 7816 (java) R 7805 7805 7744 0 -1 4202560 186906 0 0 0 1190 392 0 0 20 0 20 0 4827494 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140704768941272 140705169777018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7817] ppid=7805 vsize=13267208 CPUtime=2.69 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7817/stat : 7817 (java) S 7805 7805 7744 0 -1 1077944384 22051 0 0 0 266 3 0 0 20 0 20 0 4827496 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140703841440464 140705176684245 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7818] ppid=7805 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7818/stat : 7818 (java) S 7805 7805 7744 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 4827497 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140703840387936 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7819] ppid=7805 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7819/stat : 7819 (java) S 7805 7805 7744 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 4827498 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140703839335552 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7820] ppid=7805 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7820/stat : 7820 (java) S 7805 7805 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4827502 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140703838283856 140705176692635 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7821] ppid=7805 vsize=13267208 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7821/stat : 7821 (java) S 7805 7805 7744 0 -1 1077944384 2132 0 0 0 39 0 0 0 20 0 20 0 4827502 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140703837231728 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7822] ppid=7805 vsize=13267208 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7822/stat : 7822 (java) S 7805 7805 7744 0 -1 1077944384 1791 0 0 0 32 0 0 0 20 0 20 0 4827502 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140703836178928 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7823] ppid=7805 vsize=13267208 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7823/stat : 7823 (java) S 7805 7805 7744 0 -1 1077944384 2354 0 0 0 35 0 0 0 20 0 20 0 4827502 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140703835126640 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7824] ppid=7805 vsize=13267208 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7824/stat : 7824 (java) S 7805 7805 7744 0 -1 1077944384 2183 0 0 0 32 1 0 0 20 0 20 0 4827502 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140703834073840 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7825] ppid=7805 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7825/stat : 7825 (java) S 7805 7805 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4827502 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140703833020768 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7826] ppid=7805 vsize=13267208 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7826/stat : 7826 (java) S 7805 7805 7744 0 -1 1077944384 520 0 0 0 4 4 0 0 20 0 20 0 4827502 13585620992 2669219 33554432000 4194304 4196468 140728587746064 140703831968048 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
Current children cumulated CPU time (s) 228.36
Current children cumulated vsize (KiB) 13276720
[startup+117.301 s]
/proc/loadavg: 5.92 9.53 12.20 17/291 8089
/proc/meminfo: memFree=20597144/32770624 swapFree=5880/296968
[pid=7805] ppid=7802 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7805/stat : 7805 (xcsp3-exec) S 7802 7805 7744 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4827492 9740288 345 33554432000 4194304 5098028 140720415526160 140720415524264 140170903306876 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35938304 140720415528078 140720415528288 140720415528288 140720415530987 0
/proc/7805/statm: 2378 345 289 221 0 87 0
[pid=7806] ppid=7805 vsize=13267208 CPUtime=229.15 cores=0,2,4,6,8,10,12,14
/proc/7806/stat : 7806 (java) S 7805 7805 7744 0 -1 1077944320 590286 0 0 0 19850 3065 0 0 20 0 20 0 4827493 13585620992 2669227 33554432000 4194304 4196468 140728587746064 140728587728608 140705176674039 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
/proc/7806/statm: 3316802 2669227 3245 1 0 3304035 0
[pid=7806/tid=7807] ppid=7805 vsize=13267208 CPUtime=98.12 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7807/stat : 7807 (java) S 7805 7805 7744 0 -1 1077944384 53545 0 0 0 9788 24 0 0 20 0 20 0 4827493 13585620992 2669227 33554432000 4194304 4196468 140728587746064 140705180912656 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7809] ppid=7805 vsize=13267208 CPUtime=15.89 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7809/stat : 7809 (java) S 7805 7805 7744 0 -1 1077944384 29771 0 0 0 1222 367 0 0 20 0 20 0 4827494 13585620992 2669227 33554432000 4194304 4196468 140728587746064 140704776309136 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7810] ppid=7805 vsize=13267208 CPUtime=15.77 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7810/stat : 7810 (java) S 7805 7805 7744 0 -1 1077944384 30145 0 0 0 1203 374 0 0 20 0 20 0 4827494 13585620992 2669227 33554432000 4194304 4196468 140728587746064 140704775256336 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7811] ppid=7805 vsize=13267208 CPUtime=15.75 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7811/stat : 7811 (java) S 7805 7805 7744 0 -1 1077944384 45176 0 0 0 1215 360 0 0 20 0 20 0 4827494 13585620992 2669227 33554432000 4194304 4196468 140728587746064 140704774204048 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7812] ppid=7805 vsize=13267208 CPUtime=15.87 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7812/stat : 7812 (java) S 7805 7805 7744 0 -1 1077944384 44430 0 0 0 1191 396 0 0 20 0 20 0 4827494 13585620992 2669227 33554432000 4194304 4196468 140728587746064 140704773151248 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7813] ppid=7805 vsize=13267208 CPUtime=15.94 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7813/stat : 7813 (java) S 7805 7805 7744 0 -1 1077944384 63365 0 0 0 1219 375 0 0 20 0 20 0 4827494 13585620992 2669227 33554432000 4194304 4196468 140728587746064 140704772098960 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7814] ppid=7805 vsize=13267208 CPUtime=15.69 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7814/stat : 7814 (java) S 7805 7805 7744 0 -1 1077944384 62072 0 0 0 1178 391 0 0 20 0 20 0 4827494 13585620992 2669227 33554432000 4194304 4196468 140728587746064 140704771046160 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7815] ppid=7805 vsize=13267208 CPUtime=15.58 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7815/stat : 7815 (java) S 7805 7805 7744 0 -1 1077944384 41988 0 0 0 1188 370 0 0 20 0 20 0 4827494 13585620992 2669227 33554432000 4194304 4196468 140728587746064 140704769993872 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7816] ppid=7805 vsize=13267208 CPUtime=15.88 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7816/stat : 7816 (java) S 7805 7805 7744 0 -1 1077944384 186906 0 0 0 1196 392 0 0 20 0 20 0 4827494 13585620992 2669227 33554432000 4194304 4196468 140728587746064 140704768941072 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7817] ppid=7805 vsize=13267208 CPUtime=3.03 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7817/stat : 7817 (java) R 7805 7805 7744 0 -1 4202560 22566 0 0 0 300 3 0 0 20 0 20 0 4827496 13585620992 2669227 33554432000 4194304 4196468 140728587746064 140703841440352 140705161670443 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7818] ppid=7805 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7818/stat : 7818 (java) S 7805 7805 7744 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 4827497 13585620992 2669227 33554432000 4194304 4196468 140728587746064 140703840387936 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7819] ppid=7805 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7819/stat : 7819 (java) S 7805 7805 7744 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 4827498 13585620992 2669227 33554432000 4194304 4196468 140728587746064 140703839335552 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7820] ppid=7805 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7820/stat : 7820 (java) S 7805 7805 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4827502 13585620992 2669227 33554432000 4194304 4196468 140728587746064 140703838283856 140705176692635 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7821] ppid=7805 vsize=13267208 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7821/stat : 7821 (java) S 7805 7805 7744 0 -1 1077944384 2132 0 0 0 39 0 0 0 20 0 20 0 4827502 13585620992 2669227 33554432000 4194304 4196468 140728587746064 140703837231728 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7822] ppid=7805 vsize=13267208 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7822/stat : 7822 (java) S 7805 7805 7744 0 -1 1077944384 1791 0 0 0 32 0 0 0 20 0 20 0 4827502 13585620992 2669227 33554432000 4194304 4196468 140728587746064 140703836178928 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7823] ppid=7805 vsize=13267208 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7823/stat : 7823 (java) S 7805 7805 7744 0 -1 1077944384 2354 0 0 0 35 0 0 0 20 0 20 0 4827502 13585620992 2669227 33554432000 4194304 4196468 140728587746064 140703835126640 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7824] ppid=7805 vsize=13267208 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7824/stat : 7824 (java) S 7805 7805 7744 0 -1 1077944384 2183 0 0 0 32 1 0 0 20 0 20 0 4827502 13585620992 2669227 33554432000 4194304 4196468 140728587746064 140703834073840 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7825] ppid=7805 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7825/stat : 7825 (java) S 7805 7805 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4827502 13585620992 2669227 33554432000 4194304 4196468 140728587746064 140703833020768 140705176684245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
[pid=7806/tid=7826] ppid=7805 vsize=13267208 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7826/stat : 7826 (java) S 7805 7805 7744 0 -1 1077944384 520 0 0 0 4 4 0 0 20 0 20 0 4827502 13585620992 2669227 33554432000 4194304 4196468 140728587746064 140703831968048 140705176685186 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32616448 140728587748540 140728587748716 140728587748716 140728587751375 0
Current children cumulated CPU time (s) 229.15
Current children cumulated vsize (KiB) 13276720
[startup+117.501 s]
/proc/loadavg: 5.92 9.53 12.20 17/291 8089
/proc/meminfo: memFree=20597144/32770624 swapFree=5880/296968
[pid=7805] ppid=7802 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7805/stat : 7805 (xcsp3-exec) S 7802 7805 7744 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4827492 9740288 345 33554432000 4194304 5098028 140720415526160 140720415524264 140170903306876 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35938304 140720415528078 140720415528288 140720415528288 140720415530987 0
/proc/7805/statm: 2378 345 289 221 0 87 0
[pid=7806] ppid=7805 vsize=0 CPUtime=229.36 cores=0,2,4,6,8,10,12,14
/proc/7806/stat : 7806 (java) Z 7805 7805 7744 0 -1 4227084 590453 0 0 0 19864 3072 0 0 20 0 2 0 4827493 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/7806/statm: 0 0 0 0 0 0 0
[pid=7806/tid=7809] ppid=7805 vsize=0 CPUtime=15.95 cores=0,2,4,6,8,10,12,14
/proc/7806/task/7809/stat : 7809 (java) R 7805 7805 7744 0 -1 4203588 29771 0 0 0 1222 373 0 0 20 0 2 0 4827494 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) 229.36
Current children cumulated vsize (KiB) 9512
Child status: 1
Real time (s): 117.522
CPU time (s): 229.384
CPU user time (s): 198.642
CPU system time (s): 30.7417
CPU usage (%): 195.184
Max. virtual memory (cumulated for all children) (KiB): 13276720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 198.642
system time used= 30.7417
maximum resident set size= 10677228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 590980
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19343
involuntary context switches= 15361
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.946604 second user time and 1.34688 second system time
The end