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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-09)	SAT (TO)	40	246.70399	240.026
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 (15064 MiB free)
  memory of node 1: 16384 MiB (15647 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270108-1502620615/watcher-4270108-1502620615 -o /tmp/evaluation-result-4270108-1502620615/solver-4270108-1502620615 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502619510-21066 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1465906982 HOME/instance-4270108-1502620615.xml 

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

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

solver pid=21449, runsolver pid=21446

[startup+0.101117 s]*
/proc/loadavg: 2.02 1.52 1.62 3/203 21456
/proc/meminfo: memFree=31443552/32770624 swapFree=67108860/67108860
[pid=21449] ppid=21446 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21449/stat : 21449 (xcsp3-exec) S 21446 21449 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50402163 9740288 345 18446744073709551615 4194304 5098028 140734697575872 140734697573976 140045977076348 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 10043392 140734697578878 140734697579082 140734697579082 140734697582571 0
/proc/21449/statm: 2378 345 289 221 0 87 0
[pid=21451] ppid=21449 vsize=13358712 memory=16412 CPUtime=0.01 cores=1,3,5,7
/proc/21451/stat : 21451 (java) S 21449 21449 11586 0 -1 1077944320 3350 0 0 0 1 0 0 0 20 0 6 0 50402172 13679321088 4103 18446744073709551615 4194304 4196468 140730973936960 140730973919504 139848539545335 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
/proc/21451/statm: 3339678 4103 1904 1 0 3329175 0
[pid=21451/tid=21452] ppid=21449 vsize=13358712 memory=-8713483618642852700 CPUtime=0.01 cores=1,3,5,7
/proc/21451/task/21452/stat : 21452 (java) R 21449 21449 11586 0 -1 4202560 2128 0 0 0 1 0 0 0 20 0 6 0 50402172 13679321088 4103 18446744073709551615 4194304 4196468 140730973936960 139848543781456 139848524668272 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21453] ppid=21449 vsize=13358712 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21453/stat : 21453 (java) S 21449 21449 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 50402173 13679321088 4103 18446744073709551615 4194304 4196468 140730973936960 139848500443920 139848539555541 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21454] ppid=21449 vsize=13358712 memory=140500001687168 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21454/stat : 21454 (java) S 21449 21449 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 50402173 13679321088 4103 18446744073709551615 4194304 4196468 140730973936960 139848499391376 139848539555541 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21455] ppid=21449 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21455/stat : 21455 (java) S 21449 21449 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 50402173 13679321088 4103 18446744073709551615 4194304 4196468 140730973936960 139848498338832 139848539555541 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21456] ppid=21449 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21456/stat : 21456 (java) S 21449 21449 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 50402173 13679321088 4103 18446744073709551615 4194304 4196468 140730973936960 139848136977552 139848539555541 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 17792 KiB

[startup+0.209901 s]*
/proc/loadavg: 2.02 1.52 1.62 3/212 21465
/proc/meminfo: memFree=31433132/32770624 swapFree=67108860/67108860
[pid=21449] ppid=21446 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21449/stat : 21449 (xcsp3-exec) S 21446 21449 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50402163 9740288 345 18446744073709551615 4194304 5098028 140734697575872 140734697573976 140045977076348 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 10043392 140734697578878 140734697579082 140734697579082 140734697582571 0
/proc/21449/statm: 2378 345 289 221 0 87 0
[pid=21451] ppid=21449 vsize=13974352 memory=26680 CPUtime=0.1 cores=1,3,5,7
/proc/21451/stat : 21451 (java) S 21449 21449 11586 0 -1 1077944320 5088 0 0 0 9 1 0 0 20 0 15 0 50402172 14309736448 6670 18446744073709551615 4194304 4196468 140730973936960 140730973919504 139848539545335 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
/proc/21451/statm: 3493588 6670 2755 1 0 3482964 0
[pid=21451/tid=21452] ppid=21449 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=1,3,5,7
/proc/21451/task/21452/stat : 21452 (java) R 21449 21449 11586 0 -1 4202560 3238 0 0 0 7 0 0 0 20 0 15 0 50402172 14309736448 6670 18446744073709551615 4194304 4196468 140730973936960 139848543743424 139848523625822 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21453] ppid=21449 vsize=13974352 memory=1358 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21453/stat : 21453 (java) S 21449 21449 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50402173 14309736448 6670 18446744073709551615 4194304 4196468 140730973936960 139848500443920 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21454] ppid=21449 vsize=13974352 memory=3472756868306503328 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21454/stat : 21454 (java) S 21449 21449 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50402173 14309736448 6670 18446744073709551615 4194304 4196468 140730973936960 139848499391376 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21455] ppid=21449 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21455/stat : 21455 (java) S 21449 21449 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50402173 14309736448 6670 18446744073709551615 4194304 4196468 140730973936960 139848498338832 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21456] ppid=21449 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21456/stat : 21456 (java) S 21449 21449 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50402173 14309736448 6670 18446744073709551615 4194304 4196468 140730973936960 139848136977552 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21457] ppid=21449 vsize=13974352 memory=140500001687168 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21457/stat : 21457 (java) S 21449 21449 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50402175 14309736448 6670 18446744073709551615 4194304 4196468 140730973936960 139848017991664 139848539556482 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21458] ppid=21449 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21458/stat : 21458 (java) S 21449 21449 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50402175 14309736448 6670 18446744073709551615 4194304 4196468 140730973936960 139848016937888 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21459] ppid=21449 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21459/stat : 21459 (java) S 21449 21449 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50402175 14309736448 6670 18446744073709551615 4194304 4196468 140730973936960 139848015885296 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21460] ppid=21449 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21460/stat : 21460 (java) S 21449 21449 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50402178 14309736448 6670 18446744073709551615 4194304 4196468 140730973936960 139848014833872 139848539563931 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21461] ppid=21449 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21461/stat : 21461 (java) S 21449 21449 11586 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 50402178 14309736448 6670 18446744073709551615 4194304 4196468 140730973936960 139848013781488 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21462] ppid=21449 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21462/stat : 21462 (java) S 21449 21449 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50402178 14309736448 6670 18446744073709551615 4194304 4196468 140730973936960 139848012728944 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21463] ppid=21449 vsize=13974352 memory=140500001687168 CPUtime=0.01 cores=1,3,5,7
/proc/21451/task/21463/stat : 21463 (java) S 21449 21449 11586 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 15 0 50402178 14309736448 6670 18446744073709551615 4194304 4196468 140730973936960 139848011676400 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21464] ppid=21449 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21464/stat : 21464 (java) S 21449 21449 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50402178 14309736448 6670 18446744073709551615 4194304 4196468 140730973936960 139848010624096 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21465] ppid=21449 vsize=13974352 memory=140500001687168 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21465/stat : 21465 (java) S 21449 21449 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50402182 14309736448 6670 18446744073709551615 4194304 4196468 140730973936960 139848009570608 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28060 KiB

[startup+0.310208 s]*
/proc/loadavg: 2.02 1.52 1.62 5/212 21465
/proc/meminfo: memFree=31421196/32770624 swapFree=67108860/67108860
[pid=21449] ppid=21446 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21449/stat : 21449 (xcsp3-exec) S 21446 21449 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50402163 9740288 345 18446744073709551615 4194304 5098028 140734697575872 140734697573976 140045977076348 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 10043392 140734697578878 140734697579082 140734697579082 140734697582571 0
/proc/21449/statm: 2378 345 289 221 0 87 0
[pid=21451] ppid=21449 vsize=13974352 memory=37072 CPUtime=0.28 cores=1,3,5,7
/proc/21451/stat : 21451 (java) S 21449 21449 11586 0 -1 1077944320 8809 0 0 0 26 2 0 0 20 0 15 0 50402172 14309736448 9268 18446744073709551615 4194304 4196468 140730973936960 140730973919504 139848539545335 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
/proc/21451/statm: 3493588 9268 2983 1 0 3482964 0
[pid=21451/tid=21452] ppid=21449 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/21451/task/21452/stat : 21452 (java) R 21449 21449 11586 0 -1 4202560 6073 0 0 0 16 1 0 0 20 0 15 0 50402172 14309736448 9268 18446744073709551615 4194304 4196468 140730973936960 139848543779264 139848539567261 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21453] ppid=21449 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21453/stat : 21453 (java) S 21449 21449 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50402173 14309736448 9268 18446744073709551615 4194304 4196468 140730973936960 139848500443920 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21454] ppid=21449 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21454/stat : 21454 (java) S 21449 21449 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50402173 14309736448 9268 18446744073709551615 4194304 4196468 140730973936960 139848499391376 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21455] ppid=21449 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21455/stat : 21455 (java) S 21449 21449 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50402173 14309736448 9268 18446744073709551615 4194304 4196468 140730973936960 139848498338832 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21456] ppid=21449 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21456/stat : 21456 (java) S 21449 21449 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50402173 14309736448 9268 18446744073709551615 4194304 4196468 140730973936960 139848136977552 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21457] ppid=21449 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21457/stat : 21457 (java) S 21449 21449 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50402175 14309736448 9268 18446744073709551615 4194304 4196468 140730973936960 139848017991664 139848539556482 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21458] ppid=21449 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21458/stat : 21458 (java) S 21449 21449 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50402175 14309736448 9268 18446744073709551615 4194304 4196468 140730973936960 139848016937888 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21459] ppid=21449 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21459/stat : 21459 (java) S 21449 21449 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50402175 14309736448 9268 18446744073709551615 4194304 4196468 140730973936960 139848015885296 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21460] ppid=21449 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21460/stat : 21460 (java) S 21449 21449 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50402178 14309736448 9268 18446744073709551615 4194304 4196468 140730973936960 139848014833872 139848539563931 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21461] ppid=21449 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21451/task/21461/stat : 21461 (java) S 21449 21449 11586 0 -1 1077944384 597 0 0 0 2 0 0 0 20 0 15 0 50402178 14309736448 9268 18446744073709551615 4194304 4196468 140730973936960 139848013781488 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21462] ppid=21449 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/21451/task/21462/stat : 21462 (java) R 21449 21449 11586 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 15 0 50402178 14309736448 9268 18446744073709551615 4194304 4196468 140730973936960 139848012729040 139848539555541 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21463] ppid=21449 vsize=13974352 memory=140500001687168 CPUtime=0.06 cores=1,3,5,7
/proc/21451/task/21463/stat : 21463 (java) S 21449 21449 11586 0 -1 1077944384 737 0 0 0 6 0 0 0 20 0 15 0 50402178 14309736448 9268 18446744073709551615 4194304 4196468 140730973936960 139848011676400 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21464] ppid=21449 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21464/stat : 21464 (java) S 21449 21449 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50402178 14309736448 9268 18446744073709551615 4194304 4196468 140730973936960 139848010624096 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21465] ppid=21449 vsize=13974352 memory=140500001687168 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21465/stat : 21465 (java) S 21449 21449 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50402182 14309736448 9268 18446744073709551615 4194304 4196468 140730973936960 139848009570608 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38452 KiB

[startup+0.701851 s]
/proc/loadavg: 2.02 1.52 1.62 5/212 21465
/proc/meminfo: memFree=31401932/32770624 swapFree=67108860/67108860
[pid=21449] ppid=21446 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21449/stat : 21449 (xcsp3-exec) S 21446 21449 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50402163 9740288 345 18446744073709551615 4194304 5098028 140734697575872 140734697573976 140045977076348 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 10043392 140734697578878 140734697579082 140734697579082 140734697582571 0
/proc/21449/statm: 2378 345 289 221 0 87 0
[pid=21451] ppid=21449 vsize=13978684 memory=81424 CPUtime=1.31 cores=1,3,5,7
/proc/21451/stat : 21451 (java) S 21449 21449 11586 0 -1 1077944320 12962 0 0 0 127 4 0 0 20 0 15 0 50402172 14314172416 20356 18446744073709551615 4194304 4196468 140730973936960 140730973919504 139848539545335 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
/proc/21451/statm: 3494671 20356 3158 1 0 3482964 0
[pid=21451/tid=21452] ppid=21449 vsize=13978684 memory=280999711875544 CPUtime=0.55 cores=1,3,5,7
/proc/21451/task/21452/stat : 21452 (java) R 21449 21449 11586 0 -1 4202560 7797 0 0 0 52 3 0 0 20 0 15 0 50402172 14314172416 20356 18446744073709551615 4194304 4196468 140730973936960 139848543781504 139848179529886 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21453] ppid=21449 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21453/stat : 21453 (java) S 21449 21449 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50402173 14314172416 20356 18446744073709551615 4194304 4196468 140730973936960 139848500443920 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21454] ppid=21449 vsize=13978684 memory=280999711991680 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21454/stat : 21454 (java) S 21449 21449 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50402173 14314172416 20356 18446744073709551615 4194304 4196468 140730973936960 139848499391376 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21455] ppid=21449 vsize=13978684 memory=327 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21455/stat : 21455 (java) S 21449 21449 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50402173 14314172416 20356 18446744073709551615 4194304 4196468 140730973936960 139848498338832 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21456] ppid=21449 vsize=13978684 memory=33 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21456/stat : 21456 (java) S 21449 21449 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50402173 14314172416 20356 18446744073709551615 4194304 4196468 140730973936960 139848136977552 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21457] ppid=21449 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21457/stat : 21457 (java) S 21449 21449 11586 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 50402175 14314172416 20356 18446744073709551615 4194304 4196468 140730973936960 139848017991664 139848539556482 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21458] ppid=21449 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21458/stat : 21458 (java) S 21449 21449 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50402175 14314172416 20356 18446744073709551615 4194304 4196468 140730973936960 139848016937888 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21459] ppid=21449 vsize=13978684 memory=3472464397228768538 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21459/stat : 21459 (java) S 21449 21449 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50402175 14314172416 20356 18446744073709551615 4194304 4196468 140730973936960 139848015885296 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21460] ppid=21449 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21460/stat : 21460 (java) S 21449 21449 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50402178 14314172416 20356 18446744073709551615 4194304 4196468 140730973936960 139848014833872 139848539563931 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21461] ppid=21449 vsize=13978684 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/21451/task/21461/stat : 21461 (java) S 21449 21449 11586 0 -1 1077944384 1200 0 0 0 23 0 0 0 20 0 15 0 50402178 14314172416 20356 18446744073709551615 4194304 4196468 140730973936960 139848013781488 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21462] ppid=21449 vsize=13978684 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/21451/task/21462/stat : 21462 (java) S 21449 21449 11586 0 -1 1077944384 1123 0 0 0 24 0 0 0 20 0 15 0 50402178 14314172416 20356 18446744073709551615 4194304 4196468 140730973936960 139848012728944 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21463] ppid=21449 vsize=13978684 memory=1644 CPUtime=0.26 cores=1,3,5,7
/proc/21451/task/21463/stat : 21463 (java) R 21449 21449 11586 0 -1 4202560 1535 0 0 0 26 0 0 0 20 0 15 0 50402178 14314172416 20356 18446744073709551615 4194304 4196468 140730973936960 139848011673336 139848518506288 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21464] ppid=21449 vsize=13978684 memory=178 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21464/stat : 21464 (java) S 21449 21449 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50402178 14314172416 20356 18446744073709551615 4194304 4196468 140730973936960 139848010624096 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21465] ppid=21449 vsize=13978684 memory=17 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21465/stat : 21465 (java) S 21449 21449 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50402182 14314172416 20356 18446744073709551615 4194304 4196468 140730973936960 139848009570608 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 82804 KiB

[startup+1.5009 s]
/proc/loadavg: 2.02 1.52 1.62 5/212 21465
/proc/meminfo: memFree=31262240/32770624 swapFree=67108860/67108860
[pid=21449] ppid=21446 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21449/stat : 21449 (xcsp3-exec) S 21446 21449 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50402163 9740288 345 18446744073709551615 4194304 5098028 140734697575872 140734697573976 140045977076348 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 10043392 140734697578878 140734697579082 140734697579082 140734697582571 0
/proc/21449/statm: 2378 345 289 221 0 87 0
[pid=21451] ppid=21449 vsize=13980732 memory=233896 CPUtime=3.94 cores=1,3,5,7
/proc/21451/stat : 21451 (java) S 21449 21449 11586 0 -1 1077944320 16366 0 0 0 383 11 0 0 20 0 15 0 50402172 14316269568 58474 18446744073709551615 4194304 4196468 140730973936960 140730973919504 139848539545335 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
/proc/21451/statm: 3495183 58474 3216 1 0 3483476 0
[pid=21451/tid=21452] ppid=21449 vsize=13980732 memory=55 CPUtime=1.29 cores=1,3,5,7
/proc/21451/task/21452/stat : 21452 (java) R 21449 21449 11586 0 -1 4202560 8418 0 0 0 124 5 0 0 20 0 15 0 50402172 14316269568 58474 18446744073709551615 4194304 4196468 140730973936960 139848543780936 139848184235548 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21453] ppid=21449 vsize=13980732 memory=1380 CPUtime=0.02 cores=1,3,5,7
/proc/21451/task/21453/stat : 21453 (java) S 21449 21449 11586 0 -1 1077944384 46 0 0 0 2 0 0 0 20 0 15 0 50402173 14316269568 58474 18446744073709551615 4194304 4196468 140730973936960 139848500443920 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21454] ppid=21449 vsize=13980732 memory=203744 CPUtime=0.03 cores=1,3,5,7
/proc/21451/task/21454/stat : 21454 (java) S 21449 21449 11586 0 -1 1077944384 78 0 0 0 2 1 0 0 20 0 15 0 50402173 14316269568 58474 18446744073709551615 4194304 4196468 140730973936960 139848499391376 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21455] ppid=21449 vsize=13980732 memory=178 CPUtime=0.02 cores=1,3,5,7
/proc/21451/task/21455/stat : 21455 (java) S 21449 21449 11586 0 -1 1077944384 90 0 0 0 2 0 0 0 20 0 15 0 50402173 14316269568 58474 18446744073709551615 4194304 4196468 140730973936960 139848498338832 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21456] ppid=21449 vsize=13980732 memory=17 CPUtime=0.04 cores=1,3,5,7
/proc/21451/task/21456/stat : 21456 (java) S 21449 21449 11586 0 -1 1077944384 110 0 0 0 3 1 0 0 20 0 15 0 50402173 14316269568 58474 18446744073709551615 4194304 4196468 140730973936960 139848136977552 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21457] ppid=21449 vsize=13980732 memory=280999711791648 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21457/stat : 21457 (java) S 21449 21449 11586 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 50402175 14316269568 58474 18446744073709551615 4194304 4196468 140730973936960 139848017991664 139848539556482 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21458] ppid=21449 vsize=13980732 memory=734122130331934768 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21458/stat : 21458 (java) S 21449 21449 11586 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 50402175 14316269568 58474 18446744073709551615 4194304 4196468 140730973936960 139848016937952 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21459] ppid=21449 vsize=13980732 memory=3467824627880452160 CPUtime=0 cores=1,3,5,7

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

/proc/21451/task/21459/stat : 21459 (java) S 21449 21449 11586 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 50402175 14316269568 297243 18446744073709551615 4194304 4196468 140730973936960 139848015885312 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21460] ppid=21449 vsize=13980732 memory=140499855900599 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21460/stat : 21460 (java) S 21449 21449 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50402178 14316269568 297243 18446744073709551615 4194304 4196468 140730973936960 139848014833872 139848539563931 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21461] ppid=21449 vsize=13980732 memory=796 CPUtime=2.62 cores=1,3,5,7
/proc/21451/task/21461/stat : 21461 (java) S 21449 21449 11586 0 -1 1077944384 10411 0 0 0 260 2 0 0 20 0 15 0 50402178 14316269568 297243 18446744073709551615 4194304 4196468 140730973936960 139848013781488 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21462] ppid=21449 vsize=13980732 memory=9992 CPUtime=2.72 cores=1,3,5,7
/proc/21451/task/21462/stat : 21462 (java) S 21449 21449 11586 0 -1 1077944384 9403 0 0 0 271 1 0 0 20 0 15 0 50402178 14316269568 297243 18446744073709551615 4194304 4196468 140730973936960 139848012728944 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21463] ppid=21449 vsize=13980732 memory=1716 CPUtime=0.73 cores=1,3,5,7
/proc/21451/task/21463/stat : 21463 (java) S 21449 21449 11586 0 -1 1077944384 6378 0 0 0 72 1 0 0 20 0 15 0 50402178 14316269568 297243 18446744073709551615 4194304 4196468 140730973936960 139848011676400 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21464] ppid=21449 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21464/stat : 21464 (java) S 21449 21449 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50402178 14316269568 297243 18446744073709551615 4194304 4196468 140730973936960 139848010624096 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21465] ppid=21449 vsize=13980732 memory=836 CPUtime=0.03 cores=1,3,5,7
/proc/21451/task/21465/stat : 21465 (java) S 21449 21449 11586 0 -1 1077944384 522 0 0 0 1 2 0 0 20 0 15 0 50402182 14316269568 297243 18446744073709551615 4194304 4196468 140730973936960 139848009570608 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
Current children cumulated CPU time: 108.79 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1190352 KiB

[startup+162.301 s]
/proc/loadavg: 1.62 1.57 1.63 3/211 21471
/proc/meminfo: memFree=29839792/32770624 swapFree=67108860/67108860
[pid=21449] ppid=21446 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21449/stat : 21449 (xcsp3-exec) S 21446 21449 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50402163 9740288 345 18446744073709551615 4194304 5098028 140734697575872 140734697573976 140045977076348 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 10043392 140734697578878 140734697579082 140734697579082 140734697582571 0
/proc/21449/statm: 2378 345 289 221 0 87 0
[pid=21451] ppid=21449 vsize=13980732 memory=1190396 CPUtime=168.91 cores=1,3,5,7
/proc/21451/stat : 21451 (java) S 21449 21449 11586 0 -1 1077944320 57205 0 0 0 16844 47 0 0 20 0 15 0 50402172 14316269568 297599 18446744073709551615 4194304 4196468 140730973936960 140730973919504 139848539545335 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
/proc/21451/statm: 3495183 297599 3251 1 0 3483476 0
[pid=21451/tid=21452] ppid=21449 vsize=13980732 memory=1190396 CPUtime=161.92 cores=1,3,5,7
/proc/21451/task/21452/stat : 21452 (java) R 21449 21449 11586 0 -1 4202560 18143 0 0 0 16174 18 0 0 20 0 15 0 50402172 14316269568 297599 18446744073709551615 4194304 4196468 140730973936960 139848543784800 139848185330219 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21453] ppid=21449 vsize=13980732 memory=1194068 CPUtime=0.17 cores=1,3,5,7
/proc/21451/task/21453/stat : 21453 (java) S 21449 21449 11586 0 -1 1077944384 407 0 0 0 12 5 0 0 20 0 15 0 50402173 14316269568 297599 18446744073709551615 4194304 4196468 140730973936960 139848500443920 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21454] ppid=21449 vsize=13980732 memory=1194068 CPUtime=0.17 cores=1,3,5,7
/proc/21451/task/21454/stat : 21454 (java) S 21449 21449 11586 0 -1 1077944384 506 0 0 0 12 5 0 0 20 0 15 0 50402173 14316269568 297599 18446744073709551615 4194304 4196468 140730973936960 139848499391376 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21455] ppid=21449 vsize=13980732 memory=1190396 CPUtime=0.17 cores=1,3,5,7
/proc/21451/task/21455/stat : 21455 (java) S 21449 21449 11586 0 -1 1077944384 2797 0 0 0 12 5 0 0 20 0 15 0 50402173 14316269568 297599 18446744073709551615 4194304 4196468 140730973936960 139848498338832 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21456] ppid=21449 vsize=13980732 memory=1380 CPUtime=0.17 cores=1,3,5,7
/proc/21451/task/21456/stat : 21456 (java) S 21449 21449 11586 0 -1 1077944384 2407 0 0 0 12 5 0 0 20 0 15 0 50402173 14316269568 297599 18446744073709551615 4194304 4196468 140730973936960 139848136977552 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21457] ppid=21449 vsize=13980732 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21451/task/21457/stat : 21457 (java) S 21449 21449 11586 0 -1 1077944384 2211 0 0 0 2 0 0 0 20 0 15 0 50402175 14316269568 297599 18446744073709551615 4194304 4196468 140730973936960 139848017991664 139848539556482 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21458] ppid=21449 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21458/stat : 21458 (java) S 21449 21449 11586 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 50402175 14316269568 297599 18446744073709551615 4194304 4196468 140730973936960 139848016937952 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21459] ppid=21449 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21459/stat : 21459 (java) S 21449 21449 11586 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 50402175 14316269568 297599 18446744073709551615 4194304 4196468 140730973936960 139848015885312 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21460] ppid=21449 vsize=13980732 memory=836 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21460/stat : 21460 (java) S 21449 21449 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50402178 14316269568 297599 18446744073709551615 4194304 4196468 140730973936960 139848014833872 139848539563931 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21461] ppid=21449 vsize=13980732 memory=3908 CPUtime=2.66 cores=1,3,5,7
/proc/21451/task/21461/stat : 21461 (java) S 21449 21449 11586 0 -1 1077944384 11058 0 0 0 264 2 0 0 20 0 15 0 50402178 14316269568 297599 18446744073709551615 4194304 4196468 140730973936960 139848013781488 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21462] ppid=21449 vsize=13980732 memory=1996 CPUtime=2.76 cores=1,3,5,7
/proc/21451/task/21462/stat : 21462 (java) S 21449 21449 11586 0 -1 1077944384 10475 0 0 0 275 1 0 0 20 0 15 0 50402178 14316269568 297599 18446744073709551615 4194304 4196468 140730973936960 139848012728944 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21463] ppid=21449 vsize=13980732 memory=796 CPUtime=0.75 cores=1,3,5,7
/proc/21451/task/21463/stat : 21463 (java) S 21449 21449 11586 0 -1 1077944384 7342 0 0 0 74 1 0 0 20 0 15 0 50402178 14316269568 297599 18446744073709551615 4194304 4196468 140730973936960 139848011676400 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21464] ppid=21449 vsize=13980732 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21464/stat : 21464 (java) S 21449 21449 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50402178 14316269568 297599 18446744073709551615 4194304 4196468 140730973936960 139848010624096 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21465] ppid=21449 vsize=13980732 memory=1008 CPUtime=0.05 cores=1,3,5,7
/proc/21451/task/21465/stat : 21465 (java) S 21449 21449 11586 0 -1 1077944384 529 0 0 0 3 2 0 0 20 0 15 0 50402182 14316269568 297599 18446744073709551615 4194304 4196468 140730973936960 139848009570608 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
Current children cumulated CPU time: 168.91 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1191776 KiB

[startup+222.301 s]
/proc/loadavg: 1.56 1.56 1.62 3/211 21473
/proc/meminfo: memFree=29867004/32770624 swapFree=67108860/67108860
[pid=21449] ppid=21446 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21449/stat : 21449 (xcsp3-exec) S 21446 21449 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50402163 9740288 345 18446744073709551615 4194304 5098028 140734697575872 140734697573976 140045977076348 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 10043392 140734697578878 140734697579082 140734697579082 140734697582571 0
/proc/21449/statm: 2378 345 289 221 0 87 0
[pid=21451] ppid=21449 vsize=13980732 memory=1196452 CPUtime=228.95 cores=1,3,5,7
/proc/21451/stat : 21451 (java) S 21449 21449 11586 0 -1 1077944320 59214 0 0 0 22845 50 0 0 20 0 15 0 50402172 14316269568 299113 18446744073709551615 4194304 4196468 140730973936960 140730973919504 139848539545335 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
/proc/21451/statm: 3495183 299113 3251 1 0 3483476 0
[pid=21451/tid=21452] ppid=21449 vsize=13980732 memory=1380 CPUtime=221.92 cores=1,3,5,7
/proc/21451/task/21452/stat : 21452 (java) R 21449 21449 11586 0 -1 4202560 19079 0 0 0 22174 18 0 0 20 0 15 0 50402172 14316269568 299113 18446744073709551615 4194304 4196468 140730973936960 139848543784736 139848185330270 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21453] ppid=21449 vsize=13980732 memory=1196452 CPUtime=0.17 cores=1,3,5,7
/proc/21451/task/21453/stat : 21453 (java) S 21449 21449 11586 0 -1 1077944384 785 0 0 0 12 5 0 0 20 0 15 0 50402173 14316269568 299113 18446744073709551615 4194304 4196468 140730973936960 139848500443920 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21454] ppid=21449 vsize=13980732 memory=1196452 CPUtime=0.17 cores=1,3,5,7
/proc/21451/task/21454/stat : 21454 (java) S 21449 21449 11586 0 -1 1077944384 535 0 0 0 12 5 0 0 20 0 15 0 50402173 14316269568 299113 18446744073709551615 4194304 4196468 140730973936960 139848499391376 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21455] ppid=21449 vsize=13980732 memory=1380 CPUtime=0.17 cores=1,3,5,7
/proc/21451/task/21455/stat : 21455 (java) S 21449 21449 11586 0 -1 1077944384 2821 0 0 0 12 5 0 0 20 0 15 0 50402173 14316269568 299113 18446744073709551615 4194304 4196468 140730973936960 139848498338832 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21456] ppid=21449 vsize=13980732 memory=1196452 CPUtime=0.18 cores=1,3,5,7
/proc/21451/task/21456/stat : 21456 (java) S 21449 21449 11586 0 -1 1077944384 2483 0 0 0 12 6 0 0 20 0 15 0 50402173 14316269568 299113 18446744073709551615 4194304 4196468 140730973936960 139848136977552 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21457] ppid=21449 vsize=13980732 memory=1194404 CPUtime=0.02 cores=1,3,5,7
/proc/21451/task/21457/stat : 21457 (java) S 21449 21449 11586 0 -1 1077944384 2430 0 0 0 2 0 0 0 20 0 15 0 50402175 14316269568 299113 18446744073709551615 4194304 4196468 140730973936960 139848017991664 139848539556482 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21458] ppid=21449 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21458/stat : 21458 (java) S 21449 21449 11586 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 50402175 14316269568 299113 18446744073709551615 4194304 4196468 140730973936960 139848016937952 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21459] ppid=21449 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21459/stat : 21459 (java) S 21449 21449 11586 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 50402175 14316269568 299113 18446744073709551615 4194304 4196468 140730973936960 139848015885312 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21460] ppid=21449 vsize=13980732 memory=1196452 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21460/stat : 21460 (java) S 21449 21449 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50402178 14316269568 299113 18446744073709551615 4194304 4196468 140730973936960 139848014833872 139848539563931 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21461] ppid=21449 vsize=13980732 memory=15880 CPUtime=2.66 cores=1,3,5,7
/proc/21451/task/21461/stat : 21461 (java) S 21449 21449 11586 0 -1 1077944384 11061 0 0 0 264 2 0 0 20 0 15 0 50402178 14316269568 299113 18446744073709551615 4194304 4196468 140730973936960 139848013781488 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21462] ppid=21449 vsize=13980732 memory=16240 CPUtime=2.76 cores=1,3,5,7
/proc/21451/task/21462/stat : 21462 (java) S 21449 21449 11586 0 -1 1077944384 10480 0 0 0 275 1 0 0 20 0 15 0 50402178 14316269568 299113 18446744073709551615 4194304 4196468 140730973936960 139848012728944 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21463] ppid=21449 vsize=13980732 memory=1380 CPUtime=0.75 cores=1,3,5,7
/proc/21451/task/21463/stat : 21463 (java) S 21449 21449 11586 0 -1 1077944384 7655 0 0 0 74 1 0 0 20 0 15 0 50402178 14316269568 299113 18446744073709551615 4194304 4196468 140730973936960 139848011676400 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21464] ppid=21449 vsize=13980732 memory=1196452 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21464/stat : 21464 (java) S 21449 21449 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50402178 14316269568 299113 18446744073709551615 4194304 4196468 140730973936960 139848010624096 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21465] ppid=21449 vsize=13980732 memory=1380 CPUtime=0.07 cores=1,3,5,7
/proc/21451/task/21465/stat : 21465 (java) S 21449 21449 11586 0 -1 1077944384 555 0 0 0 3 4 0 0 20 0 15 0 50402182 14316269568 299113 18446744073709551615 4194304 4196468 140730973936960 139848009570608 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
Current children cumulated CPU time: 228.95 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1197832 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.63 1.57 1.62 4/211 21551
/proc/meminfo: memFree=30385548/32770624 swapFree=67108860/67108860
[pid=21449] ppid=21446 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21449/stat : 21449 (xcsp3-exec) S 21446 21449 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50402163 9740288 345 18446744073709551615 4194304 5098028 140734697575872 140734697573976 140045977076348 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 10043392 140734697578878 140734697579082 140734697579082 140734697582571 0
/proc/21449/statm: 2378 345 289 221 0 87 0
[pid=21451] ppid=21449 vsize=13980732 memory=1195344 CPUtime=246.68 cores=1,3,5,7
/proc/21451/stat : 21451 (java) S 21449 21449 11586 0 -1 1077944320 60514 0 0 0 24617 51 0 0 20 0 15 0 50402172 14316269568 298836 18446744073709551615 4194304 4196468 140730973936960 140730973919504 139848539545335 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
/proc/21451/statm: 3495183 298836 3251 1 0 3483476 0
[pid=21451/tid=21452] ppid=21449 vsize=13980732 memory=-8774313645642428999 CPUtime=239.63 cores=1,3,5,7
/proc/21451/task/21452/stat : 21452 (java) R 21449 21449 11586 0 -1 4202560 20328 0 0 0 23944 19 0 0 20 0 15 0 50402172 14316269568 298836 18446744073709551615 4194304 4196468 140730973936960 139848543784736 139848186373023 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21453] ppid=21449 vsize=13980732 memory=4126316290023845779 CPUtime=0.18 cores=1,3,5,7
/proc/21451/task/21453/stat : 21453 (java) S 21449 21449 11586 0 -1 1077944384 787 0 0 0 12 6 0 0 20 0 15 0 50402173 14316269568 298836 18446744073709551615 4194304 4196468 140730973936960 139848500443920 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21454] ppid=21449 vsize=13980732 memory=1996 CPUtime=0.17 cores=1,3,5,7
/proc/21451/task/21454/stat : 21454 (java) S 21449 21449 11586 0 -1 1077944384 536 0 0 0 12 5 0 0 20 0 15 0 50402173 14316269568 298836 18446744073709551615 4194304 4196468 140730973936960 139848499391376 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21455] ppid=21449 vsize=13980732 memory=796 CPUtime=0.17 cores=1,3,5,7
/proc/21451/task/21455/stat : 21455 (java) S 21449 21449 11586 0 -1 1077944384 2822 0 0 0 12 5 0 0 20 0 15 0 50402173 14316269568 298836 18446744073709551615 4194304 4196468 140730973936960 139848498338832 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21456] ppid=21449 vsize=13980732 memory=9992 CPUtime=0.18 cores=1,3,5,7
/proc/21451/task/21456/stat : 21456 (java) S 21449 21449 11586 0 -1 1077944384 2484 0 0 0 12 6 0 0 20 0 15 0 50402173 14316269568 298836 18446744073709551615 4194304 4196468 140730973936960 139848136977552 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21457] ppid=21449 vsize=13980732 memory=1716 CPUtime=0.02 cores=1,3,5,7
/proc/21451/task/21457/stat : 21457 (java) S 21449 21449 11586 0 -1 1077944384 2430 0 0 0 2 0 0 0 20 0 15 0 50402175 14316269568 298836 18446744073709551615 4194304 4196468 140730973936960 139848017991664 139848539556482 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21458] ppid=21449 vsize=13980732 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21458/stat : 21458 (java) S 21449 21449 11586 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 50402175 14316269568 298836 18446744073709551615 4194304 4196468 140730973936960 139848016937952 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21459] ppid=21449 vsize=13980732 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21459/stat : 21459 (java) S 21449 21449 11586 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 50402175 14316269568 298836 18446744073709551615 4194304 4196468 140730973936960 139848015885312 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21460] ppid=21449 vsize=13980732 memory=8896 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21460/stat : 21460 (java) S 21449 21449 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50402178 14316269568 298836 18446744073709551615 4194304 4196468 140730973936960 139848014833872 139848539563931 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21461] ppid=21449 vsize=13980732 memory=4616 CPUtime=2.66 cores=1,3,5,7
/proc/21451/task/21461/stat : 21461 (java) S 21449 21449 11586 0 -1 1077944384 11061 0 0 0 264 2 0 0 20 0 15 0 50402178 14316269568 298836 18446744073709551615 4194304 4196468 140730973936960 139848013781488 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21462] ppid=21449 vsize=13980732 memory=-8774313645642428999 CPUtime=2.76 cores=1,3,5,7
/proc/21451/task/21462/stat : 21462 (java) S 21449 21449 11586 0 -1 1077944384 10480 0 0 0 275 1 0 0 20 0 15 0 50402178 14316269568 298836 18446744073709551615 4194304 4196468 140730973936960 139848012728944 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21463] ppid=21449 vsize=13980732 memory=1195344 CPUtime=0.75 cores=1,3,5,7
/proc/21451/task/21463/stat : 21463 (java) S 21449 21449 11586 0 -1 1077944384 7701 0 0 0 74 1 0 0 20 0 15 0 50402178 14316269568 298836 18446744073709551615 4194304 4196468 140730973936960 139848011676400 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21464] ppid=21449 vsize=13980732 memory=758712 CPUtime=0 cores=1,3,5,7
/proc/21451/task/21464/stat : 21464 (java) S 21449 21449 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50402178 14316269568 298836 18446744073709551615 4194304 4196468 140730973936960 139848010624096 139848539555541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
[pid=21451/tid=21465] ppid=21449 vsize=13980732 memory=1160 CPUtime=0.08 cores=1,3,5,7
/proc/21451/task/21465/stat : 21465 (java) S 21449 21449 11586 0 -1 1077944384 555 0 0 0 4 4 0 0 20 0 15 0 50402182 14316269568 298836 18446744073709551615 4194304 4196468 140730973936960 139848009570608 139848539556482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17801216 140730973942199 140730973942374 140730973942374 140730973945807 0
Current children cumulated CPU time: 246.68 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1196724 KiB

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

[startup+240.019 s]
# the end of solver process 21449 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000647 s, system=0.001294 s

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

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

Child status: 143
Real time (s): 240.026
CPU time (s): 246.704
CPU user time (s): 246.183
CPU system time (s): 0.520557
CPU usage (%): 102.782
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1197832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.183
system time used= 0.520557
maximum resident set size= 1198500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61467
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8126
involuntary context switches= 167


# summary of solver processes directly reported to runsolver:
#   pid: 21449,21451
#   total CPU time (s): 246.704
#   total CPU user time (s): 246.183
#   total CPU system time (s): 0.520557

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.35624 second user time and 2.36994 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml
MD5SUM	a8532fde929f2c832645b1246a7d35a6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	40
Best CPU time to get the best result obtained on this benchmark	245.19501
Satisfiable
(Un)Satisfiability was proved
Number of variables	947
Number of constraints	43571
Number of domains	1
Minimum domain size	947
Maximum domain size	947
Distribution of domain sizes	[{"size":947,"count":947}]
Minimum variable degree	10
Maximum variable degree	231
Distribution of variable degrees	[{"degree":10,"count":2},{"degree":13,"count":3},{"degree":15,"count":1},{"degree":16,"count":4},{"degree":17,"count":3},{"degree":20,"count":1},{"degree":24,"count":4},{"degree":26,"count":1},{"degree":29,"count":3},{"degree":31,"count":7},{"degree":32,"count":5},{"degree":33,"count":5},{"degree":34,"count":9},{"degree":35,"count":30},{"degree":36,"count":21},{"degree":37,"count":9},{"degree":38,"count":23},{"degree":39,"count":11},{"degree":40,"count":88},{"degree":41,"count":1},{"degree":42,"count":1},{"degree":43,"count":4},{"degree":44,"count":10},{"degree":45,"count":2},{"degree":46,"count":8},"...",{"degree":184,"count":2}, {"degree":185,"count":5}, {"degree":186,"count":2}, {"degree":187,"count":1}, {"degree":188,"count":1}, {"degree":189,"count":1}, {"degree":190,"count":1}, {"degree":191,"count":2}, {"degree":192,"count":2}, {"degree":193,"count":1}, {"degree":194,"count":2}, {"degree":195,"count":2}, {"degree":196,"count":1}, {"degree":199,"count":2}, {"degree":200,"count":1}, {"degree":202,"count":1}, {"degree":205,"count":1}, {"degree":207,"count":1}, {"degree":210,"count":1}, {"degree":211,"count":1}, {"degree":213,"count":1}, {"degree":218,"count":1}, {"degree":219,"count":1}, {"degree":224,"count":2}, {"degree":231,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":43571}]
Number of extensional constraints	0
Number of intensional constraints	43571
Distribution of constraint types	[{"type":"intension","count":43571}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4270108

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
