Trace number 2655869

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? (TO) 1800.03 1800.61

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_1.opb
MD5SUMc7543821508efc06c2ce41424051ab2c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables71
Total number of constraints17
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint1
Maximum length of a constraint70
Number of terms in the objective function 1
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 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1884
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5652
Number of bits of the biggest sum of numbers13
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-2655869-1276617786.opb.
0.00/0.00	c Instance file HOME/instance-2655869-1276617786.opb
0.00/0.00	c File size is 9033 bytes.
0.00/0.00	c Highest Coefficient sum: 5652
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      71                                                  |
0.00/0.00	c |  Number Clauses:        1                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 16                                                  |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      70       17     1108 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       100 |      70       17     1108 |     5500      100     44 |  1.429 % |
0.02/0.03	c |       250 |      70       17     1108 |     6050      250     47 |  1.429 % |
0.02/0.05	c |       475 |      70       17     1108 |     6655      475     44 |  1.429 % |
0.02/0.09	c |       812 |      70       17     1108 |     7320      812     43 |  1.429 % |
0.10/0.15	c |      1318 |      70       17     1108 |     8052     1318     42 |  1.429 % |
0.19/0.22	c |      2078 |      70       17     1108 |     8857     2078     40 |  1.429 % |
0.29/0.36	c |      3217 |      70       17     1108 |     9743     3217     39 |  1.429 % |
0.50/0.57	c |      4926 |      70       17     1108 |    10717     4926     40 |  1.429 % |
0.89/0.91	c |      7488 |      70       17     1108 |    11789     7488     39 |  1.429 % |
1.39/1.49	c |     11332 |      70       17     1108 |    12968    11332     39 |  1.429 % |
2.39/2.41	c |     17098 |      70       17     1108 |    14265    10591     38 |  1.429 % |
3.69/3.80	c |     25747 |      70       17     1108 |    15692    12079     37 |  1.429 % |
5.99/6.02	c |     38721 |      70       17     1108 |    17261     9316     36 |  1.429 % |
9.39/9.41	c |     58182 |      70       17     1108 |    18987    11475     36 |  1.429 % |
15.29/15.34	c |     87374 |      70       17     1108 |    20886    12112     37 |  1.429 % |
24.68/24.72	c |    131163 |      70       17     1108 |    22974    14025     36 |  1.429 % |
39.78/39.80	c |    196847 |      70       17     1108 |    25272    18325     37 |  1.429 % |
63.98/64.09	c |    295373 |      70       17     1108 |    27799    15432     37 |  1.429 % |
103.56/103.68	c |    443162 |      70       17     1108 |    30579    10969     37 |  1.429 % |
159.15/159.27	c |    664845 |      70       17     1108 |    33637    17061     35 |  1.429 % |
181.84/181.99	c There are 1 assigned variables. 1 in cost function.
182.34/182.49	c ============================[ Search Statistics ]==============================
182.34/182.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.34/182.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.34/182.49	c ===============================================================================
182.34/182.49	c |         0 |      70       17     1108 |     5000        0    nan |  0.000 % |
182.45/182.60	c |       100 |      70       17     1108 |     5500      100     44 |  1.429 % |
182.55/182.62	c |       250 |      70       17     1108 |     6050      250     47 |  1.429 % |
182.55/182.64	c |       475 |      70       17     1108 |     6655      475     44 |  1.429 % |
182.55/182.68	c |       812 |      70       17     1108 |     7320      812     43 |  1.429 % |
182.64/182.74	c |      1318 |      70       17     1108 |     8052     1318     42 |  1.429 % |
182.74/182.82	c |      2078 |      70       17     1108 |     8857     2078     40 |  1.429 % |
182.85/182.96	c |      3217 |      70       17     1108 |     9743     3217     39 |  1.429 % |
183.05/183.19	c |      4926 |      70       17     1108 |    10717     4926     40 |  1.429 % |
183.44/183.55	c |      7488 |      70       17     1108 |    11789     7488     39 |  1.429 % |
184.05/184.17	c |     11332 |      70       17     1108 |    12968    11332     39 |  1.429 % |
185.04/185.14	c |     17098 |      70       17     1108 |    14265    10591     38 |  1.429 % |
186.44/186.54	c |     25747 |      70       17     1108 |    15692    12079     37 |  1.429 % |
188.64/188.79	c |     38721 |      70       17     1108 |    17261     9316     36 |  1.429 % |
192.14/192.26	c |     58182 |      70       17     1108 |    18987    11475     36 |  1.429 % |
198.34/198.41	c |     87374 |      70       17     1108 |    20886    12112     37 |  1.429 % |
207.74/207.80	c |    131163 |      70       17     1108 |    22974    14025     36 |  1.429 % |
222.63/222.70	c |    196847 |      70       17     1108 |    25272    18325     37 |  1.429 % |
246.83/246.96	c |    295373 |      70       17     1108 |    27799    15432     37 |  1.429 % |
286.62/286.77	c |    443162 |      70       17     1108 |    30579    10969     37 |  1.429 % |
342.41/342.54	c |    664845 |      70       17     1108 |    33637    17061     35 |  1.429 % |
439.48/439.69	c |    997370 |      70       17     1108 |    37001    33692     36 |  1.429 % |
604.23/604.43	c |   1496158 |      70       17     1108 |    40701    15854     38 |  1.429 % |
857.16/857.46	c |   2244340 |      70       17     1108 |    44771    28118     35 |  1.429 % |
1290.86/1291.30	c |   3366614 |      70       17     1108 |    49248    14353     33 |  1.429 % |

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-2655869-1276617786/watcher-2655869-1276617786 -o /tmp/evaluation-result-2655869-1276617786/solver-2655869-1276617786 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655869-1276617786.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/106 10157
/proc/meminfo: memFree=1753212/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=2440 CPUtime=0
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 3071399 2498560 192 1992294400 134512640 135751879 4287460080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 610 192 146 303 0 305 0

[startup+0.0296841 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10157
/proc/meminfo: memFree=1753212/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=2568 CPUtime=0.02
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 292 0 0 0 2 0 0 0 20 0 1 0 3071399 2629632 207 1992294400 134512640 135751879 4287460080 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 642 207 147 303 0 337 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2568

[startup+0.101692 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10157
/proc/meminfo: memFree=1753212/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=2700 CPUtime=0.1
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 332 0 0 0 10 0 0 0 20 0 1 0 3071399 2764800 247 1992294400 134512640 135751879 4287460080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 675 247 147 303 0 370 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2700

[startup+0.301713 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10157
/proc/meminfo: memFree=1753212/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=3096 CPUtime=0.29
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 441 0 0 0 29 0 0 0 20 0 1 0 3071399 3170304 356 1992294400 134512640 135751879 4287460080 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 774 356 147 303 0 469 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3096

[startup+0.701757 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10157
/proc/meminfo: memFree=1753212/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=3892 CPUtime=0.69
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 637 0 0 0 68 1 0 0 21 0 1 0 3071399 3985408 552 1992294400 134512640 135751879 4287460080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 973 552 147 303 0 668 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3892

[startup+1.50184 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10158
/proc/meminfo: memFree=1750972/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=5336 CPUtime=1.49
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 971 0 0 0 147 2 0 0 23 0 1 0 3071399 5464064 886 1992294400 134512640 135751879 4287460080 18446744073709551615 134606345 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 1334 886 147 303 0 1029 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5336

[startup+3.10102 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10158
/proc/meminfo: memFree=1749112/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=7540 CPUtime=3.09
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 1524 0 0 0 305 4 0 0 25 0 1 0 3071399 7720960 1439 1992294400 134512640 135751879 4287460080 18446744073709551615 134602478 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 1885 1439 148 303 0 1580 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7540

[startup+6.30137 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10158
/proc/meminfo: memFree=1744524/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=11856 CPUtime=6.29
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 2622 0 0 0 619 10 0 0 25 0 1 0 3071399 12140544 2537 1992294400 134512640 135751879 4287460080 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 2964 2537 148 303 0 2659 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11856

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10158
/proc/meminfo: memFree=1736340/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=19448 CPUtime=12.69
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 4508 0 0 0 1253 16 0 0 25 0 1 0 3071399 19914752 4423 1992294400 134512640 135751879 4287460080 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 4862 4423 148 303 0 4557 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19448

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10160
/proc/meminfo: memFree=1722824/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=32756 CPUtime=25.49
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 7829 0 0 0 2518 31 0 0 25 0 1 0 3071399 33542144 7744 1992294400 134512640 135751879 4287460080 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 8189 7744 148 303 0 7884 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32756

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10160
/proc/meminfo: memFree=1699512/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=56248 CPUtime=51.08
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 13701 0 0 0 5049 59 0 0 25 0 1 0 3071399 57597952 13616 1992294400 134512640 135751879 4287460080 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 14062 13616 148 303 0 13757 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 56248

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10162
/proc/meminfo: memFree=1655244/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=99908 CPUtime=102.28
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 24560 0 0 0 10117 111 0 0 25 0 1 0 3071399 102305792 24475 1992294400 134512640 135751879 4287460080 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 24977 24475 148 303 0 24672 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 99908

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10162
/proc/meminfo: memFree=1604900/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=150532 CPUtime=162.24
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 37231 0 0 0 16049 175 0 0 25 0 1 0 3071399 154144768 37146 1992294400 134512640 135751879 4287460080 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 37633 37146 148 303 0 37328 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 150532

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10164
/proc/meminfo: memFree=1563112/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=191676 CPUtime=222.24
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 47595 0 0 0 21980 244 0 0 25 0 1 0 3071399 196276224 47477 1992294400 134512640 135751879 4287460080 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 47919 47477 150 303 0 47614 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 191676

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10166
/proc/meminfo: memFree=1522936/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=232132 CPUtime=282.22
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 57662 0 0 0 27917 305 0 0 25 0 1 0 3071399 237703168 57544 1992294400 134512640 135751879 4287460080 18446744073709551615 134602968 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 58033 57544 150 303 0 57728 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 232132

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10168
/proc/meminfo: memFree=1483008/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=271788 CPUtime=342.2
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 67563 0 0 0 33853 367 0 0 25 0 1 0 3071399 278310912 67445 1992294400 134512640 135751879 4287460080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 67947 67445 150 303 0 67642 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 271788

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10170
/proc/meminfo: memFree=1440600/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=314812 CPUtime=402.19
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 78303 0 0 0 39796 423 0 0 25 0 1 0 3071399 322367488 78185 1992294400 134512640 135751879 4287460080 18446744073709551615 134611186 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 78703 78185 150 303 0 78398 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 314812

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10170
/proc/meminfo: memFree=1398316/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=356416 CPUtime=462.17
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 88689 0 0 0 45741 476 0 0 25 0 1 0 3071399 364969984 88571 1992294400 134512640 135751879 4287460080 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 89104 88571 150 303 0 88799 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 356416

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10172
/proc/meminfo: memFree=1358884/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=396180 CPUtime=522.16
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 98619 0 0 0 51688 528 0 0 25 0 1 0 3071399 405688320 98501 1992294400 134512640 135751879 4287460080 18446744073709551615 134616401 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 99045 98501 150 303 0 98740 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 396180

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10174
/proc/meminfo: memFree=1320072/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=434472 CPUtime=582.14
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 108195 0 0 0 57635 579 0 0 25 0 1 0 3071399 444899328 108077 1992294400 134512640 135751879 4287460080 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 108618 108077 150 303 0 108313 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 434472

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10176
/proc/meminfo: memFree=1283864/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=470336 CPUtime=642.13
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 117175 0 0 0 63586 627 0 0 25 0 1 0 3071399 481624064 117057 1992294400 134512640 135751879 4287460080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 117584 117057 150 303 0 117279 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 470336

[startup+702.301 s]

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

/proc/loadavg: 1.00 1.00 1.00 2/107 10190
/proc/meminfo: memFree=974732/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=779136 CPUtime=1181.98
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 194295 0 0 0 117160 1038 0 0 25 0 1 0 3071399 797835264 194177 1992294400 134512640 135751879 4287460080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 194784 194177 150 303 0 194479 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 779136

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10192
/proc/meminfo: memFree=943980/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=809648 CPUtime=1241.96
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 201911 0 0 0 123116 1080 0 0 25 0 1 0 3071399 829079552 201793 1992294400 134512640 135751879 4287460080 18446744073709551615 134611173 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 202412 201793 150 303 0 202107 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 809648

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10194
/proc/meminfo: memFree=908888/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=844136 CPUtime=1301.96
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 210563 0 0 0 129068 1128 0 0 25 0 1 0 3071399 864395264 210445 1992294400 134512640 135751879 4287460080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 211034 210445 150 303 0 210729 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 844136

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10194
/proc/meminfo: memFree=875780/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=877872 CPUtime=1361.93
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 218997 0 0 0 135019 1174 0 0 25 0 1 0 3071399 898940928 218879 1992294400 134512640 135751879 4287460080 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 219468 218879 150 303 0 219163 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 877872

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10196
/proc/meminfo: memFree=842424/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=910740 CPUtime=1421.92
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 227196 0 0 0 140976 1216 0 0 25 0 1 0 3071399 932597760 227078 1992294400 134512640 135751879 4287460080 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 227685 227078 150 303 0 227380 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 910740

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10198
/proc/meminfo: memFree=808200/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=945252 CPUtime=1481.91
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 235818 0 0 0 146925 1266 0 0 25 0 1 0 3071399 967938048 235700 1992294400 134512640 135751879 4287460080 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 236313 235700 150 303 0 236008 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 945252

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10200
/proc/meminfo: memFree=769016/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=983832 CPUtime=1541.89
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 245480 0 0 0 152873 1316 0 0 25 0 1 0 3071399 1007443968 245362 1992294400 134512640 135751879 4287460080 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 245958 245362 150 303 0 245653 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 983832

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10202
/proc/meminfo: memFree=736280/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=1017432 CPUtime=1601.87
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 253878 0 0 0 158822 1365 0 0 25 0 1 0 3071399 1041850368 253760 1992294400 134512640 135751879 4287460080 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 254358 253760 150 303 0 254053 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1017432

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10202
/proc/meminfo: memFree=701932/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=1051056 CPUtime=1661.86
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 262274 0 0 0 164773 1413 0 0 25 0 1 0 3071399 1076281344 262156 1992294400 134512640 135751879 4287460080 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 262764 262156 150 303 0 262459 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1051056

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10204
/proc/meminfo: memFree=669196/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=1083888 CPUtime=1721.84
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 270480 0 0 0 170729 1455 0 0 25 0 1 0 3071399 1109901312 270362 1992294400 134512640 135751879 4287460080 18446744073709551615 134616374 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 270972 270362 150 303 0 270667 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1083888

[startup+1782.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 10209
/proc/meminfo: memFree=632616/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=1119928 CPUtime=1781.83
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 279481 0 0 0 176682 1501 0 0 25 0 1 0 3071399 1146806272 279363 1992294400 134512640 135751879 4287460080 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 279982 279363 150 303 0 279677 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1119928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 10209
/proc/meminfo: memFree=622944/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=1129388 CPUtime=1800.03
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 281847 0 0 0 178487 1516 0 0 25 0 1 0 3071399 1156493312 281729 1992294400 134512640 135751879 4287460080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 282347 281729 150 303 0 282042 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1129388

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

############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (1800.03 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1800.03 s) to the 'lost time'.

[startup+1800.5 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 10209
/proc/meminfo: memFree=622944/2059040 swapFree=4192956/4192956
[pid=10157] ppid=10155 vsize=1129388 CPUtime=1800.03
/proc/10157/stat : 10157 (wbo1.4b) R 10155 10157 10021 0 -1 4202496 281847 0 0 0 178487 1516 0 0 25 0 1 0 3071399 1156493312 281729 1992294400 134512640 135751879 4287460080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10157/statm: 282347 281729 150 303 0 282042 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1129388

[startup+1800.61 s]
/proc/loadavg: 1.03 1.01 1.00 2/108 10210
/proc/meminfo: memFree=1738288/2059040 swapFree=4192956/4192956
[pid=10157] ppid=-1 vsize=0 CPUtime=0
/proc/10157/stat : -- couldn't open stat file --/proc/10157/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############


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

[startup+1800.61 s]
/proc/loadavg: 1.03 1.01 1.00 2/108 10210
/proc/meminfo: memFree=1738288/2059040 swapFree=4192956/4192956
[pid=10157] ppid=-1 vsize=0 CPUtime=0
/proc/10157/stat : -- couldn't open stat file --/proc/10157/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10157 and gives
#  childrusage.ru_utime.tv_sec=1784
#  childrusage.ru_utime.tv_usec=875657
#  childrusage.ru_stime.tv_sec=15
#  childrusage.ru_stime.tv_usec=264679
# CPU time returned by wait4() is 1800.14
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1800.03
#  lost CPU user time (s): 1784.87
#  lost CPU system time (s): 15.16

Real time (s): 1800.61
CPU time (s): 1800.03
CPU user time (s): 1784.87
CPU system time (s): 15.16
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 1129388

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

runsolver used 3.12952 second user time and 8.35573 second system time

The end

Launcher Data 

Begin job on node037 at 2010-06-15 18:03:06
IDJOB=2655869
IDBENCH=2930
IDSOLVER=1161
FILE ID=node037/2655869-1276617786
PBS_JOBID= 11172309
Free space on /tmp= 62584 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_1.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655869-1276617786/watcher-2655869-1276617786 -o /tmp/evaluation-result-2655869-1276617786/solver-2655869-1276617786 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655869-1276617786.opb

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

MD5SUM BENCH= c7543821508efc06c2ce41424051ab2c
RANDOM SEED=1565349597

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1753740 kB
Buffers:         38508 kB
Cached:         131856 kB
SwapCached:          0 kB
Active:         107108 kB
Inactive:       122600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1753740 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2760 kB
Writeback:           0 kB
AnonPages:       59208 kB
Mapped:          15360 kB
Slab:            53856 kB
PageTables:       4020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182116 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= 62580 MiB
End job on node037 at 2010-06-15 18:33:08