Trace number 1875413

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.24 1800.72

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_5.opb
MD5SUMb1b77cfc7c7e45b216596a736ff4b926
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-25
Best CPU time to get the best result obtained on this benchmark1800.41
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12452
Sum of products size (including duplicates)24904
Number of different products6226
Sum of products size12452

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-1875413-1245208844.opb.
0.00/0.00	c Instance file HOME/instance-1875413-1245208844.opb
0.00/0.00	c File size is 532479 bytes.
0.01/0.08	c Highest Coefficient sum: 400
0.01/0.08	c ============================[ Problem Statistics ]=============================
0.01/0.08	c |                                                                             |
0.01/0.08	c |  Parsing time:          0.08         s                                      |
0.01/0.08	c |  Number Variables:      6626                                                |
0.01/0.08	c |  Number Clauses:        6626                                                |
0.01/0.08	c |  Number Cardinality:    402                                                 |
0.01/0.08	c |  Number PB Constraints: 6226                                                |
0.01/0.08	c core #1
0.01/0.08	c Core size: 401	Core Weight: 1	Total Weight: -199
0.01/0.08	c Elapsed CPU time: 0.081987 s	Remaining CPU time: 1799.92 s
0.09/0.10	c ============================[ Search Statistics ]==============================
0.09/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.10	c ===============================================================================
0.09/0.10	c |         0 |    6826    13255    51608 |     5000        0    nan |  0.000 % |
0.09/0.15	c |       102 |    6826    13255    51608 |     5500      102     98 |  1.320 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c core #2
0.09/0.16	c Core size: 403	Core Weight: 1	Total Weight: -198
0.09/0.16	c Elapsed CPU time: 0.161975 s	Remaining CPU time: 1799.84 s
0.09/0.19	c Learning 1 hard constraints
0.09/0.19	c ============================[ Search Statistics ]==============================
0.09/0.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.19	c ===============================================================================
0.09/0.19	c |         0 |    7022    13257    52003 |     5000        0    nan |  0.000 % |
0.19/0.26	c |       100 |    7022    13257    52003 |     5500      100    161 |  0.000 % |
0.29/0.33	c |       256 |    7022    13257    52003 |     6050      256    150 |  0.000 % |
0.39/0.45	c |       481 |    7022    13257    52003 |     6655      481    139 |  0.001 % |
0.59/0.65	c |       818 |    6989    13257    52003 |     7320      772    141 |  0.470 % |
0.89/1.00	c |      1324 |    6928    13257    52003 |     8052     1153    142 |  2.293 % |
1.49/1.50	c |      2083 |    6791    13257    52003 |     8857     1711    148 |  3.661 % |
2.19/2.27	c |      3278 |    6704    13257    52003 |     9743     2845    146 |  7.235 % |
3.49/3.57	c |      4986 |    6137    13257    52003 |    10717     4007    154 | 13.444 % |
5.69/5.71	c |      7548 |    6135    13257    52003 |    11789     6569    149 | 14.284 % |
9.58/9.68	c |     11392 |    4589    13257    52003 |    12968     8108    169 | 39.618 % |
10.28/10.32	c ===============================================================================
10.49/10.58	c core #3
10.49/10.58	c Core size: 730	Core Weight: 1	Total Weight: -197
10.49/10.58	c Elapsed CPU time: 10.4894 s	Remaining CPU time: 1789.51 s
10.59/10.62	c Learning 33 hard constraints
10.59/10.62	c ============================[ Search Statistics ]==============================
10.59/10.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.59/10.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.59/10.62	c ===============================================================================
10.59/10.62	c |         0 |    7222    13291    55848 |     5000        0    nan |  0.000 % |
10.69/10.71	c |       100 |    7222    13291    55848 |     5500      100    239 |  0.000 % |
10.79/10.84	c |       250 |    7222    13291    55848 |     6050      250    169 |  0.000 % |
10.89/10.99	c |       483 |    7222    13291    55848 |     6655      483    172 |  0.000 % |
11.19/11.28	c |       820 |    7222    13291    55848 |     7320      820    165 |  0.000 % |
11.59/11.68	c |      1328 |    7222    13291    55848 |     8052     1328    156 |  0.000 % |
12.48/12.51	c |      2087 |    7222    13291    55848 |     8857     2087    157 |  0.000 % |
13.39/13.40	c |      3237 |    7222    13291    55848 |     9743     3237    163 |  0.000 % |
14.69/14.76	c |      4946 |    7222    13291    55848 |    10717     4946    163 |  0.000 % |
16.98/17.03	c |      7508 |    7222    13291    55848 |    11789     7508    167 |  0.000 % |
20.38/20.44	c |     11352 |    7222    13291    55848 |    12968    11352    173 |  0.000 % |
25.48/25.55	c |     17149 |    7222    13291    55848 |    14265    10308    173 |  0.000 % |
33.27/33.38	c |     25798 |    7222    13291    55848 |    15692    11526    175 |  0.002 % |
46.18/46.20	c |     38773 |    7222    13291    55848 |    17261    16483    167 |  0.004 % |
65.57/65.63	c |     58234 |    7222    13291    55848 |    18987    16734    182 |  0.003 % |
97.46/97.52	c |     87426 |    7189    13291    55848 |    20886    17544    159 |  1.385 % |
146.85/146.96	c |    131231 |    6877    13291    55848 |    22974    19626    167 |  4.777 % |
193.54/193.67	c ===============================================================================
199.23/199.34	c core #4
199.23/199.34	c Core size: 3051	Core Weight: 1	Total Weight: -196
199.23/199.34	c Elapsed CPU time: 198.092 s	Remaining CPU time: 1601.91 s
199.44/199.57	c Learning 1069 hard constraints
199.44/199.57	c ============================[ Search Statistics ]==============================
199.44/199.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.44/199.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.44/199.57	c ===============================================================================
199.44/199.57	c |         0 |    7422    14361   100266 |     5000        0    nan |  0.000 % |
199.63/199.73	c |       100 |    7422    14361   100266 |     5500      100    322 |  0.000 % |
199.83/199.98	c |       250 |    7422    14361   100266 |     6050      250    211 |  0.000 % |
199.93/200.01	c |       475 |    7422    14361   100266 |     6655      475    115 |  0.000 % |
200.33/200.41	c |       812 |    7422    14361   100266 |     7320      812    156 |  0.000 % |
200.93/201.09	c |      1318 |    7422    14361   100266 |     8052     1318    129 |  0.000 % |
201.93/202.09	c |      2079 |    7422    14361   100266 |     8857     2079    157 |  0.000 % |
203.13/203.20	c |      3220 |    7422    14361   100266 |     9743     3220    156 |  0.000 % |
205.13/205.28	c |      4928 |    7422    14361   100266 |    10717     4928    184 |  0.000 % |
208.03/208.19	c |      7516 |    7422    14361   100266 |    11789     7516    203 |  0.000 % |
214.03/214.18	c |     11360 |    7422    14361   100266 |    12968    11360    208 |  0.000 % |
222.32/222.47	c |     17127 |    7422    14361   100266 |    14265    10498    226 |  0.000 % |
235.33/235.47	c |     25778 |    7422    14361   100266 |    15692    10875    252 |  0.000 % |
255.92/256.05	c |     38754 |    7422    14361   100266 |    17261    15236    265 |  0.000 % |
285.81/285.94	c |     58216 |    7422    14361   100266 |    18987    15273    290 |  0.000 % |
332.70/332.82	c |     87408 |    7422    14361   100266 |    20886    13941    232 |  0.000 % |
402.39/402.60	c |    131197 |    7422    14361   100266 |    22974    14069    214 |  0.000 % |
500.85/501.05	c |    196881 |    7422    14361   100266 |    25272    17224    166 |  0.000 % |
648.41/648.69	c |    295407 |    7422    14361   100266 |    27799    16875    135 |  0.001 % |
870.96/871.22	c |    443196 |    7421    14361   100266 |    30579    14479    109 |  0.014 % |
1206.17/1206.52	c |    664880 |    7421    14361   100266 |    33637    27829    153 |  0.013 % |
1737.53/1738.01	c |    997407 |    7215    14361   100266 |    37001    33359    152 |  2.789 % |

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-1875413-1245208844/watcher-1875413-1245208844 -o /tmp/evaluation-result-1875413-1245208844/solver-1875413-1245208844 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875413-1245208844.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.99 0.97 0.99 3/64 11512
/proc/meminfo: memFree=1832160/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=3368 CPUtime=0
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 188481587 3448832 261 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 842 261 126 292 0 417 0

[startup+0.019708 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 11512
/proc/meminfo: memFree=1832160/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=4280 CPUtime=0.01
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 492 0 0 0 1 0 0 0 18 0 1 0 188481587 4382720 476 1992294400 134512640 135709839 4294956240 18446744073709551615 134556885 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 1070 476 144 292 0 645 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4280

[startup+0.102716 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 11512
/proc/meminfo: memFree=1832160/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=6836 CPUtime=0.09
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 1365 0 0 0 9 0 0 0 18 0 1 0 188481587 7000064 1219 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 1709 1219 134 292 0 1414 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6836

[startup+0.302738 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 11512
/proc/meminfo: memFree=1832160/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=7884 CPUtime=0.29
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 1816 0 0 0 29 0 0 0 19 0 1 0 188481587 8073216 1512 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 1971 1512 136 292 0 1676 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7884

[startup+0.702783 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 11512
/proc/meminfo: memFree=1832160/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=8808 CPUtime=0.69
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 2054 0 0 0 68 1 0 0 22 0 1 0 188481587 9019392 1750 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 2202 1750 136 292 0 1907 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8808

[startup+1.50187 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=1824984/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=10788 CPUtime=1.49
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 2524 0 0 0 147 2 0 0 25 0 1 0 188481587 11046912 2220 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 2697 2220 136 292 0 2402 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10788

[startup+3.10105 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=1822232/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=14220 CPUtime=3.09
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 3398 0 0 0 305 4 0 0 25 0 1 0 188481587 14561280 3094 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 3555 3094 136 292 0 3260 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14220

[startup+6.3014 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=1815776/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=19788 CPUtime=6.29
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 4789 0 0 0 623 6 0 0 25 0 1 0 188481587 20262912 4485 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 4947 4485 136 292 0 4652 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19788

[startup+12.7011 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=1807328/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=26824 CPUtime=12.68
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 6541 0 0 0 1259 9 0 0 25 0 1 0 188481587 27467776 6237 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 6706 6237 136 292 0 6411 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 26824

[startup+25.5015 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=1795744/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=38836 CPUtime=25.48
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 9555 0 0 0 2530 18 0 0 25 0 1 0 188481587 39768064 9251 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 9709 9251 136 292 0 9414 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38836

[startup+51.1014 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=1752864/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=82144 CPUtime=51.07
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 20381 0 0 0 5072 35 0 0 25 0 1 0 188481587 84115456 20077 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 20536 20077 136 292 0 20241 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 82144

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=1678112/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=155840 CPUtime=102.26
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 38818 0 0 0 10158 68 0 0 25 0 1 0 188481587 159580160 38514 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 38960 38514 136 292 0 38665 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 155840

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=1591968/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=242852 CPUtime=162.25
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 60574 0 0 0 16122 103 0 0 25 0 1 0 188481587 248680448 60270 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 60713 60270 136 292 0 60418 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 242852

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=1545120/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=288628 CPUtime=222.22
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 71988 0 0 0 22094 128 0 0 25 0 1 0 188481587 295555072 71684 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 72157 71684 136 292 0 71862 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 288628

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=1544992/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=288628 CPUtime=282.21
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 72012 0 0 0 28076 145 0 0 25 0 1 0 188481587 295555072 71708 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 72157 71708 136 292 0 71862 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 288628

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=1507424/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=326548 CPUtime=342.2
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 81494 0 0 0 34051 169 0 0 25 0 1 0 188481587 334385152 81190 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 81637 81190 136 292 0 81342 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 326548

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=1454432/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=379628 CPUtime=402.18
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 94760 0 0 0 40021 197 0 0 25 0 1 0 188481587 388739072 94456 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 94907 94456 136 292 0 94612 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 379628

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=1391904/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=441684 CPUtime=462.16
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 110267 0 0 0 45987 229 0 0 25 0 1 0 188481587 452284416 109963 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 110421 109963 136 292 0 110126 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 441684

[startup+522.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=1341728/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=492428 CPUtime=522.15
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 122945 0 0 0 51963 252 0 0 25 0 1 0 188481587 504246272 122641 1992294400 134512640 135709839 4294956240 18446744073709551615 134573869 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 123107 122641 136 292 0 122812 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 492428

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=1289312/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=544212 CPUtime=582.13
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 135891 0 0 0 57932 281 0 0 25 0 1 0 188481587 557273088 135587 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 136053 135587 136 292 0 135758 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 544212

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=1246048/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=587068 CPUtime=642.12
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 146584 0 0 0 63906 306 0 0 25 0 1 0 188481587 601157632 146280 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 146767 146280 136 292 0 146472 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 587068

[startup+702.303 s]

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

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=1018144/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=814668 CPUtime=942.04
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 203495 0 0 0 93770 434 0 0 25 0 1 0 188481587 834220032 203191 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 203667 203191 136 292 0 203372 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 814668

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=975200/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=857448 CPUtime=1002.02
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 214169 0 0 0 99742 460 0 0 25 0 1 0 188481587 878026752 213865 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 214362 213865 136 292 0 214067 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 857448

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=932128/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=901160 CPUtime=1062.01
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 225096 0 0 0 105716 485 0 0 25 0 1 0 188481587 922787840 224792 1992294400 134512640 135709839 4294956240 18446744073709551615 134572758 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 225290 224792 136 292 0 224995 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 901160

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=867808/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=964784 CPUtime=1121.99
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 240988 0 0 0 111685 514 0 0 25 0 1 0 188481587 987938816 240684 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 241196 240684 136 292 0 240901 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 964784

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=812960/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=1020104 CPUtime=1181.98
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 254830 0 0 0 117658 540 0 0 25 0 1 0 188481587 1044586496 254526 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 255026 254526 136 292 0 254731 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1020104

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=774880/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=1057384 CPUtime=1241.96
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 264148 0 0 0 123633 563 0 0 25 0 1 0 188481587 1082761216 263844 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 264346 263844 136 292 0 264051 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1057384

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=741344/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=1090616 CPUtime=1301.94
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 272457 0 0 0 129608 586 0 0 25 0 1 0 188481587 1116790784 272153 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 272654 272153 136 292 0 272359 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1090616

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=692000/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=1140280 CPUtime=1361.92
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 284870 0 0 0 135577 615 0 0 25 0 1 0 188481587 1167646720 284566 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 285070 284566 136 292 0 284775 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1140280

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=654880/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=1176996 CPUtime=1421.91
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 294046 0 0 0 141553 638 0 0 25 0 1 0 188481587 1205243904 293742 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 294249 293742 136 292 0 293954 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1176996

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=616992/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=1215172 CPUtime=1481.89
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 303586 0 0 0 147530 659 0 0 25 0 1 0 188481587 1244336128 303282 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 303793 303282 136 292 0 303498 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1215172

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=581728/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=1250064 CPUtime=1541.88
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 312303 0 0 0 153503 685 0 0 25 0 1 0 188481587 1280065536 311999 1992294400 134512640 135709839 4294956240 18446744073709551615 134574202 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 312516 311999 136 292 0 312221 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1250064

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=547040/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=1284972 CPUtime=1601.86
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 321037 0 0 0 159482 704 0 0 25 0 1 0 188481587 1315811328 320733 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 321243 320733 136 292 0 320948 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1284972

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=516704/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=1314968 CPUtime=1661.84
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 328529 0 0 0 165462 722 0 0 25 0 1 0 188481587 1346527232 328225 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 328742 328225 136 292 0 328447 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1314968

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=483104/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=1348776 CPUtime=1721.83
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 336983 0 0 0 171439 744 0 0 25 0 1 0 188481587 1381146624 336679 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 337194 336679 136 292 0 336899 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1348776

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=438688/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=1393012 CPUtime=1781.81
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 348032 0 0 0 177410 771 0 0 25 0 1 0 188481587 1426444288 347728 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 348253 347728 136 292 0 347958 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1393012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11513
/proc/meminfo: memFree=424608/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=1406740 CPUtime=1800.01
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4194304 351477 0 0 0 179222 779 0 0 25 0 1 0 188481587 1440501760 351173 1992294400 134512640 135709839 4294956240 18446744073709551615 134572758 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 351685 351173 136 292 0 351390 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1406740

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

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

[startup+1800.61 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 11514
/proc/meminfo: memFree=1056280/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=0 CPUtime=1800.12
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4195332 351477 0 0 0 179222 790 0 0 25 0 1 0 188481587 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 11514
/proc/meminfo: memFree=1056280/2055920 swapFree=4191900/4192956
[pid=11512] ppid=11510 vsize=0 CPUtime=1800.21
/proc/11512/stat : 11512 (wbo) R 11510 11512 11394 0 -1 4195332 351477 0 0 0 179222 799 0 0 25 0 1 0 188481587 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/11512/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.72
CPU time (s): 1800.24
CPU user time (s): 1792.23
CPU system time (s): 8.01378
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 1406740

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

runsolver used 1.50877 second user time and 3.49247 second system time

The end

Launcher Data 

Begin job on node38 at 2009-06-17 05:20:44
IDJOB=1875413
IDBENCH=48253
IDSOLVER=698
FILE ID=node38/1875413-1245208844
PBS_JOBID= 9368385
Free space on /tmp= 66236 MiB

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

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

MD5SUM BENCH= b1b77cfc7c7e45b216596a736ff4b926
RANDOM SEED=1107141141

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
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:       1833024 kB
Buffers:         47028 kB
Cached:          92724 kB
SwapCached:        260 kB
Active:          54128 kB
Inactive:        98884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1833024 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2536 kB
Writeback:           0 kB
Mapped:          22460 kB
Slab:            55852 kB
Committed_AS:   171784 kB
PageTables:       1456 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-1875413-1245208844.opb

Free space on /tmp at the end= 66236 MiB
End job on node38 at 2009-06-17 05:50:47