Trace number 3478729

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
wbo 1.6? (TO) 1800.09 1800.04

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-53.opb
MD5SUM3eaa712ef8c4f1e38f38abbb36d752f3
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10086
Total number of constraints226240
Number of constraints which are clauses203302
Number of constraints which are cardinality constraints (but not clauses)720
Number of constraints which are nor clauses,nor cardinality constraints22218
Minimum length of a constraint2
Maximum length of a constraint231
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 232
Number of bits of the biggest sum of numbers8
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-3478729-1307436783.opb.
0.00/0.00	c Instance file HOME/instance-3478729-1307436783.opb
0.00/0.00	c File size is 9526575 bytes.
0.49/0.59	c Highest Coefficient sum: 232
0.49/0.59	c ============================[ Problem Statistics ]=============================
0.49/0.59	c |                                                                             |
0.49/0.59	c |  Parsing time:          0.59         s                                      |
0.49/0.59	c |  Number Variables:      10086                                               |
0.49/0.59	c |  Number Clauses:        203668                                              |
0.49/0.59	c |  Number Cardinality:    722                                                 |
0.49/0.59	c |  Number PB Constraints: 22218                                               |
0.59/0.62	c ============================[ Search Statistics ]==============================
0.59/0.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.62	c ===============================================================================
0.59/0.62	c |         0 |   10086   226608   874972 |    75536        0   -nan |  0.000 % |
0.69/0.73	c ============================[ Search Statistics ]==============================
0.69/0.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.73	c ===============================================================================
0.69/0.73	c |         0 |   10086   226608   874972 |    75536        0   -nan |  0.000 % |
0.69/0.77	c |       101 |   10086   226608   874972 |    83089      101     35 |  0.000 % |
0.79/0.86	c |       252 |   10086   226608   874972 |    91398      252     25 |  0.000 % |
0.89/0.96	c |       477 |   10086   226608   874972 |   100538      477     26 |  0.000 % |
1.19/1.20	c |       814 |   10086   226608   874972 |   110592      814     26 |  0.000 % |
1.29/1.38	c |      1320 |   10086   226608   874972 |   121651     1320     29 |  0.000 % |
1.69/1.75	c |      2079 |   10086   226608   874972 |   133816     2079     25 |  0.000 % |
1.89/1.90	c |      3219 |   10086   226608   874972 |   147198     3219     31 |  0.000 % |
2.69/2.71	c |      4927 |   10086   226608   874972 |   161918     4927     29 |  0.000 % |
3.09/3.11	c |      7489 |   10086   226608   874972 |   178109     7489     36 |  0.000 % |
4.79/4.83	c |     11335 |   10086   226608   874972 |   195920    11335     38 |  0.000 % |
6.39/6.48	c |     17101 |   10086   226608   874972 |   215513    17101     40 |  0.000 % |
9.99/10.01	c |     25750 |   10086   226608   874972 |   237064    25750     41 |  0.000 % |
14.31/14.38	c |     38728 |   10086   226608   874972 |   260770    38728     42 |  0.000 % |
20.39/20.43	c |     58189 |   10086   226608   874972 |   286847    58189     45 |  0.000 % |
32.09/32.11	c |     87381 |   10084   226608   874972 |   315532    87381     46 |  0.020 % |
44.80/44.88	c |    131170 |   10080   226608   874972 |   347085   131170     48 |  0.059 % |
64.29/64.33	c |    196854 |   10080   226608   874972 |   381794   196854     49 |  0.059 % |
127.50/127.52	c |    295380 |   10080   226608   874972 |   419973   295380     43 |  0.059 % |
299.50/299.53	c |    443169 |   10080   226608   874972 |   461971    44210     37 |  0.059 % |
399.90/399.91	c |    664853 |   10080   226608   874972 |   508168   265894     46 |  0.059 % |
616.51/616.52	c |    997379 |   10079   226608   874972 |   558985   117366     43 |  0.069 % |
994.22/994.31	c |   1496168 |   10078   226608   874972 |   614883    90905     40 |  0.079 % |
1465.93/1465.92	c |   2244350 |   10078   226608   874972 |   676372   272557     48 |  0.079 % |

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-3478729-1307436783/watcher-3478729-1307436783 -o /tmp/evaluation-result-3478729-1307436783/solver-3478729-1307436783 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3478729-1307436783.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: 0.00 0.00 0.00 1/472 23309
/proc/meminfo: memFree=21175680/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=11940 CPUtime=0.01 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 490 0 0 0 1 0 0 0 21 0 1 0 836093616 12226560 444 33554432000 4194304 5714214 140735095966304 18446744073709551615 4228183 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 2985 444 216 372 0 284 0

[startup+0.07865 s]
/proc/loadavg: 0.00 0.00 0.00 1/472 23309
/proc/meminfo: memFree=21175680/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=15160 CPUtime=0.07 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 1519 0 0 0 7 0 0 0 21 0 1 0 836093616 15523840 1473 33554432000 4194304 5714214 140735095966304 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 3790 1474 469 372 0 1089 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15160

[startup+0.100661 s]
/proc/loadavg: 0.00 0.00 0.00 1/472 23309
/proc/meminfo: memFree=21175680/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=16272 CPUtime=0.1 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 1915 0 0 0 10 0 0 0 21 0 1 0 836093616 16662528 1836 33554432000 4194304 5714214 140735095966304 18446744073709551615 5200944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 4068 1837 560 372 0 1367 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 16272

[startup+0.300621 s]
/proc/loadavg: 0.00 0.00 0.00 1/472 23309
/proc/meminfo: memFree=21175680/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=25592 CPUtime=0.3 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 5083 0 0 0 30 0 0 0 22 0 1 0 836093616 26206208 4939 33554432000 4194304 5714214 140735095966304 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 6398 4940 1352 372 0 3697 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 25592

[startup+0.700542 s]
/proc/loadavg: 0.00 0.00 0.00 1/472 23309
/proc/meminfo: memFree=21175680/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=60668 CPUtime=0.69 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 17164 0 0 0 68 1 0 0 18 0 1 0 836093616 62124032 14565 33554432000 4194304 5714214 140735095966304 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 15167 14573 173 372 0 14792 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 60668

[startup+1.5004 s]
/proc/loadavg: 0.00 0.00 0.00 3/475 23314
/proc/meminfo: memFree=21063404/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=62720 CPUtime=1.49 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 18158 0 0 0 140 9 0 0 19 0 1 0 836093616 64225280 15116 33554432000 4194304 5714214 140735095966304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 15680 15116 180 372 0 15305 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62720

[startup+3.10013 s]
/proc/loadavg: 0.00 0.00 0.00 3/478 23320
/proc/meminfo: memFree=21019352/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=62720 CPUtime=3.09 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 18158 0 0 0 288 21 0 0 18 0 1 0 836093616 64225280 15116 33554432000 4194304 5714214 140735095966304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 15680 15116 180 372 0 15305 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 62720

[startup+6.30056 s]
/proc/loadavg: 0.16 0.03 0.01 3/478 23320
/proc/meminfo: memFree=20799288/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=62720 CPUtime=6.29 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 18160 0 0 0 593 36 0 0 25 0 1 0 836093616 64225280 15118 33554432000 4194304 5714214 140735095966304 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 15680 15118 180 372 0 15305 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62720

[startup+12.7004 s]
/proc/loadavg: 0.31 0.07 0.02 3/478 23320
/proc/meminfo: memFree=20797508/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=62720 CPUtime=12.69 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 18163 0 0 0 1212 57 0 0 25 0 1 0 836093616 64225280 15121 33554432000 4194304 5714214 140735095966304 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 15680 15121 180 372 0 15305 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62720

[startup+25.5012 s]
/proc/loadavg: 0.68 0.16 0.05 3/478 23320
/proc/meminfo: memFree=20792532/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=69392 CPUtime=25.49 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 19769 0 0 0 2459 90 0 0 25 0 1 0 836093616 71057408 16727 33554432000 4194304 5714214 140735095966304 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 17348 16727 180 372 0 16973 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 69392

[startup+51.1006 s]
/proc/loadavg: 1.13 0.31 0.10 3/478 23321
/proc/meminfo: memFree=20761372/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=101924 CPUtime=51.09 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 27756 0 0 0 4977 132 0 0 25 0 1 0 836093616 104370176 24714 33554432000 4194304 5714214 140735095966304 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 25481 24714 180 372 0 25106 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 101924

[startup+102.318 s]
/proc/loadavg: 1.69 0.60 0.21 3/478 23322
/proc/meminfo: memFree=20719132/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=141848 CPUtime=102.31 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 37510 0 0 0 10069 162 0 0 25 0 1 0 836093616 145252352 34468 33554432000 4194304 5714214 140735095966304 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 35462 34468 180 372 0 35087 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 141848

[startup+162.301 s]
/proc/loadavg: 1.91 0.85 0.32 3/478 23324
/proc/meminfo: memFree=20684872/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=162592 CPUtime=162.29 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 42338 0 0 0 16056 173 0 0 25 0 1 0 836093616 166494208 39296 33554432000 4194304 5714214 140735095966304 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 40648 39296 180 372 0 40273 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 162592

[startup+222.3 s]
/proc/loadavg: 1.97 1.06 0.42 3/478 23326
/proc/meminfo: memFree=20641836/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=178980 CPUtime=222.29 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 46274 0 0 0 22043 186 0 0 25 0 1 0 836093616 183275520 43232 33554432000 4194304 5714214 140735095966304 18446744073709551615 4319793 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 44745 43232 180 372 0 44370 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 178980

[startup+282.301 s]
/proc/loadavg: 1.99 1.23 0.52 3/478 23327
/proc/meminfo: memFree=20616904/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=194284 CPUtime=282.3 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 50143 0 0 0 28024 206 0 0 25 0 1 0 836093616 198946816 47101 33554432000 4194304 5714214 140735095966304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 48571 47101 180 372 0 48196 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 194284

[startup+342.3 s]
/proc/loadavg: 2.14 1.40 0.62 3/478 23329
/proc/meminfo: memFree=20596552/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=203048 CPUtime=342.3 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 52301 0 0 0 33976 254 0 0 25 0 1 0 836093616 207921152 49259 33554432000 4194304 5714214 140735095966304 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 50762 49259 180 372 0 50387 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 203048

[startup+402.301 s]
/proc/loadavg: 2.12 1.52 0.71 3/478 23330
/proc/meminfo: memFree=20585372/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=206496 CPUtime=402.3 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 53096 0 0 0 39952 278 0 0 25 0 1 0 836093616 211451904 50054 33554432000 4194304 5714214 140735095966304 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 51624 50054 180 372 0 51249 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 206496

[startup+462.301 s]
/proc/loadavg: 2.04 1.60 0.78 3/478 23332
/proc/meminfo: memFree=20540332/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=236096 CPUtime=462.31 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 60499 0 0 0 45922 309 0 0 25 0 1 0 836093616 241762304 57457 33554432000 4194304 5714214 140735095966304 18446744073709551615 4322645 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 59024 57457 180 372 0 58649 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 236096

[startup+522.3 s]
/proc/loadavg: 2.01 1.67 0.86 3/478 23342
/proc/meminfo: memFree=20486916/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=265572 CPUtime=522.3 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 67811 0 0 0 51895 335 0 0 25 0 1 0 836093616 271945728 64769 33554432000 4194304 5714214 140735095966304 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 66393 64769 180 372 0 66018 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 265572

[startup+582.301 s]
/proc/loadavg: 2.00 1.73 0.93 3/478 23344
/proc/meminfo: memFree=20435324/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=299988 CPUtime=582.31 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 75922 0 0 0 57867 364 0 0 25 0 1 0 836093616 307187712 72880 33554432000 4194304 5714214 140735095966304 18446744073709551615 4319782 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 74997 72880 180 372 0 74622 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 299988

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.01 1.90 1.17 3/478 23350
/proc/meminfo: memFree=20359220/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=317728 CPUtime=822.31 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 80226 0 0 0 81732 499 0 0 25 0 1 0 836093616 325353472 77184 33554432000 4194304 5714214 140735095966304 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 79432 77184 180 372 0 79057 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 317728

[startup+882.301 s]
/proc/loadavg: 2.00 1.92 1.23 3/478 23352
/proc/meminfo: memFree=20320156/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=339268 CPUtime=882.31 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 85576 0 0 0 87704 527 0 0 25 0 1 0 836093616 347410432 82534 33554432000 4194304 5714214 140735095966304 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 84817 82534 180 372 0 84442 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 339268

[startup+942.3 s]
/proc/loadavg: 2.00 1.93 1.27 3/478 23354
/proc/meminfo: memFree=20284052/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=355140 CPUtime=942.31 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 89397 0 0 0 93693 538 0 0 25 0 1 0 836093616 363663360 86355 33554432000 4194304 5714214 140735095966304 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 88785 86355 180 372 0 88410 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 355140

[startup+1002.3 s]
/proc/loadavg: 2.06 1.97 1.32 3/478 23355
/proc/meminfo: memFree=20258484/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=362616 CPUtime=1002.32 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 91337 0 0 0 99656 576 0 0 25 0 1 0 836093616 371318784 88295 33554432000 4194304 5714214 140735095966304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 90654 88295 180 372 0 90279 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 362616

[startup+1062.3 s]
/proc/loadavg: 2.02 1.97 1.36 3/478 23357
/proc/meminfo: memFree=20239732/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=363516 CPUtime=1062.32 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 91542 0 0 0 105584 648 0 0 25 0 1 0 836093616 372240384 88500 33554432000 4194304 5714214 140735095966304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 90879 88500 180 372 0 90504 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 363516

[startup+1122.3 s]
/proc/loadavg: 2.01 1.97 1.40 3/478 23359
/proc/meminfo: memFree=20203144/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=377728 CPUtime=1122.32 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 95046 0 0 0 111544 688 0 0 25 0 1 0 836093616 386793472 92004 33554432000 4194304 5714214 140735095966304 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 94432 92004 180 372 0 94057 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 377728

[startup+1182.3 s]
/proc/loadavg: 2.16 2.00 1.44 3/478 23360
/proc/meminfo: memFree=20163576/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=400832 CPUtime=1182.32 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 100726 0 0 0 117518 714 0 0 25 0 1 0 836093616 410451968 97684 33554432000 4194304 5714214 140735095966304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 100208 97684 180 372 0 99833 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 400832

[startup+1242.3 s]
/proc/loadavg: 2.13 2.02 1.48 3/478 23362
/proc/meminfo: memFree=20116560/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=432680 CPUtime=1242.32 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 108584 0 0 0 123493 739 0 0 25 0 1 0 836093616 443064320 105542 33554432000 4194304 5714214 140735095966304 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 108170 105542 180 372 0 107795 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 432680

[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 1.51 3/478 23363
/proc/meminfo: memFree=20081076/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=454612 CPUtime=1302.34 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 114050 0 0 0 129479 755 0 0 25 0 1 0 836093616 465522688 111008 33554432000 4194304 5714214 140735095966304 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 113653 111008 180 372 0 113278 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 454612

[startup+1362.3 s]
/proc/loadavg: 2.02 2.00 1.54 3/478 23365
/proc/meminfo: memFree=20053396/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=469392 CPUtime=1362.32 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 117730 0 0 0 135466 766 0 0 25 0 1 0 836093616 480657408 114688 33554432000 4194304 5714214 140735095966304 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 117348 114688 180 372 0 116973 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 469392

[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 1.57 3/478 23367
/proc/meminfo: memFree=20041472/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=469392 CPUtime=1422.35 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 117730 0 0 0 141427 808 0 0 25 0 1 0 836093616 480657408 114688 33554432000 4194304 5714214 140735095966304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 117348 114688 180 372 0 116973 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 469392

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.59 3/478 23368
/proc/meminfo: memFree=20029680/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=469392 CPUtime=1482.33 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 117736 0 0 0 147386 847 0 0 25 0 1 0 836093616 480657408 114694 33554432000 4194304 5714214 140735095966304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 117348 114694 180 372 0 116973 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 469392

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 1.62 3/478 23370
/proc/meminfo: memFree=20016880/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=469392 CPUtime=1542.33 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 117749 0 0 0 153352 881 0 0 25 0 1 0 836093616 480657408 114707 33554432000 4194304 5714214 140735095966304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 117348 114707 180 372 0 116973 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 469392

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.64 3/478 23371
/proc/meminfo: memFree=20000604/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=470360 CPUtime=1602.33 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 117978 0 0 0 159328 905 0 0 25 0 1 0 836093616 481648640 114936 33554432000 4194304 5714214 140735095966304 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 117590 114936 180 372 0 117215 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 470360

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.66 3/478 23373
/proc/meminfo: memFree=19970444/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=480604 CPUtime=1662.33 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 120556 0 0 0 165303 930 0 0 25 0 1 0 836093616 492138496 117514 33554432000 4194304 5714214 140735095966304 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 120151 117514 180 372 0 119776 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 480604

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.67 3/478 23374
/proc/meminfo: memFree=19935704/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=499440 CPUtime=1722.34 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 125248 0 0 0 171287 947 0 0 25 0 1 0 836093616 511426560 122206 33554432000 4194304 5714214 140735095966304 18446744073709551615 4319752 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 124860 122206 180 372 0 124485 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 499440

[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 1.70 3/478 23376
/proc/meminfo: memFree=19894524/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=516320 CPUtime=1782.34 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 129438 0 0 0 177271 963 0 0 25 0 1 0 836093616 528711680 126396 33554432000 4194304 5714214 140735095966304 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 129080 126396 180 372 0 128705 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 516320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.13 2.04 1.71 3/478 23377
/proc/meminfo: memFree=19884588/32951124 swapFree=67057928/67111528
[pid=23309] ppid=23307 vsize=521204 CPUtime=1800.05 cores=1,3,5,7
/proc/23309/stat : 23309 (wbo1.6) R 23307 23309 23281 0 -1 4202496 130701 0 0 0 179038 967 0 0 25 0 1 0 836093616 533712896 127659 33554432000 4194304 5714214 140735095966304 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23309/statm: 130301 127659 180 372 0 129926 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 521204

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.09
CPU user time (s): 1790.39
CPU system time (s): 9.69553
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 521204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.39
system time used= 9.69553
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130702
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= 9
involuntary context switches= 1450

runsolver used 8.39772 second user time and 19.464 second system time

The end

Launcher Data 

Begin job on node140 at 2011-06-07 10:53:03
IDJOB=3478729
IDBENCH=89638
IDSOLVER=1953
FILE ID=node140/3478729-1307436783
RUNJOBID= node140-1307436782-23300
PBS_JOBID= 13519948
Free space on /tmp= 73732 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-53.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3478729-1307436783/watcher-3478729-1307436783 -o /tmp/evaluation-result-3478729-1307436783/solver-3478729-1307436783 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3478729-1307436783.opb

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

MD5SUM BENCH= 3eaa712ef8c4f1e38f38abbb36d752f3
RANDOM SEED=1711187709

node140.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.833
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.66
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.833
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.14
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.833
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.75
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.833
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.77
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.833
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.833
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.74
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.833
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.75
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.833
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:     32951124 kB
MemFree:      21175836 kB
Buffers:        336128 kB
Cached:        4187032 kB
SwapCached:       6932 kB
Active:        7547872 kB
Inactive:      3889816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21175836 kB
SwapTotal:    67111528 kB
SwapFree:     67057928 kB
Dirty:           13520 kB
Writeback:           0 kB
AnonPages:     6912592 kB
Mapped:          37400 kB
Slab:           216628 kB
PageTables:      52248 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 141375756 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= 73680 MiB
End job on node140 at 2011-06-07 11:23:05