Trace number 1875400

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? (MO) 1587.67 1588.09

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_4.opb
MD5SUM169f1f6799c5c0fd2a1b0aca08165f42
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-53
Best CPU time to get the best result obtained on this benchmark1794.89
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -59
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)5048
Sum of products size (including duplicates)10096
Number of different products2524
Sum of products size5048

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-1875400-1245207140.opb.
0.00/0.00	c Instance file HOME/instance-1875400-1245207140.opb
0.00/0.00	c File size is 222240 bytes.
0.00/0.03	c Highest Coefficient sum: 400
0.00/0.03	c ============================[ Problem Statistics ]=============================
0.00/0.03	c |                                                                             |
0.00/0.03	c |  Parsing time:          0.03         s                                      |
0.00/0.03	c |  Number Variables:      2924                                                |
0.00/0.03	c |  Number Clauses:        2924                                                |
0.00/0.03	c |  Number Cardinality:    402                                                 |
0.00/0.03	c |  Number PB Constraints: 2524                                                |
0.00/0.03	c core #1
0.00/0.03	c Core size: 401	Core Weight: 1	Total Weight: -199
0.00/0.03	c Elapsed CPU time: 0.033994 s	Remaining CPU time: 1799.97 s
0.00/0.04	c ============================[ Search Statistics ]==============================
0.00/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |    3124     5851    21992 |     5000        0    nan |  0.000 % |
0.00/0.09	c |       103 |    3124     5851    21992 |     5500      103     99 |  1.188 % |
0.00/0.09	c ===============================================================================
0.00/0.10	c core #2
0.00/0.10	c Core size: 440	Core Weight: 1	Total Weight: -198
0.00/0.10	c Elapsed CPU time: 0.097985 s	Remaining CPU time: 1799.9 s
0.09/0.11	c Learning 8 hard constraints
0.09/0.11	c ============================[ Search Statistics ]==============================
0.09/0.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.11	c ===============================================================================
0.09/0.11	c |         0 |    3324     5860    22416 |     5000        0    nan |  0.000 % |
0.09/0.17	c |       100 |    3324     5860    22416 |     5500      100    150 |  0.000 % |
0.19/0.27	c |       250 |    3324     5860    22416 |     6050      250    147 |  0.003 % |
0.29/0.37	c |       475 |    3324     5860    22416 |     6655      475    137 |  0.000 % |
0.49/0.55	c |       812 |    3324     5860    22416 |     7320      812    130 |  0.000 % |
0.79/0.82	c |      1318 |    3311     5860    22416 |     8052     1223    135 |  0.421 % |
1.19/1.25	c |      2079 |    3296     5860    22416 |     8857     1917    140 |  0.843 % |
1.89/1.94	c |      3219 |    3276     5860    22416 |     9743     2960    141 |  1.865 % |
2.98/3.07	c |      4927 |    3276     5860    22416 |    10717     4668    141 |  1.866 % |
4.89/4.92	c |      7489 |    3245     5860    22416 |    11789     7225    141 |  6.107 % |
8.18/8.29	c |     11342 |    3075     5860    22416 |    12968    10586    147 | 18.412 % |
10.69/10.77	c ===============================================================================
10.99/11.02	c core #3
10.99/11.02	c Core size: 770	Core Weight: 1	Total Weight: -197
10.99/11.02	c Elapsed CPU time: 10.9343 s	Remaining CPU time: 1789.07 s
10.99/11.05	c Learning 57 hard constraints
10.99/11.05	c ============================[ Search Statistics ]==============================
10.99/11.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.99/11.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.99/11.05	c ===============================================================================
10.99/11.05	c |         0 |    3524     5918    27705 |     5000        0    nan |  0.000 % |
11.08/11.12	c |       100 |    3524     5918    27705 |     5500      100    234 |  0.000 % |
11.18/11.20	c |       250 |    3524     5918    27705 |     6050      250    178 |  0.000 % |
11.29/11.36	c |       475 |    3524     5918    27705 |     6655      475    156 |  0.000 % |
11.59/11.61	c |       813 |    3524     5918    27705 |     7320      813    153 |  0.000 % |
11.88/11.96	c |      1319 |    3524     5918    27705 |     8052     1319    153 |  0.000 % |
12.38/12.44	c |      2078 |    3524     5918    27705 |     8857     2078    162 |  0.000 % |
13.19/13.24	c |      3217 |    3523     5918    27705 |     9743     3216    171 |  0.028 % |
14.49/14.52	c |      4925 |    3523     5918    27705 |    10717     4924    176 |  0.028 % |
16.49/16.53	c |      7487 |    3523     5918    27705 |    11789     7486    178 |  0.028 % |
19.48/19.52	c |     11331 |    3523     5918    27705 |    12968    11330    185 |  0.028 % |
24.19/24.26	c |     17097 |    3523     5918    27705 |    14265    10227    194 |  0.029 % |
32.28/32.36	c |     25747 |    3523     5918    27705 |    15692    11637    189 |  0.029 % |
44.58/44.69	c |     38721 |    3523     5918    27705 |    17261     8570    171 |  0.029 % |
63.57/63.62	c |     58182 |    3523     5918    27705 |    18987     9805    211 |  0.029 % |
94.77/94.80	c |     87374 |    3510     5918    27705 |    20886    14710    186 |  0.397 % |
142.45/142.59	c |    131163 |    3491     5918    27705 |    22974    21784    210 |  1.305 % |
215.13/215.29	c |    196847 |    3429     5918    27705 |    25272    15877    212 |  2.696 % |
311.81/311.96	c |    295376 |    3341     5918    27705 |    27799    18418    147 |  7.578 % |
369.30/369.45	c ===============================================================================
381.09/381.28	c core #4
381.09/381.28	c Core size: 2520	Core Weight: 1	Total Weight: -196
381.09/381.28	c Elapsed CPU time: 379.118 s	Remaining CPU time: 1420.88 s
381.49/381.70	c Learning 696 hard constraints
381.49/381.70	c ============================[ Search Statistics ]==============================
381.49/381.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
381.49/381.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
381.49/381.70	c ===============================================================================
381.49/381.70	c |         0 |    3724     6615    58071 |     5000        0    nan |  0.000 % |
381.69/381.87	c |       100 |    3724     6615    58071 |     5500      100    318 |  0.000 % |
381.89/382.05	c |       250 |    3724     6615    58071 |     6050      250    191 |  0.000 % |
381.89/382.08	c |       475 |    3724     6615    58071 |     6655      475    105 |  0.000 % |
382.39/382.58	c |       812 |    3724     6615    58071 |     7320      812    159 |  0.000 % |
383.19/383.30	c |      1318 |    3724     6615    58071 |     8052     1318    127 |  0.000 % |
384.19/384.32	c |      2107 |    3724     6615    58071 |     8857     2107    153 |  0.000 % |
385.69/385.87	c |      3267 |    3724     6615    58071 |     9743     3267    140 |  0.000 % |
389.30/389.47	c |      4976 |    3724     6615    58071 |    10717     4976    162 |  0.000 % |
391.89/392.07	c |      7538 |    3724     6615    58071 |    11789     7538    193 |  0.000 % |
398.09/398.28	c |     11382 |    3724     6615    58071 |    12968    11382    220 |  0.000 % |
404.08/404.29	c |     17148 |    3724     6615    58071 |    14265    10482    221 |  0.000 % |
416.48/416.60	c |     25797 |    3724     6615    58071 |    15692    11733    195 |  0.000 % |
430.28/430.48	c |     38771 |    3724     6615    58071 |    17261    16491    216 |  0.000 % |
459.47/459.62	c |     58232 |    3724     6615    58071 |    18987    17538    265 |  0.000 % |
504.96/505.16	c |     87424 |    3724     6615    58071 |    20886    16414    295 |  0.000 % |
582.03/582.28	c |    131221 |    3724     6615    58071 |    22974    15532    283 |  0.000 % |
690.11/690.38	c |    196905 |    3724     6615    58071 |    25272    19588    302 |  0.000 % |
796.08/796.31	c |    295431 |    3724     6615    58071 |    27799    22121    216 |  0.000 % |
923.84/924.17	c |    443222 |    3724     6615    58071 |    30579    27761    230 |  0.000 % |
1160.88/1161.23	c |    664907 |    3724     6615    58071 |    33637    20494    215 |  0.000 % |
1452.51/1452.94	c |    997432 |    3724     6615    58071 |    37001    33159    217 |  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-1875400-1245207140/watcher-1875400-1245207140 -o /tmp/evaluation-result-1875400-1245207140/solver-1875400-1245207140 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875400-1245207140.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.98 0.99 3/64 10873
/proc/meminfo: memFree=1844800/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=2884 CPUtime=0
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 249 0 0 0 0 0 0 0 18 0 1 0 188311225 2953216 233 1992294400 134512640 135709839 4294956240 18446744073709551615 134570339 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 754 238 126 292 0 404 0

[startup+0.00785308 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 10873
/proc/meminfo: memFree=1844800/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=3156 CPUtime=0
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 299 0 0 0 0 0 0 0 18 0 1 0 188311225 3231744 283 1992294400 134512640 135709839 4294956240 18446744073709551615 134570352 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 789 284 130 292 0 439 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3156

[startup+0.101863 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 10873
/proc/meminfo: memFree=1844800/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=4776 CPUtime=0.09
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 822 0 0 0 9 0 0 0 18 0 1 0 188311225 4890624 751 1992294400 134512640 135709839 4294956240 18446744073709551615 134570339 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 1194 751 136 292 0 899 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4776

[startup+0.301884 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 10873
/proc/meminfo: memFree=1844800/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=5168 CPUtime=0.29
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 917 0 0 0 29 0 0 0 19 0 1 0 188311225 5292032 846 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 1292 846 136 292 0 997 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5168

[startup+0.701927 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 10873
/proc/meminfo: memFree=1844800/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=6456 CPUtime=0.69
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 1229 0 0 0 68 1 0 0 22 0 1 0 188311225 6610944 1158 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 1614 1158 136 292 0 1319 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6456

[startup+1.50201 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10874
/proc/meminfo: memFree=1839800/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=8524 CPUtime=1.49
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 1772 0 0 0 147 2 0 0 25 0 1 0 188311225 8728576 1701 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 2131 1701 136 292 0 1836 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8524

[startup+3.10119 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10874
/proc/meminfo: memFree=1836792/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=12392 CPUtime=3.08
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 2723 0 0 0 305 3 0 0 25 0 1 0 188311225 12689408 2652 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 3098 2652 136 292 0 2803 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 12392

[startup+6.30254 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10874
/proc/meminfo: memFree=1830016/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=18348 CPUtime=6.29
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 4210 0 0 0 623 6 0 0 25 0 1 0 188311225 18788352 4139 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 4587 4139 136 292 0 4292 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18348

[startup+12.7012 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10874
/proc/meminfo: memFree=1822528/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=24160 CPUtime=12.69
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 5676 0 0 0 1259 10 0 0 25 0 1 0 188311225 24739840 5605 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 6040 5605 136 292 0 5745 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24160

[startup+25.5016 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10876
/proc/meminfo: memFree=1808576/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=38680 CPUtime=25.48
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 9299 0 0 0 2533 15 0 0 25 0 1 0 188311225 39608320 9228 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 9670 9228 136 292 0 9375 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38680

[startup+51.1014 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10876
/proc/meminfo: memFree=1763648/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=84016 CPUtime=51.07
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 20643 0 0 0 5076 31 0 0 25 0 1 0 188311225 86032384 20572 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 21004 20572 136 292 0 20709 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 84016

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10876
/proc/meminfo: memFree=1682688/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=163816 CPUtime=102.26
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 40582 0 0 0 10164 62 0 0 25 0 1 0 188311225 167747584 40511 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 40954 40511 136 292 0 40659 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 163816

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10876
/proc/meminfo: memFree=1587392/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=260072 CPUtime=162.24
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 64639 0 0 0 16129 95 0 0 25 0 1 0 188311225 266313728 64568 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 65018 64568 136 292 0 64723 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 260072

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10876
/proc/meminfo: memFree=1492544/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=353788 CPUtime=222.23
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 88068 0 0 0 22098 125 0 0 25 0 1 0 188311225 362278912 87997 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 88447 87997 136 292 0 88152 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 353788

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10876
/proc/meminfo: memFree=1403584/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=443368 CPUtime=282.22
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 110443 0 0 0 28068 154 0 0 25 0 1 0 188311225 454008832 110372 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 110842 110372 136 292 0 110547 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 443368

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10876
/proc/meminfo: memFree=1322048/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=523832 CPUtime=342.2
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 130563 0 0 0 34029 191 0 0 25 0 1 0 188311225 536403968 130492 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 130958 130492 136 292 0 130663 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 523832

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10876
/proc/meminfo: memFree=1284416/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=561056 CPUtime=402.18
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 139900 0 0 0 40004 214 0 0 25 0 1 0 188311225 574521344 139800 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 140264 139800 136 292 0 139969 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 561056

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10876
/proc/meminfo: memFree=1284352/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=561056 CPUtime=462.17
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 139900 0 0 0 45985 232 0 0 25 0 1 0 188311225 574521344 139800 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 140264 139800 136 292 0 139969 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 561056

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10882
/proc/meminfo: memFree=1279224/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=566864 CPUtime=522.14
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 141383 0 0 0 51969 245 0 0 25 0 1 0 188311225 580468736 141283 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 141716 141283 136 292 0 141421 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 566864

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10882
/proc/meminfo: memFree=1227704/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=618008 CPUtime=582.13
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 154163 0 0 0 57948 265 0 0 25 0 1 0 188311225 632840192 154063 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 154502 154063 136 292 0 154207 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 618008

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10882
/proc/meminfo: memFree=1173304/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=671780 CPUtime=642.11
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 167593 0 0 0 63926 285 0 0 25 0 1 0 188311225 687902720 167493 1992294400 134512640 135709839 4294956240 18446744073709551615 134517174 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 167945 167493 136 292 0 167650 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 671780

[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10882
/proc/meminfo: memFree=1105080/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=740700 CPUtime=702.1
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 184827 0 0 0 69904 306 0 0 25 0 1 0 188311225 758476800 184727 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 185175 184727 136 292 0 184880 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 740700

[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10882
/proc/meminfo: memFree=1052600/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=792296 CPUtime=762.08
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 197713 0 0 0 75876 332 0 0 25 0 1 0 188311225 811311104 197613 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 198074 197613 136 292 0 197779 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 792296

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10882
/proc/meminfo: memFree=983992/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=861420 CPUtime=822.06
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 214974 0 0 0 81840 366 0 0 25 0 1 0 188311225 882094080 214874 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 215355 214874 136 292 0 215060 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 861420

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10882
/proc/meminfo: memFree=908416/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=936480 CPUtime=882.05
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 233728 0 0 0 87806 399 0 0 25 0 1 0 188311225 958955520 233628 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 234120 233628 136 292 0 233825 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 936480

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10882
/proc/meminfo: memFree=830848/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=1014956 CPUtime=942.04
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 253327 0 0 0 93776 428 0 0 25 0 1 0 188311225 1039314944 253227 1992294400 134512640 135709839 4294956240 18446744073709551615 135166081 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 253739 253227 136 292 0 253444 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 1014956

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10882
/proc/meminfo: memFree=748544/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=1095992 CPUtime=1002.02
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 273577 0 0 0 99745 457 0 0 25 0 1 0 188311225 1122295808 273477 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 273998 273477 136 292 0 273703 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1095992

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10882
/proc/meminfo: memFree=681664/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=1163360 CPUtime=1062
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 290376 0 0 0 105713 487 0 0 25 0 1 0 188311225 1191280640 290276 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 290840 290276 136 292 0 290545 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1163360

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10882
/proc/meminfo: memFree=602304/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=1242436 CPUtime=1121.99
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 310156 0 0 0 111677 522 0 0 25 0 1 0 188311225 1272254464 310056 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 310609 310056 136 292 0 310314 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1242436

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10882
/proc/meminfo: memFree=521472/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=1323644 CPUtime=1181.98
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 330448 0 0 0 117642 556 0 0 25 0 1 0 188311225 1355411456 330348 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 330911 330348 136 292 0 330616 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1323644

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10882
/proc/meminfo: memFree=450944/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=1393536 CPUtime=1241.96
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 347913 0 0 0 123610 586 0 0 25 0 1 0 188311225 1426980864 347813 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 348384 347813 136 292 0 348089 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1393536

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10882
/proc/meminfo: memFree=378880/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=1464864 CPUtime=1301.95
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 365712 0 0 0 129581 614 0 0 25 0 1 0 188311225 1500020736 365612 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 366216 365612 136 292 0 365921 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1464864

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10882
/proc/meminfo: memFree=301568/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=1542768 CPUtime=1361.93
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 385197 0 0 0 135547 646 0 0 25 0 1 0 188311225 1579794432 385097 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 385692 385097 136 292 0 385397 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1542768

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10882
/proc/meminfo: memFree=227712/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=1615768 CPUtime=1421.92
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 403433 0 0 0 141509 683 0 0 25 0 1 0 188311225 1654546432 403333 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 403942 403333 136 292 0 403647 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1615768

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10882
/proc/meminfo: memFree=141184/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=1703208 CPUtime=1481.9
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 425294 0 0 0 147469 721 0 0 25 0 1 0 188311225 1744084992 425194 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 425802 425194 136 292 0 425507 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1703208

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10882
/proc/meminfo: memFree=59136/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=1784136 CPUtime=1541.89
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 445519 0 0 0 153433 756 0 0 25 0 1 0 188311225 1826955264 445419 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 446034 445419 136 292 0 445739 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1784136



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1587.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10882
/proc/meminfo: memFree=15168/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=1843328 CPUtime=1587.38
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4194304 460318 0 0 0 157961 777 0 0 25 0 1 0 188311225 1887567872 460218 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 460832 460218 136 292 0 460537 0
Current children cumulated CPU time (s) 1587.38
Current children cumulated vsize (KiB) 1843328

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

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

[startup+1588 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10882
/proc/meminfo: memFree=15168/2055920 swapFree=4181916/4192956
[pid=10873] ppid=10871 vsize=0 CPUtime=1587.57
/proc/10873/stat : 10873 (wbo) R 10871 10873 10801 0 -1 4195332 460319 0 0 0 157961 796 0 0 25 0 1 0 188311225 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/10873/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1587.57
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1588.09
CPU time (s): 1587.67
CPU user time (s): 1579.61
CPU system time (s): 8.05777
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 1843328

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

runsolver used 0.998848 second user time and 3.53246 second system time

The end

Launcher Data 

Begin job on node37 at 2009-06-17 04:52:20
IDJOB=1875400
IDBENCH=48240
IDSOLVER=698
FILE ID=node37/1875400-1245207140
PBS_JOBID= 9368391
Free space on /tmp= 66168 MiB

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

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

MD5SUM BENCH= 169f1f6799c5c0fd2a1b0aca08165f42
RANDOM SEED=967831455

node37.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:       1845408 kB
Buffers:         21836 kB
Cached:         103548 kB
SwapCached:       5040 kB
Active:          40364 kB
Inactive:        93056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1845408 kB
SwapTotal:     4192956 kB
SwapFree:      4181916 kB
Dirty:            2456 kB
Writeback:           0 kB
Mapped:          14268 kB
Slab:            63200 kB
Committed_AS:   176884 kB
PageTables:       1376 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-1875400-1245207140.opb

Free space on /tmp at the end= 66164 MiB
End job on node37 at 2009-06-17 05:18:50