Trace number 1875123

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.35 1800.87

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=139-P1=67-P2=211-P3=127-P4=137-P5=173-P6=89-P7=223-P8=227-P9=79-B.opb
MD5SUM651e385f00e2858954d8683e891a1dbe
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark11.2763
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables216
Total number of constraints19
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints19
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)576
Sum of products size (including duplicates)1152
Number of different products576
Sum of products size1152

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-1875123-1245187276.opb.
0.00/0.00	c Instance file HOME/instance-1875123-1245187276.opb
0.00/0.00	c File size is 43526 bytes.
0.00/0.00	c Highest Coefficient sum: 130560
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      792                                                 |
0.00/0.00	c |  Number Clauses:        584                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 604                                                 |
0.00/0.00	c core #1
0.00/0.00	c Core size: 9	Core Weight: 1	Total Weight: 1
0.00/0.00	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #2
0.00/0.00	c Core size: 8	Core Weight: 1	Total Weight: 2
0.00/0.00	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     721     1203     4835 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       100 |     721     1203     4835 |     5500      100     60 | 10.657 % |
0.00/0.02	c |       250 |     721     1203     4835 |     6050      250     63 | 10.658 % |
0.00/0.03	c |       475 |     721     1203     4835 |     6655      475     64 | 10.657 % |
0.04/0.05	c |       812 |     721     1203     4835 |     7320      812     63 | 10.658 % |
0.04/0.10	c |      1318 |     721     1203     4835 |     8052     1318     62 | 10.657 % |
0.09/0.17	c |      2078 |     721     1203     4835 |     8857     2078     59 | 10.657 % |
0.19/0.25	c |      3217 |     721     1203     4835 |     9743     3217     62 | 10.657 % |
0.39/0.40	c |      4926 |     721     1203     4835 |    10717     4926     62 | 10.657 % |
0.69/0.77	c |      7489 |     721     1203     4835 |    11789     7489     61 | 10.657 % |
1.29/1.39	c |     11334 |     721     1203     4835 |    12968    11334     60 | 10.657 % |
1.89/1.97	c |     17102 |     721     1203     4835 |    14265    10500     61 | 10.658 % |
3.20/3.29	c |     25751 |     721     1203     4835 |    15692    11760     64 | 10.658 % |
4.69/4.70	c |     38726 |     721     1203     4835 |    17261     8519     72 | 10.657 % |
7.59/7.63	c |     58187 |     721     1203     4835 |    18987    10346     68 | 10.657 % |
12.09/12.17	c |     87380 |     721     1203     4835 |    20886    10048     70 | 10.657 % |
17.49/17.53	c |    131169 |     721     1203     4835 |    22974    10960     66 | 10.658 % |
28.18/28.22	c |    196853 |     720     1203     4835 |    25272    13937     59 | 10.781 % |
55.27/55.30	c |    295380 |     720     1203     4835 |    27799    24907     66 | 10.781 % |
96.46/96.56	c |    443170 |     720     1203     4835 |    30579    17740     72 | 10.781 % |
150.44/150.56	c |    664853 |     719     1203     4835 |    33637    22336     81 | 10.905 % |
269.81/269.98	c |    997379 |     718     1203     4835 |    37001    17750     69 | 11.030 % |
480.65/480.84	c |   1496167 |     716     1203     4835 |    40701    28080     71 | 11.276 % |
762.97/763.26	c |   2244349 |     713     1203     4835 |    44771    17130     69 | 11.649 % |
966.01/966.34	c ===============================================================================
976.52/976.85	c core #3
976.52/976.85	c Core size: 1115	Core Weight: 1	Total Weight: 3
976.52/976.85	c Elapsed CPU time: 969.486 s	Remaining CPU time: 830.514 s
978.91/979.29	c Learning 94 hard constraints
978.91/979.29	c ============================[ Search Statistics ]==============================
978.91/979.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
978.91/979.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
978.91/979.29	c ===============================================================================
978.91/979.29	c |         0 |     747     1304     7941 |     5000        0    nan |  0.000 % |
979.21/979.59	c |       100 |     747     1304     7941 |     5500      100     57 |  8.345 % |
979.51/979.80	c |       251 |     747     1304     7941 |     6050      251     57 |  8.345 % |
979.51/979.81	c |       476 |     747     1304     7941 |     6655      476     63 |  8.344 % |
979.51/979.84	c |       813 |     747     1304     7941 |     7320      813     63 |  8.344 % |
979.51/979.89	c |      1320 |     747     1304     7941 |     8052     1320     66 |  8.344 % |
979.61/979.95	c |      2080 |     747     1304     7941 |     8857     2080     65 |  8.345 % |
979.71/980.06	c |      3220 |     747     1304     7941 |     9743     3220     66 |  8.344 % |
980.11/980.41	c |      4928 |     747     1304     7941 |    10717     4928     67 |  8.345 % |
980.41/980.77	c |      7490 |     747     1304     7941 |    11789     7490     66 |  8.344 % |
981.10/981.45	c |     11334 |     747     1304     7941 |    12968    11334     63 |  8.344 % |
981.91/982.26	c |     17101 |     747     1304     7941 |    14265    10512     62 |  8.344 % |
983.50/983.82	c |     25751 |     747     1304     7941 |    15692    11814     66 |  8.345 % |
986.31/986.61	c |     38725 |     747     1304     7941 |    17261     8719     67 |  8.344 % |
990.71/991.08	c |     58187 |     747     1304     7941 |    18987    10636     67 |  8.344 % |
1000.30/1000.63	c |     87381 |     746     1304     7941 |    20886    10436     69 |  8.466 % |
1015.80/1016.16	c |    131170 |     746     1304     7941 |    22974    11766     66 |  8.466 % |
1034.29/1034.68	c |    196854 |     746     1304     7941 |    25272    15510     68 |  8.466 % |
1078.48/1078.82	c |    295380 |     745     1304     7941 |    27799    12447     71 |  8.589 % |
1128.97/1129.34	c |    443172 |     745     1304     7941 |    30579    24172     61 |  8.589 % |
1233.84/1234.28	c |    664856 |     744     1304     7941 |    33637    30909     74 |  8.712 % |
1372.49/1372.98	c |    997381 |     744     1304     7941 |    37001    27887     63 |  8.712 % |
1636.73/1637.24	c |   1496169 |     744     1304     7941 |    40701    22964     66 |  8.712 % |

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-1875123-1245187276/watcher-1875123-1245187276 -o /tmp/evaluation-result-1875123-1245187276/solver-1875123-1245187276 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875123-1245187276.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.05 0.99 0.99 3/64 13453
/proc/meminfo: memFree=1905544/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=2568 CPUtime=0
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 212 0 0 0 0 0 0 0 18 0 1 0 186327939 2629632 196 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 642 196 128 292 0 336 0

[startup+0.054875 s]
/proc/loadavg: 1.05 0.99 0.99 3/64 13453
/proc/meminfo: memFree=1905544/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=3064 CPUtime=0.04
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 367 0 0 0 4 0 0 0 18 0 1 0 186327939 3137536 340 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 766 340 136 292 0 471 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3064

[startup+0.101879 s]
/proc/loadavg: 1.05 0.99 0.99 3/64 13453
/proc/meminfo: memFree=1905544/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=3324 CPUtime=0.09
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 432 0 0 0 9 0 0 0 18 0 1 0 186327939 3403776 405 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 831 406 136 292 0 536 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3324

[startup+0.3019 s]
/proc/loadavg: 1.05 0.99 0.99 3/64 13453
/proc/meminfo: memFree=1905544/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=4500 CPUtime=0.29
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 732 0 0 0 28 1 0 0 19 0 1 0 186327939 4608000 705 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 1125 705 136 292 0 830 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4500

[startup+0.701941 s]
/proc/loadavg: 1.05 0.99 0.99 3/64 13453
/proc/meminfo: memFree=1905544/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=5948 CPUtime=0.69
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 1078 0 0 0 68 1 0 0 22 0 1 0 186327939 6090752 1051 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 1487 1052 136 292 0 1192 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5948

[startup+1.50103 s]
/proc/loadavg: 1.05 0.99 0.99 2/65 13454
/proc/meminfo: memFree=1901056/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=8156 CPUtime=1.49
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 1628 0 0 0 147 2 0 0 25 0 1 0 186327939 8351744 1601 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 2039 1601 136 292 0 1744 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8156

[startup+3.1022 s]
/proc/loadavg: 1.05 0.99 0.99 2/65 13454
/proc/meminfo: memFree=1896704/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=13908 CPUtime=3.09
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 3053 0 0 0 304 5 0 0 25 0 1 0 186327939 14241792 3026 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 3477 3026 136 292 0 3182 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13908

[startup+6.30153 s]
/proc/loadavg: 1.05 0.99 0.99 2/65 13454
/proc/meminfo: memFree=1884224/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=26012 CPUtime=6.29
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 6099 0 0 0 619 10 0 0 25 0 1 0 186327939 26636288 6072 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 6503 6072 136 292 0 6208 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26012

[startup+12.7012 s]
/proc/loadavg: 1.04 0.99 0.99 2/65 13454
/proc/meminfo: memFree=1865152/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=45260 CPUtime=12.68
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 10880 0 0 0 1250 18 0 0 25 0 1 0 186327939 46346240 10853 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 11315 10853 136 292 0 11020 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 45260

[startup+25.5016 s]
/proc/loadavg: 1.03 0.99 0.99 2/65 13454
/proc/meminfo: memFree=1826752/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=81912 CPUtime=25.48
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 20064 0 0 0 2510 38 0 0 25 0 1 0 186327939 83877888 20037 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 20478 20037 136 292 0 20183 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 81912

[startup+51.1012 s]
/proc/loadavg: 1.02 0.99 0.99 2/65 13454
/proc/meminfo: memFree=1776896/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=131680 CPUtime=51.07
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 32493 0 0 0 5041 66 0 0 25 0 1 0 186327939 134840320 32466 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 32920 32466 136 292 0 32625 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 131680

[startup+102.306 s]
/proc/loadavg: 1.01 0.99 0.99 2/65 13454
/proc/meminfo: memFree=1686144/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=221396 CPUtime=102.26
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 54880 0 0 0 10112 114 0 0 25 0 1 0 186327939 226709504 54853 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 55349 54853 136 292 0 55054 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 221396

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=1574208/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=334012 CPUtime=162.23
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 83028 0 0 0 16053 170 0 0 25 0 1 0 186327939 342028288 83001 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 83503 83001 136 292 0 83208 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 334012

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=1477632/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=429840 CPUtime=222.22
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 106956 0 0 0 22001 221 0 0 25 0 1 0 186327939 440156160 106929 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 107460 106929 136 292 0 107165 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 429840

[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=1406528/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=501224 CPUtime=282.2
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 124791 0 0 0 27962 258 0 0 25 0 1 0 186327939 513253376 124764 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 125306 124764 136 292 0 125011 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 501224

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=1324864/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=582244 CPUtime=342.19
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 145038 0 0 0 33916 303 0 0 25 0 1 0 186327939 596217856 145011 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 145561 145011 136 292 0 145266 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 582244

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=1268480/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=638680 CPUtime=402.18
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 159156 0 0 0 39879 339 0 0 25 0 1 0 186327939 654008320 159129 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 159670 159129 136 292 0 159375 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 638680

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=1206720/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=700752 CPUtime=462.15
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 174650 0 0 0 45838 377 0 0 25 0 1 0 186327939 717570048 174623 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 175188 174623 136 292 0 174893 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 700752

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=1105152/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=802704 CPUtime=522.14
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 200132 0 0 0 51778 436 0 0 25 0 1 0 186327939 821968896 200105 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 200676 200105 136 292 0 200381 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 802704

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=1032960/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=873868 CPUtime=582.12
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 217904 0 0 0 57732 480 0 0 25 0 1 0 186327939 894840832 217877 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 218467 217877 136 292 0 218172 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 873868

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=951232/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=955024 CPUtime=642.11
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 238211 0 0 0 63685 526 0 0 25 0 1 0 186327939 977944576 238184 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 238756 238184 136 292 0 238461 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 955024

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=740032/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=1165936 CPUtime=882.04
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 290930 0 0 0 87543 661 0 0 25 0 1 0 186327939 1193918464 290903 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 291484 290903 136 292 0 291189 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 1165936

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=696640/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=1209536 CPUtime=942.01
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 301818 0 0 0 93512 689 0 0 25 0 1 0 186327939 1238564864 301791 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 302384 301791 136 292 0 302089 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 1209536

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=648768/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=1256756 CPUtime=1002
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 313664 0 0 0 99475 725 0 0 25 0 1 0 186327939 1286918144 313592 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 314189 313592 136 292 0 313894 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 1256756

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=648768/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=1256756 CPUtime=1061.98
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 313673 0 0 0 105442 756 0 0 25 0 1 0 186327939 1286918144 313601 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 314189 313601 136 292 0 313894 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 1256756

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=646656/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=1258472 CPUtime=1121.97
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 314238 0 0 0 111407 790 0 0 25 0 1 0 186327939 1288675328 314166 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 314618 314166 136 292 0 314323 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 1258472

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=597440/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=1308596 CPUtime=1181.95
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 326773 0 0 0 117368 827 0 0 25 0 1 0 186327939 1340002304 326701 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 327149 326701 136 292 0 326854 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 1308596

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=546816/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=1358324 CPUtime=1241.93
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 339167 0 0 0 123332 861 0 0 25 0 1 0 186327939 1390923776 339095 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 339581 339095 136 292 0 339286 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1358324

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=495168/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=1409700 CPUtime=1301.92
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 351987 0 0 0 129292 900 0 0 25 0 1 0 186327939 1443532800 351915 1992294400 134512640 135709839 4294956240 18446744073709551615 134573807 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 352425 351915 136 292 0 352130 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1409700

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=463488/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=1441484 CPUtime=1361.9
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 359944 0 0 0 135258 932 0 0 25 0 1 0 186327939 1476079616 359872 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 360371 359872 136 292 0 360076 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1441484

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=423040/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=1481756 CPUtime=1421.88
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 369989 0 0 0 141220 968 0 0 25 0 1 0 186327939 1517318144 369917 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 370439 369917 136 292 0 370144 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1481756

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=390784/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=1514216 CPUtime=1481.86
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 378095 0 0 0 147190 996 0 0 25 0 1 0 186327939 1550557184 378023 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 378554 378023 136 292 0 378259 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1514216

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=360640/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=1544152 CPUtime=1541.85
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 385567 0 0 0 153158 1027 0 0 25 0 1 0 186327939 1581211648 385495 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 386038 385495 136 292 0 385743 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1544152

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=332032/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=1573012 CPUtime=1601.84
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 392785 0 0 0 159130 1054 0 0 25 0 1 0 186327939 1610764288 392713 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 393253 392713 136 292 0 392958 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1573012

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=294656/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=1610432 CPUtime=1661.82
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 402071 0 0 0 165097 1085 0 0 25 0 1 0 186327939 1649082368 401999 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 402608 401999 136 292 0 402313 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1610432

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=253120/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=1651904 CPUtime=1721.8
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 412456 0 0 0 171061 1119 0 0 25 0 1 0 186327939 1691549696 412384 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 412976 412384 136 292 0 412681 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1651904

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=220032/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=1684796 CPUtime=1781.78
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 420652 0 0 0 177031 1147 0 0 25 0 1 0 186327939 1725231104 420580 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 421199 420580 136 292 0 420904 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1684796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=208832/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=1695656 CPUtime=1800.08
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4194304 423388 0 0 0 178853 1155 0 0 25 0 1 0 186327939 1736351744 423316 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 423914 423316 136 292 0 423619 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1695656

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 13454
/proc/meminfo: memFree=208832/2055920 swapFree=4181836/4192956
[pid=13453] ppid=13451 vsize=0 CPUtime=1800.28
/proc/13453/stat : 13453 (wbo) R 13451 13453 13126 0 -1 4195332 423388 0 0 0 178853 1175 0 0 25 0 1 0 186327939 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/13453/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.87
CPU time (s): 1800.35
CPU user time (s): 1788.54
CPU system time (s): 11.8162
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 1695656

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

runsolver used 1.42778 second user time and 3.61545 second system time

The end

Launcher Data 

Begin job on node24 at 2009-06-16 23:21:16
IDJOB=1875123
IDBENCH=47963
IDSOLVER=698
FILE ID=node24/1875123-1245187276
PBS_JOBID= 9368291
Free space on /tmp= 66364 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=139-P1=67-P2=211-P3=127-P4=137-P5=173-P6=89-P7=223-P8=227-P9=79-B.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-1875123-1245187276/watcher-1875123-1245187276 -o /tmp/evaluation-result-1875123-1245187276/solver-1875123-1245187276 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875123-1245187276.opb

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

MD5SUM BENCH= 651e385f00e2858954d8683e891a1dbe
RANDOM SEED=2068063584

node24.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.231
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.231
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:       1906024 kB
Buffers:         43012 kB
Cached:          64244 kB
SwapCached:       5284 kB
Active:          55252 kB
Inactive:        59644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1906024 kB
SwapTotal:     4192956 kB
SwapFree:      4181836 kB
Dirty:            2576 kB
Writeback:           0 kB
Mapped:          12860 kB
Slab:            20844 kB
Committed_AS:   193644 kB
PageTables:       1444 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-1875123-1245187276.opb

Free space on /tmp at the end= 66360 MiB
End job on node24 at 2009-06-16 23:51:19