Trace number 3461723

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 NameAnswerobjective functionCPU timeWall clock time
wbo 1.6? (TO) 1800.11 1800.04

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12040_1.std.opb
MD5SUM6fb8c842434b82a13287e61400a56efc
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark82
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints245500
Number of constraints which are clauses244300
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3461723-1307121721.opb.
0.00/0.00	c Instance file HOME/instance-3461723-1307121721.opb
0.00/0.00	c File size is 8335223 bytes.
0.59/0.66	c Highest Coefficient sum: 706
0.59/0.66	c ============================[ Problem Statistics ]=============================
0.59/0.66	c |                                                                             |
0.59/0.66	c |  Parsing time:          0.65         s                                      |
0.59/0.66	c |  Number Variables:      72842                                               |
0.59/0.66	c |  Number Clauses:        244300                                              |
0.59/0.66	c |  Number Cardinality:    0                                                   |
0.59/0.66	c |  Number PB Constraints: 1200                                                |
0.69/0.80	c ============================[ Search Statistics ]==============================
0.69/0.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.80	c ===============================================================================
0.79/0.80	c |         0 |   58031   245500   573651 |    81833        0   -nan |  0.000 % |
0.89/1.01	c core #1
0.89/1.01	c 
0.89/1.01	c 
0.89/1.01	c Core size: 444	Core Weight: 78	Total Weight: 78
0.89/1.01	c Current CPU time: 0.871867 s
0.89/1.01	c
0.89/1.01	c ============================[ Search Statistics ]==============================
0.89/1.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.89/1.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.89/1.01	c ===============================================================================
0.89/1.01	c |         0 |    4742   201488   416116 |    67162        0   -nan |  0.000 % |
1.00/1.02	c |       100 |    4742   201488   416116 |    73878      100     41 | 93.510 % |
1.00/1.04	c |       250 |    4742   201488   416116 |    81266      250     52 | 93.510 % |
1.00/1.07	c |       475 |    4742   201488   416116 |    89393      475     57 | 93.510 % |
1.00/1.11	c |       813 |    4742   201488   416116 |    98332      813     55 | 93.510 % |
1.10/1.18	c |      1320 |    4742   201488   416116 |   108166     1320     59 | 93.510 % |
1.19/1.27	c |      2080 |    4742   201488   416116 |   118982     2080     58 | 93.510 % |
1.39/1.41	c |      3220 |    4742   201488   416116 |   130881     3220     62 | 93.510 % |
1.59/1.69	c |      4928 |    4742   201488   416116 |   143969     4928     65 | 93.510 % |
1.99/2.09	c |      7491 |    4742   201488   416116 |   158366     7491     71 | 93.510 % |
2.69/2.74	c |     11336 |    4742   201488   416116 |   174202    11336     76 | 93.510 % |
3.69/3.78	c |     17102 |    4742   201488   416116 |   191622    17102     77 | 93.510 % |
5.51/5.54	c |     25751 |    4742   201488   416116 |   210785    25751     77 | 93.510 % |
8.19/8.22	c |     38725 |    4742   201488   416116 |   231863    38725     78 | 93.510 % |
13.89/13.93	c |     58187 |    4742   201488   416116 |   255050    58187     83 | 93.510 % |
22.60/22.66	c |     87379 |    4742   201488   416116 |   280555    87379     85 | 93.510 % |
39.70/39.73	c |    131168 |    4742   201488   416116 |   308610   131168     86 | 93.510 % |
76.39/76.45	c |    196855 |    4742   201488   416116 |   339471   196855     96 | 93.510 % |
157.70/157.75	c |    295381 |    4742   201488   416116 |   373418   295381     91 | 93.510 % |
338.60/338.69	c |    443171 |    4742   201488   416116 |   410760   443171    100 | 93.510 % |
510.51/510.59	c |    664854 |    4742   201488   416116 |   451836   201954     83 | 93.510 % |
1001.04/1001.06	c |    997379 |    4742   201488   416116 |   497020    36269     90 | 93.510 % |
1667.76/1667.77	c |   1496167 |    4742   201488   416116 |   546722   535057    116 | 93.510 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3461723-1307121721/watcher-3461723-1307121721 -o /tmp/evaluation-result-3461723-1307121721/solver-3461723-1307121721 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461723-1307121721.opb 

running on 4 cores: 1,3,5,7

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): 1900 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: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.26 1.76 1.86 3/442 17971
/proc/meminfo: memFree=29903768/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=12092 CPUtime=0 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 770 0 0 0 0 0 0 0 21 0 1 0 902402813 12382208 723 33554432000 4194304 5714214 140733759559264 18446744073709551615 5013640 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 3023 723 192 372 0 613 0

[startup+0.079931 s]
/proc/loadavg: 1.26 1.76 1.86 3/442 17971
/proc/meminfo: memFree=29903768/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=24128 CPUtime=0.07 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 3909 0 0 0 7 0 0 0 21 0 1 0 902402813 24707072 3715 33554432000 4194304 5714214 140733759559264 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 6032 3716 424 372 0 3622 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 24128

[startup+0.100928 s]
/proc/loadavg: 1.26 1.76 1.86 3/442 17971
/proc/meminfo: memFree=29903768/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=24948 CPUtime=0.09 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 4184 0 0 0 9 0 0 0 21 0 1 0 902402813 25546752 3990 33554432000 4194304 5714214 140733759559264 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 6237 3990 498 372 0 3827 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24948

[startup+0.300898 s]
/proc/loadavg: 1.26 1.76 1.86 3/442 17971
/proc/meminfo: memFree=29903768/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=34312 CPUtime=0.29 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 7140 0 0 0 29 0 0 0 22 0 1 0 902402813 35135488 6777 33554432000 4194304 5714214 140733759559264 18446744073709551615 4222999 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 8578 6777 1166 372 0 6168 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34312

[startup+0.70082 s]
/proc/loadavg: 1.26 1.76 1.86 3/442 17971
/proc/meminfo: memFree=29903768/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=74508 CPUtime=0.69 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 19900 0 0 0 67 2 0 0 18 0 1 0 902402813 76296192 17276 33554432000 4194304 5714214 140733759559264 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 18627 17281 172 372 0 18252 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 74508

[startup+1.50068 s]
/proc/loadavg: 1.26 1.76 1.86 4/444 17973
/proc/meminfo: memFree=29695932/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=105340 CPUtime=1.49 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 31924 0 0 0 145 4 0 0 18 0 1 0 902402813 107868160 25431 33554432000 4194304 5714214 140733759559264 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 26335 25431 180 372 0 25960 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 105340

[startup+3.10037 s]
/proc/loadavg: 1.26 1.76 1.86 4/444 17973
/proc/meminfo: memFree=29700768/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=105340 CPUtime=3.09 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 31924 0 0 0 303 6 0 0 22 0 1 0 902402813 107868160 25431 33554432000 4194304 5714214 140733759559264 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 26335 25431 180 372 0 25960 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 105340

[startup+6.30077 s]
/proc/loadavg: 1.32 1.77 1.87 4/444 17973
/proc/meminfo: memFree=29693148/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=105340 CPUtime=6.29 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 31960 0 0 0 619 10 0 0 25 0 1 0 902402813 107868160 25467 33554432000 4194304 5714214 140733759559264 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 26335 25467 180 372 0 25960 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 105340

[startup+12.7006 s]
/proc/loadavg: 1.37 1.77 1.87 4/444 17973
/proc/meminfo: memFree=29690544/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=108376 CPUtime=12.69 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 32747 0 0 0 1253 16 0 0 25 0 1 0 902402813 110977024 26254 33554432000 4194304 5714214 140733759559264 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 27094 26254 180 372 0 26719 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 108376

[startup+25.5012 s]
/proc/loadavg: 1.58 1.80 1.87 4/444 17974
/proc/meminfo: memFree=29669232/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=130144 CPUtime=25.5 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 38084 0 0 0 2525 25 0 0 25 0 1 0 902402813 133267456 31591 33554432000 4194304 5714214 140733759559264 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 32536 31591 180 372 0 32161 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 130144

[startup+51.1003 s]
/proc/loadavg: 1.72 1.81 1.87 4/444 17974
/proc/meminfo: memFree=29615524/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=162924 CPUtime=51.09 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 46250 0 0 0 5074 35 0 0 25 0 1 0 902402813 166834176 39757 33554432000 4194304 5714214 140733759559264 18446744073709551615 4319240 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 40731 39757 180 372 0 40356 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 162924

[startup+102.317 s]
/proc/loadavg: 1.88 1.84 1.88 4/444 17976
/proc/meminfo: memFree=29541028/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=208040 CPUtime=102.31 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 57426 0 0 0 10180 51 0 0 25 0 1 0 902402813 213032960 50933 33554432000 4194304 5714214 140733759559264 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 52010 50933 180 372 0 51635 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 208040

[startup+162.3 s]
/proc/loadavg: 1.95 1.86 1.89 4/444 17977
/proc/meminfo: memFree=29506540/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=241468 CPUtime=162.29 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 65857 0 0 0 16161 68 0 0 25 0 1 0 902402813 247263232 59364 33554432000 4194304 5714214 140733759559264 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 60367 59364 180 372 0 59992 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 241468

[startup+222.301 s]
/proc/loadavg: 1.98 1.89 1.89 4/444 17979
/proc/meminfo: memFree=29468532/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=279064 CPUtime=222.3 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 75047 0 0 0 22146 84 0 0 25 0 1 0 902402813 285761536 68554 33554432000 4194304 5714214 140733759559264 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 69766 68554 180 372 0 69391 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 279064

[startup+282.301 s]
/proc/loadavg: 1.99 1.90 1.90 4/444 17981
/proc/meminfo: memFree=29416916/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=310532 CPUtime=282.3 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 82949 0 0 0 28131 99 0 0 25 0 1 0 902402813 317984768 76456 33554432000 4194304 5714214 140733759559264 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 77633 76456 180 372 0 77258 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 310532

[startup+342.301 s]
/proc/loadavg: 1.99 1.92 1.90 4/444 17982
/proc/meminfo: memFree=29370872/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=335932 CPUtime=342.3 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 89291 0 0 0 34121 109 0 0 25 0 1 0 902402813 343994368 82798 33554432000 4194304 5714214 140733759559264 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 83983 82798 180 372 0 83608 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 335932

[startup+402.3 s]
/proc/loadavg: 1.99 1.93 1.91 4/444 17984
/proc/meminfo: memFree=29337476/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=353780 CPUtime=402.31 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 93338 0 0 0 40109 122 0 0 25 0 1 0 902402813 362270720 86845 33554432000 4194304 5714214 140733759559264 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 88445 86845 180 372 0 88070 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 353780

[startup+462.301 s]
/proc/loadavg: 1.99 1.94 1.91 4/444 17985
/proc/meminfo: memFree=29319688/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=354872 CPUtime=462.31 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 93596 0 0 0 46093 138 0 0 25 0 1 0 902402813 363388928 87103 33554432000 4194304 5714214 140733759559264 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 88718 87103 180 372 0 88343 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 354872

[startup+522.301 s]
/proc/loadavg: 2.19 2.00 1.93 4/444 17987
/proc/meminfo: memFree=29303420/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=356192 CPUtime=522.31 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 93900 0 0 0 52083 148 0 0 25 0 1 0 902402813 364740608 87407 33554432000 4194304 5714214 140733759559264 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 89048 87407 180 372 0 88673 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 356192

[startup+582.3 s]
/proc/loadavg: 2.07 2.00 1.93 4/444 17989
/proc/meminfo: memFree=29287008/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=356564 CPUtime=582.31 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 93981 0 0 0 58071 160 0 0 25 0 1 0 902402813 365121536 87488 33554432000 4194304 5714214 140733759559264 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 89141 87488 180 372 0 88766 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 356564

[startup+642.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/444 17995
/proc/meminfo: memFree=29264660/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=380320 CPUtime=822.32 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 99832 0 0 0 82037 195 0 0 25 0 1 0 902402813 389447680 93339 33554432000 4194304 5714214 140733759559264 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 95080 93339 180 372 0 94705 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 380320

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.93 4/444 17997
/proc/meminfo: memFree=29247636/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=397080 CPUtime=882.32 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 103986 0 0 0 88027 205 0 0 25 0 1 0 902402813 406609920 97493 33554432000 4194304 5714214 140733759559264 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 99270 97493 180 372 0 98895 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 397080

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.93 4/444 17998
/proc/meminfo: memFree=29232596/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=413240 CPUtime=942.32 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 107984 0 0 0 94018 214 0 0 25 0 1 0 902402813 423157760 101491 33554432000 4194304 5714214 140733759559264 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 103310 101491 180 372 0 102935 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 413240

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/444 18000
/proc/meminfo: memFree=29219532/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=425700 CPUtime=1002.33 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 111111 0 0 0 100009 224 0 0 25 0 1 0 902402813 435916800 104618 33554432000 4194304 5714214 140733759559264 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 106425 104618 180 372 0 106050 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 425700

[startup+1062.3 s]
/proc/loadavg: 2.13 2.04 1.94 4/444 18004
/proc/meminfo: memFree=29218104/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=426160 CPUtime=1062.33 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 111232 0 0 0 105992 241 0 0 25 0 1 0 902402813 436387840 104739 33554432000 4194304 5714214 140733759559264 18446744073709551615 4319501 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 106540 104739 180 372 0 106165 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 426160

[startup+1122.3 s]
/proc/loadavg: 2.09 2.05 1.95 4/444 18006
/proc/meminfo: memFree=29216960/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=427460 CPUtime=1122.34 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 111533 0 0 0 111982 252 0 0 25 0 1 0 902402813 437719040 105040 33554432000 4194304 5714214 140733759559264 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 106865 105040 180 372 0 106490 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 427460

[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 1.95 4/444 18008
/proc/meminfo: memFree=29202048/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=437400 CPUtime=1182.33 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 113969 0 0 0 117971 262 0 0 25 0 1 0 902402813 447897600 107476 33554432000 4194304 5714214 140733759559264 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 109350 107476 180 372 0 108975 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 437400

[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 1.95 4/444 18009
/proc/meminfo: memFree=29180300/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=449152 CPUtime=1242.33 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 116879 0 0 0 123960 273 0 0 25 0 1 0 902402813 459931648 110386 33554432000 4194304 5714214 140733759559264 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 112288 110386 180 372 0 111913 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 449152

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.95 5/444 18011
/proc/meminfo: memFree=29160784/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=462888 CPUtime=1302.35 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 120266 0 0 0 129953 282 0 0 25 0 1 0 902402813 473997312 113773 33554432000 4194304 5714214 140733759559264 18446744073709551615 4319840 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 115722 113773 180 372 0 115347 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 462888

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/444 18012
/proc/meminfo: memFree=29142128/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=474152 CPUtime=1362.34 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 123054 0 0 0 135941 293 0 0 25 0 1 0 902402813 485531648 116561 33554432000 4194304 5714214 140733759559264 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 118538 116561 180 372 0 118163 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 474152

[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 1.95 4/444 18014
/proc/meminfo: memFree=29116424/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=485772 CPUtime=1422.36 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 125921 0 0 0 141934 302 0 0 25 0 1 0 902402813 497430528 119428 33554432000 4194304 5714214 140733759559264 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 121443 119428 180 372 0 121068 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 485772

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 5/444 18016
/proc/meminfo: memFree=29091224/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=496472 CPUtime=1482.35 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 128593 0 0 0 147923 312 0 0 25 0 1 0 902402813 508387328 122100 33554432000 4194304 5714214 140733759559264 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 124118 122100 180 372 0 123743 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 496472

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 1.95 4/444 18017
/proc/meminfo: memFree=29066508/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=508780 CPUtime=1542.34 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 131598 0 0 0 153913 321 0 0 25 0 1 0 902402813 520990720 125105 33554432000 4194304 5714214 140733759559264 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 127195 125105 180 372 0 126820 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 508780

[startup+1602.3 s]
/proc/loadavg: 2.21 2.06 1.97 4/444 18019
/proc/meminfo: memFree=29039940/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=519584 CPUtime=1602.35 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 134293 0 0 0 159905 330 0 0 25 0 1 0 902402813 532054016 127800 33554432000 4194304 5714214 140733759559264 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 129896 127800 180 372 0 129521 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 519584

[startup+1662.3 s]
/proc/loadavg: 2.08 2.05 1.97 4/444 18020
/proc/meminfo: memFree=29016692/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=535932 CPUtime=1662.35 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 138411 0 0 0 165896 339 0 0 25 0 1 0 902402813 548794368 131918 33554432000 4194304 5714214 140733759559264 18446744073709551615 4329480 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 133983 131918 180 372 0 133608 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 535932

[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 1.97 4/444 18022
/proc/meminfo: memFree=28997432/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=555468 CPUtime=1722.35 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 143250 0 0 0 171886 349 0 0 25 0 1 0 902402813 568799232 136757 33554432000 4194304 5714214 140733759559264 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 138867 136757 180 372 0 138492 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 555468

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 1.97 4/444 18024
/proc/meminfo: memFree=28977432/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=573008 CPUtime=1782.35 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 147691 0 0 0 177875 360 0 0 25 0 1 0 902402813 586760192 141198 33554432000 4194304 5714214 140733759559264 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 143252 141198 180 372 0 142877 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 573008



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.02 1.97 4/444 18024
/proc/meminfo: memFree=28972956/32950928 swapFree=52246700/67111528
[pid=17971] ppid=17969 vsize=578024 CPUtime=1800.07 cores=1,3,5,7
/proc/17971/stat : 17971 (wbo1.6) R 17969 17971 13866 0 -1 4202496 148960 0 0 0 179643 364 0 0 25 0 1 0 902402813 591896576 142467 33554432000 4194304 5714214 140733759559264 18446744073709551615 4319254 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17971/statm: 144506 142467 180 372 0 144131 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 578024

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.11
CPU user time (s): 1796.44
CPU system time (s): 3.66844
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 578024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.44
system time used= 3.66844
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148961
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= 4
involuntary context switches= 3065

runsolver used 7.9088 second user time and 18.4922 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-03 19:22:01
IDJOB=3461723
IDBENCH=77578
IDSOLVER=1953
FILE ID=node114/3461723-1307121721
RUNJOBID= node114-1307121721-17953
PBS_JOBID= 13497997
Free space on /tmp= 73912 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12040_1.std.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461723-1307121721/watcher-3461723-1307121721 -o /tmp/evaluation-result-3461723-1307121721/solver-3461723-1307121721 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461723-1307121721.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 6fb8c842434b82a13287e61400a56efc
RANDOM SEED=1790483099

node114.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29904544 kB
Buffers:        286660 kB
Cached:         451156 kB
SwapCached:      10712 kB
Active:        2330964 kB
Inactive:       443540 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29904544 kB
SwapTotal:    67111528 kB
SwapFree:     52246700 kB
Dirty:           24576 kB
Writeback:           0 kB
AnonPages:     2034104 kB
Mapped:          22256 kB
Slab:           141544 kB
PageTables:      62016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 108166392 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73904 MiB
End job on node114 at 2011-06-03 19:52:03