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.4021301	2.42307
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 (15071 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-4274177-1502745766/watcher-4274177-1502745766 -o /tmp/evaluation-result-4274177-1502745766/solver-4274177-1502745766 -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 649754510 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274177-1502745766.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
Starting watchdog thread
solver pid=28195, runsolver pid=28192
Current StackSize limit: 8192 KiB


[startup+0.100076 s]*
/proc/loadavg: 2.29 1.87 1.60 4/198 28199
/proc/meminfo: memFree=31240060/32770624 swapFree=67105588/67108860
[pid=28195] ppid=28192 vsize=13358552 memory=16184 CPUtime=0 cores=1,3,5,7
/proc/28195/stat : 28195 (java) S 28192 28195 12560 0 -1 1077944320 3378 0 0 0 0 0 0 0 20 0 6 0 76771921 13679157248 4046 18446744073709551615 4194304 4196468 140734840497648 140734840480192 140323178290935 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
/proc/28195/statm: 3339638 4046 1909 1 0 3329135 0
[pid=28195/tid=28197] ppid=28192 vsize=13358552 memory=-6439968830534014599 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28197/stat : 28197 (java) R 28192 28195 12560 0 -1 4202560 2065 0 0 0 0 0 0 0 20 0 6 0 76771930 13679157248 4046 18446744073709551615 4194304 4196468 140734840497648 140323182527056 140323170528062 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28198] ppid=28192 vsize=13358552 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28198/stat : 28198 (java) S 28192 28195 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 76771931 13679157248 4046 18446744073709551615 4194304 4196468 140734840497648 140323097705232 140323178301141 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28199] ppid=28192 vsize=13358552 memory=140268236670592 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28199/stat : 28199 (java) S 28192 28195 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 76771931 13679157248 4046 18446744073709551615 4194304 4196468 140734840497648 140323096652688 140323178301141 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28200] ppid=28192 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28200/stat : 28200 (java) S 28192 28195 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 76771931 13679157248 4046 18446744073709551615 4194304 4196468 140734840497648 140323095600144 140323178301141 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28201] ppid=28192 vsize=13358552 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28201/stat : 28201 (java) S 28192 28195 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 76771931 13679157248 4046 18446744073709551615 4194304 4196468 140734840497648 140323094547600 140323178301141 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 16184 KiB

[startup+0.209763 s]*
/proc/loadavg: 2.29 1.87 1.60 2/208 28209
/proc/meminfo: memFree=31234748/32770624 swapFree=67105588/67108860
[pid=28195] ppid=28192 vsize=13906484 memory=20692 CPUtime=0.05 cores=1,3,5,7
/proc/28195/stat : 28195 (java) S 28192 28195 12560 0 -1 1077944320 4624 0 0 0 4 1 0 0 20 0 14 0 76771921 14240239616 5173 18446744073709551615 4194304 4196468 140734840497648 140734840480192 140323178290935 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
/proc/28195/statm: 3476621 5173 2564 1 0 3466118 0
[pid=28195/tid=28197] ppid=28192 vsize=13906484 memory=8318255677412212789 CPUtime=0.04 cores=1,3,5,7
/proc/28195/task/28197/stat : 28197 (java) D 28192 28195 12560 0 -1 4202560 2726 0 0 0 4 0 0 0 20 0 14 0 76771930 14240239616 5173 18446744073709551615 4194304 4196468 140734840497648 140323182528416 140323178312957 0 4 1 16800974 18446744071580418449 0 0 -1 5 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28198] ppid=28192 vsize=13906484 memory=328 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28198/stat : 28198 (java) S 28192 28195 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 76771931 14240239616 5173 18446744073709551615 4194304 4196468 140734840497648 140323097705232 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28199] ppid=28192 vsize=13906484 memory=140268237409127 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28199/stat : 28199 (java) S 28192 28195 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 76771931 14240239616 5173 18446744073709551615 4194304 4196468 140734840497648 140323096652688 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28200] ppid=28192 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28200/stat : 28200 (java) S 28192 28195 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 76771931 14240239616 5173 18446744073709551615 4194304 4196468 140734840497648 140323095600144 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28201] ppid=28192 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28201/stat : 28201 (java) S 28192 28195 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 76771931 14240239616 5173 18446744073709551615 4194304 4196468 140734840497648 140323094547600 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28202] ppid=28192 vsize=13906484 memory=140268236670592 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28202/stat : 28202 (java) S 28192 28195 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 76771932 14240239616 5173 18446744073709551615 4194304 4196468 140734840497648 140322657511408 140323178302082 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28203] ppid=28192 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28203/stat : 28203 (java) S 28192 28195 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 76771933 14240239616 5173 18446744073709551615 4194304 4196468 140734840497648 140322656457632 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28204] ppid=28192 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28204/stat : 28204 (java) S 28192 28195 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 76771933 14240239616 5173 18446744073709551615 4194304 4196468 140734840497648 140322655405040 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28205] ppid=28192 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28205/stat : 28205 (java) S 28192 28195 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 76771935 14240239616 5173 18446744073709551615 4194304 4196468 140734840497648 140322654353616 140323178309531 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28206] ppid=28192 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28206/stat : 28206 (java) S 28192 28195 12560 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 14 0 76771935 14240239616 5173 18446744073709551615 4194304 4196468 140734840497648 140322653301232 140323178302082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28207] ppid=28192 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28207/stat : 28207 (java) S 28192 28195 12560 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 14 0 76771935 14240239616 5173 18446744073709551615 4194304 4196468 140734840497648 140322652248688 140323178302082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28208] ppid=28192 vsize=13906484 memory=140268236670592 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28208/stat : 28208 (java) S 28192 28195 12560 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 14 0 76771935 14240239616 5173 18446744073709551615 4194304 4196468 140734840497648 140322651196144 140323178302082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28209] ppid=28192 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28209/stat : 28209 (java) S 28192 28195 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 76771935 14240239616 5173 18446744073709551615 4194304 4196468 140734840497648 140322650143840 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13906484 KiB
Current children cumulated memory: 20692 KiB

[startup+0.309687 s]*
/proc/loadavg: 2.29 1.87 1.60 3/209 28210
/proc/meminfo: memFree=31219384/32770624 swapFree=67105588/67108860
[pid=28195] ppid=28192 vsize=13975920 memory=37776 CPUtime=0.2 cores=1,3,5,7
/proc/28195/stat : 28195 (java) S 28192 28195 12560 0 -1 1077944320 9595 0 0 0 17 3 0 0 20 0 15 0 76771921 14311342080 9444 18446744073709551615 4194304 4196468 140734840497648 140734840480192 140323178290935 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
/proc/28195/statm: 3493980 9444 3492 1 0 3482759 0
[pid=28195/tid=28197] ppid=28192 vsize=13975920 memory=-8774313645642428999 CPUtime=0.13 cores=1,3,5,7
/proc/28195/task/28197/stat : 28197 (java) R 28192 28195 12560 0 -1 4202560 7325 0 0 0 11 2 0 0 20 0 15 0 76771930 14311342080 9444 18446744073709551615 4194304 4196468 140734840497648 140323182461408 140323162371422 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28198] ppid=28192 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28198/stat : 28198 (java) S 28192 28195 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76771931 14311342080 9444 18446744073709551615 4194304 4196468 140734840497648 140323097705232 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28199] ppid=28192 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28199/stat : 28199 (java) S 28192 28195 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76771931 14311342080 9444 18446744073709551615 4194304 4196468 140734840497648 140323096652688 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28200] ppid=28192 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28200/stat : 28200 (java) S 28192 28195 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76771931 14311342080 9444 18446744073709551615 4194304 4196468 140734840497648 140323095600144 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28201] ppid=28192 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28201/stat : 28201 (java) S 28192 28195 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76771931 14311342080 9444 18446744073709551615 4194304 4196468 140734840497648 140323094547600 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28202] ppid=28192 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28202/stat : 28202 (java) S 28192 28195 12560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 76771932 14311342080 9444 18446744073709551615 4194304 4196468 140734840497648 140322657511408 140323178302082 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28203] ppid=28192 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28203/stat : 28203 (java) S 28192 28195 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76771933 14311342080 9444 18446744073709551615 4194304 4196468 140734840497648 140322656457632 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28204] ppid=28192 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28204/stat : 28204 (java) S 28192 28195 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76771933 14311342080 9444 18446744073709551615 4194304 4196468 140734840497648 140322655405040 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28205] ppid=28192 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28205/stat : 28205 (java) S 28192 28195 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76771935 14311342080 9444 18446744073709551615 4194304 4196468 140734840497648 140322654353616 140323178309531 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28206] ppid=28192 vsize=13975920 memory=140268129232512 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28206/stat : 28206 (java) S 28192 28195 12560 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 15 0 76771935 14311342080 9444 18446744073709551615 4194304 4196468 140734840497648 140322653301232 140323178302082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28207] ppid=28192 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28195/task/28207/stat : 28207 (java) S 28192 28195 12560 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 15 0 76771935 14311342080 9444 18446744073709551615 4194304 4196468 140734840497648 140322652248688 140323178302082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28208] ppid=28192 vsize=13975920 memory=140268236670592 CPUtime=0.03 cores=1,3,5,7
/proc/28195/task/28208/stat : 28208 (java) S 28192 28195 12560 0 -1 1077944384 382 0 0 0 3 0 0 0 20 0 15 0 76771935 14311342080 9444 18446744073709551615 4194304 4196468 140734840497648 140322651196144 140323178302082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28209] ppid=28192 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28209/stat : 28209 (java) S 28192 28195 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76771935 14311342080 9444 18446744073709551615 4194304 4196468 140734840497648 140322650143840 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28210] ppid=28192 vsize=13975920 memory=140268236670592 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28210/stat : 28210 (java) S 28192 28195 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76771943 14311342080 9444 18446744073709551615 4194304 4196468 140734840497648 140322649090352 140323178302082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 37776 KiB

[startup+0.706473 s]
/proc/loadavg: 2.29 1.87 1.60 4/209 28210
/proc/meminfo: memFree=31206128/32770624 swapFree=67105588/67108860
[pid=28195] ppid=28192 vsize=13977988 memory=65912 CPUtime=0.97 cores=1,3,5,7
/proc/28195/stat : 28195 (java) S 28192 28195 12560 0 -1 1077944320 13185 0 0 0 91 6 0 0 20 0 15 0 76771921 14313459712 16478 18446744073709551615 4194304 4196468 140734840497648 140734840480192 140323178290935 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
/proc/28195/statm: 3494497 16478 3722 1 0 3483271 0
[pid=28195/tid=28197] ppid=28192 vsize=13977988 memory=33 CPUtime=0.52 cores=1,3,5,7
/proc/28195/task/28197/stat : 28197 (java) R 28192 28195 12560 0 -1 4202560 9815 0 0 0 48 4 0 0 20 0 15 0 76771930 14313459712 16478 18446744073709551615 4194304 4196468 140734840497648 140323182526864 140322772643300 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28198] ppid=28192 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28198/stat : 28198 (java) S 28192 28195 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76771931 14313459712 16478 18446744073709551615 4194304 4196468 140734840497648 140323097705232 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28199] ppid=28192 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28199/stat : 28199 (java) S 28192 28195 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76771931 14313459712 16478 18446744073709551615 4194304 4196468 140734840497648 140323096652688 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28200] ppid=28192 vsize=13977988 memory=499 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28200/stat : 28200 (java) S 28192 28195 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76771931 14313459712 16478 18446744073709551615 4194304 4196468 140734840497648 140323095600144 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28201] ppid=28192 vsize=13977988 memory=350 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28201/stat : 28201 (java) S 28192 28195 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76771931 14313459712 16478 18446744073709551615 4194304 4196468 140734840497648 140323094547600 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28202] ppid=28192 vsize=13977988 memory=131 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28202/stat : 28202 (java) S 28192 28195 12560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 76771932 14313459712 16478 18446744073709551615 4194304 4196468 140734840497648 140322657511408 140323178302082 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28203] ppid=28192 vsize=13977988 memory=2607 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28203/stat : 28203 (java) S 28192 28195 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76771933 14313459712 16478 18446744073709551615 4194304 4196468 140734840497648 140322656457632 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28204] ppid=28192 vsize=13977988 memory=292 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28204/stat : 28204 (java) S 28192 28195 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76771933 14313459712 16478 18446744073709551615 4194304 4196468 140734840497648 140322655405040 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28205] ppid=28192 vsize=13977988 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28205/stat : 28205 (java) S 28192 28195 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76771935 14313459712 16478 18446744073709551615 4194304 4196468 140734840497648 140322654353616 140323178309531 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28206] ppid=28192 vsize=13977988 memory=2384 CPUtime=0.1 cores=1,3,5,7
/proc/28195/task/28206/stat : 28206 (java) S 28192 28195 12560 0 -1 1077944384 589 0 0 0 10 0 0 0 20 0 15 0 76771935 14313459712 16478 18446744073709551615 4194304 4196468 140734840497648 140322653301232 140323178302082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28207] ppid=28192 vsize=13977988 memory=280536257958008 CPUtime=0.11 cores=1,3,5,7
/proc/28195/task/28207/stat : 28207 (java) S 28192 28195 12560 0 -1 1077944384 641 0 0 0 11 0 0 0 20 0 15 0 76771935 14313459712 16478 18446744073709551615 4194304 4196468 140734840497648 140322652248688 140323178302082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28208] ppid=28192 vsize=13977988 memory=2446923400705 CPUtime=0.2 cores=1,3,5,7
/proc/28195/task/28208/stat : 28208 (java) R 28192 28195 12560 0 -1 4202560 757 0 0 0 20 0 0 0 20 0 15 0 76771935 14313459712 16478 18446744073709551615 4194304 4196468 140734840497648 140322651193080 140323158532608 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28209] ppid=28192 vsize=13977988 memory=2459808302593 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28209/stat : 28209 (java) S 28192 28195 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76771935 14313459712 16478 18446744073709551615 4194304 4196468 140734840497648 140322650143840 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28210] ppid=28192 vsize=13977988 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28210/stat : 28210 (java) S 28192 28195 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76771943 14313459712 16478 18446744073709551615 4194304 4196468 140734840497648 140322649090352 140323178302082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 65912 KiB

[startup+1.50072 s]
/proc/loadavg: 2.29 1.87 1.60 3/209 28210
/proc/meminfo: memFree=31162884/32770624 swapFree=67105588/67108860
[pid=28195] ppid=28192 vsize=13980036 memory=167756 CPUtime=3.28 cores=1,3,5,7
/proc/28195/stat : 28195 (java) S 28192 28195 12560 0 -1 1077944320 28118 0 0 0 317 11 0 0 20 0 15 0 76771921 14315556864 41939 18446744073709551615 4194304 4196468 140734840497648 140734840480192 140323178290935 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
/proc/28195/statm: 3495009 41939 3765 1 0 3483783 0
[pid=28195/tid=28197] ppid=28192 vsize=13980036 memory=0 CPUtime=1.31 cores=1,3,5,7
/proc/28195/task/28197/stat : 28197 (java) R 28192 28195 12560 0 -1 4202560 13564 0 0 0 124 7 0 0 20 0 15 0 76771930 14315556864 41939 18446744073709551615 4194304 4196468 140734840497648 140323182526824 140322779558824 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28198] ppid=28192 vsize=13980036 memory=-7807401512248497238 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28198/stat : 28198 (java) S 28192 28195 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76771931 14315556864 41939 18446744073709551615 4194304 4196468 140734840497648 140323097705232 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28199] ppid=28192 vsize=13980036 memory=280536258089280 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28199/stat : 28199 (java) S 28192 28195 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76771931 14315556864 41939 18446744073709551615 4194304 4196468 140734840497648 140323096652688 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28200] ppid=28192 vsize=13980036 memory=-7966001967256141664 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28200/stat : 28200 (java) S 28192 28195 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76771931 14315556864 41939 18446744073709551615 4194304 4196468 140734840497648 140323095600144 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28201] ppid=28192 vsize=13980036 memory=280536257997056 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28201/stat : 28201 (java) S 28192 28195 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76771931 14315556864 41939 18446744073709551615 4194304 4196468 140734840497648 140323094547600 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28202] ppid=28192 vsize=13980036 memory=499 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28202/stat : 28202 (java) S 28192 28195 12560 0 -1 1077944384 351 0 0 0 0 0 0 0 20 0 15 0 76771932 14315556864 41939 18446744073709551615 4194304 4196468 140734840497648 140322657511408 140323178302082 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28203] ppid=28192 vsize=13980036 memory=350 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28203/stat : 28203 (java) S 28192 28195 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76771933 14315556864 41939 18446744073709551615 4194304 4196468 140734840497648 140322656457632 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28204] ppid=28192 vsize=13980036 memory=131 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28204/stat : 28204 (java) S 28192 28195 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76771933 14315556864 41939 18446744073709551615 4194304 4196468 140734840497648 140322655405040 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28205] ppid=28192 vsize=13980036 memory=2607 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28205/stat : 28205 (java) S 28192 28195 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76771935 14315556864 41939 18446744073709551615 4194304 4196468 140734840497648 140322654353616 140323178309531 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28206] ppid=28192 vsize=13980036 memory=292 CPUtime=0.67 cores=1,3,5,7
/proc/28195/task/28206/stat : 28206 (java) R 28192 28195 12560 0 -1 4202560 4098 0 0 0 67 0 0 0 20 0 15 0 76771935 14315556864 41939 18446744073709551615 4194304 4196468 140734840497648 140322653287696 140323159470591 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28207] ppid=28192 vsize=13980036 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/28195/task/28207/stat : 28207 (java) R 28192 28195 12560 0 -1 4202560 3557 0 0 0 69 0 0 0 20 0 15 0 76771935 14315556864 41939 18446744073709551615 4194304 4196468 140734840497648 140322652245056 140323162678204 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28208] ppid=28192 vsize=13980036 memory=8101247189090653288 CPUtime=0.57 cores=1,3,5,7
/proc/28195/task/28208/stat : 28208 (java) S 28192 28195 12560 0 -1 1077944384 5168 0 0 0 55 2 0 0 20 0 15 0 76771935 14315556864 41939 18446744073709551615 4194304 4196468 140734840497648 140322651196144 140323178302082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28209] ppid=28192 vsize=13980036 memory=735124415037121226 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28209/stat : 28209 (java) S 28192 28195 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76771935 14315556864 41939 18446744073709551615 4194304 4196468 140734840497648 140322650143840 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28210] ppid=28192 vsize=13980036 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28210/stat : 28210 (java) S 28192 28195 12560 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 76771943 14315556864 41939 18446744073709551615 4194304 4196468 140734840497648 140322649090352 140323178302082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
Current children cumulated CPU time: 3.28 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 167756 KiB

[startup+2.42302 s]
# the end of solver process 28195 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.2618 s, system=0.140331 s

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

[startup+1.87208 s]
/proc/loadavg: 2.29 1.87 1.60 3/209 28210
/proc/meminfo: memFree=31162884/32770624 swapFree=67105588/67108860
[pid=28195] ppid=28192 vsize=13980036 memory=196588 CPUtime=3.79 cores=1,3,5,7
/proc/28195/stat : 28195 (java) S 28192 28195 12560 0 -1 1077944320 28176 0 0 0 367 12 0 0 20 0 15 0 76771921 14315556864 49147 18446744073709551615 4194304 4196468 140734840497648 140734840480192 140323178290935 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
/proc/28195/statm: 3495009 49147 3765 1 0 3483783 0
[pid=28195/tid=28197] ppid=28192 vsize=13980036 memory=6645459911560372124 CPUtime=1.69 cores=1,3,5,7
/proc/28195/task/28197/stat : 28197 (java) R 28192 28195 12560 0 -1 4202560 13578 0 0 0 161 8 0 0 20 0 15 0 76771930 14315556864 49147 18446744073709551615 4194304 4196468 140734840497648 140323182527120 140322779556489 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28198] ppid=28192 vsize=13980036 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28198/stat : 28198 (java) S 28192 28195 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76771931 14315556864 49147 18446744073709551615 4194304 4196468 140734840497648 140323097705232 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28199] ppid=28192 vsize=13980036 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28199/stat : 28199 (java) S 28192 28195 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76771931 14315556864 49147 18446744073709551615 4194304 4196468 140734840497648 140323096652688 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28200] ppid=28192 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28200/stat : 28200 (java) S 28192 28195 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76771931 14315556864 49147 18446744073709551615 4194304 4196468 140734840497648 140323095600144 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28201] ppid=28192 vsize=13980036 memory=4564 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28201/stat : 28201 (java) S 28192 28195 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76771931 14315556864 49147 18446744073709551615 4194304 4196468 140734840497648 140323094547600 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28202] ppid=28192 vsize=13980036 memory=9138 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28202/stat : 28202 (java) S 28192 28195 12560 0 -1 1077944384 351 0 0 0 0 0 0 0 20 0 15 0 76771932 14315556864 49147 18446744073709551615 4194304 4196468 140734840497648 140322657511408 140323178302082 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28203] ppid=28192 vsize=13980036 memory=22298 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28203/stat : 28203 (java) S 28192 28195 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76771933 14315556864 49147 18446744073709551615 4194304 4196468 140734840497648 140322656457632 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28204] ppid=28192 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28204/stat : 28204 (java) S 28192 28195 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76771933 14315556864 49147 18446744073709551615 4194304 4196468 140734840497648 140322655405040 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28205] ppid=28192 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28205/stat : 28205 (java) S 28192 28195 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76771935 14315556864 49147 18446744073709551615 4194304 4196468 140734840497648 140322654353616 140323178309531 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28206] ppid=28192 vsize=13980036 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/28195/task/28206/stat : 28206 (java) S 28192 28195 12560 0 -1 1077944384 4113 0 0 0 74 0 0 0 20 0 15 0 76771935 14315556864 49147 18446744073709551615 4194304 4196468 140734840497648 140322653301232 140323178302082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28207] ppid=28192 vsize=13980036 memory=0 CPUtime=0.75 cores=1,3,5,7
/proc/28195/task/28207/stat : 28207 (java) S 28192 28195 12560 0 -1 1077944384 3570 0 0 0 75 0 0 0 20 0 15 0 76771935 14315556864 49147 18446744073709551615 4194304 4196468 140734840497648 140322652248688 140323178302082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28208] ppid=28192 vsize=13980036 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/28195/task/28208/stat : 28208 (java) S 28192 28195 12560 0 -1 1077944384 5184 0 0 0 56 2 0 0 20 0 15 0 76771935 14315556864 49147 18446744073709551615 4194304 4196468 140734840497648 140322651196144 140323178302082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28209] ppid=28192 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28209/stat : 28209 (java) S 28192 28195 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76771935 14315556864 49147 18446744073709551615 4194304 4196468 140734840497648 140322650143840 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28210] ppid=28192 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28210/stat : 28210 (java) S 28192 28195 12560 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 76771943 14315556864 49147 18446744073709551615 4194304 4196468 140734840497648 140322649090352 140323178302082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
Current children cumulated CPU time: 3.79 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 196588 KiB

[startup+2.20063 s]*
/proc/loadavg: 2.29 1.87 1.60 3/209 28210
/proc/meminfo: memFree=31037832/32770624 swapFree=67105588/67108860
[pid=28195] ppid=28192 vsize=13980036 memory=221260 CPUtime=4.17 cores=1,3,5,7
/proc/28195/stat : 28195 (java) S 28192 28195 12560 0 -1 1077944320 29579 0 0 0 404 13 0 0 20 0 15 0 76771921 14315556864 55315 18446744073709551615 4194304 4196468 140734840497648 140734840480192 140323178290935 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
/proc/28195/statm: 3495009 55315 3772 1 0 3483783 0
[pid=28195/tid=28197] ppid=28192 vsize=13980036 memory=607503750785073269 CPUtime=2.01 cores=1,3,5,7
/proc/28195/task/28197/stat : 28197 (java) R 28192 28195 12560 0 -1 4202560 13726 0 0 0 193 8 0 0 20 0 15 0 76771930 14315556864 55315 18446744073709551615 4194304 4196468 140734840497648 140323182529184 140322779556433 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28198] ppid=28192 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28198/stat : 28198 (java) S 28192 28195 12560 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 15 0 76771931 14315556864 55315 18446744073709551615 4194304 4196468 140734840497648 140323097705232 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28199] ppid=28192 vsize=13980036 memory=3474167327139792544 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28199/stat : 28199 (java) S 28192 28195 12560 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 76771931 14315556864 55315 18446744073709551615 4194304 4196468 140734840497648 140323096652688 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28200] ppid=28192 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28200/stat : 28200 (java) S 28192 28195 12560 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 76771931 14315556864 55315 18446744073709551615 4194304 4196468 140734840497648 140323095600144 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28201] ppid=28192 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28201/stat : 28201 (java) S 28192 28195 12560 0 -1 1077944384 263 0 0 0 0 0 0 0 20 0 15 0 76771931 14315556864 55315 18446744073709551615 4194304 4196468 140734840497648 140323094547600 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28202] ppid=28192 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28202/stat : 28202 (java) S 28192 28195 12560 0 -1 1077944384 377 0 0 0 0 0 0 0 20 0 15 0 76771932 14315556864 55315 18446744073709551615 4194304 4196468 140734840497648 140322657511408 140323178302082 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28203] ppid=28192 vsize=13980036 memory=9696 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28203/stat : 28203 (java) S 28192 28195 12560 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 76771933 14315556864 55315 18446744073709551615 4194304 4196468 140734840497648 140322656457696 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28204] ppid=28192 vsize=13980036 memory=140268236680865 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28204/stat : 28204 (java) S 28192 28195 12560 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 76771933 14315556864 55315 18446744073709551615 4194304 4196468 140734840497648 140322655405056 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28205] ppid=28192 vsize=13980036 memory=140268236678561 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28205/stat : 28205 (java) S 28192 28195 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76771935 14315556864 55315 18446744073709551615 4194304 4196468 140734840497648 140322654353616 140323178309531 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28206] ppid=28192 vsize=13980036 memory=0 CPUtime=0.75 cores=1,3,5,7
/proc/28195/task/28206/stat : 28206 (java) S 28192 28195 12560 0 -1 1077944384 4115 0 0 0 75 0 0 0 20 0 15 0 76771935 14315556864 55315 18446744073709551615 4194304 4196468 140734840497648 140322653301232 140323178302082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28207] ppid=28192 vsize=13980036 memory=140268128960631 CPUtime=0.76 cores=1,3,5,7
/proc/28195/task/28207/stat : 28207 (java) S 28192 28195 12560 0 -1 1077944384 3577 0 0 0 76 0 0 0 20 0 15 0 76771935 14315556864 55315 18446744073709551615 4194304 4196468 140734840497648 140322652248688 140323178302082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28208] ppid=28192 vsize=13980036 memory=3977718179350704103 CPUtime=0.58 cores=1,3,5,7
/proc/28195/task/28208/stat : 28208 (java) S 28192 28195 12560 0 -1 1077944384 5826 0 0 0 56 2 0 0 20 0 15 0 76771935 14315556864 55315 18446744073709551615 4194304 4196468 140734840497648 140322651196144 140323178302082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28209] ppid=28192 vsize=13980036 memory=140268128960631 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28209/stat : 28209 (java) S 28192 28195 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76771935 14315556864 55315 18446744073709551615 4194304 4196468 140734840497648 140322650143840 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28210] ppid=28192 vsize=13980036 memory=3761219053441838548 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28210/stat : 28210 (java) S 28192 28195 12560 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 76771943 14315556864 55315 18446744073709551615 4194304 4196468 140734840497648 140322649090352 140323178302082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
Current children cumulated CPU time: 4.17 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 221260 KiB

[startup+2.40064 s]
/proc/loadavg: 2.29 1.87 1.60 3/209 28210
/proc/meminfo: memFree=31037832/32770624 swapFree=67105588/67108860
[pid=28195] ppid=28192 vsize=13980036 memory=221504 CPUtime=4.37 cores=1,3,5,7
/proc/28195/stat : 28195 (java) S 28192 28195 12560 0 -1 1077944320 30463 0 0 0 424 13 0 0 20 0 15 0 76771921 14315556864 55376 18446744073709551615 4194304 4196468 140734840497648 140734840480192 140323178290935 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
/proc/28195/statm: 3495009 55376 3773 1 0 3483783 0
[pid=28195/tid=28197] ppid=28192 vsize=13980036 memory=0 CPUtime=2.2 cores=1,3,5,7
/proc/28195/task/28197/stat : 28197 (java) R 28192 28195 12560 0 -1 4202560 14251 0 0 0 212 8 0 0 20 0 15 0 76771930 14315556864 55376 18446744073709551615 4194304 4196468 140734840497648 140323182527888 140323163981574 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28198] ppid=28192 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28198/stat : 28198 (java) S 28192 28195 12560 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 15 0 76771931 14315556864 55376 18446744073709551615 4194304 4196468 140734840497648 140323097705232 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28199] ppid=28192 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28199/stat : 28199 (java) S 28192 28195 12560 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 76771931 14315556864 55376 18446744073709551615 4194304 4196468 140734840497648 140323096652688 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28200] ppid=28192 vsize=13980036 memory=7593443284243605344 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28200/stat : 28200 (java) S 28192 28195 12560 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 76771931 14315556864 55376 18446744073709551615 4194304 4196468 140734840497648 140323095600144 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28201] ppid=28192 vsize=13980036 memory=7593443284243605344 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28201/stat : 28201 (java) S 28192 28195 12560 0 -1 1077944384 263 0 0 0 0 0 0 0 20 0 15 0 76771931 14315556864 55376 18446744073709551615 4194304 4196468 140734840497648 140323094547600 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28202] ppid=28192 vsize=13980036 memory=7228952860318393920 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28202/stat : 28202 (java) S 28192 28195 12560 0 -1 1077944384 377 0 0 0 0 0 0 0 20 0 15 0 76771932 14315556864 55376 18446744073709551615 4194304 4196468 140734840497648 140322657511408 140323178302082 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28203] ppid=28192 vsize=13980036 memory=5788067138599740504 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28203/stat : 28203 (java) S 28192 28195 12560 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 76771933 14315556864 55376 18446744073709551615 4194304 4196468 140734840497648 140322656457696 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28204] ppid=28192 vsize=13980036 memory=7305798900526640742 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28204/stat : 28204 (java) S 28192 28195 12560 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 76771933 14315556864 55376 18446744073709551615 4194304 4196468 140734840497648 140322655405056 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28205] ppid=28192 vsize=13980036 memory=6220145551734822246 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28205/stat : 28205 (java) S 28192 28195 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76771935 14315556864 55376 18446744073709551615 4194304 4196468 140734840497648 140322654353616 140323178309531 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28206] ppid=28192 vsize=13980036 memory=8099279071866868836 CPUtime=0.75 cores=1,3,5,7
/proc/28195/task/28206/stat : 28206 (java) S 28192 28195 12560 0 -1 1077944384 4218 0 0 0 75 0 0 0 20 0 15 0 76771935 14315556864 55376 18446744073709551615 4194304 4196468 140734840497648 140322653301232 140323178302082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28207] ppid=28192 vsize=13980036 memory=667680 CPUtime=0.76 cores=1,3,5,7
/proc/28195/task/28207/stat : 28207 (java) S 28192 28195 12560 0 -1 1077944384 3781 0 0 0 76 0 0 0 20 0 15 0 76771935 14315556864 55376 18446744073709551615 4194304 4196468 140734840497648 140322652248688 140323178302082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28208] ppid=28192 vsize=13980036 memory=4641330296368681040 CPUtime=0.58 cores=1,3,5,7
/proc/28195/task/28208/stat : 28208 (java) R 28192 28195 12560 0 -1 4202560 5879 0 0 0 56 2 0 0 20 0 15 0 76771935 14315556864 55376 18446744073709551615 4194304 4196468 140734840497648 140322651196144 140323163971633 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28209] ppid=28192 vsize=13980036 memory=7810487918915055718 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28209/stat : 28209 (java) S 28192 28195 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76771935 14315556864 55376 18446744073709551615 4194304 4196468 140734840497648 140322650143840 140323178301141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
[pid=28195/tid=28210] ppid=28192 vsize=13980036 memory=4639059895069856102 CPUtime=0 cores=1,3,5,7
/proc/28195/task/28210/stat : 28210 (java) S 28192 28195 12560 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 76771943 14315556864 55376 18446744073709551615 4194304 4196468 140734840497648 140322649090352 140323178302082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9539584 140734840500591 140734840500777 140734840500777 140734840504271 0
Current children cumulated CPU time: 4.37 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 221504 KiB

Child status: 0
Real time (s): 2.42307
CPU time (s): 4.40213
CPU user time (s): 4.2618
CPU system time (s): 0.140331
CPU usage (%): 181.675
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 221504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.2618
system time used= 0.140331
maximum resident set size= 222020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30714
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2360
involuntary context switches= 15


# summary of solver processes directly reported to runsolver:
#   pid: 28195
#   total CPU time (s): 4.40213
#   total CPU user time (s): 4.2618
#   total CPU system time (s): 0.140331

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036839 second user time and 0.061183 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-13-sum.xml
MD5SUM	9d400fd9505b31c2b1343f5ecc4e80ca
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.217912
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":6},{"degree":5,"count":27},{"degree":6,"count":93},{"degree":7,"count":138},{"degree":8,"count":138},{"degree":9,"count":105},{"degree":10,"count":57},{"degree":11,"count":33}]
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 4274177

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
