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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 5a (2017-07-26)	SAT	4.4828601	1.68799
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 (14944 MiB free)
  memory of node 1: 16384 MiB (14712 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272710-1502737070/watcher-4272710-1502737070 -o /tmp/evaluation-result-4272710-1502737070/solver-4272710-1502737070 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1767791352 HOME/instance-4272710-1502737070.xml 

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

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=25721, runsolver pid=25718
Current StackSize limit: 8192 KiB


[startup+0.1002 s]*
/proc/loadavg: 2.57 2.09 1.86 3/205 25731
/proc/meminfo: memFree=30360472/32770624 swapFree=67108860/67108860
[pid=25721] ppid=25718 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25721/stat : 25721 (xcsp3-exec) S 25718 25721 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 75927605 9740288 344 18446744073709551615 4194304 5098028 140722782108656 140722782106760 140046866035324 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 32002048 140722782110072 140722782110277 140722782110277 140722782113771 0
/proc/25721/statm: 2378 344 289 221 0 87 0
[pid=25723] ppid=25721 vsize=13574484 memory=19756 CPUtime=0.04 cores=0,2,4,6
/proc/25723/stat : 25723 (java) S 25721 25721 897 0 -1 1077944320 4271 0 0 0 4 0 0 0 20 0 9 0 75927611 13900271616 4939 18446744073709551615 4194304 4196468 140724223678512 140724223661056 139705229143799 0 0 1 16800970 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
/proc/25723/statm: 3393621 4939 2135 1 0 3383118 0
[pid=25723/tid=25724] ppid=25721 vsize=13574484 memory=7311146985107750967 CPUtime=0.03 cores=0,2,4,6
/proc/25723/task/25724/stat : 25724 (java) R 25721 25721 897 0 -1 4202560 2985 0 0 0 3 0 0 0 20 0 9 0 75927612 13900271616 4939 18446744073709551615 4194304 4196468 140724223678512 139705233379192 139705229165725 0 4 1 16800970 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25725] ppid=25721 vsize=13574484 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25725/stat : 25725 (java) S 25721 25721 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 75927612 13900271616 4939 18446744073709551615 4194304 4196468 140724223678512 139705163578128 139705229154005 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25726] ppid=25721 vsize=13574484 memory=140373420552307 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25726/stat : 25726 (java) S 25721 25721 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 75927612 13900271616 4939 18446744073709551615 4194304 4196468 140724223678512 139705162525584 139705229154005 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25727] ppid=25721 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25727/stat : 25727 (java) S 25721 25721 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 75927612 13900271616 4939 18446744073709551615 4194304 4196468 140724223678512 139705161473040 139705229154005 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25728] ppid=25721 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25728/stat : 25728 (java) S 25721 25721 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 75927612 13900271616 4939 18446744073709551615 4194304 4196468 140724223678512 139705160420496 139705229154005 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25729] ppid=25721 vsize=13574484 memory=140373420529280 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25729/stat : 25729 (java) S 25721 25721 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 75927614 13900271616 4939 18446744073709551615 4194304 4196468 140724223678512 139704707545072 139705229154946 0 0 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25730] ppid=25721 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25730/stat : 25730 (java) S 25721 25721 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 75927614 13900271616 4939 18446744073709551615 4194304 4196468 140724223678512 139704706491296 139705229154005 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25731] ppid=25721 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25731/stat : 25731 (java) S 25721 25721 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 75927614 13900271616 4939 18446744073709551615 4194304 4196468 140724223678512 139704705438704 139705229154005 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 21132 KiB

[startup+0.210035 s]*
/proc/loadavg: 2.57 2.09 1.86 4/211 25737
/proc/meminfo: memFree=30352248/32770624 swapFree=67108860/67108860
[pid=25721] ppid=25718 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25721/stat : 25721 (xcsp3-exec) S 25718 25721 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 75927605 9740288 344 18446744073709551615 4194304 5098028 140722782108656 140722782106760 140046866035324 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 32002048 140722782110072 140722782110277 140722782110277 140722782113771 0
/proc/25721/statm: 2378 344 289 221 0 87 0
[pid=25723] ppid=25721 vsize=13974352 memory=28688 CPUtime=0.13 cores=0,2,4,6
/proc/25723/stat : 25723 (java) S 25721 25721 897 0 -1 1077944320 5568 0 0 0 13 0 0 0 20 0 15 0 75927611 14309736448 7172 18446744073709551615 4194304 4196468 140724223678512 140724223661056 139705229143799 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
/proc/25723/statm: 3493588 7172 2873 1 0 3482964 0
[pid=25723/tid=25724] ppid=25721 vsize=13974352 memory=7311146985107750967 CPUtime=0.09 cores=0,2,4,6
/proc/25723/task/25724/stat : 25724 (java) R 25721 25721 897 0 -1 4202560 3505 0 0 0 9 0 0 0 20 0 15 0 75927612 14309736448 7172 18446744073709551615 4194304 4196468 140724223678512 139705233377072 139705229165725 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25725] ppid=25721 vsize=13974352 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25725/stat : 25725 (java) S 25721 25721 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927612 14309736448 7172 18446744073709551615 4194304 4196468 140724223678512 139705163578128 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25726] ppid=25721 vsize=13974352 memory=140373420552307 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25726/stat : 25726 (java) S 25721 25721 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927612 14309736448 7172 18446744073709551615 4194304 4196468 140724223678512 139705162525584 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25727] ppid=25721 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25727/stat : 25727 (java) S 25721 25721 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927612 14309736448 7172 18446744073709551615 4194304 4196468 140724223678512 139705161473040 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25728] ppid=25721 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25728/stat : 25728 (java) S 25721 25721 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927612 14309736448 7172 18446744073709551615 4194304 4196468 140724223678512 139705160420496 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25729] ppid=25721 vsize=13974352 memory=140373420529280 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25729/stat : 25729 (java) S 25721 25721 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927614 14309736448 7172 18446744073709551615 4194304 4196468 140724223678512 139704707545072 139705229154946 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25730] ppid=25721 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25730/stat : 25730 (java) S 25721 25721 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75927614 14309736448 7172 18446744073709551615 4194304 4196468 140724223678512 139704706491296 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25731] ppid=25721 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25731/stat : 25731 (java) S 25721 25721 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75927614 14309736448 7172 18446744073709551615 4194304 4196468 140724223678512 139704705438704 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25732] ppid=25721 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25732/stat : 25732 (java) S 25721 25721 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927617 14309736448 7172 18446744073709551615 4194304 4196468 140724223678512 139704704387280 139705229162395 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25733] ppid=25721 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25733/stat : 25733 (java) S 25721 25721 897 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 75927617 14309736448 7172 18446744073709551615 4194304 4196468 140724223678512 139704703334896 139705229154946 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25734] ppid=25721 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25734/stat : 25734 (java) S 25721 25721 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927617 14309736448 7172 18446744073709551615 4194304 4196468 140724223678512 139704702282352 139705229154946 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25735] ppid=25721 vsize=13974352 memory=140373420529280 CPUtime=0.01 cores=0,2,4,6
/proc/25723/task/25735/stat : 25735 (java) R 25721 25721 897 0 -1 4202560 338 0 0 0 1 0 0 0 20 0 15 0 75927617 14309736448 7172 18446744073709551615 4194304 4196468 140724223678512 139704701229808 139705221380926 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25736] ppid=25721 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25736/stat : 25736 (java) S 25721 25721 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927617 14309736448 7172 18446744073709551615 4194304 4196468 140724223678512 139704700177504 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25737] ppid=25721 vsize=13974352 memory=140373420529280 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25737/stat : 25737 (java) S 25721 25721 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927622 14309736448 7172 18446744073709551615 4194304 4196468 140724223678512 139704699124016 139705229154946 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30064 KiB

[startup+0.310383 s]*
/proc/loadavg: 2.57 2.09 1.86 4/211 25737
/proc/meminfo: memFree=30339632/32770624 swapFree=67108860/67108860
[pid=25721] ppid=25718 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25721/stat : 25721 (xcsp3-exec) S 25718 25721 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 75927605 9740288 344 18446744073709551615 4194304 5098028 140722782108656 140722782106760 140046866035324 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 32002048 140722782110072 140722782110277 140722782110277 140722782113771 0
/proc/25721/statm: 2378 344 289 221 0 87 0
[pid=25723] ppid=25721 vsize=13978608 memory=40000 CPUtime=0.34 cores=0,2,4,6
/proc/25723/stat : 25723 (java) S 25721 25721 897 0 -1 1077944320 9262 0 0 0 31 3 0 0 20 0 15 0 75927611 14314094592 10000 18446744073709551615 4194304 4196468 140724223678512 140724223661056 139705229143799 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
/proc/25723/statm: 3494652 10000 3004 1 0 3482964 0
[pid=25723/tid=25724] ppid=25721 vsize=13978608 memory=-8774313645642428999 CPUtime=0.2 cores=0,2,4,6
/proc/25723/task/25724/stat : 25724 (java) R 25721 25721 897 0 -1 4202560 6392 0 0 0 18 2 0 0 20 0 15 0 75927612 14314094592 10000 18446744073709551615 4194304 4196468 140724223678512 139705233364792 139705213224286 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25725] ppid=25721 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25725/stat : 25725 (java) S 25721 25721 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927612 14314094592 10000 18446744073709551615 4194304 4196468 140724223678512 139705163578128 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25726] ppid=25721 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25726/stat : 25726 (java) S 25721 25721 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927612 14314094592 10000 18446744073709551615 4194304 4196468 140724223678512 139705162525584 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25727] ppid=25721 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25727/stat : 25727 (java) S 25721 25721 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927612 14314094592 10000 18446744073709551615 4194304 4196468 140724223678512 139705161473040 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25728] ppid=25721 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25728/stat : 25728 (java) S 25721 25721 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927612 14314094592 10000 18446744073709551615 4194304 4196468 140724223678512 139705160420496 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25729] ppid=25721 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25729/stat : 25729 (java) S 25721 25721 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927614 14314094592 10000 18446744073709551615 4194304 4196468 140724223678512 139704707545072 139705229154946 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25730] ppid=25721 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25730/stat : 25730 (java) S 25721 25721 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75927614 14314094592 10000 18446744073709551615 4194304 4196468 140724223678512 139704706491296 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25731] ppid=25721 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25731/stat : 25731 (java) S 25721 25721 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75927614 14314094592 10000 18446744073709551615 4194304 4196468 140724223678512 139704705438704 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25732] ppid=25721 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25732/stat : 25732 (java) S 25721 25721 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927617 14314094592 10000 18446744073709551615 4194304 4196468 140724223678512 139704704387280 139705229162395 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25733] ppid=25721 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25723/task/25733/stat : 25733 (java) S 25721 25721 897 0 -1 1077944384 705 0 0 0 2 0 0 0 20 0 15 0 75927617 14314094592 10000 18446744073709551615 4194304 4196468 140724223678512 139704703334896 139705229154946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25734] ppid=25721 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25723/task/25734/stat : 25734 (java) S 25721 25721 897 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 15 0 75927617 14314094592 10000 18446744073709551615 4194304 4196468 140724223678512 139704702282352 139705229154946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25735] ppid=25721 vsize=13978608 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25723/task/25735/stat : 25735 (java) S 25721 25721 897 0 -1 1077944384 756 0 0 0 7 0 0 0 20 0 15 0 75927617 14314094592 10000 18446744073709551615 4194304 4196468 140724223678512 139704701229808 139705229154946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25736] ppid=25721 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25736/stat : 25736 (java) S 25721 25721 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927617 14314094592 10000 18446744073709551615 4194304 4196468 140724223678512 139704700177504 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25737] ppid=25721 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25737/stat : 25737 (java) S 25721 25721 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927622 14314094592 10000 18446744073709551615 4194304 4196468 140724223678512 139704699124016 139705229154946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41376 KiB

[startup+0.700719 s]
/proc/loadavg: 2.57 2.09 1.86 5/211 25737
/proc/meminfo: memFree=30322368/32770624 swapFree=67108860/67108860
[pid=25721] ppid=25718 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25721/stat : 25721 (xcsp3-exec) S 25718 25721 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 75927605 9740288 344 18446744073709551615 4194304 5098028 140722782108656 140722782106760 140046866035324 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 32002048 140722782110072 140722782110277 140722782110277 140722782113771 0
/proc/25721/statm: 2378 344 289 221 0 87 0
[pid=25723] ppid=25721 vsize=13980732 memory=78152 CPUtime=1.41 cores=0,2,4,6
/proc/25723/stat : 25723 (java) S 25721 25721 897 0 -1 1077944320 14076 0 0 0 136 5 0 0 20 0 15 0 75927611 14316269568 19538 18446744073709551615 4194304 4196468 140724223678512 140724223661056 139705229143799 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
/proc/25723/statm: 3495183 19538 3168 1 0 3483476 0
[pid=25723/tid=25724] ppid=25721 vsize=13980732 memory=6935649255759568960 CPUtime=0.57 cores=0,2,4,6
/proc/25723/task/25724/stat : 25724 (java) R 25721 25721 897 0 -1 4202560 8416 0 0 0 54 3 0 0 20 0 15 0 75927612 14316269568 19538 18446744073709551615 4194304 4196468 140724223678512 139705233382176 139704837548181 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25725] ppid=25721 vsize=13980732 memory=6935652631620640832 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25725/stat : 25725 (java) S 25721 25721 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927612 14316269568 19538 18446744073709551615 4194304 4196468 140724223678512 139705163578128 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25726] ppid=25721 vsize=13980732 memory=7100839861566347365 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25726/stat : 25726 (java) S 25721 25721 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927612 14316269568 19538 18446744073709551615 4194304 4196468 140724223678512 139705162525584 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25727] ppid=25721 vsize=13980732 memory=5859278125529317472 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25727/stat : 25727 (java) S 25721 25721 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927612 14316269568 19538 18446744073709551615 4194304 4196468 140724223678512 139705161473040 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25728] ppid=25721 vsize=13980732 memory=6935649255759568981 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25728/stat : 25728 (java) S 25721 25721 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927612 14316269568 19538 18446744073709551615 4194304 4196468 140724223678512 139705160420496 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25729] ppid=25721 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25729/stat : 25729 (java) S 25721 25721 897 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 75927614 14316269568 19538 18446744073709551615 4194304 4196468 140724223678512 139704707545072 139705229154946 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25730] ppid=25721 vsize=13980732 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25730/stat : 25730 (java) S 25721 25721 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75927614 14316269568 19538 18446744073709551615 4194304 4196468 140724223678512 139704706491296 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25731] ppid=25721 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25731/stat : 25731 (java) S 25721 25721 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75927614 14316269568 19538 18446744073709551615 4194304 4196468 140724223678512 139704705438704 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25732] ppid=25721 vsize=13980732 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25732/stat : 25732 (java) S 25721 25721 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927617 14316269568 19538 18446744073709551615 4194304 4196468 140724223678512 139704704387280 139705229162395 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25733] ppid=25721 vsize=13980732 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/25723/task/25733/stat : 25733 (java) S 25721 25721 897 0 -1 1077944384 1412 0 0 0 21 0 0 0 20 0 15 0 75927617 14316269568 19538 18446744073709551615 4194304 4196468 140724223678512 139704703334896 139705229154946 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25734] ppid=25721 vsize=13980732 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/25723/task/25734/stat : 25734 (java) R 25721 25721 897 0 -1 4202560 1052 0 0 0 27 0 0 0 20 0 15 0 75927617 14316269568 19538 18446744073709551615 4194304 4196468 140724223678512 139704702282448 139705215176783 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25735] ppid=25721 vsize=13980732 memory=2529 CPUtime=0.31 cores=0,2,4,6
/proc/25723/task/25735/stat : 25735 (java) S 25721 25721 897 0 -1 1077944384 1889 0 0 0 31 0 0 0 20 0 15 0 75927617 14316269568 19538 18446744073709551615 4194304 4196468 140724223678512 139704701229808 139705229154946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25736] ppid=25721 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25736/stat : 25736 (java) S 25721 25721 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927617 14316269568 19538 18446744073709551615 4194304 4196468 140724223678512 139704700177504 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25737] ppid=25721 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25737/stat : 25737 (java) S 25721 25721 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927622 14316269568 19538 18446744073709551615 4194304 4196468 140724223678512 139704699124016 139705229154946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 79528 KiB

[startup+1.50079 s]
/proc/loadavg: 2.52 2.08 1.86 6/211 25737
/proc/meminfo: memFree=30278260/32770624 swapFree=67108860/67108860
[pid=25721] ppid=25718 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25721/stat : 25721 (xcsp3-exec) S 25718 25721 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 75927605 9740288 344 18446744073709551615 4194304 5098028 140722782108656 140722782106760 140046866035324 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 32002048 140722782110072 140722782110277 140722782110277 140722782113771 0
/proc/25721/statm: 2378 344 289 221 0 87 0
[pid=25723] ppid=25721 vsize=13980732 memory=125664 CPUtime=3.96 cores=0,2,4,6
/proc/25723/stat : 25723 (java) S 25721 25721 897 0 -1 1077944320 27328 0 0 0 390 6 0 0 20 0 15 0 75927611 14316269568 31416 18446744073709551615 4194304 4196468 140724223678512 140724223661056 139705229143799 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
/proc/25723/statm: 3495183 31416 3196 1 0 3483476 0
[pid=25723/tid=25724] ppid=25721 vsize=13980732 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/25723/task/25724/stat : 25724 (java) R 25721 25721 897 0 -1 4202560 9522 0 0 0 133 3 0 0 20 0 15 0 75927612 14316269568 31416 18446744073709551615 4194304 4196468 140724223678512 139705233383056 139704839161301 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25725] ppid=25721 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25725/stat : 25725 (java) S 25721 25721 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927612 14316269568 31416 18446744073709551615 4194304 4196468 140724223678512 139705163578128 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25726] ppid=25721 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25726/stat : 25726 (java) S 25721 25721 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927612 14316269568 31416 18446744073709551615 4194304 4196468 140724223678512 139705162525584 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25727] ppid=25721 vsize=13980732 memory=78152 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25727/stat : 25727 (java) S 25721 25721 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927612 14316269568 31416 18446744073709551615 4194304 4196468 140724223678512 139705161473040 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25728] ppid=25721 vsize=13980732 memory=221019017103618 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25728/stat : 25728 (java) S 25721 25721 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927612 14316269568 31416 18446744073709551615 4194304 4196468 140724223678512 139705160420496 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25729] ppid=25721 vsize=13980732 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25729/stat : 25729 (java) S 25721 25721 897 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 75927614 14316269568 31416 18446744073709551615 4194304 4196468 140724223678512 139704707545072 139705229154946 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25730] ppid=25721 vsize=13980732 memory=280746577123040 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25730/stat : 25730 (java) S 25721 25721 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75927614 14316269568 31416 18446744073709551615 4194304 4196468 140724223678512 139704706491296 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25731] ppid=25721 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25731/stat : 25731 (java) S 25721 25721 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75927614 14316269568 31416 18446744073709551615 4194304 4196468 140724223678512 139704705438704 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25732] ppid=25721 vsize=13980732 memory=280746577142272 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25732/stat : 25732 (java) S 25721 25721 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927617 14316269568 31416 18446744073709551615 4194304 4196468 140724223678512 139704704387280 139705229162395 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25733] ppid=25721 vsize=13980732 memory=6944656592455097440 CPUtime=0.97 cores=0,2,4,6
/proc/25723/task/25733/stat : 25733 (java) R 25721 25721 897 0 -1 4202560 6643 0 0 0 96 1 0 0 20 0 15 0 75927617 14316269568 31416 18446744073709551615 4194304 4196468 140724223678512 139704703321328 139705208997360 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25734] ppid=25721 vsize=13980732 memory=6944656592455359545 CPUtime=1.02 cores=0,2,4,6
/proc/25723/task/25734/stat : 25734 (java) R 25721 25721 897 0 -1 4202560 5874 0 0 0 102 0 0 0 20 0 15 0 75927617 14316269568 31416 18446744073709551615 4194304 4196468 140724223678512 139704702270592 139705207160778 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25735] ppid=25721 vsize=13980732 memory=-2026666227646604569 CPUtime=0.58 cores=0,2,4,6
/proc/25723/task/25735/stat : 25735 (java) S 25721 25721 897 0 -1 1077944384 3979 0 0 0 57 1 0 0 20 0 15 0 75927617 14316269568 31416 18446744073709551615 4194304 4196468 140724223678512 139704701229808 139705229154946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25736] ppid=25721 vsize=13980732 memory=5457 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25736/stat : 25736 (java) S 25721 25721 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927617 14316269568 31416 18446744073709551615 4194304 4196468 140724223678512 139704700177504 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25737] ppid=25721 vsize=13980732 memory=4279353494052561728 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25737/stat : 25737 (java) S 25721 25721 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927622 14316269568 31416 18446744073709551615 4194304 4196468 140724223678512 139704699124016 139705229154946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
Current children cumulated CPU time: 3.96 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 127040 KiB

[startup+1.68794 s]
# the end of solver process 25721 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.40696 s, system=0.075899 s

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

[startup+1.60091 s]
/proc/loadavg: 2.52 2.08 1.86 6/211 25737
/proc/meminfo: memFree=30278260/32770624 swapFree=67108860/67108860
[pid=25721] ppid=25718 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/25721/stat : 25721 (xcsp3-exec) S 25718 25721 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 75927605 9740288 344 18446744073709551615 4194304 5098028 140722782108656 140722782106760 140046866035324 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 5 0 0 7196144 7232144 32002048 140722782110072 140722782110277 140722782110277 140722782113771 0
/proc/25721/statm: 2378 344 289 221 0 87 0
[pid=25723] ppid=25721 vsize=13980732 memory=129856 CPUtime=4.27 cores=0,2,4,6
/proc/25723/stat : 25723 (java) S 25721 25721 897 0 -1 1077944320 27465 0 0 0 421 6 0 0 20 0 15 0 75927611 14316269568 32464 18446744073709551615 4194304 4196468 140724223678512 140724223661056 139705229143799 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
/proc/25723/statm: 3495183 32464 3196 1 0 3483476 0
[pid=25723/tid=25724] ppid=25721 vsize=13980732 memory=1712 CPUtime=1.46 cores=0,2,4,6
/proc/25723/task/25724/stat : 25724 (java) R 25721 25721 897 0 -1 4202560 9525 0 0 0 143 3 0 0 20 0 15 0 75927612 14316269568 32464 18446744073709551615 4194304 4196468 140724223678512 139705233383056 139704840374611 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25725] ppid=25721 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25725/stat : 25725 (java) S 25721 25721 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927612 14316269568 32464 18446744073709551615 4194304 4196468 140724223678512 139705163578128 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25726] ppid=25721 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25726/stat : 25726 (java) S 25721 25721 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927612 14316269568 32464 18446744073709551615 4194304 4196468 140724223678512 139705162525584 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25727] ppid=25721 vsize=13980732 memory=10164 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25727/stat : 25727 (java) S 25721 25721 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75927612 14316269568 32464 18446744073709551615 4194304 4196468 140724223678512 139705161473040 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25728] ppid=25721 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25728/stat : 25728 (java) S 25721 25721 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75927612 14316269568 32464 18446744073709551615 4194304 4196468 140724223678512 139705160420496 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25729] ppid=25721 vsize=13980732 memory=2000 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25729/stat : 25729 (java) S 25721 25721 897 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 75927614 14316269568 32464 18446744073709551615 4194304 4196468 140724223678512 139704707545072 139705229154946 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25730] ppid=25721 vsize=13980732 memory=11000 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25730/stat : 25730 (java) S 25721 25721 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75927614 14316269568 32464 18446744073709551615 4194304 4196468 140724223678512 139704706491296 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25731] ppid=25721 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25731/stat : 25731 (java) S 25721 25721 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75927614 14316269568 32464 18446744073709551615 4194304 4196468 140724223678512 139704705438704 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25732] ppid=25721 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25732/stat : 25732 (java) S 25721 25721 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927617 14316269568 32464 18446744073709551615 4194304 4196468 140724223678512 139704704387280 139705229162395 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25733] ppid=25721 vsize=13980732 memory=0 CPUtime=1.07 cores=0,2,4,6
/proc/25723/task/25733/stat : 25733 (java) R 25721 25721 897 0 -1 4202560 6677 0 0 0 106 1 0 0 20 0 15 0 75927617 14316269568 32464 18446744073709551615 4194304 4196468 140724223678512 139704703321328 139705214258879 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25734] ppid=25721 vsize=13980732 memory=-3040564339105353098 CPUtime=1.12 cores=0,2,4,6
/proc/25723/task/25734/stat : 25734 (java) R 25721 25721 897 0 -1 4202560 5899 0 0 0 112 0 0 0 20 0 15 0 75927617 14316269568 32464 18446744073709551615 4194304 4196468 140724223678512 139704702272144 139705207160787 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25735] ppid=25721 vsize=13980732 memory=-6654736624938269017 CPUtime=0.59 cores=0,2,4,6
/proc/25723/task/25735/stat : 25735 (java) S 25721 25721 897 0 -1 1077944384 4054 0 0 0 58 1 0 0 20 0 15 0 75927617 14316269568 32464 18446744073709551615 4194304 4196468 140724223678512 139704701229808 139705229154946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25736] ppid=25721 vsize=13980732 memory=-6368199152461293606 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25736/stat : 25736 (java) S 25721 25721 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927617 14316269568 32464 18446744073709551615 4194304 4196468 140724223678512 139704700177504 139705229154005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
[pid=25723/tid=25737] ppid=25721 vsize=13980732 memory=-7161732098441943118 CPUtime=0 cores=0,2,4,6
/proc/25723/task/25737/stat : 25737 (java) S 25721 25721 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75927622 14316269568 32464 18446744073709551615 4194304 4196468 140724223678512 139704699124016 139705229154946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140724223685041 140724223685217 140724223685217 140724223688655 0
Current children cumulated CPU time: 4.27 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 131232 KiB

Child status: 0
Real time (s): 1.68799
CPU time (s): 4.48286
CPU user time (s): 4.40696
CPU system time (s): 0.075899
CPU usage (%): 265.574
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 131232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.40696
system time used= 0.075899
maximum resident set size= 136928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28891
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1979
involuntary context switches= 16


# summary of solver processes directly reported to runsolver:
#   pid: 25721
#   total CPU time (s): 4.48286
#   total CPU user time (s): 4.40696
#   total CPU system time (s): 0.075899

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029287 second user time and 0.060365 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-37-sum.xml
MD5SUM	069666c245bd9cd0e4e347c297fd6ca1
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.105976
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	2237
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":600}]
Minimum variable degree	3
Maximum variable degree	11
Distribution of variable degrees	[{"degree":3,"count":3},{"degree":4,"count":12},{"degree":5,"count":51},{"degree":6,"count":81},{"degree":7,"count":99},{"degree":8,"count":132},{"degree":9,"count":135},{"degree":10,"count":45},{"degree":11,"count":42}]
Minimum constraint arity	2
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":2,"count":2037},{"arity":3,"count":200}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2237}]
Optimization problem	NO
Type of objective
Trace number 4272710

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
