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-4248839-1500693086/watcher-4248839-1500693086 -o /tmp/evaluation-result-4248839-1500693086/solver-4248839-1500693086 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7652 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 979747519 HOME/instance-4248839-1500693086.xml
pid=10706
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: 11.39 12.84 13.49 10/272 10709
/proc/meminfo: memFree=29014112/32770624 swapFree=5800/281912
[pid=10709] ppid=10706 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10709/stat : 10709 (xcsp3-exec) S 10706 10709 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4576331 9740288 346 33554432000 4194304 5098028 140721508269952 140721508268056 139739193836156 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7299072 140721508275343 140721508275552 140721508275552 140721508278251 0
/proc/10709/statm: 2378 346 289 221 0 87 0
[startup+0.10014 s]
/proc/loadavg: 11.39 12.84 13.49 10/272 10709
/proc/meminfo: memFree=29014112/32770624 swapFree=5800/281912
[pid=10709] ppid=10706 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10709/stat : 10709 (xcsp3-exec) S 10706 10709 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4576331 9740288 346 33554432000 4194304 5098028 140721508269952 140721508268056 139739193836156 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7299072 140721508275343 140721508275552 140721508275552 140721508278251 0
/proc/10709/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200246 s]
/proc/loadavg: 11.39 12.84 13.49 10/272 10709
/proc/meminfo: memFree=29014112/32770624 swapFree=5800/281912
[pid=10709] ppid=10706 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10709/stat : 10709 (xcsp3-exec) S 10706 10709 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4576331 9740288 346 33554432000 4194304 5098028 140721508269952 140721508268056 139739193836156 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7299072 140721508275343 140721508275552 140721508275552 140721508278251 0
/proc/10709/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300209 s]
/proc/loadavg: 11.39 12.84 13.49 10/272 10709
/proc/meminfo: memFree=29014112/32770624 swapFree=5800/281912
[pid=10709] ppid=10706 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10709/stat : 10709 (xcsp3-exec) S 10706 10709 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4576331 9740288 346 33554432000 4194304 5098028 140721508269952 140721508268056 139739193836156 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7299072 140721508275343 140721508275552 140721508275552 140721508278251 0
/proc/10709/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700353 s]
/proc/loadavg: 11.39 12.84 13.49 10/272 10709
/proc/meminfo: memFree=29014112/32770624 swapFree=5800/281912
[pid=10709] ppid=10706 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10709/stat : 10709 (xcsp3-exec) S 10706 10709 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4576331 9740288 346 33554432000 4194304 5098028 140721508269952 140721508268056 139739193836156 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7299072 140721508275343 140721508275552 140721508275552 140721508278251 0
/proc/10709/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50091 s]
/proc/loadavg: 11.20 12.77 13.47 10/293 10730
/proc/meminfo: memFree=28837516/32770624 swapFree=5800/281940
[pid=10709] ppid=10706 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10709/stat : 10709 (xcsp3-exec) S 10706 10709 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4576331 9740288 346 33554432000 4194304 5098028 140721508269952 140721508268056 139739193836156 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7299072 140721508275343 140721508275552 140721508275552 140721508278251 0
/proc/10709/statm: 2378 346 289 221 0 87 0
[pid=10710] ppid=10709 vsize=13269256 CPUtime=2.58 cores=0,2,4,6,8,10,12,14
/proc/10710/stat : 10710 (java) S 10709 10709 7621 0 -1 1077944320 12451 0 0 0 237 21 0 0 20 0 20 0 4576331 13587718144 51711 33554432000 4194304 4196468 140733773060736 140733773043280 139879898234615 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
/proc/10710/statm: 3317314 51711 3207 1 0 3304547 0
[pid=10710/tid=10711] ppid=10709 vsize=13269256 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10711/stat : 10711 (java) R 10709 10709 7621 0 -1 4202560 6674 0 0 0 139 5 0 0 20 0 20 0 4576331 13587718144 51711 33554432000 4194304 4196468 140733773060736 139879902473504 139879521384019 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10713] ppid=10709 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10713/stat : 10713 (java) S 10709 10709 7621 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 20 0 4576332 13587718144 51711 33554432000 4194304 4196468 140733773060736 139879497816464 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10714] ppid=10709 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10714/stat : 10714 (java) S 10709 10709 7621 0 -1 1077944384 27 0 0 0 1 1 0 0 20 0 20 0 4576332 13587718144 51711 33554432000 4194304 4196468 140733773060736 139879496763664 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10715] ppid=10709 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10715/stat : 10715 (java) S 10709 10709 7621 0 -1 1077944384 22 0 0 0 1 2 0 0 20 0 20 0 4576332 13587718144 51711 33554432000 4194304 4196468 140733773060736 139879495711376 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10716] ppid=10709 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10716/stat : 10716 (java) S 10709 10709 7621 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 20 0 4576332 13587718144 51711 33554432000 4194304 4196468 140733773060736 139879494658576 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10717] ppid=10709 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10717/stat : 10717 (java) S 10709 10709 7621 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 20 0 4576332 13587718144 51711 33554432000 4194304 4196468 140733773060736 139879493606288 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10718] ppid=10709 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10718/stat : 10718 (java) S 10709 10709 7621 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 20 0 4576332 13587718144 51711 33554432000 4194304 4196468 140733773060736 139879492553488 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10719] ppid=10709 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10719/stat : 10719 (java) S 10709 10709 7621 0 -1 1077944384 24 0 0 0 1 2 0 0 20 0 20 0 4576332 13587718144 51711 33554432000 4194304 4196468 140733773060736 139879491501200 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10720] ppid=10709 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10720/stat : 10720 (java) S 10709 10709 7621 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 20 0 4576332 13587718144 51711 33554432000 4194304 4196468 140733773060736 139879490448400 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10721] ppid=10709 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10721/stat : 10721 (java) S 10709 10709 7621 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4576334 13587718144 51711 33554432000 4194304 4196468 140733773060736 139879359936624 139879898245762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10722] ppid=10709 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10722/stat : 10722 (java) S 10709 10709 7621 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4576335 13587718144 51711 33554432000 4194304 4196468 140733773060736 139879358882592 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10723] ppid=10709 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10723/stat : 10723 (java) S 10709 10709 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4576335 13587718144 51711 33554432000 4194304 4196468 140733773060736 139879357830256 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10724] ppid=10709 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10724/stat : 10724 (java) S 10709 10709 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4576339 13587718144 51711 33554432000 4194304 4196468 140733773060736 139879356778576 139879898253211 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10725] ppid=10709 vsize=13269256 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10725/stat : 10725 (java) S 10709 10709 7621 0 -1 1077944384 1034 0 0 0 16 0 0 0 20 0 20 0 4576339 13587718144 51711 33554432000 4194304 4196468 140733773060736 139879355726448 139879898245762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10726] ppid=10709 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10726/stat : 10726 (java) S 10709 10709 7621 0 -1 1077944384 835 0 0 0 20 0 0 0 20 0 20 0 4576339 13587718144 51711 33554432000 4194304 4196468 140733773060736 139879354673648 139879898245762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10727] ppid=10709 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10727/stat : 10727 (java) S 10709 10709 7621 0 -1 1077944384 1036 0 0 0 22 0 0 0 20 0 20 0 4576339 13587718144 51711 33554432000 4194304 4196468 140733773060736 139879353621360 139879898245762 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10728] ppid=10709 vsize=13269256 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10728/stat : 10728 (java) S 10709 10709 7621 0 -1 1077944384 1308 0 0 0 25 0 0 0 20 0 20 0 4576339 13587718144 51711 33554432000 4194304 4196468 140733773060736 139879352568560 139879898245762 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10729] ppid=10709 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10729/stat : 10729 (java) S 10709 10709 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4576340 13587718144 51711 33554432000 4194304 4196468 140733773060736 139879351515488 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10730] ppid=10709 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10730/stat : 10730 (java) S 10709 10709 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4576340 13587718144 51711 33554432000 4194304 4196468 140733773060736 139879350462768 139879898245762 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 13278768
[startup+3.10092 s]
/proc/loadavg: 11.20 12.77 13.47 10/293 10730
/proc/meminfo: memFree=28671320/32770624 swapFree=5800/281940
[pid=10709] ppid=10706 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10709/stat : 10709 (xcsp3-exec) S 10706 10709 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4576331 9740288 346 33554432000 4194304 5098028 140721508269952 140721508268056 139739193836156 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7299072 140721508275343 140721508275552 140721508275552 140721508278251 0
/proc/10709/statm: 2378 346 289 221 0 87 0
[pid=10710] ppid=10709 vsize=13269256 CPUtime=4.8 cores=0,2,4,6,8,10,12,14
/proc/10710/stat : 10710 (java) S 10709 10709 7621 0 -1 1077944320 13480 0 0 0 424 56 0 0 20 0 20 0 4576331 13587718144 97133 33554432000 4194304 4196468 140733773060736 140733773043280 139879898234615 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
/proc/10710/statm: 3317314 97133 3220 1 0 3304547 0
[pid=10710/tid=10711] ppid=10709 vsize=13269256 CPUtime=2.95 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10711/stat : 10711 (java) R 10709 10709 7621 0 -1 4202560 7204 0 0 0 289 6 0 0 20 0 20 0 4576331 13587718144 97133 33554432000 4194304 4196468 140733773060736 139879902473680 139879521173084 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10713] ppid=10709 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10713/stat : 10713 (java) S 10709 10709 7621 0 -1 1077944384 55 0 0 0 3 5 0 0 20 0 20 0 4576332 13587718144 97133 33554432000 4194304 4196468 140733773060736 139879497816464 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10714] ppid=10709 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10714/stat : 10714 (java) S 10709 10709 7621 0 -1 1077944384 66 0 0 0 4 6 0 0 20 0 20 0 4576332 13587718144 97133 33554432000 4194304 4196468 140733773060736 139879496763664 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10715] ppid=10709 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10715/stat : 10715 (java) S 10709 10709 7621 0 -1 1077944384 63 0 0 0 4 5 0 0 20 0 20 0 4576332 13587718144 97133 33554432000 4194304 4196468 140733773060736 139879495711376 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10716] ppid=10709 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10716/stat : 10716 (java) S 10709 10709 7621 0 -1 1077944384 65 0 0 0 3 6 0 0 20 0 20 0 4576332 13587718144 97133 33554432000 4194304 4196468 140733773060736 139879494658576 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10717] ppid=10709 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10717/stat : 10717 (java) S 10709 10709 7621 0 -1 1077944384 65 0 0 0 4 6 0 0 20 0 20 0 4576332 13587718144 97133 33554432000 4194304 4196468 140733773060736 139879493606288 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10718] ppid=10709 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10718/stat : 10718 (java) S 10709 10709 7621 0 -1 1077944384 61 0 0 0 4 5 0 0 20 0 20 0 4576332 13587718144 97133 33554432000 4194304 4196468 140733773060736 139879492553488 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10719] ppid=10709 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10719/stat : 10719 (java) S 10709 10709 7621 0 -1 1077944384 61 0 0 0 4 5 0 0 20 0 20 0 4576332 13587718144 97133 33554432000 4194304 4196468 140733773060736 139879491501200 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10720] ppid=10709 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10720/stat : 10720 (java) S 10709 10709 7621 0 -1 1077944384 60 0 0 0 3 5 0 0 20 0 20 0 4576332 13587718144 97133 33554432000 4194304 4196468 140733773060736 139879490448400 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10721] ppid=10709 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10721/stat : 10721 (java) S 10709 10709 7621 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 4576334 13587718144 97133 33554432000 4194304 4196468 140733773060736 139879359936624 139879898245762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10722] ppid=10709 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10722/stat : 10722 (java) S 10709 10709 7621 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4576335 13587718144 97133 33554432000 4194304 4196468 140733773060736 139879358882656 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10723] ppid=10709 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10723/stat : 10723 (java) S 10709 10709 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4576335 13587718144 97133 33554432000 4194304 4196468 140733773060736 139879357830272 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10724] ppid=10709 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10724/stat : 10724 (java) S 10709 10709 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4576339 13587718144 97133 33554432000 4194304 4196468 140733773060736 139879356778576 139879898253211 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10725] ppid=10709 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10725/stat : 10725 (java) S 10709 10709 7621 0 -1 1077944384 1048 0 0 0 21 0 0 0 20 0 20 0 4576339 13587718144 97133 33554432000 4194304 4196468 140733773060736 139879355726448 139879898245762 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10726] ppid=10709 vsize=13269256 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10726/stat : 10726 (java) S 10709 10709 7621 0 -1 1077944384 844 0 0 0 23 0 0 0 20 0 20 0 4576339 13587718144 97133 33554432000 4194304 4196468 140733773060736 139879354673648 139879898245762 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10727] ppid=10709 vsize=13269256 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10727/stat : 10727 (java) S 10709 10709 7621 0 -1 1077944384 1044 0 0 0 27 0 0 0 20 0 20 0 4576339 13587718144 97133 33554432000 4194304 4196468 140733773060736 139879353621360 139879898245762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10728] ppid=10709 vsize=13269256 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10728/stat : 10728 (java) S 10709 10709 7621 0 -1 1077944384 1338 0 0 0 27 0 0 0 20 0 20 0 4576339 13587718144 97133 33554432000 4194304 4196468 140733773060736 139879352568560 139879898245762 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10729] ppid=10709 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10729/stat : 10729 (java) S 10709 10709 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4576340 13587718144 97133 33554432000 4194304 4196468 140733773060736 139879351515488 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10730] ppid=10709 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10730/stat : 10730 (java) S 10709 10709 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4576340 13587718144 97133 33554432000 4194304 4196468 140733773060736 139879350462768 139879898245762 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 13278768
[startup+6.30117 s]
/proc/loadavg: 11.20 12.77 13.47 10/293 10730
/proc/meminfo: memFree=28312256/32770624 swapFree=5800/281952
[pid=10709] ppid=10706 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10709/stat : 10709 (xcsp3-exec) S 10706 10709 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4576331 9740288 346 33554432000 4194304 5098028 140721508269952 140721508268056 139739193836156 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7299072 140721508275343 140721508275552 140721508275552 140721508278251 0
/proc/10709/statm: 2378 346 289 221 0 87 0
[pid=10710] ppid=10709 vsize=13269256 CPUtime=8.88 cores=0,2,4,6,8,10,12,14
/proc/10710/stat : 10710 (java) S 10709 10709 7621 0 -1 1077944320 17530 0 0 0 774 114 0 0 20 0 20 0 4576331 13587718144 178675 33554432000 4194304 4196468 140733773060736 140733773043280 139879898234615 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
/proc/10710/statm: 3317314 178675 3240 1 0 3304547 0
[pid=10710/tid=10711] ppid=10709 vsize=13269256 CPUtime=6.03 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10711/stat : 10711 (java) R 10709 10709 7621 0 -1 4202560 8398 0 0 0 592 11 0 0 20 0 20 0 4576331 13587718144 178675 33554432000 4194304 4196468 140733773060736 139879902469256 139879521218088 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10713] ppid=10709 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10713/stat : 10713 (java) S 10709 10709 7621 0 -1 1077944384 112 0 0 0 8 12 0 0 20 0 20 0 4576332 13587718144 178675 33554432000 4194304 4196468 140733773060736 139879497816464 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10714] ppid=10709 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10714/stat : 10714 (java) S 10709 10709 7621 0 -1 1077944384 122 0 0 0 9 12 0 0 20 0 20 0 4576332 13587718144 178675 33554432000 4194304 4196468 140733773060736 139879496763664 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10715] ppid=10709 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10715/stat : 10715 (java) S 10709 10709 7621 0 -1 1077944384 124 0 0 0 10 12 0 0 20 0 20 0 4576332 13587718144 178675 33554432000 4194304 4196468 140733773060736 139879495711376 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10716] ppid=10709 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10716/stat : 10716 (java) S 10709 10709 7621 0 -1 1077944384 124 0 0 0 9 13 0 0 20 0 20 0 4576332 13587718144 178675 33554432000 4194304 4196468 140733773060736 139879494658576 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10717] ppid=10709 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10717/stat : 10717 (java) S 10709 10709 7621 0 -1 1077944384 125 0 0 0 9 13 0 0 20 0 20 0 4576332 13587718144 178675 33554432000 4194304 4196468 140733773060736 139879493606288 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10718] ppid=10709 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10718/stat : 10718 (java) S 10709 10709 7621 0 -1 1077944384 118 0 0 0 9 12 0 0 20 0 20 0 4576332 13587718144 178675 33554432000 4194304 4196468 140733773060736 139879492553488 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10719] ppid=10709 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10719/stat : 10719 (java) S 10709 10709 7621 0 -1 1077944384 123 0 0 0 9 12 0 0 20 0 20 0 4576332 13587718144 178675 33554432000 4194304 4196468 140733773060736 139879491501200 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10720] ppid=10709 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10720/stat : 10720 (java) S 10709 10709 7621 0 -1 1077944384 115 0 0 0 8 11 0 0 20 0 20 0 4576332 13587718144 178675 33554432000 4194304 4196468 140733773060736 139879490448400 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10721] ppid=10709 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10721/stat : 10721 (java) S 10709 10709 7621 0 -1 1077944384 541 0 0 0 0 0 0 0 20 0 20 0 4576334 13587718144 178675 33554432000 4194304 4196468 140733773060736 139879359936624 139879898245762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10722] ppid=10709 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10722/stat : 10722 (java) S 10709 10709 7621 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4576335 13587718144 178675 33554432000 4194304 4196468 140733773060736 139879358882656 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10723] ppid=10709 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10723/stat : 10723 (java) S 10709 10709 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4576335 13587718144 178675 33554432000 4194304 4196468 140733773060736 139879357830272 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10724] ppid=10709 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10724/stat : 10724 (java) S 10709 10709 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4576339 13587718144 178675 33554432000 4194304 4196468 140733773060736 139879356778576 139879898253211 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
################
# More data... #
################
/proc/10710/task/10730/stat : 10730 (java) S 10709 10709 7621 0 -1 1077944384 56 0 0 0 1 1 0 0 20 0 20 0 4576340 13587718144 1189770 33554432000 4194304 4196468 140733773060736 139879350462768 139879898245762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
Current children cumulated CPU time (s) 89.3
Current children cumulated vsize (KiB) 13278768
[startup+62.4009 s]
/proc/loadavg: 8.99 11.89 13.12 10/293 11418
/proc/meminfo: memFree=26797832/32770624 swapFree=5800/282240
[pid=10709] ppid=10706 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10709/stat : 10709 (xcsp3-exec) S 10706 10709 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4576331 9740288 346 33554432000 4194304 5098028 140721508269952 140721508268056 139739193836156 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7299072 140721508275343 140721508275552 140721508275552 140721508278251 0
/proc/10709/statm: 2378 346 289 221 0 87 0
[pid=10710] ppid=10709 vsize=13269256 CPUtime=92.84 cores=0,2,4,6,8,10,12,14
/proc/10710/stat : 10710 (java) S 10709 10709 7621 0 -1 1077944320 98876 0 0 0 8445 839 0 0 20 0 20 0 4576331 13587718144 1190348 33554432000 4194304 4196468 140733773060736 140733773043280 139879898234615 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
/proc/10710/statm: 3317314 1190348 3268 1 0 3304547 0
[pid=10710/tid=10711] ppid=10709 vsize=13269256 CPUtime=56.8 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10711/stat : 10711 (java) R 10709 10709 7621 0 -1 4202560 16108 0 0 0 5639 41 0 0 20 0 20 0 4576331 13587718144 1190348 33554432000 4194304 4196468 140733773060736 139879902470648 139879521173075 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10713] ppid=10709 vsize=13269256 CPUtime=3.98 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10713/stat : 10713 (java) S 10709 10709 7621 0 -1 1077944384 5800 0 0 0 313 85 0 0 20 0 20 0 4576332 13587718144 1190348 33554432000 4194304 4196468 140733773060736 139879497816464 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10714] ppid=10709 vsize=13269256 CPUtime=4.04 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10714/stat : 10714 (java) S 10709 10709 7621 0 -1 1077944384 6499 0 0 0 299 105 0 0 20 0 20 0 4576332 13587718144 1190348 33554432000 4194304 4196468 140733773060736 139879496763664 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10715] ppid=10709 vsize=13269256 CPUtime=4.05 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10715/stat : 10715 (java) S 10709 10709 7621 0 -1 1077944384 12124 0 0 0 307 98 0 0 20 0 20 0 4576332 13587718144 1190348 33554432000 4194304 4196468 140733773060736 139879495711376 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10716] ppid=10709 vsize=13269256 CPUtime=4.11 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10716/stat : 10716 (java) S 10709 10709 7621 0 -1 1077944384 5094 0 0 0 311 100 0 0 20 0 20 0 4576332 13587718144 1190348 33554432000 4194304 4196468 140733773060736 139879494658576 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10717] ppid=10709 vsize=13269256 CPUtime=4.06 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10717/stat : 10717 (java) S 10709 10709 7621 0 -1 1077944384 13221 0 0 0 304 102 0 0 20 0 20 0 4576332 13587718144 1190348 33554432000 4194304 4196468 140733773060736 139879493606288 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10718] ppid=10709 vsize=13269256 CPUtime=4.07 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10718/stat : 10718 (java) S 10709 10709 7621 0 -1 1077944384 7148 0 0 0 305 102 0 0 20 0 20 0 4576332 13587718144 1190348 33554432000 4194304 4196468 140733773060736 139879492553488 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10719] ppid=10709 vsize=13269256 CPUtime=4.05 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10719/stat : 10719 (java) S 10709 10709 7621 0 -1 1077944384 6037 0 0 0 301 104 0 0 20 0 20 0 4576332 13587718144 1190348 33554432000 4194304 4196468 140733773060736 139879491501200 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10720] ppid=10709 vsize=13269256 CPUtime=4.05 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10720/stat : 10720 (java) S 10709 10709 7621 0 -1 1077944384 6087 0 0 0 313 92 0 0 20 0 20 0 4576332 13587718144 1190348 33554432000 4194304 4196468 140733773060736 139879490448400 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10721] ppid=10709 vsize=13269256 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10721/stat : 10721 (java) S 10709 10709 7621 0 -1 1077944384 5697 0 0 0 137 1 0 0 20 0 20 0 4576334 13587718144 1190348 33554432000 4194304 4196468 140733773060736 139879359936624 139879898245762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10722] ppid=10709 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10722/stat : 10722 (java) S 10709 10709 7621 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 4576335 13587718144 1190348 33554432000 4194304 4196468 140733773060736 139879358882656 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10723] ppid=10709 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10723/stat : 10723 (java) S 10709 10709 7621 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 20 0 4576335 13587718144 1190348 33554432000 4194304 4196468 140733773060736 139879357830272 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10724] ppid=10709 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10724/stat : 10724 (java) S 10709 10709 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4576339 13587718144 1190348 33554432000 4194304 4196468 140733773060736 139879356778576 139879898253211 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10725] ppid=10709 vsize=13269256 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10725/stat : 10725 (java) S 10709 10709 7621 0 -1 1077944384 2080 0 0 0 38 0 0 0 20 0 20 0 4576339 13587718144 1190348 33554432000 4194304 4196468 140733773060736 139879355726448 139879898245762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10726] ppid=10709 vsize=13269256 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10726/stat : 10726 (java) S 10709 10709 7621 0 -1 1077944384 2305 0 0 0 45 0 0 0 20 0 20 0 4576339 13587718144 1190348 33554432000 4194304 4196468 140733773060736 139879354673648 139879898245762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10727] ppid=10709 vsize=13269256 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10727/stat : 10727 (java) S 10709 10709 7621 0 -1 1077944384 4319 0 0 0 74 0 0 0 20 0 20 0 4576339 13587718144 1190348 33554432000 4194304 4196468 140733773060736 139879353621360 139879898245762 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10728] ppid=10709 vsize=13269256 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10728/stat : 10728 (java) S 10709 10709 7621 0 -1 1077944384 4928 0 0 0 51 0 0 0 20 0 20 0 4576339 13587718144 1190348 33554432000 4194304 4196468 140733773060736 139879352568560 139879898245762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10729] ppid=10709 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10729/stat : 10729 (java) S 10709 10709 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4576340 13587718144 1190348 33554432000 4194304 4196468 140733773060736 139879351515488 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10730] ppid=10709 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10730/stat : 10730 (java) S 10709 10709 7621 0 -1 1077944384 56 0 0 0 1 1 0 0 20 0 20 0 4576340 13587718144 1190348 33554432000 4194304 4196468 140733773060736 139879350462768 139879898245762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
Current children cumulated CPU time (s) 92.84
Current children cumulated vsize (KiB) 13278768
[startup+63.2008 s]
/proc/loadavg: 8.99 11.89 13.12 10/293 11418
/proc/meminfo: memFree=26745324/32770624 swapFree=5800/282240
[pid=10709] ppid=10706 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10709/stat : 10709 (xcsp3-exec) S 10706 10709 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4576331 9740288 346 33554432000 4194304 5098028 140721508269952 140721508268056 139739193836156 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7299072 140721508275343 140721508275552 140721508275552 140721508278251 0
/proc/10709/statm: 2378 346 289 221 0 87 0
[pid=10710] ppid=10709 vsize=13801768 CPUtime=94 cores=0,2,4,6,8,10,12,14
/proc/10710/stat : 10710 (java) S 10709 10709 7621 0 -1 1077944320 99689 0 0 0 8561 839 0 0 20 0 28 0 4576331 14133010432 1190518 33554432000 4194304 4196468 140733773060736 140733773043280 139879898234615 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
/proc/10710/statm: 3450442 1190518 3268 1 0 3437675 0
[pid=10710/tid=10711] ppid=10709 vsize=13801768 CPUtime=57.55 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10711/stat : 10711 (java) S 10709 10709 7621 0 -1 1077944384 16272 0 0 0 5714 41 0 0 20 0 28 0 4576331 14133010432 1190518 33554432000 4194304 4196468 140733773060736 139879902475392 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10713] ppid=10709 vsize=13801768 CPUtime=3.98 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10713/stat : 10713 (java) S 10709 10709 7621 0 -1 1077944384 5800 0 0 0 313 85 0 0 20 0 28 0 4576332 14133010432 1190518 33554432000 4194304 4196468 140733773060736 139879497816464 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10714] ppid=10709 vsize=13801768 CPUtime=4.04 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10714/stat : 10714 (java) S 10709 10709 7621 0 -1 1077944384 6499 0 0 0 299 105 0 0 20 0 28 0 4576332 14133010432 1190518 33554432000 4194304 4196468 140733773060736 139879496763664 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10715] ppid=10709 vsize=13801768 CPUtime=4.05 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10715/stat : 10715 (java) S 10709 10709 7621 0 -1 1077944384 12124 0 0 0 307 98 0 0 20 0 28 0 4576332 14133010432 1190518 33554432000 4194304 4196468 140733773060736 139879495711376 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10716] ppid=10709 vsize=13801768 CPUtime=4.11 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10716/stat : 10716 (java) S 10709 10709 7621 0 -1 1077944384 5094 0 0 0 311 100 0 0 20 0 28 0 4576332 14133010432 1190518 33554432000 4194304 4196468 140733773060736 139879494658576 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10717] ppid=10709 vsize=13801768 CPUtime=4.06 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10717/stat : 10717 (java) S 10709 10709 7621 0 -1 1077944384 13221 0 0 0 304 102 0 0 20 0 28 0 4576332 14133010432 1190518 33554432000 4194304 4196468 140733773060736 139879493606288 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10718] ppid=10709 vsize=13801768 CPUtime=4.07 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10718/stat : 10718 (java) S 10709 10709 7621 0 -1 1077944384 7148 0 0 0 305 102 0 0 20 0 28 0 4576332 14133010432 1190518 33554432000 4194304 4196468 140733773060736 139879492553488 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10719] ppid=10709 vsize=13801768 CPUtime=4.05 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10719/stat : 10719 (java) S 10709 10709 7621 0 -1 1077944384 6037 0 0 0 301 104 0 0 20 0 28 0 4576332 14133010432 1190518 33554432000 4194304 4196468 140733773060736 139879491501200 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10720] ppid=10709 vsize=13801768 CPUtime=4.05 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10720/stat : 10720 (java) S 10709 10709 7621 0 -1 1077944384 6087 0 0 0 313 92 0 0 20 0 28 0 4576332 14133010432 1190518 33554432000 4194304 4196468 140733773060736 139879490448400 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10721] ppid=10709 vsize=13801768 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10721/stat : 10721 (java) S 10709 10709 7621 0 -1 1077944384 5700 0 0 0 137 1 0 0 20 0 28 0 4576334 14133010432 1190518 33554432000 4194304 4196468 140733773060736 139879359936624 139879898245762 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10722] ppid=10709 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10722/stat : 10722 (java) S 10709 10709 7621 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 4576335 14133010432 1190518 33554432000 4194304 4196468 140733773060736 139879358882656 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10723] ppid=10709 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10723/stat : 10723 (java) S 10709 10709 7621 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 28 0 4576335 14133010432 1190518 33554432000 4194304 4196468 140733773060736 139879357830272 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10724] ppid=10709 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10724/stat : 10724 (java) S 10709 10709 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4576339 14133010432 1190518 33554432000 4194304 4196468 140733773060736 139879356778576 139879898253211 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10725] ppid=10709 vsize=13801768 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10725/stat : 10725 (java) S 10709 10709 7621 0 -1 1077944384 2094 0 0 0 40 0 0 0 20 0 28 0 4576339 14133010432 1190518 33554432000 4194304 4196468 140733773060736 139879355726448 139879898245762 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10726] ppid=10709 vsize=13801768 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10726/stat : 10726 (java) R 10709 10709 7621 0 -1 4202560 2313 0 0 0 48 0 0 0 20 0 28 0 4576339 14133010432 1190518 33554432000 4194304 4196468 140733773060736 139879354673648 139879883344623 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10727] ppid=10709 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10727/stat : 10727 (java) S 10709 10709 7621 0 -1 1077944384 4377 0 0 0 78 0 0 0 20 0 28 0 4576339 14133010432 1190518 33554432000 4194304 4196468 140733773060736 139879353621360 139879898245762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10728] ppid=10709 vsize=13801768 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10728/stat : 10728 (java) S 10709 10709 7621 0 -1 1077944384 5183 0 0 0 56 0 0 0 20 0 28 0 4576339 14133010432 1190518 33554432000 4194304 4196468 140733773060736 139879352568560 139879898245762 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 12 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10729] ppid=10709 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10729/stat : 10729 (java) S 10709 10709 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4576340 14133010432 1190518 33554432000 4194304 4196468 140733773060736 139879351515488 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10730] ppid=10709 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10730/stat : 10730 (java) S 10709 10709 7621 0 -1 1077944384 56 0 0 0 1 1 0 0 20 0 28 0 4576340 14133010432 1190518 33554432000 4194304 4196468 140733773060736 139879350462768 139879898245762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
Current children cumulated CPU time (s) 94
Current children cumulated vsize (KiB) 13811280
[startup+63.6011 s]
/proc/loadavg: 8.99 11.89 13.12 10/293 11418
/proc/meminfo: memFree=26745324/32770624 swapFree=5800/282240
[pid=10709] ppid=10706 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10709/stat : 10709 (xcsp3-exec) S 10706 10709 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4576331 9740288 346 33554432000 4194304 5098028 140721508269952 140721508268056 139739193836156 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7299072 140721508275343 140721508275552 140721508275552 140721508278251 0
/proc/10709/statm: 2378 346 289 221 0 87 0
[pid=10710] ppid=10709 vsize=13801768 CPUtime=97.17 cores=0,2,4,6,8,10,12,14
/proc/10710/stat : 10710 (java) S 10709 10709 7621 0 -1 1077944320 102111 0 0 0 8876 841 0 0 20 0 28 0 4576331 14133010432 1192033 33554432000 4194304 4196468 140733773060736 140733773043280 139879898234615 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
/proc/10710/statm: 3450442 1192033 3276 1 0 3437675 0
[pid=10710/tid=10711] ppid=10709 vsize=13801768 CPUtime=57.55 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10711/stat : 10711 (java) S 10709 10709 7621 0 -1 1077944384 16272 0 0 0 5714 41 0 0 20 0 28 0 4576331 14133010432 1192033 33554432000 4194304 4196468 140733773060736 139879902475392 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10713] ppid=10709 vsize=13801768 CPUtime=3.98 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10713/stat : 10713 (java) S 10709 10709 7621 0 -1 1077944384 5800 0 0 0 313 85 0 0 20 0 28 0 4576332 14133010432 1192033 33554432000 4194304 4196468 140733773060736 139879497816464 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10714] ppid=10709 vsize=13801768 CPUtime=4.04 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10714/stat : 10714 (java) S 10709 10709 7621 0 -1 1077944384 6499 0 0 0 299 105 0 0 20 0 28 0 4576332 14133010432 1192033 33554432000 4194304 4196468 140733773060736 139879496763664 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10715] ppid=10709 vsize=13801768 CPUtime=4.05 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10715/stat : 10715 (java) S 10709 10709 7621 0 -1 1077944384 12124 0 0 0 307 98 0 0 20 0 28 0 4576332 14133010432 1192033 33554432000 4194304 4196468 140733773060736 139879495711376 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10716] ppid=10709 vsize=13801768 CPUtime=4.11 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10716/stat : 10716 (java) S 10709 10709 7621 0 -1 1077944384 5094 0 0 0 311 100 0 0 20 0 28 0 4576332 14133010432 1192033 33554432000 4194304 4196468 140733773060736 139879494658576 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10717] ppid=10709 vsize=13801768 CPUtime=4.06 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10717/stat : 10717 (java) S 10709 10709 7621 0 -1 1077944384 13221 0 0 0 304 102 0 0 20 0 28 0 4576332 14133010432 1192033 33554432000 4194304 4196468 140733773060736 139879493606288 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10718] ppid=10709 vsize=13801768 CPUtime=4.07 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10718/stat : 10718 (java) S 10709 10709 7621 0 -1 1077944384 7148 0 0 0 305 102 0 0 20 0 28 0 4576332 14133010432 1192033 33554432000 4194304 4196468 140733773060736 139879492553488 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10719] ppid=10709 vsize=13801768 CPUtime=4.05 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10719/stat : 10719 (java) S 10709 10709 7621 0 -1 1077944384 6037 0 0 0 301 104 0 0 20 0 28 0 4576332 14133010432 1192033 33554432000 4194304 4196468 140733773060736 139879491501200 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10720] ppid=10709 vsize=13801768 CPUtime=4.05 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10720/stat : 10720 (java) S 10709 10709 7621 0 -1 1077944384 6087 0 0 0 313 92 0 0 20 0 28 0 4576332 14133010432 1192033 33554432000 4194304 4196468 140733773060736 139879490448400 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10721] ppid=10709 vsize=13801768 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10721/stat : 10721 (java) S 10709 10709 7621 0 -1 1077944384 5700 0 0 0 137 1 0 0 20 0 28 0 4576334 14133010432 1192033 33554432000 4194304 4196468 140733773060736 139879359936624 139879898245762 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10722] ppid=10709 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10722/stat : 10722 (java) S 10709 10709 7621 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 4576335 14133010432 1192033 33554432000 4194304 4196468 140733773060736 139879358882656 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10723] ppid=10709 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10723/stat : 10723 (java) S 10709 10709 7621 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 28 0 4576335 14133010432 1192033 33554432000 4194304 4196468 140733773060736 139879357830272 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10724] ppid=10709 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10724/stat : 10724 (java) S 10709 10709 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4576339 14133010432 1192033 33554432000 4194304 4196468 140733773060736 139879356778576 139879898253211 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10725] ppid=10709 vsize=13801768 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10725/stat : 10725 (java) R 10709 10709 7621 0 -1 4202560 2539 0 0 0 62 0 0 0 20 0 28 0 4576339 14133010432 1192033 33554432000 4194304 4196468 140733773060736 139879355712992 139879876083969 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10726] ppid=10709 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10726/stat : 10726 (java) R 10709 10709 7621 0 -1 4202560 3573 0 0 0 74 1 0 0 20 0 28 0 4576339 14133010432 1192033 33554432000 4194304 4196468 140733773060736 139879354658608 139879875830775 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10727] ppid=10709 vsize=13801768 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10727/stat : 10727 (java) R 10709 10709 7621 0 -1 4202560 4521 0 0 0 102 0 0 0 20 0 28 0 4576339 14133010432 1192033 33554432000 4194304 4196468 140733773060736 139879353608768 139879876211050 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10728] ppid=10709 vsize=13801768 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10728/stat : 10728 (java) R 10709 10709 7621 0 -1 4202560 5680 0 0 0 70 0 0 0 20 0 28 0 4576339 14133010432 1192033 33554432000 4194304 4196468 140733773060736 139879352568560 139879898255962 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10729] ppid=10709 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10729/stat : 10729 (java) S 10709 10709 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4576340 14133010432 1192033 33554432000 4194304 4196468 140733773060736 139879351515488 139879898244821 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
[pid=10710/tid=10730] ppid=10709 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10730/stat : 10730 (java) S 10709 10709 7621 0 -1 1077944384 56 0 0 0 1 1 0 0 20 0 28 0 4576340 14133010432 1192033 33554432000 4194304 4196468 140733773060736 139879350462768 139879898245762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 13807616 140733773067452 140733773067628 140733773067628 140733773070287 0
Current children cumulated CPU time (s) 97.17
Current children cumulated vsize (KiB) 13811280
[startup+63.8012 s]
/proc/loadavg: 8.99 11.89 13.12 10/275 11426
/proc/meminfo: memFree=27069624/32770624 swapFree=5800/282244
[pid=10709] ppid=10706 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10709/stat : 10709 (xcsp3-exec) S 10706 10709 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4576331 9740288 346 33554432000 4194304 5098028 140721508269952 140721508268056 139739193836156 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7299072 140721508275343 140721508275552 140721508275552 140721508278251 0
/proc/10709/statm: 2378 346 289 221 0 87 0
[pid=10710] ppid=10709 vsize=0 CPUtime=98.6 cores=0,2,4,6,8,10,12,14
/proc/10710/stat : 10710 (java) Z 10709 10709 7621 0 -1 4227084 102561 0 0 0 9018 842 0 0 20 0 2 0 4576331 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/10710/statm: 0 0 0 0 0 0 0
[pid=10710/tid=10727] ppid=10709 vsize=0 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/10710/task/10727/stat : 10727 (java) R 10709 10709 7621 0 -1 4203588 4771 0 0 0 114 2 0 0 20 0 2 0 4576339 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 10 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 98.6
Current children cumulated vsize (KiB) 9512
Child status: 0
Real time (s): 63.8249
CPU time (s): 98.6242
CPU user time (s): 90.1822
CPU system time (s): 8.44201
CPU usage (%): 154.523
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 90.1822
system time used= 8.44201
maximum resident set size= 4771088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103090
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6666
involuntary context switches= 7239
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.470661 second user time and 0.606853 second system time
The end