Trace number 2059494

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pcs-restart 0.3.2? (MO) 1793.99 1801.37

General information on the benchmark

Namecsp/BH-4-13/
normalized-BlackHole-4-13-e-0_ext.xml
MD5SUM308da8d6f22ce7d5aad3f96e3b4e6901
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.178971
Satisfiable
(Un)Satisfiability was proved
Number of variables208
Number of constraints4217
Maximum constraint arity2
Maximum domain size52
Number of constraints which are defined in extension4217
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.28/0.30	c Seed is 1916984177
0.28/0.30	c Constructing HOME/instance-2059494-1247695130.xml  with 71842 constraints
0.28/0.30	c Solving

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2059494-1247695130/watcher-2059494-1247695130 -o /tmp/evaluation-result-2059494-1247695130/solver-2059494-1247695130 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1916984177 HOME/instance-2059494-1247695130.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 1.92 1.25 4/73 11077
/proc/meminfo: memFree=1123848/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=5356 CPUtime=0
/proc/11077/stat : 11077 (pcssolve) R 11075 11077 10948 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 56578422 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 243665529503 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/11077/statm: 1339 241 200 169 0 50 0
[pid=11078] ppid=11077 vsize=5356 CPUtime=0
/proc/11078/stat : 11078 (pcssolve) R 11077 11077 10948 0 -1 4194368 20 0 0 0 0 0 0 0 20 0 1 0 56578423 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 243665697381 0 0 4100 65536 0 0 0 17 1 0 0
/proc/11078/statm: 1339 243 202 169 0 50 0

[startup+0.0570209 s]
/proc/loadavg: 2.00 1.92 1.25 4/73 11077
/proc/meminfo: memFree=1123848/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=8060 CPUtime=0.03
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 1732 657 0 0 3 0 0 0 17 0 1 0 56578422 8253440 1265 996147200 134512640 135215973 4294956304 18446744073709551615 7222907 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 2015 1266 387 171 0 940 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8060

[startup+0.101028 s]
/proc/loadavg: 2.00 1.92 1.25 4/73 11077
/proc/meminfo: memFree=1123848/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=11608 CPUtime=0.07
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 2726 657 0 0 7 0 0 0 17 0 1 0 56578422 11886592 2130 996147200 134512640 135215973 4294956304 18446744073709551615 7222907 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 2902 2131 387 171 0 1827 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11608

[startup+0.301063 s]
/proc/loadavg: 2.00 1.92 1.25 4/73 11077
/proc/meminfo: memFree=1123848/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=28396 CPUtime=0.28
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 7366 657 0 0 25 3 0 0 18 0 1 0 56578422 29077504 5902 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 7099 5902 400 171 0 6024 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 28396

[startup+0.701134 s]
/proc/loadavg: 2.00 1.92 1.25 4/73 11077
/proc/meminfo: memFree=1123848/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=29356 CPUtime=0.68
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 7582 657 0 0 65 3 0 0 22 0 1 0 56578422 30060544 6118 996147200 134512640 135215973 4294956304 18446744073709551615 134908116 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 7339 6118 400 171 0 6264 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 29356

[startup+1.50228 s]
/proc/loadavg: 2.00 1.92 1.25 3/74 11082
/proc/meminfo: memFree=1100024/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=30008 CPUtime=1.48
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 7743 657 0 0 145 3 0 0 25 0 1 0 56578422 30728192 6279 996147200 134512640 135215973 4294956304 18446744073709551615 134599883 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 7502 6279 402 171 0 6427 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 30008

[startup+3.10157 s]
/proc/loadavg: 2.00 1.92 1.26 3/74 11082
/proc/meminfo: memFree=1099192/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=30008 CPUtime=3.07
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 7760 657 0 0 304 3 0 0 25 0 1 0 56578422 30728192 6296 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 7502 6296 402 171 0 6427 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 30008

[startup+6.30115 s]
/proc/loadavg: 2.00 1.92 1.26 3/74 11082
/proc/meminfo: memFree=1097208/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=30796 CPUtime=6.25
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 7945 657 0 0 622 3 0 0 25 0 1 0 56578422 31535104 6481 996147200 134512640 135215973 4294956304 18446744073709551615 134596309 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 7699 6481 402 171 0 6624 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 30796

[startup+12.7013 s]
/proc/loadavg: 2.00 1.92 1.26 3/74 11082
/proc/meminfo: memFree=1089736/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=33984 CPUtime=12.62
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 8776 657 0 0 1259 3 0 0 25 0 1 0 56578422 34799616 7312 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 8496 7312 402 171 0 7421 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 33984

[startup+25.5016 s]
/proc/loadavg: 2.00 1.92 1.27 3/74 11082
/proc/meminfo: memFree=1074248/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=40240 CPUtime=25.37
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 10401 657 0 0 2532 5 0 0 25 0 1 0 56578422 41205760 8937 996147200 134512640 135215973 4294956304 18446744073709551615 134584968 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 10060 8937 402 171 0 8985 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 40240

[startup+51.1012 s]
/proc/loadavg: 2.00 1.93 1.29 3/74 11082
/proc/meminfo: memFree=1040072/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=59492 CPUtime=50.87
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 15458 657 0 0 5078 9 0 0 25 0 1 0 56578422 60919808 13896 996147200 134512640 135215973 4294956304 18446744073709551615 134585168 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 14873 13896 402 171 0 13798 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 59492

[startup+102.306 s]
/proc/loadavg: 2.00 1.94 1.33 3/74 11082
/proc/meminfo: memFree=970760/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=85620 CPUtime=101.88
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 22348 657 0 0 10173 15 0 0 25 0 1 0 56578422 87674880 20400 996147200 134512640 135215973 4294956304 18446744073709551615 7222907 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 21405 20400 402 171 0 20330 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 85620

[startup+162.301 s]
/proc/loadavg: 2.04 1.96 1.37 3/74 11088
/proc/meminfo: memFree=912392/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=121788 CPUtime=161.61
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 31832 657 0 0 16139 22 0 0 25 0 1 0 56578422 124710912 28730 996147200 134512640 135215973 4294956304 18446744073709551615 134592374 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 30447 28730 402 171 0 29372 0
Current children cumulated CPU time (s) 161.61
Current children cumulated vsize (KiB) 121788

[startup+222.301 s]
/proc/loadavg: 2.06 1.98 1.41 3/74 11088
/proc/meminfo: memFree=850760/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=157248 CPUtime=221.38
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 40952 657 0 0 22108 30 0 0 25 0 1 0 56578422 161021952 37850 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 39312 37850 402 171 0 38237 0
Current children cumulated CPU time (s) 221.38
Current children cumulated vsize (KiB) 157248

[startup+282.302 s]
/proc/loadavg: 2.06 2.00 1.45 3/74 11088
/proc/meminfo: memFree=789960/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=186628 CPUtime=281.14
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 48526 657 0 0 28077 37 0 0 25 0 1 0 56578422 191107072 45424 996147200 134512640 135215973 4294956304 18446744073709551615 7222907 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 46657 45424 402 171 0 45582 0
Current children cumulated CPU time (s) 281.14
Current children cumulated vsize (KiB) 186628

[startup+342.303 s]
/proc/loadavg: 2.27 2.06 1.50 3/74 11088
/proc/meminfo: memFree=726024/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=217800 CPUtime=340.9
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 56794 657 0 0 34044 46 0 0 25 0 1 0 56578422 223027200 53179 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 54450 53179 402 171 0 53375 0
Current children cumulated CPU time (s) 340.9
Current children cumulated vsize (KiB) 217800

[startup+402.302 s]
/proc/loadavg: 2.20 2.08 1.54 3/74 11088
/proc/meminfo: memFree=665928/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=249132 CPUtime=400.66
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 65085 657 0 0 40013 53 0 0 25 0 1 0 56578422 255111168 61470 996147200 134512640 135215973 4294956304 18446744073709551615 4158960651 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 62283 61470 402 171 0 61208 0
Current children cumulated CPU time (s) 400.66
Current children cumulated vsize (KiB) 249132

[startup+462.302 s]
/proc/loadavg: 2.07 2.06 1.57 3/74 11088
/proc/meminfo: memFree=591688/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=296176 CPUtime=460.42
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 77335 657 0 0 45979 63 0 0 25 0 1 0 56578422 303284224 71414 996147200 134512640 135215973 4294956304 18446744073709551615 134532674 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 74044 71414 402 171 0 72969 0
Current children cumulated CPU time (s) 460.42
Current children cumulated vsize (KiB) 296176

[startup+522.301 s]
/proc/loadavg: 2.02 2.05 1.59 3/74 11088
/proc/meminfo: memFree=534088/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=326172 CPUtime=520.19
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 85018 657 0 0 51948 71 0 0 25 0 1 0 56578422 334000128 79097 996147200 134512640 135215973 4294956304 18446744073709551615 4158960084 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 81543 79097 402 171 0 80468 0
Current children cumulated CPU time (s) 520.19
Current children cumulated vsize (KiB) 326172

[startup+582.301 s]
/proc/loadavg: 2.01 2.03 1.62 3/74 11088
/proc/meminfo: memFree=475656/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=355432 CPUtime=579.95
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 92544 657 0 0 57916 79 0 0 25 0 1 0 56578422 363962368 86623 996147200 134512640 135215973 4294956304 18446744073709551615 4158960004 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 88858 86623 402 171 0 87783 0
Current children cumulated CPU time (s) 579.95
Current children cumulated vsize (KiB) 355432

[startup+642.301 s]
/proc/loadavg: 2.00 2.03 1.64 3/74 11088
/proc/meminfo: memFree=406216/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=388048 CPUtime=639.72
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 100906 657 0 0 63884 88 0 0 25 0 1 0 56578422 397361152 94985 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 97012 94985 402 171 0 95937 0
Current children cumulated CPU time (s) 639.72

################
# More data... #
################

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.71 3/74 11088
/proc/meminfo: memFree=135560/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=510976 CPUtime=878.75
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 132686 657 0 0 87755 120 0 0 25 0 1 0 56578422 523239424 125740 996147200 134512640 135215973 4294956304 18446744073709551615 134553037 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 127744 125740 402 171 0 126669 0
Current children cumulated CPU time (s) 878.75
Current children cumulated vsize (KiB) 510976

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.72 3/74 11088
/proc/meminfo: memFree=83080/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=536180 CPUtime=938.52
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 139166 657 0 0 93725 127 0 0 25 0 1 0 56578422 549048320 132220 996147200 134512640 135215973 4294956304 18446744073709551615 134533294 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 134045 132220 402 171 0 132970 0
Current children cumulated CPU time (s) 938.52
Current children cumulated vsize (KiB) 536180

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/74 11088
/proc/meminfo: memFree=35848/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=559348 CPUtime=998.28
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 145064 657 0 0 99694 134 0 0 25 0 1 0 56578422 572772352 138118 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 139837 138118 402 171 0 138762 0
Current children cumulated CPU time (s) 998.28
Current children cumulated vsize (KiB) 559348

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/74 11088
/proc/meminfo: memFree=16008/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=582900 CPUtime=1058.04
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 151092 657 0 0 105664 140 0 0 25 0 1 0 56578422 596889600 144146 996147200 134512640 135215973 4294956304 18446744073709551615 4158960153 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 145725 144146 402 171 0 144650 0
Current children cumulated CPU time (s) 1058.04
Current children cumulated vsize (KiB) 582900

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.76 3/74 11088
/proc/meminfo: memFree=15496/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=609612 CPUtime=1117.8
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 158318 657 0 0 111632 148 0 0 25 0 1 0 56578422 624242688 151372 996147200 134512640 135215973 4294956304 18446744073709551615 134599834 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 152403 151372 402 171 0 151328 0
Current children cumulated CPU time (s) 1117.8
Current children cumulated vsize (KiB) 609612

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/74 11088
/proc/meminfo: memFree=15240/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=659592 CPUtime=1177.54
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 171266 657 0 0 117598 156 0 0 25 0 1 0 56578422 675422208 160223 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 164898 160223 402 171 0 163823 0
Current children cumulated CPU time (s) 1177.54
Current children cumulated vsize (KiB) 659592

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/74 11088
/proc/meminfo: memFree=14856/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=691552 CPUtime=1237.3
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 179705 657 0 0 123567 163 0 0 25 0 1 0 56578422 708149248 166613 996147200 134512640 135215973 4294956304 18446744073709551615 134600099 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 172888 166613 402 171 0 171813 0
Current children cumulated CPU time (s) 1237.3
Current children cumulated vsize (KiB) 691552

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/74 11088
/proc/meminfo: memFree=21384/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=712448 CPUtime=1297.06
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 185313 657 0 0 129538 168 0 0 25 0 1 0 56578422 729546752 172221 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 178112 172221 402 171 0 177037 0
Current children cumulated CPU time (s) 1297.06
Current children cumulated vsize (KiB) 712448

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/74 11088
/proc/meminfo: memFree=15304/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=733368 CPUtime=1356.81
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 190947 657 0 0 135507 174 0 0 25 0 1 0 56578422 750968832 177855 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 183342 177855 402 171 0 182267 0
Current children cumulated CPU time (s) 1356.81
Current children cumulated vsize (KiB) 733368

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.82 3/74 11088
/proc/meminfo: memFree=15880/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=754308 CPUtime=1416.56
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 196579 657 0 0 141477 179 0 0 25 0 1 0 56578422 772411392 183487 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 188577 183487 402 171 0 187502 0
Current children cumulated CPU time (s) 1416.56
Current children cumulated vsize (KiB) 754308

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/74 11088
/proc/meminfo: memFree=14920/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=778628 CPUtime=1476.3
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 202878 657 0 0 147446 184 0 0 25 0 1 0 56578422 797315072 189786 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 194657 189786 402 171 0 193582 0
Current children cumulated CPU time (s) 1476.3
Current children cumulated vsize (KiB) 778628

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/74 11088
/proc/meminfo: memFree=16200/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=806060 CPUtime=1536.05
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 209887 657 0 0 153414 191 0 0 25 0 1 0 56578422 825405440 196795 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 201515 196795 402 171 0 200440 0
Current children cumulated CPU time (s) 1536.05
Current children cumulated vsize (KiB) 806060

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/74 11088
/proc/meminfo: memFree=16264/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=833768 CPUtime=1595.79
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 216977 657 0 0 159380 199 0 0 25 0 1 0 56578422 853778432 203885 996147200 134512640 135215973 4294956304 18446744073709551615 4158851132 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 208442 203885 402 171 0 207367 0
Current children cumulated CPU time (s) 1595.79
Current children cumulated vsize (KiB) 833768

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/74 11088
/proc/meminfo: memFree=15688/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=860472 CPUtime=1655.54
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 223755 657 0 0 165348 206 0 0 25 0 1 0 56578422 881123328 210663 996147200 134512640 135215973 4294956304 18446744073709551615 134585183 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 215118 210663 402 171 0 214043 0
Current children cumulated CPU time (s) 1655.54
Current children cumulated vsize (KiB) 860472

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/74 11088
/proc/meminfo: memFree=16200/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=886384 CPUtime=1715.28
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 230383 657 0 0 171315 213 0 0 25 0 1 0 56578422 907657216 217291 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 221596 217291 402 171 0 220521 0
Current children cumulated CPU time (s) 1715.28
Current children cumulated vsize (KiB) 886384

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/74 11088
/proc/meminfo: memFree=16328/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=913164 CPUtime=1775.01
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 237207 657 0 0 177283 218 0 0 25 0 1 0 56578422 935079936 224115 996147200 134512640 135215973 4294956304 18446744073709551615 134584619 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 228291 224115 402 171 0 227216 0
Current children cumulated CPU time (s) 1775.01
Current children cumulated vsize (KiB) 913164



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 2.00 2.00 1.86 3/74 11088
/proc/meminfo: memFree=16200/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=921644 CPUtime=1793.81
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4194304 239349 657 0 0 179162 219 0 0 25 0 1 0 56578422 943763456 226257 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 230411 226257 402 171 0 229336 0
Current children cumulated CPU time (s) 1793.81
Current children cumulated vsize (KiB) 921644

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1801.31 s]
/proc/loadavg: 2.00 2.00 1.86 3/74 11088
/proc/meminfo: memFree=16200/2055920 swapFree=4192812/4192956
[pid=11077] ppid=11075 vsize=0 CPUtime=1793.91
/proc/11077/stat : 11077 (pcs.big) R 11075 11077 10948 0 -1 4195332 239349 657 0 0 179162 229 0 0 25 0 1 0 56578422 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/11077/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1793.91
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.37
CPU time (s): 1793.99
CPU user time (s): 1791.63
CPU system time (s): 2.35964
CPU usage (%): 99.5903
Max. virtual memory (cumulated for all children) (KiB): 921644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.63
system time used= 2.35964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240006
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20
involuntary context switches= 20586

runsolver used 1.68874 second user time and 4.87626 second system time

The end

Launcher Data 

Begin job on node84 at 2009-07-15 23:58:51
IDJOB=2059494
IDBENCH=53587
IDSOLVER=734
FILE ID=node84/2059494-1247695130
PBS_JOBID= 9521151
Free space on /tmp= 66180 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/BH-4-13/normalized-BlackHole-4-13-e-0_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2059494-1247695130/watcher-2059494-1247695130 -o /tmp/evaluation-result-2059494-1247695130/solver-2059494-1247695130 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1916984177 HOME/instance-2059494-1247695130.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 308da8d6f22ce7d5aad3f96e3b4e6901
RANDOM SEED=1916984177

node84.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1124264 kB
Buffers:         71720 kB
Cached:         746728 kB
SwapCached:          0 kB
Active:         249888 kB
Inactive:       610160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1124264 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4256 kB
Writeback:           0 kB
Mapped:          50964 kB
Slab:            56952 kB
Committed_AS:   504376 kB
PageTables:       1740 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66180 MiB
End job on node84 at 2009-07-16 00:28:54