2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14 parallel	OPT	6	27.3991	5.22502
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15121 MiB free)
  memory of node 1: 16384 MiB (15603 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393770-1568419452/watcher-4393770-1568419452 -o /tmp/evaluation-result-4393770-1568419452/solver-4393770-1568419452 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568416726-8779 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 800334196 HOME/instance-4393770-1568419452.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=9862, runsolver pid=9859

[startup+0.100111 s]*
/proc/loadavg: 7.70 7.41 6.99 3/212 9883
/proc/meminfo: memFree=31445596/32770624 swapFree=66982056/67108860
[pid=9862] ppid=9859 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/9862/stat : 9862 (xcsp3-exec) S 9859 9862 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418207836 115843072 364 33554432000 4194304 5098028 140723258976256 140723258974360 140191627375228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9699328 140723258983286 140723258983529 140723258983529 140723258986442 0
/proc/9862/statm: 28282 364 305 221 0 87 0
[pid=9864] ppid=9862 vsize=28227388 memory=30068 CPUtime=0.12 cores=0-7
/proc/9864/stat : 9864 (java) S 9862 9862 8752 0 -1 1077944320 5487 0 0 0 11 1 0 0 20 0 20 0 418207836 28904845312 7517 33554432000 4194304 4196468 140731330716720 140731330699264 140531690540791 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
/proc/9864/statm: 7056847 7517 3121 1 0 7019032 0
[pid=9864/tid=9865] ppid=9862 vsize=28227388 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/9864/task/9865/stat : 9865 (java) R 9862 9862 8752 0 -1 4202560 3393 0 0 0 8 1 0 0 20 0 20 0 418207836 28904845312 7517 33554432000 4194304 4196468 140731330716720 140531694772720 140531690564381 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9866] ppid=9862 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9864/task/9866/stat : 9866 (java) S 9862 9862 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418207837 28904845312 7517 33554432000 4194304 4196468 140731330716720 140531610393744 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9867] ppid=9862 vsize=28227388 memory=139775953647232 CPUtime=0 cores=0-7
/proc/9864/task/9867/stat : 9867 (java) S 9862 9862 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418207837 28904845312 7517 33554432000 4194304 4196468 140731330716720 140531609340944 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9868] ppid=9862 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9868/stat : 9868 (java) S 9862 9862 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418207837 28904845312 7517 33554432000 4194304 4196468 140731330716720 140531608288144 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9869] ppid=9862 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9869/stat : 9869 (java) S 9862 9862 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418207837 28904845312 7517 33554432000 4194304 4196468 140731330716720 140531607235344 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9870] ppid=9862 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9870/stat : 9870 (java) S 9862 9862 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418207837 28904845312 7517 33554432000 4194304 4196468 140731330716720 140531606182544 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9871] ppid=9862 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/9864/task/9871/stat : 9871 (java) S 9862 9862 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418207837 28904845312 7517 33554432000 4194304 4196468 140731330716720 140531605129744 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9872] ppid=9862 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9872/stat : 9872 (java) S 9862 9862 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418207837 28904845312 7517 33554432000 4194304 4196468 140731330716720 140531604076944 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9873] ppid=9862 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9873/stat : 9873 (java) S 9862 9862 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418207837 28904845312 7517 33554432000 4194304 4196468 140731330716720 140531603024144 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9874] ppid=9862 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9874/stat : 9874 (java) S 9862 9862 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418207838 28904845312 7517 33554432000 4194304 4196468 140731330716720 140529886305136 140531690551938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9875] ppid=9862 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9875/stat : 9875 (java) S 9862 9862 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418207839 28904845312 7517 33554432000 4194304 4196468 140731330716720 140529885251104 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9876] ppid=9862 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9876/stat : 9876 (java) S 9862 9862 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418207839 28904845312 7517 33554432000 4194304 4196468 140731330716720 140529884198256 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9877] ppid=9862 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9877/stat : 9877 (java) S 9862 9862 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418207841 28904845312 7517 33554432000 4194304 4196468 140731330716720 140529883146576 140531690559387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9878] ppid=9862 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9878/stat : 9878 (java) S 9862 9862 8752 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 418207842 28904845312 7517 33554432000 4194304 4196468 140731330716720 140529882093936 140531690551938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9879] ppid=9862 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9879/stat : 9879 (java) R 9862 9862 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418207842 28904845312 7517 33554432000 4194304 4196468 140731330716720 140529881041136 140531690551938 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9880] ppid=9862 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9880/stat : 9880 (java) S 9862 9862 8752 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 418207842 28904845312 7517 33554432000 4194304 4196468 140731330716720 140529879988336 140531690551938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9881] ppid=9862 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/9864/task/9881/stat : 9881 (java) R 9862 9862 8752 0 -1 4202560 359 0 0 0 1 0 0 0 20 0 20 0 418207842 28904845312 7517 33554432000 4194304 4196468 140731330716720 140529878935536 140531669510040 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9882] ppid=9862 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9882/stat : 9882 (java) S 9862 9862 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418207842 28904845312 7517 33554432000 4194304 4196468 140731330716720 140529877884000 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9883] ppid=9862 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/9864/task/9883/stat : 9883 (java) S 9862 9862 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418207842 28904845312 7517 33554432000 4194304 4196468 140731330716720 140529876831280 140531690551938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31524 KiB

[startup+0.210141 s]*
/proc/loadavg: 7.70 7.41 6.99 2/212 9883
/proc/meminfo: memFree=31432932/32770624 swapFree=66982056/67108860
[pid=9862] ppid=9859 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/9862/stat : 9862 (xcsp3-exec) S 9859 9862 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418207836 115843072 364 33554432000 4194304 5098028 140723258976256 140723258974360 140191627375228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9699328 140723258983286 140723258983529 140723258983529 140723258986442 0
/proc/9862/statm: 28282 364 305 221 0 87 0
[pid=9864] ppid=9862 vsize=28227388 memory=41620 CPUtime=0.33 cores=0-7
/proc/9864/stat : 9864 (java) S 9862 9862 8752 0 -1 1077944320 9059 0 0 0 30 3 0 0 20 0 20 0 418207836 28904845312 10405 33554432000 4194304 4196468 140731330716720 140731330699264 140531690540791 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
/proc/9864/statm: 7056847 10405 3318 1 0 7019032 0
[pid=9864/tid=9865] ppid=9862 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/9864/task/9865/stat : 9865 (java) R 9862 9862 8752 0 -1 4202560 6205 0 0 0 18 2 0 0 20 0 20 0 418207836 28904845312 10405 33554432000 4194304 4196468 140731330716720 140531694774912 140531674621278 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9866] ppid=9862 vsize=28227388 memory=329 CPUtime=0 cores=0-7
/proc/9864/task/9866/stat : 9866 (java) S 9862 9862 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418207837 28904845312 10405 33554432000 4194304 4196468 140731330716720 140531610393744 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9867] ppid=9862 vsize=28227388 memory=139775953656896 CPUtime=0 cores=0-7
/proc/9864/task/9867/stat : 9867 (java) S 9862 9862 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418207837 28904845312 10405 33554432000 4194304 4196468 140731330716720 140531609340944 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9868] ppid=9862 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/9864/task/9868/stat : 9868 (java) S 9862 9862 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418207837 28904845312 10405 33554432000 4194304 4196468 140731330716720 140531608288144 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9869] ppid=9862 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9869/stat : 9869 (java) S 9862 9862 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418207837 28904845312 10405 33554432000 4194304 4196468 140731330716720 140531607235344 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9870] ppid=9862 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9870/stat : 9870 (java) S 9862 9862 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418207837 28904845312 10405 33554432000 4194304 4196468 140731330716720 140531606182544 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9871] ppid=9862 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/9864/task/9871/stat : 9871 (java) S 9862 9862 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418207837 28904845312 10405 33554432000 4194304 4196468 140731330716720 140531605129744 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9872] ppid=9862 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9872/stat : 9872 (java) S 9862 9862 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418207837 28904845312 10405 33554432000 4194304 4196468 140731330716720 140531604076944 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9873] ppid=9862 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9873/stat : 9873 (java) S 9862 9862 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418207837 28904845312 10405 33554432000 4194304 4196468 140731330716720 140531603024144 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9874] ppid=9862 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9874/stat : 9874 (java) S 9862 9862 8752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418207838 28904845312 10405 33554432000 4194304 4196468 140731330716720 140529886305136 140531690551938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9875] ppid=9862 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9875/stat : 9875 (java) S 9862 9862 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418207839 28904845312 10405 33554432000 4194304 4196468 140731330716720 140529885251104 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9876] ppid=9862 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9876/stat : 9876 (java) S 9862 9862 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418207839 28904845312 10405 33554432000 4194304 4196468 140731330716720 140529884198256 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9877] ppid=9862 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9877/stat : 9877 (java) S 9862 9862 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418207841 28904845312 10405 33554432000 4194304 4196468 140731330716720 140529883146576 140531690559387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9878] ppid=9862 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/9864/task/9878/stat : 9878 (java) S 9862 9862 8752 0 -1 1077944384 390 0 0 0 1 0 0 0 20 0 20 0 418207842 28904845312 10405 33554432000 4194304 4196468 140731330716720 140529882093936 140531690551938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9879] ppid=9862 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/9864/task/9879/stat : 9879 (java) S 9862 9862 8752 0 -1 1077944384 201 0 0 0 1 0 0 0 20 0 20 0 418207842 28904845312 10405 33554432000 4194304 4196468 140731330716720 140529881041136 140531690551938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9880] ppid=9862 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/9864/task/9880/stat : 9880 (java) S 9862 9862 8752 0 -1 1077944384 200 0 0 0 1 0 0 0 20 0 20 0 418207842 28904845312 10405 33554432000 4194304 4196468 140731330716720 140529879988336 140531690551938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9881] ppid=9862 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/9864/task/9881/stat : 9881 (java) R 9862 9862 8752 0 -1 4202560 750 0 0 0 7 0 0 0 20 0 20 0 418207842 28904845312 10405 33554432000 4194304 4196468 140731330716720 140529878935536 140531669585632 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9882] ppid=9862 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9882/stat : 9882 (java) S 9862 9862 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418207842 28904845312 10405 33554432000 4194304 4196468 140731330716720 140529877884000 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9883] ppid=9862 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/9864/task/9883/stat : 9883 (java) S 9862 9862 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418207842 28904845312 10405 33554432000 4194304 4196468 140731330716720 140529876831280 140531690551938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 43076 KiB

[startup+0.309583 s]*
/proc/loadavg: 7.70 7.41 6.99 5/212 9883
/proc/meminfo: memFree=31425300/32770624 swapFree=66982056/67108860
[pid=9862] ppid=9859 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/9862/stat : 9862 (xcsp3-exec) S 9859 9862 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418207836 115843072 364 33554432000 4194304 5098028 140723258976256 140723258974360 140191627375228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9699328 140723258983286 140723258983529 140723258983529 140723258986442 0
/proc/9862/statm: 28282 364 305 221 0 87 0
[pid=9864] ppid=9862 vsize=28231644 memory=50420 CPUtime=0.52 cores=0-7
/proc/9864/stat : 9864 (java) S 9862 9862 8752 0 -1 1077944320 10384 0 0 0 48 4 0 0 20 0 20 0 418207836 28909203456 12605 33554432000 4194304 4196468 140731330716720 140731330699264 140531690540791 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
/proc/9864/statm: 7057911 12605 3367 1 0 7019032 0
[pid=9864/tid=9865] ppid=9862 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/9864/task/9865/stat : 9865 (java) R 9862 9862 8752 0 -1 4202560 7286 0 0 0 27 2 0 0 20 0 20 0 418207836 28909203456 12605 33554432000 4194304 4196468 140731330716720 140531694778712 140531674621278 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9866] ppid=9862 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9866/stat : 9866 (java) S 9862 9862 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418207837 28909203456 12605 33554432000 4194304 4196468 140731330716720 140531610393744 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9867] ppid=9862 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9867/stat : 9867 (java) S 9862 9862 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418207837 28909203456 12605 33554432000 4194304 4196468 140731330716720 140531609340944 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9868] ppid=9862 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9868/stat : 9868 (java) S 9862 9862 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418207837 28909203456 12605 33554432000 4194304 4196468 140731330716720 140531608288144 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9869] ppid=9862 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9869/stat : 9869 (java) S 9862 9862 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418207837 28909203456 12605 33554432000 4194304 4196468 140731330716720 140531607235344 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9870] ppid=9862 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9870/stat : 9870 (java) S 9862 9862 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418207837 28909203456 12605 33554432000 4194304 4196468 140731330716720 140531606182544 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9871] ppid=9862 vsize=28231644 memory=139775818427055 CPUtime=0 cores=0-7
/proc/9864/task/9871/stat : 9871 (java) S 9862 9862 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418207837 28909203456 12605 33554432000 4194304 4196468 140731330716720 140531605129744 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9872] ppid=9862 vsize=28231644 memory=139775818429360 CPUtime=0 cores=0-7
/proc/9864/task/9872/stat : 9872 (java) S 9862 9862 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418207837 28909203456 12605 33554432000 4194304 4196468 140731330716720 140531604076944 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9873] ppid=9862 vsize=28231644 memory=139775818431664 CPUtime=0 cores=0-7
/proc/9864/task/9873/stat : 9873 (java) S 9862 9862 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418207837 28909203456 12605 33554432000 4194304 4196468 140731330716720 140531603024144 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9874] ppid=9862 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9874/stat : 9874 (java) S 9862 9862 8752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418207838 28909203456 12605 33554432000 4194304 4196468 140731330716720 140529886305136 140531690551938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9875] ppid=9862 vsize=28231644 memory=279551636877200 CPUtime=0 cores=0-7
/proc/9864/task/9875/stat : 9875 (java) S 9862 9862 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418207839 28909203456 12605 33554432000 4194304 4196468 140731330716720 140529885251104 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9876] ppid=9862 vsize=28231644 memory=279551636874896 CPUtime=0 cores=0-7
/proc/9864/task/9876/stat : 9876 (java) S 9862 9862 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418207839 28909203456 12605 33554432000 4194304 4196468 140731330716720 140529884198256 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9877] ppid=9862 vsize=28231644 memory=279551636881808 CPUtime=0 cores=0-7
/proc/9864/task/9877/stat : 9877 (java) S 9862 9862 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418207841 28909203456 12605 33554432000 4194304 4196468 140731330716720 140529883146576 140531690559387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9878] ppid=9862 vsize=28231644 memory=279551636823056 CPUtime=0.02 cores=0-7
/proc/9864/task/9878/stat : 9878 (java) S 9862 9862 8752 0 -1 1077944384 404 0 0 0 2 0 0 0 20 0 20 0 418207842 28909203456 12605 33554432000 4194304 4196468 140731330716720 140529882093936 140531690551938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9879] ppid=9862 vsize=28231644 memory=279551636895632 CPUtime=0.04 cores=0-7
/proc/9864/task/9879/stat : 9879 (java) R 9862 9862 8752 0 -1 4202560 336 0 0 0 4 0 0 0 20 0 20 0 418207842 28909203456 12605 33554432000 4194304 4196468 140731330716720 140529881022152 140531672084982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9880] ppid=9862 vsize=28231644 memory=279551636902544 CPUtime=0.02 cores=0-7
/proc/9864/task/9880/stat : 9880 (java) S 9862 9862 8752 0 -1 1077944384 203 0 0 0 2 0 0 0 20 0 20 0 418207842 28909203456 12605 33554432000 4194304 4196468 140731330716720 140529879988336 140531690551938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9881] ppid=9862 vsize=28231644 memory=279551636900240 CPUtime=0.12 cores=0-7
/proc/9864/task/9881/stat : 9881 (java) S 9862 9862 8752 0 -1 1077944384 845 0 0 0 12 0 0 0 20 0 20 0 418207842 28909203456 12605 33554432000 4194304 4196468 140731330716720 140529878935536 140531690551938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9882] ppid=9862 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9882/stat : 9882 (java) S 9862 9862 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418207842 28909203456 12605 33554432000 4194304 4196468 140731330716720 140529877884000 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9883] ppid=9862 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/9864/task/9883/stat : 9883 (java) S 9862 9862 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418207842 28909203456 12605 33554432000 4194304 4196468 140731330716720 140529876831280 140531690551938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51876 KiB

[startup+0.700931 s]
/proc/loadavg: 7.70 7.41 6.99 5/212 9883
/proc/meminfo: memFree=31406000/32770624 swapFree=66982056/67108860
[pid=9862] ppid=9859 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/9862/stat : 9862 (xcsp3-exec) S 9859 9862 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418207836 115843072 364 33554432000 4194304 5098028 140723258976256 140723258974360 140191627375228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9699328 140723258983286 140723258983529 140723258983529 140723258986442 0
/proc/9862/statm: 28282 364 305 221 0 87 0
[pid=9864] ppid=9862 vsize=28233768 memory=111596 CPUtime=1.94 cores=0-7
/proc/9864/stat : 9864 (java) S 9862 9862 8752 0 -1 1077944320 14981 0 0 0 188 6 0 0 20 0 20 0 418207836 28911378432 27899 33554432000 4194304 4196468 140731330716720 140731330699264 140531690540791 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
/proc/9864/statm: 7058442 27899 3446 1 0 7019544 0
[pid=9864/tid=9865] ppid=9862 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7
/proc/9864/task/9865/stat : 9865 (java) R 9862 9862 8752 0 -1 4202560 7947 0 0 0 64 3 0 0 20 0 20 0 418207836 28911378432 27899 33554432000 4194304 4196468 140731330716720 140531694778672 140531279626516 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9866] ppid=9862 vsize=28233768 memory=139775818638192 CPUtime=0 cores=0-7
/proc/9864/task/9866/stat : 9866 (java) S 9862 9862 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418207837 28911378432 27899 33554432000 4194304 4196468 140731330716720 140531610393744 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9867] ppid=9862 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9867/stat : 9867 (java) S 9862 9862 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418207837 28911378432 27899 33554432000 4194304 4196468 140731330716720 140531609340944 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9868] ppid=9862 vsize=28233768 memory=1164 CPUtime=0 cores=0-7
/proc/9864/task/9868/stat : 9868 (java) S 9862 9862 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418207837 28911378432 27899 33554432000 4194304 4196468 140731330716720 140531608288144 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0

################
# More data... #
################

[pid=9864/tid=9874] ppid=9862 vsize=28768328 memory=7954892343578339915 CPUtime=0.01 cores=0-7
/proc/9864/task/9874/stat : 9874 (java) S 9862 9862 8752 0 -1 1077944384 682 0 0 0 1 0 0 0 20 0 28 0 418207838 29458767872 147312 33554432000 4194304 4196468 140731330716720 140529886305136 140531690551938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9875] ppid=9862 vsize=28768328 memory=7391413433648273289 CPUtime=0 cores=0-7
/proc/9864/task/9875/stat : 9875 (java) S 9862 9862 8752 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 418207839 29458767872 147312 33554432000 4194304 4196468 140731330716720 140529885251168 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9876] ppid=9862 vsize=28768328 memory=-8976644418600983157 CPUtime=0 cores=0-7
/proc/9864/task/9876/stat : 9876 (java) S 9862 9862 8752 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 418207839 29458767872 147312 33554432000 4194304 4196468 140731330716720 140529884198272 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9877] ppid=9862 vsize=28768328 memory=4486599637793467488 CPUtime=0 cores=0-7
/proc/9864/task/9877/stat : 9877 (java) S 9862 9862 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418207841 29458767872 147312 33554432000 4194304 4196468 140731330716720 140529883146576 140531690559387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9878] ppid=9862 vsize=28768328 memory=-3826832332642136911 CPUtime=2.46 cores=0-7
/proc/9864/task/9878/stat : 9878 (java) R 9862 9862 8752 0 -1 4202560 8057 0 0 0 243 3 0 0 20 0 28 0 418207842 29458767872 147312 33554432000 4194304 4196468 140731330716720 140529882080096 140531672084564 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9879] ppid=9862 vsize=28768328 memory=7301016063551955559 CPUtime=2.5 cores=0-7
/proc/9864/task/9879/stat : 9879 (java) R 9862 9862 8752 0 -1 4202560 6343 0 0 0 249 1 0 0 20 0 28 0 418207842 29458767872 147312 33554432000 4194304 4196468 140731330716720 140529881040240 140531672058681 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9880] ppid=9862 vsize=28768328 memory=7590648278424184168 CPUtime=2.55 cores=0-7
/proc/9864/task/9880/stat : 9880 (java) R 9862 9862 8752 0 -1 4202560 6709 0 0 0 254 1 0 0 20 0 28 0 418207842 29458767872 147312 33554432000 4194304 4196468 140731330716720 140529879974560 140531672058638 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9881] ppid=9862 vsize=28768328 memory=7661582115710195809 CPUtime=0.9 cores=0-7
/proc/9864/task/9881/stat : 9881 (java) R 9862 9862 8752 0 -1 4202560 3599 0 0 0 89 1 0 0 20 0 28 0 418207842 29458767872 147312 33554432000 4194304 4196468 140731330716720 140529878935536 140531674851305 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9882] ppid=9862 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9882/stat : 9882 (java) S 9862 9862 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418207842 29458767872 147312 33554432000 4194304 4196468 140731330716720 140529877884000 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9883] ppid=9862 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9883/stat : 9883 (java) S 9862 9862 8752 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 418207842 29458767872 147312 33554432000 4194304 4196468 140731330716720 140529876831280 140531690551938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9924] ppid=9862 vsize=28768328 memory=0 CPUtime=0.15 cores=0-7
/proc/9864/task/9924/stat : 9924 (java) R 9862 9862 8752 0 -1 4202560 17 0 0 0 15 0 0 0 20 0 28 0 418208221 29458767872 147312 33554432000 4194304 4196468 140731330716720 140529858153088 140531288657341 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9925] ppid=9862 vsize=28768328 memory=0 CPUtime=0.12 cores=0-7
/proc/9864/task/9925/stat : 9925 (java) R 9862 9862 8752 0 -1 4202560 18 0 0 0 12 0 0 0 20 0 28 0 418208221 29458767872 147312 33554432000 4194304 4196468 140731330716720 140529864470432 140531287886035 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9926] ppid=9862 vsize=28768328 memory=0 CPUtime=0.08 cores=0-7
/proc/9864/task/9926/stat : 9926 (java) R 9862 9862 8752 0 -1 4202560 23 0 0 0 8 0 0 0 20 0 28 0 418208221 29458767872 147312 33554432000 4194304 4196468 140731330716720 140529867622104 140531287652241 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9927] ppid=9862 vsize=28768328 memory=0 CPUtime=0.15 cores=0-7
/proc/9864/task/9927/stat : 9927 (java) R 9862 9862 8752 0 -1 4202560 17 0 0 0 15 0 0 0 20 0 28 0 418208221 29458767872 147312 33554432000 4194304 4196468 140731330716720 140529859214176 140531287885984 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9928] ppid=9862 vsize=28768328 memory=0 CPUtime=0.13 cores=0-7
/proc/9864/task/9928/stat : 9928 (java) R 9862 9862 8752 0 -1 4202560 17 0 0 0 13 0 0 0 20 0 28 0 418208221 29458767872 147312 33554432000 4194304 4196468 140731330716720 140529861312472 140531287652514 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9929] ppid=9862 vsize=28768328 memory=-1 CPUtime=0.07 cores=0-7
/proc/9864/task/9929/stat : 9929 (java) R 9862 9862 8752 0 -1 4202560 17 0 0 0 7 0 0 0 20 0 28 0 418208221 29458767872 147312 33554432000 4194304 4196468 140731330716720 140529862363232 140531288657341 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9930] ppid=9862 vsize=28768328 memory=5861548544310267984 CPUtime=0.05 cores=0-7
/proc/9864/task/9930/stat : 9930 (java) R 9862 9862 8752 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 28 0 418208221 29458767872 147312 33554432000 4194304 4196468 140731330716720 140529863417080 140531289837515 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9931] ppid=9862 vsize=28768328 memory=-9001734013606258791 CPUtime=0.13 cores=0-7
/proc/9864/task/9931/stat : 9931 (java) R 9862 9862 8752 0 -1 4202560 17 0 0 0 13 0 0 0 20 0 28 0 418208221 29458767872 147312 33554432000 4194304 4196468 140731330716720 140529860267360 140531289916003 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
Current children cumulated CPU time: 18.11 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 590704 KiB

[startup+4.80321 s]
/proc/loadavg: 7.97 7.47 7.02 13/220 9931
/proc/meminfo: memFree=30886064/32770624 swapFree=66982056/67108860
[pid=9862] ppid=9859 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/9862/stat : 9862 (xcsp3-exec) S 9859 9862 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418207836 115843072 364 33554432000 4194304 5098028 140723258976256 140723258974360 140191627375228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9699328 140723258983286 140723258983529 140723258983529 140723258986442 0
/proc/9862/statm: 28282 364 305 221 0 87 0
[pid=9864] ppid=9862 vsize=28768328 memory=590316 CPUtime=24.4 cores=0-7
/proc/9864/stat : 9864 (java) S 9862 9862 8752 0 -1 1077944320 40479 0 0 0 2405 35 0 0 20 0 28 0 418207836 29458767872 147579 33554432000 4194304 4196468 140731330716720 140731330699264 140531690540791 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
/proc/9864/statm: 7192082 147579 3525 1 0 7153184 0
[pid=9864/tid=9865] ppid=9862 vsize=28768328 memory=0 CPUtime=2.61 cores=0-7
/proc/9864/task/9865/stat : 9865 (java) S 9862 9862 8752 0 -1 1077944384 10491 0 0 0 255 6 0 0 20 0 28 0 418207836 29458767872 147579 33554432000 4194304 4196468 140731330716720 140531694781568 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9866] ppid=9862 vsize=28768328 memory=0 CPUtime=0.08 cores=0-7
/proc/9864/task/9866/stat : 9866 (java) S 9862 9862 8752 0 -1 1077944384 134 0 0 0 6 2 0 0 20 0 28 0 418207837 29458767872 147579 33554432000 4194304 4196468 140731330716720 140531610393744 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9867] ppid=9862 vsize=28768328 memory=0 CPUtime=0.06 cores=0-7
/proc/9864/task/9867/stat : 9867 (java) S 9862 9862 8752 0 -1 1077944384 139 0 0 0 5 1 0 0 20 0 28 0 418207837 29458767872 147579 33554432000 4194304 4196468 140731330716720 140531609340944 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9868] ppid=9862 vsize=28768328 memory=288230596118053219 CPUtime=0.06 cores=0-7
/proc/9864/task/9868/stat : 9868 (java) S 9862 9862 8752 0 -1 1077944384 129 0 0 0 5 1 0 0 20 0 28 0 418207837 29458767872 147579 33554432000 4194304 4196468 140731330716720 140531608288144 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9869] ppid=9862 vsize=28768328 memory=0 CPUtime=0.06 cores=0-7
/proc/9864/task/9869/stat : 9869 (java) S 9862 9862 8752 0 -1 1077944384 543 0 0 0 4 2 0 0 20 0 28 0 418207837 29458767872 147579 33554432000 4194304 4196468 140731330716720 140531607235344 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9870] ppid=9862 vsize=28768328 memory=139775818815280 CPUtime=0.09 cores=0-7
/proc/9864/task/9870/stat : 9870 (java) S 9862 9862 8752 0 -1 1077944384 175 0 0 0 7 2 0 0 20 0 28 0 418207837 29458767872 147579 33554432000 4194304 4196468 140731330716720 140531606182544 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9871] ppid=9862 vsize=28768328 memory=0 CPUtime=0.05 cores=0-7
/proc/9864/task/9871/stat : 9871 (java) S 9862 9862 8752 0 -1 1077944384 87 0 0 0 4 1 0 0 20 0 28 0 418207837 29458767872 147579 33554432000 4194304 4196468 140731330716720 140531605129744 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9872] ppid=9862 vsize=28768328 memory=0 CPUtime=0.06 cores=0-7
/proc/9864/task/9872/stat : 9872 (java) S 9862 9862 8752 0 -1 1077944384 268 0 0 0 5 1 0 0 20 0 28 0 418207837 29458767872 147579 33554432000 4194304 4196468 140731330716720 140531604076944 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9873] ppid=9862 vsize=28768328 memory=0 CPUtime=0.07 cores=0-7
/proc/9864/task/9873/stat : 9873 (java) S 9862 9862 8752 0 -1 1077944384 118 0 0 0 6 1 0 0 20 0 28 0 418207837 29458767872 147579 33554432000 4194304 4196468 140731330716720 140531603024144 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9874] ppid=9862 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7
/proc/9864/task/9874/stat : 9874 (java) S 9862 9862 8752 0 -1 1077944384 682 0 0 0 1 0 0 0 20 0 28 0 418207838 29458767872 147579 33554432000 4194304 4196468 140731330716720 140529886305136 140531690551938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9875] ppid=9862 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9875/stat : 9875 (java) S 9862 9862 8752 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 418207839 29458767872 147579 33554432000 4194304 4196468 140731330716720 140529885251168 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9876] ppid=9862 vsize=28768328 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/9864/task/9876/stat : 9876 (java) S 9862 9862 8752 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 418207839 29458767872 147579 33554432000 4194304 4196468 140731330716720 140529884198272 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9877] ppid=9862 vsize=28768328 memory=288230617509003574 CPUtime=0 cores=0-7
/proc/9864/task/9877/stat : 9877 (java) S 9862 9862 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418207841 29458767872 147579 33554432000 4194304 4196468 140731330716720 140529883146576 140531690559387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9878] ppid=9862 vsize=28768328 memory=15252640887999028 CPUtime=2.95 cores=0-7
/proc/9864/task/9878/stat : 9878 (java) R 9862 9862 8752 0 -1 4202560 8086 0 0 0 292 3 0 0 20 0 28 0 418207842 29458767872 147579 33554432000 4194304 4196468 140731330716720 140529882078896 140531672084991 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9879] ppid=9862 vsize=28768328 memory=279551637559008 CPUtime=3.1 cores=0-7
/proc/9864/task/9879/stat : 9879 (java) R 9862 9862 8752 0 -1 4202560 6533 0 0 0 309 1 0 0 20 0 28 0 418207842 29458767872 147579 33554432000 4194304 4196468 140731330716720 140529881022432 140531669756720 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9880] ppid=9862 vsize=28768328 memory=279551637559200 CPUtime=3.03 cores=0-7
/proc/9864/task/9880/stat : 9880 (java) R 9862 9862 8752 0 -1 4202560 6721 0 0 0 302 1 0 0 20 0 28 0 418207842 29458767872 147579 33554432000 4194304 4196468 140731330716720 140529879979712 140531674040989 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9881] ppid=9862 vsize=28768328 memory=279551637559392 CPUtime=0.99 cores=0-7
/proc/9864/task/9881/stat : 9881 (java) R 9862 9862 8752 0 -1 4202560 3675 0 0 0 98 1 0 0 20 0 28 0 418207842 29458767872 147579 33554432000 4194304 4196468 140731330716720 140529878935536 140531674621278 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9882] ppid=9862 vsize=28768328 memory=279551637469376 CPUtime=0 cores=0-7
/proc/9864/task/9882/stat : 9882 (java) S 9862 9862 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418207842 29458767872 147579 33554432000 4194304 4196468 140731330716720 140529877884000 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9883] ppid=9862 vsize=28768328 memory=279551637469568 CPUtime=0 cores=0-7
/proc/9864/task/9883/stat : 9883 (java) S 9862 9862 8752 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 418207842 29458767872 147579 33554432000 4194304 4196468 140731330716720 140529876831280 140531690551938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9924] ppid=9862 vsize=28768328 memory=0 CPUtime=0.94 cores=0-7
/proc/9864/task/9924/stat : 9924 (java) R 9862 9862 8752 0 -1 4202560 18 0 0 0 92 2 0 0 20 0 28 0 418208221 29458767872 147579 33554432000 4194304 4196468 140731330716720 140529858153800 140531286022192 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9925] ppid=9862 vsize=28768328 memory=279551637469952 CPUtime=0.53 cores=0-7
/proc/9864/task/9925/stat : 9925 (java) R 9862 9862 8752 0 -1 4202560 19 0 0 0 53 0 0 0 20 0 28 0 418208221 29458767872 147579 33554432000 4194304 4196468 140731330716720 140529864470840 140531289974170 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9926] ppid=9862 vsize=28768328 memory=279551637470144 CPUtime=0.6 cores=0-7
/proc/9864/task/9926/stat : 9926 (java) R 9862 9862 8752 0 -1 4202560 23 0 0 0 60 0 0 0 20 0 28 0 418208221 29458767872 147579 33554432000 4194304 4196468 140731330716720 140529867622472 140531287538782 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9927] ppid=9862 vsize=28768328 memory=279551637470336 CPUtime=0.77 cores=0-7
/proc/9864/task/9927/stat : 9927 (java) R 9862 9862 8752 0 -1 4202560 36 0 0 0 77 0 0 0 20 0 28 0 418208221 29458767872 147579 33554432000 4194304 4196468 140731330716720 140529859209608 140531282677630 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9928] ppid=9862 vsize=28768328 memory=279551637470528 CPUtime=0.71 cores=0-7
/proc/9864/task/9928/stat : 9928 (java) R 9862 9862 8752 0 -1 4202560 18 0 0 0 71 0 0 0 20 0 28 0 418208221 29458767872 147579 33554432000 4194304 4196468 140731330716720 140529861314712 140531288027580 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9929] ppid=9862 vsize=28768328 memory=279551637470720 CPUtime=0.47 cores=0-7
/proc/9864/task/9929/stat : 9929 (java) R 9862 9862 8752 0 -1 4202560 18 0 0 0 47 0 0 0 20 0 28 0 418208221 29458767872 147579 33554432000 4194304 4196468 140731330716720 140529862368168 140531287652251 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9930] ppid=9862 vsize=28768328 memory=8112282956445269571 CPUtime=0.68 cores=0-7
/proc/9864/task/9930/stat : 9930 (java) R 9862 9862 8752 0 -1 4202560 17 0 0 0 68 0 0 0 20 0 28 0 418208221 29458767872 147579 33554432000 4194304 4196468 140731330716720 140529863419912 140531287652172 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9931] ppid=9862 vsize=28768328 memory=288230617509003574 CPUtime=0.83 cores=0-7
/proc/9864/task/9931/stat : 9931 (java) R 9862 9862 8752 0 -1 4202560 17 0 0 0 83 0 0 0 20 0 28 0 418208221 29458767872 147579 33554432000 4194304 4196468 140731330716720 140529860258728 140531288657234 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
Current children cumulated CPU time: 24.4 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 591772 KiB

[startup+5.20114 s]
/proc/loadavg: 7.97 7.47 7.02 11/220 9931
/proc/meminfo: memFree=30878316/32770624 swapFree=66982056/67108860
[pid=9862] ppid=9859 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/9862/stat : 9862 (xcsp3-exec) S 9859 9862 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418207836 115843072 364 33554432000 4194304 5098028 140723258976256 140723258974360 140191627375228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9699328 140723258983286 140723258983529 140723258983529 140723258986442 0
/proc/9862/statm: 28282 364 305 221 0 87 0
[pid=9864] ppid=9862 vsize=28768328 memory=607972 CPUtime=27.36 cores=0-7
/proc/9864/stat : 9864 (java) S 9862 9862 8752 0 -1 1077944320 48089 0 0 0 2699 37 0 0 20 0 22 0 418207836 29458767872 151993 33554432000 4194304 4196468 140731330716720 140731330699264 140531690540791 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
/proc/9864/statm: 7192082 151993 3526 1 0 7153184 0
[pid=9864/tid=9865] ppid=9862 vsize=28768328 memory=288288865908799182 CPUtime=2.61 cores=0-7
/proc/9864/task/9865/stat : 9865 (java) R 9862 9862 8752 0 -1 4202560 10491 0 0 0 255 6 0 0 20 0 21 0 418207836 29458767872 151993 33554432000 4194304 4196468 140731330716720 140531694781568 140531675095089 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9866] ppid=9862 vsize=28768328 memory=0 CPUtime=0.08 cores=0-7
/proc/9864/task/9866/stat : 9866 (java) S 9862 9862 8752 0 -1 1077944384 134 0 0 0 6 2 0 0 20 0 21 0 418207837 29458767872 151993 33554432000 4194304 4196468 140731330716720 140531610393744 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9867] ppid=9862 vsize=28768328 memory=0 CPUtime=0.06 cores=0-7
/proc/9864/task/9867/stat : 9867 (java) S 9862 9862 8752 0 -1 1077944384 139 0 0 0 5 1 0 0 20 0 21 0 418207837 29458767872 151993 33554432000 4194304 4196468 140731330716720 140531609340944 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9868] ppid=9862 vsize=28768328 memory=0 CPUtime=0.06 cores=0-7
/proc/9864/task/9868/stat : 9868 (java) S 9862 9862 8752 0 -1 1077944384 129 0 0 0 5 1 0 0 20 0 21 0 418207837 29458767872 151993 33554432000 4194304 4196468 140731330716720 140531608288144 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9869] ppid=9862 vsize=28768328 memory=0 CPUtime=0.06 cores=0-7
/proc/9864/task/9869/stat : 9869 (java) S 9862 9862 8752 0 -1 1077944384 543 0 0 0 4 2 0 0 20 0 21 0 418207837 29458767872 151993 33554432000 4194304 4196468 140731330716720 140531607235344 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9870] ppid=9862 vsize=28768328 memory=0 CPUtime=0.09 cores=0-7
/proc/9864/task/9870/stat : 9870 (java) S 9862 9862 8752 0 -1 1077944384 175 0 0 0 7 2 0 0 20 0 21 0 418207837 29458767872 151993 33554432000 4194304 4196468 140731330716720 140531606182544 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9871] ppid=9862 vsize=28768328 memory=0 CPUtime=0.05 cores=0-7
/proc/9864/task/9871/stat : 9871 (java) S 9862 9862 8752 0 -1 1077944384 87 0 0 0 4 1 0 0 20 0 21 0 418207837 29458767872 151993 33554432000 4194304 4196468 140731330716720 140531605129744 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9872] ppid=9862 vsize=28768328 memory=0 CPUtime=0.06 cores=0-7
/proc/9864/task/9872/stat : 9872 (java) S 9862 9862 8752 0 -1 1077944384 268 0 0 0 5 1 0 0 20 0 21 0 418207837 29458767872 151993 33554432000 4194304 4196468 140731330716720 140531604076944 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9873] ppid=9862 vsize=28768328 memory=0 CPUtime=0.07 cores=0-7
/proc/9864/task/9873/stat : 9873 (java) S 9862 9862 8752 0 -1 1077944384 118 0 0 0 6 1 0 0 20 0 21 0 418207837 29458767872 151993 33554432000 4194304 4196468 140731330716720 140531603024144 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9874] ppid=9862 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7
/proc/9864/task/9874/stat : 9874 (java) S 9862 9862 8752 0 -1 1077944384 682 0 0 0 1 0 0 0 20 0 21 0 418207838 29458767872 151993 33554432000 4194304 4196468 140731330716720 140529886305136 140531690551938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9875] ppid=9862 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9875/stat : 9875 (java) S 9862 9862 8752 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 21 0 418207839 29458767872 151993 33554432000 4194304 4196468 140731330716720 140529885251168 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9876] ppid=9862 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9876/stat : 9876 (java) S 9862 9862 8752 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 21 0 418207839 29458767872 151993 33554432000 4194304 4196468 140731330716720 140529884198272 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9877] ppid=9862 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9877/stat : 9877 (java) S 9862 9862 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 418207841 29458767872 151993 33554432000 4194304 4196468 140731330716720 140529883146576 140531690559387 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9878] ppid=9862 vsize=28768328 memory=1456 CPUtime=3.33 cores=0-7
/proc/9864/task/9878/stat : 9878 (java) R 9862 9862 8752 0 -1 4202560 8174 0 0 0 330 3 0 0 20 0 21 0 418207842 29458767872 151993 33554432000 4194304 4196468 140731330716720 140529882080096 140531674932768 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9879] ppid=9862 vsize=28768328 memory=590164 CPUtime=3.4 cores=0-7
/proc/9864/task/9879/stat : 9879 (java) R 9862 9862 8752 0 -1 4202560 6541 0 0 0 339 1 0 0 20 0 21 0 418207842 29458767872 151993 33554432000 4194304 4196468 140731330716720 140529881027760 140531668543399 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9880] ppid=9862 vsize=28768328 memory=0 CPUtime=3.37 cores=0-7
/proc/9864/task/9880/stat : 9880 (java) R 9862 9862 8752 0 -1 4202560 14205 0 0 0 335 2 0 0 20 0 21 0 418207842 29458767872 151993 33554432000 4194304 4196468 140731330716720 140529879969576 140531673951682 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9881] ppid=9862 vsize=28768328 memory=0 CPUtime=1.01 cores=0-7
/proc/9864/task/9881/stat : 9881 (java) S 9862 9862 8752 0 -1 1077944384 3675 0 0 0 99 2 0 0 20 0 21 0 418207842 29458767872 151993 33554432000 4194304 4196468 140731330716720 140529878935536 140531690551938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9882] ppid=9862 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9882/stat : 9882 (java) S 9862 9862 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 418207842 29458767872 151993 33554432000 4194304 4196468 140731330716720 140529877884000 140531690550997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9883] ppid=9862 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/9864/task/9883/stat : 9883 (java) S 9862 9862 8752 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 21 0 418207842 29458767872 151993 33554432000 4194304 4196468 140731330716720 140529876831280 140531690551938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
[pid=9864/tid=9929] ppid=9862 vsize=28768328 memory=279551637672832 CPUtime=0.75 cores=0-7
/proc/9864/task/9929/stat : 9929 (java) R 9862 9862 8752 0 -1 4202560 20 0 0 0 75 0 0 0 20 0 21 0 418208221 29458767872 151993 33554432000 4194304 4196468 140731330716720 140529862373144 140531683258087 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29376512 140731330724842 140731330725014 140731330725014 140731330727887 0
Current children cumulated CPU time: 27.36 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 609428 KiB

Child status: 0
Real time (s): 5.22502
CPU time (s): 27.3991
CPU user time (s): 27.0069
CPU system time (s): 0.392198
CPU usage (%): 524.382
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 609428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.0069
system time used= 0.392198
maximum resident set size= 610056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48705
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4648
involuntary context switches= 731


# summary of solver processes directly reported to runsolver:
#   pid: 9862
#   total CPU time (s): 27.3991
#   total CPU user time (s): 27.0069
#   total CPU system time (s): 0.392198

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.056227 second user time and 0.104364 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-will199GPIA.xml
MD5SUM	a5e04939345321982833836e1e755881
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	6
Best CPU time to get the best result obtained on this benchmark	1.18205
Satisfiable
(Un)Satisfiability was proved
Number of variables	701
Number of constraints	6772
Number of domains	1
Minimum domain size	701
Maximum domain size	701
Distribution of domain sizes	[{"size":701,"count":701}]
Minimum variable degree	3
Maximum variable degree	39
Distribution of variable degrees	[{"degree":3,"count":1},{"degree":7,"count":4},{"degree":9,"count":3},{"degree":10,"count":2},{"degree":11,"count":1},{"degree":12,"count":17},{"degree":13,"count":48},{"degree":14,"count":113},{"degree":15,"count":54},{"degree":16,"count":67},{"degree":17,"count":18},{"degree":18,"count":62},{"degree":19,"count":17},{"degree":20,"count":23},{"degree":21,"count":24},{"degree":22,"count":15},{"degree":23,"count":11},{"degree":24,"count":12},{"degree":25,"count":14},{"degree":26,"count":28},{"degree":27,"count":24},{"degree":28,"count":34},{"degree":29,"count":3},{"degree":30,"count":26},{"degree":31,"count":12},{"degree":32,"count":13},{"degree":33,"count":14},{"degree":34,"count":14},{"degree":35,"count":6},{"degree":37,"count":1},{"degree":38,"count":14},{"degree":39,"count":6}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":6772}]
Number of extensional constraints	0
Number of intensional constraints	6772
Distribution of constraint types	[{"type":"intension","count":6772}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4393770

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
