2017 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 4.0.5 seq (2017-08-09)	SAT (TO)	62	2520.1299	2490.72
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 (14749 MiB free)
  memory of node 1: 16384 MiB (15607 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269112-1502718407/watcher-4269112-1502718407 -o /tmp/evaluation-result-4269112-1502718407/solver-4269112-1502718407 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1331555959 HOME/instance-4269112-1502718407.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=22353, runsolver pid=22350
Current StackSize limit: 8192 KiB


[startup+0.100157 s]*
/proc/loadavg: 1.77 1.79 1.77 2/197 22354
/proc/meminfo: memFree=31085876/32770624 swapFree=67108860/67108860
[pid=22353] ppid=22350 vsize=33976 memory=452 CPUtime=0 cores=1,3,5,7
/proc/22353/stat : 22353 (runsolver) D 22350 22353 11586 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 60181369 34791424 113 18446744073709551615 4194304 4346622 140727268972752 140727268969384 140459740275415 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6446216 6449568 19574784 140727268974646 140727268975140 140727268975140 140727268978634 0
/proc/22353/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB

[startup+0.208996 s]*
/proc/loadavg: 1.77 1.79 1.77 2/211 22368
/proc/meminfo: memFree=31074352/32770624 swapFree=67108860/67108860
[pid=22353] ppid=22350 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22353/stat : 22353 (xcsp3-exec) S 22350 22353 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 60181369 9740288 345 18446744073709551615 4194304 5098028 140727584547520 140727584545624 139808843113084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 12 0 0 7196144 7232144 32587776 140727584555384 140727584555589 140727584555589 140727584559083 0
/proc/22353/statm: 2378 345 289 221 0 87 0
[pid=22355] ppid=22353 vsize=13907304 memory=22144 CPUtime=0.05 cores=1,3,5,7
/proc/22355/stat : 22355 (java) S 22353 22353 11586 0 -1 1077944320 4945 0 0 0 4 1 0 0 20 0 14 0 60181381 14241079296 5536 18446744073709551615 4194304 4196468 140735360939056 140735360921600 140528782528247 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
/proc/22355/statm: 3476826 5536 2553 1 0 3466323 0
[pid=22355/tid=22356] ppid=22353 vsize=13907304 memory=-6370177212249903460 CPUtime=0.04 cores=1,3,5,7
/proc/22355/task/22356/stat : 22356 (java) D 22353 22353 11586 0 -1 4202560 3121 0 0 0 3 1 0 0 20 0 14 0 60181381 14241079296 5536 18446744073709551615 4194304 4196468 140735360939056 140528786765728 140528782550269 0 4 1 16800974 18446744071580418449 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22357] ppid=22353 vsize=13907304 memory=4211974185948016010 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22357/stat : 22357 (java) S 22353 22353 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 60181382 14241079296 5536 18446744073709551615 4194304 4196468 140735360939056 140528716962576 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22358] ppid=22353 vsize=13907304 memory=140459743225472 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22358/stat : 22358 (java) S 22353 22353 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 60181382 14241079296 5536 18446744073709551615 4194304 4196468 140735360939056 140528715910032 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22359] ppid=22353 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22359/stat : 22359 (java) S 22353 22353 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 60181382 14241079296 5536 18446744073709551615 4194304 4196468 140735360939056 140528714857488 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22360] ppid=22353 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22360/stat : 22360 (java) S 22353 22353 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 60181382 14241079296 5536 18446744073709551615 4194304 4196468 140735360939056 140528713804944 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22361] ppid=22353 vsize=13907304 memory=140459743225472 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22361/stat : 22361 (java) S 22353 22353 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 60181384 14241079296 5536 18446744073709551615 4194304 4196468 140735360939056 140527765780464 140528782539394 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22362] ppid=22353 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22362/stat : 22362 (java) S 22353 22353 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 60181384 14241079296 5536 18446744073709551615 4194304 4196468 140735360939056 140527764726688 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22363] ppid=22353 vsize=13907304 memory=140459743225472 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22363/stat : 22363 (java) S 22353 22353 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 60181384 14241079296 5536 18446744073709551615 4194304 4196468 140735360939056 140527763674096 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22364] ppid=22353 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22364/stat : 22364 (java) S 22353 22353 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 60181387 14241079296 5536 18446744073709551615 4194304 4196468 140735360939056 140527762622672 140528782546843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22365] ppid=22353 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22365/stat : 22365 (java) S 22353 22353 11586 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 14 0 60181387 14241079296 5536 18446744073709551615 4194304 4196468 140735360939056 140527761570288 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22366] ppid=22353 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22366/stat : 22366 (java) S 22353 22353 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 60181387 14241079296 5536 18446744073709551615 4194304 4196468 140735360939056 140527760517744 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22367] ppid=22353 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22367/stat : 22367 (java) S 22353 22353 11586 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 14 0 60181387 14241079296 5536 18446744073709551615 4194304 4196468 140735360939056 140527759465200 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22368] ppid=22353 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22368/stat : 22368 (java) S 22353 22353 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 60181387 14241079296 5536 18446744073709551615 4194304 4196468 140735360939056 140527758412896 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23524 KiB

[startup+0.309954 s]*
/proc/loadavg: 1.77 1.79 1.77 5/212 22369
/proc/meminfo: memFree=31065696/32770624 swapFree=67108860/67108860
[pid=22353] ppid=22350 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22353/stat : 22353 (xcsp3-exec) S 22350 22353 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 60181369 9740288 345 18446744073709551615 4194304 5098028 140727584547520 140727584545624 139808843113084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 12 0 0 7196144 7232144 32587776 140727584555384 140727584555589 140727584555589 140727584559083 0
/proc/22353/statm: 2378 345 289 221 0 87 0
[pid=22355] ppid=22353 vsize=13974352 memory=31576 CPUtime=0.21 cores=1,3,5,7
/proc/22355/stat : 22355 (java) S 22353 22353 11586 0 -1 1077944320 6355 0 0 0 20 1 0 0 20 0 15 0 60181381 14309736448 7894 18446744073709551615 4194304 4196468 140735360939056 140735360921600 140528782528247 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
/proc/22355/statm: 3493588 7894 2965 1 0 3482964 0
[pid=22355/tid=22356] ppid=22353 vsize=13974352 memory=288363917221298210 CPUtime=0.13 cores=1,3,5,7
/proc/22355/task/22356/stat : 22356 (java) R 22353 22353 11586 0 -1 4202560 3607 0 0 0 12 1 0 0 20 0 15 0 60181381 14309736448 7894 18446744073709551615 4194304 4196468 140735360939056 140528786767168 140528766608734 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22357] ppid=22353 vsize=13974352 memory=301 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22357/stat : 22357 (java) S 22353 22353 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60181382 14309736448 7894 18446744073709551615 4194304 4196468 140735360939056 140528716962576 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22358] ppid=22353 vsize=13974352 memory=140459743241154 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22358/stat : 22358 (java) S 22353 22353 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60181382 14309736448 7894 18446744073709551615 4194304 4196468 140735360939056 140528715910032 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22359] ppid=22353 vsize=13974352 memory=-6804530833007812508 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22359/stat : 22359 (java) S 22353 22353 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60181382 14309736448 7894 18446744073709551615 4194304 4196468 140735360939056 140528714857488 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22360] ppid=22353 vsize=13974352 memory=8097827316026060847 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22360/stat : 22360 (java) S 22353 22353 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60181382 14309736448 7894 18446744073709551615 4194304 4196468 140735360939056 140528713804944 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22361] ppid=22353 vsize=13974352 memory=7311575491267986931 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22361/stat : 22361 (java) S 22353 22353 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60181384 14309736448 7894 18446744073709551615 4194304 4196468 140735360939056 140527765780464 140528782539394 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22362] ppid=22353 vsize=13974352 memory=3472328296227679279 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22362/stat : 22362 (java) S 22353 22353 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60181384 14309736448 7894 18446744073709551615 4194304 4196468 140735360939056 140527764726688 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22363] ppid=22353 vsize=13974352 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22363/stat : 22363 (java) S 22353 22353 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 60181384 14309736448 7894 18446744073709551615 4194304 4196468 140735360939056 140527763674096 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22364] ppid=22353 vsize=13974352 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22364/stat : 22364 (java) S 22353 22353 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60181387 14309736448 7894 18446744073709551615 4194304 4196468 140735360939056 140527762622672 140528782546843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22365] ppid=22353 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/22355/task/22365/stat : 22365 (java) S 22353 22353 11586 0 -1 1077944384 486 0 0 0 1 0 0 0 20 0 15 0 60181387 14309736448 7894 18446744073709551615 4194304 4196468 140735360939056 140527761570288 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22366] ppid=22353 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/22355/task/22366/stat : 22366 (java) S 22353 22353 11586 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 15 0 60181387 14309736448 7894 18446744073709551615 4194304 4196468 140735360939056 140527760517744 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22367] ppid=22353 vsize=13974352 memory=140459743225472 CPUtime=0.05 cores=1,3,5,7
/proc/22355/task/22367/stat : 22367 (java) S 22353 22353 11586 0 -1 1077944384 704 0 0 0 5 0 0 0 20 0 15 0 60181387 14309736448 7894 18446744073709551615 4194304 4196468 140735360939056 140527759465200 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22368] ppid=22353 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22368/stat : 22368 (java) S 22353 22353 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60181387 14309736448 7894 18446744073709551615 4194304 4196468 140735360939056 140527758412896 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22369] ppid=22353 vsize=13974352 memory=140459743225472 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22369/stat : 22369 (java) S 22353 22353 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60181392 14309736448 7894 18446744073709551615 4194304 4196468 140735360939056 140527757359408 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32956 KiB

[startup+0.701767 s]
/proc/loadavg: 1.77 1.79 1.77 6/212 22369
/proc/meminfo: memFree=31048512/32770624 swapFree=67108860/67108860
[pid=22353] ppid=22350 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22353/stat : 22353 (xcsp3-exec) S 22350 22353 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 60181369 9740288 345 18446744073709551615 4194304 5098028 140727584547520 140727584545624 139808843113084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 12 0 0 7196144 7232144 32587776 140727584555384 140727584555589 140727584555589 140727584559083 0
/proc/22353/statm: 2378 345 289 221 0 87 0
[pid=22355] ppid=22353 vsize=13978684 memory=85180 CPUtime=1.14 cores=1,3,5,7
/proc/22355/stat : 22355 (java) S 22353 22353 11586 0 -1 1077944320 12927 0 0 0 109 5 0 0 20 0 15 0 60181381 14314172416 21295 18446744073709551615 4194304 4196468 140735360939056 140735360921600 140528782528247 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
/proc/22355/statm: 3494671 21295 3147 1 0 3482964 0
[pid=22355/tid=22356] ppid=22353 vsize=13978684 memory=779 CPUtime=0.51 cores=1,3,5,7
/proc/22355/task/22356/stat : 22356 (java) R 22353 22353 11586 0 -1 4202560 7808 0 0 0 47 4 0 0 20 0 15 0 60181381 14314172416 21295 18446744073709551615 4194304 4196468 140735360939056 140528786762288 140528782550173 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22357] ppid=22353 vsize=13978684 memory=91 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22357/stat : 22357 (java) S 22353 22353 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60181382 14314172416 21295 18446744073709551615 4194304 4196468 140735360939056 140528716962576 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22358] ppid=22353 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22358/stat : 22358 (java) S 22353 22353 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60181382 14314172416 21295 18446744073709551615 4194304 4196468 140735360939056 140528715910032 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22359] ppid=22353 vsize=13978684 memory=5792544336812467557 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22359/stat : 22359 (java) S 22353 22353 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60181382 14314172416 21295 18446744073709551615 4194304 4196468 140735360939056 140528714857488 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22360] ppid=22353 vsize=13978684 memory=6935650355287975249 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22360/stat : 22360 (java) S 22353 22353 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60181382 14314172416 21295 18446744073709551615 4194304 4196468 140735360939056 140528713804944 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22361] ppid=22353 vsize=13978684 memory=4638778428397932880 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22361/stat : 22361 (java) S 22353 22353 11586 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 60181384 14314172416 21295 18446744073709551615 4194304 4196468 140735360939056 140527765780464 140528782539394 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22362] ppid=22353 vsize=13978684 memory=7100839870071150693 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22362/stat : 22362 (java) S 22353 22353 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60181384 14314172416 21295 18446744073709551615 4194304 4196468 140735360939056 140527764726688 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22363] ppid=22353 vsize=13978684 memory=8370611207638964880 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22363/stat : 22363 (java) S 22353 22353 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 60181384 14314172416 21295 18446744073709551615 4194304 4196468 140735360939056 140527763674096 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22364] ppid=22353 vsize=13978684 memory=-7737605734073691286 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22364/stat : 22364 (java) S 22353 22353 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60181387 14314172416 21295 18446744073709551615 4194304 4196468 140735360939056 140527762622672 140528782546843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22365] ppid=22353 vsize=13978684 memory=-7522837415797432223 CPUtime=0.22 cores=1,3,5,7
/proc/22355/task/22365/stat : 22365 (java) S 22353 22353 11586 0 -1 1077944384 1454 0 0 0 22 0 0 0 20 0 15 0 60181387 14314172416 21295 18446744073709551615 4194304 4196468 140735360939056 140527761570288 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22366] ppid=22353 vsize=13978684 memory=4137292528961491315 CPUtime=0.2 cores=1,3,5,7
/proc/22355/task/22366/stat : 22366 (java) R 22353 22353 11586 0 -1 4202560 1064 0 0 0 20 0 0 0 20 0 15 0 60181387 14314172416 21295 18446744073709551615 4194304 4196468 140735360939056 140527760517744 140528764046146 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22367] ppid=22353 vsize=13978684 memory=8187704045996132563 CPUtime=0.19 cores=1,3,5,7
/proc/22355/task/22367/stat : 22367 (java) S 22353 22353 11586 0 -1 1077944384 1291 0 0 0 19 0 0 0 20 0 15 0 60181387 14314172416 21295 18446744073709551615 4194304 4196468 140735360939056 140527759465200 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22368] ppid=22353 vsize=13978684 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22368/stat : 22368 (java) S 22353 22353 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60181387 14314172416 21295 18446744073709551615 4194304 4196468 140735360939056 140527758412896 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22369] ppid=22353 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22369/stat : 22369 (java) S 22353 22353 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60181392 14314172416 21295 18446744073709551615 4194304 4196468 140735360939056 140527757359408 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 86560 KiB

[startup+1.50353 s]
/proc/loadavg: 1.77 1.79 1.77 5/212 22369
/proc/meminfo: memFree=30938868/32770624 swapFree=67108860/67108860
[pid=22353] ppid=22350 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22353/stat : 22353 (xcsp3-exec) S 22350 22353 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 60181369 9740288 345 18446744073709551615 4194304 5098028 140727584547520 140727584545624 139808843113084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 12 0 0 7196144 7232144 32587776 140727584555384 140727584555589 140727584555589 140727584559083 0
/proc/22353/statm: 2378 345 289 221 0 87 0
[pid=22355] ppid=22353 vsize=13980732 memory=242212 CPUtime=3.69 cores=1,3,5,7
/proc/22355/stat : 22355 (java) S 22353 22353 11586 0 -1 1077944320 17611 0 0 0 356 13 0 0 20 0 15 0 60181381 14316269568 60553 18446744073709551615 4194304 4196468 140735360939056 140735360921600 140528782528247 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
/proc/22355/statm: 3495183 60553 3210 1 0 3483476 0
[pid=22355/tid=22356] ppid=22353 vsize=13980732 memory=0 CPUtime=1.25 cores=1,3,5,7
/proc/22355/task/22356/stat : 22356 (java) R 22353 22353 11586 0 -1 4202560 8583 0 0 0 120 5 0 0 20 0 15 0 60181381 14316269568 60553 18446744073709551615 4194304 4196468 140735360939056 140528786765448 140528764090585 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22357] ppid=22353 vsize=13980732 memory=280919181407664 CPUtime=0.02 cores=1,3,5,7
/proc/22355/task/22357/stat : 22357 (java) S 22353 22353 11586 0 -1 1077944384 60 0 0 0 1 1 0 0 20 0 15 0 60181382 14316269568 60553 18446744073709551615 4194304 4196468 140735360939056 140528716962576 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22358] ppid=22353 vsize=13980732 memory=140459590605992 CPUtime=0.03 cores=1,3,5,7
/proc/22355/task/22358/stat : 22358 (java) S 22353 22353 11586 0 -1 1077944384 83 0 0 0 2 1 0 0 20 0 15 0 60181382 14316269568 60553 18446744073709551615 4194304 4196468 140735360939056 140528715910032 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22359] ppid=22353 vsize=13980732 memory=280919181200416 CPUtime=0.03 cores=1,3,5,7
/proc/22355/task/22359/stat : 22359 (java) S 22353 22353 11586 0 -1 1077944384 94 0 0 0 2 1 0 0 20 0 15 0 60181382 14316269568 60553 18446744073709551615 4194304 4196468 140735360939056 140528714857488 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22360] ppid=22353 vsize=13980732 memory=280919181204864 CPUtime=0.04 cores=1,3,5,7
/proc/22355/task/22360/stat : 22360 (java) S 22353 22353 11586 0 -1 1077944384 109 0 0 0 3 1 0 0 20 0 15 0 60181382 14316269568 60553 18446744073709551615 4194304 4196468 140735360939056 140528713804944 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22361] ppid=22353 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22361/stat : 22361 (java) S 22353 22353 11586 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 60181384 14316269568 60553 18446744073709551615 4194304 4196468 140735360939056 140527765780464 140528782539394 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22362] ppid=22353 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22362/stat : 22362 (java) S 22353 22353 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60181384 14316269568 60553 18446744073709551615 4194304 4196468 140735360939056 140527764726688 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22363] ppid=22353 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22363/stat : 22363 (java) S 22353 22353 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 60181384 14316269568 60553 18446744073709551615 4194304 4196468 140735360939056 140527763674096 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22364] ppid=22353 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22364/stat : 22364 (java) S 22353 22353 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60181387 14316269568 60553 18446744073709551615 4194304 4196468 140735360939056 140527762622672 140528782546843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22365] ppid=22353 vsize=13980732 memory=0 CPUtime=0.97 cores=1,3,5,7
/proc/22355/task/22365/stat : 22365 (java) R 22353 22353 11586 0 -1 4202560 2982 0 0 0 97 0 0 0 20 0 15 0 60181387 14316269568 60553 18446744073709551615 4194304 4196468 140735360939056 140527761556480 140528764064387 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22366] ppid=22353 vsize=13980732 memory=0 CPUtime=0.89 cores=1,3,5,7
/proc/22355/task/22366/stat : 22366 (java) R 22353 22353 11586 0 -1 4202560 2654 0 0 0 89 0 0 0 20 0 15 0 60181387 14316269568 60553 18446744073709551615 4194304 4196468 140735360939056 140527760506416 140528782549594 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22367] ppid=22353 vsize=13980732 memory=4120 CPUtime=0.37 cores=1,3,5,7
/proc/22355/task/22367/stat : 22367 (java) R 22353 22353 11586 0 -1 4202560 1666 0 0 0 37 0 0 0 20 0 15 0 60181387 14316269568 60553 18446744073709551615 4194304 4196468 140735360939056 140527759465200 140528761232943 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22368] ppid=22353 vsize=13980732 memory=33976 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22368/stat : 22368 (java) S 22353 22353 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60181387 14316269568 60553 18446744073709551615 4194304 4196468 140735360939056 140527758412896 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22369] ppid=22353 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22369/stat : 22369 (java) S 22353 22353 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60181392 14316269568 60553 18446744073709551615 4194304 4196468 140735360939056 140527757359408 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
Current children cumulated CPU time: 3.69 s
Current children cumulated vsize: 13990244 KiB

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

/proc/22355/task/22363/stat : 22363 (java) S 22353 22353 11586 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 60181384 14316269568 809723 18446744073709551615 4194304 4196468 140735360939056 140527763674112 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22364] ppid=22353 vsize=13980732 memory=3238892 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22364/stat : 22364 (java) S 22353 22353 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60181387 14316269568 809723 18446744073709551615 4194304 4196468 140735360939056 140527762622672 140528782546843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22365] ppid=22353 vsize=13980732 memory=1380 CPUtime=2.42 cores=1,3,5,7
/proc/22355/task/22365/stat : 22365 (java) S 22353 22353 11586 0 -1 1077944384 13389 0 0 0 240 2 0 0 20 0 15 0 60181387 14316269568 809723 18446744073709551615 4194304 4196468 140735360939056 140527761570288 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22366] ppid=22353 vsize=13980732 memory=1380 CPUtime=2.6 cores=1,3,5,7
/proc/22355/task/22366/stat : 22366 (java) S 22353 22353 11586 0 -1 1077944384 15537 0 0 0 257 3 0 0 20 0 15 0 60181387 14316269568 809723 18446744073709551615 4194304 4196468 140735360939056 140527760517744 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22367] ppid=22353 vsize=13980732 memory=3238892 CPUtime=0.74 cores=1,3,5,7
/proc/22355/task/22367/stat : 22367 (java) S 22353 22353 11586 0 -1 1077944384 13195 0 0 0 72 2 0 0 20 0 15 0 60181387 14316269568 809723 18446744073709551615 4194304 4196468 140735360939056 140527759465200 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22368] ppid=22353 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22368/stat : 22368 (java) S 22353 22353 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60181387 14316269568 809723 18446744073709551615 4194304 4196468 140735360939056 140527758412896 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22369] ppid=22353 vsize=13980732 memory=3238892 CPUtime=1.35 cores=1,3,5,7
/proc/22355/task/22369/stat : 22369 (java) S 22353 22353 11586 0 -1 1077944384 2636 0 0 0 61 74 0 0 20 0 15 0 60181392 14316269568 809723 18446744073709551615 4194304 4196468 140735360939056 140527757359408 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
Current children cumulated CPU time: 2410.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3240272 KiB

[startup+2442.3 s]
/proc/loadavg: 1.68 1.71 1.68 3/211 22633
/proc/meminfo: memFree=24838672/32770624 swapFree=67108860/67108860
[pid=22353] ppid=22350 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22353/stat : 22353 (xcsp3-exec) S 22350 22353 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 60181369 9740288 345 18446744073709551615 4194304 5098028 140727584547520 140727584545624 139808843113084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 12 0 0 7196144 7232144 32587776 140727584555384 140727584555589 140727584555589 140727584559083 0
/proc/22353/statm: 2378 345 289 221 0 87 0
[pid=22355] ppid=22353 vsize=13980732 memory=3255272 CPUtime=2471.05 cores=1,3,5,7
/proc/22355/stat : 22355 (java) S 22353 22353 11586 0 -1 1077944320 235275 0 0 0 246821 284 0 0 20 0 15 0 60181381 14316269568 813818 18446744073709551615 4194304 4196468 140735360939056 140735360921600 140528782528247 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
/proc/22355/statm: 3495183 813818 3250 1 0 3483476 0
[pid=22355/tid=22356] ppid=22353 vsize=13980732 memory=3255272 CPUtime=2428.3 cores=1,3,5,7
/proc/22355/task/22356/stat : 22356 (java) R 22353 22353 11586 0 -1 4202560 84762 0 0 0 242760 70 0 0 20 0 15 0 60181381 14316269568 813818 18446744073709551615 4194304 4196468 140735360939056 140528786767712 140528401880951 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22357] ppid=22353 vsize=13980732 memory=3253224 CPUtime=7.92 cores=1,3,5,7
/proc/22355/task/22357/stat : 22357 (java) S 22353 22353 11586 0 -1 1077944384 20422 0 0 0 758 34 0 0 20 0 15 0 60181382 14316269568 813818 18446744073709551615 4194304 4196468 140735360939056 140528716962576 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22358] ppid=22353 vsize=13980732 memory=3247080 CPUtime=7.92 cores=1,3,5,7
/proc/22355/task/22358/stat : 22358 (java) S 22353 22353 11586 0 -1 1077944384 20129 0 0 0 758 34 0 0 20 0 15 0 60181382 14316269568 813818 18446744073709551615 4194304 4196468 140735360939056 140528715910032 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22359] ppid=22353 vsize=13980732 memory=3249128 CPUtime=7.91 cores=1,3,5,7
/proc/22355/task/22359/stat : 22359 (java) S 22353 22353 11586 0 -1 1077944384 19693 0 0 0 758 33 0 0 20 0 15 0 60181382 14316269568 813818 18446744073709551615 4194304 4196468 140735360939056 140528714857488 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22360] ppid=22353 vsize=13980732 memory=3253224 CPUtime=7.92 cores=1,3,5,7
/proc/22355/task/22360/stat : 22360 (java) S 22353 22353 11586 0 -1 1077944384 18946 0 0 0 760 32 0 0 20 0 15 0 60181382 14316269568 813818 18446744073709551615 4194304 4196468 140735360939056 140528713804944 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22361] ppid=22353 vsize=13980732 memory=3253224 CPUtime=3.85 cores=1,3,5,7
/proc/22355/task/22361/stat : 22361 (java) S 22353 22353 11586 0 -1 1077944384 25149 0 0 0 353 32 0 0 20 0 15 0 60181384 14316269568 813818 18446744073709551615 4194304 4196468 140735360939056 140527765780464 140528782539394 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22362] ppid=22353 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22362/stat : 22362 (java) S 22353 22353 11586 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 60181384 14316269568 813818 18446744073709551615 4194304 4196468 140735360939056 140527764726752 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22363] ppid=22353 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22363/stat : 22363 (java) S 22353 22353 11586 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 60181384 14316269568 813818 18446744073709551615 4194304 4196468 140735360939056 140527763674112 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22364] ppid=22353 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22364/stat : 22364 (java) S 22353 22353 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60181387 14316269568 813818 18446744073709551615 4194304 4196468 140735360939056 140527762622672 140528782546843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22365] ppid=22353 vsize=13980732 memory=3255272 CPUtime=2.42 cores=1,3,5,7
/proc/22355/task/22365/stat : 22365 (java) S 22353 22353 11586 0 -1 1077944384 13397 0 0 0 240 2 0 0 20 0 15 0 60181387 14316269568 813818 18446744073709551615 4194304 4196468 140735360939056 140527761570288 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22366] ppid=22353 vsize=13980732 memory=3255272 CPUtime=2.6 cores=1,3,5,7
/proc/22355/task/22366/stat : 22366 (java) S 22353 22353 11586 0 -1 1077944384 15544 0 0 0 257 3 0 0 20 0 15 0 60181387 14316269568 813818 18446744073709551615 4194304 4196468 140735360939056 140527760517744 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22367] ppid=22353 vsize=13980732 memory=3255272 CPUtime=0.74 cores=1,3,5,7
/proc/22355/task/22367/stat : 22367 (java) S 22353 22353 11586 0 -1 1077944384 13201 0 0 0 72 2 0 0 20 0 15 0 60181387 14316269568 813818 18446744073709551615 4194304 4196468 140735360939056 140527759465200 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22368] ppid=22353 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22368/stat : 22368 (java) S 22353 22353 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60181387 14316269568 813818 18446744073709551615 4194304 4196468 140735360939056 140527758412896 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22369] ppid=22353 vsize=13980732 memory=1380 CPUtime=1.38 cores=1,3,5,7
/proc/22355/task/22369/stat : 22369 (java) S 22353 22353 11586 0 -1 1077944384 2699 0 0 0 62 76 0 0 20 0 15 0 60181392 14316269568 813818 18446744073709551615 4194304 4196468 140735360939056 140527757359408 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
Current children cumulated CPU time: 2471.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3256652 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2490.7 s]
/proc/loadavg: 1.72 1.71 1.68 3/211 22634
/proc/meminfo: memFree=24830976/32770624 swapFree=67108860/67108860
[pid=22353] ppid=22350 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22353/stat : 22353 (xcsp3-exec) S 22350 22353 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 60181369 9740288 345 18446744073709551615 4194304 5098028 140727584547520 140727584545624 139808843113084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 12 0 0 7196144 7232144 32587776 140727584555384 140727584555589 140727584555589 140727584559083 0
/proc/22353/statm: 2378 345 289 221 0 87 0
[pid=22355] ppid=22353 vsize=13980732 memory=3263464 CPUtime=2520.09 cores=1,3,5,7
/proc/22355/stat : 22355 (java) S 22353 22353 11586 0 -1 1077944320 239357 0 0 0 251721 288 0 0 20 0 15 0 60181381 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140735360921600 140528782528247 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
/proc/22355/statm: 3495183 815866 3250 1 0 3483476 0
[pid=22355/tid=22356] ppid=22353 vsize=13980732 memory=3263464 CPUtime=2476.3 cores=1,3,5,7
/proc/22355/task/22356/stat : 22356 (java) R 22353 22353 11586 0 -1 4202560 86081 0 0 0 247560 70 0 0 20 0 15 0 60181381 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140528786767712 140528401881034 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22357] ppid=22353 vsize=13980732 memory=3263464 CPUtime=8.15 cores=1,3,5,7
/proc/22355/task/22357/stat : 22357 (java) S 22353 22353 11586 0 -1 1077944384 21267 0 0 0 780 35 0 0 20 0 15 0 60181382 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140528716962576 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22358] ppid=22353 vsize=13980732 memory=3261416 CPUtime=8.14 cores=1,3,5,7
/proc/22355/task/22358/stat : 22358 (java) S 22353 22353 11586 0 -1 1077944384 20896 0 0 0 780 34 0 0 20 0 15 0 60181382 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140528715910032 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22359] ppid=22353 vsize=13980732 memory=3263464 CPUtime=8.15 cores=1,3,5,7
/proc/22355/task/22359/stat : 22359 (java) S 22353 22353 11586 0 -1 1077944384 20060 0 0 0 781 34 0 0 20 0 15 0 60181382 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140528714857488 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22360] ppid=22353 vsize=13980732 memory=1380 CPUtime=8.15 cores=1,3,5,7
/proc/22355/task/22360/stat : 22360 (java) S 22353 22353 11586 0 -1 1077944384 19175 0 0 0 782 33 0 0 20 0 15 0 60181382 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140528713804944 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22361] ppid=22353 vsize=13980732 memory=3263464 CPUtime=3.94 cores=1,3,5,7
/proc/22355/task/22361/stat : 22361 (java) S 22353 22353 11586 0 -1 1077944384 25655 0 0 0 361 33 0 0 20 0 15 0 60181384 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140527765780464 140528782539394 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22362] ppid=22353 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22362/stat : 22362 (java) S 22353 22353 11586 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 60181384 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140527764726752 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22363] ppid=22353 vsize=13980732 memory=164 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22363/stat : 22363 (java) S 22353 22353 11586 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 60181384 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140527763674112 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22364] ppid=22353 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22364/stat : 22364 (java) S 22353 22353 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60181387 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140527762622672 140528782546843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22365] ppid=22353 vsize=13980732 memory=4060 CPUtime=2.42 cores=1,3,5,7
/proc/22355/task/22365/stat : 22365 (java) S 22353 22353 11586 0 -1 1077944384 13404 0 0 0 240 2 0 0 20 0 15 0 60181387 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140527761570288 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22366] ppid=22353 vsize=13980732 memory=3249128 CPUtime=2.6 cores=1,3,5,7
/proc/22355/task/22366/stat : 22366 (java) S 22353 22353 11586 0 -1 1077944384 15552 0 0 0 257 3 0 0 20 0 15 0 60181387 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140527760517744 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22367] ppid=22353 vsize=13980732 memory=190460324752762 CPUtime=0.74 cores=1,3,5,7
/proc/22355/task/22367/stat : 22367 (java) S 22353 22353 11586 0 -1 1077944384 13207 0 0 0 72 2 0 0 20 0 15 0 60181387 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140527759465200 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22368] ppid=22353 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22368/stat : 22368 (java) S 22353 22353 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60181387 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140527758412896 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22369] ppid=22353 vsize=13980732 memory=34116 CPUtime=1.41 cores=1,3,5,7
/proc/22355/task/22369/stat : 22369 (java) S 22353 22353 11586 0 -1 1077944384 2727 0 0 0 64 77 0 0 20 0 15 0 60181392 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140527757359408 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3264844 KiB

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

[startup+2490.71 s]
# the end of solver process 22353 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001741 s, system=0.000958 s

[startup+2490.72 s]
# the end of solver process 22355 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.23 s, system=2.90362 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+2490.7 s]
/proc/loadavg: 1.72 1.71 1.68 3/211 22634
/proc/meminfo: memFree=24830976/32770624 swapFree=67108860/67108860
[pid=22353] ppid=22350 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22353/stat : 22353 (xcsp3-exec) S 22350 22353 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 60181369 9740288 345 18446744073709551615 4194304 5098028 140727584547520 140727584545624 139808843113084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 12 0 0 7196144 7232144 32587776 140727584555384 140727584555589 140727584555589 140727584559083 0
/proc/22353/statm: 2378 345 289 221 0 87 0
[pid=22355] ppid=22353 vsize=13980732 memory=3263464 CPUtime=2520.09 cores=1,3,5,7
/proc/22355/stat : 22355 (java) S 22353 22353 11586 0 -1 1077944320 239357 0 0 0 251721 288 0 0 20 0 15 0 60181381 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140735360921600 140528782528247 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
/proc/22355/statm: 3495183 815866 3250 1 0 3483476 0
[pid=22355/tid=22356] ppid=22353 vsize=13980732 memory=3263464 CPUtime=2476.3 cores=1,3,5,7
/proc/22355/task/22356/stat : 22356 (java) R 22353 22353 11586 0 -1 4202560 86081 0 0 0 247560 70 0 0 20 0 15 0 60181381 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140528786767712 140528401881034 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22357] ppid=22353 vsize=13980732 memory=3263464 CPUtime=8.15 cores=1,3,5,7
/proc/22355/task/22357/stat : 22357 (java) S 22353 22353 11586 0 -1 1077944384 21267 0 0 0 780 35 0 0 20 0 15 0 60181382 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140528716962576 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22358] ppid=22353 vsize=13980732 memory=3261416 CPUtime=8.14 cores=1,3,5,7
/proc/22355/task/22358/stat : 22358 (java) S 22353 22353 11586 0 -1 1077944384 20896 0 0 0 780 34 0 0 20 0 15 0 60181382 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140528715910032 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22359] ppid=22353 vsize=13980732 memory=3263464 CPUtime=8.15 cores=1,3,5,7
/proc/22355/task/22359/stat : 22359 (java) S 22353 22353 11586 0 -1 1077944384 20060 0 0 0 781 34 0 0 20 0 15 0 60181382 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140528714857488 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22360] ppid=22353 vsize=13980732 memory=1380 CPUtime=8.15 cores=1,3,5,7
/proc/22355/task/22360/stat : 22360 (java) S 22353 22353 11586 0 -1 1077944384 19175 0 0 0 782 33 0 0 20 0 15 0 60181382 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140528713804944 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22361] ppid=22353 vsize=13980732 memory=3263464 CPUtime=3.94 cores=1,3,5,7
/proc/22355/task/22361/stat : 22361 (java) S 22353 22353 11586 0 -1 1077944384 25655 0 0 0 361 33 0 0 20 0 15 0 60181384 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140527765780464 140528782539394 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22362] ppid=22353 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22362/stat : 22362 (java) S 22353 22353 11586 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 60181384 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140527764726752 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22363] ppid=22353 vsize=13980732 memory=164 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22363/stat : 22363 (java) S 22353 22353 11586 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 60181384 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140527763674112 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22364] ppid=22353 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22364/stat : 22364 (java) S 22353 22353 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60181387 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140527762622672 140528782546843 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22365] ppid=22353 vsize=13980732 memory=4060 CPUtime=2.42 cores=1,3,5,7
/proc/22355/task/22365/stat : 22365 (java) S 22353 22353 11586 0 -1 1077944384 13404 0 0 0 240 2 0 0 20 0 15 0 60181387 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140527761570288 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22366] ppid=22353 vsize=13980732 memory=3249128 CPUtime=2.6 cores=1,3,5,7
/proc/22355/task/22366/stat : 22366 (java) S 22353 22353 11586 0 -1 1077944384 15552 0 0 0 257 3 0 0 20 0 15 0 60181387 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140527760517744 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22367] ppid=22353 vsize=13980732 memory=190460324752762 CPUtime=0.74 cores=1,3,5,7
/proc/22355/task/22367/stat : 22367 (java) S 22353 22353 11586 0 -1 1077944384 13207 0 0 0 72 2 0 0 20 0 15 0 60181387 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140527759465200 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22368] ppid=22353 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/22355/task/22368/stat : 22368 (java) S 22353 22353 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60181387 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140527758412896 140528782538453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
[pid=22355/tid=22369] ppid=22353 vsize=13980732 memory=34116 CPUtime=1.41 cores=1,3,5,7
/proc/22355/task/22369/stat : 22369 (java) S 22353 22353 11586 0 -1 1077944384 2727 0 0 0 64 77 0 0 20 0 15 0 60181392 14316269568 815866 18446744073709551615 4194304 4196468 140735360939056 140527757359408 140528782539394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30437376 140735360942513 140735360942689 140735360942689 140735360946127 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3264844 KiB

Child status: 143
Real time (s): 2490.72
CPU time (s): 2520.13
CPU user time (s): 2517.23
CPU system time (s): 2.90362
CPU usage (%): 101.181
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 3452116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.23
system time used= 2.90362
maximum resident set size= 3453852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240239
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 158045
involuntary context switches= 6268


# summary of solver processes directly reported to runsolver:
#   pid: 22353,22355
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2517.23
#   total CPU system time (s): 2.90362

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1491 second user time and 24.6708 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml
MD5SUM	3c0366ff4baa9e19aea1ffc9dac5e4aa
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	57
Best CPU time to get the best result obtained on this benchmark	2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables	500
Number of constraints	62624
Number of domains	1
Minimum domain size	500
Maximum domain size	500
Distribution of domain sizes	[{"size":500,"count":500}]
Minimum variable degree	221
Maximum variable degree	287
Distribution of variable degrees	[{"degree":221,"count":2},{"degree":222,"count":1},{"degree":223,"count":2},{"degree":224,"count":1},{"degree":225,"count":1},{"degree":227,"count":1},{"degree":228,"count":2},{"degree":230,"count":1},{"degree":231,"count":4},{"degree":232,"count":4},{"degree":233,"count":3},{"degree":234,"count":4},{"degree":235,"count":8},{"degree":236,"count":17},{"degree":237,"count":4},{"degree":238,"count":11},{"degree":239,"count":6},{"degree":240,"count":11},{"degree":241,"count":9},{"degree":242,"count":14},{"degree":243,"count":14},{"degree":244,"count":12},{"degree":245,"count":13},{"degree":246,"count":17},{"degree":247,"count":14},"...",{"degree":257,"count":16}, {"degree":258,"count":9}, {"degree":259,"count":19}, {"degree":260,"count":19}, {"degree":261,"count":19}, {"degree":262,"count":14}, {"degree":263,"count":12}, {"degree":264,"count":6}, {"degree":265,"count":7}, {"degree":266,"count":8}, {"degree":267,"count":4}, {"degree":268,"count":6}, {"degree":269,"count":5}, {"degree":270,"count":8}, {"degree":271,"count":4}, {"degree":272,"count":2}, {"degree":273,"count":2}, {"degree":274,"count":1}, {"degree":275,"count":1}, {"degree":276,"count":1}, {"degree":277,"count":2}, {"degree":278,"count":1}, {"degree":280,"count":2}, {"degree":281,"count":1}, {"degree":287,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":62624}]
Number of extensional constraints	0
Number of intensional constraints	62624
Distribution of constraint types	[{"type":"intension","count":62624}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4269112

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
