2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-08-18)	OPT	3	8.8373499	2.0104301
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 (11928 MiB free)
  memory of node 1: 16384 MiB (12146 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281379-1503184513/watcher-4281379-1503184513 -o /tmp/evaluation-result-4281379-1503184513/solver-4281379-1503184513 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node151-1503173550-3421 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1722912968 HOME/instance-4281379-1503184513.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=4893, runsolver pid=4890

[startup+0.100141 s]*
/proc/loadavg: 7.77 8.21 8.21 2/201 4914
/proc/meminfo: memFree=24636600/32770624 swapFree=67108860/67108860
[pid=4893] ppid=4890 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4893/stat : 4893 (xcsp3-exec) S 4890 4893 3394 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151532042 9740288 346 33554432000 4194304 5098028 140730198748896 140730198747000 140286022214268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31059968 140730198754410 140730198754620 140730198754620 140730198757355 0
/proc/4893/statm: 2378 346 289 221 0 87 0
[pid=4895] ppid=4893 vsize=25999808 memory=26120 CPUtime=0.12 cores=0-7
/proc/4895/stat : 4895 (java) S 4893 4893 3394 0 -1 1077944320 5473 0 0 0 10 2 0 0 20 0 20 0 151532042 26623803392 6530 33554432000 4194304 4196468 140727638904960 140727638887504 139822819401463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
/proc/4895/statm: 6499952 6530 2843 1 0 6488269 0
[pid=4895/tid=4896] ppid=4893 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/4895/task/4896/stat : 4896 (java) R 4893 4893 3394 0 -1 4202560 3481 0 0 0 8 1 0 0 20 0 20 0 151532042 26623803392 6530 33554432000 4194304 4196468 140727638904960 139822823633376 139822801270048 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4897] ppid=4893 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/4895/task/4897/stat : 4897 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151532043 26623803392 6530 33554432000 4194304 4196468 140727638904960 139822741981456 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4898] ppid=4893 vsize=25999808 memory=140371648104064 CPUtime=0 cores=0-7
/proc/4895/task/4898/stat : 4898 (java) S 4893 4893 3394 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151532043 26623803392 6530 33554432000 4194304 4196468 140727638904960 139822740928912 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4899] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4899/stat : 4899 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151532043 26623803392 6530 33554432000 4194304 4196468 140727638904960 139822739876368 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4900] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4900/stat : 4900 (java) S 4893 4893 3394 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151532043 26623803392 6530 33554432000 4194304 4196468 140727638904960 139822738823824 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4901] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4901/stat : 4901 (java) S 4893 4893 3394 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151532043 26623803392 6530 33554432000 4194304 4196468 140727638904960 139822737771280 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4902] ppid=4893 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4895/task/4902/stat : 4902 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151532043 26623803392 6530 33554432000 4194304 4196468 140727638904960 139822736718736 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4903] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4903/stat : 4903 (java) S 4893 4893 3394 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151532043 26623803392 6530 33554432000 4194304 4196468 140727638904960 139822735666192 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4904] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4904/stat : 4904 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151532043 26623803392 6530 33554432000 4194304 4196468 140727638904960 139822734613648 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4905] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4905/stat : 4905 (java) S 4893 4893 3394 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151532045 26623803392 6530 33554432000 4194304 4196468 140727638904960 139822327433200 139822819412610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4906] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4906/stat : 4906 (java) S 4893 4893 3394 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151532045 26623803392 6530 33554432000 4194304 4196468 140727638904960 139822326379424 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4907] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4907/stat : 4907 (java) S 4893 4893 3394 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151532045 26623803392 6530 33554432000 4194304 4196468 140727638904960 139821944169456 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4908] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4908/stat : 4908 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151532048 26623803392 6530 33554432000 4194304 4196468 140727638904960 139821943118032 139822819420059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4909] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4909/stat : 4909 (java) S 4893 4893 3394 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 151532048 26623803392 6530 33554432000 4194304 4196468 140727638904960 139821942065648 139822819412610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4910] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4910/stat : 4910 (java) S 4893 4893 3394 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 151532048 26623803392 6530 33554432000 4194304 4196468 140727638904960 139821941013104 139822819412610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4911] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4911/stat : 4911 (java) S 4893 4893 3394 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151532048 26623803392 6530 33554432000 4194304 4196468 140727638904960 139821939960560 139822819412610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4912] ppid=4893 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/4895/task/4912/stat : 4912 (java) S 4893 4893 3394 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 20 0 151532048 26623803392 6530 33554432000 4194304 4196468 140727638904960 139821938908016 139822819412610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4913] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4913/stat : 4913 (java) S 4893 4893 3394 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151532048 26623803392 6530 33554432000 4194304 4196468 140727638904960 139821937854688 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4914] ppid=4893 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4895/task/4914/stat : 4914 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151532048 26623803392 6530 33554432000 4194304 4196468 140727638904960 139821936802224 139822819412610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27504 KiB

[startup+0.209811 s]*
/proc/loadavg: 7.77 8.21 8.21 2/201 4914
/proc/meminfo: memFree=24624940/32770624 swapFree=67108860/67108860
[pid=4893] ppid=4890 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4893/stat : 4893 (xcsp3-exec) S 4890 4893 3394 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151532042 9740288 346 33554432000 4194304 5098028 140730198748896 140730198747000 140286022214268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31059968 140730198754410 140730198754620 140730198754620 140730198757355 0
/proc/4893/statm: 2378 346 289 221 0 87 0
[pid=4895] ppid=4893 vsize=26004064 memory=39116 CPUtime=0.33 cores=0-7
/proc/4895/stat : 4895 (java) S 4893 4893 3394 0 -1 1077944320 8350 0 0 0 30 3 0 0 20 0 20 0 151532042 26628161536 9779 33554432000 4194304 4196468 140727638904960 140727638887504 139822819401463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
/proc/4895/statm: 6501016 9779 3060 1 0 6488269 0
[pid=4895/tid=4896] ppid=4893 vsize=26004096 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/4895/task/4896/stat : 4896 (java) R 4893 4893 3394 0 -1 4202560 5419 0 0 0 18 2 0 0 20 0 20 0 151532042 26628194304 9800 33554432000 4194304 4196468 140727638904960 139822823612272 139822812081181 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4897] ppid=4893 vsize=26004096 memory=340 CPUtime=0 cores=0-7
/proc/4895/task/4897/stat : 4897 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151532043 26628194304 9800 33554432000 4194304 4196468 140727638904960 139822741981456 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4898] ppid=4893 vsize=26004096 memory=140371648112903 CPUtime=0 cores=0-7
/proc/4895/task/4898/stat : 4898 (java) S 4893 4893 3394 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151532043 26628194304 9800 33554432000 4194304 4196468 140727638904960 139822740928912 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4899] ppid=4893 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4895/task/4899/stat : 4899 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151532043 26628161536 9800 33554432000 4194304 4196468 140727638904960 139822739876368 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4900] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4900/stat : 4900 (java) S 4893 4893 3394 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151532043 26628161536 9800 33554432000 4194304 4196468 140727638904960 139822738823824 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4901] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4901/stat : 4901 (java) S 4893 4893 3394 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151532043 26628161536 9800 33554432000 4194304 4196468 140727638904960 139822737771280 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4902] ppid=4893 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4895/task/4902/stat : 4902 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151532043 26628161536 9800 33554432000 4194304 4196468 140727638904960 139822736718736 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4903] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4903/stat : 4903 (java) S 4893 4893 3394 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151532043 26628161536 9800 33554432000 4194304 4196468 140727638904960 139822735666192 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4904] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4904/stat : 4904 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151532043 26628161536 9800 33554432000 4194304 4196468 140727638904960 139822734613648 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4905] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4905/stat : 4905 (java) S 4893 4893 3394 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151532045 26628161536 9800 33554432000 4194304 4196468 140727638904960 139822327433200 139822819412610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4906] ppid=4893 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4906/stat : 4906 (java) S 4893 4893 3394 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151532045 26628194304 9800 33554432000 4194304 4196468 140727638904960 139822326379424 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4907] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4907/stat : 4907 (java) S 4893 4893 3394 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151532045 26628161536 9800 33554432000 4194304 4196468 140727638904960 139821944169456 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4908] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4908/stat : 4908 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151532048 26628161536 9800 33554432000 4194304 4196468 140727638904960 139821943118032 139822819420059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4909] ppid=4893 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/4895/task/4909/stat : 4909 (java) S 4893 4893 3394 0 -1 1077944384 420 0 0 0 1 0 0 0 20 0 20 0 151532048 26628161536 9800 33554432000 4194304 4196468 140727638904960 139821942065648 139822819412610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4910] ppid=4893 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/4895/task/4910/stat : 4910 (java) S 4893 4893 3394 0 -1 1077944384 403 0 0 0 1 0 0 0 20 0 20 0 151532048 26628161536 9800 33554432000 4194304 4196468 140727638904960 139821941013104 139822819412610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4911] ppid=4893 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/4895/task/4911/stat : 4911 (java) S 4893 4893 3394 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 151532048 26628161536 9800 33554432000 4194304 4196468 140727638904960 139821939960560 139822819412610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4912] ppid=4893 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/4895/task/4912/stat : 4912 (java) S 4893 4893 3394 0 -1 1077944384 722 0 0 0 7 0 0 0 20 0 20 0 151532048 26628161536 9800 33554432000 4194304 4196468 140727638904960 139821938908016 139822819412610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4913] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4913/stat : 4913 (java) S 4893 4893 3394 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151532048 26628161536 9800 33554432000 4194304 4196468 140727638904960 139821937854688 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4914] ppid=4893 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4895/task/4914/stat : 4914 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151532048 26628161536 9800 33554432000 4194304 4196468 140727638904960 139821936802224 139822819412610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40500 KiB

[startup+0.309494 s]*
/proc/loadavg: 7.77 8.21 8.21 3/201 4914
/proc/meminfo: memFree=24621180/32770624 swapFree=67108860/67108860
[pid=4893] ppid=4890 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4893/stat : 4893 (xcsp3-exec) S 4890 4893 3394 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151532042 9740288 346 33554432000 4194304 5098028 140730198748896 140730198747000 140286022214268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31059968 140730198754410 140730198754620 140730198754620 140730198757355 0
/proc/4893/statm: 2378 346 289 221 0 87 0
[pid=4895] ppid=4893 vsize=26004064 memory=43756 CPUtime=0.5 cores=0-7
/proc/4895/stat : 4895 (java) S 4893 4893 3394 0 -1 1077944320 9199 0 0 0 46 4 0 0 20 0 20 0 151532042 26628161536 10939 33554432000 4194304 4196468 140727638904960 140727638887504 139822819401463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
/proc/4895/statm: 6501016 10939 3076 1 0 6488269 0
[pid=4895/tid=4896] ppid=4893 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/4895/task/4896/stat : 4896 (java) R 4893 4893 3394 0 -1 4202560 6071 0 0 0 27 2 0 0 20 0 20 0 151532042 26628161536 10939 33554432000 4194304 4196468 140727638904960 139822823638928 139822408740596 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4897] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4897/stat : 4897 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151532043 26628161536 10939 33554432000 4194304 4196468 140727638904960 139822741981456 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4898] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4898/stat : 4898 (java) S 4893 4893 3394 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151532043 26628161536 10939 33554432000 4194304 4196468 140727638904960 139822740928912 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4899] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4899/stat : 4899 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151532043 26628161536 10939 33554432000 4194304 4196468 140727638904960 139822739876368 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4900] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4900/stat : 4900 (java) S 4893 4893 3394 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151532043 26628161536 10939 33554432000 4194304 4196468 140727638904960 139822738823824 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4901] ppid=4893 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/4895/task/4901/stat : 4901 (java) S 4893 4893 3394 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151532043 26628161536 10939 33554432000 4194304 4196468 140727638904960 139822737771280 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4902] ppid=4893 vsize=26004064 memory=140371543815087 CPUtime=0 cores=0-7
/proc/4895/task/4902/stat : 4902 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151532043 26628161536 10939 33554432000 4194304 4196468 140727638904960 139822736718736 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4903] ppid=4893 vsize=26004064 memory=140371543817392 CPUtime=0 cores=0-7
/proc/4895/task/4903/stat : 4903 (java) S 4893 4893 3394 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151532043 26628161536 10939 33554432000 4194304 4196468 140727638904960 139822735666192 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4904] ppid=4893 vsize=26004064 memory=140371543819696 CPUtime=0 cores=0-7
/proc/4895/task/4904/stat : 4904 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151532043 26628161536 10939 33554432000 4194304 4196468 140727638904960 139822734613648 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4905] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4905/stat : 4905 (java) S 4893 4893 3394 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151532045 26628161536 10939 33554432000 4194304 4196468 140727638904960 139822327433200 139822819412610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4906] ppid=4893 vsize=26004064 memory=280743087646352 CPUtime=0 cores=0-7
/proc/4895/task/4906/stat : 4906 (java) S 4893 4893 3394 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151532045 26628161536 10939 33554432000 4194304 4196468 140727638904960 139822326379424 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4907] ppid=4893 vsize=26004064 memory=280743087653264 CPUtime=0 cores=0-7
/proc/4895/task/4907/stat : 4907 (java) S 4893 4893 3394 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151532045 26628161536 10939 33554432000 4194304 4196468 140727638904960 139821944169456 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4908] ppid=4893 vsize=26004064 memory=280743087594544 CPUtime=0 cores=0-7
/proc/4895/task/4908/stat : 4908 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151532048 26628161536 10939 33554432000 4194304 4196468 140727638904960 139821943118032 139822819420059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4909] ppid=4893 vsize=26004064 memory=280743087667088 CPUtime=0.02 cores=0-7
/proc/4895/task/4909/stat : 4909 (java) S 4893 4893 3394 0 -1 1077944384 420 0 0 0 2 0 0 0 20 0 20 0 151532048 26628161536 10939 33554432000 4194304 4196468 140727638904960 139821942065648 139822819412610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4910] ppid=4893 vsize=26004064 memory=280743087674000 CPUtime=0.02 cores=0-7
/proc/4895/task/4910/stat : 4910 (java) S 4893 4893 3394 0 -1 1077944384 450 0 0 0 2 0 0 0 20 0 20 0 151532048 26628161536 10939 33554432000 4194304 4196468 140727638904960 139821941013104 139822819412610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4911] ppid=4893 vsize=26004064 memory=280743087671696 CPUtime=0.02 cores=0-7
/proc/4895/task/4911/stat : 4911 (java) S 4893 4893 3394 0 -1 1077944384 110 0 0 0 2 0 0 0 20 0 20 0 151532048 26628161536 10939 33554432000 4194304 4196468 140727638904960 139821939960560 139822819412610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4912] ppid=4893 vsize=26004064 memory=280743087687856 CPUtime=0.12 cores=0-7
/proc/4895/task/4912/stat : 4912 (java) R 4893 4893 3394 0 -1 4202560 840 0 0 0 12 0 0 0 20 0 20 0 151532048 26628161536 11451 33554432000 4194304 4196468 140727638904960 139821938904384 139822812498307 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4913] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4913/stat : 4913 (java) S 4893 4893 3394 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151532048 26628161536 11451 33554432000 4194304 4196468 140727638904960 139821937854688 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4914] ppid=4893 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4895/task/4914/stat : 4914 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151532048 26628161536 11451 33554432000 4194304 4196468 140727638904960 139821936802224 139822819412610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45140 KiB

[startup+0.700943 s]
/proc/loadavg: 7.77 8.21 8.21 5/201 4914
/proc/meminfo: memFree=24595676/32770624 swapFree=67108860/67108860
[pid=4893] ppid=4890 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4893/stat : 4893 (xcsp3-exec) S 4890 4893 3394 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151532042 9740288 346 33554432000 4194304 5098028 140730198748896 140730198747000 140286022214268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31059968 140730198754410 140730198754620 140730198754620 140730198757355 0
/proc/4893/statm: 2378 346 289 221 0 87 0
[pid=4895] ppid=4893 vsize=26006188 memory=91028 CPUtime=1.99 cores=0-7
/proc/4895/stat : 4895 (java) S 4893 4893 3394 0 -1 1077944320 13364 0 0 0 193 6 0 0 20 0 20 0 151532042 26630336512 22757 33554432000 4194304 4196468 140727638904960 140727638887504 139822819401463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
/proc/4895/statm: 6501547 22757 3203 1 0 6488781 0
[pid=4895/tid=4896] ppid=4893 vsize=26006188 memory=280743088045744 CPUtime=0.67 cores=0-7
/proc/4895/task/4896/stat : 4896 (java) R 4893 4893 3394 0 -1 4202560 6703 0 0 0 64 3 0 0 20 0 20 0 151532042 26630336512 22757 33554432000 4194304 4196468 140727638904960 139822823639136 139822819413398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4897] ppid=4893 vsize=26006188 memory=140371544023920 CPUtime=0 cores=0-7
/proc/4895/task/4897/stat : 4897 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151532043 26630336512 22757 33554432000 4194304 4196468 140727638904960 139822741981456 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4898] ppid=4893 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4898/stat : 4898 (java) S 4893 4893 3394 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151532043 26630336512 22757 33554432000 4194304 4196468 140727638904960 139822740928912 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4899] ppid=4893 vsize=26006188 memory=1200 CPUtime=0 cores=0-7
/proc/4895/task/4899/stat : 4899 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151532043 26630336512 22757 33554432000 4194304 4196468 140727638904960 139822739876368 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4900] ppid=4893 vsize=26006188 memory=1424 CPUtime=0 cores=0-7
/proc/4895/task/4900/stat : 4900 (java) S 4893 4893 3394 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151532043 26630336512 22757 33554432000 4194304 4196468 140727638904960 139822738823824 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4901] ppid=4893 vsize=26006188 memory=8596 CPUtime=0 cores=0-7
/proc/4895/task/4901/stat : 4901 (java) S 4893 4893 3394 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151532043 26630336512 22757 33554432000 4194304 4196468 140727638904960 139822737771280 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4902] ppid=4893 vsize=26006188 memory=15876 CPUtime=0 cores=0-7
/proc/4895/task/4902/stat : 4902 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151532043 26630336512 22757 33554432000 4194304 4196468 140727638904960 139822736718736 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4903] ppid=4893 vsize=26006188 memory=4052 CPUtime=0 cores=0-7
/proc/4895/task/4903/stat : 4903 (java) S 4893 4893 3394 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151532043 26630336512 22757 33554432000 4194304 4196468 140727638904960 139822735666192 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4904] ppid=4893 vsize=26006188 memory=24356 CPUtime=0 cores=0-7
/proc/4895/task/4904/stat : 4904 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151532043 26630336512 22757 33554432000 4194304 4196468 140727638904960 139822734613648 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4905] ppid=4893 vsize=26006188 memory=18472 CPUtime=0 cores=0-7
/proc/4895/task/4905/stat : 4905 (java) S 4893 4893 3394 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 151532045 26630336512 22757 33554432000 4194304 4196468 140727638904960 139822327433200 139822819412610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4906] ppid=4893 vsize=26006188 memory=640 CPUtime=0 cores=0-7
/proc/4895/task/4906/stat : 4906 (java) S 4893 4893 3394 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151532045 26630336512 22757 33554432000 4194304 4196468 140727638904960 139822326379424 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4907] ppid=4893 vsize=26006188 memory=1796 CPUtime=0 cores=0-7
/proc/4895/task/4907/stat : 4907 (java) S 4893 4893 3394 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151532045 26630336512 22757 33554432000 4194304 4196468 140727638904960 139821944169456 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4908] ppid=4893 vsize=26006188 memory=960 CPUtime=0 cores=0-7
/proc/4895/task/4908/stat : 4908 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151532048 26630336512 22757 33554432000 4194304 4196468 140727638904960 139821943118032 139822819420059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4909] ppid=4893 vsize=26006188 memory=0 CPUtime=0.32 cores=0-7
/proc/4895/task/4909/stat : 4909 (java) R 4893 4893 3394 0 -1 4202560 1371 0 0 0 32 0 0 0 20 0 20 0 151532048 26630336512 22757 33554432000 4194304 4196468 140727638904960 139821942065648 139822819413398 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4910] ppid=4893 vsize=26006188 memory=10096 CPUtime=0.28 cores=0-7
/proc/4895/task/4910/stat : 4910 (java) R 4893 4893 3394 0 -1 4202560 1314 0 0 0 28 0 0 0 20 0 20 0 151532048 26630336512 22757 33554432000 4194304 4196468 140727638904960 139821941013104 139822798716699 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4911] ppid=4893 vsize=26006188 memory=1224 CPUtime=0.31 cores=0-7
/proc/4895/task/4911/stat : 4911 (java) S 4893 4893 3394 0 -1 1077944384 982 0 0 0 31 0 0 0 20 0 20 0 151532048 26630336512 22757 33554432000 4194304 4196468 140727638904960 139821939960560 139822819412610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4912] ppid=4893 vsize=26006188 memory=5784 CPUtime=0.36 cores=0-7
/proc/4895/task/4912/stat : 4912 (java) S 4893 4893 3394 0 -1 1077944384 1680 0 0 0 36 0 0 0 20 0 20 0 151532048 26630336512 22757 33554432000 4194304 4196468 140727638904960 139821938908016 139822819412610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4913] ppid=4893 vsize=26006188 memory=1720 CPUtime=0 cores=0-7
/proc/4895/task/4913/stat : 4913 (java) S 4893 4893 3394 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151532048 26630336512 22757 33554432000 4194304 4196468 140727638904960 139821937854688 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4914] ppid=4893 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/4895/task/4914/stat : 4914 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151532048 26630336512 22757 33554432000 4194304 4196468 140727638904960 139821936802224 139822819412610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 92412 KiB

[startup+1.50092 s]
/proc/loadavg: 7.77 8.21 8.21 5/201 4914
/proc/meminfo: memFree=24518420/32770624 swapFree=67108860/67108860
[pid=4893] ppid=4890 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4893/stat : 4893 (xcsp3-exec) S 4890 4893 3394 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151532042 9740288 346 33554432000 4194304 5098028 140730198748896 140730198747000 140286022214268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31059968 140730198754410 140730198754620 140730198754620 140730198757355 0
/proc/4893/statm: 2378 346 289 221 0 87 0
[pid=4895] ppid=4893 vsize=26006188 memory=231652 CPUtime=5.32 cores=0-7
/proc/4895/stat : 4895 (java) S 4893 4893 3394 0 -1 1077944320 22845 0 0 0 518 14 0 0 20 0 20 0 151532042 26630336512 57913 33554432000 4194304 4196468 140727638904960 140727638887504 139822819401463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
/proc/4895/statm: 6501547 57913 3254 1 0 6488781 0
[pid=4895/tid=4896] ppid=4893 vsize=26006188 memory=13573682337417760 CPUtime=1.43 cores=0-7
/proc/4895/task/4896/stat : 4896 (java) R 4893 4893 3394 0 -1 4202560 7177 0 0 0 139 4 0 0 20 0 20 0 151532042 26630336512 57913 33554432000 4194304 4196468 140727638904960 139822823639104 139822414594952 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4897] ppid=4893 vsize=26006188 memory=0 CPUtime=0.01 cores=0-7
/proc/4895/task/4897/stat : 4897 (java) S 4893 4893 3394 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 20 0 151532043 26630336512 57913 33554432000 4194304 4196468 140727638904960 139822741981456 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4898] ppid=4893 vsize=26006188 memory=0 CPUtime=0.01 cores=0-7
/proc/4895/task/4898/stat : 4898 (java) S 4893 4893 3394 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 20 0 151532043 26630336512 57913 33554432000 4194304 4196468 140727638904960 139822740928912 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4899] ppid=4893 vsize=26006188 memory=0 CPUtime=0.01 cores=0-7
/proc/4895/task/4899/stat : 4899 (java) S 4893 4893 3394 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 151532043 26630336512 57913 33554432000 4194304 4196468 140727638904960 139822739876368 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4900] ppid=4893 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4900/stat : 4900 (java) S 4893 4893 3394 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 151532043 26630336512 57913 33554432000 4194304 4196468 140727638904960 139822738823824 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4901] ppid=4893 vsize=26006188 memory=280743088319504 CPUtime=0.01 cores=0-7
/proc/4895/task/4901/stat : 4901 (java) S 4893 4893 3394 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 20 0 151532043 26630336512 57913 33554432000 4194304 4196468 140727638904960 139822737771280 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4902] ppid=4893 vsize=26006188 memory=140371544160800 CPUtime=0.02 cores=0-7
/proc/4895/task/4902/stat : 4902 (java) S 4893 4893 3394 0 -1 1077944384 97 0 0 0 1 1 0 0 20 0 20 0 151532043 26630336512 57913 33554432000 4194304 4196468 140727638904960 139822736718736 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4903] ppid=4893 vsize=26006188 memory=0 CPUtime=0.02 cores=0-7
/proc/4895/task/4903/stat : 4903 (java) S 4893 4893 3394 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 20 0 151532043 26630336512 57913 33554432000 4194304 4196468 140727638904960 139822735666192 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4904] ppid=4893 vsize=26006188 memory=0 CPUtime=0.01 cores=0-7
/proc/4895/task/4904/stat : 4904 (java) S 4893 4893 3394 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 20 0 151532043 26630336512 57913 33554432000 4194304 4196468 140727638904960 139822734613648 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4905] ppid=4893 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4905/stat : 4905 (java) S 4893 4893 3394 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 20 0 151532045 26630336512 57913 33554432000 4194304 4196468 140727638904960 139822327433200 139822819412610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4906] ppid=4893 vsize=26006188 memory=2244 CPUtime=0 cores=0-7
/proc/4895/task/4906/stat : 4906 (java) S 4893 4893 3394 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 151532045 26630336512 57913 33554432000 4194304 4196468 140727638904960 139822326379488 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4907] ppid=4893 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4907/stat : 4907 (java) S 4893 4893 3394 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 151532045 26630336512 57913 33554432000 4194304 4196468 140727638904960 139821944169472 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4908] ppid=4893 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4908/stat : 4908 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151532048 26630336512 57913 33554432000 4194304 4196468 140727638904960 139821943118032 139822819420059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4909] ppid=4893 vsize=26006188 memory=0 CPUtime=1.07 cores=0-7
/proc/4895/task/4909/stat : 4909 (java) R 4893 4893 3394 0 -1 4202560 3477 0 0 0 107 0 0 0 20 0 20 0 151532048 26630336512 57913 33554432000 4194304 4196468 140727638904960 139821942045712 139822800577215 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4910] ppid=4893 vsize=26006188 memory=0 CPUtime=1.03 cores=0-7
/proc/4895/task/4910/stat : 4910 (java) R 4893 4893 3394 0 -1 4202560 3964 0 0 0 103 0 0 0 20 0 20 0 151532048 26630336512 57913 33554432000 4194304 4196468 140727638904960 139821940993248 139822805464688 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4911] ppid=4893 vsize=26006188 memory=0 CPUtime=1.06 cores=0-7
/proc/4895/task/4911/stat : 4911 (java) R 4893 4893 3394 0 -1 4202560 4215 0 0 0 106 0 0 0 20 0 20 0 151532048 26630336512 57913 33554432000 4194304 4196468 140727638904960 139821939945552 139822803391771 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4912] ppid=4893 vsize=26006188 memory=6944656575208382560 CPUtime=0.47 cores=0-7
/proc/4895/task/4912/stat : 4912 (java) S 4893 4893 3394 0 -1 1077944384 2039 0 0 0 47 0 0 0 20 0 20 0 151532048 26630336512 57913 33554432000 4194304 4196468 140727638904960 139821938908016 139822819412610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4913] ppid=4893 vsize=26006188 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/4895/task/4913/stat : 4913 (java) S 4893 4893 3394 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151532048 26630336512 57913 33554432000 4194304 4196468 140727638904960 139821937854688 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4914] ppid=4893 vsize=26006188 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/4895/task/4914/stat : 4914 (java) S 4893 4893 3394 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151532048 26630336512 57913 33554432000 4194304 4196468 140727638904960 139821936802224 139822819412610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
Current children cumulated CPU time: 5.32 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 233036 KiB

[startup+2.01037 s]
# the end of solver process 4893 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=8.67059 s, system=0.166755 s

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

[startup+1.60345 s]
/proc/loadavg: 7.77 8.21 8.21 5/201 4914
/proc/meminfo: memFree=24518420/32770624 swapFree=67108860/67108860
[pid=4893] ppid=4890 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4893/stat : 4893 (xcsp3-exec) S 4890 4893 3394 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151532042 9740288 346 33554432000 4194304 5098028 140730198748896 140730198747000 140286022214268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31059968 140730198754410 140730198754620 140730198754620 140730198757355 0
/proc/4893/statm: 2378 346 289 221 0 87 0
[pid=4895] ppid=4893 vsize=26538700 memory=232864 CPUtime=5.81 cores=0-7
/proc/4895/stat : 4895 (java) S 4893 4893 3394 0 -1 1077944320 23409 0 0 0 567 14 0 0 20 0 28 0 151532042 27175628800 58216 33554432000 4194304 4196468 140727638904960 140727638887504 139822819401463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
/proc/4895/statm: 6634675 58216 3257 1 0 6621909 0
[pid=4895/tid=4896] ppid=4893 vsize=26538700 memory=6944652177228980320 CPUtime=1.51 cores=0-7
/proc/4895/task/4896/stat : 4896 (java) S 4893 4893 3394 0 -1 1077944384 7271 0 0 0 147 4 0 0 20 0 28 0 151532042 27175628800 58216 33554432000 4194304 4196468 140727638904960 139822823642240 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4897] ppid=4893 vsize=26538700 memory=6944656592455360604 CPUtime=0.01 cores=0-7
/proc/4895/task/4897/stat : 4897 (java) S 4893 4893 3394 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 28 0 151532043 27175628800 58216 33554432000 4194304 4196468 140727638904960 139822741981456 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4898] ppid=4893 vsize=26538700 memory=1384 CPUtime=0.01 cores=0-7
/proc/4895/task/4898/stat : 4898 (java) S 4893 4893 3394 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 28 0 151532043 27175628800 58216 33554432000 4194304 4196468 140727638904960 139822740928912 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4899] ppid=4893 vsize=26538700 memory=4144 CPUtime=0.01 cores=0-7
/proc/4895/task/4899/stat : 4899 (java) S 4893 4893 3394 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 28 0 151532043 27175628800 58216 33554432000 4194304 4196468 140727638904960 139822739876368 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4900] ppid=4893 vsize=26538700 memory=42188 CPUtime=0 cores=0-7
/proc/4895/task/4900/stat : 4900 (java) S 4893 4893 3394 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 151532043 27175628800 58216 33554432000 4194304 4196468 140727638904960 139822738823824 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4901] ppid=4893 vsize=26538700 memory=1292 CPUtime=0.01 cores=0-7
/proc/4895/task/4901/stat : 4901 (java) S 4893 4893 3394 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 28 0 151532043 27175628800 58216 33554432000 4194304 4196468 140727638904960 139822737771280 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4902] ppid=4893 vsize=26538700 memory=2428 CPUtime=0.02 cores=0-7
/proc/4895/task/4902/stat : 4902 (java) S 4893 4893 3394 0 -1 1077944384 97 0 0 0 1 1 0 0 20 0 28 0 151532043 27175628800 58216 33554432000 4194304 4196468 140727638904960 139822736718736 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4903] ppid=4893 vsize=26538700 memory=1728 CPUtime=0.02 cores=0-7
/proc/4895/task/4903/stat : 4903 (java) S 4893 4893 3394 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 28 0 151532043 27175628800 58216 33554432000 4194304 4196468 140727638904960 139822735666192 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4904] ppid=4893 vsize=26538700 memory=792 CPUtime=0.01 cores=0-7
/proc/4895/task/4904/stat : 4904 (java) S 4893 4893 3394 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 28 0 151532043 27175628800 58216 33554432000 4194304 4196468 140727638904960 139822734613648 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4905] ppid=4893 vsize=26538700 memory=10096 CPUtime=0 cores=0-7
/proc/4895/task/4905/stat : 4905 (java) S 4893 4893 3394 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 28 0 151532045 27175628800 58216 33554432000 4194304 4196468 140727638904960 139822327433200 139822819412610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4906] ppid=4893 vsize=26538700 memory=1224 CPUtime=0 cores=0-7
/proc/4895/task/4906/stat : 4906 (java) S 4893 4893 3394 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 151532045 27175628800 58216 33554432000 4194304 4196468 140727638904960 139822326379488 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4907] ppid=4893 vsize=26538700 memory=5784 CPUtime=0 cores=0-7
/proc/4895/task/4907/stat : 4907 (java) S 4893 4893 3394 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 151532045 27175628800 58216 33554432000 4194304 4196468 140727638904960 139821944169472 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4908] ppid=4893 vsize=26538700 memory=1720 CPUtime=0 cores=0-7
/proc/4895/task/4908/stat : 4908 (java) S 4893 4893 3394 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151532048 27175628800 58216 33554432000 4194304 4196468 140727638904960 139821943118032 139822819420059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4909] ppid=4893 vsize=26538700 memory=164 CPUtime=1.16 cores=0-7
/proc/4895/task/4909/stat : 4909 (java) R 4893 4893 3394 0 -1 1077944384 3566 0 0 0 116 0 0 0 20 0 28 0 151532048 27175628800 58216 33554432000 4194304 4196468 140727638904960 139821942065648 139822819412610 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4910] ppid=4893 vsize=26538700 memory=-9001734013606258791 CPUtime=1.11 cores=0-7
/proc/4895/task/4910/stat : 4910 (java) S 4893 4893 3394 0 -1 1077944384 3982 0 0 0 111 0 0 0 20 0 28 0 151532048 27175628800 58216 33554432000 4194304 4196468 140727638904960 139821941013104 139822819412610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4911] ppid=4893 vsize=26538700 memory=-7384994778349281184 CPUtime=1.14 cores=0-7
/proc/4895/task/4911/stat : 4911 (java) S 4893 4893 3394 0 -1 1077944384 4275 0 0 0 114 0 0 0 20 0 28 0 151532048 27175628800 58216 33554432000 4194304 4196468 140727638904960 139821939960560 139822819412610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4912] ppid=4893 vsize=26538700 memory=-9001734013606258791 CPUtime=0.49 cores=0-7
/proc/4895/task/4912/stat : 4912 (java) R 4893 4893 3394 0 -1 4202560 2063 0 0 0 49 0 0 0 20 0 28 0 151532048 27175628800 58216 33554432000 4194304 4196468 140727638904960 139821938903056 139822804567135 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4913] ppid=4893 vsize=26538700 memory=1399101730491701635 CPUtime=0 cores=0-7
/proc/4895/task/4913/stat : 4913 (java) S 4893 4893 3394 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151532048 27175628800 58216 33554432000 4194304 4196468 140727638904960 139821937854688 139822819411669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
[pid=4895/tid=4914] ppid=4893 vsize=26538700 memory=-7522837583129502606 CPUtime=0 cores=0-7
/proc/4895/task/4914/stat : 4914 (java) S 4893 4893 3394 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151532048 27175628800 58216 33554432000 4194304 4196468 140727638904960 139821936802224 139822819412610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31219712 140727638910104 140727638910280 140727638910280 140727638912975 0
Current children cumulated CPU time: 5.81 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 234248 KiB

[startup+2.00094 s]*
/proc/loadavg: 7.77 8.21 8.21 1/200 4930
/proc/meminfo: memFree=24411660/32770624 swapFree=67108860/67108860
[pid=4893] ppid=4890 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4893/stat : 4893 (xcsp3-exec) S 4890 4893 3394 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151532042 9740288 346 33554432000 4194304 5098028 140730198748896 140730198747000 140286022214268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31059968 140730198754410 140730198754620 140730198754620 140730198757355 0
/proc/4893/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1384 KiB

Child status: 0
Real time (s): 2.01043
CPU time (s): 8.83735
CPU user time (s): 8.67059
CPU system time (s): 0.166755
CPU usage (%): 439.575
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 239236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.67059
system time used= 0.166755
maximum resident set size= 254808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25768
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2973
involuntary context switches= 130


# summary of solver processes directly reported to runsolver:
#   pid: 4893
#   total CPU time (s): 8.83735
#   total CPU user time (s): 8.67059
#   total CPU system time (s): 0.166755

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040118 second user time and 0.058172 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml
MD5SUM	a2156ca8d664195666e0b5da895e2590
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	3
Best CPU time to get the best result obtained on this benchmark	2.92958
Satisfiable
(Un)Satisfiability was proved
Number of variables	662
Number of constraints	4181
Number of domains	1
Minimum domain size	662
Maximum domain size	662
Distribution of domain sizes	[{"size":662,"count":662}]
Minimum variable degree	2
Maximum variable degree	24
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":7,"count":6},{"degree":8,"count":4},{"degree":9,"count":32},{"degree":10,"count":59},{"degree":11,"count":48},{"degree":12,"count":58},{"degree":13,"count":88},{"degree":14,"count":129},{"degree":15,"count":115},{"degree":16,"count":41},{"degree":17,"count":31},{"degree":18,"count":16},{"degree":19,"count":14},{"degree":20,"count":4},{"degree":21,"count":6},{"degree":22,"count":4},{"degree":23,"count":4},{"degree":24,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":4181}]
Number of extensional constraints	0
Number of intensional constraints	4181
Distribution of constraint types	[{"type":"intension","count":4181}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4281379

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
