Trace number 1875401

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.33 1801.06

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_2.opb
MD5SUMc154cb0964ce03c2d199339cf62d0c63
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-28
Best CPU time to get the best result obtained on this benchmark1800.11
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 variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2520
Sum of products size (including duplicates)5040
Number of different products1260
Sum of products size2520

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-1875401-1245207345.opb.
0.00/0.00	c Instance file HOME/instance-1875401-1245207345.opb
0.00/0.00	c File size is 107624 bytes.
0.00/0.01	c Highest Coefficient sum: 200
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      1460                                                |
0.00/0.01	c |  Number Clauses:        1460                                                |
0.00/0.01	c |  Number Cardinality:    202                                                 |
0.00/0.01	c |  Number PB Constraints: 1260                                                |
0.00/0.01	c core #1
0.00/0.01	c Core size: 201	Core Weight: 1	Total Weight: -99
0.00/0.01	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 1799.99 s
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1560     2923    10980 |     5000        0    nan |  0.000 % |
0.00/0.03	c |       100 |    1526     2923    10980 |     5500       98     39 |  4.490 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c core #2
0.00/0.04	c Core size: 255	Core Weight: 1	Total Weight: -98
0.00/0.04	c Elapsed CPU time: 0.045993 s	Remaining CPU time: 1799.95 s
0.00/0.05	c Learning 23 hard constraints
0.00/0.05	c ============================[ Search Statistics ]==============================
0.00/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |    1636     2947    11200 |     5000        0    nan |  0.000 % |
0.00/0.06	c |       100 |    1636     2947    11200 |     5500      100     64 |  0.061 % |
0.07/0.09	c |       251 |    1622     2947    11200 |     6050      210     63 |  0.856 % |
0.10/0.13	c |       490 |    1607     2947    11200 |     6655      377     75 |  2.628 % |
0.10/0.19	c |       827 |    1576     2947    11200 |     7320      662     73 |  4.341 % |
0.29/0.30	c |      1333 |    1482     2947    11200 |     8052      910     78 | 15.159 % |
0.39/0.45	c |      2092 |    1302     2947    11200 |     8857     1443     75 | 23.411 % |
0.49/0.56	c ===============================================================================
0.49/0.58	c core #3
0.49/0.58	c Core size: 373	Core Weight: 1	Total Weight: -97
0.49/0.58	c Elapsed CPU time: 0.567913 s	Remaining CPU time: 1799.43 s
0.49/0.58	c Learning 31 hard constraints
0.49/0.58	c ============================[ Search Statistics ]==============================
0.49/0.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.58	c ===============================================================================
0.49/0.58	c |         0 |    1736     2979    12460 |     5000        0    nan |  0.000 % |
0.59/0.60	c |       101 |    1736     2979    12460 |     5500      101    131 |  0.001 % |
0.59/0.64	c |       274 |    1736     2979    12460 |     6050      274     80 |  0.000 % |
0.59/0.68	c |       501 |    1736     2979    12460 |     6655      501     72 |  0.000 % |
0.69/0.75	c |       839 |    1736     2979    12460 |     7320      839     69 |  0.000 % |
0.79/0.86	c |      1345 |    1736     2979    12460 |     8052     1345     75 |  0.001 % |
0.99/1.04	c |      2104 |    1736     2979    12460 |     8857     2104     71 |  0.000 % |
1.29/1.31	c |      3243 |    1736     2979    12460 |     9743     3243     74 |  0.002 % |
1.69/1.77	c |      4952 |    1736     2979    12460 |    10717     4952     74 |  0.000 % |
2.49/2.59	c |      7527 |    1736     2979    12460 |    11789     7527     72 |  0.001 % |
3.79/3.88	c |     11371 |    1736     2979    12460 |    12968    11371     71 |  0.001 % |
5.69/5.71	c |     17138 |    1719     2979    12460 |    14265     7192     66 |  0.981 % |
8.49/8.56	c |     25791 |    1692     2979    12460 |    15692    13117     72 |  2.535 % |
12.28/12.38	c |     38765 |    1616     2979    12460 |    17261    14638     66 | 21.601 % |
13.58/13.67	c ===============================================================================
14.38/14.40	c core #4
14.38/14.40	c Core size: 1199	Core Weight: 1	Total Weight: -96
14.38/14.40	c Elapsed CPU time: 14.2668 s	Remaining CPU time: 1785.73 s
14.38/14.45	c Learning 362 hard constraints
14.38/14.45	c ============================[ Search Statistics ]==============================
14.38/14.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
14.38/14.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
14.38/14.45	c ===============================================================================
14.38/14.45	c |         0 |    1836     3342    28081 |     5000        0    nan |  0.000 % |
14.38/14.49	c |       100 |    1836     3342    28081 |     5500      100    157 |  0.001 % |
14.48/14.54	c |       251 |    1836     3342    28081 |     6050      251     88 |  0.000 % |
14.48/14.59	c |       477 |    1836     3342    28081 |     6655      477     86 |  0.000 % |
14.59/14.67	c |       815 |    1836     3342    28081 |     7320      815     88 |  0.000 % |
14.78/14.85	c |      1321 |    1836     3342    28081 |     8052     1321     91 |  0.000 % |
15.08/15.12	c |      2080 |    1836     3342    28081 |     8857     2080     94 |  0.000 % |
15.48/15.50	c |      3221 |    1836     3342    28081 |     9743     3221     93 |  0.000 % |
15.99/16.08	c |      4929 |    1836     3342    28081 |    10717     4929     94 |  0.000 % |
16.98/17.05	c |      7503 |    1836     3342    28081 |    11789     7503    101 |  0.000 % |
18.48/18.59	c |     11347 |    1836     3342    28081 |    12968    11347    102 |  0.000 % |
20.68/20.73	c |     17115 |    1836     3342    28081 |    14265    10393    111 |  0.001 % |
24.09/24.13	c |     25770 |    1836     3342    28081 |    15692    11547     94 |  0.000 % |
28.78/28.88	c |     38745 |    1836     3342    28081 |    17261    16293     85 |  0.000 % |
36.48/36.60	c |     58206 |    1836     3342    28081 |    18987     9074     80 |  0.000 % |
47.87/47.95	c |     87398 |    1836     3342    28081 |    20886    18840     77 |  0.000 % |
67.87/67.98	c |    131187 |    1836     3342    28081 |    22974    19462     84 |  0.000 % |
99.74/99.87	c |    196871 |    1824     3342    28081 |    25272    15183     79 |  0.654 % |
146.53/146.67	c |    295397 |    1797     3342    28081 |    27799    25105     86 |  2.129 % |
160.03/160.19	c ===============================================================================
167.93/168.03	c core #5
167.93/168.03	c Core size: 1894	Core Weight: 1	Total Weight: -95
167.93/168.03	c Elapsed CPU time: 166.73 s	Remaining CPU time: 1633.27 s
168.33/168.40	c Learning 1850 hard constraints
168.33/168.40	c ============================[ Search Statistics ]==============================
168.33/168.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
168.33/168.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
168.33/168.40	c ===============================================================================
168.33/168.40	c |         0 |    1936     5193   169649 |     5000        0    nan |  0.000 % |
168.33/168.49	c |       100 |    1936     5193   169649 |     5500      100    162 |  0.000 % |
168.43/168.51	c |       251 |    1936     5193   169649 |     6050      251     93 |  0.000 % |
168.43/168.57	c |       476 |    1936     5193   169649 |     6655      476    127 |  0.000 % |
168.52/168.65	c |       813 |    1936     5193   169649 |     7320      813    120 |  0.000 % |
168.52/168.69	c |      1322 |    1936     5193   169649 |     8052     1322     79 |  0.000 % |
168.83/168.96	c |      2094 |    1936     5193   169649 |     8857     2094    108 |  0.000 % |
169.03/169.19	c |      3233 |    1936     5193   169649 |     9743     3233    106 |  0.000 % |
169.72/169.90	c |      4941 |    1936     5193   169649 |    10717     4941     92 |  0.000 % |
171.02/171.14	c |      7503 |    1936     5193   169649 |    11789     7503    100 |  0.000 % |
173.02/173.19	c |     11349 |    1936     5193   169649 |    12968    11349    115 |  0.000 % |
175.53/175.68	c |     17115 |    1936     5193   169649 |    14265    10489    116 |  0.000 % |
179.92/180.01	c |     25765 |    1936     5193   169649 |    15692    11644     91 |  0.000 % |
188.52/188.64	c |     38740 |    1936     5193   169649 |    17261     8684    121 |  0.000 % |
199.01/199.19	c |     58201 |    1936     5193   169649 |    18987     9936    132 |  0.000 % |
217.50/217.68	c |     87395 |    1936     5193   169649 |    20886    19555    141 |  0.000 % |
244.20/244.36	c |    131184 |    1936     5193   169649 |    22974    19988    100 |  0.000 % |
275.18/275.37	c |    196871 |    1936     5193   169649 |    25272    13771     87 |  0.001 % |
329.97/330.17	c |    295397 |    1936     5193   169649 |    27799    21256    106 |  0.000 % |
413.03/413.28	c |    443186 |    1936     5193   169649 |    30579    19156     86 |  0.001 % |
551.27/551.53	c |    664869 |    1936     5193   169649 |    33637    24018    117 |  0.000 % |
764.48/764.88	c |    997395 |    1936     5193   169649 |    37001    28878     90 |  0.000 % |
1132.45/1132.91	c |   1496185 |    1936     5193   169649 |    40701    37313     97 |  0.000 % |
1726.40/1727.18	c |   2244369 |    1936     5193   169649 |    44771    30827     95 |  0.000 % |

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-1875401-1245207345/watcher-1875401-1245207345 -o /tmp/evaluation-result-1875401-1245207345/solver-1875401-1245207345 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875401-1245207345.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 10403
/proc/meminfo: memFree=1858224/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=2772 CPUtime=0
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 250 0 0 0 0 0 0 0 18 0 1 0 188331549 2838528 234 1992294400 134512640 135709839 4294956240 18446744073709551615 134548115 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 693 234 127 292 0 371 0

[startup+0.079543 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10403
/proc/meminfo: memFree=1858224/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=3748 CPUtime=0.07
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 546 0 0 0 7 0 0 0 18 0 1 0 188331549 3837952 503 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 937 503 136 292 0 642 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3748

[startup+0.101545 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10403
/proc/meminfo: memFree=1858224/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=3748 CPUtime=0.1
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 546 0 0 0 10 0 0 0 18 0 1 0 188331549 3837952 503 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 937 503 136 292 0 642 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3748

[startup+0.301565 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10403
/proc/meminfo: memFree=1858224/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=4528 CPUtime=0.29
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 732 0 0 0 29 0 0 0 19 0 1 0 188331549 4636672 689 1992294400 134512640 135709839 4294956240 18446744073709551615 134572299 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 1132 689 136 292 0 837 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4528

[startup+0.701605 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10403
/proc/meminfo: memFree=1858224/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=5840 CPUtime=0.69
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 1062 0 0 0 68 1 0 0 23 0 1 0 188331549 5980160 1019 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 1460 1019 136 292 0 1165 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5840

[startup+1.50169 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10404
/proc/meminfo: memFree=1854696/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=7004 CPUtime=1.49
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 1358 0 0 0 147 2 0 0 25 0 1 0 188331549 7172096 1315 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 1751 1315 136 292 0 1456 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7004

[startup+3.10185 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10404
/proc/meminfo: memFree=1851496/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=11444 CPUtime=3.09
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 2456 0 0 0 306 3 0 0 25 0 1 0 188331549 11718656 2413 1992294400 134512640 135709839 4294956240 18446744073709551615 134573892 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 2861 2413 136 292 0 2566 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11444

[startup+6.30118 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10404
/proc/meminfo: memFree=1843688/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=18896 CPUtime=6.28
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 4331 0 0 0 621 7 0 0 25 0 1 0 188331549 19349504 4288 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 4724 4288 136 292 0 4429 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18896

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10404
/proc/meminfo: memFree=1830064/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=31372 CPUtime=12.69
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 7455 0 0 0 1257 12 0 0 25 0 1 0 188331549 32124928 7412 1992294400 134512640 135709839 4294956240 18446744073709551615 134600539 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 7843 7412 136 292 0 7548 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31372

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10404
/proc/meminfo: memFree=1819568/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=41464 CPUtime=25.48
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 9960 0 0 0 2526 22 0 0 25 0 1 0 188331549 42459136 9917 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 10366 9917 136 292 0 10071 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 41464

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10404
/proc/meminfo: memFree=1782000/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=79336 CPUtime=51.07
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 19433 0 0 0 5064 43 0 0 25 0 1 0 188331549 81240064 19390 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 19834 19390 136 292 0 19539 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 79336

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10404
/proc/meminfo: memFree=1702320/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=157940 CPUtime=102.25
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 39081 0 0 0 10143 82 0 0 25 0 1 0 188331549 161730560 39038 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 39485 39038 136 292 0 39190 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 157940

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10404
/proc/meminfo: memFree=1630384/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=231216 CPUtime=162.22
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 57365 0 0 0 16099 123 0 0 25 0 1 0 188331549 236765184 57322 1992294400 134512640 135709839 4294956240 18446744073709551615 134516532 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 57804 57322 136 292 0 57509 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 231216

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10404
/proc/meminfo: memFree=1617712/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=242336 CPUtime=222.21
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 60207 0 0 0 22064 157 0 0 25 0 1 0 188331549 248152064 60136 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 60584 60136 136 292 0 60289 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 242336

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10404
/proc/meminfo: memFree=1553392/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=307648 CPUtime=282.18
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 76541 0 0 0 28023 195 0 0 25 0 1 0 188331549 315031552 76470 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 76912 76470 136 292 0 76617 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 307648

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10410
/proc/meminfo: memFree=1480176/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=379616 CPUtime=342.16
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 94503 0 0 0 33981 235 0 0 25 0 1 0 188331549 388726784 94432 1992294400 134512640 135709839 4294956240 18446744073709551615 134572842 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 94904 94432 136 292 0 94609 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 379616

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10410
/proc/meminfo: memFree=1413040/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=447220 CPUtime=402.14
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 111414 0 0 0 39942 272 0 0 25 0 1 0 188331549 457953280 111343 1992294400 134512640 135709839 4294956240 18446744073709551615 134574234 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 111805 111343 136 292 0 111510 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 447220

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10410
/proc/meminfo: memFree=1339824/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=519576 CPUtime=462.11
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 129486 0 0 0 45897 314 0 0 25 0 1 0 188331549 532045824 129415 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 129894 129415 136 292 0 129599 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 519576

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10410
/proc/meminfo: memFree=1274160/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=585644 CPUtime=522.09
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 146003 0 0 0 51857 352 0 0 25 0 1 0 188331549 599699456 145932 1992294400 134512640 135709839 4294956240 18446744073709551615 134573892 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 146411 145932 136 292 0 146116 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 585644

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10410
/proc/meminfo: memFree=1203632/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=655804 CPUtime=582.07
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 163519 0 0 0 57818 389 0 0 25 0 1 0 188331549 671543296 163448 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 163951 163448 136 292 0 163656 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 655804

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10410
/proc/meminfo: memFree=1133040/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=725728 CPUtime=642.04
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 181018 0 0 0 63778 426 0 0 25 0 1 0 188331549 743145472 180947 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 181432 180947 136 292 0 181137 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 725728

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10410
/proc/meminfo: memFree=884144/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=974236 CPUtime=881.94
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 243119 0 0 0 87632 562 0 0 25 0 1 0 188331549 997617664 243048 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 243559 243048 136 292 0 243264 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 974236

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10410
/proc/meminfo: memFree=836016/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=1022800 CPUtime=941.93
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 255229 0 0 0 93601 592 0 0 25 0 1 0 188331549 1047347200 255158 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 255700 255158 136 292 0 255405 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 1022800

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10410
/proc/meminfo: memFree=784048/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=1074352 CPUtime=1001.89
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 268136 0 0 0 99568 621 0 0 25 0 1 0 188331549 1100136448 268065 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 268588 268065 136 292 0 268293 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 1074352

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10410
/proc/meminfo: memFree=731120/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=1127468 CPUtime=1061.88
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 281398 0 0 0 105539 649 0 0 25 0 1 0 188331549 1154527232 281327 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 281867 281327 136 292 0 281572 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 1127468

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10410
/proc/meminfo: memFree=678256/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=1179892 CPUtime=1121.85
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 294516 0 0 0 111505 680 0 0 25 0 1 0 188331549 1208209408 294445 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 294973 294445 136 292 0 294678 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 1179892

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10410
/proc/meminfo: memFree=614128/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=1244708 CPUtime=1181.82
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 310679 0 0 0 117465 717 0 0 25 0 1 0 188331549 1274580992 310608 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 311177 310608 136 292 0 310882 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 1244708

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10410
/proc/meminfo: memFree=554480/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=1303688 CPUtime=1241.8
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 325429 0 0 0 123428 752 0 0 25 0 1 0 188331549 1334976512 325358 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 325922 325358 136 292 0 325627 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 1303688

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10410
/proc/meminfo: memFree=498928/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=1358468 CPUtime=1301.78
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 339128 0 0 0 129394 784 0 0 25 0 1 0 188331549 1391071232 339057 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 339617 339057 136 292 0 339322 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 1358468

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10410
/proc/meminfo: memFree=437808/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=1419904 CPUtime=1361.75
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 354474 0 0 0 135359 816 0 0 25 0 1 0 188331549 1453981696 354403 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 354976 354403 136 292 0 354681 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 1419904

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10410
/proc/meminfo: memFree=387248/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=1470096 CPUtime=1421.73
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 367007 0 0 0 141328 845 0 0 25 0 1 0 188331549 1505378304 366936 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 367524 366936 136 292 0 367229 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 1470096

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10410
/proc/meminfo: memFree=341296/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=1516532 CPUtime=1481.7
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 378594 0 0 0 147298 872 0 0 25 0 1 0 188331549 1552928768 378523 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 379133 378523 136 292 0 378838 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 1516532

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10410
/proc/meminfo: memFree=291312/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=1565928 CPUtime=1541.68
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 390955 0 0 0 153267 901 0 0 25 0 1 0 188331549 1603510272 390884 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 391482 390884 136 292 0 391187 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 1565928

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10410
/proc/meminfo: memFree=248624/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=1608884 CPUtime=1601.65
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 401668 0 0 0 159238 927 0 0 25 0 1 0 188331549 1647497216 401597 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 402221 401597 136 292 0 401926 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 1608884

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10410
/proc/meminfo: memFree=207024/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=1650124 CPUtime=1661.63
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 411973 0 0 0 165216 947 0 0 25 0 1 0 188331549 1689726976 411902 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 412531 411902 136 292 0 412236 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 1650124

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10410
/proc/meminfo: memFree=166384/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=1691320 CPUtime=1721.6
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 422267 0 0 0 171190 970 0 0 25 0 1 0 188331549 1731911680 422196 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 422830 422196 136 292 0 422535 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 1691320

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10410
/proc/meminfo: memFree=103664/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=1753260 CPUtime=1781.58
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 437770 0 0 0 177153 1005 0 0 25 0 1 0 188331549 1795338240 437699 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 438315 437699 136 292 0 438020 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 1753260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10410
/proc/meminfo: memFree=83888/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=1772680 CPUtime=1800.07
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 442607 0 0 0 178993 1014 0 0 25 0 1 0 188331549 1815224320 442536 1992294400 134512640 135709839 4294956240 18446744073709551615 134517181 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/statm: 443170 442536 136 292 0 442875 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1772680

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10410
/proc/meminfo: memFree=83888/2055920 swapFree=4191900/4192956
[pid=10403] ppid=10401 vsize=0 CPUtime=1800.27
/proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4195332 442608 0 0 0 178993 1034 0 0 25 0 1 0 188331549 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/10403/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): 1801.06
CPU time (s): 1800.33
CPU user time (s): 1789.93
CPU system time (s): 10.3994
CPU usage (%): 99.9599
Max. virtual memory (cumulated for all children) (KiB): 1772680

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

runsolver used 1.58076 second user time and 4.98324 second system time

The end

Launcher Data 

Begin job on node45 at 2009-06-17 04:55:46
IDJOB=1875401
IDBENCH=48241
IDSOLVER=698
FILE ID=node45/1875401-1245207345
PBS_JOBID= 9368363
Free space on /tmp= 66172 MiB

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

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

MD5SUM BENCH= c154cb0964ce03c2d199339cf62d0c63
RANDOM SEED=2003435951

node45.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.240
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.240
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:       1859728 kB
Buffers:         20152 kB
Cached:          89592 kB
SwapCached:        416 kB
Active:          17396 kB
Inactive:       105788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1859728 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2440 kB
Writeback:           0 kB
Mapped:          21816 kB
Slab:            59076 kB
Committed_AS:   185280 kB
PageTables:       1384 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-1875401-1245207345.opb

Free space on /tmp at the end= 66172 MiB
End job on node45 at 2009-06-17 05:25:48