2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b seq (e747e1e)	SAT (TO)	8	252.034	246.023
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 (15101 MiB free)
  memory of node 1: 16384 MiB (10956 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301402-1532880430/watcher-4301402-1532880430 -o /tmp/evaluation-result-4301402-1532880430/solver-4301402-1532880430 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532880125-7616 --watchdog 312 HOME/xcsp3-exec -seed 236085136 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301402-1532880430.xml 

running on 4 cores: 0,2,4,6

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

solver pid=8049, runsolver pid=8046

[startup+0.104362 s]*
/proc/loadavg: 2.26 2.13 2.06 3/217 8065
/proc/meminfo: memFree=26666256/32770624 swapFree=67108496/67108860
[pid=8049] ppid=8046 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8049/stat : 8049 (xcsp3-exec) S 8046 8049 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105606185 115843072 364 33554432000 4194304 5098028 140732777548032 140732777546136 140571261981308 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29491200 140732777555009 140732777555209 140732777555209 140732777557962 0
/proc/8049/statm: 28282 364 306 221 0 87 0
[pid=8051] ppid=8049 vsize=14082940 memory=29804 CPUtime=0.12 cores=0,2,4,6
/proc/8051/stat : 8051 (java) S 8049 8049 7585 0 -1 1077944320 5805 0 0 0 11 1 0 0 20 0 15 0 105606185 14420930560 7451 33554432000 4194304 4196468 140734455552608 140734455535152 140422746971895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
/proc/8051/statm: 3520735 7451 3057 1 0 3483012 0
[pid=8051/tid=8052] ppid=8049 vsize=14082940 memory=8188571750956766043 CPUtime=0.09 cores=0,2,4,6
/proc/8051/task/8052/stat : 8052 (java) R 8049 8049 7585 0 -1 4202560 3759 0 0 0 9 0 0 0 20 0 15 0 105606186 14420930560 7517 33554432000 4194304 4196468 140734455552608 140422751192224 140422746993821 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8053] ppid=8049 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8053/stat : 8053 (java) S 8049 8049 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105606186 14420930560 7517 33554432000 4194304 4196468 140734455552608 140422684572432 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8054] ppid=8049 vsize=14082940 memory=139744321189504 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8054/stat : 8054 (java) S 8049 8049 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105606186 14420930560 7517 33554432000 4194304 4196468 140734455552608 140422683519888 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8055] ppid=8049 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8055/stat : 8055 (java) S 8049 8049 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105606186 14420930560 7517 33554432000 4194304 4196468 140734455552608 140422682467344 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8056] ppid=8049 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8056/stat : 8056 (java) S 8049 8049 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105606186 14420930560 7517 33554432000 4194304 4196468 140734455552608 140422339370128 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8057] ppid=8049 vsize=14082940 memory=139744321189504 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8057/stat : 8057 (java) S 8049 8049 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105606188 14420930560 7517 33554432000 4194304 4196468 140734455552608 140422288324592 140422746983042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8058] ppid=8049 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8058/stat : 8058 (java) S 8049 8049 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105606188 14420930560 7517 33554432000 4194304 4196468 140734455552608 140422287270816 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8059] ppid=8049 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8059/stat : 8059 (java) S 8049 8049 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105606188 14420930560 7517 33554432000 4194304 4196468 140734455552608 140422286218224 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8060] ppid=8049 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8060/stat : 8060 (java) S 8049 8049 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105606191 14420930560 7517 33554432000 4194304 4196468 140734455552608 140422285166800 140422746990491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8061] ppid=8049 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8061/stat : 8061 (java) S 8049 8049 7585 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 105606191 14420930560 7517 33554432000 4194304 4196468 140734455552608 140422284114416 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8062] ppid=8049 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8062/stat : 8062 (java) S 8049 8049 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105606191 14420930560 7517 33554432000 4194304 4196468 140734455552608 140422283061872 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8063] ppid=8049 vsize=14082940 memory=139744321189504 CPUtime=0.01 cores=0,2,4,6
/proc/8051/task/8063/stat : 8063 (java) S 8049 8049 7585 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 15 0 105606191 14420930560 7517 33554432000 4194304 4196468 140734455552608 140422282009328 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8064] ppid=8049 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8064/stat : 8064 (java) S 8049 8049 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105606191 14420930560 7517 33554432000 4194304 4196468 140734455552608 140422280957024 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8065] ppid=8049 vsize=14082940 memory=139744321189504 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8065/stat : 8065 (java) S 8049 8049 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105606191 14420930560 7517 33554432000 4194304 4196468 140734455552608 140422279903536 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 31260 KiB

[startup+0.212341 s]*
/proc/loadavg: 2.26 2.13 2.06 3/217 8065
/proc/meminfo: memFree=26655648/32770624 swapFree=67108496/67108860
[pid=8049] ppid=8046 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8049/stat : 8049 (xcsp3-exec) S 8046 8049 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105606185 115843072 364 33554432000 4194304 5098028 140732777548032 140732777546136 140571261981308 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29491200 140732777555009 140732777555209 140732777555209 140732777557962 0
/proc/8049/statm: 28282 364 306 221 0 87 0
[pid=8051] ppid=8049 vsize=14082940 memory=41072 CPUtime=0.34 cores=0,2,4,6
/proc/8051/stat : 8051 (java) S 8049 8049 7585 0 -1 1077944320 8296 0 0 0 32 2 0 0 20 0 15 0 105606185 14420930560 10268 33554432000 4194304 4196468 140734455552608 140734455535152 140422746971895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
/proc/8051/statm: 3520735 10268 3190 1 0 3483012 0
[pid=8051/tid=8052] ppid=8049 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/8051/task/8052/stat : 8052 (java) R 8049 8049 7585 0 -1 4202560 5468 0 0 0 19 1 0 0 20 0 15 0 105606186 14420930560 10268 33554432000 4194304 4196468 140734455552608 140422751208960 140422739649909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8053] ppid=8049 vsize=14082940 memory=8950 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8053/stat : 8053 (java) S 8049 8049 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105606186 14420930560 10268 33554432000 4194304 4196468 140734455552608 140422684572432 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8054] ppid=8049 vsize=14082940 memory=139744321686941 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8054/stat : 8054 (java) S 8049 8049 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105606186 14420930560 10268 33554432000 4194304 4196468 140734455552608 140422683519888 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8055] ppid=8049 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8055/stat : 8055 (java) S 8049 8049 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105606186 14420930560 10268 33554432000 4194304 4196468 140734455552608 140422682467344 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8056] ppid=8049 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8056/stat : 8056 (java) S 8049 8049 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105606186 14420930560 10268 33554432000 4194304 4196468 140734455552608 140422339370128 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8057] ppid=8049 vsize=14082940 memory=139744321189504 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8057/stat : 8057 (java) S 8049 8049 7585 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105606188 14420930560 10268 33554432000 4194304 4196468 140734455552608 140422288324592 140422746983042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8058] ppid=8049 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8058/stat : 8058 (java) S 8049 8049 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105606188 14420930560 10268 33554432000 4194304 4196468 140734455552608 140422287270816 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8059] ppid=8049 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8059/stat : 8059 (java) S 8049 8049 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105606188 14420930560 10268 33554432000 4194304 4196468 140734455552608 140422286218224 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8060] ppid=8049 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8060/stat : 8060 (java) S 8049 8049 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105606191 14420930560 10268 33554432000 4194304 4196468 140734455552608 140422285166800 140422746990491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8061] ppid=8049 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8051/task/8061/stat : 8061 (java) S 8049 8049 7585 0 -1 1077944384 460 0 0 0 2 0 0 0 20 0 15 0 105606191 14420930560 10268 33554432000 4194304 4196468 140734455552608 140422284114416 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8062] ppid=8049 vsize=14082940 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/8051/task/8062/stat : 8062 (java) S 8049 8049 7585 0 -1 1077944384 341 0 0 0 3 0 0 0 20 0 15 0 105606191 14420930560 10268 33554432000 4194304 4196468 140734455552608 140422283061872 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8063] ppid=8049 vsize=14082940 memory=139744321189504 CPUtime=0.08 cores=0,2,4,6
/proc/8051/task/8063/stat : 8063 (java) S 8049 8049 7585 0 -1 1077944384 734 0 0 0 8 0 0 0 20 0 15 0 105606191 14420930560 10268 33554432000 4194304 4196468 140734455552608 140422282009328 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8064] ppid=8049 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8064/stat : 8064 (java) S 8049 8049 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105606191 14420930560 10268 33554432000 4194304 4196468 140734455552608 140422280957024 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8065] ppid=8049 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8065/stat : 8065 (java) S 8049 8049 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105606191 14420930560 10268 33554432000 4194304 4196468 140734455552608 140422279903536 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42528 KiB

[startup+0.310539 s]*
/proc/loadavg: 2.26 2.13 2.06 4/217 8065
/proc/meminfo: memFree=26649072/32770624 swapFree=67108496/67108860
[pid=8049] ppid=8046 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8049/stat : 8049 (xcsp3-exec) S 8046 8049 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105606185 115843072 364 33554432000 4194304 5098028 140732777548032 140732777546136 140571261981308 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29491200 140732777555009 140732777555209 140732777555209 140732777557962 0
/proc/8049/statm: 28282 364 306 221 0 87 0
[pid=8051] ppid=8049 vsize=14087196 memory=48184 CPUtime=0.52 cores=0,2,4,6
/proc/8051/stat : 8051 (java) S 8049 8049 7585 0 -1 1077944320 9163 0 0 0 50 2 0 0 20 0 15 0 105606185 14425288704 12046 33554432000 4194304 4196468 140734455552608 140734455535152 140422746971895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
/proc/8051/statm: 3521799 12046 3266 1 0 3483012 0
[pid=8051/tid=8052] ppid=8049 vsize=14087196 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/8051/task/8052/stat : 8052 (java) R 8049 8049 7585 0 -1 4202560 6147 0 0 0 28 1 0 0 20 0 15 0 105606186 14425288704 12046 33554432000 4194304 4196468 140734455552608 140422751207936 140422731052382 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8053] ppid=8049 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8053/stat : 8053 (java) S 8049 8049 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105606186 14425288704 12046 33554432000 4194304 4196468 140734455552608 140422684572432 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8054] ppid=8049 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8054/stat : 8054 (java) S 8049 8049 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105606186 14425288704 12046 33554432000 4194304 4196468 140734455552608 140422683519888 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8055] ppid=8049 vsize=14087196 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8055/stat : 8055 (java) S 8049 8049 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105606186 14425288704 12046 33554432000 4194304 4196468 140734455552608 140422682467344 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8056] ppid=8049 vsize=14087196 memory=7089317150647820184 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8056/stat : 8056 (java) S 8049 8049 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105606186 14425288704 12046 33554432000 4194304 4196468 140734455552608 140422339370128 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8057] ppid=8049 vsize=14087196 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8057/stat : 8057 (java) S 8049 8049 7585 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105606188 14425288704 12046 33554432000 4194304 4196468 140734455552608 140422288324592 140422746983042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8058] ppid=8049 vsize=14087196 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8058/stat : 8058 (java) S 8049 8049 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105606188 14425288704 12046 33554432000 4194304 4196468 140734455552608 140422287270816 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8059] ppid=8049 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8059/stat : 8059 (java) S 8049 8049 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105606188 14425288704 12046 33554432000 4194304 4196468 140734455552608 140422286218224 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8060] ppid=8049 vsize=14087196 memory=-6444775992005010620 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8060/stat : 8060 (java) S 8049 8049 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105606191 14425288704 12046 33554432000 4194304 4196468 140734455552608 140422285166800 140422746990491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8061] ppid=8049 vsize=14087196 memory=8325818968683490714 CPUtime=0.03 cores=0,2,4,6
/proc/8051/task/8061/stat : 8061 (java) S 8049 8049 7585 0 -1 1077944384 481 0 0 0 3 0 0 0 20 0 15 0 105606191 14425288704 12046 33554432000 4194304 4196468 140734455552608 140422284114416 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8062] ppid=8049 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/8051/task/8062/stat : 8062 (java) R 8049 8049 7585 0 -1 4202560 416 0 0 0 5 0 0 0 20 0 15 0 105606191 14425288704 12046 33554432000 4194304 4196468 140734455552608 140422283052256 140422731891221 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8063] ppid=8049 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/8051/task/8063/stat : 8063 (java) S 8049 8049 7585 0 -1 1077944384 830 0 0 0 12 0 0 0 20 0 15 0 105606191 14425288704 12046 33554432000 4194304 4196468 140734455552608 140422282009328 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8064] ppid=8049 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8064/stat : 8064 (java) S 8049 8049 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105606191 14425288704 12046 33554432000 4194304 4196468 140734455552608 140422280957024 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8065] ppid=8049 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8065/stat : 8065 (java) S 8049 8049 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105606191 14425288704 12046 33554432000 4194304 4196468 140734455552608 140422279903536 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49640 KiB

[startup+0.70082 s]
/proc/loadavg: 2.26 2.13 2.06 5/217 8065
/proc/meminfo: memFree=26624816/32770624 swapFree=67108496/67108860
[pid=8049] ppid=8046 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8049/stat : 8049 (xcsp3-exec) S 8046 8049 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105606185 115843072 364 33554432000 4194304 5098028 140732777548032 140732777546136 140571261981308 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29491200 140732777555009 140732777555209 140732777555209 140732777557962 0
/proc/8049/statm: 28282 364 306 221 0 87 0
[pid=8051] ppid=8049 vsize=14089320 memory=115380 CPUtime=1.68 cores=0,2,4,6
/proc/8051/stat : 8051 (java) S 8049 8049 7585 0 -1 1077944320 12272 0 0 0 164 4 0 0 20 0 15 0 105606185 14427463680 28845 33554432000 4194304 4196468 140734455552608 140734455535152 140422746971895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
/proc/8051/statm: 3522330 28845 3346 1 0 3483524 0
[pid=8051/tid=8052] ppid=8049 vsize=14089320 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/8051/task/8052/stat : 8052 (java) R 8049 8049 7585 0 -1 4202560 6604 0 0 0 65 2 0 0 20 0 15 0 105606186 14427463680 28845 33554432000 4194304 4196468 140734455552608 140422751205984 140422365336532 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8053] ppid=8049 vsize=14089320 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8053/stat : 8053 (java) S 8049 8049 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105606186 14427463680 28845 33554432000 4194304 4196468 140734455552608 140422684572432 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8054] ppid=8049 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8054/stat : 8054 (java) S 8049 8049 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105606186 14427463680 28845 33554432000 4194304 4196468 140734455552608 140422683519888 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8055] ppid=8049 vsize=14089320 memory=30112 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8055/stat : 8055 (java) S 8049 8049 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105606186 14427463680 28845 33554432000 4194304 4196468 140734455552608 140422682467344 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8056] ppid=8049 vsize=14089320 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8056/stat : 8056 (java) S 8049 8049 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105606186 14427463680 28845 33554432000 4194304 4196468 140734455552608 140422339370128 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8057] ppid=8049 vsize=14089320 memory=2260 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8057/stat : 8057 (java) S 8049 8049 7585 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105606188 14427463680 28845 33554432000 4194304 4196468 140734455552608 140422288324592 140422746983042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8058] ppid=8049 vsize=14089320 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8058/stat : 8058 (java) S 8049 8049 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105606188 14427463680 28845 33554432000 4194304 4196468 140734455552608 140422287270816 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8059] ppid=8049 vsize=14089320 memory=860 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8059/stat : 8059 (java) S 8049 8049 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105606188 14427463680 28845 33554432000 4194304 4196468 140734455552608 140422286218224 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8060] ppid=8049 vsize=14089320 memory=12556 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8060/stat : 8060 (java) S 8049 8049 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105606191 14427463680 28845 33554432000 4194304 4196468 140734455552608 140422285166800 140422746990491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8061] ppid=8049 vsize=14089320 memory=756 CPUtime=0.34 cores=0,2,4,6
/proc/8051/task/8061/stat : 8061 (java) R 8049 8049 7585 0 -1 4202560 1535 0 0 0 34 0 0 0 20 0 15 0 105606191 14427463680 28845 33554432000 4194304 4196468 140734455552608 140422284104800 140422731368288 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8062] ppid=8049 vsize=14089320 memory=1616 CPUtime=0.36 cores=0,2,4,6
/proc/8051/task/8062/stat : 8062 (java) R 8049 8049 7585 0 -1 4202560 1309 0 0 0 36 0 0 0 20 0 15 0 105606191 14427463680 28845 33554432000 4194304 4196468 140734455552608 140422283047752 140422725390432 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8063] ppid=8049 vsize=14089320 memory=1836 CPUtime=0.28 cores=0,2,4,6
/proc/8051/task/8063/stat : 8063 (java) R 8049 8049 7585 0 -1 1077944384 1513 0 0 0 28 0 0 0 20 0 15 0 105606191 14427463680 28845 33554432000 4194304 4196468 140734455552608 140422282009328 140422746983042 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8064] ppid=8049 vsize=14089320 memory=1132 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8064/stat : 8064 (java) S 8049 8049 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105606191 14427463680 28845 33554432000 4194304 4196468 140734455552608 140422280957024 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8065] ppid=8049 vsize=14089320 memory=6396 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8065/stat : 8065 (java) S 8049 8049 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105606191 14427463680 28845 33554432000 4194304 4196468 140734455552608 140422279903536 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 116836 KiB

[startup+1.50076 s]
/proc/loadavg: 2.26 2.13 2.06 4/217 8065
/proc/meminfo: memFree=26543256/32770624 swapFree=67108496/67108860
[pid=8049] ppid=8046 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8049/stat : 8049 (xcsp3-exec) S 8046 8049 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105606185 115843072 364 33554432000 4194304 5098028 140732777548032 140732777546136 140571261981308 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29491200 140732777555009 140732777555209 140732777555209 140732777557962 0
/proc/8049/statm: 28282 364 306 221 0 87 0

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

/proc/8051/task/8059/stat : 8059 (java) S 8049 8049 7585 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 105606188 14427463680 60020 33554432000 4194304 4196468 140734455552608 140422286218240 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8060] ppid=8049 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8060/stat : 8060 (java) S 8049 8049 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105606191 14427463680 60020 33554432000 4194304 4196468 140734455552608 140422285166800 140422746990491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8061] ppid=8049 vsize=14089320 memory=12556 CPUtime=2.56 cores=0,2,4,6
/proc/8051/task/8061/stat : 8061 (java) S 8049 8049 7585 0 -1 1077944384 10278 0 0 0 255 1 0 0 20 0 15 0 105606191 14427463680 60020 33554432000 4194304 4196468 140734455552608 140422284114416 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8062] ppid=8049 vsize=14089320 memory=1456 CPUtime=2.4 cores=0,2,4,6
/proc/8051/task/8062/stat : 8062 (java) S 8049 8049 7585 0 -1 1077944384 8955 0 0 0 239 1 0 0 20 0 15 0 105606191 14427463680 60020 33554432000 4194304 4196468 140734455552608 140422283061872 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8063] ppid=8049 vsize=14089320 memory=1456 CPUtime=0.73 cores=0,2,4,6
/proc/8051/task/8063/stat : 8063 (java) S 8049 8049 7585 0 -1 1077944384 7042 0 0 0 72 1 0 0 20 0 15 0 105606191 14427463680 60020 33554432000 4194304 4196468 140734455552608 140422282009328 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8064] ppid=8049 vsize=14089320 memory=225360 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8064/stat : 8064 (java) S 8049 8049 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105606191 14427463680 60020 33554432000 4194304 4196468 140734455552608 140422280957024 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8065] ppid=8049 vsize=14089320 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8051/task/8065/stat : 8065 (java) S 8049 8049 7585 0 -1 1077944384 332 0 0 0 1 1 0 0 20 0 15 0 105606191 14427463680 60020 33554432000 4194304 4196468 140734455552608 140422279903536 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
Current children cumulated CPU time: 108.16 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 241536 KiB

[startup+162.301 s]
/proc/loadavg: 2.13 2.11 2.06 3/217 8067
/proc/meminfo: memFree=26454684/32770624 swapFree=67108496/67108860
[pid=8049] ppid=8046 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8049/stat : 8049 (xcsp3-exec) S 8046 8049 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105606185 115843072 364 33554432000 4194304 5098028 140732777548032 140732777546136 140571261981308 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29491200 140732777555009 140732777555209 140732777555209 140732777557962 0
/proc/8049/statm: 28282 364 306 221 0 87 0
[pid=8051] ppid=8049 vsize=14089320 memory=238616 CPUtime=168.25 cores=0,2,4,6
/proc/8051/stat : 8051 (java) S 8049 8049 7585 0 -1 1077944320 47152 0 0 0 16804 21 0 0 20 0 15 0 105606185 14427463680 59654 33554432000 4194304 4196468 140734455552608 140734455535152 140422746971895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
/proc/8051/statm: 3522330 59654 3434 1 0 3483524 0
[pid=8051/tid=8052] ppid=8049 vsize=14089320 memory=1456 CPUtime=162.16 cores=0,2,4,6
/proc/8051/task/8052/stat : 8052 (java) R 8049 8049 7585 0 -1 4202560 11968 0 0 0 16212 4 0 0 20 0 15 0 105606186 14427463680 59654 33554432000 4194304 4196468 140734455552608 140422751211296 140422369550698 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8053] ppid=8049 vsize=14089320 memory=238616 CPUtime=0.06 cores=0,2,4,6
/proc/8051/task/8053/stat : 8053 (java) S 8049 8049 7585 0 -1 1077944384 765 0 0 0 5 1 0 0 20 0 15 0 105606186 14427463680 59654 33554432000 4194304 4196468 140734455552608 140422684572432 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8054] ppid=8049 vsize=14089320 memory=238616 CPUtime=0.06 cores=0,2,4,6
/proc/8051/task/8054/stat : 8054 (java) S 8049 8049 7585 0 -1 1077944384 1628 0 0 0 4 2 0 0 20 0 15 0 105606186 14427463680 59654 33554432000 4194304 4196468 140734455552608 140422683519888 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8055] ppid=8049 vsize=14089320 memory=1456 CPUtime=0.06 cores=0,2,4,6
/proc/8051/task/8055/stat : 8055 (java) S 8049 8049 7585 0 -1 1077944384 1596 0 0 0 4 2 0 0 20 0 15 0 105606186 14427463680 59654 33554432000 4194304 4196468 140734455552608 140422682467344 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8056] ppid=8049 vsize=14089320 memory=1456 CPUtime=0.06 cores=0,2,4,6
/proc/8051/task/8056/stat : 8056 (java) S 8049 8049 7585 0 -1 1077944384 1436 0 0 0 4 2 0 0 20 0 15 0 105606186 14427463680 59654 33554432000 4194304 4196468 140734455552608 140422339370128 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8057] ppid=8049 vsize=14089320 memory=238612 CPUtime=0.01 cores=0,2,4,6
/proc/8051/task/8057/stat : 8057 (java) S 8049 8049 7585 0 -1 1077944384 1148 0 0 0 1 0 0 0 20 0 15 0 105606188 14427463680 59654 33554432000 4194304 4196468 140734455552608 140422288324592 140422746983042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8058] ppid=8049 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8058/stat : 8058 (java) S 8049 8049 7585 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 105606188 14427463680 59654 33554432000 4194304 4196468 140734455552608 140422287270880 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8059] ppid=8049 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8059/stat : 8059 (java) S 8049 8049 7585 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 105606188 14427463680 59654 33554432000 4194304 4196468 140734455552608 140422286218240 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8060] ppid=8049 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8060/stat : 8060 (java) S 8049 8049 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105606191 14427463680 59654 33554432000 4194304 4196468 140734455552608 140422285166800 140422746990491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8061] ppid=8049 vsize=14089320 memory=238616 CPUtime=2.57 cores=0,2,4,6
/proc/8051/task/8061/stat : 8061 (java) S 8049 8049 7585 0 -1 1077944384 10673 0 0 0 256 1 0 0 20 0 15 0 105606191 14427463680 59654 33554432000 4194304 4196468 140734455552608 140422284114416 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8062] ppid=8049 vsize=14089320 memory=1456 CPUtime=2.41 cores=0,2,4,6
/proc/8051/task/8062/stat : 8062 (java) S 8049 8049 7585 0 -1 1077944384 9160 0 0 0 240 1 0 0 20 0 15 0 105606191 14427463680 59654 33554432000 4194304 4196468 140734455552608 140422283061872 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8063] ppid=8049 vsize=14089320 memory=1456 CPUtime=0.73 cores=0,2,4,6
/proc/8051/task/8063/stat : 8063 (java) S 8049 8049 7585 0 -1 1077944384 7069 0 0 0 72 1 0 0 20 0 15 0 105606191 14427463680 59654 33554432000 4194304 4196468 140734455552608 140422282009328 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8064] ppid=8049 vsize=14089320 memory=238616 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8064/stat : 8064 (java) S 8049 8049 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105606191 14427463680 59654 33554432000 4194304 4196468 140734455552608 140422280957024 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8065] ppid=8049 vsize=14089320 memory=1456 CPUtime=0.03 cores=0,2,4,6
/proc/8051/task/8065/stat : 8065 (java) S 8049 8049 7585 0 -1 1077944384 338 0 0 0 1 2 0 0 20 0 15 0 105606191 14427463680 59654 33554432000 4194304 4196468 140734455552608 140422279903536 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
Current children cumulated CPU time: 168.25 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 240072 KiB

[startup+222.301 s]
/proc/loadavg: 2.01 2.08 2.05 3/218 8154
/proc/meminfo: memFree=26978608/32770624 swapFree=67108496/67108860
[pid=8049] ppid=8046 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8049/stat : 8049 (xcsp3-exec) S 8046 8049 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105606185 115843072 364 33554432000 4194304 5098028 140732777548032 140732777546136 140571261981308 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29491200 140732777555009 140732777555209 140732777555209 140732777557962 0
/proc/8049/statm: 28282 364 306 221 0 87 0
[pid=8051] ppid=8049 vsize=14089320 memory=229368 CPUtime=228.29 cores=0,2,4,6
/proc/8051/stat : 8051 (java) S 8049 8049 7585 0 -1 1077944320 49359 0 0 0 22805 24 0 0 20 0 15 0 105606185 14427463680 57342 33554432000 4194304 4196468 140734455552608 140734455535152 140422746971895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
/proc/8051/statm: 3522330 57342 3434 1 0 3483524 0
[pid=8051/tid=8052] ppid=8049 vsize=14089320 memory=229368 CPUtime=222.15 cores=0,2,4,6
/proc/8051/task/8052/stat : 8052 (java) R 8049 8049 7585 0 -1 4202560 12332 0 0 0 22209 6 0 0 20 0 15 0 105606186 14427463680 57342 33554432000 4194304 4196468 140734455552608 140422751211552 140422369408972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8053] ppid=8049 vsize=14089320 memory=1456 CPUtime=0.06 cores=0,2,4,6
/proc/8051/task/8053/stat : 8053 (java) S 8049 8049 7585 0 -1 1077944384 772 0 0 0 5 1 0 0 20 0 15 0 105606186 14427463680 57342 33554432000 4194304 4196468 140734455552608 140422684572432 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8054] ppid=8049 vsize=14089320 memory=229368 CPUtime=0.06 cores=0,2,4,6
/proc/8051/task/8054/stat : 8054 (java) S 8049 8049 7585 0 -1 1077944384 1746 0 0 0 4 2 0 0 20 0 15 0 105606186 14427463680 57342 33554432000 4194304 4196468 140734455552608 140422683519888 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8055] ppid=8049 vsize=14089320 memory=229368 CPUtime=0.06 cores=0,2,4,6
/proc/8051/task/8055/stat : 8055 (java) S 8049 8049 7585 0 -1 1077944384 1637 0 0 0 4 2 0 0 20 0 15 0 105606186 14427463680 57342 33554432000 4194304 4196468 140734455552608 140422682467344 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8056] ppid=8049 vsize=14089320 memory=236568 CPUtime=0.06 cores=0,2,4,6
/proc/8051/task/8056/stat : 8056 (java) S 8049 8049 7585 0 -1 1077944384 1463 0 0 0 4 2 0 0 20 0 15 0 105606186 14427463680 57342 33554432000 4194304 4196468 140734455552608 140422339370128 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8057] ppid=8049 vsize=14089320 memory=1456 CPUtime=0.01 cores=0,2,4,6
/proc/8051/task/8057/stat : 8057 (java) S 8049 8049 7585 0 -1 1077944384 1398 0 0 0 1 0 0 0 20 0 15 0 105606188 14427463680 57342 33554432000 4194304 4196468 140734455552608 140422288324592 140422746983042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8058] ppid=8049 vsize=14089320 memory=229368 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8058/stat : 8058 (java) S 8049 8049 7585 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 105606188 14427463680 57342 33554432000 4194304 4196468 140734455552608 140422287270880 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8059] ppid=8049 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8059/stat : 8059 (java) S 8049 8049 7585 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 105606188 14427463680 57342 33554432000 4194304 4196468 140734455552608 140422286218240 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8060] ppid=8049 vsize=14089320 memory=229368 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8060/stat : 8060 (java) S 8049 8049 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105606191 14427463680 57342 33554432000 4194304 4196468 140734455552608 140422285166800 140422746990491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8061] ppid=8049 vsize=14089320 memory=3872 CPUtime=2.57 cores=0,2,4,6
/proc/8051/task/8061/stat : 8061 (java) S 8049 8049 7585 0 -1 1077944384 10792 0 0 0 256 1 0 0 20 0 15 0 105606191 14427463680 57342 33554432000 4194304 4196468 140734455552608 140422284114416 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8062] ppid=8049 vsize=14089320 memory=30116 CPUtime=2.43 cores=0,2,4,6
/proc/8051/task/8062/stat : 8062 (java) S 8049 8049 7585 0 -1 1077944384 10264 0 0 0 242 1 0 0 20 0 15 0 105606191 14427463680 57342 33554432000 4194304 4196468 140734455552608 140422283061872 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8063] ppid=8049 vsize=14089320 memory=3988 CPUtime=0.73 cores=0,2,4,6
/proc/8051/task/8063/stat : 8063 (java) S 8049 8049 7585 0 -1 1077944384 7220 0 0 0 72 1 0 0 20 0 15 0 105606191 14427463680 57342 33554432000 4194304 4196468 140734455552608 140422282009328 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8064] ppid=8049 vsize=14089320 memory=2048 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8064/stat : 8064 (java) S 8049 8049 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105606191 14427463680 57342 33554432000 4194304 4196468 140734455552608 140422280957024 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8065] ppid=8049 vsize=14089320 memory=1456 CPUtime=0.04 cores=0,2,4,6
/proc/8051/task/8065/stat : 8065 (java) S 8049 8049 7585 0 -1 1077944384 364 0 0 0 1 3 0 0 20 0 15 0 105606191 14427463680 57342 33554432000 4194304 4196468 140734455552608 140422279903536 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
Current children cumulated CPU time: 228.29 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 230824 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+246.001 s]*
/proc/loadavg: 1.88 2.05 2.04 3/218 8154
/proc/meminfo: memFree=26973648/32770624 swapFree=67108496/67108860
[pid=8049] ppid=8046 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8049/stat : 8049 (xcsp3-exec) S 8046 8049 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105606185 115843072 364 33554432000 4194304 5098028 140732777548032 140732777546136 140571261981308 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29491200 140732777555009 140732777555209 140732777555209 140732777557962 0
/proc/8049/statm: 28282 364 306 221 0 87 0
[pid=8051] ppid=8049 vsize=14089320 memory=231416 CPUtime=252 cores=0,2,4,6
/proc/8051/stat : 8051 (java) S 8049 8049 7585 0 -1 1077944320 49569 0 0 0 25176 24 0 0 20 0 15 0 105606185 14427463680 57854 33554432000 4194304 4196468 140734455552608 140734455535152 140422746971895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
/proc/8051/statm: 3522330 57854 3434 1 0 3483524 0
[pid=8051/tid=8052] ppid=8049 vsize=14089320 memory=8112282956445269571 CPUtime=245.85 cores=0,2,4,6
/proc/8051/task/8052/stat : 8052 (java) R 8049 8049 7585 0 -1 4202560 12341 0 0 0 24579 6 0 0 20 0 15 0 105606186 14427463680 57854 33554432000 4194304 4196468 140734455552608 140422751209000 140422369551156 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8053] ppid=8049 vsize=14089320 memory=4126316290023845779 CPUtime=0.06 cores=0,2,4,6
/proc/8051/task/8053/stat : 8053 (java) S 8049 8049 7585 0 -1 1077944384 773 0 0 0 5 1 0 0 20 0 15 0 105606186 14427463680 57854 33554432000 4194304 4196468 140734455552608 140422684572432 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8054] ppid=8049 vsize=14089320 memory=4126316290023845779 CPUtime=0.06 cores=0,2,4,6
/proc/8051/task/8054/stat : 8054 (java) S 8049 8049 7585 0 -1 1077944384 1747 0 0 0 4 2 0 0 20 0 15 0 105606186 14427463680 57854 33554432000 4194304 4196468 140734455552608 140422683519888 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8055] ppid=8049 vsize=14089320 memory=30116 CPUtime=0.07 cores=0,2,4,6
/proc/8051/task/8055/stat : 8055 (java) S 8049 8049 7585 0 -1 1077944384 1639 0 0 0 5 2 0 0 20 0 15 0 105606186 14427463680 57854 33554432000 4194304 4196468 140734455552608 140422682467344 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8056] ppid=8049 vsize=14089320 memory=1224 CPUtime=0.07 cores=0,2,4,6
/proc/8051/task/8056/stat : 8056 (java) S 8049 8049 7585 0 -1 1077944384 1465 0 0 0 5 2 0 0 20 0 15 0 105606186 14427463680 57854 33554432000 4194304 4196468 140734455552608 140422339370128 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8057] ppid=8049 vsize=14089320 memory=2260 CPUtime=0.02 cores=0,2,4,6
/proc/8051/task/8057/stat : 8057 (java) S 8049 8049 7585 0 -1 1077944384 1398 0 0 0 2 0 0 0 20 0 15 0 105606188 14427463680 57854 33554432000 4194304 4196468 140734455552608 140422288324592 140422746983042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8058] ppid=8049 vsize=14089320 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8058/stat : 8058 (java) S 8049 8049 7585 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 105606188 14427463680 57854 33554432000 4194304 4196468 140734455552608 140422287270880 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8059] ppid=8049 vsize=14089320 memory=860 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8059/stat : 8059 (java) S 8049 8049 7585 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 105606188 14427463680 57854 33554432000 4194304 4196468 140734455552608 140422286218240 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8060] ppid=8049 vsize=14089320 memory=12556 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8060/stat : 8060 (java) S 8049 8049 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105606191 14427463680 57854 33554432000 4194304 4196468 140734455552608 140422285166800 140422746990491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8061] ppid=8049 vsize=14089320 memory=756 CPUtime=2.57 cores=0,2,4,6
/proc/8051/task/8061/stat : 8061 (java) S 8049 8049 7585 0 -1 1077944384 10792 0 0 0 256 1 0 0 20 0 15 0 105606191 14427463680 57854 33554432000 4194304 4196468 140734455552608 140422284114416 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8062] ppid=8049 vsize=14089320 memory=1616 CPUtime=2.43 cores=0,2,4,6
/proc/8051/task/8062/stat : 8062 (java) S 8049 8049 7585 0 -1 1077944384 10457 0 0 0 242 1 0 0 20 0 15 0 105606191 14427463680 57854 33554432000 4194304 4196468 140734455552608 140422283061872 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8063] ppid=8049 vsize=14089320 memory=1836 CPUtime=0.73 cores=0,2,4,6
/proc/8051/task/8063/stat : 8063 (java) S 8049 8049 7585 0 -1 1077944384 7220 0 0 0 72 1 0 0 20 0 15 0 105606191 14427463680 57854 33554432000 4194304 4196468 140734455552608 140422282009328 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8064] ppid=8049 vsize=14089320 memory=1132 CPUtime=0 cores=0,2,4,6
/proc/8051/task/8064/stat : 8064 (java) S 8049 8049 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105606191 14427463680 57854 33554432000 4194304 4196468 140734455552608 140422280957024 140422746982101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
[pid=8051/tid=8065] ppid=8049 vsize=14089320 memory=6396 CPUtime=0.04 cores=0,2,4,6
/proc/8051/task/8065/stat : 8065 (java) S 8049 8049 7585 0 -1 1077944384 366 0 0 0 1 3 0 0 20 0 15 0 105606191 14427463680 57854 33554432000 4194304 4196468 140734455552608 140422279903536 140422746983042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 39673856 140734455559308 140734455559478 140734455559478 140734455562191 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 232872 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+246.02 s]
# the end of solver process 8049 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0 s, system=0.002141 s

[startup+246.023 s]
# the end of solver process 8051 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.774 s, system=0.260201 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 246.023
CPU time (s): 252.034
CPU user time (s): 251.774
CPU system time (s): 0.260201
CPU usage (%): 102.443
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 241548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.774
system time used= 0.260201
maximum resident set size= 250284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50553
page faults= 0
swaps= 0
block input operations= 0
block output operations= 408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8347
involuntary context switches= 291


# summary of solver processes directly reported to runsolver:
#   pid: 8049,8051
#   total CPU time (s): 252.034
#   total CPU user time (s): 251.774
#   total CPU system time (s): 0.260201

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.37046 second user time and 2.34897 second system time

The end
Name	GraphColoring/ GraphColoring-5-fullins-4_c18.xml
MD5SUM	9a110b3288dcdd83da8fcc132ac433c6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	8
Best CPU time to get the best result obtained on this benchmark	207.316
Satisfiable
(Un)Satisfiability was proved
Number of variables	1085
Number of constraints	11395
Number of domains	1
Minimum domain size	1085
Maximum domain size	1085
Distribution of domain sizes	[{"size":1085,"count":1085}]
Minimum variable degree	7
Maximum variable degree	161
Distribution of variable degrees	[{"degree":7,"count":4},{"degree":8,"count":22},{"degree":9,"count":16},{"degree":10,"count":80},{"degree":11,"count":22},{"degree":12,"count":110},{"degree":13,"count":19},{"degree":14,"count":60},{"degree":15,"count":60},{"degree":16,"count":300},{"degree":19,"count":7},{"degree":20,"count":35},{"degree":21,"count":7},{"degree":22,"count":35},{"degree":30,"count":7},{"degree":33,"count":7},{"degree":34,"count":35},{"degree":35,"count":35},{"degree":36,"count":175},{"degree":55,"count":7},{"degree":56,"count":35},{"degree":161,"count":7}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":11395}]
Number of extensional constraints	0
Number of intensional constraints	11395
Distribution of constraint types	[{"type":"intension","count":11395}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4301402

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
