Trace number 1875435

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? (TO) 1800.32 1800.94

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_3.opb
MD5SUM9fd52bec996ed780d55ecea52b6ce11a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-59
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -85
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31444
Sum of products size (including duplicates)62888
Number of different products15722
Sum of products size31444

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-1875435-1245211623.opb.
0.00/0.00	c Instance file HOME/instance-1875435-1245211623.opb
0.00/0.00	c File size is 1388290 bytes.
0.19/0.21	c Highest Coefficient sum: 1000
0.19/0.21	c ============================[ Problem Statistics ]=============================
0.19/0.21	c |                                                                             |
0.19/0.21	c |  Parsing time:          0.21         s                                      |
0.19/0.21	c |  Number Variables:      16722                                               |
0.19/0.21	c |  Number Clauses:        16722                                               |
0.19/0.21	c |  Number Cardinality:    1002                                                |
0.19/0.21	c |  Number PB Constraints: 15722                                               |
0.19/0.22	c core #1
0.19/0.22	c Core size: 1001	Core Weight: 1	Total Weight: -499
0.19/0.22	c Elapsed CPU time: 0.213967 s	Remaining CPU time: 1799.79 s
0.19/0.28	c ============================[ Search Statistics ]==============================
0.19/0.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.28	c ===============================================================================
0.19/0.28	c |         0 |   17222    33447   130276 |    11149        0    nan |  0.000 % |
0.59/0.64	c |       100 |   17222    33447   130276 |    12263      100    246 |  0.476 % |
0.89/0.95	c |       250 |   17217    33447   130276 |    13490      250    300 |  0.639 % |
1.59/1.69	c |       475 |   17104    33447   130276 |    14839      472    220 |  1.649 % |
2.59/2.61	c |       813 |   16928    33447   130276 |    16323      802    167 |  2.829 % |
2.59/2.67	c ===============================================================================
2.59/2.69	c core #2
2.59/2.69	c Core size: 1395	Core Weight: 1	Total Weight: -498
2.59/2.69	c Elapsed CPU time: 2.66959 s	Remaining CPU time: 1797.33 s
2.69/2.77	c Learning 173 hard constraints
2.69/2.77	c ============================[ Search Statistics ]==============================
2.69/2.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.69/2.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.69/2.77	c ===============================================================================
2.69/2.77	c |         0 |   17623    33621   131597 |    11207        0    nan |  0.000 % |
3.09/3.16	c |       100 |   17623    33621   131597 |    12327      100    360 |  0.000 % |
3.59/3.61	c |       250 |   17623    33621   131597 |    13560      250    309 |  0.000 % |
3.98/4.05	c |       475 |   17623    33621   131597 |    14916      475    334 |  0.000 % |
4.89/4.96	c |       812 |   17623    33621   131597 |    16408      812    337 |  0.000 % |
6.29/6.35	c |      1318 |   17623    33621   131597 |    18048     1318    336 |  0.000 % |
8.69/8.73	c |      2077 |   17623    33621   131597 |    19853     2077    333 |  0.000 % |
13.28/13.32	c |      3426 |   17594    33621   131597 |    21839     3397    345 |  0.165 % |
19.49/19.53	c |      5137 |   17594    33621   131597 |    24023     5108    348 |  0.165 % |
28.59/28.62	c |      7699 |   17553    33621   131597 |    26425     7663    356 |  1.566 % |
42.37/42.45	c |     11543 |   16880    33621   131597 |    29068    10356    382 |  5.334 % |
63.17/63.20	c |     17309 |   16355    33621   131597 |    31974    15481    402 | 15.934 % |
93.96/94.03	c |     25958 |   12545    33621   131597 |    35172    20649    442 | 37.803 % |
131.54/131.61	c ===============================================================================
133.34/133.41	c core #3
133.34/133.41	c Core size: 3423	Core Weight: 1	Total Weight: -497
133.34/133.41	c Elapsed CPU time: 132.896 s	Remaining CPU time: 1667.1 s
133.44/133.54	c Learning 106 hard constraints
133.44/133.54	c ============================[ Search Statistics ]==============================
133.44/133.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
133.44/133.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
133.44/133.54	c ===============================================================================
133.44/133.54	c |         0 |   18122    33728   143837 |    11242        0    nan |  0.000 % |
134.14/134.21	c |       100 |   18122    33728   143837 |    12366      100    569 |  0.000 % |
134.24/134.40	c |       250 |   18122    33728   143837 |    13603      250    478 |  0.000 % |
135.54/135.61	c |       475 |   18122    33728   143837 |    14963      475    458 |  0.000 % |
136.85/136.95	c |       812 |   18122    33728   143837 |    16460      812    450 |  0.000 % |
139.24/139.31	c |      1318 |   18122    33728   143837 |    18106     1318    425 |  0.000 % |
142.04/142.18	c |      2077 |   18122    33728   143837 |    19917     2077    424 |  0.000 % |
147.04/147.17	c |      3216 |   18122    33728   143837 |    21908     3216    420 |  0.000 % |
153.43/153.56	c |      4924 |   18122    33728   143837 |    24099     4924    425 |  0.000 % |
162.74/162.87	c |      7486 |   18122    33728   143837 |    26509     7486    443 |  0.000 % |
180.33/180.48	c |     11330 |   18122    33728   143837 |    29160    11330    475 |  0.000 % |
201.32/201.46	c |     17096 |   18122    33728   143837 |    32076    17096    500 |  0.000 % |
235.71/235.84	c |     25747 |   18122    33728   143837 |    35284    25747    531 |  0.000 % |
296.99/297.12	c |     38721 |   18122    33728   143837 |    38812    38721    545 |  0.000 % |
389.86/390.00	c |     58182 |   18122    33728   143837 |    42694    31573    568 |  0.000 % |
558.00/558.27	c |     87374 |   18122    33728   143837 |    46963    29308    579 |  0.000 % |
800.31/800.62	c |    131173 |   18122    33728   143837 |    51659    32580    640 |  0.000 % |
1151.19/1151.69	c |    196962 |   18121    33728   143837 |    56825    16523    688 |  0.006 % |
1704.70/1705.33	c |    295488 |   18121    33728   143837 |    62508    23115    659 |  0.006 % |

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-1875435-1245211623/watcher-1875435-1245211623 -o /tmp/evaluation-result-1875435-1245211623/solver-1875435-1245211623 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875435-1245211623.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/64 6104
/proc/meminfo: memFree=1781888/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=4216 CPUtime=0
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 267 0 0 0 0 0 0 0 18 0 1 0 188763303 4317184 251 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 1054 259 125 292 0 420 0

[startup+0.077635 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6104
/proc/meminfo: memFree=1781888/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=7376 CPUtime=0.07
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 1085 0 0 0 7 0 0 0 18 0 1 0 188763303 7553024 1069 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 1844 1069 211 292 0 1210 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7376

[startup+0.101638 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6104
/proc/meminfo: memFree=1781888/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=7640 CPUtime=0.09
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 1207 0 0 0 9 0 0 0 18 0 1 0 188763303 7823360 1191 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 1910 1191 253 292 0 1276 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7640

[startup+0.301677 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6104
/proc/meminfo: memFree=1781888/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=12944 CPUtime=0.29
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 3357 0 0 0 28 1 0 0 19 0 1 0 188763303 13254656 2707 1992294400 134512640 135709839 4294956240 18446744073709551615 134518157 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 3236 2707 135 292 0 2941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12944

[startup+0.701754 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6104
/proc/meminfo: memFree=1781888/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=13100 CPUtime=0.69
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 3382 0 0 0 68 1 0 0 22 0 1 0 188763303 13414400 2732 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 3275 2732 136 292 0 2980 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13100

[startup+1.50291 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=1771000/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=14024 CPUtime=1.49
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 3620 0 0 0 148 1 0 0 25 0 1 0 188763303 14360576 2970 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 3506 2970 136 292 0 3211 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14024

[startup+3.10121 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=1769848/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=17952 CPUtime=3.09
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 4917 0 0 0 306 3 0 0 25 0 1 0 188763303 18382848 3998 1992294400 134512640 135709839 4294956240 18446744073709551615 134572299 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 4488 3998 136 292 0 4193 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17952

[startup+6.30183 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=1765624/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=19804 CPUtime=6.29
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 5372 0 0 0 625 4 0 0 25 0 1 0 188763303 20279296 4453 1992294400 134512640 135709839 4294956240 18446744073709551615 134518593 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 4951 4453 136 292 0 4656 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19804

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=1757688/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=26936 CPUtime=12.68
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 7159 0 0 0 1262 6 0 0 25 0 1 0 188763303 27582464 6240 1992294400 134512640 135709839 4294956240 18446744073709551615 134518518 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 6734 6240 136 292 0 6439 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 26936

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=1743608/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=40680 CPUtime=25.48
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 10578 0 0 0 2537 11 0 0 25 0 1 0 188763303 41656320 9659 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 10170 9659 136 292 0 9875 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40680

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=1716472/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=68044 CPUtime=51.07
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 17433 0 0 0 5086 21 0 0 25 0 1 0 188763303 69677056 16514 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 17011 16514 136 292 0 16716 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 68044

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=1664376/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=119652 CPUtime=102.26
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 30338 0 0 0 10187 39 0 0 25 0 1 0 188763303 122523648 29419 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 29913 29419 136 292 0 29618 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 119652

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=1633592/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=150472 CPUtime=162.24
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 37979 0 0 0 16168 56 0 0 25 0 1 0 188763303 154083328 37060 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 37618 37060 136 292 0 37323 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 150472

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=1633464/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=150472 CPUtime=222.22
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 38007 0 0 0 22157 65 0 0 25 0 1 0 188763303 154083328 37088 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 37618 37088 136 292 0 37323 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 150472

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=1601656/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=182728 CPUtime=282.19
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 46075 0 0 0 28142 77 0 0 25 0 1 0 188763303 187113472 45156 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 45682 45156 136 292 0 45387 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 182728

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=1547256/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=236688 CPUtime=342.17
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 59582 0 0 0 34124 93 0 0 25 0 1 0 188763303 242368512 58663 1992294400 134512640 135709839 4294956240 18446744073709551615 134577792 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 59172 58663 136 292 0 58877 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 236688

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=1487800/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=296304 CPUtime=402.15
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 74471 0 0 0 40108 107 0 0 25 0 1 0 188763303 303415296 73552 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 74076 73552 136 292 0 73781 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 296304

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=1439096/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=344760 CPUtime=462.13
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 86559 0 0 0 46090 123 0 0 25 0 1 0 188763303 353034240 85640 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 86190 85640 136 292 0 85895 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 344760

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=1391736/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=392472 CPUtime=522.11
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 98517 0 0 0 52076 135 0 0 25 0 1 0 188763303 401891328 97598 1992294400 134512640 135709839 4294956240 18446744073709551615 134577726 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 98118 97598 136 292 0 97823 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 392472

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=1340600/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=443256 CPUtime=582.09
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 111190 0 0 0 58060 149 0 0 25 0 1 0 188763303 453894144 110271 1992294400 134512640 135709839 4294956240 18446744073709551615 134518605 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 110814 110271 136 292 0 110519 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 443256

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=1289976/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=493296 CPUtime=642.07
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 123685 0 0 0 64046 161 0 0 25 0 1 0 188763303 505135104 122766 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 123324 122766 136 292 0 123029 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 493296

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=1027704/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=756348 CPUtime=941.97
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 189420 0 0 0 93961 236 0 0 25 0 1 0 188763303 774500352 188501 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 189087 188501 136 292 0 188792 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 756348

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=969016/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=813960 CPUtime=1001.95
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 203820 0 0 0 99946 249 0 0 25 0 1 0 188763303 833495040 202901 1992294400 134512640 135709839 4294956240 18446744073709551615 134577720 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 203490 202901 136 292 0 203195 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 813960

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=925944/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=857600 CPUtime=1061.92
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 214705 0 0 0 105929 263 0 0 25 0 1 0 188763303 878182400 213786 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 214400 213786 136 292 0 214105 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 857600

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=878008/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=904892 CPUtime=1121.9
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 226536 0 0 0 111914 276 0 0 25 0 1 0 188763303 926609408 225617 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 226223 225617 136 292 0 225928 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 904892

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=828984/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=954584 CPUtime=1181.88
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 238942 0 0 0 117896 292 0 0 25 0 1 0 188763303 977494016 238023 1992294400 134512640 135709839 4294956240 18446744073709551615 134577667 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 238646 238023 136 292 0 238351 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 954584

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=787960/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=994896 CPUtime=1241.86
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 249042 0 0 0 123883 303 0 0 25 0 1 0 188763303 1018773504 248123 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 248724 248123 136 292 0 248429 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 994896

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=735672/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=1046576 CPUtime=1301.84
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 261955 0 0 0 129867 317 0 0 25 0 1 0 188763303 1071693824 261036 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 261644 261036 136 292 0 261349 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1046576

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=683768/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=1099040 CPUtime=1361.82
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 275056 0 0 0 135853 329 0 0 25 0 1 0 188763303 1125416960 274137 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 274760 274137 136 292 0 274465 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1099040

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=635576/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=1146672 CPUtime=1421.81
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 286951 0 0 0 141840 341 0 0 25 0 1 0 188763303 1174192128 286032 1992294400 134512640 135709839 4294956240 18446744073709551615 134577700 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 286668 286032 136 292 0 286373 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1146672

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=582264/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=1200496 CPUtime=1481.78
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 300399 0 0 0 147823 355 0 0 25 0 1 0 188763303 1229307904 299480 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 300124 299480 136 292 0 299829 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1200496

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=534200/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=1247816 CPUtime=1541.76
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 312236 0 0 0 153808 368 0 0 25 0 1 0 188763303 1277763584 311317 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 311954 311317 136 292 0 311659 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1247816

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=486136/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=1296204 CPUtime=1601.74
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 324307 0 0 0 159791 383 0 0 25 0 1 0 188763303 1327312896 323388 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 324051 323388 136 292 0 323756 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1296204

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=432120/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=1349844 CPUtime=1661.71
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 337726 0 0 0 165773 398 0 0 25 0 1 0 188763303 1382240256 336807 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 337461 336807 136 292 0 337166 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1349844

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=370936/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=1410920 CPUtime=1721.69
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 352993 0 0 0 171757 412 0 0 25 0 1 0 188763303 1444782080 352074 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 352730 352074 136 292 0 352435 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 1410920

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=319608/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=1462196 CPUtime=1781.67
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 365802 0 0 0 177744 423 0 0 25 0 1 0 188763303 1497288704 364883 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 365549 364883 136 292 0 365254 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1462196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=303416/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=1477940 CPUtime=1800.08
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4194304 369761 0 0 0 179581 427 0 0 25 0 1 0 188763303 1513410560 368842 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 369485 368842 136 292 0 369190 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1477940

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=303416/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=0 CPUtime=1800.18
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4195332 369761 0 0 0 179581 437 0 0 25 0 1 0 188763303 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6105
/proc/meminfo: memFree=303416/2055920 swapFree=4183064/4192956
[pid=6104] ppid=6102 vsize=0 CPUtime=1800.27
/proc/6104/stat : 6104 (wbo) R 6102 6104 5913 0 -1 4195332 369761 0 0 0 179581 446 0 0 25 0 1 0 188763303 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/6104/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.94
CPU time (s): 1800.32
CPU user time (s): 1795.81
CPU system time (s): 4.50231
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 1477940

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

runsolver used 1.35179 second user time and 3.87241 second system time

The end

Launcher Data 

Begin job on node5 at 2009-06-17 06:07:03
IDJOB=1875435
IDBENCH=48275
IDSOLVER=698
FILE ID=node5/1875435-1245211623
PBS_JOBID= 9368366
Free space on /tmp= 66256 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_3.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-1875435-1245211623/watcher-1875435-1245211623 -o /tmp/evaluation-result-1875435-1245211623/solver-1875435-1245211623 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875435-1245211623.opb

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

MD5SUM BENCH= 9fd52bec996ed780d55ecea52b6ce11a
RANDOM SEED=1765202846

node5.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.259
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	: 5931.00
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.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1783328 kB
Buffers:         57528 kB
Cached:         122592 kB
SwapCached:       3684 kB
Active:          59700 kB
Inactive:       128264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1783328 kB
SwapTotal:     4192956 kB
SwapFree:      4183064 kB
Dirty:            2872 kB
Writeback:           0 kB
Mapped:          14600 kB
Slab:            70628 kB
Committed_AS:   158584 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875435-1245211623.opb

Free space on /tmp at the end= 66256 MiB
End job on node5 at 2009-06-17 06:37:07