Trace number 2655836

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.09 1800.65

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir09_area_opers.opb
MD5SUM23ab85bb903b24d53f7c52c70411f8cf
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark34
Best CPU time to get the best result obtained on this benchmark23.1835
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 34
Optimality of the best value was proved YES
Number of variables25134
Total number of constraints59372
Number of constraints which are clauses59372
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 constraint254
Number of terms in the objective function 12324
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 12324
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 12324
Number of bits of the biggest sum of numbers14
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-2655836-1276644462.opb.
0.00/0.00	c Instance file HOME/instance-2655836-1276644462.opb
0.00/0.00	c File size is 1920451 bytes.
0.29/0.31	c Highest Coefficient sum: 255
0.29/0.31	c ============================[ Problem Statistics ]=============================
0.29/0.31	c |                                                                             |
0.29/0.31	c |  Parsing time:          0.31         s                                      |
0.29/0.31	c |  Number Variables:      25134                                               |
0.29/0.31	c |  Number Clauses:        59372                                               |
0.29/0.31	c |  Number Cardinality:    0                                                   |
0.29/0.31	c |  Number PB Constraints: 0                                                   |
0.59/0.60	c ============================[ Search Statistics ]==============================
0.59/0.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.60	c ===============================================================================
0.59/0.60	c |         0 |   24960    59543   152349 |    19790        0    nan |  0.000 % |
0.59/0.64	c ===============================================================================
0.59/0.64	c New solution: 40
0.59/0.65	o 40
0.59/0.65	c Elapsed CPU time: 0.606907 s	Remaining CPU time: 179.393 s
0.59/0.65	c ===============================================================================
0.59/0.65	c |         1 |   24960    59544   164673 |    19848        1     55 |  0.000 % |
1.19/1.22	c |       101 |   24960    59544   164673 |    21832      101    127 |  0.692 % |
1.69/1.74	c |       251 |   24960    59544   164673 |    24016      251     93 |  0.692 % |
2.29/2.35	c |       476 |   24960    59544   164673 |    26417      476     81 |  0.692 % |
3.59/3.69	c |       813 |   24960    59544   164673 |    29059      813     82 |  0.692 % |
9.58/9.68	c |      1320 |   24960    59544   164673 |    31965     1320     97 |  0.692 % |
11.79/11.89	c |      2079 |   24960    59544   164673 |    35161     2079     88 |  0.692 % |
16.40/16.41	c |      3219 |   24960    59544   164673 |    38678     3219     85 |  0.692 % |
23.88/23.99	c |      4927 |   24960    59544   164673 |    42545     4927     96 |  0.692 % |
34.18/34.27	c |      7489 |   24960    59544   164673 |    46800     7489    108 |  0.692 % |
46.27/46.37	c |     11333 |   24960    59544   164673 |    51480    11333    117 |  0.692 % |
79.57/79.67	c |     17099 |   24960    59544   164673 |    56628    17099    182 |  0.692 % |
121.14/121.24	c |     25748 |   24960    59544   164673 |    62291    25748    171 |  0.692 % |
174.23/174.31	c |     38722 |   24960    59544   164673 |    68520    38722    173 |  0.692 % |
180.63/180.70	c There are 174 assigned variables. 1 in cost function.
182.83/182.98	c core #1
182.83/182.98	c core #2
182.83/182.98	c core #3
182.83/182.98	c core #4
182.83/182.98	c core #5
182.83/182.98	c core #6
182.83/182.98	c core #7
182.83/182.98	c core #8
182.83/182.98	c core #9
182.83/182.98	c core #10
182.83/182.98	c core #11
182.83/182.98	c core #12
182.83/182.98	c core #13
182.83/182.98	c core #14
182.83/182.98	c core #15
182.83/182.98	c core #16
182.83/182.98	c core #17
182.83/182.98	c core #18
182.83/182.98	c core #19
182.83/182.98	c core #20
182.83/182.98	c core #21
182.83/182.98	c core #22
182.83/182.98	c core #23
182.83/182.98	c core #24
182.83/182.98	c core #25
182.83/182.98	c core #26
182.83/182.98	c core #27
182.83/182.98	c core #28
182.83/182.98	c ============================[ Search Statistics ]==============================
182.83/182.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.83/182.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.83/182.98	c ===============================================================================
182.83/182.98	c |         0 |    3961    68798   114393 |    22932        0    nan |  0.000 % |
183.03/183.14	c ===============================================================================
183.13/183.23	c core #29
183.13/183.23	c ============================[ Search Statistics ]==============================
183.13/183.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.13/183.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.13/183.23	c ===============================================================================
183.13/183.23	c |         0 |    8775    68824   128089 |    22941        0    nan |  0.000 % |
183.54/183.65	c ===============================================================================
183.64/183.75	c core #30
183.64/183.75	c ============================[ Search Statistics ]==============================
183.64/183.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.64/183.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.64/183.75	c ===============================================================================
183.64/183.75	c |         0 |   13584    68878   139389 |    22959        0    nan |  0.000 % |
184.63/184.77	c |       100 |   13584    68878   139389 |    25255      100    283 | 55.464 % |
185.32/185.42	c |       251 |   13584    68878   139389 |    27780      251    216 | 55.464 % |
186.12/186.28	c |       476 |   13584    68878   139389 |    30558      476    201 | 55.464 % |
188.43/188.54	c |       813 |   13584    68878   139389 |    33614      813    310 | 55.464 % |
190.93/191.08	c |      1319 |   10507    68878   139389 |    36976      546    269 | 65.552 % |
195.32/195.44	c ===============================================================================
195.42/195.58	c core #31
195.42/195.58	c ============================[ Search Statistics ]==============================
195.42/195.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.42/195.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.42/195.58	c ===============================================================================
195.42/195.58	c |         0 |   39718    70221   214760 |    23407        0    nan |  0.000 % |
196.83/196.96	c |       100 |   39718    70221   214760 |    25747      100    787 |  5.499 % |
198.02/198.15	c |       250 |   39718    70221   214760 |    28322      250    500 |  5.499 % |
199.73/199.83	c |       479 |   39718    70221   214760 |    31154      479    446 |  5.499 % |
202.23/202.38	c |       816 |   39718    70221   214760 |    34270      816    592 |  5.499 % |
205.32/205.44	c |      1322 |   39718    70221   214760 |    37697     1322    689 |  5.499 % |
210.92/211.04	c |      2081 |   39718    70221   214760 |    41466     2081    722 |  5.499 % |
218.32/218.47	c |      3220 |   39718    70221   214760 |    45613     3220    642 |  5.499 % |
228.22/228.34	c |      4929 |   39718    70221   214760 |    50174     4929    508 |  5.499 % |
259.20/259.38	c |      7491 |   39718    70221   214760 |    55192     7491    666 |  5.499 % |
309.09/309.20	c |     11335 |   39718    70221   214760 |    60711    11335    561 |  5.499 % |
454.45/454.69	c |     17102 |   39718    70221   214760 |    66782    17102    563 |  5.499 % |
551.72/551.96	c |     25752 |   39718    70221   214760 |    73461    25752    579 |  5.499 % |
730.86/731.16	c |     38727 |   39717    70221   214760 |    80807    38725    605 |  5.501 % |
1107.75/1108.13	c |     58189 |   39717    70221   214760 |    88888    58187    681 |  5.501 % |

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-2655836-1276644462/watcher-2655836-1276644462 -o /tmp/evaluation-result-2655836-1276644462/solver-2655836-1276644462 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655836-1276644462.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 11966
/proc/meminfo: memFree=1840592/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=5320 CPUtime=0
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 467 0 0 0 0 0 0 0 20 0 1 0 5739012 5447680 385 1992294400 134512640 135751879 4287715280 18446744073709551615 134613740 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 1330 385 140 303 0 556 0

[startup+0.083742 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11966
/proc/meminfo: memFree=1840592/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=8952 CPUtime=0.08
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 1412 0 0 0 8 0 0 0 20 0 1 0 5739012 9166848 1330 1992294400 134512640 135751879 4287715280 18446744073709551615 134574147 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 2238 1330 254 303 0 1464 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8952

[startup+0.100745 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11966
/proc/meminfo: memFree=1840592/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=9280 CPUtime=0.09
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 1536 0 0 0 9 0 0 0 20 0 1 0 5739012 9502720 1454 1992294400 134512640 135751879 4287715280 18446744073709551615 134564471 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 2320 1455 279 303 0 1546 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9280

[startup+0.300766 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11966
/proc/meminfo: memFree=1840592/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=11636 CPUtime=0.29
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 2412 0 0 0 29 0 0 0 20 0 1 0 5739012 11915264 2330 1992294400 134512640 135751879 4287715280 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 2909 2331 587 303 0 2135 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11636

[startup+0.70081 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11966
/proc/meminfo: memFree=1840592/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=15044 CPUtime=0.69
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 4273 0 0 0 65 4 0 0 21 0 1 0 5739012 15405056 3215 1992294400 134512640 135751879 4287715280 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 3761 3215 146 303 0 3456 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15044

[startup+1.5009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11967
/proc/meminfo: memFree=1827564/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=15044 CPUtime=1.49
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 4274 0 0 0 145 4 0 0 23 0 1 0 5739012 15405056 3216 1992294400 134512640 135751879 4287715280 18446744073709551615 134616276 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 3761 3216 147 303 0 3456 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15044

[startup+3.10107 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11967
/proc/meminfo: memFree=1827440/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=15044 CPUtime=3.09
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 4274 0 0 0 304 5 0 0 25 0 1 0 5739012 15405056 3216 1992294400 134512640 135751879 4287715280 18446744073709551615 134616350 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 3761 3216 147 303 0 3456 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15044

[startup+6.30042 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11967
/proc/meminfo: memFree=1827192/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=15044 CPUtime=6.29
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 4274 0 0 0 623 6 0 0 25 0 1 0 5739012 15405056 3216 1992294400 134512640 135751879 4287715280 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 3761 3216 147 303 0 3456 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15044

[startup+12.7001 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11967
/proc/meminfo: memFree=1827192/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=15044 CPUtime=12.68
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 4274 0 0 0 1259 9 0 0 25 0 1 0 5739012 15405056 3216 1992294400 134512640 135751879 4287715280 18446744073709551615 134620526 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 3761 3216 147 303 0 3456 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15044

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11967
/proc/meminfo: memFree=1827316/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=15044 CPUtime=25.48
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 4274 0 0 0 2536 12 0 0 25 0 1 0 5739012 15405056 3216 1992294400 134512640 135751879 4287715280 18446744073709551615 134606444 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 3761 3216 147 303 0 3456 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15044

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11967
/proc/meminfo: memFree=1824092/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=18872 CPUtime=51.07
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 5226 0 0 0 5087 20 0 0 25 0 1 0 5739012 19324928 4168 1992294400 134512640 135751879 4287715280 18446744073709551615 134611233 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 4718 4168 147 303 0 4413 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 18872

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11969
/proc/meminfo: memFree=1812560/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=30284 CPUtime=102.26
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 8083 0 0 0 10188 38 0 0 25 0 1 0 5739012 31010816 7025 1992294400 134512640 135751879 4287715280 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 7571 7025 147 303 0 7266 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 30284

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11971
/proc/meminfo: memFree=1802764/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=40140 CPUtime=162.23
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 10540 0 0 0 16169 54 0 0 25 0 1 0 5739012 41103360 9482 1992294400 134512640 135751879 4287715280 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 10035 9482 147 303 0 9730 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 40140

[startup+222.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 11973
/proc/meminfo: memFree=1793960/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=48008 CPUtime=222.22
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 13692 0 0 0 22152 70 0 0 25 0 1 0 5739012 49160192 11501 1992294400 134512640 135751879 4287715280 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 12002 11501 151 303 0 11697 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 48008

[startup+282.301 s]
/proc/loadavg: 1.15 1.04 1.01 2/107 11976
/proc/meminfo: memFree=1793216/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=48008 CPUtime=282.2
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 13692 0 0 0 28144 76 0 0 25 0 1 0 5739012 49160192 11501 1992294400 134512640 135751879 4287715280 18446744073709551615 134620423 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 12002 11501 151 303 0 11697 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 48008

[startup+342.301 s]
/proc/loadavg: 1.12 1.05 1.01 2/107 11978
/proc/meminfo: memFree=1786272/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=55472 CPUtime=342.18
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 15563 0 0 0 34135 83 0 0 25 0 1 0 5739012 56803328 13372 1992294400 134512640 135751879 4287715280 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 13868 13372 151 303 0 13563 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 55472

[startup+402.302 s]
/proc/loadavg: 1.15 1.07 1.01 2/107 11980
/proc/meminfo: memFree=1781064/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=60680 CPUtime=402.16
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 16855 0 0 0 40131 85 0 0 25 0 1 0 5739012 62136320 14664 1992294400 134512640 135751879 4287715280 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 15170 14664 151 303 0 14865 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 60680

[startup+462.301 s]
/proc/loadavg: 1.11 1.07 1.01 2/107 11982
/proc/meminfo: memFree=1773500/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=68528 CPUtime=462.14
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 18805 0 0 0 46124 90 0 0 25 0 1 0 5739012 70172672 16614 1992294400 134512640 135751879 4287715280 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 17132 16614 151 303 0 16827 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 68528

[startup+522.302 s]
/proc/loadavg: 1.09 1.07 1.01 2/107 11984
/proc/meminfo: memFree=1760232/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=81648 CPUtime=522.13
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 22091 0 0 0 52115 98 0 0 25 0 1 0 5739012 83607552 19900 1992294400 134512640 135751879 4287715280 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 20412 19900 151 303 0 20107 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 81648

[startup+582.301 s]
/proc/loadavg: 1.07 1.06 1.01 2/107 11984
/proc/meminfo: memFree=1742376/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=99336 CPUtime=582.11
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 26519 0 0 0 58105 106 0 0 25 0 1 0 5739012 101720064 24328 1992294400 134512640 135751879 4287715280 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 24834 24328 151 303 0 24529 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 99336

[startup+642.302 s]
/proc/loadavg: 1.07 1.06 1.01 2/107 11986
/proc/meminfo: memFree=1732580/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=109152 CPUtime=642.1
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 28948 0 0 0 64097 113 0 0 25 0 1 0 5739012 111771648 26757 1992294400 134512640 135751879 4287715280 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 27288 26757 151 303 0 26983 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 109152

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.13 1.08 1.02 2/107 11992
/proc/meminfo: memFree=1703440/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=138320 CPUtime=822.03
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 36231 0 0 0 82071 132 0 0 25 0 1 0 5739012 141639680 34040 1992294400 134512640 135751879 4287715280 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 34580 34040 151 303 0 34275 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 138320

[startup+882.302 s]
/proc/loadavg: 1.12 1.08 1.02 2/107 11992
/proc/meminfo: memFree=1692404/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=149320 CPUtime=882.02
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 38983 0 0 0 88064 138 0 0 25 0 1 0 5739012 152903680 36792 1992294400 134512640 135751879 4287715280 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 37330 36792 151 303 0 37025 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 149320

[startup+942.301 s]
/proc/loadavg: 1.17 1.09 1.02 2/107 11994
/proc/meminfo: memFree=1672564/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=169456 CPUtime=942
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 44003 0 0 0 94053 147 0 0 25 0 1 0 5739012 173522944 41812 1992294400 134512640 135751879 4287715280 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 42364 41812 151 303 0 42059 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 169456

[startup+1002.3 s]
/proc/loadavg: 1.12 1.09 1.02 2/107 11996
/proc/meminfo: memFree=1655824/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=185828 CPUtime=1001.99
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 48108 0 0 0 100044 155 0 0 25 0 1 0 5739012 190287872 45917 1992294400 134512640 135751879 4287715280 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 46457 45917 151 303 0 46152 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 185828

[startup+1062.3 s]
/proc/loadavg: 1.13 1.10 1.02 2/107 11998
/proc/meminfo: memFree=1646400/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=195456 CPUtime=1061.96
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 50517 0 0 0 106037 159 0 0 25 0 1 0 5739012 200146944 48326 1992294400 134512640 135751879 4287715280 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 48864 48326 151 303 0 48559 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 195456

[startup+1122.3 s]
/proc/loadavg: 1.13 1.11 1.03 2/107 12000
/proc/meminfo: memFree=1637224/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=204536 CPUtime=1121.95
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 52794 0 0 0 112030 165 0 0 25 0 1 0 5739012 209444864 50603 1992294400 134512640 135751879 4287715280 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 51134 50603 151 303 0 50829 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 204536

[startup+1182.3 s]
/proc/loadavg: 1.05 1.08 1.02 2/107 12000
/proc/meminfo: memFree=1626064/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=215868 CPUtime=1181.93
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 55595 0 0 0 118022 171 0 0 25 0 1 0 5739012 221048832 53404 1992294400 134512640 135751879 4287715280 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 53967 53404 151 303 0 53662 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 215868

[startup+1242.3 s]
/proc/loadavg: 1.02 1.07 1.02 2/107 12002
/proc/meminfo: memFree=1616764/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=224960 CPUtime=1241.91
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 57871 0 0 0 124015 176 0 0 25 0 1 0 5739012 230359040 55680 1992294400 134512640 135751879 4287715280 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 56240 55680 151 303 0 55935 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 224960

[startup+1302.3 s]
/proc/loadavg: 1.00 1.05 1.01 2/107 12004
/proc/meminfo: memFree=1611308/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=230320 CPUtime=1301.89
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 59195 0 0 0 130009 180 0 0 25 0 1 0 5739012 235847680 57004 1992294400 134512640 135751879 4287715280 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 57580 57004 151 303 0 57275 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 230320

[startup+1362.3 s]
/proc/loadavg: 1.00 1.04 1.01 2/107 12006
/proc/meminfo: memFree=1607340/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=234300 CPUtime=1361.87
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 60188 0 0 0 136003 184 0 0 25 0 1 0 5739012 239923200 57997 1992294400 134512640 135751879 4287715280 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 58575 57997 151 303 0 58270 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 234300

[startup+1422.31 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 12008
/proc/meminfo: memFree=1601140/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=240560 CPUtime=1421.85
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 61763 0 0 0 141997 188 0 0 25 0 1 0 5739012 246333440 59572 1992294400 134512640 135751879 4287715280 18446744073709551615 134606342 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 60140 59572 151 303 0 59835 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 240560

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 12008
/proc/meminfo: memFree=1588244/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=253420 CPUtime=1481.82
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 64971 0 0 0 147989 193 0 0 25 0 1 0 5739012 259502080 62780 1992294400 134512640 135751879 4287715280 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 63355 62780 151 303 0 63050 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 253420

[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 12010
/proc/meminfo: memFree=1573612/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=267968 CPUtime=1541.81
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 68605 0 0 0 153982 199 0 0 25 0 1 0 5739012 274399232 66414 1992294400 134512640 135751879 4287715280 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 66992 66414 151 303 0 66687 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 267968

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 12012
/proc/meminfo: memFree=1546456/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=295024 CPUtime=1601.79
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 75374 0 0 0 159971 208 0 0 25 0 1 0 5739012 302104576 73183 1992294400 134512640 135751879 4287715280 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 73756 73183 151 303 0 73451 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 295024

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 12014
/proc/meminfo: memFree=1541992/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=299480 CPUtime=1661.77
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 76490 0 0 0 165968 209 0 0 25 0 1 0 5739012 306667520 74299 1992294400 134512640 135751879 4287715280 18446744073709551615 134606459 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 74870 74299 151 303 0 74565 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 299480

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12016
/proc/meminfo: memFree=1537156/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=304408 CPUtime=1721.75
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 77707 0 0 0 171965 210 0 0 25 0 1 0 5739012 311713792 75516 1992294400 134512640 135751879 4287715280 18446744073709551615 134606354 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 76102 75516 151 303 0 75797 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 304408

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12016
/proc/meminfo: memFree=1528600/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=312836 CPUtime=1781.73
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 79805 0 0 0 177959 214 0 0 25 0 1 0 5739012 320344064 77614 1992294400 134512640 135751879 4287715280 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 78209 77614 151 303 0 77904 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 312836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12018
/proc/meminfo: memFree=1526988/2059040 swapFree=4163396/4192956
[pid=11966] ppid=11964 vsize=314216 CPUtime=1800.04
/proc/11966/stat : 11966 (wbo1.4b) R 11964 11966 11326 0 -1 4202496 80176 0 0 0 179789 215 0 0 25 0 1 0 5739012 321757184 77985 1992294400 134512640 135751879 4287715280 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11966/statm: 78554 77985 151 303 0 78249 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 314216

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.65
CPU time (s): 1800.09
CPU user time (s): 1797.89
CPU system time (s): 2.19067
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 314216

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

runsolver used 3.01554 second user time and 8.46571 second system time

The end

Launcher Data 

Begin job on node038 at 2010-06-16 01:27:43
IDJOB=2655836
IDBENCH=25041
IDSOLVER=1161
FILE ID=node038/2655836-1276644462
PBS_JOBID= 11172387
Free space on /tmp= 62476 MiB

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

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

MD5SUM BENCH= 23ab85bb903b24d53f7c52c70411f8cf
RANDOM SEED=584031640

node038.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.222
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.44
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.222
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1841244 kB
Buffers:         20676 kB
Cached:         101820 kB
SwapCached:       1504 kB
Active:          70376 kB
Inactive:        83524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1841244 kB
SwapTotal:     4192956 kB
SwapFree:      4163396 kB
Dirty:            4632 kB
Writeback:           0 kB
AnonPages:       29876 kB
Mapped:          14024 kB
Slab:            42152 kB
PageTables:       4084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181296 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= 62472 MiB
End job on node038 at 2010-06-16 01:57:45