Trace number 2655828

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.4b? (TO) 1800.07 1800.53

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir10_area_opers.opb
MD5SUMcca2bc3212eb56e1c6b2ae84ca292ee3
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark51
Best CPU time to get the best result obtained on this benchmark430.873
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 51
Optimality of the best value was proved YES
Number of variables79024
Total number of constraints176988
Number of constraints which are clauses176988
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint511
Number of terms in the objective function 39323
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 39323
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 39323
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.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2655828-1276643181.opb.
0.00/0.00	c Instance file HOME/instance-2655828-1276643181.opb
0.00/0.00	c File size is 5891890 bytes.
0.89/0.97	c Highest Coefficient sum: 512
0.89/0.98	c ============================[ Problem Statistics ]=============================
0.89/0.98	c |                                                                             |
0.89/0.98	c |  Parsing time:          0.94         s                                      |
0.89/0.98	c |  Number Variables:      79024                                               |
0.89/0.98	c |  Number Clauses:        176988                                              |
0.89/0.98	c |  Number Cardinality:    0                                                   |
0.89/0.98	c |  Number PB Constraints: 0                                                   |
4.89/4.99	c ============================[ Search Statistics ]==============================
4.89/4.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.89/4.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.89/4.99	c ===============================================================================
4.89/4.99	c |         0 |   79010   176999   453344 |    58996        0    nan |  0.000 % |
5.09/5.11	c ===============================================================================
5.09/5.11	c New solution: 55
5.09/5.11	o 55
5.09/5.11	c Elapsed CPU time: 4.97224 s	Remaining CPU time: 175.028 s
5.09/5.11	c ===============================================================================
5.09/5.11	c |         1 |   79010   177000   492667 |    59000        1    121 |  0.000 % |
6.19/6.20	c |       104 |   79010   177000   492667 |    64900      104    285 |  0.018 % |
7.70/7.71	c |       254 |   79010   177000   492667 |    71390      254    162 |  0.018 % |
24.58/24.65	c |       480 |   79010   177000   492667 |    78529      480    154 |  0.018 % |
28.08/28.17	c |       817 |   79010   177000   492667 |    86381      817    122 |  0.018 % |
33.69/33.77	c |      1323 |   79010   177000   492667 |    95020     1323    103 |  0.018 % |
41.08/41.10	c |      2082 |   79010   177000   492667 |   104522     2082     93 |  0.018 % |
59.39/59.42	c |      3222 |   79010   177000   492667 |   114974     3222     98 |  0.018 % |
76.47/76.58	c |      4931 |   79010   177000   492667 |   126471     4931     90 |  0.018 % |
103.27/103.36	c |      7494 |   79010   177000   492667 |   139118     7494     94 |  0.018 % |
180.25/180.36	c There are 14 assigned variables. 3 in cost function.
202.64/202.73	c core #1
202.64/202.73	c core #2
202.64/202.73	c core #3
202.64/202.73	c core #4
202.64/202.73	c core #5
202.64/202.73	c core #6
202.64/202.73	c core #7
202.64/202.73	c core #8
202.64/202.73	c core #9
202.64/202.73	c core #10
202.64/202.73	c core #11
202.64/202.73	c core #12
202.64/202.73	c core #13
202.64/202.73	c core #14
202.64/202.73	c core #15
202.64/202.73	c core #16
202.64/202.73	c core #17
202.64/202.73	c core #18
202.64/202.73	c core #19
202.64/202.73	c core #20
202.64/202.73	c core #21
202.64/202.73	c core #22
202.64/202.73	c core #23
202.64/202.73	c core #24
202.64/202.73	c core #25
202.64/202.73	c core #26
202.64/202.73	c core #27
202.64/202.73	c core #28
202.64/202.73	c core #29
202.64/202.73	c core #30
202.64/202.73	c core #31
202.64/202.73	c core #32
202.64/202.73	c core #33
202.64/202.73	c core #34
202.64/202.73	c core #35
202.64/202.73	c core #36
202.64/202.73	c core #37
202.64/202.73	c core #38
202.64/202.73	c core #39
202.64/202.73	c core #40
202.64/202.73	c core #41
202.64/202.73	c core #42
202.64/202.73	c core #43
202.64/202.73	c core #44
202.64/202.73	c core #45
202.64/202.73	c ============================[ Search Statistics ]==============================
202.64/202.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
202.64/202.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
202.64/202.73	c ===============================================================================
202.64/202.73	c |         0 |   61116   216368   518039 |    72122        0    nan |  0.000 % |
204.14/204.29	c |       102 |   61113   216368   518039 |    79334       99    674 | 40.517 % |
219.64/219.75	c ===============================================================================
220.04/220.12	c core #46
220.04/220.12	c ============================[ Search Statistics ]==============================
220.04/220.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
220.04/220.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
220.04/220.12	c ===============================================================================
220.04/220.12	c |         0 |  100353   216773   599520 |    72257        0    nan |  0.000 % |
223.63/223.72	c |       100 |  100353   216773   599520 |    79483      100   1420 | 12.017 % |
226.44/226.60	c |       251 |  100353   216773   599520 |    87431      251    913 | 12.017 % |
238.83/238.92	c |       476 |  100353   216773   599520 |    96174      476    741 | 12.017 % |
254.32/254.41	c |       813 |  100353   216773   599520 |   105792      813    703 | 12.017 % |
274.62/274.75	c |      1320 |  100353   216773   599520 |   116371     1320    736 | 12.017 % |
303.42/303.53	c |      2080 |  100352   216773   599520 |   128008     2079    870 | 12.018 % |
744.90/745.13	c |      3246 |  100351   216773   599520 |   140809     3242   1314 | 12.019 % |
905.16/905.41	c |      4954 |  100350   216773   599520 |   154890     4949   1632 | 12.021 % |
1058.13/1058.47	c |      7517 |  100348   216773   599520 |   170379     7511   1863 | 12.022 % |

Verifier Data 

ERROR: no interpretation 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-2655828-1276643181/watcher-2655828-1276643181 -o /tmp/evaluation-result-2655828-1276643181/solver-2655828-1276643181 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655828-1276643181.opb 

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.28 1.12 1.02 3/106 12734
/proc/meminfo: memFree=1620596/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=9204 CPUtime=0
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 468 0 0 0 0 0 0 0 20 0 1 0 5611012 9424896 387 1992294400 134512640 135751879 4294354288 18446744073709551615 134613727 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 2301 387 140 303 0 557 0

[startup+0.0179901 s]
/proc/loadavg: 1.28 1.12 1.02 3/106 12734
/proc/meminfo: memFree=1620596/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=10068 CPUtime=0.01
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 668 0 0 0 1 0 0 0 20 0 1 0 5611012 10309632 587 1992294400 134512640 135751879 4294354288 18446744073709551615 134559713 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 2517 588 155 303 0 773 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10068

[startup+0.100995 s]
/proc/loadavg: 1.28 1.12 1.02 3/106 12734
/proc/meminfo: memFree=1620596/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=16128 CPUtime=0.09
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 2268 0 0 0 9 0 0 0 22 0 1 0 5611012 16515072 2109 1992294400 134512640 135751879 4294354288 18446744073709551615 134564443 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 4032 2109 273 303 0 2288 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16128

[startup+0.301014 s]
/proc/loadavg: 1.28 1.12 1.02 3/106 12734
/proc/meminfo: memFree=1620596/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=23992 CPUtime=0.29
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 4308 0 0 0 28 1 0 0 22 0 1 0 5611012 24567808 4034 1992294400 134512640 135751879 4294354288 18446744073709551615 134559732 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 5998 4035 562 303 0 4254 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23992

[startup+0.701053 s]
/proc/loadavg: 1.28 1.12 1.02 3/106 12734
/proc/meminfo: memFree=1620596/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=28436 CPUtime=0.69
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 5999 0 0 0 67 2 0 0 23 0 1 0 5611012 29118464 5725 1992294400 134512640 135751879 4294354288 18446744073709551615 135397073 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 7109 5725 1158 303 0 5365 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28436

[startup+1.50113 s]
/proc/loadavg: 1.28 1.12 1.02 2/107 12735
/proc/meminfo: memFree=1592068/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=48260 CPUtime=1.49
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 12875 0 0 0 145 4 0 0 25 0 1 0 5611012 49418240 10937 1992294400 134512640 135751879 4294354288 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 12065 10937 145 303 0 11760 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48260

[startup+3.10129 s]
/proc/loadavg: 1.28 1.12 1.02 2/107 12735
/proc/meminfo: memFree=1577064/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=48524 CPUtime=3.09
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 12936 0 0 0 303 6 0 0 25 0 1 0 5611012 49688576 10998 1992294400 134512640 135751879 4294354288 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 12131 10998 145 303 0 11826 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48524

[startup+6.3016 s]
/proc/loadavg: 1.26 1.12 1.02 2/107 12735
/proc/meminfo: memFree=1581652/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=42588 CPUtime=6.29
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 13021 0 0 0 614 15 0 0 25 0 1 0 5611012 43610112 9610 1992294400 134512640 135751879 4294354288 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 10647 9610 147 303 0 10342 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42588

[startup+12.7012 s]
/proc/loadavg: 1.24 1.11 1.02 2/107 12735
/proc/meminfo: memFree=1581776/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=42588 CPUtime=12.68
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 13021 0 0 0 1253 15 0 0 25 0 1 0 5611012 43610112 9610 1992294400 134512640 135751879 4294354288 18446744073709551615 134606444 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 10647 9610 147 303 0 10342 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 42588

[startup+25.5015 s]
/proc/loadavg: 1.19 1.11 1.02 2/107 12735
/proc/meminfo: memFree=1581900/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=42588 CPUtime=25.48
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 13021 0 0 0 2531 17 0 0 25 0 1 0 5611012 43610112 9610 1992294400 134512640 135751879 4294354288 18446744073709551615 134606336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 10647 9610 147 303 0 10342 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42588

[startup+51.102 s]
/proc/loadavg: 1.12 1.10 1.02 2/107 12735
/proc/meminfo: memFree=1581900/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=42588 CPUtime=51.08
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 13021 0 0 0 5088 20 0 0 25 0 1 0 5611012 43610112 9610 1992294400 134512640 135751879 4294354288 18446744073709551615 134606342 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 10647 9610 147 303 0 10342 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 42588

[startup+102.309 s]
/proc/loadavg: 1.05 1.08 1.02 2/107 12737
/proc/meminfo: memFree=1581900/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=42588 CPUtime=102.27
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 13021 0 0 0 10202 25 0 0 25 0 1 0 5611012 43610112 9610 1992294400 134512640 135751879 4294354288 18446744073709551615 134606367 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 10647 9610 147 303 0 10342 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 42588

[startup+162.302 s]
/proc/loadavg: 1.02 1.06 1.01 2/107 12739
/proc/meminfo: memFree=1581900/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=42588 CPUtime=162.25
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 13021 0 0 0 16196 29 0 0 25 0 1 0 5611012 43610112 9610 1992294400 134512640 135751879 4294354288 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 10647 9610 147 303 0 10342 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 42588

[startup+222.302 s]
/proc/loadavg: 1.00 1.05 1.00 2/107 12739
/proc/meminfo: memFree=1556232/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=69112 CPUtime=222.24
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 71736 0 0 0 22166 58 0 0 25 0 1 0 5611012 70770688 16006 1992294400 134512640 135751879 4294354288 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 17278 16006 151 303 0 16973 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 69112

[startup+282.302 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 12741
/proc/meminfo: memFree=1556232/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=69112 CPUtime=282.22
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 71736 0 0 0 28153 69 0 0 25 0 1 0 5611012 70770688 16006 1992294400 134512640 135751879 4294354288 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 17278 16006 151 303 0 16973 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 69112

[startup+342.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 12743
/proc/meminfo: memFree=1556108/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=69112 CPUtime=342.2
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 71736 0 0 0 34146 74 0 0 25 0 1 0 5611012 70770688 16006 1992294400 134512640 135751879 4294354288 18446744073709551615 134642946 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 17278 16006 151 303 0 16973 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 69112

[startup+402.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 12745
/proc/meminfo: memFree=1556108/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=69112 CPUtime=402.19
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 71736 0 0 0 40145 74 0 0 25 0 1 0 5611012 70770688 16006 1992294400 134512640 135751879 4294354288 18446744073709551615 134642946 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 17278 16006 151 303 0 16973 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 69112

[startup+462.3 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 12747
/proc/meminfo: memFree=1555860/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=69976 CPUtime=462.18
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 71956 0 0 0 46143 75 0 0 25 0 1 0 5611012 71655424 16226 1992294400 134512640 135751879 4294354288 18446744073709551615 134606444 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 17494 16226 151 303 0 17189 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 69976

[startup+522.301 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 12747
/proc/meminfo: memFree=1554248/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=71560 CPUtime=522.16
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 72353 0 0 0 52141 75 0 0 25 0 1 0 5611012 73277440 16623 1992294400 134512640 135751879 4294354288 18446744073709551615 134642946 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 17890 16623 151 303 0 17585 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 71560

[startup+582.301 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 12749
/proc/meminfo: memFree=1552636/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=73064 CPUtime=582.14
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 72725 0 0 0 58139 75 0 0 25 0 1 0 5611012 74817536 16995 1992294400 134512640 135751879 4294354288 18446744073709551615 134606336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 18266 16995 151 303 0 17961 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 73064

[startup+642.301 s]
/proc/loadavg: 1.07 1.05 1.00 2/107 12751
/proc/meminfo: memFree=1551148/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=74504 CPUtime=642.13
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 73093 0 0 0 64138 75 0 0 25 0 1 0 5611012 76292096 17363 1992294400 134512640 135751879 4294354288 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 18626 17363 151 303 0 18321 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 74504

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.03 1.06 1.00 2/107 12757
/proc/meminfo: memFree=1526596/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=98960 CPUtime=882.07
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 79202 0 0 0 88117 90 0 0 25 0 1 0 5611012 101335040 23472 1992294400 134512640 135751879 4294354288 18446744073709551615 134642946 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 24740 23472 151 303 0 24435 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 98960

[startup+942.301 s]
/proc/loadavg: 1.01 1.04 1.00 3/107 12759
/proc/meminfo: memFree=1521636/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=103820 CPUtime=942.05
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 80406 0 0 0 94112 93 0 0 25 0 1 0 5611012 106311680 24676 1992294400 134512640 135751879 4294354288 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 25955 24676 151 303 0 25650 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 103820

[startup+1002.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 12761
/proc/meminfo: memFree=1511344/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=114080 CPUtime=1002.03
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 82966 0 0 0 100099 104 0 0 25 0 1 0 5611012 116817920 27236 1992294400 134512640 135751879 4294354288 18446744073709551615 134606320 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 28520 27236 151 303 0 28215 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 114080

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 12763
/proc/meminfo: memFree=1498572/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=126756 CPUtime=1062.02
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 86144 0 0 0 106092 110 0 0 25 0 1 0 5611012 129798144 30414 1992294400 134512640 135751879 4294354288 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 31689 30414 151 303 0 31384 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 126756

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 12763
/proc/meminfo: memFree=1496960/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=128376 CPUtime=1122
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 86549 0 0 0 112090 110 0 0 25 0 1 0 5611012 131457024 30819 1992294400 134512640 135751879 4294354288 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 32094 30819 151 303 0 31789 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 128376

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 12765
/proc/meminfo: memFree=1495348/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=129908 CPUtime=1181.99
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 86919 0 0 0 118088 111 0 0 25 0 1 0 5611012 133025792 31189 1992294400 134512640 135751879 4294354288 18446744073709551615 134642946 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 32477 31189 151 303 0 32172 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 129908

[startup+1242.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 12767
/proc/meminfo: memFree=1493364/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=131792 CPUtime=1241.98
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 87390 0 0 0 124087 111 0 0 25 0 1 0 5611012 134955008 31660 1992294400 134512640 135751879 4294354288 18446744073709551615 134642946 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 32948 31660 151 303 0 32643 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 131792

[startup+1302.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 12769
/proc/meminfo: memFree=1490512/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=134448 CPUtime=1301.97
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 88086 0 0 0 130084 113 0 0 25 0 1 0 5611012 137674752 32356 1992294400 134512640 135751879 4294354288 18446744073709551615 134642946 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 33612 32356 151 303 0 33307 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 134448

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 12771
/proc/meminfo: memFree=1469680/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=156396 CPUtime=1361.94
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 93552 0 0 0 136077 117 0 0 25 0 1 0 5611012 160149504 37822 1992294400 134512640 135751879 4294354288 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 39099 37822 151 303 0 38794 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 156396

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 12771
/proc/meminfo: memFree=1451700/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=173320 CPUtime=1421.94
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 97796 0 0 0 142072 122 0 0 25 0 1 0 5611012 177479680 42066 1992294400 134512640 135751879 4294354288 18446744073709551615 134606453 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 43330 42066 151 303 0 43025 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 173320

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12773
/proc/meminfo: memFree=1449220/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=175684 CPUtime=1481.92
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 98382 0 0 0 148068 124 0 0 25 0 1 0 5611012 179900416 42652 1992294400 134512640 135751879 4294354288 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 43921 42652 151 303 0 43616 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 175684

[startup+1542.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 12775
/proc/meminfo: memFree=1445004/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=179960 CPUtime=1541.9
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 99446 0 0 0 154065 125 0 0 25 0 1 0 5611012 184279040 43716 1992294400 134512640 135751879 4294354288 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 44990 43716 151 303 0 44685 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 179960

[startup+1602.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 12780
/proc/meminfo: memFree=1442524/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=182228 CPUtime=1601.89
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 100028 0 0 0 160060 129 0 0 25 0 1 0 5611012 186601472 44298 1992294400 134512640 135751879 4294354288 18446744073709551615 134642946 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 45557 44298 151 303 0 45252 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 182228

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12782
/proc/meminfo: memFree=1440788/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=183880 CPUtime=1661.87
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 100425 0 0 0 166057 130 0 0 25 0 1 0 5611012 188293120 44695 1992294400 134512640 135751879 4294354288 18446744073709551615 134606320 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 45970 44695 151 303 0 45665 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 183880

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12782
/proc/meminfo: memFree=1439548/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=185208 CPUtime=1721.85
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 100766 0 0 0 172055 130 0 0 25 0 1 0 5611012 189652992 45036 1992294400 134512640 135751879 4294354288 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 46302 45036 151 303 0 45997 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 185208

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12784
/proc/meminfo: memFree=1433100/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=191552 CPUtime=1781.84
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 102343 0 0 0 178050 134 0 0 25 0 1 0 5611012 196149248 46613 1992294400 134512640 135751879 4294354288 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 47888 46613 151 303 0 47583 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 191552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12786
/proc/meminfo: memFree=1432604/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=192016 CPUtime=1800.04
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 102461 0 0 0 179870 134 0 0 25 0 1 0 5611012 196624384 46731 1992294400 134512640 135751879 4294354288 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 48004 46731 151 303 0 47699 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 192016

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12786
/proc/meminfo: memFree=1432604/2059040 swapFree=4192956/4192956
[pid=12734] ppid=12732 vsize=192016 CPUtime=1800.04
/proc/12734/stat : 12734 (wbo1.4b) R 12732 12734 11553 0 -1 4202496 102461 0 0 0 179870 134 0 0 25 0 1 0 5611012 196624384 46731 1992294400 134512640 135751879 4294354288 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12734/statm: 48004 46731 151 303 0 47699 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 192016

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.07
CPU user time (s): 1798.7
CPU system time (s): 1.36979
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 192016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.7
system time used= 1.36979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102461
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= 8
involuntary context switches= 2860

runsolver used 3.05054 second user time and 8.43272 second system time

The end

Launcher Data 

Begin job on node036 at 2010-06-16 01:06:21
IDJOB=2655828
IDBENCH=25033
IDSOLVER=1161
FILE ID=node036/2655828-1276643181
PBS_JOBID= 11172391
Free space on /tmp= 62520 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir10_area_opers.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655828-1276643181/watcher-2655828-1276643181 -o /tmp/evaluation-result-2655828-1276643181/solver-2655828-1276643181 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655828-1276643181.opb

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

MD5SUM BENCH= cca2bc3212eb56e1c6b2ae84ca292ee3
RANDOM SEED=161916477

node036.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.251
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.50
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.251
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1621124 kB
Buffers:         73868 kB
Cached:         223036 kB
SwapCached:          0 kB
Active:         155392 kB
Inactive:       201008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1621124 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            8640 kB
Writeback:           0 kB
AnonPages:       59400 kB
Mapped:          15428 kB
Slab:            59792 kB
PageTables:       3956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181800 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62516 MiB
End job on node036 at 2010-06-16 01:36:24