Trace number 2655806

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.13 1800.7

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir10_area_delay.opb
MD5SUM5d0340a340565eda2e94c9f5d1d814a1
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark191.846
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 37
Optimality of the best value was proved NO
Number of variables49757
Total number of constraints199672
Number of constraints which are clauses199672
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 24319
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 24319
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 24319
Number of bits of the biggest sum of numbers15
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-2655806-1276638937.opb.
0.00/0.00	c Instance file HOME/instance-2655806-1276638937.opb
0.00/0.00	c File size is 6754478 bytes.
1.10/1.17	c Highest Coefficient sum: 512
1.10/1.17	c ============================[ Problem Statistics ]=============================
1.10/1.17	c |                                                                             |
1.10/1.17	c |  Parsing time:          1.14         s                                      |
1.10/1.17	c |  Number Variables:      49757                                               |
1.10/1.17	c |  Number Clauses:        199672                                              |
1.10/1.17	c |  Number Cardinality:    0                                                   |
1.10/1.17	c |  Number PB Constraints: 0                                                   |
10.29/10.33	c ============================[ Search Statistics ]==============================
10.29/10.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.29/10.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.29/10.33	c ===============================================================================
10.29/10.33	c |         0 |   49022   200375   517773 |    66557        0    nan |  0.000 % |
10.39/10.41	c ===============================================================================
10.39/10.41	c New solution: 37
10.39/10.41	o 37
10.39/10.41	c Elapsed CPU time: 10.2664 s	Remaining CPU time: 169.734 s
10.39/10.41	c ===============================================================================
10.39/10.41	c |         3 |   49022   200376   542092 |    66792        3     11 |  0.000 % |
10.39/10.47	c ===============================================================================
10.39/10.47	c New solution: 36
10.39/10.47	o 36
10.39/10.47	c Elapsed CPU time: 10.3134 s	Remaining CPU time: 169.687 s
10.39/10.47	c ===============================================================================
10.39/10.47	c |         4 |   49022   200377   566411 |    66792        4     16 |  0.000 % |
11.79/11.88	c |       104 |   49022   200377   566411 |    73471      104    100 |  1.477 % |
12.89/12.96	c |       254 |   49022   200377   566411 |    80818      254     79 |  1.477 % |
15.39/15.40	c |       479 |   49022   200377   566411 |    88900      479     73 |  1.477 % |
18.58/18.69	c |       816 |   49022   200377   566411 |    97790      816     66 |  1.477 % |
23.98/24.05	c |      1322 |   49022   200377   566411 |   107569     1322     70 |  1.477 % |
38.78/38.80	c |      2081 |   49022   200377   566411 |   118326     2081     84 |  1.477 % |
48.97/49.09	c |      3221 |   49022   200377   566411 |   130159     3221     88 |  1.477 % |
62.86/62.92	c |      4929 |   49022   200377   566411 |   143175     4929     83 |  1.477 % |
88.86/88.91	c |      7491 |   49022   200377   566411 |   157492     7491    109 |  1.477 % |
133.16/133.22	c |     11335 |   49022   200377   566411 |   173242    11335    104 |  1.477 % |
180.44/180.59	c There are 735 assigned variables. 11 in cost function.
184.93/185.08	c core #1
184.93/185.08	c core #2
184.93/185.08	c core #3
184.93/185.08	c core #4
184.93/185.08	c core #5
184.93/185.08	c core #6
184.93/185.08	c core #7
184.93/185.08	c core #8
184.93/185.08	c core #9
184.93/185.08	c core #10
184.93/185.08	c core #11
184.93/185.08	c core #12
184.93/185.08	c core #13
184.93/185.08	c core #14
184.93/185.08	c core #15
184.93/185.08	c core #16
184.93/185.08	c core #17
184.93/185.08	c core #18
184.93/185.08	c core #19
184.93/185.08	c core #20
184.93/185.08	c ============================[ Search Statistics ]==============================
184.93/185.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.93/185.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.93/185.08	c ===============================================================================
184.93/185.08	c |         0 |    4987   215210   277346 |    71736        0    nan |  0.000 % |
184.93/185.09	c ===============================================================================
185.23/185.32	c core #21
185.23/185.32	c ============================[ Search Statistics ]==============================
185.23/185.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.23/185.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.23/185.32	c ===============================================================================
185.23/185.32	c |         0 |    5350   215213   280467 |    71737        0    nan |  0.000 % |
185.23/185.33	c ===============================================================================
185.43/185.57	c core #22
185.43/185.57	c ============================[ Search Statistics ]==============================
185.43/185.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.43/185.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.43/185.57	c ===============================================================================
185.43/185.57	c |         0 |    5585   215218   282930 |    71739        0    nan |  0.000 % |
185.53/185.63	c |       100 |    5573   215218   282930 |    78913      100     51 | 89.716 % |
185.63/185.77	c ===============================================================================
185.93/186.01	c core #23
185.93/186.01	c ============================[ Search Statistics ]==============================
185.93/186.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.93/186.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.93/186.01	c ===============================================================================
185.93/186.01	c |         0 |   11424   215262   325603 |    71754        0    nan |  0.000 % |
185.93/186.07	c |       101 |   11424   215262   325603 |    78929      101     76 | 78.777 % |
186.33/186.42	c |       252 |   11424   215262   325603 |    86822      252    161 | 78.777 % |
186.83/186.90	c |       477 |   11424   215262   325603 |    95504      477    148 | 78.777 % |
187.33/187.42	c |       815 |   11424   215262   325603 |   105055      815    153 | 78.777 % |
188.33/188.48	c |      1321 |   11424   215262   325603 |   115560     1321    163 | 78.777 % |
191.03/191.16	c |      2115 |   11424   215262   325603 |   127116     2115    146 | 78.777 % |
194.33/194.44	c |      3254 |   11424   215262   325603 |   139828     3254    153 | 78.777 % |
199.13/199.26	c |      4962 |   11424   215262   325603 |   153811     4962    185 | 78.777 % |
209.12/209.23	c |      7524 |   11423   215262   325603 |   169192     7523    236 | 78.779 % |
224.81/224.90	c ===============================================================================
225.12/225.28	c core #24
225.12/225.28	c ============================[ Search Statistics ]==============================
225.12/225.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
225.12/225.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
225.12/225.28	c ===============================================================================
225.12/225.28	c |         0 |   17270   215401   372240 |    71800        0    nan |  0.000 % |
225.22/225.38	c |       102 |   17270   215401   372240 |    78980      102    293 | 69.935 % |
225.53/225.66	c |       252 |   17270   215401   372240 |    86878      252    288 | 69.935 % |
226.32/226.41	c |       483 |   17270   215401   372240 |    95566      483    308 | 69.935 % |
226.92/227.04	c |       820 |   17270   215401   372240 |   105122      820    326 | 69.935 % |
228.22/228.33	c |      1326 |   17270   215401   372240 |   115635     1326    350 | 69.935 % |
230.62/230.72	c |      2085 |   17270   215401   372240 |   127198     2085    356 | 69.935 % |
236.62/236.71	c |      3224 |   17269   215401   372240 |   139918     3223    406 | 69.937 % |
241.61/241.76	c |      4933 |   17269   215401   372240 |   153910     4932    412 | 69.937 % |
249.81/249.98	c |      7499 |   17269   215401   372240 |   169301     7498    415 | 69.937 % |
265.51/265.61	c |     11346 |   17269   215401   372240 |   186231    11345    406 | 69.937 % |
288.50/288.66	c |     17112 |   17269   215401   372240 |   204854    17111    452 | 69.937 % |
327.37/327.55	c |     25762 |   17268   215401   372240 |   225340    25760    597 | 69.939 % |
385.96/386.13	c |     38739 |   17268   215401   372240 |   247874    38737    733 | 69.939 % |
471.93/472.17	c |     58203 |   17239   215401   372240 |   272661    58200    767 | 70.118 % |
619.28/619.52	c |     87397 |   17100   215401   372240 |   299927    87387    788 | 70.357 % |
885.00/885.38	c |    131186 |   17072   215401   372240 |   329920   131176    721 | 70.357 % |
1415.04/1415.58	c |    196870 |   17028   215401   372240 |   362912   196854    879 | 70.357 % |

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-2655806-1276638937/watcher-2655806-1276638937 -o /tmp/evaluation-result-2655806-1276638937/solver-2655806-1276638937 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655806-1276638937.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.00 1.00 1.00 3/106 13094
/proc/meminfo: memFree=1584760/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=10040 CPUtime=0
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 465 0 0 0 0 0 0 0 15 0 1 0 5184432 10280960 383 1992294400 134512640 135751879 4288185024 18446744073709551615 134613740 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 2510 383 140 303 0 555 0

[startup+0.109454 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13094
/proc/meminfo: memFree=1584760/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=15892 CPUtime=0.1
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 1882 0 0 0 10 0 0 0 18 0 1 0 5184432 16273408 1800 1992294400 134512640 135751879 4288185024 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 3973 1800 286 303 0 2018 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15892

[startup+0.201464 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13094
/proc/meminfo: memFree=1584760/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=17796 CPUtime=0.19
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 2560 0 0 0 18 1 0 0 18 0 1 0 5184432 18223104 2438 1992294400 134512640 135751879 4288185024 18446744073709551615 134559693 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 4449 2438 412 303 0 2494 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 17796

[startup+0.301475 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13094
/proc/meminfo: memFree=1584760/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=20284 CPUtime=0.29
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 3140 0 0 0 28 1 0 0 18 0 1 0 5184432 20770816 2969 1992294400 134512640 135751879 4288185024 18446744073709551615 134561716 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 5071 2969 541 303 0 3116 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20284

[startup+0.701518 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13094
/proc/meminfo: memFree=1584760/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=24544 CPUtime=0.69
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 4784 0 0 0 67 2 0 0 18 0 1 0 5184432 25133056 4613 1992294400 134512640 135751879 4288185024 18446744073709551615 135204850 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 6136 4613 1127 303 0 4181 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24544

[startup+1.50161 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13095
/proc/meminfo: memFree=1567268/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=38284 CPUtime=1.49
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 10598 0 0 0 144 5 0 0 19 0 1 0 5184432 39202816 8583 1992294400 134512640 135751879 4288185024 18446744073709551615 134524580 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 9571 8583 145 303 0 9266 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38284

[startup+3.10178 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13095
/proc/meminfo: memFree=1550032/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=38944 CPUtime=3.09
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 10778 0 0 0 304 5 0 0 24 0 1 0 5184432 39878656 8763 1992294400 134512640 135751879 4288185024 18446744073709551615 135010150 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 9736 8763 145 303 0 9431 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38944

[startup+6.30114 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13095
/proc/meminfo: memFree=1549040/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=39604 CPUtime=6.29
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 10946 0 0 0 622 7 0 0 25 0 1 0 5184432 40554496 8931 1992294400 134512640 135751879 4288185024 18446744073709551615 135220915 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 9901 8931 145 303 0 9596 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39604

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13095
/proc/meminfo: memFree=1550280/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=38260 CPUtime=12.69
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 11542 0 0 0 1252 17 0 0 25 0 1 0 5184432 39178240 8608 1992294400 134512640 135751879 4288185024 18446744073709551615 134611273 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 9565 8608 147 303 0 9260 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38260

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13095
/proc/meminfo: memFree=1550280/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=38260 CPUtime=25.47
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 11542 0 0 0 2528 19 0 0 25 0 1 0 5184432 39178240 8608 1992294400 134512640 135751879 4288185024 18446744073709551615 134606459 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 9565 8608 147 303 0 9260 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 38260

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13097
/proc/meminfo: memFree=1550280/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=38260 CPUtime=51.07
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 11542 0 0 0 5074 33 0 0 25 0 1 0 5184432 39178240 8608 1992294400 134512640 135751879 4288185024 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 9565 8608 147 303 0 9260 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 38260

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13097
/proc/meminfo: memFree=1550280/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=38260 CPUtime=102.26
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 11542 0 0 0 10186 40 0 0 25 0 1 0 5184432 39178240 8608 1992294400 134512640 135751879 4288185024 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 9565 8608 147 303 0 9260 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 38260

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13099
/proc/meminfo: memFree=1550156/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=38260 CPUtime=162.24
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 11594 0 0 0 16175 49 0 0 25 0 1 0 5184432 39178240 8660 1992294400 134512640 135751879 4288185024 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 9565 8660 147 303 0 9260 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 38260

[startup+222.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13101
/proc/meminfo: memFree=1540360/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=47440 CPUtime=222.23
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 27115 0 0 0 22151 72 0 0 25 0 1 0 5184432 48578560 11053 1992294400 134512640 135751879 4288185024 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 11860 11053 151 303 0 11555 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 47440

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13103
/proc/meminfo: memFree=1513948/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=74124 CPUtime=282.2
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 34681 0 0 0 28123 97 0 0 25 0 1 0 5184432 75902976 17776 1992294400 134512640 135751879 4288185024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 18531 17776 151 303 0 18226 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 74124

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13112
/proc/meminfo: memFree=1469060/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=118312 CPUtime=342.17
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 45692 0 0 0 34098 119 0 0 25 0 1 0 5184432 121151488 28787 1992294400 134512640 135751879 4288185024 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 29578 28787 151 303 0 29273 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 118312

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13114
/proc/meminfo: memFree=1411648/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=176108 CPUtime=402.15
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 60135 0 0 0 40075 140 0 0 25 0 1 0 5184432 180334592 43230 1992294400 134512640 135751879 4288185024 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 44027 43230 151 303 0 43722 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 176108

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13116
/proc/meminfo: memFree=1367504/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=220260 CPUtime=462.13
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 71163 0 0 0 46052 161 0 0 25 0 1 0 5184432 225546240 54258 1992294400 134512640 135751879 4288185024 18446744073709551615 134606354 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 55065 54258 151 303 0 54760 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 220260

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13118
/proc/meminfo: memFree=1319392/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=268468 CPUtime=522.12
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 83162 0 0 0 52028 184 0 0 25 0 1 0 5184432 274911232 66257 1992294400 134512640 135751879 4288185024 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 67117 66257 151 303 0 66812 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 268468

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13120
/proc/meminfo: memFree=1277728/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=309348 CPUtime=582.1
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 93397 0 0 0 58000 210 0 0 25 0 1 0 5184432 316772352 76492 1992294400 134512640 135751879 4288185024 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 77337 76492 151 303 0 77032 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 309348

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13120
/proc/meminfo: memFree=1235568/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=351736 CPUtime=642.08
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 103973 0 0 0 63973 235 0 0 25 0 1 0 5184432 360177664 87068 1992294400 134512640 135751879 4288185024 18446744073709551615 134606354 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 87934 87068 151 303 0 87629 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 351736

[startup+702.301 s]

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

[startup+882.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13128
/proc/meminfo: memFree=1137980/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=448824 CPUtime=882
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 128252 0 0 0 87898 302 0 0 25 0 1 0 5184432 459595776 111347 1992294400 134512640 135751879 4288185024 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 112206 111347 151 303 0 111901 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 448824

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13128
/proc/meminfo: memFree=1095200/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=492832 CPUtime=941.99
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 139179 0 0 0 93880 319 0 0 25 0 1 0 5184432 504659968 122274 1992294400 134512640 135751879 4288185024 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 123208 122274 151 303 0 122903 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 492832

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13130
/proc/meminfo: memFree=1048824/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=538116 CPUtime=1001.96
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 150473 0 0 0 99860 336 0 0 25 0 1 0 5184432 551030784 133568 1992294400 134512640 135751879 4288185024 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 134529 133568 151 303 0 134224 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 538116

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13132
/proc/meminfo: memFree=1026504/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=561024 CPUtime=1061.94
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 156204 0 0 0 105845 349 0 0 25 0 1 0 5184432 574488576 139299 1992294400 134512640 135751879 4288185024 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 140256 139299 151 303 0 139951 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 561024

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13134
/proc/meminfo: memFree=986824/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=600356 CPUtime=1121.93
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 166061 0 0 0 111825 368 0 0 25 0 1 0 5184432 614764544 149156 1992294400 134512640 135751879 4288185024 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 150089 149156 151 303 0 149784 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 600356

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13136
/proc/meminfo: memFree=944540/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=642204 CPUtime=1181.9
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 176528 0 0 0 117807 383 0 0 25 0 1 0 5184432 657616896 159623 1992294400 134512640 135751879 4288185024 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 160551 159623 151 303 0 160246 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 642204

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13136
/proc/meminfo: memFree=911308/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=675288 CPUtime=1241.88
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 184769 0 0 0 123793 395 0 0 25 0 1 0 5184432 691494912 167864 1992294400 134512640 135751879 4288185024 18446744073709551615 134610747 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 168822 167864 151 303 0 168517 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 675288

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13138
/proc/meminfo: memFree=877084/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=709960 CPUtime=1301.87
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 193443 0 0 0 129773 414 0 0 25 0 1 0 5184432 726999040 176538 1992294400 134512640 135751879 4288185024 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 177490 176538 151 303 0 177185 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 709960

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13140
/proc/meminfo: memFree=836040/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=750284 CPUtime=1361.84
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 203530 0 0 0 135749 435 0 0 25 0 1 0 5184432 768290816 186625 1992294400 134512640 135751879 4288185024 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 187571 186625 151 303 0 187266 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 750284

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13142
/proc/meminfo: memFree=809628/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=776412 CPUtime=1421.84
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 210061 0 0 0 141735 449 0 0 25 0 1 0 5184432 795045888 193156 1992294400 134512640 135751879 4288185024 18446744073709551615 134616873 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 194103 193156 151 303 0 193798 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 776412

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13144
/proc/meminfo: memFree=759284/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=826884 CPUtime=1481.81
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 222670 0 0 0 147713 468 0 0 25 0 1 0 5184432 846729216 205765 1992294400 134512640 135751879 4288185024 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 206721 205765 151 303 0 206416 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 826884

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13144
/proc/meminfo: memFree=717868/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=868380 CPUtime=1541.8
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 232954 0 0 0 153694 486 0 0 25 0 1 0 5184432 889221120 216049 1992294400 134512640 135751879 4288185024 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 217095 216049 151 303 0 216790 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 868380

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13146
/proc/meminfo: memFree=683396/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=903300 CPUtime=1601.77
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 241668 0 0 0 159675 502 0 0 25 0 1 0 5184432 924979200 224763 1992294400 134512640 135751879 4288185024 18446744073709551615 134607710 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 225825 224763 151 303 0 225520 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 903300

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13148
/proc/meminfo: memFree=653016/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=933264 CPUtime=1661.76
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 249149 0 0 0 165655 521 0 0 25 0 1 0 5184432 955662336 232244 1992294400 134512640 135751879 4288185024 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 233316 232244 151 303 0 233011 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 933264

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13150
/proc/meminfo: memFree=613584/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=972968 CPUtime=1721.74
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 259079 0 0 0 171636 538 0 0 25 0 1 0 5184432 996319232 242174 1992294400 134512640 135751879 4288185024 18446744073709551615 134606444 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 243242 242174 151 303 0 242937 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 972968

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13152
/proc/meminfo: memFree=578988/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=1007020 CPUtime=1781.73
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 267597 0 0 0 177620 553 0 0 25 0 1 0 5184432 1031188480 250692 1992294400 134512640 135751879 4288185024 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 251755 250692 151 303 0 251450 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1007020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13152
/proc/meminfo: memFree=567828/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=1017980 CPUtime=1800.03
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 270321 0 0 0 179446 557 0 0 25 0 1 0 5184432 1042411520 253416 1992294400 134512640 135751879 4288185024 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 254495 253416 151 303 0 254190 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1017980

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

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

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13152
/proc/meminfo: memFree=567828/2059040 swapFree=4192956/4192956
[pid=13094] ppid=13092 vsize=1017980 CPUtime=1800.03
/proc/13094/stat : 13094 (wbo1.4b) R 13092 13094 12615 0 -1 4202496 270321 0 0 0 179446 557 0 0 25 0 1 0 5184432 1042411520 253416 1992294400 134512640 135751879 4288185024 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13094/statm: 254495 253416 151 303 0 254190 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1017980

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.7
CPU time (s): 1800.13
CPU user time (s): 1794.46
CPU system time (s): 5.67014
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 1017980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.46
system time used= 5.67014
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270321
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= 1882

runsolver used 3.14952 second user time and 8.32973 second system time

The end

Launcher Data 

Begin job on node059 at 2010-06-15 23:55:38
IDJOB=2655806
IDBENCH=25011
IDSOLVER=1161
FILE ID=node059/2655806-1276638937
PBS_JOBID= 11172375
Free space on /tmp= 62548 MiB

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

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

MD5SUM BENCH= 5d0340a340565eda2e94c9f5d1d814a1
RANDOM SEED=238168267

node059.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.244
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.48
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.244
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:       1585288 kB
Buffers:         77804 kB
Cached:         254788 kB
SwapCached:          0 kB
Active:         144632 kB
Inactive:       247448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1585288 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            9316 kB
Writeback:           0 kB
AnonPages:       59532 kB
Mapped:          15380 kB
Slab:            59984 kB
PageTables:       3928 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181836 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= 62544 MiB
End job on node059 at 2010-06-16 00:25:40