Trace number 2655815

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? (MO) 990.511 990.973

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_10.opb
MD5SUM904168892843efef74e3394360b8d762
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark28
Best CPU time to get the best result obtained on this benchmark1800.6
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 26
Optimality of the best value was proved NO
Number of variables40363
Total number of constraints154319
Number of constraints which are clauses154296
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints22
Minimum length of a constraint1
Maximum length of a constraint1952
Number of terms in the objective function 1952
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 1952
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1988
Number of bits of the biggest sum of numbers11
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-2655815-1276641647.opb.
0.00/0.00	c Instance file HOME/instance-2655815-1276641647.opb
0.00/0.00	c File size is 4721108 bytes.
0.59/0.67	c Highest Coefficient sum: 1988
0.59/0.68	c ============================[ Problem Statistics ]=============================
0.59/0.68	c |                                                                             |
0.59/0.68	c |  Parsing time:          0.66         s                                      |
0.59/0.68	c |  Number Variables:      40363                                               |
0.59/0.68	c |  Number Clauses:        154296                                              |
0.59/0.68	c |  Number Cardinality:    1                                                   |
0.59/0.68	c |  Number PB Constraints: 22                                                  |
61.07/61.10	c ============================[ Search Statistics ]==============================
61.07/61.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
61.07/61.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
61.07/61.10	c ===============================================================================
61.07/61.10	c |         0 |   39632   155045   388995 |    51439        0    nan |  0.000 % |
61.07/61.18	c ===============================================================================
61.07/61.18	c New solution: 33
61.07/61.18	o 33
61.07/61.18	c Elapsed CPU time: 61.0397 s	Remaining CPU time: 118.96 s
61.07/61.18	c ===============================================================================
61.07/61.18	c |        19 |   39632   155046   390947 |    51682       19    693 |  0.000 % |
61.18/61.24	c ===============================================================================
61.18/61.24	c New solution: 32
61.18/61.24	o 32
61.18/61.24	c Elapsed CPU time: 61.0957 s	Remaining CPU time: 118.904 s
61.18/61.24	c ===============================================================================
61.18/61.24	c |        23 |   39632   155047   392899 |    51682       23    576 |  0.000 % |
61.48/61.58	c |       127 |   39632   155047   392899 |    56850      127    146 |  1.811 % |
61.67/61.73	c |       277 |   39632   155047   392899 |    62535      277    105 |  1.811 % |
62.38/62.45	c |       503 |   39632   155047   392899 |    68789      503    201 |  1.811 % |
62.68/62.79	c |       840 |   39632   155047   392899 |    75668      840    567 |  1.811 % |
63.48/63.51	c |      1348 |   39632   155047   392899 |    83234     1348    753 |  1.811 % |
64.88/64.92	c |      2108 |   39632   155047   392899 |    91558     2108    638 |  1.811 % |
66.58/66.68	c |      3247 |   39632   155047   392899 |   100714     3247   1608 |  1.811 % |
68.37/68.49	c |      4958 |   39632   155047   392899 |   110785     4958   1477 |  1.811 % |
70.07/70.10	c |      7521 |   39632   155047   392899 |   121864     7521   1131 |  1.811 % |
78.77/78.86	c |     11369 |   39632   155047   392899 |   134050    11369   2248 |  1.811 % |
82.87/82.96	c |     17135 |   39632   155047   392899 |   147455    17135   1685 |  1.811 % |
98.57/98.65	c |     25787 |   39632   155047   392899 |   162201    25787   2593 |  1.811 % |
124.46/124.52	c |     38762 |   39632   155047   392899 |   178421    38762   2525 |  1.811 % |
138.46/138.60	c |     58223 |   39632   155047   392899 |   196263    58223   1904 |  1.811 % |
181.14/181.27	c There are 731 assigned variables. 5 in cost function.
182.35/182.41	c core #1
182.35/182.41	c core #2
182.35/182.41	c core #3
182.35/182.41	c core #4
182.35/182.41	c core #5
182.35/182.41	c ============================[ Search Statistics ]==============================
182.35/182.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.35/182.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.35/182.41	c ===============================================================================
182.35/182.41	c |         0 |   29948   156952   391510 |    52317        0    nan |  0.000 % |
182.45/182.51	c ===============================================================================
182.65/182.70	c core #6
182.65/182.70	c ============================[ Search Statistics ]==============================
182.65/182.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.65/182.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.65/182.70	c ===============================================================================
182.65/182.70	c |         0 |   30995   156953   392827 |    52317        0    nan |  0.000 % |
182.94/183.06	c |       100 |   30271   156953   392827 |    57549       43    617 | 27.222 % |
183.65/183.77	c ===============================================================================
183.84/183.95	c core #7
183.84/183.95	c ============================[ Search Statistics ]==============================
183.84/183.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.84/183.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.84/183.95	c ===============================================================================
183.84/183.95	c |         0 |   38932   156986   398677 |    52328        0    nan |  0.000 % |
183.95/184.06	c |       101 |   38904   156986   398677 |    57561      101     84 |  8.948 % |
183.95/184.08	c ===============================================================================
184.14/184.26	c core #8
184.14/184.26	c ============================[ Search Statistics ]==============================
184.14/184.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.14/184.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.14/184.26	c ===============================================================================
184.14/184.26	c |         0 |   40048   157008   400220 |    52336        0    nan |  0.000 % |
184.44/184.52	c |       100 |   40042   157008   400220 |    57569      100    114 |  6.480 % |
184.54/184.64	c |       251 |   40025   157008   400220 |    63326      251    141 |  6.497 % |
184.75/184.84	c |       477 |   40023   157008   400220 |    69659      466    194 |  6.527 % |
185.04/185.13	c |       819 |   40016   157008   400220 |    76625      808    176 |  6.527 % |
185.45/185.56	c |      1326 |   40012   157008   400220 |    84287     1313    185 |  6.527 % |
186.55/186.68	c |      2085 |   39985   157008   400220 |    92716     2069    196 |  6.590 % |
187.44/187.56	c ===============================================================================
187.64/187.75	c core #9
187.64/187.75	c ============================[ Search Statistics ]==============================
187.64/187.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.64/187.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.64/187.75	c ===============================================================================
187.64/187.75	c |         0 |   40324   157049   401019 |    52349        0    nan |  0.000 % |
188.15/188.28	c |       100 |   40323   157049   401019 |    57584      100    280 |  6.404 % |
188.84/188.92	c |       251 |   40323   157049   401019 |    63343      250    205 |  6.404 % |
189.64/189.74	c |       476 |   40322   157049   401019 |    69677      474    195 |  6.406 % |
190.54/190.66	c |       813 |   40321   157049   401019 |    76645      810    223 |  6.409 % |
193.24/193.34	c |      1320 |   40320   157049   401019 |    84309     1315    273 |  6.411 % |
197.24/197.38	c |      2079 |   40277   157049   401019 |    92740     2058    312 |  6.567 % |
198.64/198.72	c ===============================================================================
198.84/198.92	c core #10
198.84/198.92	c ============================[ Search Statistics ]==============================
198.84/198.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.84/198.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.84/198.92	c ===============================================================================
198.84/198.92	c |         0 |   44274   157387   408272 |    52462        0    nan |  0.000 % |
199.24/199.33	c |       100 |   44274   157387   408272 |    57708      100    299 |  1.624 % |
199.74/199.90	c |       254 |   44274   157387   408272 |    63479      254    160 |  1.624 % |
200.15/200.20	c |       480 |   44274   157387   408272 |    69827      480    305 |  1.624 % |
200.84/200.97	c |       817 |   44274   157387   408272 |    76810      817    205 |  1.624 % |
201.53/201.64	c |      1325 |   44274   157387   408272 |    84491     1325    342 |  1.624 % |
203.54/203.61	c |      2085 |   44274   157387   408272 |    92940     2085   1704 |  1.624 % |
213.64/213.76	c |      3225 |   44274   157387   408272 |   102234     3225   2212 |  1.624 % |
218.44/218.55	c |      4935 |   44274   157387   408272 |   112457     4935   1815 |  1.624 % |
229.74/229.90	c |      7497 |   44274   157387   408272 |   123703     7497   1711 |  1.624 % |
244.13/244.23	c |     11341 |   44274   157387   408272 |   136073    11341   2246 |  1.624 % |
274.12/274.20	c |     17108 |   44274   157387   408272 |   149681    17108   2289 |  1.624 % |
314.21/314.35	c |     25757 |   44274   157387   408272 |   164649    25757   2286 |  1.624 % |
381.69/381.84	c |     38733 |   44274   157387   408272 |   181114    38733   2636 |  1.624 % |
530.95/531.16	c |     58198 |   44274   157387   408272 |   199225    58198   3113 |  1.624 % |
748.00/748.23	c |     87391 |   44274   157387   408272 |   219148    87391   3576 |  1.624 % |

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-2655815-1276641647/watcher-2655815-1276641647 -o /tmp/evaluation-result-2655815-1276641647/solver-2655815-1276641647 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655815-1276641647.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: 0.99 0.97 0.99 3/105 11557
/proc/meminfo: memFree=1467568/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=7684 CPUtime=0
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 409 0 0 0 0 0 0 0 24 0 1 0 5458862 7868416 328 1992294400 134512640 135751879 4293057696 18446744073709551615 134613740 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 1921 329 146 303 0 463 0

[startup+0.0600821 s]
/proc/loadavg: 0.99 0.97 0.99 3/105 11557
/proc/meminfo: memFree=1467568/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=8852 CPUtime=0.05
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 783 0 0 0 5 0 0 0 24 0 1 0 5458862 9064448 702 1992294400 134512640 135751879 4293057696 18446744073709551615 134559777 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 2213 702 237 303 0 755 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 8852

[startup+0.101085 s]
/proc/loadavg: 0.99 0.97 0.99 3/105 11557
/proc/meminfo: memFree=1467568/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=9916 CPUtime=0.09
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 1064 0 0 0 9 0 0 0 24 0 1 0 5458862 10153984 983 1992294400 134512640 135751879 4293057696 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 2479 983 310 303 0 1021 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9916

[startup+0.301106 s]
/proc/loadavg: 0.99 0.97 0.99 3/105 11557
/proc/meminfo: memFree=1467568/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=14420 CPUtime=0.29
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 2396 0 0 0 29 0 0 0 25 0 1 0 5458862 14766080 2315 1992294400 134512640 135751879 4293057696 18446744073709551615 135225254 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 3605 2315 664 303 0 2147 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14420

[startup+0.701149 s]
/proc/loadavg: 0.99 0.97 0.99 3/105 11557
/proc/meminfo: memFree=1467568/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=23708 CPUtime=0.69
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 6607 0 0 0 67 2 0 0 25 0 1 0 5458862 24276992 5106 1992294400 134512640 135751879 4293057696 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 5927 5108 145 303 0 5622 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23708

[startup+1.50123 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11558
/proc/meminfo: memFree=1440032/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=31336 CPUtime=1.49
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 8549 0 0 0 147 2 0 0 25 0 1 0 5458862 32088064 7048 1992294400 134512640 135751879 4293057696 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 7834 7048 146 303 0 7529 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31336

[startup+3.1014 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11558
/proc/meminfo: memFree=1439536/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=31732 CPUtime=3.09
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 8654 0 0 0 306 3 0 0 25 0 1 0 5458862 32493568 7153 1992294400 134512640 135751879 4293057696 18446744073709551615 134579955 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 7933 7153 146 303 0 7628 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31732

[startup+6.30174 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11558
/proc/meminfo: memFree=1438420/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=32524 CPUtime=6.29
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 8852 0 0 0 626 3 0 0 25 0 1 0 5458862 33304576 7351 1992294400 134512640 135751879 4293057696 18446744073709551615 134579856 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 8131 7351 146 303 0 7826 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32524

[startup+12.7014 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11560
/proc/meminfo: memFree=1434080/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=37276 CPUtime=12.69
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 10047 0 0 0 1265 4 0 0 25 0 1 0 5458862 38170624 8546 1992294400 134512640 135751879 4293057696 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 9319 8546 146 303 0 9014 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37276

[startup+25.5008 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11560
/proc/meminfo: memFree=1428996/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=41632 CPUtime=25.49
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 11148 0 0 0 2543 6 0 0 25 0 1 0 5458862 42631168 9647 1992294400 134512640 135751879 4293057696 18446744073709551615 134580013 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 10408 9647 146 303 0 10103 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41632

[startup+51.1005 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11560
/proc/meminfo: memFree=1417216/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=53776 CPUtime=51.08
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 14187 0 0 0 5098 10 0 0 25 0 1 0 5458862 55066624 12686 1992294400 134512640 135751879 4293057696 18446744073709551615 134524578 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 13444 12686 146 303 0 13139 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 53776

[startup+102.308 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11562
/proc/meminfo: memFree=1161404/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=309312 CPUtime=102.27
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 78835 0 0 0 10172 55 0 0 25 0 1 0 5458862 316735488 76585 1992294400 134512640 135751879 4293057696 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 77328 76585 147 303 0 77023 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 309312

[startup+162.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11564
/proc/meminfo: memFree=845080/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=629736 CPUtime=162.25
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 158922 0 0 0 16120 105 0 0 25 0 1 0 5458862 644849664 156672 1992294400 134512640 135751879 4293057696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 157434 156672 147 303 0 157129 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 629736

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11564
/proc/meminfo: memFree=663792/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=804064 CPUtime=222.23
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 204472 0 0 0 22059 164 0 0 25 0 1 0 5458862 823361536 200417 1992294400 134512640 135751879 4293057696 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 201016 200417 151 303 0 200711 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 804064

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11566
/proc/meminfo: memFree=663668/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=804064 CPUtime=282.22
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 204472 0 0 0 28041 181 0 0 25 0 1 0 5458862 823361536 200417 1992294400 134512640 135751879 4293057696 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 201016 200417 151 303 0 200711 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 804064

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11568
/proc/meminfo: memFree=663544/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=804064 CPUtime=342.2
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 204474 0 0 0 34027 193 0 0 25 0 1 0 5458862 823361536 200419 1992294400 134512640 135751879 4293057696 18446744073709551615 134608001 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 201016 200419 151 303 0 200711 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 804064

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11570
/proc/meminfo: memFree=663544/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=804064 CPUtime=402.18
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 204474 0 0 0 40009 209 0 0 25 0 1 0 5458862 823361536 200419 1992294400 134512640 135751879 4293057696 18446744073709551615 134605954 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 201016 200419 151 303 0 200711 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 804064

[startup+462.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11572
/proc/meminfo: memFree=663668/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=804064 CPUtime=462.17
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 204474 0 0 0 46001 216 0 0 25 0 1 0 5458862 823361536 200419 1992294400 134512640 135751879 4293057696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 201016 200419 151 303 0 200711 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 804064

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11572
/proc/meminfo: memFree=663544/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=804064 CPUtime=522.15
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 204474 0 0 0 51991 224 0 0 25 0 1 0 5458862 823361536 200419 1992294400 134512640 135751879 4293057696 18446744073709551615 134607834 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 201016 200419 151 303 0 200711 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 804064

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11574
/proc/meminfo: memFree=633784/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=834980 CPUtime=582.14
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 212210 0 0 0 57974 240 0 0 25 0 1 0 5458862 855019520 208155 1992294400 134512640 135751879 4293057696 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 208745 208155 151 303 0 208440 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 834980

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11576
/proc/meminfo: memFree=498128/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=969784 CPUtime=642.12
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 245901 0 0 0 63953 259 0 0 25 0 1 0 5458862 993058816 241846 1992294400 134512640 135751879 4293057696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 242446 241846 151 303 0 242141 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 969784

[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11578
/proc/meminfo: memFree=330728/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=1138384 CPUtime=702.11
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 288066 0 0 0 69930 281 0 0 25 0 1 0 5458862 1165705216 284011 1992294400 134512640 135751879 4293057696 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 284596 284011 151 303 0 284291 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 1138384

[startup+762.308 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11580
/proc/meminfo: memFree=183416/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=1283760 CPUtime=762.1
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 324419 0 0 0 75909 301 0 0 25 0 1 0 5458862 1314570240 320364 1992294400 134512640 135751879 4293057696 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 320940 320364 151 303 0 320635 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 1283760

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11580
/proc/meminfo: memFree=51976/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=1416156 CPUtime=822.07
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 357465 0 0 0 81884 323 0 0 25 0 1 0 5458862 1450143744 353410 1992294400 134512640 135751879 4293057696 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 354039 353410 151 303 0 353734 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 1416156

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11582
/proc/meminfo: memFree=9592/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=1570424 CPUtime=882.06
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 396037 0 0 0 87864 342 0 0 25 0 1 0 5458862 1608114176 391982 1992294400 134512640 135751879 4293057696 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 392606 391982 151 303 0 392301 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 1570424

[startup+942.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11584
/proc/meminfo: memFree=10496/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=1711460 CPUtime=942.05
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 431291 0 0 0 93846 359 0 0 25 0 1 0 5458862 1752535040 427236 1992294400 134512640 135751879 4293057696 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11557/statm: 427865 427236 151 303 0 427560 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1711460



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+990.802 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11586
/proc/meminfo: memFree=10596/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=1843456 CPUtime=990.34
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4202496 464279 0 0 0 98658 376 0 0 25 0 1 0 5458862 1887698944 460224 1992294400 134512640 135751879 4293057696 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/11557/statm: 460864 460224 151 303 0 460559 0
Current children cumulated CPU time (s) 990.34
Current children cumulated vsize (KiB) 1843456

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

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

[startup+990.91 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11586
/proc/meminfo: memFree=10596/2059040 swapFree=4192956/4192956
[pid=11557] ppid=11555 vsize=0 CPUtime=990.44
/proc/11557/stat : 11557 (wbo1.4b) R 11555 11557 11453 0 -1 4203524 464279 0 0 0 98658 386 0 0 25 0 1 0 5458862 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0
/proc/11557/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 990.44
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 990.973
CPU time (s): 990.511
CPU user time (s): 986.586
CPU system time (s): 3.9254
CPU usage (%): 99.9534
Max. virtual memory (cumulated for all children) (KiB): 1843456

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

runsolver used 1.63675 second user time and 4.69329 second system time

The end

Launcher Data 

Begin job on node081 at 2010-06-16 00:40:48
IDJOB=2655815
IDBENCH=25020
IDSOLVER=1161
FILE ID=node081/2655815-1276641647
PBS_JOBID= 11172406
Free space on /tmp= 121804 MiB

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

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

MD5SUM BENCH= 904168892843efef74e3394360b8d762
RANDOM SEED=367119804

node081.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.212
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.42
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.212
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1468096 kB
Buffers:        100860 kB
Cached:         361308 kB
SwapCached:          0 kB
Active:         212692 kB
Inactive:       308976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1468096 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            7208 kB
Writeback:           0 kB
AnonPages:       59368 kB
Mapped:          15408 kB
Slab:            47576 kB
PageTables:       3952 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181448 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 121804 MiB
End job on node081 at 2010-06-16 00:57:20