Trace number 1875495

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 NameAnswerobjCPU timeWall clock time
wbo 1.0? (MO) 1218.78 1219.37

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
MD5SUMa6271c60ac3da107dd19024b50d39967
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark1800.43
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved YES
Number of variables4318
Total number of constraints15120
Number of constraints which are clauses15112
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint490
Number of terms in the objective function 490
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 490
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 518
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875495-1245184401.opb.
0.00/0.00	c Instance file HOME/instance-1875495-1245184401.opb
0.00/0.00	c File size is 435390 bytes.
0.04/0.06	c Highest Coefficient sum: 518
0.04/0.06	c ============================[ Problem Statistics ]=============================
0.04/0.06	c |                                                                             |
0.04/0.06	c |  Parsing time:          0.06         s                                      |
0.04/0.06	c |  Number Variables:      4318                                                |
0.04/0.06	c |  Number Clauses:        15602                                               |
0.04/0.06	c |  Number Cardinality:    1                                                   |
0.04/0.06	c |  Number PB Constraints: 7                                                   |
0.04/0.06	c core #1
0.04/0.06	c Core size: 2	Core Weight: 1	Total Weight: 1
0.04/0.06	c Elapsed CPU time: 0.05999 s	Remaining CPU time: 1799.94 s
0.04/0.07	c core #2
0.04/0.07	c Core size: 2	Core Weight: 1	Total Weight: 2
0.04/0.07	c Elapsed CPU time: 0.069989 s	Remaining CPU time: 1799.93 s
0.04/0.08	c core #3
0.04/0.08	c Core size: 2	Core Weight: 1	Total Weight: 3
0.04/0.08	c Elapsed CPU time: 0.081987 s	Remaining CPU time: 1799.92 s
0.04/0.09	c core #4
0.04/0.09	c Core size: 2	Core Weight: 1	Total Weight: 4
0.04/0.09	c Elapsed CPU time: 0.092985 s	Remaining CPU time: 1799.91 s
0.09/0.10	c core #5
0.09/0.10	c Core size: 2	Core Weight: 1	Total Weight: 5
0.09/0.10	c Elapsed CPU time: 0.104984 s	Remaining CPU time: 1799.9 s
0.09/0.12	c core #6
0.09/0.12	c Core size: 340	Core Weight: 1	Total Weight: 6
0.09/0.12	c Elapsed CPU time: 0.117982 s	Remaining CPU time: 1799.88 s
0.09/0.13	c core #7
0.09/0.13	c Core size: 75	Core Weight: 1	Total Weight: 7
0.09/0.13	c Elapsed CPU time: 0.13098 s	Remaining CPU time: 1799.87 s
0.09/0.14	c core #8
0.09/0.14	c Core size: 79	Core Weight: 1	Total Weight: 8
0.09/0.14	c Elapsed CPU time: 0.144977 s	Remaining CPU time: 1799.86 s
0.09/0.16	c core #9
0.09/0.16	c Core size: 82	Core Weight: 1	Total Weight: 9
0.09/0.16	c Elapsed CPU time: 0.157975 s	Remaining CPU time: 1799.84 s
0.09/0.17	c core #10
0.09/0.17	c Core size: 175	Core Weight: 1	Total Weight: 10
0.09/0.17	c Elapsed CPU time: 0.172973 s	Remaining CPU time: 1799.83 s
0.09/0.19	c ============================[ Search Statistics ]==============================
0.09/0.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.19	c ===============================================================================
0.09/0.19	c |         0 |    3283    15620    37812 |     5206        0    nan |  0.000 % |
0.09/0.19	c ===============================================================================
0.09/0.19	c core #11
0.09/0.19	c Core size: 760	Core Weight: 1	Total Weight: 11
0.09/0.19	c Elapsed CPU time: 0.19197 s	Remaining CPU time: 1799.81 s
0.19/0.21	c ============================[ Search Statistics ]==============================
0.19/0.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.21	c ===============================================================================
0.19/0.21	c |         0 |    4699    15621    39732 |     5207        0    nan |  0.000 % |
0.19/0.23	c |       101 |    4696    15621    39732 |     5727      101     43 |  3.495 % |
0.29/0.31	c |       251 |    4662    15621    39732 |     6300      244     43 |  3.578 % |
0.39/0.41	c |       476 |    4660    15621    39732 |     6930      461     51 |  3.620 % |
0.49/0.59	c |       814 |    4649    15621    39732 |     7623      479     32 |  3.847 % |
0.59/0.60	c ===============================================================================
0.59/0.61	c core #12
0.59/0.61	c Core size: 3555	Core Weight: 1	Total Weight: 12
0.59/0.61	c Elapsed CPU time: 0.610907 s	Remaining CPU time: 1799.39 s
0.59/0.63	c Learning 12 hard constraints
0.59/0.63	c ============================[ Search Statistics ]==============================
0.59/0.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.63	c ===============================================================================
0.59/0.63	c |         0 |    5050    15634    40532 |     5211        0    nan |  0.000 % |
0.59/0.68	c |       101 |    5050    15634    40532 |     5732      101     95 |  2.622 % |
0.69/0.71	c |       254 |    5050    15634    40532 |     6305      254     87 |  2.622 % |
0.79/0.88	c |       479 |    5048    15634    40532 |     6936      478     85 |  2.680 % |
1.09/1.12	c |       816 |    5047    15634    40532 |     7629      813    113 |  2.680 % |
1.39/1.46	c |      1323 |    5047    15634    40532 |     8392     1320    235 |  2.681 % |
1.89/1.99	c |      2082 |    5047    15634    40532 |     9232     2079    383 |  2.680 % |
2.89/2.99	c |      3225 |    5034    15634    40532 |    10155     3205    461 |  2.931 % |
4.09/4.10	c |      4933 |    5034    15634    40532 |    11170     4913    434 |  2.931 % |
6.09/6.16	c |      7498 |    5033    15634    40532 |    12288     7475    399 |  2.950 % |
14.39/14.45	c |     11342 |    5032    15634    40532 |    13516    11319    616 |  2.970 % |
27.48/27.55	c |     17109 |    5032    15634    40532 |    14868     9692    773 |  2.970 % |
50.67/50.71	c |     25758 |    5032    15634    40532 |    16355    10437    794 |  2.970 % |
87.04/87.20	c |     38736 |    5031    15634    40532 |    17990    15025    851 |  2.989 % |
135.62/135.77	c |     58201 |    5029    15634    40532 |    19790    15637    609 |  3.028 % |
160.00/160.15	c ===============================================================================
163.01/163.11	c core #13
163.01/163.11	c Core size: 7362	Core Weight: 1	Total Weight: 13
163.01/163.11	c Elapsed CPU time: 162.178 s	Remaining CPU time: 1637.82 s
163.11/163.22	c Learning 1331 hard constraints
163.11/163.22	c ============================[ Search Statistics ]==============================
163.11/163.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
163.11/163.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
163.11/163.22	c ===============================================================================
163.11/163.22	c |         0 |    5374    16966    61001 |     5655        0    nan |  0.000 % |
163.11/163.30	c |       100 |    5374    16966    61001 |     6220      100    268 |  1.557 % |
163.21/163.34	c |       250 |    5374    16966    61001 |     6842      250    202 |  1.557 % |
163.31/163.40	c |       475 |    5374    16966    61001 |     7527      475    293 |  1.557 % |
163.31/163.48	c |       813 |    5374    16966    61001 |     8279      813    199 |  1.557 % |
163.50/163.60	c |      1319 |    5374    16966    61001 |     9107     1319    175 |  1.557 % |
163.81/163.98	c |      2079 |    5374    16966    61001 |    10018     2079    339 |  1.557 % |
164.30/164.45	c |      3220 |    5374    16966    61001 |    11020     3220    317 |  1.557 % |
165.11/165.25	c |      4929 |    5374    16966    61001 |    12122     4929    308 |  1.557 % |
167.31/167.40	c |      7492 |    5374    16966    61001 |    13334     7492    370 |  1.557 % |
169.71/169.88	c |     11336 |    5374    16966    61001 |    14668    11336    375 |  1.557 % |
174.40/174.54	c |     17103 |    5374    16966    61001 |    16135    17103    492 |  1.557 % |
180.70/180.84	c |     25753 |    5374    16966    61001 |    17748    17202    580 |  1.557 % |
195.70/195.90	c |     38731 |    5374    16966    61001 |    19523    10293    589 |  1.557 % |
234.28/234.44	c |     58192 |    5374    16966    61001 |    21476    19014    729 |  1.557 % |
290.44/290.67	c |     87386 |    5374    16966    61001 |    23623    13810    577 |  1.557 % |
410.48/410.74	c |    131176 |    5374    16966    61001 |    25986    16719    867 |  1.557 % |
430.47/430.73	c ===============================================================================
430.97/431.20	c core #14
430.97/431.20	c Core size: 2337	Core Weight: 1	Total Weight: 14
430.97/431.20	c Elapsed CPU time: 429.04 s	Remaining CPU time: 1370.96 s
431.17/431.40	c Learning 108 hard constraints
431.17/431.40	c ============================[ Search Statistics ]==============================
431.17/431.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
431.17/431.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
431.17/431.40	c ===============================================================================
431.17/431.40	c |         0 |    5662    17075    62843 |     5691        0    nan |  0.000 % |
431.17/431.47	c |       102 |    5662    17075    62843 |     6260      102    220 |  0.176 % |
431.27/431.53	c |       252 |    5662    17075    62843 |     6886      252    273 |  0.176 % |
431.37/431.62	c |       477 |    5662    17075    62843 |     7575      477    211 |  0.176 % |
431.47/431.74	c |       815 |    5662    17075    62843 |     8333      815    177 |  0.177 % |
432.57/432.85	c |      1321 |    5662    17075    62843 |     9166     1321    282 |  0.176 % |
432.87/433.14	c |      2082 |    5662    17075    62843 |    10083     2082    358 |  0.176 % |
433.47/433.75	c |      3221 |    5662    17075    62843 |    11091     3221    337 |  0.176 % |
434.28/434.57	c |      4929 |    5662    17075    62843 |    12200     4929    284 |  0.176 % |
435.47/435.79	c |      7499 |    5662    17075    62843 |    13420     7499    275 |  0.177 % |
439.57/439.80	c |     11345 |    5662    17075    62843 |    14762    11345    359 |  0.176 % |
446.96/447.25	c |     17111 |    5662    17075    62843 |    16238     8793    556 |  0.176 % |
460.26/460.50	c |     25760 |    5662    17075    62843 |    17862    17442    677 |  0.176 % |
479.55/479.85	c |     38735 |    5662    17075    62843 |    19649    10231    522 |  0.177 % |
500.15/500.47	c |     58197 |    5660    17075    62843 |    21614     9880    417 |  0.212 % |
569.42/569.76	c |     87391 |    5659    17075    62843 |    23775    16086   1132 |  0.229 % |
604.79/605.13	c |    131180 |    5659    17075    62843 |    26153    21296    405 |  0.229 % |
718.04/718.45	c |    196867 |    5656    17075    62843 |    28768    17733    329 |  0.282 % |
951.05/951.54	c |    295399 |    5655    17075    62843 |    31645    23593    782 |  0.300 % |

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-1875495-1245184401/watcher-1875495-1245184401 -o /tmp/evaluation-result-1875495-1245184401/solver-1875495-1245184401 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875495-1245184401.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.01 1.00 3/64 8540
/proc/meminfo: memFree=1843584/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=3100 CPUtime=0
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 234 0 0 0 0 0 0 0 18 0 1 0 186040080 3174400 218 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 775 218 129 292 0 373 0

[startup+0.041647 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 8540
/proc/meminfo: memFree=1843584/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=3696 CPUtime=0.04
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 469 0 0 0 4 0 0 0 18 0 1 0 186040080 3784704 453 1992294400 134512640 135709839 4294956240 18446744073709551615 134542881 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 924 453 195 292 0 522 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3696

[startup+0.101656 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 8540
/proc/meminfo: memFree=1843584/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=5284 CPUtime=0.09
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 1079 0 0 0 9 0 0 0 18 0 1 0 186040080 5410816 851 1992294400 134512640 135709839 4294956240 18446744073709551615 135163540 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 1321 851 133 292 0 1026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5284

[startup+0.30169 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 8540
/proc/meminfo: memFree=1843584/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=5300 CPUtime=0.29
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 1188 0 0 0 29 0 0 0 19 0 1 0 186040080 5427200 903 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 1325 903 136 292 0 1030 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5300

[startup+0.701756 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 8540
/proc/meminfo: memFree=1843584/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=6296 CPUtime=0.69
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 1400 0 0 0 68 1 0 0 22 0 1 0 186040080 6447104 1115 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 1574 1115 136 292 0 1279 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6296

[startup+1.50189 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 8541
/proc/meminfo: memFree=1839608/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=6824 CPUtime=1.49
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 1537 0 0 0 147 2 0 0 25 0 1 0 186040080 6987776 1252 1992294400 134512640 135709839 4294956240 18446744073709551615 134579712 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 1706 1252 136 292 0 1411 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6824

[startup+3.10215 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 8541
/proc/meminfo: memFree=1836600/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=12272 CPUtime=3.09
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 2925 0 0 0 305 4 0 0 25 0 1 0 186040080 12566528 2640 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 3068 2640 136 292 0 2773 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12272

[startup+6.30169 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 8541
/proc/meminfo: memFree=1827576/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=19680 CPUtime=6.29
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 4750 0 0 0 622 7 0 0 25 0 1 0 186040080 20152320 4465 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 4920 4465 136 292 0 4625 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19680

[startup+12.7017 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 8541
/proc/meminfo: memFree=1811840/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=34588 CPUtime=12.68
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 8495 0 0 0 1259 9 0 0 25 0 1 0 186040080 35418112 8210 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 8647 8210 136 292 0 8352 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34588

[startup+25.5019 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 8541
/proc/meminfo: memFree=1790016/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=55928 CPUtime=25.48
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 13819 0 0 0 2533 15 0 0 25 0 1 0 186040080 57270272 13534 1992294400 134512640 135709839 4294956240 18446744073709551615 134573802 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 13982 13534 136 292 0 13687 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 55928

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8541
/proc/meminfo: memFree=1748352/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=98576 CPUtime=51.06
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 24481 0 0 0 5079 27 0 0 25 0 1 0 186040080 100941824 24196 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 24644 24196 136 292 0 24349 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 98576

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8541
/proc/meminfo: memFree=1659520/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=186080 CPUtime=102.24
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 46341 0 0 0 10171 53 0 0 25 0 1 0 186040080 190545920 46056 1992294400 134512640 135709839 4294956240 18446744073709551615 134577792 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 46520 46056 136 292 0 46225 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 186080

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8541
/proc/meminfo: memFree=1559488/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=285704 CPUtime=162.21
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 71258 0 0 0 16136 85 0 0 25 0 1 0 186040080 292560896 70973 1992294400 134512640 135709839 4294956240 18446744073709551615 134584101 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 71426 70973 136 292 0 71131 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 285704

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8541
/proc/meminfo: memFree=1483008/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=362292 CPUtime=222.18
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 90416 0 0 0 22108 110 0 0 25 0 1 0 186040080 370987008 90131 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 90573 90131 136 292 0 90278 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 362292

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8541
/proc/meminfo: memFree=1398272/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=447392 CPUtime=282.14
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 111688 0 0 0 28082 132 0 0 25 0 1 0 186040080 458129408 111403 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 111848 111403 136 292 0 111553 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 447392

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8541
/proc/meminfo: memFree=1289344/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=555816 CPUtime=342.11
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 138785 0 0 0 34054 157 0 0 25 0 1 0 186040080 569155584 138500 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 138954 138500 136 292 0 138659 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 555816

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8541
/proc/meminfo: memFree=1217664/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=627428 CPUtime=402.09
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 156699 0 0 0 40037 172 0 0 25 0 1 0 186040080 642486272 156414 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 156857 156414 136 292 0 156562 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 627428

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8541
/proc/meminfo: memFree=1141888/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=703048 CPUtime=462.06
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 175587 0 0 0 45996 210 0 0 25 0 1 0 186040080 719921152 175302 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 175762 175302 136 292 0 175467 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 703048

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8541
/proc/meminfo: memFree=1031168/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=814832 CPUtime=522.03
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 203529 0 0 0 51959 244 0 0 25 0 1 0 186040080 834387968 203244 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 203708 203244 136 292 0 203413 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 814832

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8541
/proc/meminfo: memFree=922624/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=922328 CPUtime=582.01
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 230403 0 0 0 57928 273 0 0 25 0 1 0 186040080 944463872 230118 1992294400 134512640 135709839 4294956240 18446744073709551615 134580332 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 230582 230118 136 292 0 230287 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 922328

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8541
/proc/meminfo: memFree=827904/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=1015892 CPUtime=641.98
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 253775 0 0 0 63894 304 0 0 25 0 1 0 186040080 1040273408 253490 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 253973 253490 136 292 0 253678 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 1015892

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8541
/proc/meminfo: memFree=767616/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=1076640 CPUtime=701.94
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 268930 0 0 0 69868 326 0 0 25 0 1 0 186040080 1102479360 268645 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 269160 268645 136 292 0 268865 0
Current children cumulated CPU time (s) 701.94
Current children cumulated vsize (KiB) 1076640

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8541
/proc/meminfo: memFree=695296/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=1148496 CPUtime=761.92
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 286892 0 0 0 75836 356 0 0 25 0 1 0 186040080 1176059904 286607 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 287124 286607 136 292 0 286829 0
Current children cumulated CPU time (s) 761.92
Current children cumulated vsize (KiB) 1148496

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8541
/proc/meminfo: memFree=612928/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=1231192 CPUtime=821.9
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 307563 0 0 0 81796 394 0 0 25 0 1 0 186040080 1260740608 307278 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 307798 307278 136 292 0 307503 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 1231192

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8541
/proc/meminfo: memFree=545920/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=1297588 CPUtime=881.87
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 324172 0 0 0 87769 418 0 0 25 0 1 0 186040080 1328730112 323887 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 324397 323887 136 292 0 324102 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 1297588

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8541
/proc/meminfo: memFree=457984/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=1386116 CPUtime=941.85
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 346306 0 0 0 93744 441 0 0 25 0 1 0 186040080 1419382784 346021 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 346529 346021 136 292 0 346234 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 1386116

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8541
/proc/meminfo: memFree=350784/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=1492828 CPUtime=1001.81
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 372944 0 0 0 99716 465 0 0 25 0 1 0 186040080 1528655872 372659 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 373207 372659 136 292 0 372912 0
Current children cumulated CPU time (s) 1001.81
Current children cumulated vsize (KiB) 1492828

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8541
/proc/meminfo: memFree=263296/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=1580728 CPUtime=1061.78
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 394943 0 0 0 105692 486 0 0 25 0 1 0 186040080 1618665472 394658 1992294400 134512640 135709839 4294956240 18446744073709551615 134574293 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 395182 394658 136 292 0 394887 0
Current children cumulated CPU time (s) 1061.78
Current children cumulated vsize (KiB) 1580728

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8543
/proc/meminfo: memFree=170560/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=1672588 CPUtime=1121.75
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 417901 0 0 0 111669 506 0 0 25 0 1 0 186040080 1712730112 417616 1992294400 134512640 135709839 4294956240 18446744073709551615 134573829 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 418147 417616 136 292 0 417852 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 1672588

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8543
/proc/meminfo: memFree=71040/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=1774396 CPUtime=1181.73
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 443362 0 0 0 117642 531 0 0 25 0 1 0 186040080 1816981504 443077 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 443599 443077 136 292 0 443304 0
Current children cumulated CPU time (s) 1181.73
Current children cumulated vsize (KiB) 1774396



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1219.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8543
/proc/meminfo: memFree=16000/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=1843580 CPUtime=1218.5
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4194304 460630 0 0 0 121304 546 0 0 25 0 1 0 186040080 1887825920 460345 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 460895 460345 136 292 0 460600 0
Current children cumulated CPU time (s) 1218.5
Current children cumulated vsize (KiB) 1843580

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

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

[startup+1219.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8543
/proc/meminfo: memFree=16000/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=0 CPUtime=1218.61
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4195332 460630 0 0 0 121304 557 0 0 25 0 1 0 186040080 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1218.61
Current children cumulated vsize (KiB) 0

[startup+1219.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8543
/proc/meminfo: memFree=16000/2055920 swapFree=4180828/4192956
[pid=8540] ppid=8538 vsize=0 CPUtime=1218.7
/proc/8540/stat : 8540 (wbo) R 8538 8540 8244 0 -1 4195332 460630 0 0 0 121304 566 0 0 25 0 1 0 186040080 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/8540/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1218.7
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1219.37
CPU time (s): 1218.78
CPU user time (s): 1213.04
CPU system time (s): 5.73813
CPU usage (%): 99.9514
Max. virtual memory (cumulated for all children) (KiB): 1843580

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

runsolver used 1.37679 second user time and 3.07453 second system time

The end

Launcher Data 

Begin job on node31 at 2009-06-16 22:33:22
IDJOB=1875495
IDBENCH=25017
IDSOLVER=698
FILE ID=node31/1875495-1245184401
PBS_JOBID= 9363889
Free space on /tmp= 66272 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875495-1245184401/watcher-1875495-1245184401 -o /tmp/evaluation-result-1875495-1245184401/solver-1875495-1245184401 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875495-1245184401.opb

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

MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967
RANDOM SEED=773445008

node31.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.258
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.258
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1844064 kB
Buffers:         50704 kB
Cached:          89548 kB
SwapCached:       5132 kB
Active:          40856 kB
Inactive:       107484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1844064 kB
SwapTotal:     4192956 kB
SwapFree:      4180828 kB
Dirty:            2800 kB
Writeback:           0 kB
Mapped:          13812 kB
Slab:            49280 kB
Committed_AS:   173456 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875495-1245184401.opb

Free space on /tmp at the end= 66268 MiB
End job on node31 at 2009-06-16 22:53:43