Trace number 1875497

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) 1737.38 1737.87

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_1.opb
MD5SUMa7af672db5daf9bd21f1768f531add6b
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark1800.55
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved NO
Number of variables21320
Total number of constraints79746
Number of constraints which are clauses79734
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint1
Maximum length of a constraint1407
Number of terms in the objective function 1407
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 1407
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 35
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1442
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 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-1875497-1245184793.opb.
0.00/0.00	c Instance file HOME/instance-1875497-1245184793.opb
0.00/0.00	c File size is 2416408 bytes.
0.29/0.32	c Highest Coefficient sum: 1442
0.29/0.32	c ============================[ Problem Statistics ]=============================
0.29/0.32	c |                                                                             |
0.29/0.32	c |  Parsing time:          0.32         s                                      |
0.29/0.32	c |  Number Variables:      21320                                               |
0.29/0.32	c |  Number Clauses:        81141                                               |
0.29/0.32	c |  Number Cardinality:    1                                                   |
0.29/0.32	c |  Number PB Constraints: 11                                                  |
0.29/0.32	c core #1
0.29/0.32	c Core size: 2	Core Weight: 1	Total Weight: 1
0.29/0.32	c Elapsed CPU time: 0.315951 s	Remaining CPU time: 1799.68 s
0.29/0.39	c core #2
0.29/0.39	c Core size: 2	Core Weight: 1	Total Weight: 2
0.29/0.39	c Elapsed CPU time: 0.372943 s	Remaining CPU time: 1799.63 s
0.39/0.45	c core #3
0.39/0.45	c Core size: 2	Core Weight: 1	Total Weight: 3
0.39/0.45	c Elapsed CPU time: 0.434933 s	Remaining CPU time: 1799.57 s
0.49/0.52	c core #4
0.49/0.52	c Core size: 2	Core Weight: 1	Total Weight: 4
0.49/0.52	c Elapsed CPU time: 0.501923 s	Remaining CPU time: 1799.5 s
0.49/0.59	c core #5
0.49/0.59	c Core size: 2	Core Weight: 1	Total Weight: 5
0.49/0.59	c Elapsed CPU time: 0.564914 s	Remaining CPU time: 1799.44 s
0.59/0.65	c core #6
0.59/0.65	c Core size: 161	Core Weight: 1	Total Weight: 6
0.59/0.65	c Elapsed CPU time: 0.630904 s	Remaining CPU time: 1799.37 s
0.69/0.72	c core #7
0.69/0.72	c Core size: 169	Core Weight: 1	Total Weight: 7
0.69/0.72	c Elapsed CPU time: 0.697893 s	Remaining CPU time: 1799.3 s
0.79/0.81	c core #8
0.79/0.81	c Core size: 727	Core Weight: 1	Total Weight: 8
0.79/0.81	c Elapsed CPU time: 0.78588 s	Remaining CPU time: 1799.21 s
0.79/0.89	c core #9
0.79/0.89	c Core size: 359	Core Weight: 1	Total Weight: 9
0.79/0.89	c Elapsed CPU time: 0.860869 s	Remaining CPU time: 1799.14 s
0.89/0.98	c core #10
0.89/0.98	c Core size: 748	Core Weight: 1	Total Weight: 10
0.89/0.98	c Elapsed CPU time: 0.952855 s	Remaining CPU time: 1799.05 s
0.99/1.07	c ============================[ Search Statistics ]==============================
0.99/1.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.99/1.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.99/1.07	c ===============================================================================
0.99/1.07	c |         0 |   16449    81163   199304 |    27054        0    nan |  0.000 % |
1.09/1.14	c ===============================================================================
1.09/1.14	c core #11
1.09/1.14	c Core size: 425	Core Weight: 1	Total Weight: 11
1.09/1.14	c Elapsed CPU time: 1.10483 s	Remaining CPU time: 1798.9 s
1.19/1.23	c Learning 3 hard constraints
1.19/1.23	c ============================[ Search Statistics ]==============================
1.19/1.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.23	c ===============================================================================
1.19/1.23	c |         0 |   16806    81167   201062 |    27055        0    nan |  0.000 % |
1.29/1.30	c |       101 |   16743    81167   201062 |    29761      101    116 | 26.741 % |
1.29/1.32	c ===============================================================================
1.29/1.32	c core #12
1.29/1.32	c Core size: 2292	Core Weight: 1	Total Weight: 12
1.29/1.32	c Elapsed CPU time: 1.2858 s	Remaining CPU time: 1798.71 s
1.39/1.41	c ============================[ Search Statistics ]==============================
1.39/1.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.39/1.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.39/1.41	c ===============================================================================
1.39/1.41	c |         0 |   20595    81168   205186 |    27056        0    nan |  0.000 % |
1.39/1.48	c |       100 |   20595    81168   205186 |    29761      100     46 |  9.313 % |
1.49/1.51	c |       250 |   20593    81168   205186 |    32737      250     65 |  9.322 % |
1.49/1.56	c |       476 |   20587    81168   205186 |    36011      472     84 |  9.348 % |
1.59/1.68	c |       815 |   20580    81168   205186 |    39612      811    102 |  9.379 % |
1.79/1.88	c |      1321 |   20570    81168   205186 |    43573     1302    107 |  9.423 % |
1.89/1.94	c ===============================================================================
1.89/1.95	c core #13
1.89/1.95	c Core size: 1553	Core Weight: 1	Total Weight: 13
1.89/1.95	c Elapsed CPU time: 1.89571 s	Remaining CPU time: 1798.1 s
1.99/2.04	c Learning 16 hard constraints
1.99/2.04	c ============================[ Search Statistics ]==============================
1.99/2.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.99/2.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.99/2.04	c ===============================================================================
1.99/2.04	c |         0 |   20712    81185   205934 |    27061        0    nan |  0.000 % |
2.09/2.19	c |       100 |   20691    81185   205934 |    29767      100    103 |  9.568 % |
2.19/2.29	c |       251 |   20622    81185   205934 |    32744      235     66 |  9.664 % |
2.59/2.68	c |       476 |   20552    81185   205934 |    36019      444    121 |  9.971 % |
3.09/3.16	c ===============================================================================
3.09/3.16	c core #14
3.09/3.16	c Core size: 4070	Core Weight: 1	Total Weight: 14
3.09/3.16	c Elapsed CPU time: 3.07453 s	Remaining CPU time: 1796.93 s
3.20/3.25	c Learning 2 hard constraints
3.20/3.25	c ============================[ Search Statistics ]==============================
3.20/3.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.20/3.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.20/3.25	c ===============================================================================
3.20/3.25	c |         0 |   23264    81188   209008 |    27062        0    nan |  0.000 % |
3.30/3.35	c |       104 |   23264    81188   209008 |    29768      104     76 |  0.043 % |
3.49/3.51	c |       255 |   23263    81188   209008 |    32745      254    125 |  0.047 % |
3.69/3.78	c |       480 |   23262    81188   209008 |    36020      479    146 |  0.052 % |
4.29/4.35	c |       818 |   23262    81188   209008 |    39622      814    171 |  0.052 % |
5.08/5.16	c |      1324 |   23260    81188   209008 |    43584     1319    163 |  0.172 % |
6.59/6.66	c |      2085 |   23224    81188   209008 |    47943     2061    164 |  0.215 % |
8.58/8.67	c |      3224 |   23189    81188   209008 |    52737     3189    191 |  0.365 % |
12.29/12.31	c |      4933 |   23116    81188   209008 |    58011     4823    248 |  0.679 % |
19.49/19.55	c |      7495 |   22398    81188   209008 |    63812     7082    315 |  3.772 % |
28.27/28.38	c ===============================================================================
28.48/28.56	c core #15
28.48/28.56	c Core size: 19241	Core Weight: 1	Total Weight: 15
28.48/28.56	c Elapsed CPU time: 28.1137 s	Remaining CPU time: 1771.89 s
28.58/28.68	c Learning 87 hard constraints
28.58/28.68	c ============================[ Search Statistics ]==============================
28.58/28.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
28.58/28.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
28.58/28.68	c ===============================================================================
28.58/28.68	c |         0 |   24475    81276   215754 |    27092        0    nan |  0.000 % |
28.78/28.81	c |       100 |   24475    81276   215754 |    29801      100    370 |  0.041 % |
28.98/29.08	c |       250 |   24475    81276   215754 |    32781      250    230 |  0.041 % |
29.27/29.37	c |       475 |   24475    81276   215754 |    36059      475    188 |  0.041 % |
30.08/30.18	c |       812 |   24475    81276   215754 |    39665      812    140 |  0.041 % |
30.68/30.71	c |      1318 |   24475    81276   215754 |    43631     1318    180 |  0.041 % |
31.98/32.06	c |      2077 |   24475    81276   215754 |    47995     2077    170 |  0.041 % |
34.08/34.12	c |      3219 |   24475    81276   215754 |    52794     3219    194 |  0.041 % |
36.28/36.36	c |      4927 |   24475    81276   215754 |    58074     4927    219 |  0.041 % |
41.97/42.05	c |      7489 |   24475    81276   215754 |    63881     7489    256 |  0.041 % |
51.28/51.39	c |     11333 |   24475    81276   215754 |    70269    11333    338 |  0.041 % |
67.46/67.50	c |     17101 |   24475    81276   215754 |    77296    17101    349 |  0.041 % |
87.36/87.41	c |     25750 |   24475    81276   215754 |    85026    25750    437 |  0.041 % |
135.45/135.53	c |     38725 |   24475    81276   215754 |    93528    38725    700 |  0.041 % |
212.72/212.83	c |     58189 |   24475    81276   215754 |   102881    58189    794 |  0.041 % |
427.17/427.38	c |     87382 |   24475    81276   215754 |   113170    87382    861 |  0.041 % |
691.09/691.37	c |    131171 |   24475    81276   215754 |   124487    37656   1043 |  0.041 % |
1172.27/1172.65	c |    196859 |   24475    81276   215754 |   136935   103344   1930 |  0.041 % |

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-1875497-1245184793/watcher-1875497-1245184793 -o /tmp/evaluation-result-1875497-1245184793/solver-1875497-1245184793 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875497-1245184793.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 4188
/proc/meminfo: memFree=1901368/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=5032 CPUtime=0
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 254 0 0 0 0 0 0 0 20 0 1 0 4391538 5152768 238 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 1291 248 128 292 0 406 0

[startup+0.0188251 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 4188
/proc/meminfo: memFree=1901368/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=5588 CPUtime=0.01
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 402 0 0 0 1 0 0 0 20 0 1 0 4391538 5722112 386 1992294400 134512640 135709839 4294956240 18446744073709551615 134570397 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 1397 386 152 292 0 512 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5588

[startup+0.101833 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 4188
/proc/meminfo: memFree=1901368/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=7196 CPUtime=0.09
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 947 0 0 0 9 0 0 0 20 0 1 0 4391538 7368704 931 1992294400 134512640 135709839 4294956240 18446744073709551615 134570700 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 1799 931 303 292 0 914 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7196

[startup+0.301851 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 4188
/proc/meminfo: memFree=1901368/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=11088 CPUtime=0.29
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 2210 0 0 0 28 1 0 0 22 0 1 0 4391538 11354112 2194 1992294400 134512640 135709839 4294956240 18446744073709551615 134547899 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 2772 2194 672 292 0 1887 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11088

[startup+0.701889 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 4188
/proc/meminfo: memFree=1901368/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=16592 CPUtime=0.69
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 5562 0 0 0 67 2 0 0 25 0 1 0 4391538 16990208 3406 1992294400 134512640 135709839 4294956240 18446744073709551615 134605228 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 4148 3406 134 292 0 3853 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16592

[startup+1.50196 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4189
/proc/meminfo: memFree=1887152/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=16636 CPUtime=1.49
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 7618 0 0 0 145 4 0 0 25 0 1 0 4391538 17035264 3547 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 4159 3547 136 292 0 3864 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16636

[startup+3.10111 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4189
/proc/meminfo: memFree=1886448/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=17524 CPUtime=3.09
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 8091 0 0 0 301 8 0 0 25 0 1 0 4391538 17944576 3752 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 4381 3752 136 292 0 4086 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17524

[startup+6.30241 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4189
/proc/meminfo: memFree=1886064/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=17772 CPUtime=6.28
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 8577 0 0 0 617 11 0 0 25 0 1 0 4391538 18198528 3842 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 4443 3842 136 292 0 4148 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17772

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4189
/proc/meminfo: memFree=1883056/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=21496 CPUtime=12.68
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 9515 0 0 0 1245 23 0 0 25 0 1 0 4391538 22011904 4780 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 5374 4780 136 292 0 5079 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21496

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4189
/proc/meminfo: memFree=1870000/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=34448 CPUtime=25.48
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 12729 0 0 0 2506 42 0 0 25 0 1 0 4391538 35274752 7994 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 8612 7994 136 292 0 8317 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34448

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4189
/proc/meminfo: memFree=1857520/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=46188 CPUtime=51.08
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 16095 0 0 0 5047 61 0 0 25 0 1 0 4391538 47296512 10945 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 11547 10945 136 292 0 11252 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 46188

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4189
/proc/meminfo: memFree=1810800/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=93108 CPUtime=102.27
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 27811 0 0 0 10140 87 0 0 25 0 1 0 4391538 95342592 22661 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 23277 22661 136 292 0 22982 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 93108

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4189
/proc/meminfo: memFree=1728432/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=175580 CPUtime=162.24
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 48451 0 0 0 16105 119 0 0 25 0 1 0 4391538 179793920 43301 1992294400 134512640 135709839 4294956240 18446744073709551615 134518518 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 43895 43301 136 292 0 43600 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 175580

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4189
/proc/meminfo: memFree=1665008/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=238484 CPUtime=222.23
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 64171 0 0 0 22082 141 0 0 25 0 1 0 4391538 244207616 59021 1992294400 134512640 135709839 4294956240 18446744073709551615 134518193 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 59621 59021 136 292 0 59326 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 238484

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4189
/proc/meminfo: memFree=1621104/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=282532 CPUtime=282.21
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 75137 0 0 0 28067 154 0 0 25 0 1 0 4391538 289312768 69987 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 70633 69987 136 292 0 70338 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 282532

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4189
/proc/meminfo: memFree=1580400/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=323368 CPUtime=342.19
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 85353 0 0 0 34055 164 0 0 25 0 1 0 4391538 331128832 80203 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 80842 80203 136 292 0 80547 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 323368

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4189
/proc/meminfo: memFree=1546096/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=357700 CPUtime=402.17
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 93921 0 0 0 40043 174 0 0 25 0 1 0 4391538 366284800 88771 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 89425 88771 136 292 0 89130 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 357700

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4189
/proc/meminfo: memFree=1502896/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=400804 CPUtime=462.16
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 104667 0 0 0 46027 189 0 0 25 0 1 0 4391538 410423296 99517 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 100201 99517 136 292 0 99906 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 400804

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4189
/proc/meminfo: memFree=1459952/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=444020 CPUtime=522.14
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 115462 0 0 0 52011 203 0 0 25 0 1 0 4391538 454676480 110312 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 111005 110312 136 292 0 110710 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 444020

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4189
/proc/meminfo: memFree=1389360/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=513728 CPUtime=582.13
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 132901 0 0 0 57992 221 0 0 25 0 1 0 4391538 526057472 127751 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 128432 127751 136 292 0 128137 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 513728

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4189
/proc/meminfo: memFree=1327664/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=575116 CPUtime=642.11
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 148239 0 0 0 63960 251 0 0 25 0 1 0 4391538 588918784 143089 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 143779 143089 136 292 0 143484 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 575116

[startup+702.302 s]

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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4189
/proc/meminfo: memFree=1096944/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=806372 CPUtime=822.06
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 206067 0 0 0 81885 321 0 0 25 0 1 0 4391538 825724928 200917 1992294400 134512640 135709839 4294956240 18446744073709551615 134601448 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 201593 200917 136 292 0 201298 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 806372

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4189
/proc/meminfo: memFree=999856/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=902512 CPUtime=882.04
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 230115 0 0 0 87861 343 0 0 25 0 1 0 4391538 924172288 224965 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 225628 224965 136 292 0 225333 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 902512

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4189
/proc/meminfo: memFree=907376/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=995568 CPUtime=942.03
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 253353 0 0 0 93835 368 0 0 25 0 1 0 4391538 1019461632 248203 1992294400 134512640 135709839 4294956240 18446744073709551615 134518528 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 248892 248203 136 292 0 248597 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 995568

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4189
/proc/meminfo: memFree=822832/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=1078956 CPUtime=1002.02
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 274208 0 0 0 99811 391 0 0 25 0 1 0 4391538 1104850944 269058 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 269739 269058 136 292 0 269444 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1078956

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4189
/proc/meminfo: memFree=749424/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=1152608 CPUtime=1062
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 292618 0 0 0 105786 414 0 0 25 0 1 0 4391538 1180270592 287468 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 288152 287468 136 292 0 287857 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1152608

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4189
/proc/meminfo: memFree=672368/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=1229104 CPUtime=1121.98
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 311741 0 0 0 111766 432 0 0 25 0 1 0 4391538 1258602496 306591 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 307276 306591 136 292 0 306981 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1229104

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4189
/proc/meminfo: memFree=600048/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=1302144 CPUtime=1181.97
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 330006 0 0 0 117747 450 0 0 25 0 1 0 4391538 1333395456 324856 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 325536 324856 136 292 0 325241 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1302144

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4189
/proc/meminfo: memFree=538032/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=1364060 CPUtime=1241.95
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 345451 0 0 0 123729 466 0 0 25 0 1 0 4391538 1396797440 340301 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 341015 340301 136 292 0 340720 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1364060

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4195
/proc/meminfo: memFree=488368/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=1412524 CPUtime=1301.93
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 357581 0 0 0 129714 479 0 0 25 0 1 0 4391538 1446424576 352431 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 353131 352431 136 292 0 352836 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1412524

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4195
/proc/meminfo: memFree=443632/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=1457160 CPUtime=1361.91
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 368747 0 0 0 135701 490 0 0 25 0 1 0 4391538 1492131840 363597 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 364290 363597 136 292 0 363995 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1457160

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4195
/proc/meminfo: memFree=399856/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=1501020 CPUtime=1421.9
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 379694 0 0 0 141690 500 0 0 25 0 1 0 4391538 1537044480 374544 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 375255 374544 136 292 0 374960 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1501020

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4195
/proc/meminfo: memFree=354032/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=1547420 CPUtime=1481.88
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 391289 0 0 0 147677 511 0 0 25 0 1 0 4391538 1584558080 386139 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 386855 386139 136 292 0 386560 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1547420

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4195
/proc/meminfo: memFree=308848/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=1591640 CPUtime=1541.86
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 402336 0 0 0 153665 521 0 0 25 0 1 0 4391538 1629839360 397186 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 397910 397186 136 292 0 397615 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1591640

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4195
/proc/meminfo: memFree=228016/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=1673776 CPUtime=1601.85
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 422828 0 0 0 159649 536 0 0 25 0 1 0 4391538 1713946624 417678 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 418444 417678 136 292 0 418149 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1673776

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4195
/proc/meminfo: memFree=143920/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=1756496 CPUtime=1661.83
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 443497 0 0 0 165627 556 0 0 25 0 1 0 4391538 1798651904 438347 1992294400 134512640 135709839 4294956240 18446744073709551615 134601448 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 439124 438347 136 292 0 438829 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1756496

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4195
/proc/meminfo: memFree=71088/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=1830228 CPUtime=1721.81
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 461937 0 0 0 171604 577 0 0 25 0 1 0 4391538 1874153472 456787 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 457557 456787 136 292 0 457262 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1830228



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1737.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4195
/proc/meminfo: memFree=56880/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=1843416 CPUtime=1737.11
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 465213 0 0 0 173131 580 0 0 25 0 1 0 4391538 1887657984 460063 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 460854 460063 136 292 0 460559 0
Current children cumulated CPU time (s) 1737.11
Current children cumulated vsize (KiB) 1843416

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

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

[startup+1737.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4195
/proc/meminfo: memFree=56880/2055920 swapFree=4192956/4192956
[pid=4188] ppid=4186 vsize=0 CPUtime=1737.31
/proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4195332 465213 0 0 0 173131 600 0 0 25 0 1 0 4391538 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/4188/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1737.31
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1737.87
CPU time (s): 1737.38
CPU user time (s): 1731.32
CPU system time (s): 6.06408
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 1843416

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

runsolver used 1.89171 second user time and 4.08438 second system time

The end

Launcher Data 

Begin job on node8 at 2009-06-16 22:39:53
IDJOB=1875497
IDBENCH=25019
IDSOLVER=698
FILE ID=node8/1875497-1245184793
PBS_JOBID= 9363940
Free space on /tmp= 66288 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_1.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-1875497-1245184793/watcher-1875497-1245184793 -o /tmp/evaluation-result-1875497-1245184793/solver-1875497-1245184793 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875497-1245184793.opb

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

MD5SUM BENCH= a7af672db5daf9bd21f1768f531add6b
RANDOM SEED=418995956

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1901784 kB
Buffers:         38848 kB
Cached:          71652 kB
SwapCached:          0 kB
Active:          82412 kB
Inactive:        41812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1901784 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4736 kB
Writeback:           0 kB
Mapped:          23496 kB
Slab:            15712 kB
Committed_AS:    62460 kB
PageTables:       1376 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-1875497-1245184793.opb

Free space on /tmp at the end= 66284 MiB
End job on node8 at 2009-06-16 23:08:53