2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16	SAT (TO)	12	2520.46	635.22
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 (13126 MiB free)
  memory of node 1: 16384 MiB (15514 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399201-1568687591/watcher-4399201-1568687591 -o /tmp/evaluation-result-4399201-1568687591/solver-4399201-1568687591 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568682260-15015 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 797003861 HOME/instance-4399201-1568687591.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=22102, runsolver pid=22099
Current StackSize limit: 8192 KiB


[startup+0.100079 s]*
/proc/loadavg: 8.19 8.36 8.46 7/234 22118
/proc/meminfo: memFree=29312348/32770624 swapFree=66997372/67108860
[pid=22102] ppid=22099 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22102/stat : 22102 (xcsp3-exec) S 22099 22102 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445012178 115843072 362 33554432000 4194304 5098028 140732595346336 140732595344440 140207036785276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38502400 140732595348347 140732595348589 140732595348589 140732595351498 0
/proc/22102/statm: 28282 362 304 221 0 87 0
[pid=22104] ppid=22102 vsize=15144776 memory=29048 CPUtime=0.13 cores=1,3,5,7
/proc/22104/stat : 22104 (java) S 22102 22102 14983 0 -1 1077944320 5688 0 0 0 12 1 0 0 20 0 15 0 445012178 15508250624 7262 33554432000 4194304 4196468 140735783891376 140735783873920 140083861565175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
/proc/22104/statm: 3786194 7262 3160 1 0 3748377 0
[pid=22104/tid=22105] ppid=22102 vsize=15144776 memory=7100839870104831090 CPUtime=0.09 cores=1,3,5,7
/proc/22104/task/22105/stat : 22105 (java) R 22102 22102 14983 0 -1 4202560 3564 0 0 0 8 1 0 0 20 0 15 0 445012178 15508250624 7262 33554432000 4194304 4196468 140735783891376 140083865800192 140083845645662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22106] ppid=22102 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22106/stat : 22106 (java) S 22102 22102 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445012179 15508250624 7262 33554432000 4194304 4196468 140735783891376 140083789606032 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22107] ppid=22102 vsize=15144776 memory=139651947562624 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22107/stat : 22107 (java) S 22102 22102 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445012179 15508250624 7262 33554432000 4194304 4196468 140735783891376 140083788553232 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22108] ppid=22102 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22108/stat : 22108 (java) S 22102 22102 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445012179 15508250624 7262 33554432000 4194304 4196468 140735783891376 140083787500432 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22109] ppid=22102 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22109/stat : 22109 (java) S 22102 22102 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445012179 15508250624 7262 33554432000 4194304 4196468 140735783891376 140083786447632 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22110] ppid=22102 vsize=15144776 memory=139651947562624 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22110/stat : 22110 (java) S 22102 22102 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445012181 15508250624 7262 33554432000 4194304 4196468 140735783891376 140082802714992 140083861576322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22111] ppid=22102 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22111/stat : 22111 (java) S 22102 22102 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445012181 15508250624 7262 33554432000 4194304 4196468 140735783891376 140082801660960 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22112] ppid=22102 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22112/stat : 22112 (java) S 22102 22102 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445012181 15508250624 7262 33554432000 4194304 4196468 140735783891376 140082800608112 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22113] ppid=22102 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22113/stat : 22113 (java) S 22102 22102 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445012184 15508250624 7262 33554432000 4194304 4196468 140735783891376 140082799556432 140083861583771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22114] ppid=22102 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22114/stat : 22114 (java) S 22102 22102 14983 0 -1 1077944384 449 0 0 0 0 0 0 0 20 0 15 0 445012184 15508250624 7262 33554432000 4194304 4196468 140735783891376 140082798504816 140083861576322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22115] ppid=22102 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22115/stat : 22115 (java) S 22102 22102 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445012184 15508250624 7262 33554432000 4194304 4196468 140735783891376 140082797452016 140083861576322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22116] ppid=22102 vsize=15144776 memory=139651947562624 CPUtime=0.02 cores=1,3,5,7
/proc/22104/task/22116/stat : 22116 (java) R 22102 22102 14983 0 -1 4202560 389 0 0 0 2 0 0 0 20 0 15 0 445012184 15508250624 7262 33554432000 4194304 4196468 140735783891376 140082796399216 140083846730823 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22117] ppid=22102 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22117/stat : 22117 (java) S 22102 22102 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445012184 15508250624 7262 33554432000 4194304 4196468 140735783891376 140082795346656 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22118] ppid=22102 vsize=15144776 memory=139651947562624 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22118/stat : 22118 (java) S 22102 22102 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445012184 15508250624 7262 33554432000 4194304 4196468 140735783891376 140082794293936 140083861576322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30496 KiB

[startup+0.210814 s]*
/proc/loadavg: 8.19 8.36 8.46 7/234 22118
/proc/meminfo: memFree=29298612/32770624 swapFree=66997372/67108860
[pid=22102] ppid=22099 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22102/stat : 22102 (xcsp3-exec) S 22099 22102 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445012178 115843072 362 33554432000 4194304 5098028 140732595346336 140732595344440 140207036785276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38502400 140732595348347 140732595348589 140732595348589 140732595351498 0
/proc/22102/statm: 28282 362 304 221 0 87 0
[pid=22104] ppid=22102 vsize=15144776 memory=40820 CPUtime=0.34 cores=1,3,5,7
/proc/22104/stat : 22104 (java) S 22102 22102 14983 0 -1 1077944320 9448 0 0 0 31 3 0 0 20 0 15 0 445012178 15508250624 10205 33554432000 4194304 4196468 140735783891376 140735783873920 140083861565175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
/proc/22104/statm: 3786194 10205 3291 1 0 3748377 0
[pid=22104/tid=22105] ppid=22102 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/22104/task/22105/stat : 22105 (java) R 22102 22102 14983 0 -1 4202560 6606 0 0 0 18 2 0 0 20 0 15 0 445012178 15508250624 10205 33554432000 4194304 4196468 140735783891376 140083865800160 140083845645662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22106] ppid=22102 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22106/stat : 22106 (java) S 22102 22102 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445012179 15508250624 10205 33554432000 4194304 4196468 140735783891376 140083789606032 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22107] ppid=22102 vsize=15144776 memory=288370028099274368 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22107/stat : 22107 (java) S 22102 22102 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445012179 15508250624 10205 33554432000 4194304 4196468 140735783891376 140083788553232 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22108] ppid=22102 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22108/stat : 22108 (java) S 22102 22102 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445012179 15508250624 10205 33554432000 4194304 4196468 140735783891376 140083787500432 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22109] ppid=22102 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22109/stat : 22109 (java) S 22102 22102 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445012179 15508250624 10205 33554432000 4194304 4196468 140735783891376 140083786447632 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22110] ppid=22102 vsize=15144776 memory=139651947562624 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22110/stat : 22110 (java) S 22102 22102 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445012181 15508250624 10205 33554432000 4194304 4196468 140735783891376 140082802714992 140083861576322 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22111] ppid=22102 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22111/stat : 22111 (java) S 22102 22102 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445012181 15508250624 10205 33554432000 4194304 4196468 140735783891376 140082801660960 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22112] ppid=22102 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22112/stat : 22112 (java) S 22102 22102 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445012181 15508250624 10205 33554432000 4194304 4196468 140735783891376 140082800608112 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22113] ppid=22102 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22113/stat : 22113 (java) S 22102 22102 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445012184 15508250624 10205 33554432000 4194304 4196468 140735783891376 140082799556432 140083861583771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22114] ppid=22102 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/22104/task/22114/stat : 22114 (java) S 22102 22102 14983 0 -1 1077944384 554 0 0 0 3 0 0 0 20 0 15 0 445012184 15508250624 10205 33554432000 4194304 4196468 140735783891376 140082798504816 140083861576322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22115] ppid=22102 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/22104/task/22115/stat : 22115 (java) S 22102 22102 14983 0 -1 1077944384 183 0 0 0 1 0 0 0 20 0 15 0 445012184 15508250624 10205 33554432000 4194304 4196468 140735783891376 140082797452016 140083861576322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22116] ppid=22102 vsize=15144776 memory=139651947562624 CPUtime=0.08 cores=1,3,5,7
/proc/22104/task/22116/stat : 22116 (java) S 22102 22102 14983 0 -1 1077944384 811 0 0 0 8 0 0 0 20 0 15 0 445012184 15508250624 10205 33554432000 4194304 4196468 140735783891376 140082796399216 140083861576322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22117] ppid=22102 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22117/stat : 22117 (java) S 22102 22102 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445012184 15508250624 10205 33554432000 4194304 4196468 140735783891376 140082795346656 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22118] ppid=22102 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22118/stat : 22118 (java) S 22102 22102 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445012184 15508250624 10205 33554432000 4194304 4196468 140735783891376 140082794293936 140083861576322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42268 KiB

[startup+0.316839 s]*
/proc/loadavg: 8.19 8.36 8.46 7/234 22118
/proc/meminfo: memFree=29291204/32770624 swapFree=66997372/67108860
[pid=22102] ppid=22099 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22102/stat : 22102 (xcsp3-exec) S 22099 22102 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445012178 115843072 362 33554432000 4194304 5098028 140732595346336 140732595344440 140207036785276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38502400 140732595348347 140732595348589 140732595348589 140732595351498 0
/proc/22102/statm: 28282 362 304 221 0 87 0
[pid=22104] ppid=22102 vsize=15149032 memory=50468 CPUtime=0.53 cores=1,3,5,7
/proc/22104/stat : 22104 (java) S 22102 22102 14983 0 -1 1077944320 10967 0 0 0 50 3 0 0 20 0 15 0 445012178 15512608768 12617 33554432000 4194304 4196468 140735783891376 140735783873920 140083861565175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
/proc/22104/statm: 3787258 12617 3351 1 0 3748377 0
[pid=22104/tid=22105] ppid=22102 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/22104/task/22105/stat : 22105 (java) R 22102 22102 14983 0 -1 4202560 7875 0 0 0 28 2 0 0 20 0 15 0 445012178 15512608768 12617 33554432000 4194304 4196468 140735783891376 140083865800112 140083845645662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22106] ppid=22102 vsize=15149032 memory=9461 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22106/stat : 22106 (java) S 22102 22102 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445012179 15512608768 12617 33554432000 4194304 4196468 140735783891376 140083789606032 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22107] ppid=22102 vsize=15149032 memory=288230376155155389 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22107/stat : 22107 (java) S 22102 22102 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445012179 15512608768 12617 33554432000 4194304 4196468 140735783891376 140083788553232 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22108] ppid=22102 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22108/stat : 22108 (java) S 22102 22102 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445012179 15512608768 12617 33554432000 4194304 4196468 140735783891376 140083787500432 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22109] ppid=22102 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22109/stat : 22109 (java) S 22102 22102 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445012179 15512608768 12617 33554432000 4194304 4196468 140735783891376 140083786447632 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22110] ppid=22102 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22110/stat : 22110 (java) S 22102 22102 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445012181 15512608768 12617 33554432000 4194304 4196468 140735783891376 140082802714992 140083861576322 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22111] ppid=22102 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22111/stat : 22111 (java) S 22102 22102 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445012181 15512608768 12617 33554432000 4194304 4196468 140735783891376 140082801660960 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22112] ppid=22102 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22112/stat : 22112 (java) S 22102 22102 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445012181 15512608768 12617 33554432000 4194304 4196468 140735783891376 140082800608112 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22113] ppid=22102 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22113/stat : 22113 (java) S 22102 22102 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445012184 15512608768 12617 33554432000 4194304 4196468 140735783891376 140082799556432 140083861583771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22114] ppid=22102 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/22104/task/22114/stat : 22114 (java) S 22102 22102 14983 0 -1 1077944384 582 0 0 0 5 0 0 0 20 0 15 0 445012184 15512608768 12617 33554432000 4194304 4196468 140735783891376 140082798504816 140083861576322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22115] ppid=22102 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/22104/task/22115/stat : 22115 (java) S 22102 22102 14983 0 -1 1077944384 310 0 0 0 4 0 0 0 20 0 15 0 445012184 15512608768 12617 33554432000 4194304 4196468 140735783891376 140082797452016 140083861576322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22116] ppid=22102 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/22104/task/22116/stat : 22116 (java) S 22102 22102 14983 0 -1 1077944384 919 0 0 0 12 0 0 0 20 0 15 0 445012184 15512608768 12617 33554432000 4194304 4196468 140735783891376 140082796399216 140083861576322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22117] ppid=22102 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22117/stat : 22117 (java) S 22102 22102 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445012184 15512608768 12617 33554432000 4194304 4196468 140735783891376 140082795346656 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22118] ppid=22102 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22118/stat : 22118 (java) S 22102 22102 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445012184 15512608768 12617 33554432000 4194304 4196468 140735783891376 140082794293936 140083861576322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51916 KiB

[startup+0.700754 s]
/proc/loadavg: 8.19 8.36 8.46 10/234 22118
/proc/meminfo: memFree=29271656/32770624 swapFree=66997372/67108860
[pid=22102] ppid=22099 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22102/stat : 22102 (xcsp3-exec) S 22099 22102 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445012178 115843072 362 33554432000 4194304 5098028 140732595346336 140732595344440 140207036785276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38502400 140732595348347 140732595348589 140732595348589 140732595351498 0
/proc/22102/statm: 28282 362 304 221 0 87 0
[pid=22104] ppid=22102 vsize=15151156 memory=90056 CPUtime=1.74 cores=1,3,5,7
/proc/22104/stat : 22104 (java) S 22102 22102 14983 0 -1 1077944320 15674 0 0 0 169 5 0 0 20 0 15 0 445012178 15514783744 22514 33554432000 4194304 4196468 140735783891376 140735783873920 140083861565175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
/proc/22104/statm: 3787789 22514 3449 1 0 3748889 0
[pid=22104/tid=22105] ppid=22102 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/22104/task/22105/stat : 22105 (java) R 22102 22102 14983 0 -1 4202560 9189 0 0 0 65 3 0 0 20 0 15 0 445012178 15514783744 22514 33554432000 4194304 4196468 140735783891376 140083865801152 140083462236704 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22106] ppid=22102 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22106/stat : 22106 (java) S 22102 22102 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445012179 15514783744 22514 33554432000 4194304 4196468 140735783891376 140083789606032 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22107] ppid=22102 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22107/stat : 22107 (java) S 22102 22102 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445012179 15514783744 22514 33554432000 4194304 4196468 140735783891376 140083788553232 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22108] ppid=22102 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22108/stat : 22108 (java) S 22102 22102 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445012179 15514783744 22514 33554432000 4194304 4196468 140735783891376 140083787500432 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22109] ppid=22102 vsize=15151156 memory=3768 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22109/stat : 22109 (java) S 22102 22102 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445012179 15514783744 22514 33554432000 4194304 4196468 140735783891376 140083786447632 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22110] ppid=22102 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22110/stat : 22110 (java) S 22102 22102 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445012181 15514783744 22514 33554432000 4194304 4196468 140735783891376 140082802714992 140083861576322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22111] ppid=22102 vsize=15151156 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22111/stat : 22111 (java) S 22102 22102 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445012181 15514783744 22514 33554432000 4194304 4196468 140735783891376 140082801660960 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22112] ppid=22102 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22112/stat : 22112 (java) S 22102 22102 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445012181 15514783744 22514 33554432000 4194304 4196468 140735783891376 140082800608112 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22113] ppid=22102 vsize=15151156 memory=812 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22113/stat : 22113 (java) S 22102 22102 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445012184 15514783744 22514 33554432000 4194304 4196468 140735783891376 140082799556432 140083861583771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22114] ppid=22102 vsize=15151156 memory=1764 CPUtime=0.32 cores=1,3,5,7
/proc/22104/task/22114/stat : 22114 (java) R 22102 22102 14983 0 -1 4202560 1233 0 0 0 32 0 0 0 20 0 15 0 445012184 15514783744 22514 33554432000 4194304 4196468 140735783891376 140082798485336 140083842743683 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22115] ppid=22102 vsize=15151156 memory=111628 CPUtime=0.31 cores=1,3,5,7
/proc/22104/task/22115/stat : 22115 (java) R 22102 22102 14983 0 -1 4202560 1305 0 0 0 31 0 0 0 20 0 15 0 445012184 15514783744 22514 33554432000 4194304 4196468 140735783891376 140082797441728 140083841282311 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22116] ppid=22102 vsize=15151156 memory=796 CPUtime=0.4 cores=1,3,5,7
/proc/22104/task/22116/stat : 22116 (java) S 22102 22102 14983 0 -1 1077944384 2642 0 0 0 40 0 0 0 20 0 15 0 445012184 15514783744 22514 33554432000 4194304 4196468 140735783891376 140082796399216 140083861576322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22117] ppid=22102 vsize=15151156 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22117/stat : 22117 (java) S 22102 22102 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445012184 15514783744 22514 33554432000 4194304 4196468 140735783891376 140082795346656 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22118] ppid=22102 vsize=15151156 memory=920 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22118/stat : 22118 (java) S 22102 22102 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445012184 15514783744 22514 33554432000 4194304 4196468 140735783891376 140082794293936 140083861576322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 91504 KiB

[startup+1.50313 s]
/proc/loadavg: 8.19 8.36 8.46 8/234 22118
/proc/meminfo: memFree=29192084/32770624 swapFree=66997372/67108860
[pid=22102] ppid=22099 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22102/stat : 22102 (xcsp3-exec) S 22099 22102 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445012178 115843072 362 33554432000 4194304 5098028 140732595346336 140732595344440 140207036785276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38502400 140732595348347 140732595348589 140732595348589 140732595351498 0
/proc/22102/statm: 28282 362 304 221 0 87 0

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

/proc/22104/stat : 22104 (java) S 22102 22102 14983 0 -1 1077944320 90226 0 0 0 230980 55 0 0 20 0 19 0 445012178 15790579712 116391 33554432000 4194304 4196468 140735783891376 140735783873920 140083861565175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
/proc/22104/statm: 3855122 116391 3537 1 0 3816222 0
[pid=22104/tid=22105] ppid=22102 vsize=15420488 memory=454960 CPUtime=1.23 cores=1,3,5,7
/proc/22104/task/22105/stat : 22105 (java) S 22102 22102 14983 0 -1 1077944384 11061 0 0 0 119 4 0 0 20 0 19 0 445012178 15790579712 116391 33554432000 4194304 4196468 140735783891376 140083865805952 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22106] ppid=22102 vsize=15420488 memory=454960 CPUtime=1.43 cores=1,3,5,7
/proc/22104/task/22106/stat : 22106 (java) S 22102 22102 14983 0 -1 1077944384 2357 0 0 0 135 8 0 0 20 0 19 0 445012179 15790579712 116391 33554432000 4194304 4196468 140735783891376 140083789606032 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22107] ppid=22102 vsize=15420488 memory=466076 CPUtime=1.43 cores=1,3,5,7
/proc/22104/task/22107/stat : 22107 (java) S 22102 22102 14983 0 -1 1077944384 3148 0 0 0 134 9 0 0 20 0 19 0 445012179 15790579712 116391 33554432000 4194304 4196468 140735783891376 140083788553232 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22108] ppid=22102 vsize=15420488 memory=465564 CPUtime=1.43 cores=1,3,5,7
/proc/22104/task/22108/stat : 22108 (java) S 22102 22102 14983 0 -1 1077944384 5215 0 0 0 133 10 0 0 20 0 19 0 445012179 15790579712 116391 33554432000 4194304 4196468 140735783891376 140083787500432 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22109] ppid=22102 vsize=15420488 memory=1448 CPUtime=1.43 cores=1,3,5,7
/proc/22104/task/22109/stat : 22109 (java) S 22102 22102 14983 0 -1 1077944384 2970 0 0 0 133 10 0 0 20 0 19 0 445012179 15790579712 116391 33554432000 4194304 4196468 140735783891376 140083786447632 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22110] ppid=22102 vsize=15420488 memory=1448 CPUtime=0.73 cores=1,3,5,7
/proc/22104/task/22110/stat : 22110 (java) S 22102 22102 14983 0 -1 1077944384 6917 0 0 0 67 6 0 0 20 0 19 0 445012181 15790579712 116391 33554432000 4194304 4196468 140735783891376 140082802714992 140083861576322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22111] ppid=22102 vsize=15420488 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22111/stat : 22111 (java) S 22102 22102 14983 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 445012181 15790579712 116391 33554432000 4194304 4196468 140735783891376 140082801661024 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22112] ppid=22102 vsize=15420488 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22112/stat : 22112 (java) S 22102 22102 14983 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 445012181 15790579712 116391 33554432000 4194304 4196468 140735783891376 140082800608128 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22113] ppid=22102 vsize=15420488 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22113/stat : 22113 (java) S 22102 22102 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445012184 15790579712 116391 33554432000 4194304 4196468 140735783891376 140082799556432 140083861583771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22114] ppid=22102 vsize=15420488 memory=1448 CPUtime=2.11 cores=1,3,5,7
/proc/22104/task/22114/stat : 22114 (java) S 22102 22102 14983 0 -1 1077944384 12947 0 0 0 210 1 0 0 20 0 19 0 445012184 15790579712 116391 33554432000 4194304 4196468 140735783891376 140082798504816 140083861576322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22115] ppid=22102 vsize=15420488 memory=454960 CPUtime=2.18 cores=1,3,5,7
/proc/22104/task/22115/stat : 22115 (java) S 22102 22102 14983 0 -1 1077944384 12231 0 0 0 217 1 0 0 20 0 19 0 445012184 15790579712 116391 33554432000 4194304 4196468 140735783891376 140082797452016 140083861576322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22116] ppid=22102 vsize=15420488 memory=1448 CPUtime=0.78 cores=1,3,5,7
/proc/22104/task/22116/stat : 22116 (java) S 22102 22102 14983 0 -1 1077944384 9673 0 0 0 77 1 0 0 20 0 19 0 445012184 15790579712 116391 33554432000 4194304 4196468 140735783891376 140082796399216 140083861576322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22117] ppid=22102 vsize=15420488 memory=454960 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22117/stat : 22117 (java) S 22102 22102 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445012184 15790579712 116391 33554432000 4194304 4196468 140735783891376 140082795346656 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22118] ppid=22102 vsize=15420488 memory=1448 CPUtime=0.11 cores=1,3,5,7
/proc/22104/task/22118/stat : 22118 (java) S 22102 22102 14983 0 -1 1077944384 832 0 0 0 0 11 0 0 20 0 19 0 445012184 15790579712 116391 33554432000 4194304 4196468 140735783891376 140082794293936 140083861576322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22131] ppid=22102 vsize=15420488 memory=1448 CPUtime=574.49 cores=1,3,5,7
/proc/22104/task/22131/stat : 22131 (java) R 22102 22102 14983 0 -1 4202560 1955 0 0 0 57448 1 0 0 20 0 19 0 445012341 15790579712 116391 33554432000 4194304 4196468 140735783891376 140082778767208 140083469736142 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22132] ppid=22102 vsize=15420488 memory=3504 CPUtime=573.96 cores=1,3,5,7
/proc/22104/task/22132/stat : 22132 (java) R 22102 22102 14983 0 -1 4202560 6128 0 0 0 57395 1 0 0 20 0 19 0 445012341 15790579712 116391 33554432000 4194304 4196468 140735783891376 140082785078544 140083847633300 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22133] ppid=22102 vsize=15420488 memory=1448 CPUtime=574.19 cores=1,3,5,7
/proc/22104/task/22133/stat : 22133 (java) R 22102 22102 14983 0 -1 4202560 1985 0 0 0 57419 0 0 0 20 0 19 0 445012341 15790579712 116391 33554432000 4194304 4196468 140735783891376 140082781917200 140083469736142 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22134] ppid=22102 vsize=15420488 memory=454960 CPUtime=573.97 cores=1,3,5,7
/proc/22104/task/22134/stat : 22134 (java) R 22102 22102 14983 0 -1 4202560 11040 0 0 0 57394 3 0 0 20 0 19 0 445012341 15790579712 116391 33554432000 4194304 4196468 140735783891376 140082782969864 140083469734922 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
Current children cumulated CPU time: 2310.35 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 467012 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+635.112 s]
/proc/loadavg: 8.30 8.33 8.39 9/240 22286
/proc/meminfo: memFree=29824196/32770624 swapFree=66997372/67108860
[pid=22102] ppid=22099 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22102/stat : 22102 (xcsp3-exec) S 22099 22102 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445012178 115843072 362 33554432000 4194304 5098028 140732595346336 140732595344440 140207036785276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38502400 140732595348347 140732595348589 140732595348589 140732595351498 0
/proc/22102/statm: 28282 362 304 221 0 87 0
[pid=22104] ppid=22102 vsize=15420488 memory=494284 CPUtime=2520.04 cores=1,3,5,7
/proc/22104/stat : 22104 (java) S 22102 22102 14983 0 -1 1077944320 98142 0 0 0 251943 61 0 0 20 0 19 0 445012178 15790579712 123571 33554432000 4194304 4196468 140735783891376 140735783873920 140083861565175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
/proc/22104/statm: 3855122 123571 3537 1 0 3816222 0
[pid=22104/tid=22105] ppid=22102 vsize=15420488 memory=494284 CPUtime=1.23 cores=1,3,5,7
/proc/22104/task/22105/stat : 22105 (java) S 22102 22102 14983 0 -1 1077944384 11061 0 0 0 119 4 0 0 20 0 19 0 445012178 15790579712 123571 33554432000 4194304 4196468 140735783891376 140083865805952 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22106] ppid=22102 vsize=15420488 memory=1448 CPUtime=1.63 cores=1,3,5,7
/proc/22104/task/22106/stat : 22106 (java) S 22102 22102 14983 0 -1 1077944384 2528 0 0 0 154 9 0 0 20 0 19 0 445012179 15790579712 123571 33554432000 4194304 4196468 140735783891376 140083789606032 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22107] ppid=22102 vsize=15420488 memory=1448 CPUtime=1.64 cores=1,3,5,7
/proc/22104/task/22107/stat : 22107 (java) S 22102 22102 14983 0 -1 1077944384 3265 0 0 0 154 10 0 0 20 0 19 0 445012179 15790579712 123571 33554432000 4194304 4196468 140735783891376 140083788553232 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22108] ppid=22102 vsize=15420488 memory=494284 CPUtime=1.63 cores=1,3,5,7
/proc/22104/task/22108/stat : 22108 (java) S 22102 22102 14983 0 -1 1077944384 5603 0 0 0 153 10 0 0 20 0 19 0 445012179 15790579712 123571 33554432000 4194304 4196468 140735783891376 140083787500432 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22109] ppid=22102 vsize=15420488 memory=164 CPUtime=1.64 cores=1,3,5,7
/proc/22104/task/22109/stat : 22109 (java) S 22102 22102 14983 0 -1 1077944384 3063 0 0 0 153 11 0 0 20 0 19 0 445012179 15790579712 123571 33554432000 4194304 4196468 140735783891376 140083786447632 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22110] ppid=22102 vsize=15420488 memory=494284 CPUtime=0.82 cores=1,3,5,7
/proc/22104/task/22110/stat : 22110 (java) S 22102 22102 14983 0 -1 1077944384 10432 0 0 0 74 8 0 0 20 0 19 0 445012181 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082802714992 140083861576322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22111] ppid=22102 vsize=15420488 memory=494284 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22111/stat : 22111 (java) S 22102 22102 14983 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 445012181 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082801661024 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22112] ppid=22102 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22112/stat : 22112 (java) S 22102 22102 14983 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 445012181 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082800608128 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22113] ppid=22102 vsize=15420488 memory=288292181620566842 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22113/stat : 22113 (java) S 22102 22102 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445012184 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082799556432 140083861583771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22114] ppid=22102 vsize=15420488 memory=1448 CPUtime=2.11 cores=1,3,5,7
/proc/22104/task/22114/stat : 22114 (java) S 22102 22102 14983 0 -1 1077944384 12949 0 0 0 210 1 0 0 20 0 19 0 445012184 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082798504816 140083861576322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22115] ppid=22102 vsize=15420488 memory=1448 CPUtime=2.18 cores=1,3,5,7
/proc/22104/task/22115/stat : 22115 (java) S 22102 22102 14983 0 -1 1077944384 12233 0 0 0 217 1 0 0 20 0 19 0 445012184 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082797452016 140083861576322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22116] ppid=22102 vsize=15420488 memory=493780 CPUtime=0.78 cores=1,3,5,7
/proc/22104/task/22116/stat : 22116 (java) S 22102 22102 14983 0 -1 1077944384 9675 0 0 0 77 1 0 0 20 0 19 0 445012184 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082796399216 140083861576322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22117] ppid=22102 vsize=15420488 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22117/stat : 22117 (java) S 22102 22102 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445012184 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082795346656 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22118] ppid=22102 vsize=15420488 memory=492244 CPUtime=0.12 cores=1,3,5,7
/proc/22104/task/22118/stat : 22118 (java) S 22102 22102 14983 0 -1 1077944384 845 0 0 0 0 12 0 0 20 0 19 0 445012184 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082794293936 140083861576322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22131] ppid=22102 vsize=15420488 memory=1448 CPUtime=626.68 cores=1,3,5,7
/proc/22104/task/22131/stat : 22131 (java) R 22102 22102 14983 0 -1 4202560 2197 0 0 0 62667 1 0 0 20 0 19 0 445012341 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082778767208 140083469734854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22132] ppid=22102 vsize=15420488 memory=1448 CPUtime=626.16 cores=1,3,5,7
/proc/22104/task/22132/stat : 22132 (java) R 22102 22102 14983 0 -1 4202560 8617 0 0 0 62614 2 0 0 20 0 19 0 445012341 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082785075488 140083470688126 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22133] ppid=22102 vsize=15420488 memory=494284 CPUtime=626.53 cores=1,3,5,7
/proc/22104/task/22133/stat : 22133 (java) R 22102 22102 14983 0 -1 4202560 2246 0 0 0 62652 1 0 0 20 0 19 0 445012341 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082781917840 140083469358811 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22134] ppid=22102 vsize=15420488 memory=1448 CPUtime=626.01 cores=1,3,5,7
/proc/22104/task/22134/stat : 22134 (java) R 22102 22102 14983 0 -1 4202560 11661 0 0 0 62598 3 0 0 20 0 19 0 445012341 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082782972832 140083470986876 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 495732 KiB

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

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

[startup+635.22 s]
# the end of solver process 22104 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.84 s, system=0.622862 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+635.112 s]
/proc/loadavg: 8.30 8.33 8.39 9/240 22286
/proc/meminfo: memFree=29824196/32770624 swapFree=66997372/67108860
[pid=22102] ppid=22099 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22102/stat : 22102 (xcsp3-exec) S 22099 22102 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445012178 115843072 362 33554432000 4194304 5098028 140732595346336 140732595344440 140207036785276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38502400 140732595348347 140732595348589 140732595348589 140732595351498 0
/proc/22102/statm: 28282 362 304 221 0 87 0
[pid=22104] ppid=22102 vsize=15420488 memory=494284 CPUtime=2520.04 cores=1,3,5,7
/proc/22104/stat : 22104 (java) S 22102 22102 14983 0 -1 1077944320 98142 0 0 0 251943 61 0 0 20 0 19 0 445012178 15790579712 123571 33554432000 4194304 4196468 140735783891376 140735783873920 140083861565175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
/proc/22104/statm: 3855122 123571 3537 1 0 3816222 0
[pid=22104/tid=22105] ppid=22102 vsize=15420488 memory=494284 CPUtime=1.23 cores=1,3,5,7
/proc/22104/task/22105/stat : 22105 (java) S 22102 22102 14983 0 -1 1077944384 11061 0 0 0 119 4 0 0 20 0 19 0 445012178 15790579712 123571 33554432000 4194304 4196468 140735783891376 140083865805952 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22106] ppid=22102 vsize=15420488 memory=1448 CPUtime=1.63 cores=1,3,5,7
/proc/22104/task/22106/stat : 22106 (java) S 22102 22102 14983 0 -1 1077944384 2528 0 0 0 154 9 0 0 20 0 19 0 445012179 15790579712 123571 33554432000 4194304 4196468 140735783891376 140083789606032 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22107] ppid=22102 vsize=15420488 memory=1448 CPUtime=1.64 cores=1,3,5,7
/proc/22104/task/22107/stat : 22107 (java) S 22102 22102 14983 0 -1 1077944384 3265 0 0 0 154 10 0 0 20 0 19 0 445012179 15790579712 123571 33554432000 4194304 4196468 140735783891376 140083788553232 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22108] ppid=22102 vsize=15420488 memory=494284 CPUtime=1.63 cores=1,3,5,7
/proc/22104/task/22108/stat : 22108 (java) S 22102 22102 14983 0 -1 1077944384 5603 0 0 0 153 10 0 0 20 0 19 0 445012179 15790579712 123571 33554432000 4194304 4196468 140735783891376 140083787500432 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22109] ppid=22102 vsize=15420488 memory=164 CPUtime=1.64 cores=1,3,5,7
/proc/22104/task/22109/stat : 22109 (java) S 22102 22102 14983 0 -1 1077944384 3063 0 0 0 153 11 0 0 20 0 19 0 445012179 15790579712 123571 33554432000 4194304 4196468 140735783891376 140083786447632 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22110] ppid=22102 vsize=15420488 memory=494284 CPUtime=0.82 cores=1,3,5,7
/proc/22104/task/22110/stat : 22110 (java) S 22102 22102 14983 0 -1 1077944384 10432 0 0 0 74 8 0 0 20 0 19 0 445012181 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082802714992 140083861576322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22111] ppid=22102 vsize=15420488 memory=494284 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22111/stat : 22111 (java) S 22102 22102 14983 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 445012181 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082801661024 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22112] ppid=22102 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22112/stat : 22112 (java) S 22102 22102 14983 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 445012181 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082800608128 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22113] ppid=22102 vsize=15420488 memory=288292181620566842 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22113/stat : 22113 (java) S 22102 22102 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445012184 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082799556432 140083861583771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22114] ppid=22102 vsize=15420488 memory=1448 CPUtime=2.11 cores=1,3,5,7
/proc/22104/task/22114/stat : 22114 (java) S 22102 22102 14983 0 -1 1077944384 12949 0 0 0 210 1 0 0 20 0 19 0 445012184 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082798504816 140083861576322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22115] ppid=22102 vsize=15420488 memory=1448 CPUtime=2.18 cores=1,3,5,7
/proc/22104/task/22115/stat : 22115 (java) S 22102 22102 14983 0 -1 1077944384 12233 0 0 0 217 1 0 0 20 0 19 0 445012184 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082797452016 140083861576322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22116] ppid=22102 vsize=15420488 memory=493780 CPUtime=0.78 cores=1,3,5,7
/proc/22104/task/22116/stat : 22116 (java) S 22102 22102 14983 0 -1 1077944384 9675 0 0 0 77 1 0 0 20 0 19 0 445012184 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082796399216 140083861576322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22117] ppid=22102 vsize=15420488 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22104/task/22117/stat : 22117 (java) S 22102 22102 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445012184 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082795346656 140083861575381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22118] ppid=22102 vsize=15420488 memory=492244 CPUtime=0.12 cores=1,3,5,7
/proc/22104/task/22118/stat : 22118 (java) S 22102 22102 14983 0 -1 1077944384 845 0 0 0 0 12 0 0 20 0 19 0 445012184 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082794293936 140083861576322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22131] ppid=22102 vsize=15420488 memory=1448 CPUtime=626.68 cores=1,3,5,7
/proc/22104/task/22131/stat : 22131 (java) R 22102 22102 14983 0 -1 4202560 2197 0 0 0 62667 1 0 0 20 0 19 0 445012341 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082778767208 140083469734854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22132] ppid=22102 vsize=15420488 memory=1448 CPUtime=626.16 cores=1,3,5,7
/proc/22104/task/22132/stat : 22132 (java) R 22102 22102 14983 0 -1 4202560 8617 0 0 0 62614 2 0 0 20 0 19 0 445012341 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082785075488 140083470688126 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22133] ppid=22102 vsize=15420488 memory=494284 CPUtime=626.53 cores=1,3,5,7
/proc/22104/task/22133/stat : 22133 (java) R 22102 22102 14983 0 -1 4202560 2246 0 0 0 62652 1 0 0 20 0 19 0 445012341 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082781917840 140083469358811 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
[pid=22104/tid=22134] ppid=22102 vsize=15420488 memory=1448 CPUtime=626.01 cores=1,3,5,7
/proc/22104/task/22134/stat : 22134 (java) R 22102 22102 14983 0 -1 4202560 11661 0 0 0 62598 3 0 0 20 0 19 0 445012341 15790579712 123571 33554432000 4194304 4196468 140735783891376 140082782972832 140083470986876 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15691776 140735783900143 140735783900314 140735783900314 140735783903183 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 495732 KiB

Child status: 143
Real time (s): 635.22
CPU time (s): 2520.46
CPU user time (s): 2519.84
CPU system time (s): 0.622862
CPU usage (%): 396.785
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 605808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.84
system time used= 0.622862
maximum resident set size= 642668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99105
page faults= 0
swaps= 0
block input operations= 0
block output operations= 840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46872
involuntary context switches= 47903


# summary of solver processes directly reported to runsolver:
#   pid: 22102,22104
#   total CPU time (s): 2520.46
#   total CPU user time (s): 2519.84
#   total CPU system time (s): 0.622862

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.8928 second user time and 7.24731 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-homer.xml
MD5SUM	4034cc1c4ef788f4220b0fc076e8c883
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	12
Best CPU time to get the best result obtained on this benchmark	28.0774
Satisfiable
(Un)Satisfiability was proved
Number of variables	561
Number of constraints	1628
Number of domains	1
Minimum domain size	561
Maximum domain size	561
Distribution of domain sizes	[{"size":561,"count":561}]
Minimum variable degree	1
Maximum variable degree	100
Distribution of variable degrees	[{"degree":1,"count":5},{"degree":2,"count":208},{"degree":3,"count":104},{"degree":4,"count":48},{"degree":5,"count":28},{"degree":6,"count":18},{"degree":7,"count":15},{"degree":8,"count":19},{"degree":9,"count":15},{"degree":10,"count":12},{"degree":11,"count":8},{"degree":12,"count":5},{"degree":13,"count":11},{"degree":14,"count":7},{"degree":15,"count":11},{"degree":16,"count":3},{"degree":17,"count":3},{"degree":18,"count":4},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":3},{"degree":22,"count":3},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":2},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":36,"count":1},{"degree":37,"count":1},{"degree":38,"count":1},{"degree":39,"count":1},{"degree":40,"count":2},{"degree":41,"count":1},{"degree":43,"count":2},{"degree":46,"count":1},{"degree":51,"count":1},{"degree":53,"count":1},{"degree":55,"count":1},{"degree":56,"count":1},{"degree":57,"count":1},{"degree":62,"count":1},{"degree":66,"count":1},{"degree":78,"count":1},{"degree":100,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":1628}]
Number of extensional constraints	0
Number of intensional constraints	1628
Distribution of constraint types	[{"type":"intension","count":1628}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4399201

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
