2018 XCSP3 competition: parallel solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b par (e747e1e)	OPT	7	95.105	13.808
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 (7853 MiB free)
  memory of node 1: 16384 MiB (13449 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297384-1532701915/watcher-4297384-1532701915 -o /tmp/evaluation-result-4297384-1532701915/solver-4297384-1532701915 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1532694346-32289 --watchdog 2580 HOME/xcsp3-exec -seed 1270158421 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297384-1532701915.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=747, runsolver pid=744

[startup+0.103544 s]*
/proc/loadavg: 7.70 8.19 8.38 2/203 768
/proc/meminfo: memFree=21798648/32770624 swapFree=67108860/67108860
[pid=747] ppid=744 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/747/stat : 747 (xcsp3-exec) S 744 747 32262 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87754648 115843072 363 33554432000 4194304 5098028 140722154345120 140722154343224 140003044520572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23658496 140722154353717 140722154353920 140722154353920 140722154356682 0
/proc/747/statm: 28282 363 305 221 0 87 0
[pid=749] ppid=747 vsize=26104152 memory=27604 CPUtime=0.12 cores=0-7
/proc/749/stat : 749 (java) S 747 747 32262 0 -1 1077944320 5763 0 0 0 11 1 0 0 20 0 20 0 87754649 26730651648 6901 33554432000 4194304 4196468 140728592724064 140728592706608 140132137266935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
/proc/749/statm: 6526038 6901 3034 1 0 6488315 0
[pid=749/tid=750] ppid=747 vsize=26104152 memory=-2961578254468854852 CPUtime=0.09 cores=0-7
/proc/749/task/750/stat : 750 (java) R 747 747 32262 0 -1 4202560 3782 0 0 0 9 0 0 0 20 0 20 0 87754649 26730651648 6966 33554432000 4194304 4196468 140728592724064 140132141500208 140132137278870 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=751] ppid=747 vsize=26104152 memory=732370490564262885 CPUtime=0 cores=0-7
/proc/749/task/751/stat : 751 (java) S 747 747 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87754650 26730651648 6966 33554432000 4194304 4196468 140728592724064 140132100373008 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=752] ppid=747 vsize=26104152 memory=140352226809472 CPUtime=0 cores=0-7
/proc/749/task/752/stat : 752 (java) S 747 747 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87754650 26730651648 6966 33554432000 4194304 4196468 140728592724064 140131694934672 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=753] ppid=747 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/749/task/753/stat : 753 (java) S 747 747 32262 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87754650 26730651648 6966 33554432000 4194304 4196468 140728592724064 140131693881616 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=754] ppid=747 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/749/task/754/stat : 754 (java) S 747 747 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87754650 26730651648 6966 33554432000 4194304 4196468 140728592724064 140131692829072 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=755] ppid=747 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/749/task/755/stat : 755 (java) S 747 747 32262 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87754650 26730651648 6966 33554432000 4194304 4196468 140728592724064 140131691777040 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=756] ppid=747 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/749/task/756/stat : 756 (java) S 747 747 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87754650 26730651648 6966 33554432000 4194304 4196468 140728592724064 140131690724496 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=757] ppid=747 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/749/task/757/stat : 757 (java) S 747 747 32262 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87754650 26730651648 6966 33554432000 4194304 4196468 140728592724064 140131689671440 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=758] ppid=747 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/749/task/758/stat : 758 (java) S 747 747 32262 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87754650 26730651648 6966 33554432000 4194304 4196468 140728592724064 140131688618896 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=759] ppid=747 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/749/task/759/stat : 759 (java) S 747 747 32262 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87754651 26730651648 6966 33554432000 4194304 4196468 140728592724064 140130342471920 140132137278082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=760] ppid=747 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/749/task/760/stat : 760 (java) S 747 747 32262 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87754652 26730651648 6966 33554432000 4194304 4196468 140728592724064 140130341418144 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=761] ppid=747 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/749/task/761/stat : 761 (java) S 747 747 32262 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87754652 26730651648 6966 33554432000 4194304 4196468 140728592724064 140130340365040 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=762] ppid=747 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/749/task/762/stat : 762 (java) S 747 747 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87754654 26730651648 6966 33554432000 4194304 4196468 140728592724064 140130339313616 140132137285531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=763] ppid=747 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/749/task/763/stat : 763 (java) S 747 747 32262 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 20 0 87754654 26730651648 6966 33554432000 4194304 4196468 140728592724064 140130338261744 140132137278082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=764] ppid=747 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/749/task/764/stat : 764 (java) S 747 747 32262 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87754654 26730651648 6966 33554432000 4194304 4196468 140728592724064 140130337209200 140132137278082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=765] ppid=747 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/749/task/765/stat : 765 (java) S 747 747 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87754654 26730651648 6966 33554432000 4194304 4196468 140728592724064 140130336156144 140132137278082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=766] ppid=747 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/749/task/766/stat : 766 (java) R 747 747 32262 0 -1 4202560 270 0 0 0 1 0 0 0 20 0 20 0 87754654 26730651648 6966 33554432000 4194304 4196468 140728592724064 140130335103600 140132129285206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=767] ppid=747 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/749/task/767/stat : 767 (java) S 747 747 32262 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87754655 26730651648 6966 33554432000 4194304 4196468 140728592724064 140130334050784 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=768] ppid=747 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/749/task/768/stat : 768 (java) S 747 747 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87754655 26730651648 6966 33554432000 4194304 4196468 140728592724064 140130332998320 140132137278082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 29056 KiB

[startup+0.210723 s]*
/proc/loadavg: 7.70 8.19 8.38 3/203 768
/proc/meminfo: memFree=21787308/32770624 swapFree=67108860/67108860
[pid=747] ppid=744 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/747/stat : 747 (xcsp3-exec) S 744 747 32262 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87754648 115843072 363 33554432000 4194304 5098028 140722154345120 140722154343224 140003044520572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23658496 140722154353717 140722154353920 140722154353920 140722154356682 0
/proc/747/statm: 28282 363 305 221 0 87 0
[pid=749] ppid=747 vsize=26104152 memory=39652 CPUtime=0.33 cores=0-7
/proc/749/stat : 749 (java) S 747 747 32262 0 -1 1077944320 8475 0 0 0 31 2 0 0 20 0 20 0 87754649 26730651648 9913 33554432000 4194304 4196468 140728592724064 140728592706608 140132137266935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
/proc/749/statm: 6526038 9913 3181 1 0 6488315 0
[pid=749/tid=750] ppid=747 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7
/proc/749/task/750/stat : 750 (java) R 747 747 32262 0 -1 4202560 5596 0 0 0 18 1 0 0 20 0 20 0 87754649 26730651648 9913 33554432000 4194304 4196468 140728592724064 140132141500992 140132129944949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=751] ppid=747 vsize=26104152 memory=732370490564262885 CPUtime=0 cores=0-7
/proc/749/task/751/stat : 751 (java) S 747 747 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87754650 26730651648 9913 33554432000 4194304 4196468 140728592724064 140132100373008 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=752] ppid=747 vsize=26104152 memory=140352226809472 CPUtime=0 cores=0-7
/proc/749/task/752/stat : 752 (java) S 747 747 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87754650 26730651648 9913 33554432000 4194304 4196468 140728592724064 140131694934672 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=753] ppid=747 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/749/task/753/stat : 753 (java) S 747 747 32262 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87754650 26730651648 9913 33554432000 4194304 4196468 140728592724064 140131693881616 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=754] ppid=747 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/749/task/754/stat : 754 (java) S 747 747 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87754650 26730651648 9913 33554432000 4194304 4196468 140728592724064 140131692829072 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=755] ppid=747 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/749/task/755/stat : 755 (java) S 747 747 32262 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87754650 26730651648 9913 33554432000 4194304 4196468 140728592724064 140131691777040 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=756] ppid=747 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/749/task/756/stat : 756 (java) S 747 747 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87754650 26730651648 9913 33554432000 4194304 4196468 140728592724064 140131690724496 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=757] ppid=747 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/749/task/757/stat : 757 (java) S 747 747 32262 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87754650 26730651648 9913 33554432000 4194304 4196468 140728592724064 140131689671440 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=758] ppid=747 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/749/task/758/stat : 758 (java) S 747 747 32262 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87754650 26730651648 9913 33554432000 4194304 4196468 140728592724064 140131688618896 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=759] ppid=747 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/749/task/759/stat : 759 (java) S 747 747 32262 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87754651 26730651648 9913 33554432000 4194304 4196468 140728592724064 140130342471920 140132137278082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=760] ppid=747 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/749/task/760/stat : 760 (java) S 747 747 32262 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87754652 26730651648 9913 33554432000 4194304 4196468 140728592724064 140130341418144 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=761] ppid=747 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/749/task/761/stat : 761 (java) S 747 747 32262 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87754652 26730651648 9913 33554432000 4194304 4196468 140728592724064 140130340365040 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=762] ppid=747 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/749/task/762/stat : 762 (java) S 747 747 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87754654 26730651648 9913 33554432000 4194304 4196468 140728592724064 140130339313616 140132137285531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=763] ppid=747 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/749/task/763/stat : 763 (java) S 747 747 32262 0 -1 1077944384 419 0 0 0 1 0 0 0 20 0 20 0 87754654 26730651648 9913 33554432000 4194304 4196468 140728592724064 140130338261744 140132137278082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=764] ppid=747 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/749/task/764/stat : 764 (java) S 747 747 32262 0 -1 1077944384 282 0 0 0 2 0 0 0 20 0 20 0 87754654 26730651648 9913 33554432000 4194304 4196468 140728592724064 140130337209200 140132137278082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=765] ppid=747 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/749/task/765/stat : 765 (java) S 747 747 32262 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 20 0 87754654 26730651648 9913 33554432000 4194304 4196468 140728592724064 140130336156144 140132137278082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=766] ppid=747 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7
/proc/749/task/766/stat : 766 (java) S 747 747 32262 0 -1 1077944384 775 0 0 0 7 0 0 0 20 0 20 0 87754654 26730651648 9913 33554432000 4194304 4196468 140728592724064 140130335103600 140132137278082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=767] ppid=747 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/749/task/767/stat : 767 (java) S 747 747 32262 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87754655 26730651648 9913 33554432000 4194304 4196468 140728592724064 140130334050784 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=768] ppid=747 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/749/task/768/stat : 768 (java) S 747 747 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87754655 26730651648 9913 33554432000 4194304 4196468 140728592724064 140130332998320 140132137278082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41104 KiB

[startup+0.310637 s]*
/proc/loadavg: 7.70 8.19 8.38 4/203 768
/proc/meminfo: memFree=21781176/32770624 swapFree=67108860/67108860
[pid=747] ppid=744 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/747/stat : 747 (xcsp3-exec) S 744 747 32262 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87754648 115843072 363 33554432000 4194304 5098028 140722154345120 140722154343224 140003044520572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23658496 140722154353717 140722154353920 140722154353920 140722154356682 0
/proc/747/statm: 28282 363 305 221 0 87 0
[pid=749] ppid=747 vsize=26108408 memory=46272 CPUtime=0.5 cores=0-7
/proc/749/stat : 749 (java) S 747 747 32262 0 -1 1077944320 9263 0 0 0 48 2 0 0 20 0 20 0 87754649 26735009792 11568 33554432000 4194304 4196468 140728592724064 140728592706608 140132137266935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
/proc/749/statm: 6527102 11568 3237 1 0 6488315 0
[pid=749/tid=750] ppid=747 vsize=26108408 memory=7974038411334692957 CPUtime=0.29 cores=0-7
/proc/749/task/750/stat : 750 (java) R 747 747 32262 0 -1 4202560 6257 0 0 0 28 1 0 0 20 0 20 0 87754649 26735009792 11592 33554432000 4194304 4196468 140728592724064 140132141498048 140132137290525 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=751] ppid=747 vsize=26108408 memory=1400242874264906928 CPUtime=0 cores=0-7
/proc/749/task/751/stat : 751 (java) S 747 747 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87754650 26735009792 11592 33554432000 4194304 4196468 140728592724064 140132100373008 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=752] ppid=747 vsize=26108408 memory=3533560002358068722 CPUtime=0 cores=0-7
/proc/749/task/752/stat : 752 (java) S 747 747 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87754650 26735009792 11592 33554432000 4194304 4196468 140728592724064 140131694934672 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=753] ppid=747 vsize=26108408 memory=662363603739423023 CPUtime=0 cores=0-7
/proc/749/task/753/stat : 753 (java) S 747 747 32262 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87754650 26735009792 11592 33554432000 4194304 4196468 140728592724064 140131693881616 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=754] ppid=747 vsize=26108408 memory=4026531975 CPUtime=0 cores=0-7
/proc/749/task/754/stat : 754 (java) S 747 747 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87754650 26735009792 11592 33554432000 4194304 4196468 140728592724064 140131692829072 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=755] ppid=747 vsize=26108408 memory=3365 CPUtime=0 cores=0-7
/proc/749/task/755/stat : 755 (java) S 747 747 32262 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87754650 26735009792 11592 33554432000 4194304 4196468 140728592724064 140131691777040 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=756] ppid=747 vsize=26108408 memory=24935 CPUtime=0 cores=0-7
/proc/749/task/756/stat : 756 (java) S 747 747 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87754650 26735009792 11592 33554432000 4194304 4196468 140728592724064 140131690724496 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=757] ppid=747 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/749/task/757/stat : 757 (java) S 747 747 32262 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87754650 26735009792 11592 33554432000 4194304 4196468 140728592724064 140131689671440 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=758] ppid=747 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/749/task/758/stat : 758 (java) S 747 747 32262 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87754650 26735009792 11592 33554432000 4194304 4196468 140728592724064 140131688618896 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=759] ppid=747 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/749/task/759/stat : 759 (java) S 747 747 32262 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87754651 26735009792 11592 33554432000 4194304 4196468 140728592724064 140130342471920 140132137278082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=760] ppid=747 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/749/task/760/stat : 760 (java) S 747 747 32262 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87754652 26735009792 11592 33554432000 4194304 4196468 140728592724064 140130341418144 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=761] ppid=747 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/749/task/761/stat : 761 (java) S 747 747 32262 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87754652 26735009792 11592 33554432000 4194304 4196468 140728592724064 140130340365040 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=762] ppid=747 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/749/task/762/stat : 762 (java) S 747 747 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87754654 26735009792 11592 33554432000 4194304 4196468 140728592724064 140130339313616 140132137285531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=763] ppid=747 vsize=26108408 memory=0 CPUtime=0.02 cores=0-7
/proc/749/task/763/stat : 763 (java) S 747 747 32262 0 -1 1077944384 437 0 0 0 2 0 0 0 20 0 20 0 87754654 26735009792 11592 33554432000 4194304 4196468 140728592724064 140130338261744 140132137278082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=764] ppid=747 vsize=26108408 memory=0 CPUtime=0.03 cores=0-7
/proc/749/task/764/stat : 764 (java) S 747 747 32262 0 -1 1077944384 292 0 0 0 3 0 0 0 20 0 20 0 87754654 26735009792 11592 33554432000 4194304 4196468 140728592724064 140130337209200 140132137278082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=765] ppid=747 vsize=26108408 memory=0 CPUtime=0.03 cores=0-7
/proc/749/task/765/stat : 765 (java) R 747 747 32262 0 -1 4202560 173 0 0 0 3 0 0 0 20 0 20 0 87754654 26735009792 11592 33554432000 4194304 4196468 140728592724064 140130336146528 140132118790049 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=766] ppid=747 vsize=26108408 memory=0 CPUtime=0.12 cores=0-7
/proc/749/task/766/stat : 766 (java) S 747 747 32262 0 -1 1077944384 841 0 0 0 12 0 0 0 20 0 20 0 87754654 26735009792 11592 33554432000 4194304 4196468 140728592724064 140130335103600 140132137278082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=767] ppid=747 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/749/task/767/stat : 767 (java) S 747 747 32262 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87754655 26735009792 11592 33554432000 4194304 4196468 140728592724064 140130334050784 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=768] ppid=747 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/749/task/768/stat : 768 (java) S 747 747 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87754655 26735009792 11592 33554432000 4194304 4196468 140728592724064 140130332998320 140132137278082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47724 KiB

[startup+0.700986 s]
/proc/loadavg: 7.70 8.19 8.38 4/203 768
/proc/meminfo: memFree=21759948/32770624 swapFree=67108860/67108860
[pid=747] ppid=744 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/747/stat : 747 (xcsp3-exec) S 744 747 32262 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87754648 115843072 363 33554432000 4194304 5098028 140722154345120 140722154343224 140003044520572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23658496 140722154353717 140722154353920 140722154353920 140722154356682 0
/proc/747/statm: 28282 363 305 221 0 87 0
[pid=749] ppid=747 vsize=26110532 memory=109216 CPUtime=1.95 cores=0-7
/proc/749/stat : 749 (java) S 747 747 32262 0 -1 1077944320 13777 0 0 0 191 4 0 0 20 0 20 0 87754649 26737184768 27304 33554432000 4194304 4196468 140728592724064 140728592706608 140132137266935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
/proc/749/statm: 6527633 27304 3352 1 0 6488827 0
[pid=749/tid=750] ppid=747 vsize=26110532 memory=4104 CPUtime=0.67 cores=0-7
/proc/749/task/750/stat : 750 (java) R 747 747 32262 0 -1 4202560 6843 0 0 0 65 2 0 0 20 0 20 0 87754649 26737184768 27304 33554432000 4194304 4196468 140728592724064 140132141504848 140132115263387 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=751] ppid=747 vsize=26110532 memory=1716 CPUtime=0 cores=0-7
/proc/749/task/751/stat : 751 (java) S 747 747 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87754650 26737184768 27304 33554432000 4194304 4196468 140728592724064 140132100373008 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=752] ppid=747 vsize=26110532 memory=1424 CPUtime=0 cores=0-7
/proc/749/task/752/stat : 752 (java) S 747 747 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87754650 26737184768 27304 33554432000 4194304 4196468 140728592724064 140131694934672 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=753] ppid=747 vsize=26110532 memory=796 CPUtime=0 cores=0-7
/proc/749/task/753/stat : 753 (java) S 747 747 32262 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87754650 26737184768 27304 33554432000 4194304 4196468 140728592724064 140131693881616 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0

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

[pid=749/tid=871] ppid=747 vsize=26645092 memory=0 CPUtime=8.69 cores=0-7
/proc/749/task/871/stat : 871 (java) R 747 747 32262 0 -1 4202560 870 0 0 0 864 5 0 0 20 0 28 0 87755037 27284574208 303913 33554432000 4194304 4196468 140728592724064 140130321054888 140131784325910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=872] ppid=747 vsize=26645092 memory=981928 CPUtime=8.48 cores=0-7
/proc/749/task/872/stat : 872 (java) R 747 747 32262 0 -1 4202560 89 0 0 0 848 0 0 0 20 0 28 0 87755038 27284574208 303913 33554432000 4194304 4196468 140728592724064 140130324214632 140131784042268 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
Current children cumulated CPU time: 86.42 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 1217104 KiB

[startup+13.808 s]
# the end of solver process 747 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=94.3178 s, system=0.787263 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+12.8021 s]
/proc/loadavg: 7.82 8.20 8.38 9/211 872
/proc/meminfo: memFree=20609580/32770624 swapFree=67108860/67108860
[pid=747] ppid=744 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/747/stat : 747 (xcsp3-exec) S 744 747 32262 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87754648 115843072 363 33554432000 4194304 5098028 140722154345120 140722154343224 140003044520572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23658496 140722154353717 140722154353920 140722154353920 140722154356682 0
/proc/747/statm: 28282 363 305 221 0 87 0
[pid=749] ppid=747 vsize=26645092 memory=1215824 CPUtime=87.22 cores=0-7
/proc/749/stat : 749 (java) S 747 747 32262 0 -1 1077944320 48884 0 0 0 8649 73 0 0 20 0 28 0 87754649 27284574208 303956 33554432000 4194304 4196468 140728592724064 140728592706608 140132137266935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
/proc/749/statm: 6661273 303956 3438 1 0 6622467 0
[pid=749/tid=750] ppid=747 vsize=26645092 memory=25656 CPUtime=2.46 cores=0-7
/proc/749/task/750/stat : 750 (java) S 747 747 32262 0 -1 1077944384 9597 0 0 0 239 7 0 0 20 0 28 0 87754649 27284574208 303956 33554432000 4194304 4196468 140728592724064 140132141507712 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=751] ppid=747 vsize=26645092 memory=1292 CPUtime=0.12 cores=0-7
/proc/749/task/751/stat : 751 (java) S 747 747 32262 0 -1 1077944384 549 0 0 0 8 4 0 0 20 0 28 0 87754650 27284574208 303956 33554432000 4194304 4196468 140728592724064 140132100373008 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=752] ppid=747 vsize=26645092 memory=2444 CPUtime=0.12 cores=0-7
/proc/749/task/752/stat : 752 (java) S 747 747 32262 0 -1 1077944384 198 0 0 0 8 4 0 0 20 0 28 0 87754650 27284574208 303956 33554432000 4194304 4196468 140728592724064 140131694934672 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=753] ppid=747 vsize=26645092 memory=4104 CPUtime=0.13 cores=0-7
/proc/749/task/753/stat : 753 (java) S 747 747 32262 0 -1 1077944384 253 0 0 0 8 5 0 0 20 0 28 0 87754650 27284574208 303956 33554432000 4194304 4196468 140728592724064 140131693881616 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=754] ppid=747 vsize=26645092 memory=1452 CPUtime=0.13 cores=0-7
/proc/749/task/754/stat : 754 (java) S 747 747 32262 0 -1 1077944384 182 0 0 0 8 5 0 0 20 0 28 0 87754650 27284574208 303956 33554432000 4194304 4196468 140728592724064 140131692829072 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=755] ppid=747 vsize=26645092 memory=495008 CPUtime=0.12 cores=0-7
/proc/749/task/755/stat : 755 (java) S 747 747 32262 0 -1 1077944384 192 0 0 0 8 4 0 0 20 0 28 0 87754650 27284574208 303956 33554432000 4194304 4196468 140728592724064 140131691777040 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=756] ppid=747 vsize=26645092 memory=1832 CPUtime=0.13 cores=0-7
/proc/749/task/756/stat : 756 (java) S 747 747 32262 0 -1 1077944384 214 0 0 0 9 4 0 0 20 0 28 0 87754650 27284574208 303956 33554432000 4194304 4196468 140728592724064 140131690724496 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=757] ppid=747 vsize=26645092 memory=1948 CPUtime=0.11 cores=0-7
/proc/749/task/757/stat : 757 (java) S 747 747 32262 0 -1 1077944384 1343 0 0 0 7 4 0 0 20 0 28 0 87754650 27284574208 303956 33554432000 4194304 4196468 140728592724064 140131689671440 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=758] ppid=747 vsize=26645092 memory=1224 CPUtime=0.13 cores=0-7
/proc/749/task/758/stat : 758 (java) S 747 747 32262 0 -1 1077944384 646 0 0 0 8 5 0 0 20 0 28 0 87754650 27284574208 303956 33554432000 4194304 4196468 140728592724064 140131688618896 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=759] ppid=747 vsize=26645092 memory=1716 CPUtime=0.02 cores=0-7
/proc/749/task/759/stat : 759 (java) S 747 747 32262 0 -1 1077944384 1587 0 0 0 2 0 0 0 20 0 28 0 87754651 27284574208 303956 33554432000 4194304 4196468 140728592724064 140130342471920 140132137278082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=760] ppid=747 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/749/task/760/stat : 760 (java) S 747 747 32262 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 87754652 27284574208 303956 33554432000 4194304 4196468 140728592724064 140130341418208 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=761] ppid=747 vsize=26645092 memory=1716 CPUtime=0 cores=0-7
/proc/749/task/761/stat : 761 (java) S 747 747 32262 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 87754652 27284574208 303956 33554432000 4194304 4196468 140728592724064 140130340365056 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=762] ppid=747 vsize=26645092 memory=1424 CPUtime=0 cores=0-7
/proc/749/task/762/stat : 762 (java) S 747 747 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87754654 27284574208 303956 33554432000 4194304 4196468 140728592724064 140130339313616 140132137285531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=763] ppid=747 vsize=26645092 memory=796 CPUtime=2.9 cores=0-7
/proc/749/task/763/stat : 763 (java) S 747 747 32262 0 -1 1077944384 8401 0 0 0 289 1 0 0 20 0 28 0 87754654 27284574208 303956 33554432000 4194304 4196468 140728592724064 140130338261744 140132137278082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=764] ppid=747 vsize=26645092 memory=8448 CPUtime=2.88 cores=0-7
/proc/749/task/764/stat : 764 (java) S 747 747 32262 0 -1 1077944384 7506 0 0 0 286 2 0 0 20 0 28 0 87754654 27284574208 303956 33554432000 4194304 4196468 140728592724064 140130337209200 140132137278082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=765] ppid=747 vsize=26645092 memory=5776 CPUtime=2.97 cores=0-7
/proc/749/task/765/stat : 765 (java) S 747 747 32262 0 -1 1077944384 6532 0 0 0 295 2 0 0 20 0 28 0 87754654 27284574208 303956 33554432000 4194304 4196468 140728592724064 140130336156144 140132137278082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=766] ppid=747 vsize=26645092 memory=1200 CPUtime=0.88 cores=0-7
/proc/749/task/766/stat : 766 (java) S 747 747 32262 0 -1 1077944384 4747 0 0 0 87 1 0 0 20 0 28 0 87754654 27284574208 303956 33554432000 4194304 4196468 140728592724064 140130335103600 140132137278082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=767] ppid=747 vsize=26645092 memory=12136 CPUtime=0 cores=0-7
/proc/749/task/767/stat : 767 (java) S 747 747 32262 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87754655 27284574208 303956 33554432000 4194304 4196468 140728592724064 140130334050784 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=768] ppid=747 vsize=26645092 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/749/task/768/stat : 768 (java) S 747 747 32262 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 87754655 27284574208 303956 33554432000 4194304 4196468 140728592724064 140130332998320 140132137278082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=865] ppid=747 vsize=26645092 memory=288230596050944315 CPUtime=8.73 cores=0-7
/proc/749/task/865/stat : 865 (java) R 747 747 32262 0 -1 4202560 88 0 0 0 873 0 0 0 20 0 28 0 87755037 27284574208 303956 33554432000 4194304 4196468 140728592724064 140130320001576 140131783021907 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=866] ppid=747 vsize=26645092 memory=14130048089196235 CPUtime=8.73 cores=0-7
/proc/749/task/866/stat : 866 (java) R 747 747 32262 0 -1 4202560 110 0 0 0 873 0 0 0 20 0 28 0 87755037 27284574208 303956 33554432000 4194304 4196468 140728592724064 140130318950112 140131783021835 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=867] ppid=747 vsize=26645092 memory=0 CPUtime=8.67 cores=0-7
/proc/749/task/867/stat : 867 (java) R 747 747 32262 0 -1 4202560 906 0 0 0 861 6 0 0 20 0 28 0 87755037 27284574208 303956 33554432000 4194304 4196468 140728592724064 140130317898232 140131784042241 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=868] ppid=747 vsize=26645092 memory=0 CPUtime=8.63 cores=0-7
/proc/749/task/868/stat : 868 (java) R 747 747 32262 0 -1 4202560 688 0 0 0 862 1 0 0 20 0 28 0 87755037 27284574208 303956 33554432000 4194304 4196468 140728592724064 140130316846304 140131783022057 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=869] ppid=747 vsize=26645092 memory=0 CPUtime=8.59 cores=0-7
/proc/749/task/869/stat : 869 (java) R 747 747 32262 0 -1 4202560 364 0 0 0 858 1 0 0 20 0 28 0 87755037 27284574208 303956 33554432000 4194304 4196468 140728592724064 140130322108624 140131782630403 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=870] ppid=747 vsize=26645092 memory=0 CPUtime=8.65 cores=0-7
/proc/749/task/870/stat : 870 (java) R 747 747 32262 0 -1 4202560 276 0 0 0 865 0 0 0 20 0 28 0 87755037 27284574208 303956 33554432000 4194304 4196468 140728592724064 140130323161360 140131784296069 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=871] ppid=747 vsize=26645092 memory=0 CPUtime=8.79 cores=0-7
/proc/749/task/871/stat : 871 (java) R 747 747 32262 0 -1 4202560 885 0 0 0 874 5 0 0 20 0 28 0 87755037 27284574208 303956 33554432000 4194304 4196468 140728592724064 140130321055512 140131783021835 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=872] ppid=747 vsize=26645092 memory=0 CPUtime=8.58 cores=0-7
/proc/749/task/872/stat : 872 (java) R 747 747 32262 0 -1 4202560 90 0 0 0 858 0 0 0 20 0 28 0 87755038 27284574208 303956 33554432000 4194304 4196468 140728592724064 140130324214496 140131783425235 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
Current children cumulated CPU time: 87.22 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 1217276 KiB

[startup+13.6021 s]
/proc/loadavg: 7.82 8.20 8.38 9/211 872
/proc/meminfo: memFree=20609736/32770624 swapFree=67108860/67108860
[pid=747] ppid=744 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/747/stat : 747 (xcsp3-exec) S 744 747 32262 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87754648 115843072 363 33554432000 4194304 5098028 140722154345120 140722154343224 140003044520572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23658496 140722154353717 140722154353920 140722154353920 140722154356682 0
/proc/747/statm: 28282 363 305 221 0 87 0
[pid=749] ppid=747 vsize=26645092 memory=1215884 CPUtime=93.6 cores=0-7
/proc/749/stat : 749 (java) S 747 747 32262 0 -1 1077944320 51128 0 0 0 9284 76 0 0 20 0 28 0 87754649 27284574208 303971 33554432000 4194304 4196468 140728592724064 140728592706608 140132137266935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
/proc/749/statm: 6661273 303971 3438 1 0 6622467 0
[pid=749/tid=750] ppid=747 vsize=26645092 memory=734122179376564274 CPUtime=2.46 cores=0-7
/proc/749/task/750/stat : 750 (java) S 747 747 32262 0 -1 1077944384 9597 0 0 0 239 7 0 0 20 0 28 0 87754649 27284574208 303971 33554432000 4194304 4196468 140728592724064 140132141507712 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=751] ppid=747 vsize=26645092 memory=6947385649911455296 CPUtime=0.12 cores=0-7
/proc/749/task/751/stat : 751 (java) S 747 747 32262 0 -1 1077944384 549 0 0 0 8 4 0 0 20 0 28 0 87754650 27284574208 303971 33554432000 4194304 4196468 140728592724064 140132100373008 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=752] ppid=747 vsize=26645092 memory=1452 CPUtime=0.12 cores=0-7
/proc/749/task/752/stat : 752 (java) S 747 747 32262 0 -1 1077944384 198 0 0 0 8 4 0 0 20 0 28 0 87754650 27284574208 303971 33554432000 4194304 4196468 140728592724064 140131694934672 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=753] ppid=747 vsize=26645092 memory=1215824 CPUtime=0.13 cores=0-7
/proc/749/task/753/stat : 753 (java) S 747 747 32262 0 -1 1077944384 253 0 0 0 8 5 0 0 20 0 28 0 87754650 27284574208 303971 33554432000 4194304 4196468 140728592724064 140131693881616 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=754] ppid=747 vsize=26645092 memory=15068 CPUtime=0.13 cores=0-7
/proc/749/task/754/stat : 754 (java) S 747 747 32262 0 -1 1077944384 182 0 0 0 8 5 0 0 20 0 28 0 87754650 27284574208 303971 33554432000 4194304 4196468 140728592724064 140131692829072 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=755] ppid=747 vsize=26645092 memory=18276 CPUtime=0.12 cores=0-7
/proc/749/task/755/stat : 755 (java) S 747 747 32262 0 -1 1077944384 192 0 0 0 8 4 0 0 20 0 28 0 87754650 27284574208 303971 33554432000 4194304 4196468 140728592724064 140131691777040 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=756] ppid=747 vsize=26645092 memory=4048 CPUtime=0.13 cores=0-7
/proc/749/task/756/stat : 756 (java) S 747 747 32262 0 -1 1077944384 214 0 0 0 9 4 0 0 20 0 28 0 87754650 27284574208 303971 33554432000 4194304 4196468 140728592724064 140131690724496 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=757] ppid=747 vsize=26645092 memory=1792 CPUtime=0.11 cores=0-7
/proc/749/task/757/stat : 757 (java) S 747 747 32262 0 -1 1077944384 1343 0 0 0 7 4 0 0 20 0 28 0 87754650 27284574208 303971 33554432000 4194304 4196468 140728592724064 140131689671440 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=758] ppid=747 vsize=26645092 memory=1236 CPUtime=0.13 cores=0-7
/proc/749/task/758/stat : 758 (java) S 747 747 32262 0 -1 1077944384 646 0 0 0 8 5 0 0 20 0 28 0 87754650 27284574208 303971 33554432000 4194304 4196468 140728592724064 140131688618896 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=759] ppid=747 vsize=26645092 memory=648 CPUtime=0.02 cores=0-7
/proc/749/task/759/stat : 759 (java) S 747 747 32262 0 -1 1077944384 1587 0 0 0 2 0 0 0 20 0 28 0 87754651 27284574208 303971 33554432000 4194304 4196468 140728592724064 140130342471920 140132137278082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=760] ppid=747 vsize=26645092 memory=956 CPUtime=0 cores=0-7
/proc/749/task/760/stat : 760 (java) S 747 747 32262 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 87754652 27284574208 303971 33554432000 4194304 4196468 140728592724064 140130341418208 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=761] ppid=747 vsize=26645092 memory=2340 CPUtime=0 cores=0-7
/proc/749/task/761/stat : 761 (java) S 747 747 32262 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 87754652 27284574208 303971 33554432000 4194304 4196468 140728592724064 140130340365056 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=762] ppid=747 vsize=26645092 memory=54 CPUtime=0 cores=0-7
/proc/749/task/762/stat : 762 (java) S 747 747 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87754654 27284574208 303971 33554432000 4194304 4196468 140728592724064 140130339313616 140132137285531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=763] ppid=747 vsize=26645092 memory=288230600345914358 CPUtime=2.92 cores=0-7
/proc/749/task/763/stat : 763 (java) S 747 747 32262 0 -1 1077944384 9079 0 0 0 291 1 0 0 20 0 28 0 87754654 27284574208 303971 33554432000 4194304 4196468 140728592724064 140130338261744 140132137278082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=764] ppid=747 vsize=26645092 memory=15821096972736340 CPUtime=2.89 cores=0-7
/proc/749/task/764/stat : 764 (java) S 747 747 32262 0 -1 1077944384 7752 0 0 0 287 2 0 0 20 0 28 0 87754654 27284574208 303971 33554432000 4194304 4196468 140728592724064 140130337209200 140132137278082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=765] ppid=747 vsize=26645092 memory=8530215889787827767 CPUtime=3.02 cores=0-7
/proc/749/task/765/stat : 765 (java) S 747 747 32262 0 -1 1077944384 7565 0 0 0 300 2 0 0 20 0 28 0 87754654 27284574208 303971 33554432000 4194304 4196468 140728592724064 140130336156144 140132137278082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=766] ppid=747 vsize=26645092 memory=8530215889787893303 CPUtime=0.88 cores=0-7
/proc/749/task/766/stat : 766 (java) S 747 747 32262 0 -1 1077944384 4747 0 0 0 87 1 0 0 20 0 28 0 87754654 27284574208 303971 33554432000 4194304 4196468 140728592724064 140130335103600 140132137278082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=767] ppid=747 vsize=26645092 memory=8530215889787958839 CPUtime=0 cores=0-7
/proc/749/task/767/stat : 767 (java) S 747 747 32262 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87754655 27284574208 303971 33554432000 4194304 4196468 140728592724064 140130334050784 140132137277141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=768] ppid=747 vsize=26645092 memory=8530215889788024375 CPUtime=0 cores=0-7
/proc/749/task/768/stat : 768 (java) S 747 747 32262 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 87754655 27284574208 303971 33554432000 4194304 4196468 140728592724064 140130332998320 140132137278082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=865] ppid=747 vsize=26645092 memory=8530215889788089911 CPUtime=9.53 cores=0-7
/proc/749/task/865/stat : 865 (java) R 747 747 32262 0 -1 4202560 88 0 0 0 953 0 0 0 20 0 28 0 87755037 27284574208 303971 33554432000 4194304 4196468 140728592724064 140130320001576 140131784657528 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=866] ppid=747 vsize=26645092 memory=8530215889788155447 CPUtime=9.53 cores=0-7
/proc/749/task/866/stat : 866 (java) R 747 747 32262 0 -1 4202560 110 0 0 0 953 0 0 0 20 0 28 0 87755037 27284574208 303971 33554432000 4194304 4196468 140728592724064 140130318950248 140131783426061 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=867] ppid=747 vsize=26645092 memory=8530215889788220983 CPUtime=9.45 cores=0-7
/proc/749/task/867/stat : 867 (java) R 747 747 32262 0 -1 4202560 1000 0 0 0 938 7 0 0 20 0 28 0 87755037 27284574208 303971 33554432000 4194304 4196468 140728592724064 140130317899800 140131783022615 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=868] ppid=747 vsize=26645092 memory=8530215889788024376 CPUtime=9.44 cores=0-7
/proc/749/task/868/stat : 868 (java) R 747 747 32262 0 -1 4202560 727 0 0 0 942 2 0 0 20 0 28 0 87755037 27284574208 303971 33554432000 4194304 4196468 140728592724064 140130316846440 140131783425076 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=869] ppid=747 vsize=26645092 memory=8530215889788089912 CPUtime=9.37 cores=0-7
/proc/749/task/869/stat : 869 (java) R 747 747 32262 0 -1 4202560 399 0 0 0 936 1 0 0 20 0 28 0 87755037 27284574208 303971 33554432000 4194304 4196468 140728592724064 140130322108760 140131783427592 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=870] ppid=747 vsize=26645092 memory=8530215889788155448 CPUtime=9.42 cores=0-7
/proc/749/task/870/stat : 870 (java) R 747 747 32262 0 -1 4202560 284 0 0 0 942 0 0 0 20 0 28 0 87755037 27284574208 303971 33554432000 4194304 4196468 140728592724064 140130323161248 140131782010823 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=871] ppid=747 vsize=26645092 memory=8530215889788220984 CPUtime=9.6 cores=0-7
/proc/749/task/871/stat : 871 (java) R 747 747 32262 0 -1 4202560 996 0 0 0 953 7 0 0 20 0 28 0 87755037 27284574208 303971 33554432000 4194304 4196468 140728592724064 140130321055504 140131783022615 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
[pid=749/tid=872] ppid=747 vsize=26645092 memory=-7003737579269690708 CPUtime=9.37 cores=0-7
/proc/749/task/872/stat : 872 (java) R 747 747 32262 0 -1 4202560 90 0 0 0 937 0 0 0 20 0 28 0 87755038 27284574208 303971 33554432000 4194304 4196468 140728592724064 140130324214632 140131783022615 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 21950464 140728592725121 140728592725293 140728592725293 140728592728015 0
Current children cumulated CPU time: 93.6 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 1217336 KiB

[startup+13.8013 s]
/proc/loadavg: 7.82 8.20 8.38 9/211 872
/proc/meminfo: memFree=20609736/32770624 swapFree=67108860/67108860
[pid=747] ppid=744 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/747/stat : 747 (xcsp3-exec) S 744 747 32262 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87754648 115843072 363 33554432000 4194304 5098028 140722154345120 140722154343224 140003044520572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23658496 140722154353717 140722154353920 140722154353920 140722154356682 0
/proc/747/statm: 28282 363 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB

Child status: 0
Real time (s): 13.808
CPU time (s): 95.105
CPU user time (s): 94.3178
CPU system time (s): 0.787263
CPU usage (%): 688.767
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 1217336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 94.3178
system time used= 0.787263
maximum resident set size= 1215884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52463
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5809
involuntary context switches= 1423


# summary of solver processes directly reported to runsolver:
#   pid: 747
#   total CPU time (s): 95.105
#   total CPU user time (s): 94.3178
#   total CPU system time (s): 0.787263

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.136662 second user time and 0.200225 second system time

The end
Name	GraphColoring/ GraphColoring-4-fullins-4_c18.xml
MD5SUM	954cbc6df2411a2de12d490b8b2019f6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	7
Best CPU time to get the best result obtained on this benchmark	95.105
Satisfiable
(Un)Satisfiability was proved
Number of variables	690
Number of constraints	6650
Number of domains	1
Minimum domain size	690
Maximum domain size	690
Distribution of domain sizes	[{"size":690,"count":690}]
Minimum variable degree	7
Maximum variable degree	120
Distribution of variable degrees	[{"degree":7,"count":4},{"degree":8,"count":18},{"degree":9,"count":14},{"degree":10,"count":56},{"degree":11,"count":18},{"degree":12,"count":78},{"degree":13,"count":10},{"degree":14,"count":40},{"degree":15,"count":40},{"degree":16,"count":160},{"degree":17,"count":6},{"degree":18,"count":24},{"degree":19,"count":6},{"degree":20,"count":24},{"degree":26,"count":6},{"degree":29,"count":6},{"degree":30,"count":24},{"degree":31,"count":24},{"degree":32,"count":96},{"degree":47,"count":6},{"degree":48,"count":24},{"degree":120,"count":6}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":6650}]
Number of extensional constraints	0
Number of intensional constraints	6650
Distribution of constraint types	[{"type":"intension","count":6650}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4297384

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
