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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24	SAT (TO)	7	2400.11	2390.92
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 (10849 MiB free)
  memory of node 1: 16384 MiB (14085 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406532-1569396805/watcher-4406532-1569396805 -o /tmp/evaluation-result-4406532-1569396805/solver-4406532-1569396805 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1569396630-2592 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 2000911244 HOME/instance-4406532-1569396805.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
solver pid=2726, runsolver pid=2723
Current StackSize limit: 8192 KiB


[startup+0.100219 s]*
/proc/loadavg: 1.28 0.52 0.23 3/230 2742
/proc/meminfo: memFree=25515792/32770624 swapFree=66999840/67108860
[pid=2726] ppid=2723 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2726/stat : 2726 (xcsp3-exec) S 2723 2726 2561 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515945331 115843072 362 33554432000 4194304 5098028 140732868291776 140732868289880 139713577058940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25632768 140732868293498 140732868293741 140732868293741 140732868296650 0
/proc/2726/statm: 28282 362 304 221 0 87 0
[pid=2728] ppid=2726 vsize=15144776 memory=28580 CPUtime=0.12 cores=0,2,4,6
/proc/2728/stat : 2728 (java) S 2726 2726 2561 0 -1 1077944320 5655 0 0 0 11 1 0 0 20 0 15 0 515945331 15508250624 7145 33554432000 4194304 4196468 140722954194432 140722954176976 140435718172407 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
/proc/2728/statm: 3786194 7145 3120 1 0 3748377 0
[pid=2728/tid=2729] ppid=2726 vsize=15144776 memory=8180089925722843723 CPUtime=0.09 cores=0,2,4,6
/proc/2728/task/2729/stat : 2729 (java) R 2726 2726 2561 0 -1 4202560 3559 0 0 0 8 1 0 0 20 0 15 0 515945332 15508250624 7211 33554432000 4194304 4196468 140722954194432 140435722401584 140435702252894 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2730] ppid=2726 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2730/stat : 2730 (java) S 2726 2726 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515945333 15508250624 7211 33554432000 4194304 4196468 140722954194432 140435646213264 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2731] ppid=2726 vsize=15144776 memory=140299690301056 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2731/stat : 2731 (java) S 2726 2726 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515945333 15508250624 7211 33554432000 4194304 4196468 140722954194432 140435645160464 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2732] ppid=2726 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2732/stat : 2732 (java) S 2726 2726 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515945333 15508250624 7211 33554432000 4194304 4196468 140722954194432 140435644107664 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2733] ppid=2726 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2733/stat : 2733 (java) S 2726 2726 2561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515945333 15508250624 7211 33554432000 4194304 4196468 140722954194432 140435643054864 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2734] ppid=2726 vsize=15144776 memory=140299690301056 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2734/stat : 2734 (java) S 2726 2726 2561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515945334 15508250624 7211 33554432000 4194304 4196468 140722954194432 140434591992176 140435718183554 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2735] ppid=2726 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2735/stat : 2735 (java) S 2726 2726 2561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515945334 15508250624 7211 33554432000 4194304 4196468 140722954194432 140434590938144 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2736] ppid=2726 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2736/stat : 2736 (java) S 2726 2726 2561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515945335 15508250624 7211 33554432000 4194304 4196468 140722954194432 140434589885296 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2737] ppid=2726 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2737/stat : 2737 (java) S 2726 2726 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515945337 15508250624 7211 33554432000 4194304 4196468 140722954194432 140434588833616 140435718191003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2738] ppid=2726 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2738/stat : 2738 (java) S 2726 2726 2561 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 515945337 15508250624 7211 33554432000 4194304 4196468 140722954194432 140434587782000 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2739] ppid=2726 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2739/stat : 2739 (java) R 2726 2726 2561 0 -1 4202560 159 0 0 0 0 0 0 0 20 0 15 0 515945337 15508250624 7211 33554432000 4194304 4196468 140722954194432 140434586729200 140435696005264 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2740] ppid=2726 vsize=15144776 memory=140299690301056 CPUtime=0.02 cores=0,2,4,6
/proc/2728/task/2740/stat : 2740 (java) R 2726 2726 2561 0 -1 4202560 371 0 0 0 2 0 0 0 20 0 15 0 515945337 15508250624 7211 33554432000 4194304 4196468 140722954194432 140434585676400 140435702252894 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2741] ppid=2726 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2741/stat : 2741 (java) S 2726 2726 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515945337 15508250624 7211 33554432000 4194304 4196468 140722954194432 140434584623840 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2742] ppid=2726 vsize=15144776 memory=140299690301056 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2742/stat : 2742 (java) S 2726 2726 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515945337 15508250624 7211 33554432000 4194304 4196468 140722954194432 140434583571120 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30028 KiB

[startup+0.210831 s]*
/proc/loadavg: 1.28 0.52 0.23 4/230 2742
/proc/meminfo: memFree=25503292/32770624 swapFree=66999840/67108860
[pid=2726] ppid=2723 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2726/stat : 2726 (xcsp3-exec) S 2723 2726 2561 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515945331 115843072 362 33554432000 4194304 5098028 140732868291776 140732868289880 139713577058940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25632768 140732868293498 140732868293741 140732868293741 140732868296650 0
/proc/2726/statm: 28282 362 304 221 0 87 0
[pid=2728] ppid=2726 vsize=15144776 memory=40860 CPUtime=0.34 cores=0,2,4,6
/proc/2728/stat : 2728 (java) S 2726 2726 2561 0 -1 1077944320 9449 0 0 0 31 3 0 0 20 0 15 0 515945331 15508250624 10215 33554432000 4194304 4196468 140722954194432 140722954176976 140435718172407 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
/proc/2728/statm: 3786194 10215 3303 1 0 3748377 0
[pid=2728/tid=2729] ppid=2726 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/2728/task/2729/stat : 2729 (java) R 2726 2726 2561 0 -1 4202560 6591 0 0 0 18 2 0 0 20 0 15 0 515945332 15508250624 10215 33554432000 4194304 4196468 140722954194432 140435722409104 140435710850421 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2730] ppid=2726 vsize=15144776 memory=9780 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2730/stat : 2730 (java) S 2726 2726 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515945333 15508250624 10215 33554432000 4194304 4196468 140722954194432 140435646213264 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2731] ppid=2726 vsize=15144776 memory=3688645801861961376 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2731/stat : 2731 (java) S 2726 2726 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515945333 15508250624 10215 33554432000 4194304 4196468 140722954194432 140435645160464 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2732] ppid=2726 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2732/stat : 2732 (java) S 2726 2726 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515945333 15508250624 10215 33554432000 4194304 4196468 140722954194432 140435644107664 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2733] ppid=2726 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2733/stat : 2733 (java) S 2726 2726 2561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515945333 15508250624 10215 33554432000 4194304 4196468 140722954194432 140435643054864 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2734] ppid=2726 vsize=15144776 memory=140299690301056 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2734/stat : 2734 (java) S 2726 2726 2561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515945334 15508250624 10215 33554432000 4194304 4196468 140722954194432 140434591992176 140435718183554 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2735] ppid=2726 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2735/stat : 2735 (java) S 2726 2726 2561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515945334 15508250624 10215 33554432000 4194304 4196468 140722954194432 140434590938144 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2736] ppid=2726 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2736/stat : 2736 (java) S 2726 2726 2561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515945335 15508250624 10215 33554432000 4194304 4196468 140722954194432 140434589885296 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2737] ppid=2726 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2737/stat : 2737 (java) S 2726 2726 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515945337 15508250624 10215 33554432000 4194304 4196468 140722954194432 140434588833616 140435718191003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2738] ppid=2726 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2728/task/2738/stat : 2738 (java) S 2726 2726 2561 0 -1 1077944384 424 0 0 0 3 0 0 0 20 0 15 0 515945337 15508250624 10215 33554432000 4194304 4196468 140722954194432 140434587782000 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2739] ppid=2726 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2728/task/2739/stat : 2739 (java) S 2726 2726 2561 0 -1 1077944384 349 0 0 0 2 0 0 0 20 0 15 0 515945337 15508250624 10215 33554432000 4194304 4196468 140722954194432 140434586729200 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2740] ppid=2726 vsize=15144776 memory=140299690301056 CPUtime=0.08 cores=0,2,4,6
/proc/2728/task/2740/stat : 2740 (java) R 2726 2726 2561 0 -1 4202560 784 0 0 0 8 0 0 0 20 0 15 0 515945337 15508250624 10215 33554432000 4194304 4196468 140722954194432 140434585676400 140435718193754 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2741] ppid=2726 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2741/stat : 2741 (java) S 2726 2726 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515945337 15508250624 10215 33554432000 4194304 4196468 140722954194432 140434584623840 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2742] ppid=2726 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2742/stat : 2742 (java) S 2726 2726 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515945337 15508250624 10215 33554432000 4194304 4196468 140722954194432 140434583571120 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42308 KiB

[startup+0.312341 s]*
/proc/loadavg: 1.28 0.52 0.23 4/230 2742
/proc/meminfo: memFree=25496144/32770624 swapFree=66999840/67108860
[pid=2726] ppid=2723 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2726/stat : 2726 (xcsp3-exec) S 2723 2726 2561 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515945331 115843072 362 33554432000 4194304 5098028 140732868291776 140732868289880 139713577058940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25632768 140732868293498 140732868293741 140732868293741 140732868296650 0
/proc/2726/statm: 28282 362 304 221 0 87 0
[pid=2728] ppid=2726 vsize=15149032 memory=50104 CPUtime=0.53 cores=0,2,4,6
/proc/2728/stat : 2728 (java) S 2726 2726 2561 0 -1 1077944320 10877 0 0 0 49 4 0 0 20 0 15 0 515945331 15512608768 12526 33554432000 4194304 4196468 140722954194432 140722954176976 140435718172407 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
/proc/2728/statm: 3787258 12526 3352 1 0 3748377 0
[pid=2728/tid=2729] ppid=2726 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/2728/task/2729/stat : 2729 (java) R 2726 2726 2561 0 -1 4202560 7775 0 0 0 27 3 0 0 20 0 15 0 515945332 15512608768 12591 33554432000 4194304 4196468 140722954194432 140435722399024 140435702252894 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2730] ppid=2726 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2730/stat : 2730 (java) S 2726 2726 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515945333 15512608768 12591 33554432000 4194304 4196468 140722954194432 140435646213264 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2731] ppid=2726 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2731/stat : 2731 (java) S 2726 2726 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515945333 15512608768 12591 33554432000 4194304 4196468 140722954194432 140435645160464 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2732] ppid=2726 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2732/stat : 2732 (java) S 2726 2726 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515945333 15512608768 12591 33554432000 4194304 4196468 140722954194432 140435644107664 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2733] ppid=2726 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2733/stat : 2733 (java) S 2726 2726 2561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515945333 15512608768 12591 33554432000 4194304 4196468 140722954194432 140435643054864 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2734] ppid=2726 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2734/stat : 2734 (java) S 2726 2726 2561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515945334 15512608768 12591 33554432000 4194304 4196468 140722954194432 140434591992176 140435718183554 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2735] ppid=2726 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2735/stat : 2735 (java) S 2726 2726 2561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515945334 15512608768 12591 33554432000 4194304 4196468 140722954194432 140434590938144 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2736] ppid=2726 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2736/stat : 2736 (java) S 2726 2726 2561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515945335 15512608768 12591 33554432000 4194304 4196468 140722954194432 140434589885296 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2737] ppid=2726 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2737/stat : 2737 (java) S 2726 2726 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515945337 15512608768 12591 33554432000 4194304 4196468 140722954194432 140434588833616 140435718191003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2738] ppid=2726 vsize=15149032 memory=-8412656567168561567 CPUtime=0.05 cores=0,2,4,6
/proc/2728/task/2738/stat : 2738 (java) R 2726 2726 2561 0 -1 4202560 555 0 0 0 5 0 0 0 20 0 15 0 515945337 15512608768 12591 33554432000 4194304 4196468 140722954194432 140434587772384 140435695433664 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2739] ppid=2726 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2728/task/2739/stat : 2739 (java) S 2726 2726 2561 0 -1 1077944384 376 0 0 0 3 0 0 0 20 0 15 0 515945337 15512608768 12591 33554432000 4194304 4196468 140722954194432 140434586729200 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2740] ppid=2726 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/2728/task/2740/stat : 2740 (java) S 2726 2726 2561 0 -1 1077944384 893 0 0 0 13 0 0 0 20 0 15 0 515945337 15512608768 12591 33554432000 4194304 4196468 140722954194432 140434585676400 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2741] ppid=2726 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2741/stat : 2741 (java) S 2726 2726 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515945337 15512608768 12591 33554432000 4194304 4196468 140722954194432 140434584623840 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2742] ppid=2726 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2742/stat : 2742 (java) S 2726 2726 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515945337 15512608768 12591 33554432000 4194304 4196468 140722954194432 140434583571120 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51552 KiB

[startup+0.709822 s]
/proc/loadavg: 1.28 0.52 0.23 5/230 2742
/proc/meminfo: memFree=25475016/32770624 swapFree=66999840/67108860
[pid=2726] ppid=2723 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2726/stat : 2726 (xcsp3-exec) S 2723 2726 2561 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515945331 115843072 362 33554432000 4194304 5098028 140732868291776 140732868289880 139713577058940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25632768 140732868293498 140732868293741 140732868293741 140732868296650 0
/proc/2726/statm: 28282 362 304 221 0 87 0
[pid=2728] ppid=2726 vsize=15151156 memory=105432 CPUtime=1.76 cores=0,2,4,6
/proc/2728/stat : 2728 (java) S 2726 2726 2561 0 -1 1077944320 14955 0 0 0 171 5 0 0 20 0 15 0 515945331 15514783744 26358 33554432000 4194304 4196468 140722954194432 140722954176976 140435718172407 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
/proc/2728/statm: 3787789 26358 3447 1 0 3748889 0
[pid=2728/tid=2729] ppid=2726 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/2728/task/2729/stat : 2729 (java) R 2726 2726 2561 0 -1 4202560 8428 0 0 0 64 4 0 0 20 0 15 0 515945332 15514783744 26358 33554432000 4194304 4196468 140722954194432 140435722406192 140435702252894 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2730] ppid=2726 vsize=15151156 memory=64548 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2730/stat : 2730 (java) S 2726 2726 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515945333 15514783744 26358 33554432000 4194304 4196468 140722954194432 140435646213264 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2731] ppid=2726 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2731/stat : 2731 (java) S 2726 2726 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515945333 15514783744 26358 33554432000 4194304 4196468 140722954194432 140435645160464 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2732] ppid=2726 vsize=15151156 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2732/stat : 2732 (java) S 2726 2726 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515945333 15514783744 26358 33554432000 4194304 4196468 140722954194432 140435644107664 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2733] ppid=2726 vsize=15151156 memory=1432 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2733/stat : 2733 (java) S 2726 2726 2561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515945333 15514783744 26358 33554432000 4194304 4196468 140722954194432 140435643054864 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2734] ppid=2726 vsize=15151156 memory=9396 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2734/stat : 2734 (java) S 2726 2726 2561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515945334 15514783744 26358 33554432000 4194304 4196468 140722954194432 140434591992176 140435718183554 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2735] ppid=2726 vsize=15151156 memory=656 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2735/stat : 2735 (java) S 2726 2726 2561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515945334 15514783744 26358 33554432000 4194304 4196468 140722954194432 140434590938144 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2736] ppid=2726 vsize=15151156 memory=3612 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2736/stat : 2736 (java) S 2726 2726 2561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515945335 15514783744 26358 33554432000 4194304 4196468 140722954194432 140434589885296 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2737] ppid=2726 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2737/stat : 2737 (java) S 2726 2726 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515945337 15514783744 26358 33554432000 4194304 4196468 140722954194432 140434588833616 140435718191003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2738] ppid=2726 vsize=15151156 memory=1712 CPUtime=0.37 cores=0,2,4,6
/proc/2728/task/2738/stat : 2738 (java) R 2726 2726 2561 0 -1 4202560 1574 0 0 0 37 0 0 0 20 0 15 0 515945337 15514783744 26358 33554432000 4194304 4196468 140722954194432 140434587781184 140435701703886 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2739] ppid=2726 vsize=15151156 memory=1204 CPUtime=0.33 cores=0,2,4,6
/proc/2728/task/2739/stat : 2739 (java) R 2726 2726 2561 0 -1 4202560 1676 0 0 0 33 0 0 0 20 0 15 0 515945337 15514783744 26358 33554432000 4194304 4196468 140722954194432 140434586722392 140435698025968 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2740] ppid=2726 vsize=15151156 memory=1072 CPUtime=0.35 cores=0,2,4,6
/proc/2728/task/2740/stat : 2740 (java) S 2726 2726 2561 0 -1 1077944384 1972 0 0 0 35 0 0 0 20 0 15 0 515945337 15514783744 26358 33554432000 4194304 4196468 140722954194432 140434585676400 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2741] ppid=2726 vsize=15151156 memory=6100 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2741/stat : 2741 (java) S 2726 2726 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515945337 15514783744 26358 33554432000 4194304 4196468 140722954194432 140434584623840 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2742] ppid=2726 vsize=15151156 memory=1544 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2742/stat : 2742 (java) S 2726 2726 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515945337 15514783744 26358 33554432000 4194304 4196468 140722954194432 140434583571120 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 106880 KiB

[startup+1.50086 s]
/proc/loadavg: 1.28 0.52 0.23 3/230 2742
/proc/meminfo: memFree=25393972/32770624 swapFree=66999840/67108860
[pid=2726] ppid=2723 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2726/stat : 2726 (xcsp3-exec) S 2723 2726 2561 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515945331 115843072 362 33554432000 4194304 5098028 140732868291776 140732868289880 139713577058940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25632768 140732868293498 140732868293741 140732868293741 140732868296650 0
/proc/2726/statm: 28282 362 304 221 0 87 0

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

/proc/2728/task/2736/stat : 2736 (java) S 2726 2726 2561 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 15 0 515945335 15514783744 256332 33554432000 4194304 4196468 140722954194432 140434589885312 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2737] ppid=2726 vsize=15151156 memory=1025328 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2737/stat : 2737 (java) S 2726 2726 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515945337 15514783744 256332 33554432000 4194304 4196468 140722954194432 140434588833616 140435718191003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2738] ppid=2726 vsize=15151156 memory=1448 CPUtime=2.25 cores=0,2,4,6
/proc/2728/task/2738/stat : 2738 (java) S 2726 2726 2561 0 -1 1077944384 15660 0 0 0 223 2 0 0 20 0 15 0 515945337 15514783744 256332 33554432000 4194304 4196468 140722954194432 140434587782000 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2739] ppid=2726 vsize=15151156 memory=1025840 CPUtime=2.13 cores=0,2,4,6
/proc/2728/task/2739/stat : 2739 (java) S 2726 2726 2561 0 -1 1077944384 14027 0 0 0 211 2 0 0 20 0 15 0 515945337 15514783744 256332 33554432000 4194304 4196468 140722954194432 140434586729200 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2740] ppid=2726 vsize=15151156 memory=1448 CPUtime=0.71 cores=0,2,4,6
/proc/2728/task/2740/stat : 2740 (java) S 2726 2726 2561 0 -1 1077944384 9567 0 0 0 71 0 0 0 20 0 15 0 515945337 15514783744 256332 33554432000 4194304 4196468 140722954194432 140434585676400 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2741] ppid=2726 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2741/stat : 2741 (java) S 2726 2726 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515945337 15514783744 256332 33554432000 4194304 4196468 140722954194432 140434584623840 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2742] ppid=2726 vsize=15151156 memory=1001164 CPUtime=0.68 cores=0,2,4,6
/proc/2728/task/2742/stat : 2742 (java) S 2726 2726 2561 0 -1 1077944384 864 0 0 0 26 42 0 0 20 0 15 0 515945337 15514783744 256332 33554432000 4194304 4196468 140722954194432 140434583571120 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 52 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
Current children cumulated CPU time: 2331.09 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1026776 KiB

[startup+2382.3 s]
/proc/loadavg: 1.62 1.69 1.59 3/231 3368
/proc/meminfo: memFree=23208884/32770624 swapFree=66999840/67108860
[pid=2726] ppid=2723 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2726/stat : 2726 (xcsp3-exec) S 2723 2726 2561 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515945331 115843072 362 33554432000 4194304 5098028 140732868291776 140732868289880 139713577058940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25632768 140732868293498 140732868293741 140732868293741 140732868296650 0
/proc/2726/statm: 28282 362 304 221 0 87 0
[pid=2728] ppid=2726 vsize=15151156 memory=2334528 CPUtime=2391.44 cores=0,2,4,6
/proc/2728/stat : 2728 (java) S 2726 2726 2561 0 -1 1077944320 106520 0 0 0 238918 226 0 0 20 0 15 0 515945331 15514783744 583632 33554432000 4194304 4196468 140722954194432 140722954176976 140435718172407 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
/proc/2728/statm: 3787789 583632 3529 1 0 3748889 0
[pid=2728/tid=2729] ppid=2726 vsize=15151156 memory=1408 CPUtime=2379.9 cores=0,2,4,6
/proc/2728/task/2729/stat : 2729 (java) R 2726 2726 2561 0 -1 4202560 38624 0 0 0 237840 150 0 0 20 0 15 0 515945332 15514783744 583632 33554432000 4194304 4196468 140722954194432 140435722412032 140435320089003 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2730] ppid=2726 vsize=15151156 memory=2334528 CPUtime=1.25 cores=0,2,4,6
/proc/2728/task/2730/stat : 2730 (java) S 2726 2726 2561 0 -1 1077944384 3647 0 0 0 116 9 0 0 20 0 15 0 515945333 15514783744 583632 33554432000 4194304 4196468 140722954194432 140435646213264 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2731] ppid=2726 vsize=15151156 memory=1448 CPUtime=1.24 cores=0,2,4,6
/proc/2728/task/2731/stat : 2731 (java) S 2726 2726 2561 0 -1 1077944384 4988 0 0 0 114 10 0 0 20 0 15 0 515945333 15514783744 583632 33554432000 4194304 4196468 140722954194432 140435645160464 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2732] ppid=2726 vsize=15151156 memory=2334528 CPUtime=1.25 cores=0,2,4,6
/proc/2728/task/2732/stat : 2732 (java) S 2726 2726 2561 0 -1 1077944384 4328 0 0 0 115 10 0 0 20 0 15 0 515945333 15514783744 583632 33554432000 4194304 4196468 140722954194432 140435644107664 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2733] ppid=2726 vsize=15151156 memory=2307800 CPUtime=1.24 cores=0,2,4,6
/proc/2728/task/2733/stat : 2733 (java) S 2726 2726 2561 0 -1 1077944384 5541 0 0 0 114 10 0 0 20 0 15 0 515945333 15514783744 583632 33554432000 4194304 4196468 140722954194432 140435643054864 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2734] ppid=2726 vsize=15151156 memory=2307800 CPUtime=0.68 cores=0,2,4,6
/proc/2728/task/2734/stat : 2734 (java) S 2726 2726 2561 0 -1 1077944384 7860 0 0 0 58 10 0 0 20 0 15 0 515945334 15514783744 583632 33554432000 4194304 4196468 140722954194432 140434591992176 140435718183554 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2735] ppid=2726 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2735/stat : 2735 (java) S 2726 2726 2561 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 515945334 15514783744 583632 33554432000 4194304 4196468 140722954194432 140434590938208 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2736] ppid=2726 vsize=15151156 memory=2334528 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2736/stat : 2736 (java) S 2726 2726 2561 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 15 0 515945335 15514783744 583632 33554432000 4194304 4196468 140722954194432 140434589885312 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2737] ppid=2726 vsize=15151156 memory=2334528 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2737/stat : 2737 (java) S 2726 2726 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515945337 15514783744 583632 33554432000 4194304 4196468 140722954194432 140434588833616 140435718191003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2738] ppid=2726 vsize=15151156 memory=1448 CPUtime=2.25 cores=0,2,4,6
/proc/2728/task/2738/stat : 2738 (java) S 2726 2726 2561 0 -1 1077944384 15660 0 0 0 223 2 0 0 20 0 15 0 515945337 15514783744 583632 33554432000 4194304 4196468 140722954194432 140434587782000 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 44 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2739] ppid=2726 vsize=15151156 memory=1448 CPUtime=2.13 cores=0,2,4,6
/proc/2728/task/2739/stat : 2739 (java) S 2726 2726 2561 0 -1 1077944384 14027 0 0 0 211 2 0 0 20 0 15 0 515945337 15514783744 583632 33554432000 4194304 4196468 140722954194432 140434586729200 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2740] ppid=2726 vsize=15151156 memory=1448 CPUtime=0.71 cores=0,2,4,6
/proc/2728/task/2740/stat : 2740 (java) S 2726 2726 2561 0 -1 1077944384 9567 0 0 0 71 0 0 0 20 0 15 0 515945337 15514783744 583632 33554432000 4194304 4196468 140722954194432 140434585676400 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2741] ppid=2726 vsize=15151156 memory=3580 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2741/stat : 2741 (java) S 2726 2726 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515945337 15514783744 583632 33554432000 4194304 4196468 140722954194432 140434584623840 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2742] ppid=2726 vsize=15151156 memory=64608 CPUtime=0.7 cores=0,2,4,6
/proc/2728/task/2742/stat : 2742 (java) S 2726 2726 2561 0 -1 1077944384 868 0 0 0 27 43 0 0 20 0 15 0 515945337 15514783744 583632 33554432000 4194304 4196468 140722954194432 140434583571120 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 52 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
Current children cumulated CPU time: 2391.44 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 2335976 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2390.9 s]
/proc/loadavg: 1.60 1.68 1.59 3/230 3368
/proc/meminfo: memFree=23207496/32770624 swapFree=66999840/67108860
[pid=2726] ppid=2723 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2726/stat : 2726 (xcsp3-exec) S 2723 2726 2561 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515945331 115843072 362 33554432000 4194304 5098028 140732868291776 140732868289880 139713577058940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25632768 140732868293498 140732868293741 140732868293741 140732868296650 0
/proc/2726/statm: 28282 362 304 221 0 87 0
[pid=2728] ppid=2726 vsize=15151156 memory=2334012 CPUtime=2400.08 cores=0,2,4,6
/proc/2728/stat : 2728 (java) S 2726 2726 2561 0 -1 1077944320 106533 0 0 0 239782 226 0 0 20 0 15 0 515945331 15514783744 583503 33554432000 4194304 4196468 140722954194432 140722954176976 140435718172407 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
/proc/2728/statm: 3787789 583503 3529 1 0 3748889 0
[pid=2728/tid=2729] ppid=2726 vsize=15151156 memory=1448 CPUtime=2388.48 cores=0,2,4,6
/proc/2728/task/2729/stat : 2729 (java) R 2726 2726 2561 0 -1 4202560 38633 0 0 0 238698 150 0 0 20 0 15 0 515945332 15514783744 583503 33554432000 4194304 4196468 140722954194432 140435722411712 140435320089538 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2730] ppid=2726 vsize=15151156 memory=1448 CPUtime=1.26 cores=0,2,4,6
/proc/2728/task/2730/stat : 2730 (java) S 2726 2726 2561 0 -1 1077944384 3649 0 0 0 117 9 0 0 20 0 15 0 515945333 15514783744 583503 33554432000 4194304 4196468 140722954194432 140435646213264 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2731] ppid=2726 vsize=15151156 memory=2334012 CPUtime=1.25 cores=0,2,4,6
/proc/2728/task/2731/stat : 2731 (java) S 2726 2726 2561 0 -1 1077944384 4990 0 0 0 115 10 0 0 20 0 15 0 515945333 15514783744 583503 33554432000 4194304 4196468 140722954194432 140435645160464 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2732] ppid=2726 vsize=15151156 memory=2334012 CPUtime=1.26 cores=0,2,4,6
/proc/2728/task/2732/stat : 2732 (java) S 2726 2726 2561 0 -1 1077944384 4328 0 0 0 116 10 0 0 20 0 15 0 515945333 15514783744 583503 33554432000 4194304 4196468 140722954194432 140435644107664 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2733] ppid=2726 vsize=15151156 memory=2334012 CPUtime=1.26 cores=0,2,4,6
/proc/2728/task/2733/stat : 2733 (java) S 2726 2726 2561 0 -1 1077944384 5541 0 0 0 116 10 0 0 20 0 15 0 515945333 15514783744 583503 33554432000 4194304 4196468 140722954194432 140435643054864 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2734] ppid=2726 vsize=15151156 memory=1448 CPUtime=0.68 cores=0,2,4,6
/proc/2728/task/2734/stat : 2734 (java) S 2726 2726 2561 0 -1 1077944384 7860 0 0 0 58 10 0 0 20 0 15 0 515945334 15514783744 583503 33554432000 4194304 4196468 140722954194432 140434591992176 140435718183554 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2735] ppid=2726 vsize=15151156 memory=2307800 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2735/stat : 2735 (java) S 2726 2726 2561 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 515945334 15514783744 583503 33554432000 4194304 4196468 140722954194432 140434590938208 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2736] ppid=2726 vsize=15151156 memory=2307800 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2736/stat : 2736 (java) S 2726 2726 2561 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 15 0 515945335 15514783744 583503 33554432000 4194304 4196468 140722954194432 140434589885312 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2737] ppid=2726 vsize=15151156 memory=2334012 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2737/stat : 2737 (java) S 2726 2726 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515945337 15514783744 583503 33554432000 4194304 4196468 140722954194432 140434588833616 140435718191003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2738] ppid=2726 vsize=15151156 memory=1448 CPUtime=2.25 cores=0,2,4,6
/proc/2728/task/2738/stat : 2738 (java) S 2726 2726 2561 0 -1 1077944384 15660 0 0 0 223 2 0 0 20 0 15 0 515945337 15514783744 583503 33554432000 4194304 4196468 140722954194432 140434587782000 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 44 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2739] ppid=2726 vsize=15151156 memory=2334012 CPUtime=2.13 cores=0,2,4,6
/proc/2728/task/2739/stat : 2739 (java) S 2726 2726 2561 0 -1 1077944384 14027 0 0 0 211 2 0 0 20 0 15 0 515945337 15514783744 583503 33554432000 4194304 4196468 140722954194432 140434586729200 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2740] ppid=2726 vsize=15151156 memory=1448 CPUtime=0.71 cores=0,2,4,6
/proc/2728/task/2740/stat : 2740 (java) S 2726 2726 2561 0 -1 1077944384 9567 0 0 0 71 0 0 0 20 0 15 0 515945337 15514783744 583503 33554432000 4194304 4196468 140722954194432 140434585676400 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2741] ppid=2726 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2741/stat : 2741 (java) S 2726 2726 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515945337 15514783744 583503 33554432000 4194304 4196468 140722954194432 140434584623840 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2742] ppid=2726 vsize=15151156 memory=1448 CPUtime=0.7 cores=0,2,4,6
/proc/2728/task/2742/stat : 2742 (java) S 2726 2726 2561 0 -1 1077944384 868 0 0 0 27 43 0 0 20 0 15 0 515945337 15514783744 583503 33554432000 4194304 4196468 140722954194432 140434583571120 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 52 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 2335460 KiB

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

[startup+2390.91 s]
# the end of solver process 2726 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001199 s, system=0.001199 s

[startup+2390.92 s]
# the end of solver process 2728 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2397.84 s, system=2.27389 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

[startup+2390.9 s]
/proc/loadavg: 1.60 1.68 1.59 3/230 3368
/proc/meminfo: memFree=23207496/32770624 swapFree=66999840/67108860
[pid=2726] ppid=2723 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2726/stat : 2726 (xcsp3-exec) S 2723 2726 2561 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 515945331 115843072 362 33554432000 4194304 5098028 140732868291776 140732868289880 139713577058940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25632768 140732868293498 140732868293741 140732868293741 140732868296650 0
/proc/2726/statm: 28282 362 304 221 0 87 0
[pid=2728] ppid=2726 vsize=15151156 memory=2334012 CPUtime=2400.08 cores=0,2,4,6
/proc/2728/stat : 2728 (java) S 2726 2726 2561 0 -1 1077944320 106533 0 0 0 239782 226 0 0 20 0 15 0 515945331 15514783744 583503 33554432000 4194304 4196468 140722954194432 140722954176976 140435718172407 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
/proc/2728/statm: 3787789 583503 3529 1 0 3748889 0
[pid=2728/tid=2729] ppid=2726 vsize=15151156 memory=1448 CPUtime=2388.48 cores=0,2,4,6
/proc/2728/task/2729/stat : 2729 (java) R 2726 2726 2561 0 -1 4202560 38633 0 0 0 238698 150 0 0 20 0 15 0 515945332 15514783744 583503 33554432000 4194304 4196468 140722954194432 140435722411712 140435320089538 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2730] ppid=2726 vsize=15151156 memory=1448 CPUtime=1.26 cores=0,2,4,6
/proc/2728/task/2730/stat : 2730 (java) S 2726 2726 2561 0 -1 1077944384 3649 0 0 0 117 9 0 0 20 0 15 0 515945333 15514783744 583503 33554432000 4194304 4196468 140722954194432 140435646213264 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2731] ppid=2726 vsize=15151156 memory=2334012 CPUtime=1.25 cores=0,2,4,6
/proc/2728/task/2731/stat : 2731 (java) S 2726 2726 2561 0 -1 1077944384 4990 0 0 0 115 10 0 0 20 0 15 0 515945333 15514783744 583503 33554432000 4194304 4196468 140722954194432 140435645160464 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2732] ppid=2726 vsize=15151156 memory=2334012 CPUtime=1.26 cores=0,2,4,6
/proc/2728/task/2732/stat : 2732 (java) S 2726 2726 2561 0 -1 1077944384 4328 0 0 0 116 10 0 0 20 0 15 0 515945333 15514783744 583503 33554432000 4194304 4196468 140722954194432 140435644107664 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2733] ppid=2726 vsize=15151156 memory=2334012 CPUtime=1.26 cores=0,2,4,6
/proc/2728/task/2733/stat : 2733 (java) S 2726 2726 2561 0 -1 1077944384 5541 0 0 0 116 10 0 0 20 0 15 0 515945333 15514783744 583503 33554432000 4194304 4196468 140722954194432 140435643054864 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2734] ppid=2726 vsize=15151156 memory=1448 CPUtime=0.68 cores=0,2,4,6
/proc/2728/task/2734/stat : 2734 (java) S 2726 2726 2561 0 -1 1077944384 7860 0 0 0 58 10 0 0 20 0 15 0 515945334 15514783744 583503 33554432000 4194304 4196468 140722954194432 140434591992176 140435718183554 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2735] ppid=2726 vsize=15151156 memory=2307800 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2735/stat : 2735 (java) S 2726 2726 2561 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 515945334 15514783744 583503 33554432000 4194304 4196468 140722954194432 140434590938208 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2736] ppid=2726 vsize=15151156 memory=2307800 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2736/stat : 2736 (java) S 2726 2726 2561 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 15 0 515945335 15514783744 583503 33554432000 4194304 4196468 140722954194432 140434589885312 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2737] ppid=2726 vsize=15151156 memory=2334012 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2737/stat : 2737 (java) S 2726 2726 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515945337 15514783744 583503 33554432000 4194304 4196468 140722954194432 140434588833616 140435718191003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2738] ppid=2726 vsize=15151156 memory=1448 CPUtime=2.25 cores=0,2,4,6
/proc/2728/task/2738/stat : 2738 (java) S 2726 2726 2561 0 -1 1077944384 15660 0 0 0 223 2 0 0 20 0 15 0 515945337 15514783744 583503 33554432000 4194304 4196468 140722954194432 140434587782000 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 44 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2739] ppid=2726 vsize=15151156 memory=2334012 CPUtime=2.13 cores=0,2,4,6
/proc/2728/task/2739/stat : 2739 (java) S 2726 2726 2561 0 -1 1077944384 14027 0 0 0 211 2 0 0 20 0 15 0 515945337 15514783744 583503 33554432000 4194304 4196468 140722954194432 140434586729200 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2740] ppid=2726 vsize=15151156 memory=1448 CPUtime=0.71 cores=0,2,4,6
/proc/2728/task/2740/stat : 2740 (java) S 2726 2726 2561 0 -1 1077944384 9567 0 0 0 71 0 0 0 20 0 15 0 515945337 15514783744 583503 33554432000 4194304 4196468 140722954194432 140434585676400 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2741] ppid=2726 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2741/stat : 2741 (java) S 2726 2726 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515945337 15514783744 583503 33554432000 4194304 4196468 140722954194432 140434584623840 140435718182613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
[pid=2728/tid=2742] ppid=2726 vsize=15151156 memory=1448 CPUtime=0.7 cores=0,2,4,6
/proc/2728/task/2742/stat : 2742 (java) S 2726 2726 2561 0 -1 1077944384 868 0 0 0 27 43 0 0 20 0 15 0 515945337 15514783744 583503 33554432000 4194304 4196468 140722954194432 140434583571120 140435718183554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 52 0 0 6293624 6294260 34615296 140722954200047 140722954200218 140722954200218 140722954203087 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 2335460 KiB

Child status: 143
Real time (s): 2390.92
CPU time (s): 2400.11
CPU user time (s): 2397.84
CPU system time (s): 2.27389
CPU usage (%): 100.384
Max. virtual memory (cumulated for all children) (KiB): 15268048
Max. memory (cumulated for all children) (KiB): 2511368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.84
system time used= 2.27389
maximum resident set size= 2509920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107240
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68437
involuntary context switches= 3895


# summary of solver processes directly reported to runsolver:
#   pid: 2726,2728
#   total CPU time (s): 2400.11
#   total CPU user time (s): 2397.84
#   total CPU system time (s): 2.27389

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1161 second user time and 22.9239 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05b.xml
MD5SUM	1883a0b97ed6164a2c6d9bdd2047bad0
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	233.796
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	5734
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	13
Maximum variable degree	43
Distribution of variable degrees	[{"degree":13,"count":2},{"degree":15,"count":1},{"degree":16,"count":4},{"degree":17,"count":10},{"degree":18,"count":6},{"degree":19,"count":10},{"degree":20,"count":22},{"degree":21,"count":28},{"degree":22,"count":21},{"degree":23,"count":21},{"degree":24,"count":32},{"degree":25,"count":35},{"degree":26,"count":35},{"degree":27,"count":39},{"degree":28,"count":34},{"degree":29,"count":31},{"degree":30,"count":23},{"degree":31,"count":27},{"degree":32,"count":13},{"degree":33,"count":17},{"degree":34,"count":11},{"degree":35,"count":11},{"degree":36,"count":4},{"degree":37,"count":5},{"degree":38,"count":2},{"degree":39,"count":1},{"degree":40,"count":1},{"degree":41,"count":1},{"degree":42,"count":2},{"degree":43,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":5734}]
Number of extensional constraints	0
Number of intensional constraints	5734
Distribution of constraint types	[{"type":"intension","count":5734}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4406532

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
