Trace number 2655813

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) 1232.71 1233.18

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
MD5SUMaf0ded53094abde95c37378ccd6c7afa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables8901
Total number of constraints32298
Number of constraints which are clauses32280
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint1
Maximum length of a constraint790
Number of terms in the objective function 790
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 790
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 820
Number of bits of the biggest sum of numbers10
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-2655813-1276641085.opb.
0.00/0.00	c Instance file HOME/instance-2655813-1276641085.opb
0.00/0.00	c File size is 937948 bytes.
0.09/0.13	c Highest Coefficient sum: 820
0.09/0.13	c ============================[ Problem Statistics ]=============================
0.09/0.13	c |                                                                             |
0.09/0.13	c |  Parsing time:          0.13         s                                      |
0.09/0.13	c |  Number Variables:      8901                                                |
0.09/0.13	c |  Number Clauses:        32280                                               |
0.09/0.13	c |  Number Cardinality:    1                                                   |
0.09/0.13	c |  Number PB Constraints: 17                                                  |
5.79/5.81	c ============================[ Search Statistics ]==============================
5.79/5.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.79/5.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.79/5.81	c ===============================================================================
5.79/5.81	c |         0 |    8667    32527    81795 |    10766        0    nan |  0.000 % |
5.79/5.82	c ===============================================================================
5.79/5.82	c New solution: 26
5.79/5.82	o 26
5.79/5.82	c Elapsed CPU time: 5.80512 s	Remaining CPU time: 174.195 s
5.79/5.82	c ===============================================================================
5.79/5.82	c |         8 |    8667    32528    82585 |    10842        8    251 |  0.000 % |
5.79/5.83	c ===============================================================================
5.79/5.83	c New solution: 24
5.79/5.83	o 24
5.79/5.83	c Elapsed CPU time: 5.81312 s	Remaining CPU time: 174.187 s
5.79/5.83	c ===============================================================================
5.79/5.83	c |         9 |    8667    32529    83375 |    10843        9    226 |  0.000 % |
5.79/5.87	c |       109 |    8667    32529    83375 |    11927      109     83 |  2.629 % |
5.89/5.92	c |       259 |    8667    32529    83375 |    13120      259     62 |  2.629 % |
5.89/5.97	c |       485 |    8667    32529    83375 |    14432      485     83 |  2.629 % |
6.09/6.10	c |       825 |    8667    32529    83375 |    15875      825    466 |  2.629 % |
6.19/6.28	c |      1331 |    8667    32529    83375 |    17462     1331    324 |  2.629 % |
6.50/6.55	c |      2092 |    8667    32529    83375 |    19209     2092    370 |  2.629 % |
6.79/6.83	c |      3234 |    8667    32529    83375 |    21129     3234    306 |  2.629 % |
7.39/7.48	c |      4942 |    8667    32529    83375 |    23242     4942    335 |  2.629 % |
8.49/8.52	c |      7508 |    8667    32529    83375 |    25567     7508    444 |  2.629 % |
9.59/9.62	c |     11352 |    8667    32529    83375 |    28123    11352    461 |  2.629 % |
11.59/11.61	c |     17122 |    8667    32529    83375 |    30936    17122    439 |  2.629 % |
15.99/16.05	c |     25771 |    8667    32529    83375 |    34029    25771    491 |  2.629 % |
22.99/23.01	c |     38745 |    8667    32529    83375 |    37432    38745    539 |  2.629 % |
35.88/35.99	c |     58207 |    8667    32529    83375 |    41176    31330    725 |  2.629 % |
54.47/54.51	c |     87399 |    8667    32529    83375 |    45293    23821    967 |  2.629 % |
83.77/83.84	c |    131188 |    8667    32529    83375 |    49823    28591    821 |  2.629 % |
135.75/135.83	c |    196876 |    8667    32529    83375 |    54805    49599    761 |  2.629 % |
181.74/181.83	c There are 234 assigned variables. 5 in cost function.
182.34/182.47	c core #1
182.34/182.47	c core #2
182.34/182.47	c core #3
182.34/182.47	c core #4
182.34/182.47	c core #5
182.34/182.47	c ============================[ Search Statistics ]==============================
182.34/182.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.34/182.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.34/182.47	c ===============================================================================
182.34/182.47	c |         0 |    7502    33278    84232 |    11092        0    nan |  0.000 % |
182.54/182.62	c ===============================================================================
182.54/182.69	c core #6
182.54/182.69	c ============================[ Search Statistics ]==============================
182.54/182.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.54/182.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.54/182.69	c ===============================================================================
182.54/182.69	c |         0 |    8515    33333    85808 |    11111        0    nan |  0.000 % |
182.73/182.80	c |       100 |    8515    33333    85808 |    12222      100     70 | 12.415 % |
182.73/182.87	c ===============================================================================
182.84/182.93	c core #7
182.84/182.93	c ============================[ Search Statistics ]==============================
182.84/182.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.84/182.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.84/182.93	c ===============================================================================
182.84/182.93	c |         0 |    8972    33433    87134 |    11144        0    nan |  0.000 % |
182.94/183.05	c |       100 |    8972    33433    87134 |    12258      100    100 | 11.840 % |
183.04/183.11	c |       250 |    8972    33433    87134 |    13484      250    165 | 11.840 % |
183.14/183.22	c |       475 |    8972    33433    87134 |    14833      475    132 | 11.841 % |
183.24/183.39	c |       812 |    8972    33433    87134 |    16316      812    179 | 11.840 % |
183.73/183.80	c |      1318 |    8972    33433    87134 |    17948     1318    173 | 11.840 % |
184.33/184.43	c |      2077 |    8972    33433    87134 |    19742     2077    155 | 11.840 % |
185.34/185.45	c |      3218 |    8972    33433    87134 |    21717     3218    182 | 11.840 % |
187.53/187.60	c |      4926 |    8972    33433    87134 |    23888     4926    202 | 11.841 % |
190.64/190.74	c |      7490 |    8972    33433    87134 |    26277     7490    229 | 11.840 % |
196.04/196.17	c |     11334 |    8972    33433    87134 |    28905    11334    287 | 11.840 % |
208.94/209.01	c |     17100 |    8972    33433    87134 |    31796    17100    339 | 11.840 % |
228.33/228.45	c |     25751 |    8972    33433    87134 |    34975    25751    459 | 11.840 % |
262.21/262.38	c |     38727 |    8972    33433    87134 |    38473    18417    332 | 11.840 % |
271.12/271.27	c ===============================================================================
273.01/273.13	c core #8
273.01/273.13	c ============================[ Search Statistics ]==============================
273.01/273.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
273.01/273.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
273.01/273.13	c ===============================================================================
273.01/273.13	c |         0 |   10220    34551    93721 |    11517        0    nan |  0.000 % |
273.11/273.24	c |       104 |   10220    34551    93721 |    12668      104    101 | 10.547 % |
273.22/273.35	c |       256 |   10220    34551    93721 |    13935      256     59 | 10.547 % |
273.32/273.47	c |       482 |   10220    34551    93721 |    15329      482     47 | 10.547 % |
273.42/273.59	c |       820 |   10220    34551    93721 |    16862      820     95 | 10.547 % |
273.72/273.87	c |      1329 |   10220    34551    93721 |    18548     1329    200 | 10.547 % |
274.32/274.43	c |      2090 |   10220    34551    93721 |    20403     2090    240 | 10.547 % |
275.31/275.42	c |      3234 |   10220    34551    93721 |    22443     3234    247 | 10.547 % |
276.81/276.93	c |      4942 |   10220    34551    93721 |    24687     4942    268 | 10.547 % |
279.41/279.50	c |      7506 |   10220    34551    93721 |    27156     7506    325 | 10.547 % |
283.11/283.24	c |     11353 |   10220    34551    93721 |    29872    11353    355 | 10.547 % |
292.51/292.64	c |     17120 |   10220    34551    93721 |    32859    17120    439 | 10.547 % |
309.70/309.82	c |     25769 |   10220    34551    93721 |    36145    25769    595 | 10.547 % |
351.09/351.24	c |     38744 |   10220    34551    93721 |    39759    38744    699 | 10.547 % |
394.79/394.96	c |     58208 |   10220    34551    93721 |    43735    32354    539 | 10.547 % |
515.85/516.00	c |     87401 |   10220    34551    93721 |    48109    28480   1088 | 10.547 % |
665.70/665.92	c |    131193 |   10220    34551    93721 |    52920    35765   1090 | 10.547 % |
934.23/934.59	c |    196879 |   10220    34551    93721 |    58212    21502   1146 | 10.547 % |

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-2655813-1276641085/watcher-2655813-1276641085 -o /tmp/evaluation-result-2655813-1276641085/solver-2655813-1276641085 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655813-1276641085.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.92 0.98 1.05 2/105 13997
/proc/meminfo: memFree=1713332/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=3892 CPUtime=0
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 366 0 0 0 0 0 0 0 24 0 1 0 5401633 3985408 285 1992294400 134512640 135751879 4290131104 18446744073709551615 134561495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 973 286 146 303 0 439 0

[startup+0.0134289 s]
/proc/loadavg: 0.92 0.98 1.05 2/105 13997
/proc/meminfo: memFree=1713332/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=3892 CPUtime=0.01
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 385 0 0 0 1 0 0 0 24 0 1 0 5401633 3985408 304 1992294400 134512640 135751879 4290131104 18446744073709551615 135209128 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 973 304 155 303 0 439 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3892

[startup+0.100439 s]
/proc/loadavg: 0.92 0.98 1.05 2/105 13997
/proc/meminfo: memFree=1713332/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=5708 CPUtime=0.09
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 969 0 0 0 9 0 0 0 24 0 1 0 5401633 5844992 888 1992294400 134512640 135751879 4290131104 18446744073709551615 134637802 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 1427 888 308 303 0 893 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5708

[startup+0.300463 s]
/proc/loadavg: 0.92 0.98 1.05 2/105 13997
/proc/meminfo: memFree=1713332/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=8672 CPUtime=0.29
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 1991 0 0 0 29 0 0 0 25 0 1 0 5401633 8880128 1681 1992294400 134512640 135751879 4290131104 18446744073709551615 134580064 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 2168 1681 146 303 0 1863 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8672

[startup+0.700512 s]
/proc/loadavg: 0.92 0.98 1.05 2/105 13997
/proc/meminfo: memFree=1713332/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=9068 CPUtime=0.69
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 2115 0 0 0 69 0 0 0 25 0 1 0 5401633 9285632 1805 1992294400 134512640 135751879 4290131104 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 2267 1805 146 303 0 1962 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9068

[startup+1.50061 s]
/proc/loadavg: 0.92 0.98 1.05 2/106 13998
/proc/meminfo: memFree=1705884/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=10388 CPUtime=1.49
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 2433 0 0 0 148 1 0 0 25 0 1 0 5401633 10637312 2123 1992294400 134512640 135751879 4290131104 18446744073709551615 134524578 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 2597 2123 146 303 0 2292 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10388

[startup+3.10081 s]
/proc/loadavg: 0.92 0.98 1.05 2/106 13998
/proc/meminfo: memFree=1704396/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=12368 CPUtime=3.09
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 2935 0 0 0 308 1 0 0 25 0 1 0 5401633 12664832 2625 1992294400 134512640 135751879 4290131104 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 3092 2625 146 303 0 2787 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12368

[startup+6.3012 s]
/proc/loadavg: 0.93 0.98 1.05 2/106 13998
/proc/meminfo: memFree=1700924/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=14612 CPUtime=6.29
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 3488 0 0 0 627 2 0 0 25 0 1 0 5401633 14962688 3178 1992294400 134512640 135751879 4290131104 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 3653 3178 147 303 0 3348 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14612

[startup+12.701 s]
/proc/loadavg: 0.93 0.98 1.05 2/106 14000
/proc/meminfo: memFree=1675132/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=44256 CPUtime=12.69
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 10896 0 0 0 1255 14 0 0 25 0 1 0 5401633 45318144 10586 1992294400 134512640 135751879 4290131104 18446744073709551615 134616361 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 11064 10586 147 303 0 10759 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44256

[startup+25.5005 s]
/proc/loadavg: 0.95 0.98 1.05 2/106 14000
/proc/meminfo: memFree=1610900/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=105700 CPUtime=25.48
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 26280 0 0 0 2517 31 0 0 25 0 1 0 5401633 108236800 25970 1992294400 134512640 135751879 4290131104 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 26425 25970 148 303 0 26120 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 105700

[startup+51.1007 s]
/proc/loadavg: 0.96 0.98 1.05 2/106 14000
/proc/meminfo: memFree=1472268/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=246176 CPUtime=51.08
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 61365 0 0 0 5049 59 0 0 25 0 1 0 5401633 252084224 61055 1992294400 134512640 135751879 4290131104 18446744073709551615 134607817 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 61544 61055 148 303 0 61239 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 246176

[startup+102.308 s]
/proc/loadavg: 1.03 1.00 1.05 2/106 14005
/proc/meminfo: memFree=1225012/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=489084 CPUtime=102.26
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 122111 0 0 0 10115 111 0 0 25 0 1 0 5401633 500822016 121801 1992294400 134512640 135751879 4290131104 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 122271 121801 148 303 0 121966 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 489084

[startup+162.3 s]
/proc/loadavg: 1.01 1.00 1.04 2/106 14007
/proc/meminfo: memFree=988544/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=727756 CPUtime=162.25
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 181735 0 0 0 16060 165 0 0 25 0 1 0 5401633 745222144 181425 1992294400 134512640 135751879 4290131104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 181939 181425 148 303 0 181634 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 727756

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/106 14007
/proc/meminfo: memFree=934604/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=778192 CPUtime=222.23
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 195040 0 0 0 22019 204 0 0 25 0 1 0 5401633 796868608 194083 1992294400 134512640 135751879 4290131104 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 194548 194083 151 303 0 194243 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 778192

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/106 14009
/proc/meminfo: memFree=934604/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=778192 CPUtime=282.21
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 195043 0 0 0 27994 227 0 0 25 0 1 0 5401633 796868608 194086 1992294400 134512640 135751879 4290131104 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 194548 194086 151 303 0 194243 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 778192

[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/106 14011
/proc/meminfo: memFree=934604/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=778192 CPUtime=342.19
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 195043 0 0 0 33971 248 0 0 25 0 1 0 5401633 796868608 194086 1992294400 134512640 135751879 4290131104 18446744073709551615 134607781 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 194548 194086 151 303 0 194243 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 778192

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/106 14013
/proc/meminfo: memFree=900752/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=814616 CPUtime=402.18
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 204152 0 0 0 39946 272 0 0 25 0 1 0 5401633 834166784 203195 1992294400 134512640 135751879 4290131104 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 203654 203195 151 303 0 203349 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 814616

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/106 14015
/proc/meminfo: memFree=841604/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=872640 CPUtime=462.16
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 218640 0 0 0 45927 289 0 0 25 0 1 0 5401633 893583360 217683 1992294400 134512640 135751879 4290131104 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 218160 217683 151 303 0 217855 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 872640

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/106 14015
/proc/meminfo: memFree=780968/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=932836 CPUtime=522.14
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 233686 0 0 0 51908 306 0 0 25 0 1 0 5401633 955224064 232729 1992294400 134512640 135751879 4290131104 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 233209 232729 151 303 0 232904 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 932836

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14017
/proc/meminfo: memFree=720828/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=993032 CPUtime=582.13
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 248739 0 0 0 57884 329 0 0 25 0 1 0 5401633 1016864768 247782 1992294400 134512640 135751879 4290131104 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 248258 247782 151 303 0 247953 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 993032

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14019
/proc/meminfo: memFree=630804/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=1082096 CPUtime=642.11
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 271012 0 0 0 63859 352 0 0 25 0 1 0 5401633 1108066304 270055 1992294400 134512640 135751879 4290131104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 270524 270055 151 303 0 270219 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1082096

[startup+702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14021
/proc/meminfo: memFree=542392/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=1170620 CPUtime=702.09
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 293137 0 0 0 69832 377 0 0 25 0 1 0 5401633 1198714880 292180 1992294400 134512640 135751879 4290131104 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 292655 292180 151 303 0 292350 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 1170620

[startup+762.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14023
/proc/meminfo: memFree=470472/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=1242168 CPUtime=762.09
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 310993 0 0 0 75813 396 0 0 25 0 1 0 5401633 1271980032 310036 1992294400 134512640 135751879 4290131104 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 310542 310036 151 303 0 310237 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 1242168

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14023
/proc/meminfo: memFree=376852/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=1337004 CPUtime=822.07
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 334715 0 0 0 81788 419 0 0 25 0 1 0 5401633 1369092096 333758 1992294400 134512640 135751879 4290131104 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 334251 333758 151 303 0 333946 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 1337004

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14025
/proc/meminfo: memFree=277900/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=1434524 CPUtime=882.04
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 359070 0 0 0 87761 443 0 0 25 0 1 0 5401633 1468952576 358113 1992294400 134512640 135751879 4290131104 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 358631 358113 151 303 0 358326 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 1434524

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14027
/proc/meminfo: memFree=179196/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=1533480 CPUtime=942.03
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 383809 0 0 0 93734 469 0 0 25 0 1 0 5401633 1570283520 382852 1992294400 134512640 135751879 4290131104 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 383370 382852 151 303 0 383065 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 1533480

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14029
/proc/meminfo: memFree=105540/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=1606604 CPUtime=1002.02
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 402086 0 0 0 99709 493 0 0 25 0 1 0 5401633 1645162496 401129 1992294400 134512640 135751879 4290131104 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 401651 401129 151 303 0 401346 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1606604

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14031
/proc/meminfo: memFree=46392/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=1666052 CPUtime=1062
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 416949 0 0 0 105685 515 0 0 25 0 1 0 5401633 1706037248 415992 1992294400 134512640 135751879 4290131104 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 416513 415992 151 303 0 416208 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1666052

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14031
/proc/meminfo: memFree=9120/2059040 swapFree=4192956/4192956
[pid=13997] ppid=13995 vsize=1735012 CPUtime=1121.99
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 434174 0 0 0 111657 542 0 0 25 0 1 0 5401633 1776652288 433217 1992294400 134512640 135751879 4290131104 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 433753 433217 151 303 0 433448 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1735012

[startup+1182.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/106 14033
/proc/meminfo: memFree=10200/2059040 swapFree=4164956/4192956
[pid=13997] ppid=13995 vsize=1807744 CPUtime=1181.97
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 452377 0 0 0 117632 565 0 0 25 0 1 0 5401633 1851129856 451420 1992294400 134512640 135751879 4290131104 18446744073709551615 134516989 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13997/statm: 451936 451420 151 303 0 451631 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1807744



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1233 s]
/proc/loadavg: 1.08 1.03 1.01 2/106 14035
/proc/meminfo: memFree=9412/2059040 swapFree=4164956/4192956
[pid=13997] ppid=13995 vsize=1843300 CPUtime=1232.53
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4202496 461238 0 0 0 122672 581 0 0 25 0 1 0 5401633 1887539200 460281 1992294400 134512640 135751879 4290131104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/13997/statm: 460825 460281 151 303 0 460520 0
Current children cumulated CPU time (s) 1232.53
Current children cumulated vsize (KiB) 1843300

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

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

[startup+1233.12 s]
/proc/loadavg: 1.08 1.03 1.01 2/106 14035
/proc/meminfo: memFree=9412/2059040 swapFree=4164956/4192956
[pid=13997] ppid=13995 vsize=0 CPUtime=1232.63
/proc/13997/stat : 13997 (wbo1.4b) R 13995 13997 13972 0 -1 4203524 461238 0 0 0 122672 591 0 0 25 0 1 0 5401633 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0
/proc/13997/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1232.63
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1233.18
CPU time (s): 1232.71
CPU user time (s): 1226.73
CPU system time (s): 5.98109
CPU usage (%): 99.9618
Max. virtual memory (cumulated for all children) (KiB): 1843300

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

runsolver used 2.11668 second user time and 5.75712 second system time

The end

Launcher Data 

Begin job on node080 at 2010-06-16 00:31:25
IDJOB=2655813
IDBENCH=25018
IDSOLVER=1161
FILE ID=node080/2655813-1276641085
PBS_JOBID= 11172407
Free space on /tmp= 62592 MiB

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

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

MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa
RANDOM SEED=1992747033

node080.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.242
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.242
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.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1713860 kB
Buffers:         60704 kB
Cached:         147988 kB
SwapCached:          0 kB
Active:         110688 kB
Inactive:       157864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1713860 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3808 kB
Writeback:           0 kB
AnonPages:       59880 kB
Mapped:          15348 kB
Slab:            55020 kB
PageTables:       3920 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181480 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= 62588 MiB
End job on node080 at 2010-06-16 00:52:00