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

Solver Name	Answer	CPU time	Wall clock time
OscaR - Conflict Ordering 2017-07-26	SAT	4.7821798	2.6772699
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 (15207 MiB free)
  memory of node 1: 16384 MiB (15441 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274179-1502745773/watcher-4274179-1502745773 -o /tmp/evaluation-result-4274179-1502745773/solver-4274179-1502745773 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10388 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 169061826 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274179-1502745773.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=28423, runsolver pid=28420
Current StackSize limit: 8192 KiB


[startup+0.100115 s]*
/proc/loadavg: 2.18 1.85 1.60 5/195 28424
/proc/meminfo: memFree=31370312/32770624 swapFree=67105588/67108860
[pid=28423] ppid=28420 vsize=13356344 memory=10696 CPUtime=0 cores=1,3,5,7
/proc/28423/stat : 28423 (java) S 28420 28423 12560 0 -1 1077944320 2490 0 0 0 0 0 0 0 20 0 6 0 76772710 13676896256 2674 18446744073709551615 4194304 4196468 140732973622752 140732973605296 140467354021623 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
/proc/28423/statm: 3339086 2674 1213 1 0 3329056 0
[pid=28423/tid=28425] ppid=28420 vsize=13356344 memory=-6439968830534014599 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28425/stat : 28425 (java) R 28420 28423 12560 0 -1 4202560 1173 0 0 0 0 0 0 0 20 0 6 0 76772720 13676896256 2674 18446744073709551615 4194304 4196468 140732973622752 140467358263400 140467337725456 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28426] ppid=28420 vsize=13356344 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28426/stat : 28426 (java) S 28420 28423 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 76772721 13676896256 2674 18446744073709551615 4194304 4196468 140732973622752 140467310987536 140467354031829 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28427] ppid=28420 vsize=13356344 memory=139765150992000 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28427/stat : 28427 (java) S 28420 28423 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 76772721 13676896256 2674 18446744073709551615 4194304 4196468 140732973622752 140467309934992 140467354031829 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28428] ppid=28420 vsize=13356344 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28428/stat : 28428 (java) S 28420 28423 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 76772721 13676896256 2674 18446744073709551615 4194304 4196468 140732973622752 140466951744016 140467354031829 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28429] ppid=28420 vsize=13356344 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28429/stat : 28429 (java) S 28420 28423 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 76772721 13676896256 2674 18446744073709551615 4194304 4196468 140732973622752 140466950691472 140467354031829 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13356344 KiB
Current children cumulated memory: 10696 KiB

[startup+0.209649 s]*
/proc/loadavg: 2.18 1.85 1.60 8/209 28438
/proc/meminfo: memFree=31335384/32770624 swapFree=67105588/67108860
[pid=28423] ppid=28420 vsize=13975920 memory=28224 CPUtime=0.08 cores=1,3,5,7
/proc/28423/stat : 28423 (java) S 28420 28423 12560 0 -1 1077944320 6839 0 0 0 6 2 0 0 20 0 15 0 76772710 14311342080 7014 18446744073709551615 4194304 4196468 140732973622752 140732973605296 140467354021623 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
/proc/28423/statm: 3493980 7056 3351 1 0 3482759 0
[pid=28423/tid=28425] ppid=28420 vsize=13975920 memory=8318255677412212789 CPUtime=0.06 cores=1,3,5,7
/proc/28423/task/28425/stat : 28425 (java) R 28420 28423 12560 0 -1 4202560 4864 0 0 0 5 1 0 0 20 0 15 0 76772720 14311342080 7056 18446744073709551615 4194304 4196468 140732973622752 140467358248512 140467346258750 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28426] ppid=28420 vsize=13975920 memory=328 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28426/stat : 28426 (java) S 28420 28423 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772721 14311342080 7056 18446744073709551615 4194304 4196468 140732973622752 140467310987536 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28427] ppid=28420 vsize=13975920 memory=139765151730535 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28427/stat : 28427 (java) S 28420 28423 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772721 14311342080 7056 18446744073709551615 4194304 4196468 140732973622752 140467309934992 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28428] ppid=28420 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28428/stat : 28428 (java) S 28420 28423 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76772721 14311342080 7056 18446744073709551615 4194304 4196468 140732973622752 140466951744016 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28429] ppid=28420 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28429/stat : 28429 (java) S 28420 28423 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76772721 14311342080 7056 18446744073709551615 4194304 4196468 140732973622752 140466950691472 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28430] ppid=28420 vsize=13975920 memory=139765150992000 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28430/stat : 28430 (java) S 28420 28423 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76772722 14311342080 7056 18446744073709551615 4194304 4196468 140732973622752 140466833037808 140467354032770 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28431] ppid=28420 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28431/stat : 28431 (java) S 28420 28423 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76772723 14311342080 7056 18446744073709551615 4194304 4196468 140732973622752 140466831984032 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28432] ppid=28420 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28432/stat : 28432 (java) S 28420 28423 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76772723 14311342080 7056 18446744073709551615 4194304 4196468 140732973622752 140466830931440 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28433] ppid=28420 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28433/stat : 28433 (java) S 28420 28423 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772725 14311342080 7056 18446744073709551615 4194304 4196468 140732973622752 140466829880016 140467354040219 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28434] ppid=28420 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28434/stat : 28434 (java) S 28420 28423 12560 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 76772725 14311342080 7056 18446744073709551615 4194304 4196468 140732973622752 140466828826608 140467354032770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28435] ppid=28420 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28435/stat : 28435 (java) S 28420 28423 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772725 14311342080 7056 18446744073709551615 4194304 4196468 140732973622752 140466827774064 140467354032770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28436] ppid=28420 vsize=13975920 memory=139765150992000 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28436/stat : 28436 (java) S 28420 28423 12560 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 76772725 14311342080 7056 18446744073709551615 4194304 4196468 140732973622752 140466826721520 140467354032770 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28437] ppid=28420 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28437/stat : 28437 (java) S 28420 28423 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772725 14311342080 7056 18446744073709551615 4194304 4196468 140732973622752 140466825669216 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28438] ppid=28420 vsize=13975920 memory=139765150992000 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28438/stat : 28438 (java) S 28420 28423 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772730 14311342080 7056 18446744073709551615 4194304 4196468 140732973622752 140466824616752 140467354032770 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 28224 KiB

[startup+0.313964 s]*
/proc/loadavg: 2.18 1.85 1.60 5/209 28438
/proc/meminfo: memFree=31312676/32770624 swapFree=67105588/67108860
[pid=28423] ppid=28420 vsize=13975920 memory=39824 CPUtime=0.24 cores=1,3,5,7
/proc/28423/stat : 28423 (java) S 28420 28423 12560 0 -1 1077944320 10197 0 0 0 21 3 0 0 20 0 15 0 76772710 14311342080 9956 18446744073709551615 4194304 4196468 140732973622752 140732973605296 140467354021623 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
/proc/28423/statm: 3493980 9956 3541 1 0 3482759 0
[pid=28423/tid=28425] ppid=28420 vsize=13975920 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/28423/task/28425/stat : 28425 (java) R 28420 28423 12560 0 -1 4202560 7921 0 0 0 14 3 0 0 20 0 15 0 76772720 14311342080 9956 18446744073709551615 4194304 4196468 140732973622752 140467358238608 140467338102110 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28426] ppid=28420 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28426/stat : 28426 (java) S 28420 28423 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772721 14311342080 9956 18446744073709551615 4194304 4196468 140732973622752 140467310987536 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28427] ppid=28420 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28427/stat : 28427 (java) S 28420 28423 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772721 14311342080 9956 18446744073709551615 4194304 4196468 140732973622752 140467309934992 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28428] ppid=28420 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28428/stat : 28428 (java) S 28420 28423 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76772721 14311342080 9956 18446744073709551615 4194304 4196468 140732973622752 140466951744016 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28429] ppid=28420 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28429/stat : 28429 (java) S 28420 28423 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76772721 14311342080 9956 18446744073709551615 4194304 4196468 140732973622752 140466950691472 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28430] ppid=28420 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28430/stat : 28430 (java) S 28420 28423 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76772722 14311342080 9956 18446744073709551615 4194304 4196468 140732973622752 140466833037808 140467354032770 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28431] ppid=28420 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28431/stat : 28431 (java) S 28420 28423 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76772723 14311342080 9956 18446744073709551615 4194304 4196468 140732973622752 140466831984032 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28432] ppid=28420 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28432/stat : 28432 (java) S 28420 28423 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76772723 14311342080 9956 18446744073709551615 4194304 4196468 140732973622752 140466830931440 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28433] ppid=28420 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28433/stat : 28433 (java) S 28420 28423 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772725 14311342080 9956 18446744073709551615 4194304 4196468 140732973622752 140466829880016 140467354040219 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28434] ppid=28420 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28423/task/28434/stat : 28434 (java) R 28420 28423 12560 0 -1 1077944384 330 0 0 0 1 0 0 0 20 0 15 0 76772725 14311342080 9956 18446744073709551615 4194304 4196468 140732973622752 140466828826608 140467354032770 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28435] ppid=28420 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28435/stat : 28435 (java) R 28420 28423 12560 0 -1 1077944384 184 0 0 0 0 0 0 0 20 0 15 0 76772725 14311342080 9956 18446744073709551615 4194304 4196468 140732973622752 140466827774064 140467354032770 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28436] ppid=28420 vsize=13975920 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/28423/task/28436/stat : 28436 (java) S 28420 28423 12560 0 -1 1077944384 379 0 0 0 4 0 0 0 20 0 15 0 76772725 14311342080 9956 18446744073709551615 4194304 4196468 140732973622752 140466826721520 140467354032770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28437] ppid=28420 vsize=13975920 memory=139765150992000 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28437/stat : 28437 (java) S 28420 28423 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772725 14311342080 9956 18446744073709551615 4194304 4196468 140732973622752 140466825669216 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28438] ppid=28420 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28438/stat : 28438 (java) S 28420 28423 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772730 14311342080 9956 18446744073709551615 4194304 4196468 140732973622752 140466824616752 140467354032770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39824 KiB

[startup+0.701003 s]
/proc/loadavg: 2.18 1.85 1.60 5/209 28438
/proc/meminfo: memFree=31276676/32770624 swapFree=67105588/67108860
[pid=28423] ppid=28420 vsize=13977988 memory=66264 CPUtime=1.03 cores=1,3,5,7
/proc/28423/stat : 28423 (java) S 28420 28423 12560 0 -1 1077944320 13743 0 0 0 97 6 0 0 20 0 15 0 76772710 14313459712 16566 18446744073709551615 4194304 4196468 140732973622752 140732973605296 140467354021623 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
/proc/28423/statm: 3494497 16566 3724 1 0 3483271 0
[pid=28423/tid=28425] ppid=28420 vsize=13977988 memory=53 CPUtime=0.53 cores=1,3,5,7
/proc/28423/task/28425/stat : 28425 (java) R 28420 28423 12560 0 -1 4202560 10314 0 0 0 49 4 0 0 20 0 15 0 76772720 14313459712 16566 18446744073709551615 4194304 4196468 140732973622752 140467358256624 140466990438981 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28426] ppid=28420 vsize=13977988 memory=2209 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28426/stat : 28426 (java) S 28420 28423 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772721 14313459712 16566 18446744073709551615 4194304 4196468 140732973622752 140467310987536 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28427] ppid=28420 vsize=13977988 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28427/stat : 28427 (java) S 28420 28423 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772721 14313459712 16566 18446744073709551615 4194304 4196468 140732973622752 140467309934992 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28428] ppid=28420 vsize=13977988 memory=33 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28428/stat : 28428 (java) S 28420 28423 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76772721 14313459712 16566 18446744073709551615 4194304 4196468 140732973622752 140466951744016 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28429] ppid=28420 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28429/stat : 28429 (java) S 28420 28423 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76772721 14313459712 16566 18446744073709551615 4194304 4196468 140732973622752 140466950691472 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28430] ppid=28420 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28430/stat : 28430 (java) S 28420 28423 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76772722 14313459712 16566 18446744073709551615 4194304 4196468 140732973622752 140466833037808 140467354032770 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28431] ppid=28420 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28431/stat : 28431 (java) S 28420 28423 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76772723 14313459712 16566 18446744073709551615 4194304 4196468 140732973622752 140466831984032 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28432] ppid=28420 vsize=13977988 memory=279530027701904 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28432/stat : 28432 (java) S 28420 28423 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76772723 14313459712 16566 18446744073709551615 4194304 4196468 140732973622752 140466830931440 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28433] ppid=28420 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28433/stat : 28433 (java) S 28420 28423 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772725 14313459712 16566 18446744073709551615 4194304 4196468 140732973622752 140466829880016 140467354040219 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28434] ppid=28420 vsize=13977988 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/28423/task/28434/stat : 28434 (java) R 28420 28423 12560 0 -1 4202560 690 0 0 0 14 0 0 0 20 0 15 0 76772725 14313459712 16566 18446744073709551615 4194304 4196468 140732973622752 140466828826904 140467335546818 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28435] ppid=28420 vsize=13977988 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/28423/task/28435/stat : 28435 (java) R 28420 28423 12560 0 -1 4202560 541 0 0 0 10 0 0 0 20 0 15 0 76772725 14313459712 16566 18446744073709551615 4194304 4196468 140732973622752 140466827773248 140467354042970 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28436] ppid=28420 vsize=13977988 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/28423/task/28436/stat : 28436 (java) R 28420 28423 12560 0 -1 4202560 815 0 0 0 23 0 0 0 20 0 15 0 76772725 14313459712 16566 18446744073709551615 4194304 4196468 140732973622752 140466826716592 140467354042970 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28437] ppid=28420 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28437/stat : 28437 (java) S 28420 28423 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772725 14313459712 16566 18446744073709551615 4194304 4196468 140732973622752 140466825669216 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28438] ppid=28420 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28438/stat : 28438 (java) S 28420 28423 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772730 14313459712 16566 18446744073709551615 4194304 4196468 140732973622752 140466824616752 140467354032770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 66264 KiB

[startup+1.50069 s]
/proc/loadavg: 2.18 1.85 1.60 3/209 28438
/proc/meminfo: memFree=31193520/32770624 swapFree=67105588/67108860
[pid=28423] ppid=28420 vsize=13980036 memory=165048 CPUtime=3.34 cores=1,3,5,7
/proc/28423/stat : 28423 (java) S 28420 28423 12560 0 -1 1077944320 29429 0 0 0 323 11 0 0 20 0 15 0 76772710 14315556864 41262 18446744073709551615 4194304 4196468 140732973622752 140732973605296 140467354021623 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
/proc/28423/statm: 3495009 41262 3761 1 0 3483783 0
[pid=28423/tid=28425] ppid=28420 vsize=13980036 memory=-8774313645642428999 CPUtime=1.33 cores=1,3,5,7
/proc/28423/task/28425/stat : 28425 (java) R 28420 28423 12560 0 -1 4202560 13968 0 0 0 126 7 0 0 20 0 15 0 76772720 14315556864 41262 18446744073709551615 4194304 4196468 140732973622752 140467358259928 140467354033558 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28426] ppid=28420 vsize=13980036 memory=7674596115929182250 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28426/stat : 28426 (java) S 28420 28423 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772721 14315556864 41262 18446744073709551615 4194304 4196468 140732973622752 140467310987536 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28427] ppid=28420 vsize=13980036 memory=4638778398333030736 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28427/stat : 28427 (java) S 28420 28423 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772721 14315556864 41262 18446744073709551615 4194304 4196468 140732973622752 140467309934992 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28428] ppid=28420 vsize=13980036 memory=2984339746955739232 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28428/stat : 28428 (java) S 28420 28423 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76772721 14315556864 41262 18446744073709551615 4194304 4196468 140732973622752 140466951744016 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28429] ppid=28420 vsize=13980036 memory=4638778406922633312 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28429/stat : 28429 (java) S 28420 28423 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76772721 14315556864 41262 18446744073709551615 4194304 4196468 140732973622752 140466950691472 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28430] ppid=28420 vsize=13980036 memory=-9123011406873206402 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28430/stat : 28430 (java) S 28420 28423 12560 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 76772722 14315556864 41262 18446744073709551615 4194304 4196468 140732973622752 140466833037808 140467354032770 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28431] ppid=28420 vsize=13980036 memory=4346044353833085232 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28431/stat : 28431 (java) S 28420 28423 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76772723 14315556864 41262 18446744073709551615 4194304 4196468 140732973622752 140466831984032 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28432] ppid=28420 vsize=13980036 memory=-8253362664916754368 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28432/stat : 28432 (java) S 28420 28423 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76772723 14315556864 41262 18446744073709551615 4194304 4196468 140732973622752 140466830931440 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28433] ppid=28420 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28433/stat : 28433 (java) S 28420 28423 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772725 14315556864 41262 18446744073709551615 4194304 4196468 140732973622752 140466829880016 140467354040219 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28434] ppid=28420 vsize=13980036 memory=-3395018512012312664 CPUtime=0.73 cores=1,3,5,7
/proc/28423/task/28434/stat : 28434 (java) R 28420 28423 12560 0 -1 4202560 4432 0 0 0 73 0 0 0 20 0 15 0 76772725 14315556864 41262 18446744073709551615 4194304 4196468 140732973622752 140466828813392 140467338360592 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28435] ppid=28420 vsize=13980036 memory=1399101730491701635 CPUtime=0.68 cores=1,3,5,7
/proc/28423/task/28435/stat : 28435 (java) R 28420 28423 12560 0 -1 4202560 4435 0 0 0 67 1 0 0 20 0 15 0 76772725 14315556864 41262 18446744073709551615 4194304 4196468 140732973622752 140466827764176 140467354042970 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28436] ppid=28420 vsize=13980036 memory=1399101730491701635 CPUtime=0.56 cores=1,3,5,7
/proc/28423/task/28436/stat : 28436 (java) S 28420 28423 12560 0 -1 1077944384 5191 0 0 0 55 1 0 0 20 0 15 0 76772725 14315556864 41262 18446744073709551615 4194304 4196468 140732973622752 140466826721520 140467354032770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28437] ppid=28420 vsize=13980036 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28437/stat : 28437 (java) S 28420 28423 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772725 14315556864 41262 18446744073709551615 4194304 4196468 140732973622752 140466825669216 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28438] ppid=28420 vsize=13980036 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28438/stat : 28438 (java) S 28420 28423 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772730 14315556864 41262 18446744073709551615 4194304 4196468 140732973622752 140466824616752 140467354032770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
Current children cumulated CPU time: 3.34 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 165048 KiB

[startup+2.67722 s]
# the end of solver process 28423 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.63971 s, system=0.142465 s

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

[startup+1.60089 s]
/proc/loadavg: 2.18 1.85 1.60 3/209 28438
/proc/meminfo: memFree=31193520/32770624 swapFree=67105588/67108860
[pid=28423] ppid=28420 vsize=13980036 memory=175340 CPUtime=3.54 cores=1,3,5,7
/proc/28423/stat : 28423 (java) S 28420 28423 12560 0 -1 1077944320 29458 0 0 0 343 11 0 0 20 0 15 0 76772710 14315556864 43835 18446744073709551615 4194304 4196468 140732973622752 140732973605296 140467354021623 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
/proc/28423/statm: 3495009 43835 3761 1 0 3483783 0
[pid=28423/tid=28425] ppid=28420 vsize=13980036 memory=-7173504570860347296 CPUtime=1.43 cores=1,3,5,7
/proc/28423/task/28425/stat : 28425 (java) R 28420 28423 12560 0 -1 4202560 13978 0 0 0 135 8 0 0 20 0 15 0 76772720 14315556864 43835 18446744073709551615 4194304 4196468 140732973622752 140467358258072 140466996012000 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28426] ppid=28420 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28426/stat : 28426 (java) S 28420 28423 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772721 14315556864 43835 18446744073709551615 4194304 4196468 140732973622752 140467310987536 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28427] ppid=28420 vsize=13980036 memory=7451877842039041131 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28427/stat : 28427 (java) S 28420 28423 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772721 14315556864 43835 18446744073709551615 4194304 4196468 140732973622752 140467309934992 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28428] ppid=28420 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28428/stat : 28428 (java) S 28420 28423 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76772721 14315556864 43835 18446744073709551615 4194304 4196468 140732973622752 140466951744016 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28429] ppid=28420 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28429/stat : 28429 (java) S 28420 28423 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76772721 14315556864 43835 18446744073709551615 4194304 4196468 140732973622752 140466950691472 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28430] ppid=28420 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28430/stat : 28430 (java) S 28420 28423 12560 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 76772722 14315556864 43835 18446744073709551615 4194304 4196468 140732973622752 140466833037808 140467354032770 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28431] ppid=28420 vsize=13980036 memory=279527544862368 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28431/stat : 28431 (java) S 28420 28423 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76772723 14315556864 43835 18446744073709551615 4194304 4196468 140732973622752 140466831984032 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28432] ppid=28420 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28432/stat : 28432 (java) S 28420 28423 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76772723 14315556864 43835 18446744073709551615 4194304 4196468 140732973622752 140466830931440 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28433] ppid=28420 vsize=13980036 memory=279530027891056 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28433/stat : 28433 (java) S 28420 28423 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772725 14315556864 43835 18446744073709551615 4194304 4196468 140732973622752 140466829880016 140467354040219 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28434] ppid=28420 vsize=13980036 memory=576460758266962493 CPUtime=0.78 cores=1,3,5,7
/proc/28423/task/28434/stat : 28434 (java) S 28420 28423 12560 0 -1 1077944384 4442 0 0 0 78 0 0 0 20 0 15 0 76772725 14315556864 43835 18446744073709551615 4194304 4196468 140732973622752 140466828826608 140467354032770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28435] ppid=28420 vsize=13980036 memory=288284472137496769 CPUtime=0.73 cores=1,3,5,7
/proc/28423/task/28435/stat : 28435 (java) S 28420 28423 12560 0 -1 1077944384 4443 0 0 0 72 1 0 0 20 0 15 0 76772725 14315556864 43835 18446744073709551615 4194304 4196468 140732973622752 140466827774064 140467354032770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28436] ppid=28420 vsize=13980036 memory=3761265819783528480 CPUtime=0.57 cores=1,3,5,7
/proc/28423/task/28436/stat : 28436 (java) S 28420 28423 12560 0 -1 1077944384 5192 0 0 0 56 1 0 0 20 0 15 0 76772725 14315556864 43835 18446744073709551615 4194304 4196468 140732973622752 140466826721520 140467354032770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28437] ppid=28420 vsize=13980036 memory=7228952860318393920 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28437/stat : 28437 (java) S 28420 28423 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772725 14315556864 43835 18446744073709551615 4194304 4196468 140732973622752 140466825669216 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28438] ppid=28420 vsize=13980036 memory=7597121098981135717 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28438/stat : 28438 (java) S 28420 28423 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772730 14315556864 43835 18446744073709551615 4194304 4196468 140732973622752 140466824616752 140467354032770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
Current children cumulated CPU time: 3.54 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 175340 KiB

[startup+2.40068 s]
/proc/loadavg: 2.17 1.85 1.60 2/194 28453
/proc/meminfo: memFree=31261000/32770624 swapFree=67105588/67108860
[pid=28423] ppid=28420 vsize=13980036 memory=216696 CPUtime=4.49 cores=1,3,5,7
/proc/28423/stat : 28423 (java) S 28420 28423 12560 0 -1 1077944320 31267 0 0 0 436 13 0 0 20 0 15 0 76772710 14315556864 54174 18446744073709551615 4194304 4196468 140732973622752 140732973605296 140467354021623 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
/proc/28423/statm: 3495009 54174 3783 1 0 3483783 0
[pid=28423/tid=28425] ppid=28420 vsize=13980036 memory=0 CPUtime=2.22 cores=1,3,5,7
/proc/28423/task/28425/stat : 28425 (java) R 28420 28423 12560 0 -1 4202560 14209 0 0 0 214 8 0 0 20 0 15 0 76772720 14315556864 54174 18446744073709551615 4194304 4196468 140732973622752 140467358259792 140466996013952 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28426] ppid=28420 vsize=13980036 memory=80 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28426/stat : 28426 (java) S 28420 28423 12560 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76772721 14315556864 54174 18446744073709551615 4194304 4196468 140732973622752 140467310987536 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28427] ppid=28420 vsize=13980036 memory=82 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28427/stat : 28427 (java) S 28420 28423 12560 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 76772721 14315556864 54174 18446744073709551615 4194304 4196468 140732973622752 140467309934992 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28428] ppid=28420 vsize=13980036 memory=58 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28428/stat : 28428 (java) S 28420 28423 12560 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 15 0 76772721 14315556864 54174 18446744073709551615 4194304 4196468 140732973622752 140466951744016 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28429] ppid=28420 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28429/stat : 28429 (java) S 28420 28423 12560 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 76772721 14315556864 54174 18446744073709551615 4194304 4196468 140732973622752 140466950691472 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28430] ppid=28420 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28430/stat : 28430 (java) S 28420 28423 12560 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 15 0 76772722 14315556864 54174 18446744073709551615 4194304 4196468 140732973622752 140466833037808 140467354032770 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28431] ppid=28420 vsize=13980036 memory=131440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28431/stat : 28431 (java) S 28420 28423 12560 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 76772723 14315556864 54174 18446744073709551615 4194304 4196468 140732973622752 140466831984096 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28432] ppid=28420 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28432/stat : 28432 (java) S 28420 28423 12560 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 76772723 14315556864 54174 18446744073709551615 4194304 4196468 140732973622752 140466830931456 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28433] ppid=28420 vsize=13980036 memory=279530027701904 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28433/stat : 28433 (java) S 28420 28423 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772725 14315556864 54174 18446744073709551615 4194304 4196468 140732973622752 140466829880016 140467354040219 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28434] ppid=28420 vsize=13980036 memory=0 CPUtime=0.8 cores=1,3,5,7
/proc/28423/task/28434/stat : 28434 (java) S 28420 28423 12560 0 -1 1077944384 4469 0 0 0 79 1 0 0 20 0 15 0 76772725 14315556864 54174 18446744073709551615 4194304 4196468 140732973622752 140466828826608 140467354032770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28435] ppid=28420 vsize=13980036 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/28423/task/28435/stat : 28435 (java) S 28420 28423 12560 0 -1 1077944384 4689 0 0 0 81 1 0 0 20 0 15 0 76772725 14315556864 54174 18446744073709551615 4194304 4196468 140732973622752 140466827774064 140467354032770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28436] ppid=28420 vsize=13980036 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/28423/task/28436/stat : 28436 (java) S 28420 28423 12560 0 -1 1077944384 5948 0 0 0 57 1 0 0 20 0 15 0 76772725 14315556864 54174 18446744073709551615 4194304 4196468 140732973622752 140466826721520 140467354032770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28437] ppid=28420 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28437/stat : 28437 (java) S 28420 28423 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772725 14315556864 54174 18446744073709551615 4194304 4196468 140732973622752 140466825669216 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28438] ppid=28420 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28438/stat : 28438 (java) S 28420 28423 12560 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 76772730 14315556864 54174 18446744073709551615 4194304 4196468 140732973622752 140466824616752 140467354032770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
Current children cumulated CPU time: 4.49 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 216696 KiB

[startup+2.60075 s]
/proc/loadavg: 2.17 1.85 1.60 2/194 28453
/proc/meminfo: memFree=31261000/32770624 swapFree=67105588/67108860
[pid=28423] ppid=28420 vsize=13980036 memory=216696 CPUtime=4.7 cores=1,3,5,7
/proc/28423/stat : 28423 (java) S 28420 28423 12560 0 -1 1077944320 31300 0 0 0 457 13 0 0 20 0 15 0 76772710 14315556864 54174 18446744073709551615 4194304 4196468 140732973622752 140732973605296 140467354021623 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
/proc/28423/statm: 3495009 54174 3783 1 0 3483783 0
[pid=28423/tid=28425] ppid=28420 vsize=13980036 memory=-8774313645642428999 CPUtime=2.42 cores=1,3,5,7
/proc/28423/task/28425/stat : 28425 (java) R 28420 28423 12560 0 -1 4202560 14213 0 0 0 234 8 0 0 20 0 15 0 76772720 14315556864 54174 18446744073709551615 4194304 4196468 140732973622752 140467358257880 140466996054097 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28426] ppid=28420 vsize=13980036 memory=7091574448519668562 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28426/stat : 28426 (java) S 28420 28423 12560 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76772721 14315556864 54174 18446744073709551615 4194304 4196468 140732973622752 140467310987536 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28427] ppid=28420 vsize=13980036 memory=6369592275939257449 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28427/stat : 28427 (java) S 28420 28423 12560 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 76772721 14315556864 54686 18446744073709551615 4194304 4196468 140732973622752 140467309934992 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28428] ppid=28420 vsize=13980036 memory=8027775657374147948 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28428/stat : 28428 (java) S 28420 28423 12560 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 15 0 76772721 14315556864 54686 18446744073709551615 4194304 4196468 140732973622752 140466951744016 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28429] ppid=28420 vsize=13980036 memory=5788067138599740504 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28429/stat : 28429 (java) S 28420 28423 12560 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 76772721 14315556864 54686 18446744073709551615 4194304 4196468 140732973622752 140466950691472 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28430] ppid=28420 vsize=13980036 memory=7813853562577317986 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28430/stat : 28430 (java) S 28420 28423 12560 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 15 0 76772722 14315556864 54686 18446744073709551615 4194304 4196468 140732973622752 140466833037808 140467354032770 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28431] ppid=28420 vsize=13980036 memory=7595725831727968097 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28431/stat : 28431 (java) S 28420 28423 12560 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 76772723 14315556864 54686 18446744073709551615 4194304 4196468 140732973622752 140466831984096 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28432] ppid=28420 vsize=13980036 memory=-8253362762721547640 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28432/stat : 28432 (java) S 28420 28423 12560 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 76772723 14315556864 54686 18446744073709551615 4194304 4196468 140732973622752 140466830931456 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28433] ppid=28420 vsize=13980036 memory=-9034914462300422079 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28433/stat : 28433 (java) S 28420 28423 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772725 14315556864 54686 18446744073709551615 4194304 4196468 140732973622752 140466829880016 140467354040219 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28434] ppid=28420 vsize=13980036 memory=-7025448733113094249 CPUtime=0.8 cores=1,3,5,7
/proc/28423/task/28434/stat : 28434 (java) S 28420 28423 12560 0 -1 1077944384 4498 0 0 0 79 1 0 0 20 0 15 0 76772725 14315556864 54686 18446744073709551615 4194304 4196468 140732973622752 140466828826608 140467354032770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28435] ppid=28420 vsize=13980036 memory=-3621219749712857441 CPUtime=0.82 cores=1,3,5,7
/proc/28423/task/28435/stat : 28435 (java) S 28420 28423 12560 0 -1 1077944384 4689 0 0 0 81 1 0 0 20 0 15 0 76772725 14315556864 54686 18446744073709551615 4194304 4196468 140732973622752 140466827774064 140467354032770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28436] ppid=28420 vsize=13980036 memory=-9174445032661854264 CPUtime=0.58 cores=1,3,5,7
/proc/28423/task/28436/stat : 28436 (java) S 28420 28423 12560 0 -1 1077944384 5948 0 0 0 57 1 0 0 20 0 15 0 76772725 14315556864 54686 18446744073709551615 4194304 4196468 140732973622752 140466826721520 140467354032770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28437] ppid=28420 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28437/stat : 28437 (java) S 28420 28423 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772725 14315556864 54686 18446744073709551615 4194304 4196468 140732973622752 140466825669216 140467354031829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
[pid=28423/tid=28438] ppid=28420 vsize=13980036 memory=279530027863312 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28438/stat : 28438 (java) S 28420 28423 12560 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 76772730 14315556864 54686 18446744073709551615 4194304 4196468 140732973622752 140466824616752 140467354032770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24399872 140732973629807 140732973629993 140732973629993 140732973633487 0
Current children cumulated CPU time: 4.7 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 216696 KiB

Child status: 0
Real time (s): 2.67727
CPU time (s): 4.78218
CPU user time (s): 4.63971
CPU system time (s): 0.142465
CPU usage (%): 178.621
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 216696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.63971
system time used= 0.142465
maximum resident set size= 219372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32307
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= 2400
involuntary context switches= 22


# summary of solver processes directly reported to runsolver:
#   pid: 28423
#   total CPU time (s): 4.78218
#   total CPU user time (s): 4.63971
#   total CPU system time (s): 0.142465

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029017 second user time and 0.072461 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-24-sum.xml
MD5SUM	e3989d840e6da5d4ed83bf18c49d4f4f
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.131742
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":21},{"degree":5,"count":45},{"degree":6,"count":90},{"degree":7,"count":90},{"degree":8,"count":129},{"degree":9,"count":111},{"degree":10,"count":66},{"degree":11,"count":45}]
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 4274179

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
