Trace number 2655810

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) 1409.26 1409.68

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
MD5SUMd25f6086317f033c233c4700493f03d1
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.32
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 20
Optimality of the best value was proved NO
Number of variables6027
Total number of constraints21278
Number of constraints which are clauses21267
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint650
Number of terms in the objective function 650
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 650
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 681
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-2655810-1276640190.opb.
0.00/0.00	c Instance file HOME/instance-2655810-1276640190.opb
0.00/0.00	c File size is 617335 bytes.
0.02/0.09	c Highest Coefficient sum: 681
0.02/0.09	c ============================[ Problem Statistics ]=============================
0.02/0.09	c |                                                                             |
0.02/0.09	c |  Parsing time:          0.09         s                                      |
0.02/0.09	c |  Number Variables:      6027                                                |
0.02/0.09	c |  Number Clauses:        21267                                               |
0.02/0.09	c |  Number Cardinality:    1                                                   |
0.02/0.09	c |  Number PB Constraints: 10                                                  |
1.59/1.66	c ============================[ Search Statistics ]==============================
1.59/1.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.59/1.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.59/1.66	c ===============================================================================
1.59/1.66	c |         0 |    5885    21415    54030 |     7092        0    nan |  0.000 % |
1.59/1.67	c ===============================================================================
1.59/1.67	c New solution: 23
1.59/1.67	o 23
1.59/1.67	c Elapsed CPU time: 1.65075 s	Remaining CPU time: 178.349 s
1.59/1.67	c ===============================================================================
1.59/1.67	c |        11 |    5885    21416    54680 |     7138       11    121 |  0.000 % |
1.59/1.70	c |       112 |    5885    21416    54680 |     7852      112     46 |  2.356 % |
1.69/1.74	c |       264 |    5885    21416    54680 |     8637      264     39 |  2.356 % |
1.69/1.79	c |       490 |    5885    21416    54680 |     9501      490     78 |  2.356 % |
1.79/1.87	c |       827 |    5885    21416    54680 |    10451      827     98 |  2.356 % |
1.99/2.09	c |      1334 |    5885    21416    54680 |    11496     1334    188 |  2.356 % |
2.20/2.23	c |      2093 |    5885    21416    54680 |    12646     2093    161 |  2.356 % |
2.39/2.44	c |      3232 |    5885    21416    54680 |    13911     3232    163 |  2.356 % |
2.99/3.01	c |      4942 |    5885    21416    54680 |    15302     4942    174 |  2.356 % |
3.49/3.57	c |      7505 |    5885    21416    54680 |    16832     7505    173 |  2.356 % |
4.59/4.66	c |     11351 |    5885    21416    54680 |    18515    11351    192 |  2.356 % |
6.19/6.22	c |     17118 |    5885    21416    54680 |    20367    17118    190 |  2.356 % |
11.69/11.70	c |     25768 |    5885    21416    54680 |    22404    12298    534 |  2.356 % |
15.69/15.72	c |     38742 |    5885    21416    54680 |    24644    25272    408 |  2.356 % |
25.59/25.65	c |     58203 |    5885    21416    54680 |    27109    12842    577 |  2.356 % |
37.17/37.26	c |     87395 |    5885    21416    54680 |    29819    21338    453 |  2.356 % |
70.96/71.03	c |    131184 |    5885    21416    54680 |    32801    20954    652 |  2.356 % |
107.66/107.79	c |    196869 |    5885    21416    54680 |    36082    36810    403 |  2.356 % |
151.85/151.99	c |    295395 |    5885    21416    54680 |    39690    24250    279 |  2.356 % |
182.24/182.37	c There are 142 assigned variables. 5 in cost function.
182.93/183.00	c core #1
182.93/183.00	c core #2
182.93/183.00	c core #3
182.93/183.00	c core #4
182.93/183.00	c core #5
182.93/183.00	c ============================[ Search Statistics ]==============================
182.93/183.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.93/183.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.93/183.00	c ===============================================================================
182.93/183.00	c |         0 |    4559    22050    54499 |     7350        0    nan |  0.000 % |
182.93/183.02	c ===============================================================================
182.93/183.07	c core #6
182.93/183.07	c ============================[ Search Statistics ]==============================
182.93/183.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.93/183.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.93/183.07	c ===============================================================================
182.93/183.07	c |         0 |    4924    22053    55146 |     7351        0    nan |  0.000 % |
183.03/183.15	c ===============================================================================
183.13/183.20	c core #7
183.13/183.20	c ============================[ Search Statistics ]==============================
183.13/183.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.13/183.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.13/183.20	c ===============================================================================
183.13/183.20	c |         0 |    6295    22066    57093 |     7355        0    nan |  0.000 % |
183.13/183.26	c |       102 |    6286    22066    57093 |     8090       92     62 |  7.354 % |
183.24/183.30	c ===============================================================================
183.24/183.35	c core #8
183.24/183.35	c ============================[ Search Statistics ]==============================
183.24/183.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.24/183.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.24/183.35	c ===============================================================================
183.24/183.35	c |         0 |    7103    22105    58703 |     7368        0    nan |  0.000 % |
183.24/183.39	c |       100 |    7103    22105    58703 |     8105      100    104 |  1.960 % |
183.33/183.44	c |       252 |    7103    22105    58703 |     8915      252     67 |  1.960 % |
183.43/183.53	c |       477 |    7103    22105    58703 |     9807      477     79 |  1.960 % |
183.54/183.62	c |       814 |    7103    22105    58703 |    10787      814     76 |  1.960 % |
183.74/183.82	c |      1320 |    7103    22105    58703 |    11866     1320     98 |  1.960 % |
184.03/184.14	c |      2080 |    7103    22105    58703 |    13053     2080    111 |  1.960 % |
184.74/184.86	c |      3219 |    7103    22105    58703 |    14358     3219    204 |  1.960 % |
186.64/186.75	c |      4927 |    7103    22105    58703 |    15794     4927    261 |  1.960 % |
189.33/189.47	c |      7489 |    7103    22105    58703 |    17374     7489    271 |  1.960 % |
195.23/195.33	c |     11333 |    7103    22105    58703 |    19111    11333    294 |  1.960 % |
202.34/202.43	c |     17102 |    7100    22105    58703 |    21022    17094    257 |  2.001 % |
209.13/209.24	c |     25752 |    7100    22105    58703 |    23124    14786    188 |  2.001 % |
224.12/224.27	c |     38728 |    7100    22105    58703 |    25437    15829    199 |  2.002 % |
250.41/250.55	c |     58189 |    7093    22105    58703 |    27981    22121    218 |  2.098 % |
287.10/287.29	c |     87383 |    7089    22105    58703 |    30779    22717    274 |  2.153 % |
311.70/311.88	c ===============================================================================
314.60/314.75	c core #9
314.60/314.75	c ============================[ Search Statistics ]==============================
314.60/314.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
314.60/314.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
314.60/314.75	c ===============================================================================
314.60/314.75	c |         0 |    7920    22387    61548 |     7462        0    nan |  0.000 % |
314.69/314.84	c |       100 |    7920    22387    61548 |     8208      100     66 |  1.761 % |
314.80/314.92	c |       250 |    7920    22387    61548 |     9029      250     60 |  1.761 % |
315.10/315.22	c |       476 |    7920    22387    61548 |     9932      476     77 |  1.761 % |
315.20/315.37	c |       814 |    7920    22387    61548 |    10925      814    150 |  1.761 % |
315.50/315.62	c |      1320 |    7920    22387    61548 |    12018     1320    159 |  1.761 % |
315.90/316.02	c |      2079 |    7920    22387    61548 |    13219     2079    178 |  1.761 % |
316.89/317.03	c |      3218 |    7920    22387    61548 |    14541     3218    170 |  1.761 % |
318.70/318.86	c |      4926 |    7920    22387    61548 |    15996     4926    196 |  1.761 % |
321.11/321.25	c |      7488 |    7920    22387    61548 |    17595     7488    353 |  1.761 % |
325.00/325.11	c |     11332 |    7920    22387    61548 |    19355    11332    382 |  1.761 % |
331.70/331.85	c |     17098 |    7920    22387    61548 |    21290    17098    408 |  1.761 % |
345.99/346.14	c |     25747 |    7920    22387    61548 |    23419    14112    512 |  1.761 % |
363.78/363.99	c |     38722 |    7920    22387    61548 |    25761    27087    518 |  1.761 % |
391.77/391.90	c |     58185 |    7920    22387    61548 |    28338    18522    301 |  1.761 % |
427.86/428.01	c |     87378 |    7920    22387    61548 |    31172    13567    249 |  1.761 % |
498.94/499.10	c |    131167 |    7920    22387    61548 |    34289    20021    442 |  1.761 % |
626.61/626.88	c |    196853 |    7920    22387    61548 |    37718    22554    404 |  1.761 % |
859.95/860.24	c |    295379 |    7920    22387    61548 |    41489    22563    437 |  1.762 % |
1213.03/1213.44	c |    443168 |    7920    22387    61548 |    45638    30428    707 |  1.761 % |

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-2655810-1276640190/watcher-2655810-1276640190 -o /tmp/evaluation-result-2655810-1276640190/solver-2655810-1276640190 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655810-1276640190.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 0.99 3/106 11451
/proc/meminfo: memFree=1807996/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=3460 CPUtime=0
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 347 0 0 0 0 0 0 0 20 0 1 0 5310492 3543040 266 1992294400 134512640 135751879 4289001440 18446744073709551615 134564675 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 865 266 145 303 0 409 0

[startup+0.0265651 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 11451
/proc/meminfo: memFree=1807996/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=3772 CPUtime=0.02
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 462 0 0 0 2 0 0 0 20 0 1 0 5310492 3862528 381 1992294400 134512640 135751879 4289001440 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 943 381 178 303 0 487 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3772

[startup+0.101527 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 11451
/proc/meminfo: memFree=1807996/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=5988 CPUtime=0.09
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 1256 0 0 0 9 0 0 0 20 0 1 0 5310492 6131712 1024 1992294400 134512640 135751879 4289001440 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 1497 1025 145 303 0 1192 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5988

[startup+0.301544 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 11451
/proc/meminfo: memFree=1807996/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=6948 CPUtime=0.29
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 1497 0 0 0 29 0 0 0 20 0 1 0 5310492 7114752 1265 1992294400 134512640 135751879 4289001440 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 1737 1265 146 303 0 1432 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6948

[startup+0.701581 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 11451
/proc/meminfo: memFree=1807996/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=7344 CPUtime=0.69
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 1604 0 0 0 69 0 0 0 21 0 1 0 5310492 7520256 1372 1992294400 134512640 135751879 4289001440 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 1836 1372 146 303 0 1531 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7344

[startup+1.50165 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 11452
/proc/meminfo: memFree=1802284/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=8928 CPUtime=1.49
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 2018 0 0 0 148 1 0 0 23 0 1 0 5310492 9142272 1786 1992294400 134512640 135751879 4289001440 18446744073709551615 134697084 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 2232 1786 146 303 0 1927 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8928

[startup+3.1008 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 11452
/proc/meminfo: memFree=1800920/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=9192 CPUtime=3.09
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 2071 0 0 0 303 6 0 0 25 0 1 0 5310492 9412608 1839 1992294400 134512640 135751879 4289001440 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 2298 1839 147 303 0 1993 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9192

[startup+6.30108 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 11452
/proc/meminfo: memFree=1792364/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=20020 CPUtime=6.29
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 4788 0 0 0 617 12 0 0 25 0 1 0 5310492 20500480 4556 1992294400 134512640 135751879 4289001440 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 5005 4556 147 303 0 4700 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20020

[startup+12.7007 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 11452
/proc/meminfo: memFree=1764588/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=48644 CPUtime=12.69
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 11931 0 0 0 1249 20 0 0 25 0 1 0 5310492 49811456 11699 1992294400 134512640 135751879 4289001440 18446744073709551615 134610960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 12161 11700 148 303 0 11856 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48644

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 11452
/proc/meminfo: memFree=1706308/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=104860 CPUtime=25.49
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 25970 0 0 0 2506 43 0 0 25 0 1 0 5310492 107376640 25738 1992294400 134512640 135751879 4289001440 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 26215 25738 148 303 0 25910 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 104860

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 11454
/proc/meminfo: memFree=1604380/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=206904 CPUtime=51.07
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 51510 0 0 0 5028 79 0 0 25 0 1 0 5310492 211869696 51278 1992294400 134512640 135751879 4289001440 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 51726 51278 148 303 0 51421 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 206904

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 11454
/proc/meminfo: memFree=1435244/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=374420 CPUtime=102.26
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 93366 0 0 0 10093 133 0 0 25 0 1 0 5310492 383406080 93134 1992294400 134512640 135751879 4289001440 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 93605 93134 148 303 0 93300 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 374420

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11456
/proc/meminfo: memFree=1243540/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=568488 CPUtime=162.24
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 141876 0 0 0 16014 210 0 0 25 0 1 0 5310492 582131712 141644 1992294400 134512640 135751879 4289001440 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 142122 141644 148 303 0 141817 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 568488

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11458
/proc/meminfo: memFree=1183400/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=625080 CPUtime=222.22
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 156203 0 0 0 21972 250 0 0 25 0 1 0 5310492 640081920 155818 1992294400 134512640 135751879 4289001440 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 156270 155818 151 303 0 155965 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 625080

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11460
/proc/meminfo: memFree=1138512/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=670800 CPUtime=282.21
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 167632 0 0 0 27932 289 0 0 25 0 1 0 5310492 686899200 167247 1992294400 134512640 135751879 4289001440 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 167700 167247 151 303 0 167395 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 670800

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11462
/proc/meminfo: memFree=1077132/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=731596 CPUtime=342.19
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 182840 0 0 0 33883 336 0 0 25 0 1 0 5310492 749154304 182455 1992294400 134512640 135751879 4289001440 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 182899 182455 151 303 0 182594 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 731596

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11462
/proc/meminfo: memFree=1008064/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=801296 CPUtime=402.16
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 200246 0 0 0 39843 373 0 0 25 0 1 0 5310492 820527104 199861 1992294400 134512640 135751879 4289001440 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 200324 199861 151 303 0 200019 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 801296

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11464
/proc/meminfo: memFree=948916/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=859700 CPUtime=462.15
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 214851 0 0 0 45803 412 0 0 25 0 1 0 5310492 880332800 214466 1992294400 134512640 135751879 4289001440 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 214925 214466 151 303 0 214620 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 859700

[startup+522.301 s]
/proc/loadavg: 1.07 1.00 1.00 2/107 11466
/proc/meminfo: memFree=890512/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=918524 CPUtime=522.13
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 229554 0 0 0 51770 443 0 0 25 0 1 0 5310492 940568576 229169 1992294400 134512640 135751879 4289001440 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 229631 229169 151 303 0 229326 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 918524

[startup+582.302 s]
/proc/loadavg: 1.09 1.02 1.00 2/107 11468
/proc/meminfo: memFree=830620/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=977832 CPUtime=582.12
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 244378 0 0 0 57741 471 0 0 25 0 1 0 5310492 1001299968 243993 1992294400 134512640 135751879 4289001440 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 244458 243993 151 303 0 244153 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 977832

[startup+642.301 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 11470
/proc/meminfo: memFree=760560/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=1047380 CPUtime=642.1
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 261728 0 0 0 63710 500 0 0 25 0 1 0 5310492 1072517120 261343 1992294400 134512640 135751879 4289001440 18446744073709551615 134642946 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 261845 261343 151 303 0 261540 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 1047380

[startup+702.301 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 11470
/proc/meminfo: memFree=697444/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=1110708 CPUtime=702.08
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 277586 0 0 0 69681 527 0 0 25 0 1 0 5310492 1137364992 277201 1992294400 134512640 135751879 4289001440 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 277677 277201 151 303 0 277372 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 1110708

[startup+762.309 s]
/proc/loadavg: 1.13 1.06 1.01 2/107 11472
/proc/meminfo: memFree=645116/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=1162496 CPUtime=762.07
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 290498 0 0 0 75655 552 0 0 25 0 1 0 5310492 1190395904 290113 1992294400 134512640 135751879 4289001440 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 290624 290113 151 303 0 290319 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 1162496

[startup+822.301 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 11474
/proc/meminfo: memFree=597996/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=1210124 CPUtime=822.05
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 302390 0 0 0 81630 575 0 0 25 0 1 0 5310492 1239166976 302005 1992294400 134512640 135751879 4289001440 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 302531 302005 151 303 0 302226 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 1210124

[startup+882.302 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 11476
/proc/meminfo: memFree=557944/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=1249728 CPUtime=882.04
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 312275 0 0 0 87607 597 0 0 25 0 1 0 5310492 1279721472 311890 1992294400 134512640 135751879 4289001440 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 312432 311890 151 303 0 312127 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 1249728

[startup+942.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 11478
/proc/meminfo: memFree=488628/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=1319452 CPUtime=942.01
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 329682 0 0 0 93566 635 0 0 25 0 1 0 5310492 1351118848 329297 1992294400 134512640 135751879 4289001440 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 329863 329297 151 303 0 329558 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 1319452

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 11481
/proc/meminfo: memFree=430968/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=1376124 CPUtime=1001.99
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 343842 0 0 0 99532 667 0 0 25 0 1 0 5310492 1409150976 343457 1992294400 134512640 135751879 4289001440 18446744073709551615 134606367 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 344031 343457 151 303 0 343726 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 1376124

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11483
/proc/meminfo: memFree=370332/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=1436824 CPUtime=1061.98
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 359012 0 0 0 105500 698 0 0 25 0 1 0 5310492 1471307776 358627 1992294400 134512640 135751879 4289001440 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 359206 358627 151 303 0 358901 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 1436824

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11485
/proc/meminfo: memFree=303248/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=1504052 CPUtime=1121.96
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 375799 0 0 0 111472 724 0 0 25 0 1 0 5310492 1540149248 375414 1992294400 134512640 135751879 4289001440 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 376013 375414 151 303 0 375708 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 1504052

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11487
/proc/meminfo: memFree=235172/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=1573664 CPUtime=1181.94
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 393183 0 0 0 117444 750 0 0 25 0 1 0 5310492 1611431936 392798 1992294400 134512640 135751879 4289001440 18446744073709551615 134616861 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 393416 392798 151 303 0 393111 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 1573664

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11489
/proc/meminfo: memFree=164616/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=1642272 CPUtime=1241.93
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 410343 0 0 0 123420 773 0 0 25 0 1 0 5310492 1681686528 409958 1992294400 134512640 135751879 4289001440 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 410568 409958 151 303 0 410263 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1642272

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11489
/proc/meminfo: memFree=86868/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=1719516 CPUtime=1301.91
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 429652 0 0 0 129386 805 0 0 25 0 1 0 5310492 1760784384 429267 1992294400 134512640 135751879 4289001440 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 429879 429267 151 303 0 429574 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1719516

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11491
/proc/meminfo: memFree=18296/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=1788576 CPUtime=1361.89
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 446931 0 0 0 135350 839 0 0 25 0 1 0 5310492 1831501824 446546 1992294400 134512640 135751879 4289001440 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 447144 446546 151 303 0 446839 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1788576



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1409.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11493
/proc/meminfo: memFree=10208/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=1843288 CPUtime=1409.08
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4202496 460585 0 0 0 140047 861 0 0 25 0 1 0 5310492 1887526912 460200 1992294400 134512640 135751879 4289001440 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11451/statm: 460822 460200 151 303 0 460517 0
Current children cumulated CPU time (s) 1409.08
Current children cumulated vsize (KiB) 1843288

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

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

[startup+1409.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11493
/proc/meminfo: memFree=10208/2059040 swapFree=4164932/4192956
[pid=11451] ppid=11449 vsize=0 CPUtime=1409.18
/proc/11451/stat : 11451 (wbo1.4b) R 11449 11451 11000 0 -1 4203524 460585 0 0 0 140047 871 0 0 25 0 1 0 5310492 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/11451/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1409.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1409.68
CPU time (s): 1409.26
CPU user time (s): 1400.48
CPU system time (s): 8.78766
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 1843288

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

runsolver used 2.51662 second user time and 6.47302 second system time

The end

Launcher Data 

Begin job on node051 at 2010-06-16 00:16:30
IDJOB=2655810
IDBENCH=25015
IDSOLVER=1161
FILE ID=node051/2655810-1276640190
PBS_JOBID= 11172380
Free space on /tmp= 62564 MiB

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

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

MD5SUM BENCH= d25f6086317f033c233c4700493f03d1
RANDOM SEED=455696236

node051.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.255
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.51
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.255
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1808648 kB
Buffers:         51348 kB
Cached:         101704 kB
SwapCached:       1380 kB
Active:          81908 kB
Inactive:       104096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1808648 kB
SwapTotal:     4192956 kB
SwapFree:      4164932 kB
Dirty:            3240 kB
Writeback:           0 kB
AnonPages:       31492 kB
Mapped:          14900 kB
Slab:            42644 kB
PageTables:       3964 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181332 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= 62560 MiB
End job on node051 at 2010-06-16 00:40:02