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

Solver Name	Answer	CPU time	Wall clock time
R1: Concrete 3.4	SAT	8.42161	3.7055

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4249993-1500776041/watcher-4249993-1500776041 -o /tmp/evaluation-result-4249993-1500776041/solver-4249993-1500776041 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500773721-22563 --watchdog 2560 bin/concrete HOME/instance-4249993-1500776041.xml 

pid=23221
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 3.46 1.89 1.57 2/262 23224
/proc/meminfo: memFree=29807004/32770624 swapFree=5840/341180
[pid=23224] ppid=23221 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23224/stat : 23224 (bash) S 23221 23224 20264 0 -1 4202496 684 1532 0 0 0 0 0 0 20 0 1 0 12872746 9736192 350 33554432000 4194304 5098028 140721215458320 140721215455960 140200479382528 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 19537920 140721215464718 140721215464803 140721215464803 140721215467502 0
/proc/23224/statm: 2377 350 278 221 0 86 0

[startup+0.100156 s]
/proc/loadavg: 3.46 1.89 1.57 2/262 23224
/proc/meminfo: memFree=29807004/32770624 swapFree=5840/341180
[pid=23224] ppid=23221 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/23224/stat : 23224 (bash) S 23221 23224 20264 0 -1 4202496 877 6415 0 0 0 0 0 1 20 0 1 0 12872746 9871360 377 33554432000 4194304 5098028 140721215458320 140721215452328 140200479382528 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 19537920 140721215464718 140721215464803 140721215464803 140721215467502 0
/proc/23224/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200336 s]
/proc/loadavg: 3.46 1.89 1.57 2/262 23224
/proc/meminfo: memFree=29807004/32770624 swapFree=5840/341180
[pid=23224] ppid=23221 vsize=10435860 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/23224/stat : 23224 (java) S 23221 23224 20264 0 -1 1077944320 4883 12296 0 0 6 1 9 3 20 0 13 0 12872746 10686320640 5241 33554432000 4194304 4196468 140730067112384 140730067094928 140314955570935 0 0 0 16800971 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
/proc/23224/statm: 2608965 5241 2171 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860

[startup+0.300409 s]
/proc/loadavg: 3.46 1.89 1.57 2/262 23224
/proc/meminfo: memFree=29807004/32770624 swapFree=5840/341180
[pid=23224] ppid=23221 vsize=10902292 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/23224/stat : 23224 (java) S 23221 23224 20264 0 -1 1077944320 8112 12296 0 0 23 3 9 3 20 0 20 0 12872746 11163947008 9275 33554432000 4194304 4196468 140730067112384 140730067094928 140314955570935 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
/proc/23224/statm: 2725573 9275 2979 1 0 2713890 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 10902292

[startup+0.700252 s]
/proc/loadavg: 3.46 1.89 1.57 2/262 23224
/proc/meminfo: memFree=29807004/32770624 swapFree=5840/341180
[pid=23224] ppid=23221 vsize=10902720 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/23224/stat : 23224 (java) S 23221 23224 20264 0 -1 1077944320 12685 12296 0 0 80 4 9 3 20 0 20 0 12872746 11164385280 16003 33554432000 4194304 4196468 140730067112384 140730067094928 140314955570935 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
/proc/23224/statm: 2725680 16003 3208 1 0 2713890 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 10902720

[startup+1.50115 s]
/proc/loadavg: 3.46 1.89 1.57 4/282 23297
/proc/meminfo: memFree=29700392/32770624 swapFree=5840/341212
[pid=23224] ppid=23221 vsize=10915392 CPUtime=2.32 cores=1,3,5,7,9,11,13,15
/proc/23224/stat : 23224 (java) S 23221 23224 20264 0 -1 1077944320 28147 12296 0 0 204 16 9 3 20 0 20 0 12872746 11177361408 44744 33554432000 4194304 4196468 140730067112384 140730067094928 140314955570935 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
/proc/23224/statm: 2728848 44744 3408 1 0 2716962 0
[pid=23224/tid=23279] ppid=23221 vsize=10915392 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23279/stat : 23279 (java) R 23221 23224 20264 0 -1 4202560 19854 12296 0 0 125 6 9 3 20 0 20 0 12872758 11177361408 44744 33554432000 4194304 4196468 140730067112384 140314959799864 140314585149130 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23280] ppid=23221 vsize=10915392 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23280/stat : 23280 (java) S 23221 23224 20264 0 -1 1077944384 57 12296 0 0 0 1 9 3 20 0 20 0 12872759 11177361408 44744 33554432000 4194304 4196468 140730067112384 140314908191888 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23281] ppid=23221 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23281/stat : 23281 (java) S 23221 23224 20264 0 -1 1077944384 12 12296 0 0 0 0 9 3 20 0 20 0 12872759 11177361408 44744 33554432000 4194304 4196468 140730067112384 140314907139088 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23282] ppid=23221 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23282/stat : 23282 (java) S 23221 23224 20264 0 -1 1077944384 142 12296 0 0 0 0 9 3 20 0 20 0 12872759 11177361408 44744 33554432000 4194304 4196468 140730067112384 140314906086288 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23283] ppid=23221 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23283/stat : 23283 (java) S 23221 23224 20264 0 -1 1077944384 37 12296 0 0 0 0 9 3 20 0 20 0 12872759 11177361408 44744 33554432000 4194304 4196468 140730067112384 140314905033488 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23284] ppid=23221 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23284/stat : 23284 (java) S 23221 23224 20264 0 -1 1077944384 11 12296 0 0 0 0 9 3 20 0 20 0 12872759 11177361408 44744 33554432000 4194304 4196468 140730067112384 140314558519952 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23285] ppid=23221 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23285/stat : 23285 (java) S 23221 23224 20264 0 -1 1077944384 19 12296 0 0 0 0 9 3 20 0 20 0 12872759 11177361408 44744 33554432000 4194304 4196468 140730067112384 140314557467152 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23286] ppid=23221 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23286/stat : 23286 (java) S 23221 23224 20264 0 -1 1077944384 29 12296 0 0 0 0 9 3 20 0 20 0 12872759 11177361408 44744 33554432000 4194304 4196468 140730067112384 140314556414352 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23287] ppid=23221 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23287/stat : 23287 (java) S 23221 23224 20264 0 -1 1077944384 31 12296 0 0 0 0 9 3 20 0 20 0 12872759 11177361408 44744 33554432000 4194304 4196468 140730067112384 140314555361552 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23288] ppid=23221 vsize=10915392 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23288/stat : 23288 (java) S 23221 23224 20264 0 -1 1077944384 1771 12296 0 0 1 0 9 3 20 0 20 0 12872761 11177361408 44744 33554432000 4194304 4196468 140730067112384 140314429860720 140314955582082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23289] ppid=23221 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23289/stat : 23289 (java) S 23221 23224 20264 0 -1 1077944384 54 12296 0 0 0 0 9 3 20 0 20 0 12872762 11177361408 44744 33554432000 4194304 4196468 140730067112384 140314428806688 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23290] ppid=23221 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23290/stat : 23290 (java) S 23221 23224 20264 0 -1 1077944384 44 12296 0 0 0 0 9 3 20 0 20 0 12872762 11177361408 44744 33554432000 4194304 4196468 140730067112384 140314427753840 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23291] ppid=23221 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23291/stat : 23291 (java) S 23221 23224 20264 0 -1 1077944384 1 12296 0 0 0 0 9 3 20 0 20 0 12872767 11177361408 44744 33554432000 4194304 4196468 140730067112384 140314426702160 140314955589531 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23292] ppid=23221 vsize=10915392 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23292/stat : 23292 (java) S 23221 23224 20264 0 -1 1077944384 958 12296 0 0 13 0 9 3 20 0 20 0 12872767 11177361408 44744 33554432000 4194304 4196468 140730067112384 140314425649520 140314955582082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23293] ppid=23221 vsize=10915392 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23293/stat : 23293 (java) S 23221 23224 20264 0 -1 1077944384 1275 12296 0 0 15 1 9 3 20 0 20 0 12872767 11177361408 44744 33554432000 4194304 4196468 140730067112384 140314424596720 140314955582082 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23294] ppid=23221 vsize=10915392 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23294/stat : 23294 (java) S 23221 23224 20264 0 -1 1077944384 594 12296 0 0 13 0 9 3 20 0 20 0 12872767 11177361408 44744 33554432000 4194304 4196468 140730067112384 140314423543920 140314955582082 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23295] ppid=23221 vsize=10915392 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23295/stat : 23295 (java) S 23221 23224 20264 0 -1 1077944384 1125 12296 0 0 27 0 9 3 20 0 20 0 12872767 11177361408 44744 33554432000 4194304 4196468 140730067112384 140314422491120 140314955582082 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23296] ppid=23221 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23296/stat : 23296 (java) S 23221 23224 20264 0 -1 1077944384 3 12296 0 0 0 0 9 3 20 0 20 0 12872767 11177361408 44744 33554432000 4194304 4196468 140730067112384 140314421439584 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23297] ppid=23221 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23297/stat : 23297 (java) S 23221 23224 20264 0 -1 1077944384 3 12296 0 0 0 0 9 3 20 0 20 0 12872767 11177361408 44744 33554432000 4194304 4196468 140730067112384 140314420386864 140314955582082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 10915392

[startup+3.10109 s]
/proc/loadavg: 3.46 1.89 1.57 4/282 23297
/proc/meminfo: memFree=29588404/32770624 swapFree=5840/341212
[pid=23224] ppid=23221 vsize=10927868 CPUtime=6.22 cores=1,3,5,7,9,11,13,15
/proc/23224/stat : 23224 (java) S 23221 23224 20264 0 -1 1077944320 50964 12296 0 0 584 26 9 3 20 0 20 0 12872746 11190136832 61898 33554432000 4194304 4196468 140730067112384 140730067094928 140314955570935 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
/proc/23224/statm: 2731967 61898 3481 1 0 2719522 0
[pid=23224/tid=23279] ppid=23221 vsize=10927868 CPUtime=2.99 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23279/stat : 23279 (java) R 23221 23224 20264 0 -1 4202560 33810 12296 0 0 277 10 9 3 20 0 20 0 12872758 11190136832 61898 33554432000 4194304 4196468 140730067112384 140314959770576 140314939651422 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23280] ppid=23221 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23280/stat : 23280 (java) S 23221 23224 20264 0 -1 1077944384 185 12296 0 0 1 1 9 3 20 0 20 0 12872759 11190136832 61898 33554432000 4194304 4196468 140730067112384 140314908191888 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23281] ppid=23221 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23281/stat : 23281 (java) S 23221 23224 20264 0 -1 1077944384 26 12296 0 0 3 0 9 3 20 0 20 0 12872759 11190136832 61898 33554432000 4194304 4196468 140730067112384 140314907139088 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23282] ppid=23221 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23282/stat : 23282 (java) S 23221 23224 20264 0 -1 1077944384 154 12296 0 0 2 1 9 3 20 0 20 0 12872759 11190136832 61898 33554432000 4194304 4196468 140730067112384 140314906086288 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23283] ppid=23221 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23283/stat : 23283 (java) S 23221 23224 20264 0 -1 1077944384 44 12296 0 0 2 0 9 3 20 0 20 0 12872759 11190136832 61898 33554432000 4194304 4196468 140730067112384 140314905033488 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23284] ppid=23221 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23284/stat : 23284 (java) S 23221 23224 20264 0 -1 1077944384 16 12296 0 0 2 0 9 3 20 0 20 0 12872759 11190136832 61898 33554432000 4194304 4196468 140730067112384 140314558519952 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23285] ppid=23221 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23285/stat : 23285 (java) S 23221 23224 20264 0 -1 1077944384 25 12296 0 0 2 1 9 3 20 0 20 0 12872759 11190136832 61898 33554432000 4194304 4196468 140730067112384 140314557467152 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23286] ppid=23221 vsize=10927868 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23286/stat : 23286 (java) S 23221 23224 20264 0 -1 1077944384 102 12296 0 0 3 1 9 3 20 0 20 0 12872759 11190136832 61898 33554432000 4194304 4196468 140730067112384 140314556414352 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23287] ppid=23221 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23287/stat : 23287 (java) S 23221 23224 20264 0 -1 1077944384 45 12296 0 0 2 1 9 3 20 0 20 0 12872759 11190136832 61898 33554432000 4194304 4196468 140730067112384 140314555361552 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23288] ppid=23221 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23288/stat : 23288 (java) S 23221 23224 20264 0 -1 1077944384 2684 12296 0 0 3 0 9 3 20 0 20 0 12872761 11190136832 61898 33554432000 4194304 4196468 140730067112384 140314429860720 140314955582082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23289] ppid=23221 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23289/stat : 23289 (java) R 23221 23224 20264 0 -1 4202560 55 12296 0 0 0 0 9 3 20 0 20 0 12872762 11190136832 61898 33554432000 4194304 4196468 140730067112384 140314428806688 140314586105122 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23290] ppid=23221 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23290/stat : 23290 (java) R 23221 23224 20264 0 -1 4202560 44 12296 0 0 0 0 9 3 20 0 20 0 12872762 11190136832 61898 33554432000 4194304 4196468 140730067112384 140314427753840 140314955584808 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23291] ppid=23221 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23291/stat : 23291 (java) S 23221 23224 20264 0 -1 1077944384 1 12296 0 0 0 0 9 3 20 0 20 0 12872767 11190136832 61898 33554432000 4194304 4196468 140730067112384 140314426702160 140314955589531 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23292] ppid=23221 vsize=10927868 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23292/stat : 23292 (java) R 23221 23224 20264 0 -1 1077944384 1519 12296 0 0 44 0 9 3 20 0 20 0 12872767 11190136832 61898 33554432000 4194304 4196468 140730067112384 140314425649520 140314955582082 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23293] ppid=23221 vsize=10927868 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23293/stat : 23293 (java) S 23221 23224 20264 0 -1 1077944384 2701 12296 0 0 65 1 9 3 20 0 20 0 12872767 11190136832 61898 33554432000 4194304 4196468 140730067112384 140314424596720 140314955582082 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23294] ppid=23221 vsize=10927868 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23294/stat : 23294 (java) S 23221 23224 20264 0 -1 1077944384 4361 12296 0 0 79 0 9 3 20 0 20 0 12872767 11190136832 61898 33554432000 4194304 4196468 140730067112384 140314423543920 140314955582082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23295] ppid=23221 vsize=10927868 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23295/stat : 23295 (java) R 23221 23224 20264 0 -1 4202560 3057 12296 0 0 90 2 9 3 20 0 20 0 12872767 11190136832 61898 33554432000 4194304 4196468 140730067112384 140314422491120 140314955582082 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23296] ppid=23221 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23296/stat : 23296 (java) S 23221 23224 20264 0 -1 1077944384 3 12296 0 0 0 0 9 3 20 0 20 0 12872767 11190136832 61898 33554432000 4194304 4196468 140730067112384 140314421439584 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23297] ppid=23221 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23297/stat : 23297 (java) S 23221 23224 20264 0 -1 1077944384 5 12296 0 0 0 0 9 3 20 0 20 0 12872767 11190136832 61898 33554432000 4194304 4196468 140730067112384 140314420386864 140314955582082 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 10927868

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23224 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20135 s]
/proc/loadavg: 3.46 1.89 1.57 4/282 23297
/proc/meminfo: memFree=29588404/32770624 swapFree=5840/341212
[pid=23224] ppid=23221 vsize=10927868 CPUtime=6.55 cores=1,3,5,7,9,11,13,15
/proc/23224/stat : 23224 (java) S 23221 23224 20264 0 -1 1077944320 51267 12296 0 0 617 26 9 3 20 0 20 0 12872746 11190136832 62107 33554432000 4194304 4196468 140730067112384 140730067094928 140314955570935 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
/proc/23224/statm: 2731967 62107 3481 1 0 2719522 0
[pid=23224/tid=23279] ppid=23221 vsize=10927868 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23279/stat : 23279 (java) R 23221 23224 20264 0 -1 4202560 33888 12296 0 0 287 10 9 3 20 0 20 0 12872758 11190136832 62107 33554432000 4194304 4196468 140730067112384 140314959805336 140314936977234 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23280] ppid=23221 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23280/stat : 23280 (java) S 23221 23224 20264 0 -1 1077944384 185 12296 0 0 1 1 9 3 20 0 20 0 12872759 11190136832 62107 33554432000 4194304 4196468 140730067112384 140314908191888 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23281] ppid=23221 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23281/stat : 23281 (java) S 23221 23224 20264 0 -1 1077944384 26 12296 0 0 3 0 9 3 20 0 20 0 12872759 11190136832 62107 33554432000 4194304 4196468 140730067112384 140314907139088 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23282] ppid=23221 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23282/stat : 23282 (java) S 23221 23224 20264 0 -1 1077944384 154 12296 0 0 2 1 9 3 20 0 20 0 12872759 11190136832 62133 33554432000 4194304 4196468 140730067112384 140314906086288 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23283] ppid=23221 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23283/stat : 23283 (java) S 23221 23224 20264 0 -1 1077944384 44 12296 0 0 2 0 9 3 20 0 20 0 12872759 11190136832 62133 33554432000 4194304 4196468 140730067112384 140314905033488 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23284] ppid=23221 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23284/stat : 23284 (java) S 23221 23224 20264 0 -1 1077944384 16 12296 0 0 2 0 9 3 20 0 20 0 12872759 11190136832 62133 33554432000 4194304 4196468 140730067112384 140314558519952 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23285] ppid=23221 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23285/stat : 23285 (java) S 23221 23224 20264 0 -1 1077944384 25 12296 0 0 2 1 9 3 20 0 20 0 12872759 11190136832 62133 33554432000 4194304 4196468 140730067112384 140314557467152 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23286] ppid=23221 vsize=10927868 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23286/stat : 23286 (java) S 23221 23224 20264 0 -1 1077944384 102 12296 0 0 3 1 9 3 20 0 20 0 12872759 11190136832 62133 33554432000 4194304 4196468 140730067112384 140314556414352 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23287] ppid=23221 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23287/stat : 23287 (java) S 23221 23224 20264 0 -1 1077944384 45 12296 0 0 2 1 9 3 20 0 20 0 12872759 11190136832 62133 33554432000 4194304 4196468 140730067112384 140314555361552 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23288] ppid=23221 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23288/stat : 23288 (java) S 23221 23224 20264 0 -1 1077944384 2684 12296 0 0 3 0 9 3 20 0 20 0 12872761 11190136832 62133 33554432000 4194304 4196468 140730067112384 140314429860720 140314955582082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23289] ppid=23221 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23289/stat : 23289 (java) S 23221 23224 20264 0 -1 1077944384 55 12296 0 0 0 0 9 3 20 0 20 0 12872762 11190136832 62133 33554432000 4194304 4196468 140730067112384 140314428806752 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23290] ppid=23221 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23290/stat : 23290 (java) S 23221 23224 20264 0 -1 1077944384 44 12296 0 0 0 0 9 3 20 0 20 0 12872762 11190136832 62133 33554432000 4194304 4196468 140730067112384 140314427753856 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23291] ppid=23221 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23291/stat : 23291 (java) S 23221 23224 20264 0 -1 1077944384 1 12296 0 0 0 0 9 3 20 0 20 0 12872767 11190136832 62133 33554432000 4194304 4196468 140730067112384 140314426702160 140314955589531 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23292] ppid=23221 vsize=10927868 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23292/stat : 23292 (java) R 23221 23224 20264 0 -1 4202560 1549 12296 0 0 49 0 9 3 20 0 20 0 12872767 11190136832 62133 33554432000 4194304 4196468 140730067112384 140314425639120 140314934822764 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23293] ppid=23221 vsize=10927868 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23293/stat : 23293 (java) S 23221 23224 20264 0 -1 1077944384 2716 12296 0 0 72 1 9 3 20 0 20 0 12872767 11190136832 62133 33554432000 4194304 4196468 140730067112384 140314424596720 140314955582082 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23294] ppid=23221 vsize=10927868 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23294/stat : 23294 (java) R 23221 23224 20264 0 -1 4202560 4379 12296 0 0 84 0 9 3 20 0 20 0 12872767 11190136832 62133 33554432000 4194304 4196468 140730067112384 140314423525328 140314937088696 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23295] ppid=23221 vsize=10927868 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23295/stat : 23295 (java) R 23221 23224 20264 0 -1 4202560 3227 12296 0 0 98 2 9 3 20 0 20 0 12872767 11190136832 62133 33554432000 4194304 4196468 140730067112384 140314422491040 140314948667684 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23296] ppid=23221 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23296/stat : 23296 (java) S 23221 23224 20264 0 -1 1077944384 3 12296 0 0 0 0 9 3 20 0 20 0 12872767 11190136832 62133 33554432000 4194304 4196468 140730067112384 140314421439584 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23297] ppid=23221 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23297/stat : 23297 (java) S 23221 23224 20264 0 -1 1077944384 5 12296 0 0 0 0 9 3 20 0 20 0 12872767 11190136832 62133 33554432000 4194304 4196468 140730067112384 140314420386864 140314955582082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
Current children cumulated CPU time (s) 6.55
Current children cumulated vsize (KiB) 10927868

[startup+3.60144 s]
/proc/loadavg: 3.35 1.89 1.57 5/282 23297
/proc/meminfo: memFree=29478012/32770624 swapFree=5840/341212
[pid=23224] ppid=23221 vsize=10995452 CPUtime=8.08 cores=1,3,5,7,9,11,13,15
/proc/23224/stat : 23224 (java) S 23221 23224 20264 0 -1 1077944320 60194 12296 0 0 768 28 9 3 20 0 20 0 12872746 11259342848 71031 33554432000 4194304 4196468 140730067112384 140730067094928 140314955570935 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
/proc/23224/statm: 2748863 71031 3483 1 0 2736418 0
[pid=23224/tid=23279] ppid=23221 vsize=10995452 CPUtime=3.3 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23279/stat : 23279 (java) R 23221 23224 20264 0 -1 4202560 41069 12296 0 0 307 11 9 3 20 0 20 0 12872758 11259342848 71031 33554432000 4194304 4196468 140730067112384 140314959798608 140314589717708 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23280] ppid=23221 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23280/stat : 23280 (java) S 23221 23224 20264 0 -1 1077944384 193 12296 0 0 12 1 9 3 20 0 20 0 12872759 11259342848 71031 33554432000 4194304 4196468 140730067112384 140314908191888 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23281] ppid=23221 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23281/stat : 23281 (java) S 23221 23224 20264 0 -1 1077944384 30 12296 0 0 13 0 9 3 20 0 20 0 12872759 11259342848 71031 33554432000 4194304 4196468 140730067112384 140314907139088 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23282] ppid=23221 vsize=10995452 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23282/stat : 23282 (java) S 23221 23224 20264 0 -1 1077944384 163 12296 0 0 13 1 9 3 20 0 20 0 12872759 11259342848 71031 33554432000 4194304 4196468 140730067112384 140314906086288 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23283] ppid=23221 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23283/stat : 23283 (java) S 23221 23224 20264 0 -1 1077944384 54 12296 0 0 13 0 9 3 20 0 20 0 12872759 11259342848 71031 33554432000 4194304 4196468 140730067112384 140314905033488 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23284] ppid=23221 vsize=10995452 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23284/stat : 23284 (java) S 23221 23224 20264 0 -1 1077944384 21 12296 0 0 12 0 9 3 20 0 20 0 12872759 11259342848 71031 33554432000 4194304 4196468 140730067112384 140314558519952 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23285] ppid=23221 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23285/stat : 23285 (java) S 23221 23224 20264 0 -1 1077944384 27 12296 0 0 12 1 9 3 20 0 20 0 12872759 11259342848 71031 33554432000 4194304 4196468 140730067112384 140314557467152 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23286] ppid=23221 vsize=10995452 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23286/stat : 23286 (java) S 23221 23224 20264 0 -1 1077944384 104 12296 0 0 13 1 9 3 20 0 20 0 12872759 11259342848 71031 33554432000 4194304 4196468 140730067112384 140314556414352 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23287] ppid=23221 vsize=10995452 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23287/stat : 23287 (java) S 23221 23224 20264 0 -1 1077944384 50 12296 0 0 13 1 9 3 20 0 20 0 12872759 11259342848 71031 33554432000 4194304 4196468 140730067112384 140314555361552 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23288] ppid=23221 vsize=10995452 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23288/stat : 23288 (java) S 23221 23224 20264 0 -1 1077944384 2697 12296 0 0 10 0 9 3 20 0 20 0 12872761 11259342848 71031 33554432000 4194304 4196468 140730067112384 140314429860720 140314955582082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23289] ppid=23221 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23289/stat : 23289 (java) S 23221 23224 20264 0 -1 1077944384 56 12296 0 0 0 0 9 3 20 0 20 0 12872762 11259342848 71031 33554432000 4194304 4196468 140730067112384 140314428806816 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23290] ppid=23221 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23290/stat : 23290 (java) S 23221 23224 20264 0 -1 1077944384 44 12296 0 0 0 0 9 3 20 0 20 0 12872762 11259342848 71097 33554432000 4194304 4196468 140730067112384 140314427753856 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23291] ppid=23221 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23291/stat : 23291 (java) S 23221 23224 20264 0 -1 1077944384 1 12296 0 0 0 0 9 3 20 0 20 0 12872767 11259342848 71097 33554432000 4194304 4196468 140730067112384 140314426702160 140314955589531 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23292] ppid=23221 vsize=10995452 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23292/stat : 23292 (java) S 23221 23224 20264 0 -1 1077944384 1573 12296 0 0 51 0 9 3 20 0 20 0 12872767 11259342848 71097 33554432000 4194304 4196468 140730067112384 140314425649520 140314955582082 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23293] ppid=23221 vsize=10995452 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23293/stat : 23293 (java) S 23221 23224 20264 0 -1 1077944384 2991 12296 0 0 84 2 9 3 20 0 20 0 12872767 11259342848 71097 33554432000 4194304 4196468 140730067112384 140314424596720 140314955582082 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23294] ppid=23221 vsize=10995452 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23294/stat : 23294 (java) R 23221 23224 20264 0 -1 4202560 5765 12296 0 0 107 1 9 3 20 0 20 0 12872767 11259342848 71097 33554432000 4194304 4196468 140730067112384 140314423524936 140314936271232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23295] ppid=23221 vsize=10995452 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23295/stat : 23295 (java) S 23221 23224 20264 0 -1 1077944384 3292 12296 0 0 101 2 9 3 20 0 20 0 12872767 11259342848 71097 33554432000 4194304 4196468 140730067112384 140314422491120 140314955582082 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23296] ppid=23221 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23296/stat : 23296 (java) S 23221 23224 20264 0 -1 1077944384 3 12296 0 0 0 0 9 3 20 0 20 0 12872767 11259342848 71097 33554432000 4194304 4196468 140730067112384 140314421439584 140314955581141 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
[pid=23224/tid=23297] ppid=23221 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23297/stat : 23297 (java) S 23221 23224 20264 0 -1 1077944384 5 12296 0 0 0 0 9 3 20 0 20 0 12872767 11259342848 71097 33554432000 4194304 4196468 140730067112384 140314420386864 140314955582082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28200960 140730067114689 140730067117463 140730067117463 140730067120079 0
Current children cumulated CPU time (s) 8.08
Current children cumulated vsize (KiB) 10995452

[startup+3.70106 s]
/proc/loadavg: 3.35 1.89 1.57 5/282 23297
/proc/meminfo: memFree=29478012/32770624 swapFree=5840/341212
[pid=23224] ppid=23221 vsize=0 CPUtime=8.41 cores=1,3,5,7,9,11,13,15
/proc/23224/stat : 23224 (java) Z 23221 23224 20264 0 -1 4227084 60727 12296 0 0 800 29 9 3 20 0 2 0 12872746 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/23224/statm: 0 0 0 0 0 0 0
[pid=23224/tid=23283] ppid=23221 vsize=0 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/23224/task/23283/stat : 23283 (java) R 23221 23224 20264 0 -1 4203588 54 12296 0 0 13 1 9 3 20 0 2 0 12872759 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 9 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.41
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 3.7055
CPU time (s): 8.42161
CPU user time (s): 8.09436
CPU system time (s): 0.327251
CPU usage (%): 227.273
Max. virtual memory (cumulated for all children) (KiB): 10995452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.09436
system time used= 0.327251
maximum resident set size= 286664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73023
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7904
involuntary context switches= 756

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038114 second user time and 0.046689 second system time

The end

Begin job on node117 at 2017-07-23 04:14:01
IDJOB=4249993
IDBENCH=138725
IDSOLVER=2630
FILE ID=node117/4249993-1500776041
RUNJOBID= node117-1500773721-22563
PBS_JOBID= 20624591
Free space on /tmp= 61944 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Domino/Domino-m1-s1/Domino-700-100.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4249993-1500776041/watcher-4249993-1500776041 -o /tmp/evaluation-result-4249993-1500776041/solver-4249993-1500776041 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500773721-22563 --watchdog 2560  bin/concrete HOME/instance-4249993-1500776041.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= afd68c385e5184dcb31c2a6fba91eaef
RANDOM SEED=115925468

node117.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29807752 kB
MemAvailable:   30230224 kB
Buffers:          161488 kB
Cached:           541276 kB
SwapCached:            0 kB
Active:          2178532 kB
Inactive:         349880 kB
Active(anon):    1828476 kB
Inactive(anon):     8700 kB
Active(file):     350056 kB
Inactive(file):   341180 kB
Unevictable:        5840 kB
Mlocked:            5840 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24248 kB
Writeback:             0 kB
AnonPages:       1838652 kB
Mapped:            44660 kB
Shmem:              8840 kB
Slab:             128100 kB
SReclaimable:      94144 kB
SUnreclaim:        33956 kB
KernelStack:        4880 kB
PageTables:         9020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3112332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1642496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61920 MiB
End job on node117 at 2017-07-23 04:14:05

Name	Domino/ Domino-m1-s1/Domino-700-100.xml
MD5SUM	afd68c385e5184dcb31c2a6fba91eaef
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.01282
Satisfiable
(Un)Satisfiability was proved
Number of variables	700
Number of constraints	2
Number of domains	1
Minimum domain size	100
Maximum domain size	100
Distribution of domain sizes	[{"size":100,"count":700}]
Minimum variable degree	1
Maximum variable degree	2
Distribution of variable degrees	[{"degree":1,"count":698},{"degree":2,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	700
Distribution of constraint arities	[{"arity":2,"count":1},{"arity":700,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	1
Distribution of constraint types	[{"type":"intension","count":1},{"type":"allEqual","count":1}]
Optimization problem	NO
Type of objective

Trace number 4249993

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data