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	3.86273	2.0708301
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 (15270 MiB free)
  memory of node 1: 16384 MiB (15363 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100136 s]*
/proc/loadavg: 2.17 1.85 1.60 1/181 28530
/proc/meminfo: memFree=31452928/32770624 swapFree=67105588/67108860
[pid=28529] ppid=28526 vsize=11642956 memory=8084 CPUtime=0 cores=0,2,4,6
/proc/28529/stat : 28529 (java) S 28526 28529 12560 0 -1 1077944320 1841 0 0 0 0 0 0 0 20 0 2 0 76773082 11922386944 2021 18446744073709551615 4194304 4196468 140735405418944 140735405401488 139709512892151 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
/proc/28529/statm: 2910739 2021 1151 1 0 2900709 0
[pid=28529/tid=28531] ppid=28526 vsize=11657624 memory=-6439968830534014599 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28531/stat : 28531 (java) R 28526 28529 12560 0 -1 4202560 629 0 0 0 0 0 0 0 20 0 2 0 76773092 11937406976 2087 18446744073709551615 4194304 4196468 140735405418944 139709517134240 139709505181600 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 11642956 KiB
Current children cumulated memory: 8084 KiB

[startup+0.209958 s]*
/proc/loadavg: 2.17 1.85 1.60 2/195 28544
/proc/meminfo: memFree=31446252/32770624 swapFree=67105588/67108860
[pid=28529] ppid=28526 vsize=13976388 memory=25108 CPUtime=0.06 cores=0,2,4,6
/proc/28529/stat : 28529 (java) S 28526 28529 12560 0 -1 1077944320 5780 0 0 0 5 1 0 0 20 0 15 0 76773082 14311821312 6277 18446744073709551615 4194304 4196468 140735405418944 140735405401488 139709512892151 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
/proc/28529/statm: 3494097 6277 3286 1 0 3482876 0
[pid=28529/tid=28531] ppid=28526 vsize=13976388 memory=8318255677412212789 CPUtime=0.05 cores=0,2,4,6
/proc/28529/task/28531/stat : 28531 (java) R 28526 28529 12560 0 -1 4202560 3876 0 0 0 4 1 0 0 20 0 15 0 76773092 14311821312 6277 18446744073709551615 4194304 4196468 140735405418944 139709517130160 139709129041777 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28532] ppid=28526 vsize=13976388 memory=328 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28532/stat : 28532 (java) S 28526 28529 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76773093 14311821312 6277 18446744073709551615 4194304 4196468 140735405418944 139709454838800 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28533] ppid=28526 vsize=13976388 memory=140456391572327 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28533/stat : 28533 (java) S 28526 28529 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76773093 14311821312 6277 18446744073709551615 4194304 4196468 140735405418944 139709453786256 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28534] ppid=28526 vsize=13976388 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28534/stat : 28534 (java) S 28526 28529 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76773093 14311821312 6277 18446744073709551615 4194304 4196468 140735405418944 139709452733200 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28535] ppid=28526 vsize=13976388 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28535/stat : 28535 (java) S 28526 28529 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76773093 14311821312 6211 18446744073709551615 4194304 4196468 140735405418944 139709451680656 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28536] ppid=28526 vsize=13975920 memory=140456390833792 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28536/stat : 28536 (java) S 28526 28529 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76773094 14311342080 6165 18446744073709551615 4194304 4196468 140735405418944 139709059332336 139709512903298 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28537] ppid=28526 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28537/stat : 28537 (java) S 28526 28529 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76773095 14311342080 6165 18446744073709551615 4194304 4196468 140735405418944 139709058278560 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28538] ppid=28526 vsize=13973048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28538/stat : 28538 (java) S 28526 28529 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76773095 14308401152 5493 18446744073709551615 4194304 4196468 140735405418944 139709057225456 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28539] ppid=28526 vsize=13973048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28539/stat : 28539 (java) S 28526 28529 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76773097 14308401152 5493 18446744073709551615 4194304 4196468 140735405418944 139709056174032 139709512910747 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28540] ppid=28526 vsize=13973048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28540/stat : 28540 (java) S 28526 28529 12560 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 76773097 14308401152 5493 18446744073709551615 4194304 4196468 140735405418944 139709055122160 139709512903298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28541] ppid=28526 vsize=13973048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28541/stat : 28541 (java) S 28526 28529 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76773097 14308401152 5493 18446744073709551615 4194304 4196468 140735405418944 139709054069616 139709512903298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28542] ppid=28526 vsize=13973048 memory=140456390833792 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28542/stat : 28542 (java) S 28526 28529 12560 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 15 0 76773097 14308401152 5493 18446744073709551615 4194304 4196468 140735405418944 139709053016560 139709512903298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28543] ppid=28526 vsize=13973048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28543/stat : 28543 (java) S 28526 28529 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76773097 14308401152 5493 18446744073709551615 4194304 4196468 140735405418944 139709051964256 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28544] ppid=28526 vsize=13973048 memory=140456390833792 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28544/stat : 28544 (java) S 28526 28529 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76773103 14308401152 5493 18446744073709551615 4194304 4196468 140735405418944 139709050911280 139709512903298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13976388 KiB
Current children cumulated memory: 25108 KiB

[startup+0.310001 s]*
/proc/loadavg: 2.17 1.85 1.60 4/192 28544
/proc/meminfo: memFree=31434792/32770624 swapFree=67105588/67108860
[pid=28529] ppid=28526 vsize=13975920 memory=39180 CPUtime=0.23 cores=0,2,4,6
/proc/28529/stat : 28529 (java) S 28526 28529 12560 0 -1 1077944320 10020 0 0 0 19 4 0 0 20 0 15 0 76773082 14311342080 9795 18446744073709551615 4194304 4196468 140735405418944 140735405401488 139709512892151 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
/proc/28529/statm: 3493980 9795 3537 1 0 3482759 0
[pid=28529/tid=28531] ppid=28526 vsize=13975920 memory=-8774313645642428999 CPUtime=0.15 cores=0,2,4,6
/proc/28529/task/28531/stat : 28531 (java) R 28526 28529 12560 0 -1 4202560 7748 0 0 0 12 3 0 0 20 0 15 0 76773092 14311342080 9795 18446744073709551615 4194304 4196468 140735405418944 139709517119344 139709496972638 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28532] ppid=28526 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28532/stat : 28532 (java) S 28526 28529 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76773093 14311342080 9795 18446744073709551615 4194304 4196468 140735405418944 139709454838800 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28533] ppid=28526 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28533/stat : 28533 (java) S 28526 28529 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76773093 14311342080 9795 18446744073709551615 4194304 4196468 140735405418944 139709453786256 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28534] ppid=28526 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28534/stat : 28534 (java) S 28526 28529 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76773093 14311342080 9795 18446744073709551615 4194304 4196468 140735405418944 139709452733200 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28535] ppid=28526 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28535/stat : 28535 (java) S 28526 28529 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76773093 14311342080 9795 18446744073709551615 4194304 4196468 140735405418944 139709451680656 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28536] ppid=28526 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28536/stat : 28536 (java) S 28526 28529 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76773094 14311342080 9795 18446744073709551615 4194304 4196468 140735405418944 139709059332336 139709512903298 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28537] ppid=28526 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28537/stat : 28537 (java) S 28526 28529 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76773095 14311342080 9795 18446744073709551615 4194304 4196468 140735405418944 139709058278560 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28538] ppid=28526 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28538/stat : 28538 (java) S 28526 28529 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76773095 14311342080 9795 18446744073709551615 4194304 4196468 140735405418944 139709057225456 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28539] ppid=28526 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28539/stat : 28539 (java) S 28526 28529 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76773097 14311342080 9795 18446744073709551615 4194304 4196468 140735405418944 139709056174032 139709512910747 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28540] ppid=28526 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28529/task/28540/stat : 28540 (java) S 28526 28529 12560 0 -1 1077944384 351 0 0 0 1 0 0 0 20 0 15 0 76773097 14311342080 9795 18446744073709551615 4194304 4196468 140735405418944 139709055122160 139709512903298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28541] ppid=28526 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28541/stat : 28541 (java) S 28526 28529 12560 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 15 0 76773097 14311342080 9795 18446744073709551615 4194304 4196468 140735405418944 139709054069616 139709512903298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28542] ppid=28526 vsize=13975920 memory=140456390833792 CPUtime=0.04 cores=0,2,4,6
/proc/28529/task/28542/stat : 28542 (java) R 28526 28529 12560 0 -1 4202560 377 0 0 0 4 0 0 0 20 0 15 0 76773097 14311342080 9795 18446744073709551615 4194304 4196468 140735405418944 139709053014960 139709491573457 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28543] ppid=28526 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28543/stat : 28543 (java) S 28526 28529 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76773097 14311342080 9795 18446744073709551615 4194304 4196468 140735405418944 139709051964256 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28544] ppid=28526 vsize=13975920 memory=140456390833792 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28544/stat : 28544 (java) S 28526 28529 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76773103 14311342080 9795 18446744073709551615 4194304 4196468 140735405418944 139709050911280 139709512903298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39180 KiB

[startup+0.700733 s]
/proc/loadavg: 2.17 1.85 1.60 2/191 28553
/proc/meminfo: memFree=31424424/32770624 swapFree=67105588/67108860
[pid=28529] ppid=28526 vsize=13977988 memory=66124 CPUtime=0.97 cores=0,2,4,6
/proc/28529/stat : 28529 (java) S 28526 28529 12560 0 -1 1077944320 13693 0 0 0 91 6 0 0 20 0 15 0 76773082 14313459712 16531 18446744073709551615 4194304 4196468 140735405418944 140735405401488 139709512892151 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
/proc/28529/statm: 3494497 16531 3722 1 0 3483271 0
[pid=28529/tid=28531] ppid=28526 vsize=13977988 memory=1412 CPUtime=0.53 cores=0,2,4,6
/proc/28529/task/28531/stat : 28531 (java) R 28526 28529 12560 0 -1 4202560 10301 0 0 0 48 5 0 0 20 0 15 0 76773092 14313459712 16531 18446744073709551615 4194304 4196468 140735405418944 139709517128000 139709512904086 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28532] ppid=28526 vsize=13977988 memory=15584 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28532/stat : 28532 (java) S 28526 28529 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76773093 14313459712 16531 18446744073709551615 4194304 4196468 140735405418944 139709454838800 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28533] ppid=28526 vsize=13977988 memory=26036 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28533/stat : 28533 (java) S 28526 28529 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76773093 14313459712 16531 18446744073709551615 4194304 4196468 140735405418944 139709453786256 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28534] ppid=28526 vsize=13977988 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28534/stat : 28534 (java) S 28526 28529 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76773093 14313459712 16531 18446744073709551615 4194304 4196468 140735405418944 139709452733200 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28535] ppid=28526 vsize=13977988 memory=644 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28535/stat : 28535 (java) S 28526 28529 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76773093 14313459712 16531 18446744073709551615 4194304 4196468 140735405418944 139709451680656 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28536] ppid=28526 vsize=13977988 memory=1744 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28536/stat : 28536 (java) S 28526 28529 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76773094 14313459712 16531 18446744073709551615 4194304 4196468 140735405418944 139709059332336 139709512903298 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28537] ppid=28526 vsize=13977988 memory=956 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28537/stat : 28537 (java) S 28526 28529 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76773095 14313459712 16531 18446744073709551615 4194304 4196468 140735405418944 139709058278560 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28538] ppid=28526 vsize=13977988 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28538/stat : 28538 (java) S 28526 28529 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76773095 14313459712 16531 18446744073709551615 4194304 4196468 140735405418944 139709057225456 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28539] ppid=28526 vsize=13977988 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28539/stat : 28539 (java) S 28526 28529 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76773097 14313459712 16531 18446744073709551615 4194304 4196468 140735405418944 139709056174032 139709512910747 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28540] ppid=28526 vsize=13977988 memory=4088 CPUtime=0.1 cores=0,2,4,6
/proc/28529/task/28540/stat : 28540 (java) S 28526 28529 12560 0 -1 1077944384 664 0 0 0 10 0 0 0 20 0 15 0 76773097 14313459712 16531 18446744073709551615 4194304 4196468 140735405418944 139709055122160 139709512903298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28541] ppid=28526 vsize=13977988 memory=1620 CPUtime=0.1 cores=0,2,4,6
/proc/28529/task/28541/stat : 28541 (java) S 28526 28529 12560 0 -1 1077944384 461 0 0 0 10 0 0 0 20 0 15 0 76773097 14313459712 16531 18446744073709551615 4194304 4196468 140735405418944 139709054069616 139709512903298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28542] ppid=28526 vsize=13977988 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/28529/task/28542/stat : 28542 (java) R 28526 28529 12560 0 -1 4202560 886 0 0 0 21 0 0 0 20 0 15 0 76773097 14313459712 16531 18446744073709551615 4194304 4196468 140735405418944 139709053016560 139709491374743 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28543] ppid=28526 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28543/stat : 28543 (java) S 28526 28529 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76773097 14313459712 16531 18446744073709551615 4194304 4196468 140735405418944 139709051964256 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28544] ppid=28526 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28544/stat : 28544 (java) S 28526 28529 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76773103 14313459712 16531 18446744073709551615 4194304 4196468 140735405418944 139709050911280 139709512903298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 66124 KiB

[startup+1.50073 s]
/proc/loadavg: 2.17 1.85 1.60 3/189 28566
/proc/meminfo: memFree=31380648/32770624 swapFree=67105588/67108860
[pid=28529] ppid=28526 vsize=13980036 memory=157908 CPUtime=3.22 cores=0,2,4,6
/proc/28529/stat : 28529 (java) S 28526 28529 12560 0 -1 1077944320 29232 0 0 0 311 11 0 0 20 0 15 0 76773082 14315556864 39477 18446744073709551615 4194304 4196468 140735405418944 140735405401488 139709512892151 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
/proc/28529/statm: 3495009 39477 3765 1 0 3483783 0
[pid=28529/tid=28531] ppid=28526 vsize=13980036 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/28529/task/28531/stat : 28531 (java) R 28526 28529 12560 0 -1 4202560 14005 0 0 0 124 8 0 0 20 0 15 0 76773092 14315556864 39477 18446744073709551615 4194304 4196468 140735405418944 139709517129616 139709135965689 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28532] ppid=28526 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28532/stat : 28532 (java) S 28526 28529 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76773093 14315556864 39477 18446744073709551615 4194304 4196468 140735405418944 139709454838800 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28533] ppid=28526 vsize=13980036 memory=7809211122077154860 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28533/stat : 28533 (java) S 28526 28529 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76773093 14315556864 39477 18446744073709551615 4194304 4196468 140735405418944 139709453786256 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28534] ppid=28526 vsize=13980036 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28534/stat : 28534 (java) S 28526 28529 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76773093 14315556864 39477 18446744073709551615 4194304 4196468 140735405418944 139709452733200 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28535] ppid=28526 vsize=13980036 memory=7976406965554101975 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28535/stat : 28535 (java) S 28526 28529 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76773093 14315556864 39477 18446744073709551615 4194304 4196468 140735405418944 139709451680656 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28536] ppid=28526 vsize=13980036 memory=-4695043397844020537 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28536/stat : 28536 (java) S 28526 28529 12560 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 15 0 76773094 14315556864 39477 18446744073709551615 4194304 4196468 140735405418944 139709059332336 139709512903298 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28537] ppid=28526 vsize=13980036 memory=280912470212848 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28537/stat : 28537 (java) S 28526 28529 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76773095 14315556864 39477 18446744073709551615 4194304 4196468 140735405418944 139709058278560 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28538] ppid=28526 vsize=13980036 memory=-4695043397844020537 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28538/stat : 28538 (java) S 28526 28529 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76773095 14315556864 39477 18446744073709551615 4194304 4196468 140735405418944 139709057225456 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28539] ppid=28526 vsize=13980036 memory=140456390832673 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28539/stat : 28539 (java) S 28526 28529 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76773097 14315556864 39477 18446744073709551615 4194304 4196468 140735405418944 139709056174032 139709512910747 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28540] ppid=28526 vsize=13980036 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/28529/task/28540/stat : 28540 (java) S 28526 28529 12560 0 -1 1077944384 3126 0 0 0 65 0 0 0 20 0 15 0 76773097 14315556864 39477 18446744073709551615 4194304 4196468 140735405418944 139709055122160 139709512903298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28541] ppid=28526 vsize=13980036 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/28529/task/28541/stat : 28541 (java) S 28526 28529 12560 0 -1 1077944384 3841 0 0 0 63 0 0 0 20 0 15 0 76773097 14315556864 39477 18446744073709551615 4194304 4196468 140735405418944 139709054069616 139709512903298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28542] ppid=28526 vsize=13980036 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/28529/task/28542/stat : 28542 (java) S 28526 28529 12560 0 -1 1077944384 6538 0 0 0 57 0 0 0 20 0 15 0 76773097 14315556864 39477 18446744073709551615 4194304 4196468 140735405418944 139709053016560 139709512903298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28543] ppid=28526 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28543/stat : 28543 (java) S 28526 28529 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76773097 14315556864 39477 18446744073709551615 4194304 4196468 140735405418944 139709051964256 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28544] ppid=28526 vsize=13980036 memory=8694373523628992993 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28544/stat : 28544 (java) S 28526 28529 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76773103 14315556864 39477 18446744073709551615 4194304 4196468 140735405418944 139709050911280 139709512903298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
Current children cumulated CPU time: 3.22 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 157908 KiB

[startup+2.07077 s]
# the end of solver process 28529 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3.73643 s, system=0.126298 s

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

[startup+1.60095 s]
/proc/loadavg: 2.17 1.85 1.60 3/189 28566
/proc/meminfo: memFree=31380648/32770624 swapFree=67105588/67108860
[pid=28529] ppid=28526 vsize=13980036 memory=166100 CPUtime=3.34 cores=0,2,4,6
/proc/28529/stat : 28529 (java) S 28526 28529 12560 0 -1 1077944320 29251 0 0 0 323 11 0 0 20 0 15 0 76773082 14315556864 41525 18446744073709551615 4194304 4196468 140735405418944 140735405401488 139709512892151 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
/proc/28529/statm: 3495009 41525 3765 1 0 3483783 0
[pid=28529/tid=28531] ppid=28526 vsize=13980036 memory=6944652177228980320 CPUtime=1.42 cores=0,2,4,6
/proc/28529/task/28531/stat : 28531 (java) R 28526 28529 12560 0 -1 4202560 14013 0 0 0 134 8 0 0 20 0 15 0 76773092 14315556864 41525 18446744073709551615 4194304 4196468 140735405418944 139709517129616 139709136096285 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28532] ppid=28526 vsize=13980036 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28532/stat : 28532 (java) S 28526 28529 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76773093 14315556864 41525 18446744073709551615 4194304 4196468 140735405418944 139709454838800 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28533] ppid=28526 vsize=13980036 memory=-6870076719079526735 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28533/stat : 28533 (java) S 28526 28529 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76773093 14315556864 41525 18446744073709551615 4194304 4196468 140735405418944 139709453786256 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28534] ppid=28526 vsize=13980036 memory=7970111839719291196 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28534/stat : 28534 (java) S 28526 28529 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76773093 14315556864 41525 18446744073709551615 4194304 4196468 140735405418944 139709452733200 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28535] ppid=28526 vsize=13980036 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28535/stat : 28535 (java) S 28526 28529 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76773093 14315556864 41525 18446744073709551615 4194304 4196468 140735405418944 139709451680656 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28536] ppid=28526 vsize=13980036 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28536/stat : 28536 (java) S 28526 28529 12560 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 15 0 76773094 14315556864 41525 18446744073709551615 4194304 4196468 140735405418944 139709059332336 139709512903298 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28537] ppid=28526 vsize=13980036 memory=4088 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28537/stat : 28537 (java) S 28526 28529 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76773095 14315556864 41525 18446744073709551615 4194304 4196468 140735405418944 139709058278560 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28538] ppid=28526 vsize=13980036 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28538/stat : 28538 (java) S 28526 28529 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76773095 14315556864 41525 18446744073709551615 4194304 4196468 140735405418944 139709057225456 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28539] ppid=28526 vsize=13980036 memory=920 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28539/stat : 28539 (java) S 28526 28529 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76773097 14315556864 41525 18446744073709551615 4194304 4196468 140735405418944 139709056174032 139709512910747 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28540] ppid=28526 vsize=13980036 memory=2241 CPUtime=0.66 cores=0,2,4,6
/proc/28529/task/28540/stat : 28540 (java) S 28526 28529 12560 0 -1 1077944384 3132 0 0 0 66 0 0 0 20 0 15 0 76773097 14315556864 41525 18446744073709551615 4194304 4196468 140735405418944 139709055122160 139709512903298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28541] ppid=28526 vsize=13980036 memory=2244 CPUtime=0.65 cores=0,2,4,6
/proc/28529/task/28541/stat : 28541 (java) S 28526 28529 12560 0 -1 1077944384 3844 0 0 0 65 0 0 0 20 0 15 0 76773097 14315556864 41525 18446744073709551615 4194304 4196468 140735405418944 139709054069616 139709512903298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28542] ppid=28526 vsize=13980036 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/28529/task/28542/stat : 28542 (java) S 28526 28529 12560 0 -1 1077944384 6540 0 0 0 57 0 0 0 20 0 15 0 76773097 14315556864 41525 18446744073709551615 4194304 4196468 140735405418944 139709053016560 139709512903298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28543] ppid=28526 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28543/stat : 28543 (java) S 28526 28529 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76773097 14315556864 41525 18446744073709551615 4194304 4196468 140735405418944 139709051964256 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28544] ppid=28526 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28544/stat : 28544 (java) S 28526 28529 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76773103 14315556864 41525 18446744073709551615 4194304 4196468 140735405418944 139709050911280 139709512903298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
Current children cumulated CPU time: 3.34 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 166100 KiB

[startup+2.00077 s]*
/proc/loadavg: 2.17 1.85 1.60 4/209 28591
/proc/meminfo: memFree=31209924/32770624 swapFree=67105588/67108860
[pid=28529] ppid=28526 vsize=13980036 memory=196864 CPUtime=3.77 cores=0,2,4,6
/proc/28529/stat : 28529 (java) S 28526 28529 12560 0 -1 1077944320 29289 0 0 0 366 11 0 0 20 0 15 0 76773082 14315556864 49216 18446744073709551615 4194304 4196468 140735405418944 140735405401488 139709512892151 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
/proc/28529/statm: 3495009 49216 3765 1 0 3483783 0
[pid=28529/tid=28531] ppid=28526 vsize=13980036 memory=8316850467074736180 CPUtime=1.84 cores=0,2,4,6
/proc/28529/task/28531/stat : 28531 (java) R 28526 28529 12560 0 -1 4202560 14043 0 0 0 175 9 0 0 20 0 15 0 76773092 14315556864 49216 18446744073709551615 4194304 4196468 140735405418944 139709517128568 139709135885568 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28532] ppid=28526 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28532/stat : 28532 (java) S 28526 28529 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76773093 14315556864 49216 18446744073709551615 4194304 4196468 140735405418944 139709454838800 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28533] ppid=28526 vsize=13980036 memory=140456391566195 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28533/stat : 28533 (java) S 28526 28529 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76773093 14315556864 49216 18446744073709551615 4194304 4196468 140735405418944 139709453786256 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28534] ppid=28526 vsize=13980036 memory=7445725894013397385 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28534/stat : 28534 (java) S 28526 28529 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76773093 14315556864 49216 18446744073709551615 4194304 4196468 140735405418944 139709452733200 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28535] ppid=28526 vsize=13980036 memory=4641054559200909993 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28535/stat : 28535 (java) S 28526 28529 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76773093 14315556864 49216 18446744073709551615 4194304 4196468 140735405418944 139709451680656 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28536] ppid=28526 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28536/stat : 28536 (java) S 28526 28529 12560 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 15 0 76773094 14315556864 49216 18446744073709551615 4194304 4196468 140735405418944 139709059332336 139709512903298 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28537] ppid=28526 vsize=13980036 memory=2321103359604701494 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28537/stat : 28537 (java) S 28526 28529 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76773095 14315556864 49216 18446744073709551615 4194304 4196468 140735405418944 139709058278560 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28538] ppid=28526 vsize=13980036 memory=6296683625540047200 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28538/stat : 28538 (java) S 28526 28529 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76773095 14315556864 49216 18446744073709551615 4194304 4196468 140735405418944 139709057225456 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28539] ppid=28526 vsize=13980036 memory=4639098309541129067 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28539/stat : 28539 (java) S 28526 28529 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76773097 14315556864 49216 18446744073709551615 4194304 4196468 140735405418944 139709056174032 139709512910747 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28540] ppid=28526 vsize=13980036 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/28529/task/28540/stat : 28540 (java) S 28526 28529 12560 0 -1 1077944384 3138 0 0 0 66 1 0 0 20 0 15 0 76773097 14315556864 49216 18446744073709551615 4194304 4196468 140735405418944 139709055122160 139709512903298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28541] ppid=28526 vsize=13980036 memory=3978706185698620471 CPUtime=0.65 cores=0,2,4,6
/proc/28529/task/28541/stat : 28541 (java) S 28526 28529 12560 0 -1 1077944384 3846 0 0 0 65 0 0 0 20 0 15 0 76773097 14315556864 49216 18446744073709551615 4194304 4196468 140735405418944 139709054069616 139709512903298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28542] ppid=28526 vsize=13980036 memory=3546216317587646135 CPUtime=0.57 cores=0,2,4,6
/proc/28529/task/28542/stat : 28542 (java) S 28526 28529 12560 0 -1 1077944384 6540 0 0 0 57 0 0 0 20 0 15 0 76773097 14315556864 49216 18446744073709551615 4194304 4196468 140735405418944 139709053016560 139709512903298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28543] ppid=28526 vsize=13980036 memory=4049052952914108469 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28543/stat : 28543 (java) S 28526 28529 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76773097 14315556864 49216 18446744073709551615 4194304 4196468 140735405418944 139709051964256 139709512902357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
[pid=28529/tid=28544] ppid=28526 vsize=13980036 memory=4120994808543603380 CPUtime=0 cores=0,2,4,6
/proc/28529/task/28544/stat : 28544 (java) S 28526 28529 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76773103 14315556864 49216 18446744073709551615 4194304 4196468 140735405418944 139709050911280 139709512903298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30498816 140735405420910 140735405421097 140735405421097 140735405424591 0
Current children cumulated CPU time: 3.77 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 196864 KiB

Child status: 0
Real time (s): 2.07083
CPU time (s): 3.86273
CPU user time (s): 3.73643
CPU system time (s): 0.126298
CPU usage (%): 186.53
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 196864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.73643
system time used= 0.126298
maximum resident set size= 211892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30123
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= 2390
involuntary context switches= 33


# summary of solver processes directly reported to runsolver:
#   pid: 28529
#   total CPU time (s): 3.86273
#   total CPU user time (s): 3.73643
#   total CPU system time (s): 0.126298

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032112 second user time and 0.065353 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-67-sum.xml
MD5SUM	00801377b258eec38ced8861b76e7e4d
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.286199
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":15},{"degree":5,"count":39},{"degree":6,"count":78},{"degree":7,"count":120},{"degree":8,"count":132},{"degree":9,"count":123},{"degree":10,"count":51},{"degree":11,"count":39}]
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 4274182

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
