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-16 parallel	OPT	3	16.4229	4.07831
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 (14533 MiB free)
  memory of node 1: 16384 MiB (14115 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400029-1568710020/watcher-4400029-1568710020 -o /tmp/evaluation-result-4400029-1568710020/solver-4400029-1568710020 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568700441-10597 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1709417048 HOME/instance-4400029-1568710020.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=14342, runsolver pid=14339
Current StackSize limit: 8192 KiB


[startup+0.100132 s]*
/proc/loadavg: 7.59 8.18 8.19 2/211 14363
/proc/meminfo: memFree=29318588/32770624 swapFree=66939908/67108860
[pid=14342] ppid=14339 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14342/stat : 14342 (xcsp3-exec) S 14339 14342 10570 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446916885 115843072 363 33554432000 4194304 5098028 140720745412496 140720745410600 139627926975100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23011328 140720745419643 140720745419886 140720745419886 140720745422794 0
/proc/14342/statm: 28282 363 304 221 0 87 0
[pid=14344] ppid=14342 vsize=28227396 memory=30036 CPUtime=0.12 cores=0-7
/proc/14344/stat : 14344 (java) S 14342 14342 10570 0 -1 1077944320 5990 0 0 0 11 1 0 0 20 0 20 0 446916886 28904853504 7509 33554432000 4194304 4196468 140737153140080 140737153122624 140126983790327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
/proc/14344/statm: 7056849 7509 3121 1 0 7019032 0
[pid=14344/tid=14345] ppid=14342 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/14344/task/14345/stat : 14345 (java) R 14342 14342 10570 0 -1 4202560 3894 0 0 0 8 0 0 0 20 0 20 0 446916886 28904853504 7509 33554432000 4194304 4196468 140737153140080 140126988018352 140126983802262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14346] ppid=14342 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/14344/task/14346/stat : 14346 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916887 28904853504 7509 33554432000 4194304 4196468 140737153140080 140126936411280 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14347] ppid=14342 vsize=28227396 memory=140131702797952 CPUtime=0 cores=0-7
/proc/14344/task/14347/stat : 14347 (java) S 14342 14342 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446916887 28904853504 7509 33554432000 4194304 4196468 140737153140080 140126935358480 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14348] ppid=14342 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14348/stat : 14348 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916887 28904853504 7509 33554432000 4194304 4196468 140737153140080 140126934305680 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14349] ppid=14342 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14349/stat : 14349 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916887 28904853504 7509 33554432000 4194304 4196468 140737153140080 140126933252880 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14350] ppid=14342 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14350/stat : 14350 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916887 28904853504 7509 33554432000 4194304 4196468 140737153140080 140126531213968 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14351] ppid=14342 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14344/task/14351/stat : 14351 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916887 28904853504 7509 33554432000 4194304 4196468 140737153140080 140126530161168 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14352] ppid=14342 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14352/stat : 14352 (java) S 14342 14342 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446916887 28904853504 7509 33554432000 4194304 4196468 140737153140080 140126529108368 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14353] ppid=14342 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14353/stat : 14353 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916887 28904853504 7509 33554432000 4194304 4196468 140737153140080 140126528055568 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14354] ppid=14342 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14354/stat : 14354 (java) S 14342 14342 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446916888 28904853504 7509 33554432000 4194304 4196468 140737153140080 140125514197872 140126983801474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14355] ppid=14342 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14355/stat : 14355 (java) S 14342 14342 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446916889 28904853504 7509 33554432000 4194304 4196468 140737153140080 140125513143840 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14356] ppid=14342 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14356/stat : 14356 (java) S 14342 14342 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446916889 28904853504 7509 33554432000 4194304 4196468 140737153140080 140125512090992 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14357] ppid=14342 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14357/stat : 14357 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916891 28904853504 7509 33554432000 4194304 4196468 140737153140080 140125511039312 140126983808923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14358] ppid=14342 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14358/stat : 14358 (java) S 14342 14342 10570 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 446916891 28904853504 7509 33554432000 4194304 4196468 140737153140080 140125509986672 140126983801474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14359] ppid=14342 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14359/stat : 14359 (java) S 14342 14342 10570 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 446916891 28904853504 7509 33554432000 4194304 4196468 140737153140080 140125508933872 140126983801474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14360] ppid=14342 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14360/stat : 14360 (java) S 14342 14342 10570 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 446916891 28904853504 7509 33554432000 4194304 4196468 140737153140080 140125507881072 140126983801474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14361] ppid=14342 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14344/task/14361/stat : 14361 (java) R 14342 14342 10570 0 -1 4202560 355 0 0 0 1 0 0 0 20 0 20 0 446916891 28904853504 7509 33554432000 4194304 4196468 140737153140080 140125506828272 140126962592421 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14362] ppid=14342 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14362/stat : 14362 (java) S 14342 14342 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446916892 28904853504 7509 33554432000 4194304 4196468 140737153140080 140125505776736 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14363] ppid=14342 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14344/task/14363/stat : 14363 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916892 28904853504 7509 33554432000 4194304 4196468 140737153140080 140125504724016 140126983801474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31488 KiB

[startup+0.210504 s]*
/proc/loadavg: 7.59 8.18 8.19 3/211 14363
/proc/meminfo: memFree=29305460/32770624 swapFree=66939908/67108860
[pid=14342] ppid=14339 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14342/stat : 14342 (xcsp3-exec) S 14339 14342 10570 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446916885 115843072 363 33554432000 4194304 5098028 140720745412496 140720745410600 139627926975100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23011328 140720745419643 140720745419886 140720745419886 140720745422794 0
/proc/14342/statm: 28282 363 304 221 0 87 0
[pid=14344] ppid=14342 vsize=28227396 memory=41188 CPUtime=0.33 cores=0-7
/proc/14344/stat : 14344 (java) S 14342 14342 10570 0 -1 1077944320 9588 0 0 0 31 2 0 0 20 0 20 0 446916886 28904853504 10297 33554432000 4194304 4196468 140737153140080 140737153122624 140126983790327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
/proc/14344/statm: 7056849 10297 3271 1 0 7019032 0
[pid=14344/tid=14345] ppid=14342 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/14344/task/14345/stat : 14345 (java) R 14342 14342 10570 0 -1 4202560 6709 0 0 0 18 1 0 0 20 0 20 0 446916886 28904853504 10297 33554432000 4194304 4196468 140737153140080 140126988024032 140126965936238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14346] ppid=14342 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/14344/task/14346/stat : 14346 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916887 28904853504 10297 33554432000 4194304 4196468 140737153140080 140126936411280 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14347] ppid=14342 vsize=28227396 memory=288370507854509696 CPUtime=0 cores=0-7
/proc/14344/task/14347/stat : 14347 (java) S 14342 14342 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446916887 28904853504 10297 33554432000 4194304 4196468 140737153140080 140126935358480 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14348] ppid=14342 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14344/task/14348/stat : 14348 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916887 28904853504 10297 33554432000 4194304 4196468 140737153140080 140126934305680 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14349] ppid=14342 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14349/stat : 14349 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916887 28904853504 10297 33554432000 4194304 4196468 140737153140080 140126933252880 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14350] ppid=14342 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14350/stat : 14350 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916887 28904853504 10297 33554432000 4194304 4196468 140737153140080 140126531213968 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14351] ppid=14342 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14344/task/14351/stat : 14351 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916887 28904853504 10297 33554432000 4194304 4196468 140737153140080 140126530161168 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14352] ppid=14342 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14352/stat : 14352 (java) S 14342 14342 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446916887 28904853504 10297 33554432000 4194304 4196468 140737153140080 140126529108368 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14353] ppid=14342 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14353/stat : 14353 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916887 28904853504 10297 33554432000 4194304 4196468 140737153140080 140126528055568 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14354] ppid=14342 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14354/stat : 14354 (java) S 14342 14342 10570 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446916888 28904853504 10297 33554432000 4194304 4196468 140737153140080 140125514197872 140126983801474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14355] ppid=14342 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14355/stat : 14355 (java) S 14342 14342 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446916889 28904853504 10297 33554432000 4194304 4196468 140737153140080 140125513143840 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14356] ppid=14342 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14356/stat : 14356 (java) S 14342 14342 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446916889 28904853504 10297 33554432000 4194304 4196468 140737153140080 140125512090992 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14357] ppid=14342 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14357/stat : 14357 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916891 28904853504 10297 33554432000 4194304 4196468 140737153140080 140125511039312 140126983808923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14358] ppid=14342 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/14344/task/14358/stat : 14358 (java) S 14342 14342 10570 0 -1 1077944384 620 0 0 0 2 0 0 0 20 0 20 0 446916891 28904853504 10297 33554432000 4194304 4196468 140737153140080 140125509986672 140126983801474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14359] ppid=14342 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14344/task/14359/stat : 14359 (java) S 14342 14342 10570 0 -1 1077944384 169 0 0 0 1 0 0 0 20 0 20 0 446916891 28904853504 10297 33554432000 4194304 4196468 140737153140080 140125508933872 140126983801474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14360] ppid=14342 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/14344/task/14360/stat : 14360 (java) S 14342 14342 10570 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 20 0 446916891 28904853504 10297 33554432000 4194304 4196468 140737153140080 140125507881072 140126983801474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14361] ppid=14342 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/14344/task/14361/stat : 14361 (java) R 14342 14342 10570 0 -1 4202560 725 0 0 0 7 0 0 0 20 0 20 0 446916891 28904853504 10297 33554432000 4194304 4196468 140737153140080 140125506828080 140126983804209 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14362] ppid=14342 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14362/stat : 14362 (java) S 14342 14342 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446916892 28904853504 10297 33554432000 4194304 4196468 140737153140080 140125505776736 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14363] ppid=14342 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14344/task/14363/stat : 14363 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916892 28904853504 10297 33554432000 4194304 4196468 140737153140080 140125504724016 140126983801474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42640 KiB

[startup+0.310531 s]*
/proc/loadavg: 7.59 8.18 8.19 4/211 14363
/proc/meminfo: memFree=29298684/32770624 swapFree=66939908/67108860
[pid=14342] ppid=14339 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14342/stat : 14342 (xcsp3-exec) S 14339 14342 10570 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446916885 115843072 363 33554432000 4194304 5098028 140720745412496 140720745410600 139627926975100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23011328 140720745419643 140720745419886 140720745419886 140720745422794 0
/proc/14342/statm: 28282 363 304 221 0 87 0
[pid=14344] ppid=14342 vsize=28231652 memory=50200 CPUtime=0.52 cores=0-7
/proc/14344/stat : 14344 (java) S 14342 14342 10570 0 -1 1077944320 10917 0 0 0 49 3 0 0 20 0 20 0 446916886 28909211648 12550 33554432000 4194304 4196468 140737153140080 140737153122624 140126983790327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
/proc/14344/statm: 7057913 12550 3353 1 0 7019032 0
[pid=14344/tid=14345] ppid=14342 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/14344/task/14345/stat : 14345 (java) R 14342 14342 10570 0 -1 4202560 7816 0 0 0 27 2 0 0 20 0 20 0 446916886 28909211648 12550 33554432000 4194304 4196468 140737153140080 140126988021440 140126967870814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14346] ppid=14342 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14346/stat : 14346 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916887 28909211648 12550 33554432000 4194304 4196468 140737153140080 140126936411280 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14347] ppid=14342 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14347/stat : 14347 (java) S 14342 14342 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446916887 28909211648 12550 33554432000 4194304 4196468 140737153140080 140126935358480 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14348] ppid=14342 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14348/stat : 14348 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916887 28909211648 12550 33554432000 4194304 4196468 140737153140080 140126934305680 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14349] ppid=14342 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14349/stat : 14349 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916887 28909211648 12550 33554432000 4194304 4196468 140737153140080 140126933252880 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14350] ppid=14342 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14350/stat : 14350 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916887 28909211648 12550 33554432000 4194304 4196468 140737153140080 140126531213968 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14351] ppid=14342 vsize=28231652 memory=140131562515119 CPUtime=0 cores=0-7
/proc/14344/task/14351/stat : 14351 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916887 28909211648 12550 33554432000 4194304 4196468 140737153140080 140126530161168 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14352] ppid=14342 vsize=28231652 memory=140131562517424 CPUtime=0 cores=0-7
/proc/14344/task/14352/stat : 14352 (java) S 14342 14342 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446916887 28909211648 12550 33554432000 4194304 4196468 140737153140080 140126529108368 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14353] ppid=14342 vsize=28231652 memory=140131562519728 CPUtime=0 cores=0-7
/proc/14344/task/14353/stat : 14353 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916887 28909211648 12550 33554432000 4194304 4196468 140737153140080 140126528055568 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14354] ppid=14342 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14354/stat : 14354 (java) S 14342 14342 10570 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446916888 28909211648 12550 33554432000 4194304 4196468 140737153140080 140125514197872 140126983801474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14355] ppid=14342 vsize=28231652 memory=280263125053328 CPUtime=0 cores=0-7
/proc/14344/task/14355/stat : 14355 (java) S 14342 14342 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446916889 28909211648 12550 33554432000 4194304 4196468 140737153140080 140125513143840 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14356] ppid=14342 vsize=28231652 memory=280263125051024 CPUtime=0 cores=0-7
/proc/14344/task/14356/stat : 14356 (java) S 14342 14342 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446916889 28909211648 12550 33554432000 4194304 4196468 140737153140080 140125512090992 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14357] ppid=14342 vsize=28231652 memory=280263125057936 CPUtime=0 cores=0-7
/proc/14344/task/14357/stat : 14357 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916891 28909211648 12550 33554432000 4194304 4196468 140737153140080 140125511039312 140126983808923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14358] ppid=14342 vsize=28231652 memory=280263124999216 CPUtime=0.03 cores=0-7
/proc/14344/task/14358/stat : 14358 (java) S 14342 14342 10570 0 -1 1077944384 625 0 0 0 3 0 0 0 20 0 20 0 446916891 28909211648 12550 33554432000 4194304 4196468 140737153140080 140125509986672 140126983801474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14359] ppid=14342 vsize=28231652 memory=280263125071760 CPUtime=0.02 cores=0-7
/proc/14344/task/14359/stat : 14359 (java) S 14342 14342 10570 0 -1 1077944384 177 0 0 0 2 0 0 0 20 0 20 0 446916891 28909211648 12550 33554432000 4194304 4196468 140737153140080 140125508933872 140126983801474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14360] ppid=14342 vsize=28231652 memory=280263125078672 CPUtime=0.03 cores=0-7
/proc/14344/task/14360/stat : 14360 (java) R 14342 14342 10570 0 -1 4202560 183 0 0 0 3 0 0 0 20 0 20 0 446916891 28909211648 12550 33554432000 4194304 4196468 140737153140080 140125507871456 140126963046118 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14361] ppid=14342 vsize=28231652 memory=280263125076368 CPUtime=0.12 cores=0-7
/proc/14344/task/14361/stat : 14361 (java) S 14342 14342 10570 0 -1 1077944384 822 0 0 0 12 0 0 0 20 0 20 0 446916891 28909211648 12550 33554432000 4194304 4196468 140737153140080 140125506828272 140126983801474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14362] ppid=14342 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14362/stat : 14362 (java) S 14342 14342 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446916892 28909211648 12550 33554432000 4194304 4196468 140737153140080 140125505776736 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14363] ppid=14342 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/14344/task/14363/stat : 14363 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916892 28909211648 12550 33554432000 4194304 4196468 140737153140080 140125504724016 140126983801474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51652 KiB

[startup+0.701053 s]
/proc/loadavg: 7.59 8.18 8.19 4/211 14363
/proc/meminfo: memFree=29275328/32770624 swapFree=66939908/67108860
[pid=14342] ppid=14339 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14342/stat : 14342 (xcsp3-exec) S 14339 14342 10570 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446916885 115843072 363 33554432000 4194304 5098028 140720745412496 140720745410600 139627926975100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23011328 140720745419643 140720745419886 140720745419886 140720745422794 0
/proc/14342/statm: 28282 363 304 221 0 87 0
[pid=14344] ppid=14342 vsize=28233776 memory=121576 CPUtime=1.95 cores=0-7
/proc/14344/stat : 14344 (java) S 14342 14342 10570 0 -1 1077944320 15996 0 0 0 190 5 0 0 20 0 20 0 446916886 28911386624 30394 33554432000 4194304 4196468 140737153140080 140737153122624 140126983790327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
/proc/14344/statm: 7058444 30394 3450 1 0 7019544 0
[pid=14344/tid=14345] ppid=14342 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/14344/task/14345/stat : 14345 (java) R 14342 14342 10570 0 -1 4202560 8375 0 0 0 64 3 0 0 20 0 20 0 446916886 28911386624 30394 33554432000 4194304 4196468 140737153140080 140126988024560 140126617060938 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14346] ppid=14342 vsize=28233776 memory=140131562726256 CPUtime=0 cores=0-7
/proc/14344/task/14346/stat : 14346 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916887 28911386624 30394 33554432000 4194304 4196468 140737153140080 140126936411280 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14347] ppid=14342 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14347/stat : 14347 (java) S 14342 14342 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446916887 28911386624 30394 33554432000 4194304 4196468 140737153140080 140126935358480 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14348] ppid=14342 vsize=28233776 memory=1256 CPUtime=0 cores=0-7
/proc/14344/task/14348/stat : 14348 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446916887 28911386624 30394 33554432000 4194304 4196468 140737153140080 140126934305680 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0

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

# the end of solver process 14342 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=15.9729 s, system=0.449995 s

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

[startup+3.44769 s]
/proc/loadavg: 7.59 8.18 8.19 13/219 14371
/proc/meminfo: memFree=28711012/32770624 swapFree=66939908/67108860
[pid=14342] ppid=14339 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14342/stat : 14342 (xcsp3-exec) S 14339 14342 10570 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446916885 115843072 363 33554432000 4194304 5098028 140720745412496 140720745410600 139627926975100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23011328 140720745419643 140720745419886 140720745419886 140720745422794 0
/proc/14342/statm: 28282 363 304 221 0 87 0
[pid=14344] ppid=14342 vsize=28768336 memory=677536 CPUtime=13.88 cores=0-7
/proc/14344/stat : 14344 (java) S 14342 14342 10570 0 -1 1077944320 38405 0 0 0 1346 42 0 0 20 0 28 0 446916886 29458776064 169384 33554432000 4194304 4196468 140737153140080 140737153122624 140126983790327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
/proc/14344/statm: 7192084 169384 3523 1 0 7153184 0
[pid=14344/tid=14345] ppid=14342 vsize=28768336 memory=988 CPUtime=2.78 cores=0-7
/proc/14344/task/14345/stat : 14345 (java) S 14342 14342 10570 0 -1 1077944384 10578 0 0 0 268 10 0 0 20 0 28 0 446916886 29458776064 169384 33554432000 4194304 4196468 140737153140080 140126988031104 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14346] ppid=14342 vsize=28768336 memory=2008 CPUtime=0.11 cores=0-7
/proc/14344/task/14346/stat : 14346 (java) S 14342 14342 10570 0 -1 1077944384 179 0 0 0 8 3 0 0 20 0 28 0 446916887 29458776064 169384 33554432000 4194304 4196468 140737153140080 140126936411280 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14347] ppid=14342 vsize=28768336 memory=1436 CPUtime=0.06 cores=0-7
/proc/14344/task/14347/stat : 14347 (java) S 14342 14342 10570 0 -1 1077944384 115 0 0 0 5 1 0 0 20 0 28 0 446916887 29458776064 169384 33554432000 4194304 4196468 140737153140080 140126935358480 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14348] ppid=14342 vsize=28768336 memory=4152 CPUtime=0.08 cores=0-7
/proc/14344/task/14348/stat : 14348 (java) S 14342 14342 10570 0 -1 1077944384 214 0 0 0 6 2 0 0 20 0 28 0 446916887 29458776064 169384 33554432000 4194304 4196468 140737153140080 140126934305680 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14349] ppid=14342 vsize=28768336 memory=1548 CPUtime=0.08 cores=0-7
/proc/14344/task/14349/stat : 14349 (java) S 14342 14342 10570 0 -1 1077944384 91 0 0 0 6 2 0 0 20 0 28 0 446916887 29458776064 169384 33554432000 4194304 4196468 140737153140080 140126933252880 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14350] ppid=14342 vsize=28768336 memory=1728 CPUtime=0.11 cores=0-7
/proc/14344/task/14350/stat : 14350 (java) S 14342 14342 10570 0 -1 1077944384 174 0 0 0 9 2 0 0 20 0 28 0 446916887 29458776064 169384 33554432000 4194304 4196468 140737153140080 140126531213968 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14351] ppid=14342 vsize=28768336 memory=8072 CPUtime=0.11 cores=0-7
/proc/14344/task/14351/stat : 14351 (java) S 14342 14342 10570 0 -1 1077944384 114 0 0 0 8 3 0 0 20 0 28 0 446916887 29458776064 169384 33554432000 4194304 4196468 140737153140080 140126530161168 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14352] ppid=14342 vsize=28768336 memory=2 CPUtime=0.1 cores=0-7
/proc/14344/task/14352/stat : 14352 (java) S 14342 14342 10570 0 -1 1077944384 174 0 0 0 7 3 0 0 20 0 28 0 446916887 29458776064 169384 33554432000 4194304 4196468 140737153140080 140126529108368 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14353] ppid=14342 vsize=28768336 memory=4 CPUtime=0.11 cores=0-7
/proc/14344/task/14353/stat : 14353 (java) S 14342 14342 10570 0 -1 1077944384 120 0 0 0 8 3 0 0 20 0 28 0 446916887 29458776064 169384 33554432000 4194304 4196468 140737153140080 140126528055568 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14354] ppid=14342 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/14344/task/14354/stat : 14354 (java) S 14342 14342 10570 0 -1 1077944384 1191 0 0 0 1 0 0 0 20 0 28 0 446916888 29458776064 169384 33554432000 4194304 4196468 140737153140080 140125514197872 140126983801474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14355] ppid=14342 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14355/stat : 14355 (java) S 14342 14342 10570 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 446916889 29458776064 169384 33554432000 4194304 4196468 140737153140080 140125513143904 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14356] ppid=14342 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14356/stat : 14356 (java) S 14342 14342 10570 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 446916889 29458776064 169384 33554432000 4194304 4196468 140737153140080 140125512091008 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14357] ppid=14342 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14357/stat : 14357 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446916891 29458776064 169384 33554432000 4194304 4196468 140737153140080 140125511039312 140126983808923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14358] ppid=14342 vsize=28768336 memory=0 CPUtime=2.17 cores=0-7
/proc/14344/task/14358/stat : 14358 (java) R 14342 14342 10570 0 -1 4202560 6032 0 0 0 216 1 0 0 20 0 28 0 446916891 29458776064 169384 33554432000 4194304 4196468 140737153140080 140125509973456 140126963287734 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14359] ppid=14342 vsize=28768336 memory=0 CPUtime=2.22 cores=0-7
/proc/14344/task/14359/stat : 14359 (java) R 14342 14342 10570 0 -1 4202560 6462 0 0 0 220 2 0 0 20 0 28 0 446916891 29458776064 169384 33554432000 4194304 4196468 140737153140080 140125508912912 140126963036175 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14360] ppid=14342 vsize=28768336 memory=2233 CPUtime=2.35 cores=0-7
/proc/14344/task/14360/stat : 14360 (java) R 14342 14342 10570 0 -1 4202560 6580 0 0 0 234 1 0 0 20 0 28 0 446916891 29458776064 169384 33554432000 4194304 4196468 140737153140080 140125507867488 140126965311509 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14361] ppid=14342 vsize=28768336 memory=15620 CPUtime=0.73 cores=0-7
/proc/14344/task/14361/stat : 14361 (java) S 14342 14342 10570 0 -1 1077944384 3608 0 0 0 72 1 0 0 20 0 28 0 446916891 29458776064 169384 33554432000 4194304 4196468 140737153140080 140125506828272 140126983801474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14362] ppid=14342 vsize=28768336 memory=3 CPUtime=0 cores=0-7
/proc/14344/task/14362/stat : 14362 (java) S 14342 14342 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446916892 29458776064 169384 33554432000 4194304 4196468 140737153140080 140125505776736 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14363] ppid=14342 vsize=28768336 memory=72 CPUtime=0 cores=0-7
/proc/14344/task/14363/stat : 14363 (java) S 14342 14342 10570 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 446916892 29458776064 169384 33554432000 4194304 4196468 140737153140080 140125504724016 140126983801474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
Current children cumulated CPU time: 13.88 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 678988 KiB

[startup+3.80105 s]
/proc/loadavg: 7.59 8.18 8.19 13/219 14371
/proc/meminfo: memFree=28711012/32770624 swapFree=66939908/67108860
[pid=14342] ppid=14339 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14342/stat : 14342 (xcsp3-exec) S 14339 14342 10570 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446916885 115843072 363 33554432000 4194304 5098028 140720745412496 140720745410600 139627926975100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23011328 140720745419643 140720745419886 140720745419886 140720745422794 0
/proc/14342/statm: 28282 363 304 221 0 87 0
[pid=14344] ppid=14342 vsize=28768336 memory=678556 CPUtime=15.33 cores=0-7
/proc/14344/stat : 14344 (java) S 14342 14342 10570 0 -1 1077944320 38921 0 0 0 1490 43 0 0 20 0 28 0 446916886 29458776064 169639 33554432000 4194304 4196468 140737153140080 140737153122624 140126983790327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
/proc/14344/statm: 7192084 169639 3525 1 0 7153184 0
[pid=14344/tid=14345] ppid=14342 vsize=28768336 memory=2319406795981862450 CPUtime=2.78 cores=0-7
/proc/14344/task/14345/stat : 14345 (java) S 14342 14342 10570 0 -1 1077944384 10580 0 0 0 268 10 0 0 20 0 28 0 446916886 29458776064 169639 33554432000 4194304 4196468 140737153140080 140126988031104 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14346] ppid=14342 vsize=28768336 memory=2241 CPUtime=0.11 cores=0-7
/proc/14344/task/14346/stat : 14346 (java) S 14342 14342 10570 0 -1 1077944384 179 0 0 0 8 3 0 0 20 0 28 0 446916887 29458776064 169639 33554432000 4194304 4196468 140737153140080 140126936411280 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14347] ppid=14342 vsize=28768336 memory=2244 CPUtime=0.06 cores=0-7
/proc/14344/task/14347/stat : 14347 (java) S 14342 14342 10570 0 -1 1077944384 115 0 0 0 5 1 0 0 20 0 28 0 446916887 29458776064 169639 33554432000 4194304 4196468 140737153140080 140126935358480 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14348] ppid=14342 vsize=28768336 memory=288230609019732336 CPUtime=0.08 cores=0-7
/proc/14344/task/14348/stat : 14348 (java) S 14342 14342 10570 0 -1 1077944384 214 0 0 0 6 2 0 0 20 0 28 0 446916887 29458776064 169639 33554432000 4194304 4196468 140737153140080 140126934305680 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14349] ppid=14342 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7
/proc/14344/task/14349/stat : 14349 (java) S 14342 14342 10570 0 -1 1077944384 91 0 0 0 6 2 0 0 20 0 28 0 446916887 29458776064 169639 33554432000 4194304 4196468 140737153140080 140126933252880 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14350] ppid=14342 vsize=28768336 memory=140131562903344 CPUtime=0.11 cores=0-7
/proc/14344/task/14350/stat : 14350 (java) S 14342 14342 10570 0 -1 1077944384 174 0 0 0 9 2 0 0 20 0 28 0 446916887 29458776064 169639 33554432000 4194304 4196468 140737153140080 140126531213968 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14351] ppid=14342 vsize=28768336 memory=0 CPUtime=0.11 cores=0-7
/proc/14344/task/14351/stat : 14351 (java) S 14342 14342 10570 0 -1 1077944384 114 0 0 0 8 3 0 0 20 0 28 0 446916887 29458776064 169639 33554432000 4194304 4196468 140737153140080 140126530161168 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14352] ppid=14342 vsize=28768336 memory=0 CPUtime=0.1 cores=0-7
/proc/14344/task/14352/stat : 14352 (java) S 14342 14342 10570 0 -1 1077944384 174 0 0 0 7 3 0 0 20 0 28 0 446916887 29458776064 169639 33554432000 4194304 4196468 140737153140080 140126529108368 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14353] ppid=14342 vsize=28768336 memory=0 CPUtime=0.11 cores=0-7
/proc/14344/task/14353/stat : 14353 (java) S 14342 14342 10570 0 -1 1077944384 120 0 0 0 8 3 0 0 20 0 28 0 446916887 29458776064 169639 33554432000 4194304 4196468 140737153140080 140126528055568 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14354] ppid=14342 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/14344/task/14354/stat : 14354 (java) S 14342 14342 10570 0 -1 1077944384 1191 0 0 0 1 0 0 0 20 0 28 0 446916888 29458776064 169639 33554432000 4194304 4196468 140737153140080 140125514197872 140126983801474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14355] ppid=14342 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14355/stat : 14355 (java) S 14342 14342 10570 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 446916889 29458776064 169639 33554432000 4194304 4196468 140737153140080 140125513143904 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14356] ppid=14342 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/14344/task/14356/stat : 14356 (java) S 14342 14342 10570 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 446916889 29458776064 169639 33554432000 4194304 4196468 140737153140080 140125512091008 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14357] ppid=14342 vsize=28768336 memory=-2672971630408907303 CPUtime=0 cores=0-7
/proc/14344/task/14357/stat : 14357 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446916891 29458776064 169639 33554432000 4194304 4196468 140737153140080 140125511039312 140126983808923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14358] ppid=14342 vsize=28768336 memory=-3756611412707075625 CPUtime=2.42 cores=0-7
/proc/14344/task/14358/stat : 14358 (java) R 14342 14342 10570 0 -1 4202560 6104 0 0 0 241 1 0 0 20 0 28 0 446916891 29458776064 169639 33554432000 4194304 4196468 140737153140080 140125509977648 140126969946808 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14359] ppid=14342 vsize=28768336 memory=-2026666227646604569 CPUtime=2.48 cores=0-7
/proc/14344/task/14359/stat : 14359 (java) R 14342 14342 10570 0 -1 4202560 6512 0 0 0 246 2 0 0 20 0 28 0 446916891 29458776064 169639 33554432000 4194304 4196468 140737153140080 140125508923664 140126965326433 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14360] ppid=14342 vsize=28768336 memory=-7022074515825631275 CPUtime=2.64 cores=0-7
/proc/14344/task/14360/stat : 14360 (java) R 14342 14342 10570 0 -1 4202560 6630 0 0 0 263 1 0 0 20 0 28 0 446916891 29458776064 169639 33554432000 4194304 4196468 140737153140080 140125507869424 140126967290533 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14361] ppid=14342 vsize=28768336 memory=-4695043397844020537 CPUtime=0.79 cores=0-7
/proc/14344/task/14361/stat : 14361 (java) S 14342 14342 10570 0 -1 1077944384 3722 0 0 0 78 1 0 0 20 0 28 0 446916891 29458776064 169639 33554432000 4194304 4196468 140737153140080 140125506828272 140126983801474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14362] ppid=14342 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/14344/task/14362/stat : 14362 (java) S 14342 14342 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446916892 29458776064 169639 33554432000 4194304 4196468 140737153140080 140125505776736 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14363] ppid=14342 vsize=28768336 memory=280263125414880 CPUtime=0 cores=0-7
/proc/14344/task/14363/stat : 14363 (java) S 14342 14342 10570 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 446916892 29458776064 169639 33554432000 4194304 4196468 140737153140080 140125504724016 140126983801474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
Current children cumulated CPU time: 15.33 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 680008 KiB

[startup+4.00099 s]
/proc/loadavg: 7.59 8.18 8.19 13/219 14371
/proc/meminfo: memFree=28711012/32770624 swapFree=66939908/67108860
[pid=14342] ppid=14339 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14342/stat : 14342 (xcsp3-exec) S 14339 14342 10570 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446916885 115843072 363 33554432000 4194304 5098028 140720745412496 140720745410600 139627926975100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23011328 140720745419643 140720745419886 140720745419886 140720745422794 0
/proc/14342/statm: 28282 363 304 221 0 87 0
[pid=14344] ppid=14342 vsize=28768336 memory=679876 CPUtime=16.22 cores=0-7
/proc/14344/stat : 14344 (java) S 14342 14342 10570 0 -1 1077944320 39569 0 0 0 1579 43 0 0 20 0 28 0 446916886 29458776064 169969 33554432000 4194304 4196468 140737153140080 140737153122624 140126983790327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
/proc/14344/statm: 7192084 169969 3526 1 0 7153184 0
[pid=14344/tid=14345] ppid=14342 vsize=28768336 memory=5792852204413806951 CPUtime=2.78 cores=0-7
/proc/14344/task/14345/stat : 14345 (java) S 14342 14342 10570 0 -1 1077944384 10580 0 0 0 268 10 0 0 20 0 28 0 446916886 29458776064 169969 33554432000 4194304 4196468 140737153140080 140126988031104 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14346] ppid=14342 vsize=28768336 memory=5864909798451801446 CPUtime=0.11 cores=0-7
/proc/14344/task/14346/stat : 14346 (java) S 14342 14342 10570 0 -1 1077944384 179 0 0 0 8 3 0 0 20 0 28 0 446916887 29458776064 169969 33554432000 4194304 4196468 140737153140080 140126936411280 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14347] ppid=14342 vsize=28768336 memory=7230638433170450273 CPUtime=0.06 cores=0-7
/proc/14344/task/14347/stat : 14347 (java) S 14342 14342 10570 0 -1 1077944384 115 0 0 0 5 1 0 0 20 0 28 0 446916887 29458776064 169969 33554432000 4194304 4196468 140737153140080 140126935358480 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14348] ppid=14342 vsize=28768336 memory=6369031525042119264 CPUtime=0.08 cores=0-7
/proc/14344/task/14348/stat : 14348 (java) S 14342 14342 10570 0 -1 1077944384 214 0 0 0 6 2 0 0 20 0 28 0 446916887 29458776064 169969 33554432000 4194304 4196468 140737153140080 140126934305680 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14349] ppid=14342 vsize=28768336 memory=7454130749351154278 CPUtime=0.08 cores=0-7
/proc/14344/task/14349/stat : 14349 (java) S 14342 14342 10570 0 -1 1077944384 91 0 0 0 6 2 0 0 20 0 28 0 446916887 29458776064 169969 33554432000 4194304 4196468 140737153140080 140126933252880 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14350] ppid=14342 vsize=28768336 memory=7234298694461055855 CPUtime=0.11 cores=0-7
/proc/14344/task/14350/stat : 14350 (java) S 14342 14342 10570 0 -1 1077944384 174 0 0 0 9 2 0 0 20 0 28 0 446916887 29458776064 169969 33554432000 4194304 4196468 140737153140080 140126531213968 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14351] ppid=14342 vsize=28768336 memory=4152 CPUtime=0.11 cores=0-7
/proc/14344/task/14351/stat : 14351 (java) S 14342 14342 10570 0 -1 1077944384 114 0 0 0 8 3 0 0 20 0 28 0 446916887 29458776064 169969 33554432000 4194304 4196468 140737153140080 140126530161168 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14352] ppid=14342 vsize=28768336 memory=1548 CPUtime=0.1 cores=0-7
/proc/14344/task/14352/stat : 14352 (java) S 14342 14342 10570 0 -1 1077944384 174 0 0 0 7 3 0 0 20 0 28 0 446916887 29458776064 169969 33554432000 4194304 4196468 140737153140080 140126529108368 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14353] ppid=14342 vsize=28768336 memory=1728 CPUtime=0.11 cores=0-7
/proc/14344/task/14353/stat : 14353 (java) S 14342 14342 10570 0 -1 1077944384 120 0 0 0 8 3 0 0 20 0 28 0 446916887 29458776064 169969 33554432000 4194304 4196468 140737153140080 140126528055568 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14354] ppid=14342 vsize=28768336 memory=8072 CPUtime=0.01 cores=0-7
/proc/14344/task/14354/stat : 14354 (java) S 14342 14342 10570 0 -1 1077944384 1191 0 0 0 1 0 0 0 20 0 28 0 446916888 29458776064 169969 33554432000 4194304 4196468 140737153140080 140125514197872 140126983801474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14355] ppid=14342 vsize=28768336 memory=9580 CPUtime=0 cores=0-7
/proc/14344/task/14355/stat : 14355 (java) S 14342 14342 10570 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 446916889 29458776064 169969 33554432000 4194304 4196468 140737153140080 140125513143904 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14356] ppid=14342 vsize=28768336 memory=1052 CPUtime=0 cores=0-7
/proc/14344/task/14356/stat : 14356 (java) S 14342 14342 10570 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 446916889 29458776064 169969 33554432000 4194304 4196468 140737153140080 140125512091008 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14357] ppid=14342 vsize=28768336 memory=776 CPUtime=0 cores=0-7
/proc/14344/task/14357/stat : 14357 (java) S 14342 14342 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446916891 29458776064 169969 33554432000 4194304 4196468 140737153140080 140125511039312 140126983808923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14358] ppid=14342 vsize=28768336 memory=2832 CPUtime=2.6 cores=0-7
/proc/14344/task/14358/stat : 14358 (java) R 14342 14342 10570 0 -1 4202560 6148 0 0 0 259 1 0 0 20 0 28 0 446916891 29458776064 169969 33554432000 4194304 4196468 140737153140080 140125509974112 140126965335489 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14359] ppid=14342 vsize=28768336 memory=668 CPUtime=2.68 cores=0-7
/proc/14344/task/14359/stat : 14359 (java) R 14342 14342 10570 0 -1 4202560 6796 0 0 0 266 2 0 0 20 0 28 0 446916891 29458776064 169969 33554432000 4194304 4196468 140737153140080 140125508925328 140126967696281 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14360] ppid=14342 vsize=28768336 memory=1256 CPUtime=2.83 cores=0-7
/proc/14344/task/14360/stat : 14360 (java) R 14342 14342 10570 0 -1 4202560 6658 0 0 0 281 2 0 0 20 0 28 0 446916891 29458776064 169969 33554432000 4194304 4196468 140737153140080 140125507872400 140126967158954 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14361] ppid=14342 vsize=28768336 memory=1076 CPUtime=0.79 cores=0-7
/proc/14344/task/14361/stat : 14361 (java) S 14342 14342 10570 0 -1 1077944384 3725 0 0 0 78 1 0 0 20 0 28 0 446916891 29458776064 169969 33554432000 4194304 4196468 140737153140080 140125506828272 140126983801474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14362] ppid=14342 vsize=28768336 memory=14008 CPUtime=0 cores=0-7
/proc/14344/task/14362/stat : 14362 (java) S 14342 14342 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446916892 29458776064 169969 33554432000 4194304 4196468 140737153140080 140125505776736 140126983800533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
[pid=14344/tid=14363] ppid=14342 vsize=28768336 memory=26512 CPUtime=0 cores=0-7
/proc/14344/task/14363/stat : 14363 (java) S 14342 14342 10570 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 446916892 29458776064 169969 33554432000 4194304 4196468 140737153140080 140125504724016 140126983801474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23105536 140737153147888 140737153148059 140737153148059 140737153150927 0
Current children cumulated CPU time: 16.22 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 681328 KiB

Child status: 0
Real time (s): 4.07831
CPU time (s): 16.4229
CPU user time (s): 15.9729
CPU system time (s): 0.449995
CPU usage (%): 402.688
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 681328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.9729
system time used= 0.449995
maximum resident set size= 680976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40197
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4190
involuntary context switches= 285


# summary of solver processes directly reported to runsolver:
#   pid: 14342
#   total CPU time (s): 16.4229
#   total CPU user time (s): 15.9729
#   total CPU system time (s): 0.449995

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.0509 second user time and 0.080265 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash608GPIA.xml
MD5SUM	0df69417c613ef889e63c8df69e0b506
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	1.32046
Satisfiable
(Un)Satisfiability was proved
Number of variables	1216
Number of constraints	7844
Number of domains	1
Minimum domain size	1216
Maximum domain size	1216
Distribution of domain sizes	[{"size":1216,"count":1216}]
Minimum variable degree	2
Maximum variable degree	21
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":6,"count":2},{"degree":7,"count":13},{"degree":8,"count":18},{"degree":9,"count":26},{"degree":10,"count":54},{"degree":11,"count":102},{"degree":12,"count":128},{"degree":13,"count":194},{"degree":14,"count":189},{"degree":15,"count":154},{"degree":16,"count":130},{"degree":17,"count":97},{"degree":18,"count":66},{"degree":19,"count":22},{"degree":20,"count":10},{"degree":21,"count":10}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":7844}]
Number of extensional constraints	0
Number of intensional constraints	7844
Distribution of constraint types	[{"type":"intension","count":7844}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4400029

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
