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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24 parallel	OPT	4	12.7783	3.59441
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 (14036 MiB free)
  memory of node 1: 16384 MiB (10973 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407296-1569346603/watcher-4407296-1569346603 -o /var/tmp/evaluation-result-4407296-1569346603/solver-4407296-1569346603 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569335937-9287 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1480853069 HOME/instance-4407296-1569346603.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
solver pid=12948, runsolver pid=12945
Current StackSize limit: 8192 KiB


[startup+0.10013 s]*
/proc/loadavg: 7.75 8.16 8.17 2/211 12969
/proc/meminfo: memFree=25592496/32770624 swapFree=66997516/67108860
[pid=12948] ppid=12945 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12948/stat : 12948 (xcsp3-exec) S 12945 12948 9260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510598600 115843072 364 33554432000 4194304 5098028 140724090182304 140724090180408 140341800608380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23465984 140724090184535 140724090184794 140724090184794 140724090187718 0
/proc/12948/statm: 28282 364 305 221 0 87 0
[pid=12950] ppid=12948 vsize=28227396 memory=29976 CPUtime=0.13 cores=0-7
/proc/12950/stat : 12950 (java) S 12948 12948 9260 0 -1 1077944320 5977 0 0 0 11 2 0 0 20 0 20 0 510598601 28904853504 7494 33554432000 4194304 4196468 140736005007536 140736004990080 140691495878391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
/proc/12950/statm: 7056849 7494 3119 1 0 7019032 0
[pid=12950/tid=12951] ppid=12948 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/12950/task/12951/stat : 12951 (java) R 12948 12948 9260 0 -1 4202560 3885 0 0 0 8 1 0 0 20 0 20 0 510598601 28904853504 7494 33554432000 4194304 4196468 140736005007536 140691500111456 140691495890326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12952] ppid=12948 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12950/task/12952/stat : 12952 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510598602 28904853504 7494 33554432000 4194304 4196468 140736005007536 140691047045520 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12953] ppid=12948 vsize=28227396 memory=140044674115200 CPUtime=0 cores=0-7
/proc/12950/task/12953/stat : 12953 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510598602 28904853504 7494 33554432000 4194304 4196468 140736005007536 140691045992720 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12954] ppid=12948 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12954/stat : 12954 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510598602 28904853504 7494 33554432000 4194304 4196468 140736005007536 140691044940432 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12955] ppid=12948 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12955/stat : 12955 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510598602 28904853504 7494 33554432000 4194304 4196468 140736005007536 140691043887632 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12956] ppid=12948 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12956/stat : 12956 (java) S 12948 12948 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510598602 28904853504 7494 33554432000 4194304 4196468 140736005007536 140691042835344 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12957] ppid=12948 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12950/task/12957/stat : 12957 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510598602 28904853504 7494 33554432000 4194304 4196468 140736005007536 140691041782544 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12958] ppid=12948 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12958/stat : 12958 (java) S 12948 12948 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510598602 28904853504 7494 33554432000 4194304 4196468 140736005007536 140691040730256 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12959] ppid=12948 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12959/stat : 12959 (java) S 12948 12948 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510598602 28904853504 7494 33554432000 4194304 4196468 140736005007536 140691039677456 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12960] ppid=12948 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12960/stat : 12960 (java) S 12948 12948 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510598603 28904853504 7494 33554432000 4194304 4196468 140736005007536 140689758668912 140691495889538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12961] ppid=12948 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12961/stat : 12961 (java) S 12948 12948 9260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510598604 28904853504 7494 33554432000 4194304 4196468 140736005007536 140689757614880 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12962] ppid=12948 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12962/stat : 12962 (java) S 12948 12948 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510598604 28904853504 7494 33554432000 4194304 4196468 140736005007536 140689756562544 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12963] ppid=12948 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12963/stat : 12963 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510598606 28904853504 7494 33554432000 4194304 4196468 140736005007536 140689755510864 140691495896987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12964] ppid=12948 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12964/stat : 12964 (java) S 12948 12948 9260 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 510598606 28904853504 7494 33554432000 4194304 4196468 140736005007536 140689754458736 140691495889538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12965] ppid=12948 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12965/stat : 12965 (java) S 12948 12948 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510598606 28904853504 7494 33554432000 4194304 4196468 140736005007536 140689753405936 140691495889538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12966] ppid=12948 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12966/stat : 12966 (java) R 12948 12948 9260 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 20 0 510598606 28904853504 7494 33554432000 4194304 4196468 140736005007536 140689752353648 140691488863433 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12967] ppid=12948 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/12950/task/12967/stat : 12967 (java) R 12948 12948 9260 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 20 0 510598606 28904853504 7494 33554432000 4194304 4196468 140736005007536 140689751300848 140691481015800 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12968] ppid=12948 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12968/stat : 12968 (java) S 12948 12948 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510598607 28904853504 7494 33554432000 4194304 4196468 140736005007536 140689750247776 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12969] ppid=12948 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12950/task/12969/stat : 12969 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510598607 28904853504 7494 33554432000 4194304 4196468 140736005007536 140689749195056 140691495889538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31432 KiB

[startup+0.210518 s]*
/proc/loadavg: 7.75 8.16 8.17 2/211 12969
/proc/meminfo: memFree=25579596/32770624 swapFree=66997516/67108860
[pid=12948] ppid=12945 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12948/stat : 12948 (xcsp3-exec) S 12945 12948 9260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510598600 115843072 364 33554432000 4194304 5098028 140724090182304 140724090180408 140341800608380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23465984 140724090184535 140724090184794 140724090184794 140724090187718 0
/proc/12948/statm: 28282 364 305 221 0 87 0
[pid=12950] ppid=12948 vsize=28227396 memory=41252 CPUtime=0.33 cores=0-7
/proc/12950/stat : 12950 (java) S 12948 12948 9260 0 -1 1077944320 9569 0 0 0 30 3 0 0 20 0 20 0 510598601 28904853504 10313 33554432000 4194304 4196468 140736005007536 140736004990080 140691495878391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
/proc/12950/statm: 7056849 10313 3309 1 0 7019032 0
[pid=12950/tid=12951] ppid=12948 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/12950/task/12951/stat : 12951 (java) R 12948 12948 9260 0 -1 4202560 6696 0 0 0 17 2 0 0 20 0 20 0 510598601 28904853504 10313 33554432000 4194304 4196468 140736005007536 140691500112096 140691474955923 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12952] ppid=12948 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/12950/task/12952/stat : 12952 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510598602 28904853504 10313 33554432000 4194304 4196468 140736005007536 140691047045520 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12953] ppid=12948 vsize=28227396 memory=4049498644537255584 CPUtime=0 cores=0-7
/proc/12950/task/12953/stat : 12953 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510598602 28904853504 10313 33554432000 4194304 4196468 140736005007536 140691045992720 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12954] ppid=12948 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12950/task/12954/stat : 12954 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510598602 28904853504 10313 33554432000 4194304 4196468 140736005007536 140691044940432 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12955] ppid=12948 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12955/stat : 12955 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510598602 28904853504 10313 33554432000 4194304 4196468 140736005007536 140691043887632 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12956] ppid=12948 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12956/stat : 12956 (java) S 12948 12948 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510598602 28904853504 10313 33554432000 4194304 4196468 140736005007536 140691042835344 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12957] ppid=12948 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12950/task/12957/stat : 12957 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510598602 28904853504 10313 33554432000 4194304 4196468 140736005007536 140691041782544 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12958] ppid=12948 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12958/stat : 12958 (java) S 12948 12948 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510598602 28904853504 10313 33554432000 4194304 4196468 140736005007536 140691040730256 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12959] ppid=12948 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12959/stat : 12959 (java) S 12948 12948 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510598602 28904853504 10313 33554432000 4194304 4196468 140736005007536 140691039677456 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12960] ppid=12948 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12960/stat : 12960 (java) S 12948 12948 9260 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510598603 28904853504 10313 33554432000 4194304 4196468 140736005007536 140689758668912 140691495889538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12961] ppid=12948 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12961/stat : 12961 (java) S 12948 12948 9260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510598604 28904853504 10313 33554432000 4194304 4196468 140736005007536 140689757614880 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12962] ppid=12948 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12962/stat : 12962 (java) S 12948 12948 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510598604 28904853504 10313 33554432000 4194304 4196468 140736005007536 140689756562544 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12963] ppid=12948 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12963/stat : 12963 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510598606 28904853504 10313 33554432000 4194304 4196468 140736005007536 140689755510864 140691495896987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12964] ppid=12948 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12950/task/12964/stat : 12964 (java) S 12948 12948 9260 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 20 0 510598606 28904853504 10313 33554432000 4194304 4196468 140736005007536 140689754458736 140691495889538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12965] ppid=12948 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12965/stat : 12965 (java) S 12948 12948 9260 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 20 0 510598606 28904853504 10313 33554432000 4194304 4196468 140736005007536 140689753405936 140691495889538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12966] ppid=12948 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/12950/task/12966/stat : 12966 (java) S 12948 12948 9260 0 -1 1077944384 255 0 0 0 2 0 0 0 20 0 20 0 510598606 28904853504 10313 33554432000 4194304 4196468 140736005007536 140689752353648 140691495889538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12967] ppid=12948 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/12950/task/12967/stat : 12967 (java) R 12948 12948 9260 0 -1 4202560 717 0 0 0 8 0 0 0 20 0 20 0 510598606 28904853504 10313 33554432000 4194304 4196468 140736005007536 140689751300848 140691474804079 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12968] ppid=12948 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12968/stat : 12968 (java) S 12948 12948 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510598607 28904853504 10313 33554432000 4194304 4196468 140736005007536 140689750247776 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12969] ppid=12948 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12950/task/12969/stat : 12969 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510598607 28904853504 10313 33554432000 4194304 4196468 140736005007536 140689749195056 140691495889538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42708 KiB

[startup+0.320786 s]*
/proc/loadavg: 7.75 8.16 8.17 3/211 12969
/proc/meminfo: memFree=25572560/32770624 swapFree=66997516/67108860
[pid=12948] ppid=12945 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12948/stat : 12948 (xcsp3-exec) S 12945 12948 9260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510598600 115843072 364 33554432000 4194304 5098028 140724090182304 140724090180408 140341800608380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23465984 140724090184535 140724090184794 140724090184794 140724090187718 0
/proc/12948/statm: 28282 364 305 221 0 87 0
[pid=12950] ppid=12948 vsize=28231652 memory=50708 CPUtime=0.54 cores=0-7
/proc/12950/stat : 12950 (java) S 12948 12948 9260 0 -1 1077944320 11009 0 0 0 50 4 0 0 20 0 20 0 510598601 28909211648 12677 33554432000 4194304 4196468 140736005007536 140736004990080 140691495878391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
/proc/12950/statm: 7057913 12677 3352 1 0 7019032 0
[pid=12950/tid=12951] ppid=12948 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/12950/task/12951/stat : 12951 (java) R 12948 12948 9260 0 -1 4202560 7937 0 0 0 27 3 0 0 20 0 20 0 510598601 28909211648 12677 33554432000 4194304 4196468 140736005007536 140691500112448 140691479958878 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12952] ppid=12948 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12952/stat : 12952 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510598602 28909211648 12677 33554432000 4194304 4196468 140736005007536 140691047045520 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12953] ppid=12948 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12953/stat : 12953 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510598602 28909211648 12677 33554432000 4194304 4196468 140736005007536 140691045992720 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12954] ppid=12948 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12954/stat : 12954 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510598602 28909211648 12677 33554432000 4194304 4196468 140736005007536 140691044940432 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12955] ppid=12948 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12955/stat : 12955 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510598602 28909211648 12677 33554432000 4194304 4196468 140736005007536 140691043887632 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12956] ppid=12948 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/12950/task/12956/stat : 12956 (java) S 12948 12948 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510598602 28909211648 12677 33554432000 4194304 4196468 140736005007536 140691042835344 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12957] ppid=12948 vsize=28231652 memory=140044522320815 CPUtime=0 cores=0-7
/proc/12950/task/12957/stat : 12957 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510598602 28909211648 12677 33554432000 4194304 4196468 140736005007536 140691041782544 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12958] ppid=12948 vsize=28231652 memory=140044522323120 CPUtime=0 cores=0-7
/proc/12950/task/12958/stat : 12958 (java) S 12948 12948 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510598602 28909211648 12677 33554432000 4194304 4196468 140736005007536 140691040730256 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12959] ppid=12948 vsize=28231652 memory=140044522325424 CPUtime=0 cores=0-7
/proc/12950/task/12959/stat : 12959 (java) S 12948 12948 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510598602 28909211648 12677 33554432000 4194304 4196468 140736005007536 140691039677456 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12960] ppid=12948 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12960/stat : 12960 (java) S 12948 12948 9260 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510598603 28909211648 12677 33554432000 4194304 4196468 140736005007536 140689758668912 140691495889538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12961] ppid=12948 vsize=28231652 memory=280089044657808 CPUtime=0 cores=0-7
/proc/12950/task/12961/stat : 12961 (java) S 12948 12948 9260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510598604 28909211648 12677 33554432000 4194304 4196468 140736005007536 140689757614880 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12962] ppid=12948 vsize=28231652 memory=280089044664720 CPUtime=0 cores=0-7
/proc/12950/task/12962/stat : 12962 (java) S 12948 12948 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510598604 28909211648 12677 33554432000 4194304 4196468 140736005007536 140689756562544 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12963] ppid=12948 vsize=28231652 memory=280089044605872 CPUtime=0 cores=0-7
/proc/12950/task/12963/stat : 12963 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510598606 28909211648 12677 33554432000 4194304 4196468 140736005007536 140689755510864 140691495896987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12964] ppid=12948 vsize=28231652 memory=280089044678544 CPUtime=0.02 cores=0-7
/proc/12950/task/12964/stat : 12964 (java) S 12948 12948 9260 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 20 0 510598606 28909211648 12677 33554432000 4194304 4196468 140736005007536 140689754458736 140691495889538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12965] ppid=12948 vsize=28231652 memory=280089044685456 CPUtime=0.03 cores=0-7
/proc/12950/task/12965/stat : 12965 (java) S 12948 12948 9260 0 -1 1077944384 345 0 0 0 3 0 0 0 20 0 20 0 510598606 28909211648 12677 33554432000 4194304 4196468 140736005007536 140689753405936 140691495889538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12966] ppid=12948 vsize=28231652 memory=280089044683152 CPUtime=0.03 cores=0-7
/proc/12950/task/12966/stat : 12966 (java) S 12948 12948 9260 0 -1 1077944384 263 0 0 0 3 0 0 0 20 0 20 0 510598606 28909211648 12677 33554432000 4194304 4196468 140736005007536 140689752353648 140691495889538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12967] ppid=12948 vsize=28231652 memory=280089044699312 CPUtime=0.13 cores=0-7
/proc/12950/task/12967/stat : 12967 (java) S 12948 12948 9260 0 -1 1077944384 784 0 0 0 13 0 0 0 20 0 20 0 510598606 28909211648 12677 33554432000 4194304 4196468 140736005007536 140689751300848 140691495889538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12968] ppid=12948 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12968/stat : 12968 (java) S 12948 12948 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510598607 28909211648 12677 33554432000 4194304 4196468 140736005007536 140689750247776 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12969] ppid=12948 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/12950/task/12969/stat : 12969 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510598607 28909211648 12677 33554432000 4194304 4196468 140736005007536 140689749195056 140691495889538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 52164 KiB

[startup+0.701048 s]
/proc/loadavg: 7.75 8.16 8.17 5/211 12969
/proc/meminfo: memFree=25549400/32770624 swapFree=66997516/67108860
[pid=12948] ppid=12945 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12948/stat : 12948 (xcsp3-exec) S 12945 12948 9260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510598600 115843072 364 33554432000 4194304 5098028 140724090182304 140724090180408 140341800608380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23465984 140724090184535 140724090184794 140724090184794 140724090187718 0
/proc/12948/statm: 28282 364 305 221 0 87 0
[pid=12950] ppid=12948 vsize=28233776 memory=117200 CPUtime=1.93 cores=0-7
/proc/12950/stat : 12950 (java) S 12948 12948 9260 0 -1 1077944320 15415 0 0 0 187 6 0 0 20 0 20 0 510598601 28911386624 29300 33554432000 4194304 4196468 140736005007536 140736004990080 140691495878391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
/proc/12950/statm: 7058444 29300 3451 1 0 7019544 0
[pid=12950/tid=12951] ppid=12948 vsize=28233776 memory=280089045057200 CPUtime=0.67 cores=0-7
/proc/12950/task/12951/stat : 12951 (java) R 12948 12948 9260 0 -1 4202560 8387 0 0 0 63 4 0 0 20 0 20 0 510598601 28911386624 29300 33554432000 4194304 4196468 140736005007536 140691500114912 140691132984448 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12952] ppid=12948 vsize=28233776 memory=140044522529648 CPUtime=0 cores=0-7
/proc/12950/task/12952/stat : 12952 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510598602 28911386624 29300 33554432000 4194304 4196468 140736005007536 140691047045520 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12953] ppid=12948 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12953/stat : 12953 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510598602 28911386624 29300 33554432000 4194304 4196468 140736005007536 140691045992720 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12954] ppid=12948 vsize=28233776 memory=6124 CPUtime=0 cores=0-7
/proc/12950/task/12954/stat : 12954 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510598602 28911386624 29300 33554432000 4194304 4196468 140736005007536 140691044940432 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0

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

# the end of solver process 12948 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=12.3058 s, system=0.472489 s

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

[startup+3.20122 s]
/proc/loadavg: 7.75 8.16 8.17 9/211 12969
/proc/meminfo: memFree=24965200/32770624 swapFree=66997516/67108860
[pid=12948] ppid=12945 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12948/stat : 12948 (xcsp3-exec) S 12945 12948 9260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510598600 115843072 364 33554432000 4194304 5098028 140724090182304 140724090180408 140341800608380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23465984 140724090184535 140724090184794 140724090184794 140724090187718 0
/proc/12948/statm: 28282 364 305 221 0 87 0
[pid=12950] ppid=12948 vsize=28233776 memory=679232 CPUtime=10.29 cores=0-7
/proc/12950/stat : 12950 (java) S 12948 12948 9260 0 -1 1077944320 37461 0 0 0 986 43 0 0 20 0 20 0 510598601 28911386624 169808 33554432000 4194304 4196468 140736005007536 140736004990080 140691495878391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
/proc/12950/statm: 7058444 169808 3511 1 0 7019544 0
[pid=12950/tid=12951] ppid=12948 vsize=28233776 memory=280089044454800 CPUtime=3.05 cores=0-7
/proc/12950/task/12951/stat : 12951 (java) R 12948 12948 9260 0 -1 4202560 11343 0 0 0 293 12 0 0 20 0 20 0 510598601 28911386624 169808 33554432000 4194304 4196468 140736005007536 140691500117232 140691137039675 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12952] ppid=12948 vsize=28233776 memory=280089044454672 CPUtime=0.08 cores=0-7
/proc/12950/task/12952/stat : 12952 (java) S 12948 12948 9260 0 -1 1077944384 135 0 0 0 6 2 0 0 20 0 20 0 510598602 28911386624 169808 33554432000 4194304 4196468 140736005007536 140691047045520 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12953] ppid=12948 vsize=28233776 memory=56 CPUtime=0.08 cores=0-7
/proc/12950/task/12953/stat : 12953 (java) S 12948 12948 9260 0 -1 1077944384 138 0 0 0 5 3 0 0 20 0 20 0 510598602 28911386624 169808 33554432000 4194304 4196468 140736005007536 140691045992720 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12954] ppid=12948 vsize=28233776 memory=6944656592387989600 CPUtime=0.07 cores=0-7
/proc/12950/task/12954/stat : 12954 (java) S 12948 12948 9260 0 -1 1077944384 115 0 0 0 5 2 0 0 20 0 20 0 510598602 28911386624 169808 33554432000 4194304 4196468 140736005007536 140691044940432 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12955] ppid=12948 vsize=28233776 memory=0 CPUtime=0.07 cores=0-7
/proc/12950/task/12955/stat : 12955 (java) S 12948 12948 9260 0 -1 1077944384 143 0 0 0 5 2 0 0 20 0 20 0 510598602 28911386624 169808 33554432000 4194304 4196468 140736005007536 140691043887632 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12956] ppid=12948 vsize=28233776 memory=0 CPUtime=0.09 cores=0-7
/proc/12950/task/12956/stat : 12956 (java) S 12948 12948 9260 0 -1 1077944384 450 0 0 0 6 3 0 0 20 0 20 0 510598602 28911386624 169808 33554432000 4194304 4196468 140736005007536 140691042835344 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12957] ppid=12948 vsize=28233776 memory=0 CPUtime=0.07 cores=0-7
/proc/12950/task/12957/stat : 12957 (java) S 12948 12948 9260 0 -1 1077944384 287 0 0 0 5 2 0 0 20 0 20 0 510598602 28911386624 169808 33554432000 4194304 4196468 140736005007536 140691041782544 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12958] ppid=12948 vsize=28233776 memory=0 CPUtime=0.07 cores=0-7
/proc/12950/task/12958/stat : 12958 (java) S 12948 12948 9260 0 -1 1077944384 147 0 0 0 5 2 0 0 20 0 20 0 510598602 28911386624 169808 33554432000 4194304 4196468 140736005007536 140691040730256 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12959] ppid=12948 vsize=28233776 memory=0 CPUtime=0.06 cores=0-7
/proc/12950/task/12959/stat : 12959 (java) S 12948 12948 9260 0 -1 1077944384 111 0 0 0 4 2 0 0 20 0 20 0 510598602 28911386624 169808 33554432000 4194304 4196468 140736005007536 140691039677456 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12960] ppid=12948 vsize=28233776 memory=0 CPUtime=0.01 cores=0-7
/proc/12950/task/12960/stat : 12960 (java) S 12948 12948 9260 0 -1 1077944384 627 0 0 0 1 0 0 0 20 0 20 0 510598603 28911386624 169808 33554432000 4194304 4196468 140736005007536 140689758668912 140691495889538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12961] ppid=12948 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12961/stat : 12961 (java) S 12948 12948 9260 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 510598604 28911386624 169808 33554432000 4194304 4196468 140736005007536 140689757614944 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12962] ppid=12948 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12962/stat : 12962 (java) S 12948 12948 9260 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 510598604 28911386624 169808 33554432000 4194304 4196468 140736005007536 140689756562560 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12963] ppid=12948 vsize=28233776 memory=4137293581110450563 CPUtime=0 cores=0-7
/proc/12950/task/12963/stat : 12963 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510598606 28911386624 169808 33554432000 4194304 4196468 140736005007536 140689755510864 140691495896987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12964] ppid=12948 vsize=28233776 memory=6944613755495348631 CPUtime=1.99 cores=0-7
/proc/12950/task/12964/stat : 12964 (java) S 12948 12948 9260 0 -1 1077944384 6937 0 0 0 197 2 0 0 20 0 20 0 510598606 28911386624 169808 33554432000 4194304 4196468 140736005007536 140689754458736 140691495889538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12965] ppid=12948 vsize=28233776 memory=6944656592452807326 CPUtime=1.95 cores=0-7
/proc/12950/task/12965/stat : 12965 (java) S 12948 12948 9260 0 -1 1077944384 5392 0 0 0 193 2 0 0 20 0 20 0 510598606 28911386624 169808 33554432000 4194304 4196468 140736005007536 140689753405936 140691495889538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12966] ppid=12948 vsize=28233776 memory=288230574492221466 CPUtime=1.96 cores=0-7
/proc/12950/task/12966/stat : 12966 (java) S 12948 12948 9260 0 -1 1077944384 6040 0 0 0 195 1 0 0 20 0 20 0 510598606 28911386624 169808 33554432000 4194304 4196468 140736005007536 140689752353648 140691495889538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12967] ppid=12948 vsize=28233776 memory=0 CPUtime=0.6 cores=0-7
/proc/12950/task/12967/stat : 12967 (java) S 12948 12948 9260 0 -1 1077944384 4223 0 0 0 59 1 0 0 20 0 20 0 510598606 28911386624 169808 33554432000 4194304 4196468 140736005007536 140689751300848 140691495889538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12968] ppid=12948 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12968/stat : 12968 (java) S 12948 12948 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510598607 28911386624 169808 33554432000 4194304 4196468 140736005007536 140689750247776 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12969] ppid=12948 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12969/stat : 12969 (java) S 12948 12948 9260 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 510598607 28911386624 169808 33554432000 4194304 4196468 140736005007536 140689749195056 140691495889538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
Current children cumulated CPU time: 10.29 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 680688 KiB

[startup+3.40086 s]
/proc/loadavg: 7.75 8.16 8.17 9/211 12969
/proc/meminfo: memFree=24965200/32770624 swapFree=66997516/67108860
[pid=12948] ppid=12945 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12948/stat : 12948 (xcsp3-exec) S 12945 12948 9260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510598600 115843072 364 33554432000 4194304 5098028 140724090182304 140724090180408 140341800608380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23465984 140724090184535 140724090184794 140724090184794 140724090187718 0
/proc/12948/statm: 28282 364 305 221 0 87 0
[pid=12950] ppid=12948 vsize=28766288 memory=679952 CPUtime=11.42 cores=0-7
/proc/12950/stat : 12950 (java) S 12948 12948 9260 0 -1 1077944320 38158 0 0 0 1098 44 0 0 20 0 28 0 510598601 29456678912 169988 33554432000 4194304 4196468 140736005007536 140736004990080 140691495878391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
/proc/12950/statm: 7191572 169988 3525 1 0 7152672 0
[pid=12950/tid=12951] ppid=12948 vsize=28766288 memory=0 CPUtime=3.12 cores=0-7
/proc/12950/task/12951/stat : 12951 (java) S 12948 12948 9260 0 -1 1077944384 11597 0 0 0 300 12 0 0 20 0 28 0 510598601 29456678912 169988 33554432000 4194304 4196468 140736005007536 140691500119168 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12952] ppid=12948 vsize=28766288 memory=0 CPUtime=0.08 cores=0-7
/proc/12950/task/12952/stat : 12952 (java) S 12948 12948 9260 0 -1 1077944384 135 0 0 0 6 2 0 0 20 0 28 0 510598602 29456678912 169988 33554432000 4194304 4196468 140736005007536 140691047045520 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12953] ppid=12948 vsize=28766288 memory=0 CPUtime=0.08 cores=0-7
/proc/12950/task/12953/stat : 12953 (java) S 12948 12948 9260 0 -1 1077944384 138 0 0 0 5 3 0 0 20 0 28 0 510598602 29456678912 169988 33554432000 4194304 4196468 140736005007536 140691045992720 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12954] ppid=12948 vsize=28766288 memory=0 CPUtime=0.07 cores=0-7
/proc/12950/task/12954/stat : 12954 (java) S 12948 12948 9260 0 -1 1077944384 115 0 0 0 5 2 0 0 20 0 28 0 510598602 29456678912 169988 33554432000 4194304 4196468 140736005007536 140691044940432 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12955] ppid=12948 vsize=28766288 memory=0 CPUtime=0.07 cores=0-7
/proc/12950/task/12955/stat : 12955 (java) S 12948 12948 9260 0 -1 1077944384 143 0 0 0 5 2 0 0 20 0 28 0 510598602 29456678912 169988 33554432000 4194304 4196468 140736005007536 140691043887632 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12956] ppid=12948 vsize=28766288 memory=0 CPUtime=0.09 cores=0-7
/proc/12950/task/12956/stat : 12956 (java) S 12948 12948 9260 0 -1 1077944384 450 0 0 0 6 3 0 0 20 0 28 0 510598602 29456678912 169988 33554432000 4194304 4196468 140736005007536 140691042835344 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12957] ppid=12948 vsize=28766288 memory=0 CPUtime=0.07 cores=0-7
/proc/12950/task/12957/stat : 12957 (java) S 12948 12948 9260 0 -1 1077944384 287 0 0 0 5 2 0 0 20 0 28 0 510598602 29456678912 169988 33554432000 4194304 4196468 140736005007536 140691041782544 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12958] ppid=12948 vsize=28766288 memory=0 CPUtime=0.07 cores=0-7
/proc/12950/task/12958/stat : 12958 (java) S 12948 12948 9260 0 -1 1077944384 147 0 0 0 5 2 0 0 20 0 28 0 510598602 29456678912 169988 33554432000 4194304 4196468 140736005007536 140691040730256 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12959] ppid=12948 vsize=28766288 memory=0 CPUtime=0.06 cores=0-7
/proc/12950/task/12959/stat : 12959 (java) S 12948 12948 9260 0 -1 1077944384 111 0 0 0 4 2 0 0 20 0 28 0 510598602 29456678912 169988 33554432000 4194304 4196468 140736005007536 140691039677456 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12960] ppid=12948 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7
/proc/12950/task/12960/stat : 12960 (java) S 12948 12948 9260 0 -1 1077944384 630 0 0 0 1 0 0 0 20 0 28 0 510598603 29456678912 169988 33554432000 4194304 4196468 140736005007536 140689758668912 140691495889538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12961] ppid=12948 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12961/stat : 12961 (java) S 12948 12948 9260 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 510598604 29456678912 169988 33554432000 4194304 4196468 140736005007536 140689757614944 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12962] ppid=12948 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12962/stat : 12962 (java) S 12948 12948 9260 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 510598604 29456678912 169988 33554432000 4194304 4196468 140736005007536 140689756562560 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12963] ppid=12948 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12963/stat : 12963 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510598606 29456678912 169988 33554432000 4194304 4196468 140736005007536 140689755510864 140691495896987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12964] ppid=12948 vsize=28766288 memory=0 CPUtime=2.05 cores=0-7
/proc/12950/task/12964/stat : 12964 (java) R 12948 12948 9260 0 -1 4202560 6960 0 0 0 203 2 0 0 20 0 28 0 510598606 29456678912 169988 33554432000 4194304 4196468 140736005007536 140689754444992 140691481481104 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12965] ppid=12948 vsize=28766288 memory=16593 CPUtime=2.06 cores=0-7
/proc/12950/task/12965/stat : 12965 (java) R 12948 12948 9260 0 -1 4202560 5438 0 0 0 204 2 0 0 20 0 28 0 510598606 29456678912 169988 33554432000 4194304 4196468 140736005007536 140689753397360 140691480795758 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12966] ppid=12948 vsize=28766288 memory=0 CPUtime=2.04 cores=0-7
/proc/12950/task/12966/stat : 12966 (java) R 12948 12948 9260 0 -1 4202560 6086 0 0 0 203 1 0 0 20 0 28 0 510598606 29456678912 169988 33554432000 4194304 4196468 140736005007536 140689752346672 140691479409887 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12967] ppid=12948 vsize=28766288 memory=1469 CPUtime=0.63 cores=0-7
/proc/12950/task/12967/stat : 12967 (java) R 12948 12948 9260 0 -1 4202560 4267 0 0 0 62 1 0 0 20 0 28 0 510598606 29456678912 169988 33554432000 4194304 4196468 140736005007536 140689751298640 140691488115518 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12968] ppid=12948 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12968/stat : 12968 (java) S 12948 12948 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510598607 29456678912 169988 33554432000 4194304 4196468 140736005007536 140689750247776 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12969] ppid=12948 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12969/stat : 12969 (java) S 12948 12948 9260 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 510598607 29456678912 169988 33554432000 4194304 4196468 140736005007536 140689749195056 140691495889538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
Current children cumulated CPU time: 11.42 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 681408 KiB

[startup+3.50179 s]
/proc/loadavg: 7.75 8.16 8.17 9/211 12969
/proc/meminfo: memFree=24965200/32770624 swapFree=66997516/67108860
[pid=12948] ppid=12945 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12948/stat : 12948 (xcsp3-exec) S 12945 12948 9260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510598600 115843072 364 33554432000 4194304 5098028 140724090182304 140724090180408 140341800608380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23465984 140724090184535 140724090184794 140724090184794 140724090187718 0
/proc/12948/statm: 28282 364 305 221 0 87 0
[pid=12950] ppid=12948 vsize=28766288 memory=681144 CPUtime=12.2 cores=0-7
/proc/12950/stat : 12950 (java) S 12948 12948 9260 0 -1 1077944320 38512 0 0 0 1175 45 0 0 20 0 28 0 510598601 29456678912 170286 33554432000 4194304 4196468 140736005007536 140736004990080 140691495878391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
/proc/12950/statm: 7191572 170286 3531 1 0 7152672 0
[pid=12950/tid=12951] ppid=12948 vsize=28766288 memory=9 CPUtime=3.12 cores=0-7
/proc/12950/task/12951/stat : 12951 (java) S 12948 12948 9260 0 -1 1077944384 11598 0 0 0 300 12 0 0 20 0 28 0 510598601 29456678912 170286 33554432000 4194304 4196468 140736005007536 140691500119168 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12952] ppid=12948 vsize=28766288 memory=7 CPUtime=0.08 cores=0-7
/proc/12950/task/12952/stat : 12952 (java) S 12948 12948 9260 0 -1 1077944384 135 0 0 0 6 2 0 0 20 0 28 0 510598602 29456678912 170286 33554432000 4194304 4196468 140736005007536 140691047045520 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12953] ppid=12948 vsize=28766288 memory=7 CPUtime=0.08 cores=0-7
/proc/12950/task/12953/stat : 12953 (java) S 12948 12948 9260 0 -1 1077944384 138 0 0 0 5 3 0 0 20 0 28 0 510598602 29456678912 170286 33554432000 4194304 4196468 140736005007536 140691045992720 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12954] ppid=12948 vsize=28766288 memory=6 CPUtime=0.07 cores=0-7
/proc/12950/task/12954/stat : 12954 (java) S 12948 12948 9260 0 -1 1077944384 115 0 0 0 5 2 0 0 20 0 28 0 510598602 29456678912 170286 33554432000 4194304 4196468 140736005007536 140691044940432 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12955] ppid=12948 vsize=28766288 memory=1 CPUtime=0.07 cores=0-7
/proc/12950/task/12955/stat : 12955 (java) S 12948 12948 9260 0 -1 1077944384 143 0 0 0 5 2 0 0 20 0 28 0 510598602 29456678912 170286 33554432000 4194304 4196468 140736005007536 140691043887632 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12956] ppid=12948 vsize=28766288 memory=56 CPUtime=0.09 cores=0-7
/proc/12950/task/12956/stat : 12956 (java) S 12948 12948 9260 0 -1 1077944384 450 0 0 0 6 3 0 0 20 0 28 0 510598602 29456678912 170286 33554432000 4194304 4196468 140736005007536 140691042835344 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12957] ppid=12948 vsize=28766288 memory=2129104 CPUtime=0.07 cores=0-7
/proc/12950/task/12957/stat : 12957 (java) S 12948 12948 9260 0 -1 1077944384 287 0 0 0 5 2 0 0 20 0 28 0 510598602 29456678912 170286 33554432000 4194304 4196468 140736005007536 140691041782544 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12958] ppid=12948 vsize=28766288 memory=2140628 CPUtime=0.07 cores=0-7
/proc/12950/task/12958/stat : 12958 (java) S 12948 12948 9260 0 -1 1077944384 147 0 0 0 5 2 0 0 20 0 28 0 510598602 29456678912 170286 33554432000 4194304 4196468 140736005007536 140691040730256 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12959] ppid=12948 vsize=28766288 memory=0 CPUtime=0.06 cores=0-7
/proc/12950/task/12959/stat : 12959 (java) S 12948 12948 9260 0 -1 1077944384 111 0 0 0 4 2 0 0 20 0 28 0 510598602 29456678912 170286 33554432000 4194304 4196468 140736005007536 140691039677456 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12960] ppid=12948 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7
/proc/12950/task/12960/stat : 12960 (java) S 12948 12948 9260 0 -1 1077944384 630 0 0 0 1 0 0 0 20 0 28 0 510598603 29456678912 170286 33554432000 4194304 4196468 140736005007536 140689758668912 140691495889538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12961] ppid=12948 vsize=28766288 memory=56 CPUtime=0 cores=0-7
/proc/12950/task/12961/stat : 12961 (java) S 12948 12948 9260 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 510598604 29456678912 170286 33554432000 4194304 4196468 140736005007536 140689757614944 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12962] ppid=12948 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12962/stat : 12962 (java) S 12948 12948 9260 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 510598604 29456678912 170286 33554432000 4194304 4196468 140736005007536 140689756562560 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12963] ppid=12948 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12963/stat : 12963 (java) S 12948 12948 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510598606 29456678912 170286 33554432000 4194304 4196468 140736005007536 140689755510864 140691495896987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12964] ppid=12948 vsize=28766288 memory=0 CPUtime=2.12 cores=0-7
/proc/12950/task/12964/stat : 12964 (java) R 12948 12948 9260 0 -1 4202560 6969 0 0 0 210 2 0 0 20 0 28 0 510598606 29456678912 170286 33554432000 4194304 4196468 140736005007536 140689754445840 140691479365222 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12965] ppid=12948 vsize=28766288 memory=0 CPUtime=2.11 cores=0-7
/proc/12950/task/12965/stat : 12965 (java) R 12948 12948 9260 0 -1 4202560 5443 0 0 0 209 2 0 0 20 0 28 0 510598606 29456678912 170286 33554432000 4194304 4196468 140736005007536 140689753383664 140691479289206 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12966] ppid=12948 vsize=28766288 memory=0 CPUtime=2.12 cores=0-7
/proc/12950/task/12966/stat : 12966 (java) R 12948 12948 9260 0 -1 4202560 6117 0 0 0 211 1 0 0 20 0 28 0 510598606 29456678912 170286 33554432000 4194304 4196468 140736005007536 140689752336016 140691476255584 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12967] ppid=12948 vsize=28766288 memory=6791534058613427641 CPUtime=0.67 cores=0-7
/proc/12950/task/12967/stat : 12967 (java) R 12948 12948 9260 0 -1 1077944384 4358 0 0 0 66 1 0 0 20 0 28 0 510598606 29456678912 170286 33554432000 4194304 4196468 140736005007536 140689751300848 140691495889538 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12968] ppid=12948 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12950/task/12968/stat : 12968 (java) S 12948 12948 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510598607 29456678912 170286 33554432000 4194304 4196468 140736005007536 140689750247776 140691495888597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
[pid=12950/tid=12969] ppid=12948 vsize=28766288 memory=4 CPUtime=0 cores=0-7
/proc/12950/task/12969/stat : 12969 (java) S 12948 12948 9260 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 510598607 29456678912 170286 33554432000 4194304 4196468 140736005007536 140689749195056 140691495889538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140736005010396 140736005010571 140736005010571 140736005013455 0
Current children cumulated CPU time: 12.2 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 682600 KiB

Child status: 0
Real time (s): 3.59441
CPU time (s): 12.7783
CPU user time (s): 12.3058
CPU system time (s): 0.472489
CPU usage (%): 355.504
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 682600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.3058
system time used= 0.472489
maximum resident set size= 682924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39325
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3989
involuntary context switches= 123


# summary of solver processes directly reported to runsolver:
#   pid: 12948
#   total CPU time (s): 12.7783
#   total CPU user time (s): 12.3058
#   total CPU system time (s): 0.472489

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043863 second user time and 0.083111 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05d.xml
MD5SUM	368e26568da76f7c30ce4b17b57b0014
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	2.19767
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	9757
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	30
Maximum variable degree	69
Distribution of variable degrees	[{"degree":30,"count":2},{"degree":32,"count":5},{"degree":33,"count":14},{"degree":34,"count":7},{"degree":35,"count":13},{"degree":36,"count":18},{"degree":37,"count":13},{"degree":38,"count":17},{"degree":39,"count":17},{"degree":40,"count":27},{"degree":41,"count":16},{"degree":42,"count":32},{"degree":43,"count":28},{"degree":44,"count":28},{"degree":45,"count":29},{"degree":46,"count":24},{"degree":47,"count":22},{"degree":48,"count":17},{"degree":49,"count":23},{"degree":50,"count":15},{"degree":51,"count":17},{"degree":52,"count":14},{"degree":53,"count":14},{"degree":54,"count":11},{"degree":55,"count":9},{"degree":56,"count":4},{"degree":57,"count":4},{"degree":58,"count":2},{"degree":59,"count":2},{"degree":60,"count":1},{"degree":62,"count":1},{"degree":65,"count":2},{"degree":66,"count":1},{"degree":69,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":9757}]
Number of extensional constraints	0
Number of intensional constraints	9757
Distribution of constraint types	[{"type":"intension","count":9757}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4407296

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
