Trace number 1875300

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.15 1800.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_2.opb
MD5SUMe4d0ce6c299ae1a05f607b170c68aad6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark40
Best CPU time to get the best result obtained on this benchmark1798.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 33
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint26
Maximum length of a constraint46
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15670
Sum of products size (including duplicates)31340
Number of different products15670
Sum of products size31340

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-1875300-1245193880.opb.
0.00/0.00	c Instance file HOME/instance-1875300-1245193880.opb
0.00/0.00	c File size is 1203387 bytes.
0.09/0.17	c Highest Coefficient sum: 47
0.09/0.17	c ============================[ Problem Statistics ]=============================
0.09/0.17	c |                                                                             |
0.09/0.17	c |  Parsing time:          0.17         s                                      |
0.09/0.17	c |  Number Variables:      16170                                               |
0.09/0.17	c |  Number Clauses:        16670                                               |
0.09/0.17	c |  Number Cardinality:    0                                                   |
0.09/0.17	c |  Number PB Constraints: 15670                                               |
0.09/0.17	c core #1
0.09/0.17	c Core size: 56	Core Weight: 1	Total Weight: 1
0.09/0.17	c Elapsed CPU time: 0.167974 s	Remaining CPU time: 1799.83 s
0.19/0.21	c core #2
0.19/0.21	c Core size: 52	Core Weight: 1	Total Weight: 2
0.19/0.21	c Elapsed CPU time: 0.201969 s	Remaining CPU time: 1799.8 s
0.19/0.25	c core #3
0.19/0.25	c Core size: 52	Core Weight: 1	Total Weight: 3
0.19/0.25	c Elapsed CPU time: 0.239963 s	Remaining CPU time: 1799.76 s
0.19/0.29	c core #4
0.19/0.29	c Core size: 52	Core Weight: 1	Total Weight: 4
0.19/0.29	c Elapsed CPU time: 0.278957 s	Remaining CPU time: 1799.72 s
0.29/0.35	c core #5
0.29/0.35	c Core size: 120	Core Weight: 1	Total Weight: 5
0.29/0.35	c Elapsed CPU time: 0.335948 s	Remaining CPU time: 1799.66 s
0.39/0.41	c ============================[ Search Statistics ]==============================
0.39/0.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.41	c ===============================================================================
0.39/0.41	c |         0 |    5590    32345    79462 |    10781        0    nan |  0.000 % |
0.39/0.45	c ===============================================================================
0.39/0.45	c core #6
0.39/0.45	c Core size: 577	Core Weight: 1	Total Weight: 6
0.39/0.45	c Elapsed CPU time: 0.435933 s	Remaining CPU time: 1799.56 s
0.49/0.52	c ============================[ Search Statistics ]==============================
0.49/0.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.52	c ===============================================================================
0.49/0.52	c |         0 |   11128    32346    95509 |    10782        0    nan |  0.000 % |
0.59/0.64	c |       105 |   11128    32346    95509 |    11860      105    179 | 32.879 % |
1.09/1.15	c |       256 |   11128    32346    95509 |    13046      256    193 | 32.879 % |
1.99/2.07	c |       481 |   11128    32346    95509 |    14350      481    174 | 32.879 % |
2.78/2.84	c |       819 |   11128    32346    95509 |    15785      819    233 | 32.879 % |
3.39/3.49	c ===============================================================================
3.49/3.51	c core #7
3.49/3.51	c Core size: 1415	Core Weight: 1	Total Weight: 7
3.49/3.51	c Elapsed CPU time: 3.49247 s	Remaining CPU time: 1796.51 s
3.49/3.59	c ============================[ Search Statistics ]==============================
3.49/3.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.49/3.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.49/3.59	c ===============================================================================
3.49/3.59	c |         0 |   15811    32347   108877 |    10782        0    nan |  0.000 % |
3.69/3.74	c |       101 |   15811    32347   108877 |    11860      101    260 |  6.928 % |
4.09/4.19	c |       254 |   15811    32347   108877 |    13046      254    237 |  6.928 % |
5.09/5.13	c |       481 |   15811    32347   108877 |    14351      481    226 |  6.928 % |
5.99/6.07	c |       820 |   15811    32347   108877 |    15786      820    260 |  6.928 % |
7.89/7.96	c |      1327 |   15811    32347   108877 |    17365     1327    245 |  6.928 % |
10.48/10.51	c |      2087 |   15811    32347   108877 |    19101     2087    266 |  6.928 % |
14.19/14.26	c |      3226 |   15811    32347   108877 |    21011     3226    245 |  6.928 % |
19.89/19.99	c |      4935 |   15811    32347   108877 |    23112     4935    224 |  6.928 % |
28.88/28.93	c |      7500 |   15811    32347   108877 |    25424     7500    207 |  6.928 % |
42.38/42.48	c |     11344 |   15811    32347   108877 |    27966    11344    180 |  6.928 % |
65.68/65.74	c |     17111 |   15811    32347   108877 |    30763    17111    182 |  6.928 % |
102.76/102.88	c |     25761 |   15811    32347   108877 |    33839    25761    206 |  6.928 % |
160.25/160.38	c |     38735 |   15811    32347   108877 |    37223    15237    320 |  6.928 % |
257.52/257.65	c |     58197 |   15811    32347   108877 |    40945    34699    339 |  6.928 % |
399.88/400.08	c |     87392 |   15811    32347   108877 |    45040    33758    345 |  6.928 % |
446.57/446.70	c ===============================================================================
448.97/449.14	c core #8
448.97/449.14	c Core size: 4693	Core Weight: 1	Total Weight: 8
448.97/449.14	c Elapsed CPU time: 447.968 s	Remaining CPU time: 1352.03 s
449.17/449.34	c Learning 1 hard constraints
449.17/449.34	c ============================[ Search Statistics ]==============================
449.17/449.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
449.17/449.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
449.17/449.34	c ===============================================================================
449.17/449.34	c |         0 |   17488    32349   113329 |    10783        0    nan |  0.000 % |
449.37/449.51	c |       106 |   17488    32349   113329 |    11861      106    300 |  0.000 % |
449.67/449.82	c |       256 |   17488    32349   113329 |    13047      256    226 |  0.000 % |
450.37/450.58	c |       481 |   17488    32349   113329 |    14352      481    237 |  0.000 % |
451.27/451.49	c |       818 |   17488    32349   113329 |    15787      818    235 |  0.000 % |
452.77/452.90	c |      1326 |   17488    32349   113329 |    17366     1326    248 |  0.000 % |
453.77/453.97	c |      2086 |   17488    32349   113329 |    19102     2086    288 |  0.000 % |
456.67/456.88	c |      3227 |   17488    32349   113329 |    21013     3227    348 |  0.000 % |
462.07/462.20	c |      4937 |   17488    32349   113329 |    23114     4937    392 |  0.000 % |
469.77/469.95	c |      7499 |   17488    32349   113329 |    25425     7499    388 |  0.000 % |
485.66/485.86	c |     11343 |   17488    32349   113329 |    27968    11343    371 |  0.000 % |
502.46/502.62	c |     17109 |   17488    32349   113329 |    30765    17109    344 |  0.000 % |
528.05/528.28	c |     25758 |   17488    32349   113329 |    33841    25758    330 |  0.000 % |
571.24/571.40	c |     38734 |   17488    32349   113329 |    37225    14778    303 |  0.000 % |
640.62/640.86	c |     58195 |   17488    32349   113329 |    40948    34239    333 |  0.000 % |
759.89/760.19	c |     87395 |   17488    32349   113329 |    45043    33566    346 |  0.000 % |
972.04/972.34	c |    131185 |   17488    32349   113329 |    49547    44181    389 |  0.000 % |
1289.55/1289.97	c |    196869 |   17488    32349   113329 |    54502    34916    432 |  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-1875300-1245193880/watcher-1875300-1245193880 -o /tmp/evaluation-result-1875300-1245193880/solver-1875300-1245193880 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875300-1245193880.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 10032
/proc/meminfo: memFree=1837320/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=4060 CPUtime=0
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 271 0 0 0 0 0 0 0 18 0 1 0 186985309 4157440 255 1992294400 134512640 135709839 4294956240 18446744073709551615 134543806 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 1015 255 125 292 0 426 0

[startup+0.0487329 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 10032
/proc/meminfo: memFree=1837320/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=6276 CPUtime=0.04
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 847 0 0 0 4 0 0 0 18 0 1 0 186985309 6426624 831 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 1569 831 194 292 0 980 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6276

[startup+0.101737 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 10032
/proc/meminfo: memFree=1837320/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=6936 CPUtime=0.09
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 1117 0 0 0 9 0 0 0 18 0 1 0 186985309 7102464 1101 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 1734 1102 292 292 0 1145 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6936

[startup+0.301759 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 10032
/proc/meminfo: memFree=1837320/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=12372 CPUtime=0.29
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 3364 0 0 0 28 1 0 0 19 0 1 0 186985309 12668928 2546 1992294400 134512640 135709839 4294956240 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 3093 2546 134 292 0 2798 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12372

[startup+0.701801 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 10032
/proc/meminfo: memFree=1837320/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=15656 CPUtime=0.69
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 4222 0 0 0 68 1 0 0 22 0 1 0 186985309 16031744 3404 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 3914 3404 136 292 0 3619 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15656

[startup+1.50189 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1824192/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=15656 CPUtime=1.49
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 4222 0 0 0 148 1 0 0 25 0 1 0 186985309 16031744 3404 1992294400 134512640 135709839 4294956240 18446744073709551615 134572370 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 3914 3404 136 292 0 3619 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15656

[startup+3.10106 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1823936/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=15656 CPUtime=3.08
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 4250 0 0 0 307 1 0 0 25 0 1 0 186985309 16031744 3432 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 3914 3432 136 292 0 3619 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15656

[startup+6.30141 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1820864/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=18664 CPUtime=6.29
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 4985 0 0 0 626 3 0 0 25 0 1 0 186985309 19111936 4167 1992294400 134512640 135709839 4294956240 18446744073709551615 134573653 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 4666 4167 136 292 0 4371 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18664

[startup+12.7011 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1820352/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=19324 CPUtime=12.69
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 5175 0 0 0 1265 4 0 0 25 0 1 0 186985309 19787776 4357 1992294400 134512640 135709839 4294956240 18446744073709551615 134573974 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 4831 4357 136 292 0 4536 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19324

[startup+25.5015 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1815808/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=23552 CPUtime=25.48
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 6238 0 0 0 2541 7 0 0 25 0 1 0 186985309 24117248 5420 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 5888 5420 136 292 0 5593 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23552

[startup+51.1013 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1808896/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=30548 CPUtime=51.08
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 7986 0 0 0 5094 14 0 0 25 0 1 0 186985309 31281152 7168 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 7637 7168 136 292 0 7342 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30548

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1790976/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=48328 CPUtime=102.27
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 12437 0 0 0 10201 26 0 0 25 0 1 0 186985309 49487872 11619 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 12082 11619 136 292 0 11787 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 48328

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1763840/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=75852 CPUtime=162.25
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 19314 0 0 0 16185 40 0 0 25 0 1 0 186985309 77672448 18496 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 18963 18496 136 292 0 18668 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 75852

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1738112/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=101228 CPUtime=222.23
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 25636 0 0 0 22168 55 0 0 25 0 1 0 186985309 103657472 24818 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 25307 24818 136 292 0 25012 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 101228

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1712256/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=127240 CPUtime=282.22
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 32127 0 0 0 28154 68 0 0 25 0 1 0 186985309 130293760 31309 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 31810 31309 136 292 0 31515 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 127240

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1685056/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=154164 CPUtime=342.2
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 38855 0 0 0 34137 83 0 0 25 0 1 0 186985309 157863936 38037 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 38541 38037 136 292 0 38246 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 154164

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1660992/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=178536 CPUtime=402.19
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 44958 0 0 0 40122 97 0 0 25 0 1 0 186985309 182820864 44140 1992294400 134512640 135709839 4294956240 18446744073709551615 134579068 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 44634 44140 136 292 0 44339 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 178536

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1640512/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=198804 CPUtime=462.17
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 49957 0 0 0 46106 111 0 0 25 0 1 0 186985309 203575296 49139 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 49701 49139 136 292 0 49406 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 198804

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1640384/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=198804 CPUtime=522.15
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 49975 0 0 0 52092 123 0 0 25 0 1 0 186985309 203575296 49157 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 49701 49157 136 292 0 49406 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 198804

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1640256/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=198804 CPUtime=582.13
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 50012 0 0 0 58080 133 0 0 25 0 1 0 186985309 203575296 49194 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 49701 49194 136 292 0 49406 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 198804

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1640192/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=198804 CPUtime=642.13
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 50018 0 0 0 64072 141 0 0 25 0 1 0 186985309 203575296 49200 1992294400 134512640 135709839 4294956240 18446744073709551615 134573697 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 49701 49200 136 292 0 49406 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 198804

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1555008/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=283800 CPUtime=882.06
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 71277 0 0 0 88017 189 0 0 25 0 1 0 186985309 290611200 70459 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 70950 70459 136 292 0 70655 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 283800

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1526272/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=312832 CPUtime=942.05
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 78502 0 0 0 94003 202 0 0 25 0 1 0 186985309 320339968 77684 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 78208 77684 136 292 0 77913 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 312832

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1500800/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=338272 CPUtime=1002.03
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 84819 0 0 0 99987 216 0 0 25 0 1 0 186985309 346390528 84001 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 84568 84001 136 292 0 84273 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 338272

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1468480/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=370960 CPUtime=1062.01
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 92972 0 0 0 105973 228 0 0 25 0 1 0 186985309 379863040 92154 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 92740 92154 136 292 0 92445 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 370960

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1441472/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=397504 CPUtime=1121.99
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 99610 0 0 0 111960 239 0 0 25 0 1 0 186985309 407044096 98792 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 99376 98792 136 292 0 99081 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 397504

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1417280/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=422316 CPUtime=1181.98
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 105742 0 0 0 117948 250 0 0 25 0 1 0 186985309 432451584 104924 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 105579 104924 136 292 0 105284 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 422316

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1389120/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=450060 CPUtime=1241.97
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 112673 0 0 0 123933 264 0 0 25 0 1 0 186985309 460861440 111855 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 112515 111855 136 292 0 112220 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 450060

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1358592/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=480348 CPUtime=1301.95
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 120245 0 0 0 129920 275 0 0 25 0 1 0 186985309 491876352 119427 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 120087 119427 136 292 0 119792 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 480348

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1332544/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=506624 CPUtime=1361.93
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 126797 0 0 0 135906 287 0 0 25 0 1 0 186985309 518782976 125979 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 126656 125979 136 292 0 126361 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 506624

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1306176/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=532724 CPUtime=1421.93
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 133335 0 0 0 141893 300 0 0 25 0 1 0 186985309 545509376 132517 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 133181 132517 136 292 0 132886 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 532724

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1277056/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=562256 CPUtime=1481.91
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 140695 0 0 0 147875 316 0 0 25 0 1 0 186985309 575750144 139877 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 140564 139877 136 292 0 140269 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 562256

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1254336/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=584608 CPUtime=1541.89
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 146268 0 0 0 153863 326 0 0 25 0 1 0 186985309 598638592 145450 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 146152 145450 136 292 0 145857 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 584608

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1232768/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=606388 CPUtime=1601.87
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 151695 0 0 0 159853 334 0 0 25 0 1 0 186985309 620941312 150877 1992294400 134512640 135709839 4294956240 18446744073709551615 134574253 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 151597 150877 136 292 0 151302 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 606388

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1207296/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=631716 CPUtime=1661.86
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 158022 0 0 0 165843 343 0 0 25 0 1 0 186985309 646877184 157204 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 157929 157204 136 292 0 157634 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 631716

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1169600/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=669544 CPUtime=1721.84
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 167474 0 0 0 171828 356 0 0 25 0 1 0 186985309 685613056 166656 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 167386 166656 136 292 0 167091 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 669544

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1143744/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=695264 CPUtime=1781.82
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 173887 0 0 0 177816 366 0 0 25 0 1 0 186985309 711950336 173069 1992294400 134512640 135709839 4294956240 18446744073709551615 134574200 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 173816 173069 136 292 0 173521 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 695264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10033
/proc/meminfo: memFree=1134848/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=703932 CPUtime=1800.03
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4194304 176037 0 0 0 179633 370 0 0 25 0 1 0 186985309 720826368 175219 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 175983 175219 136 292 0 175688 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 703932

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

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

[startup+1800.61 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 10034
/proc/meminfo: memFree=1760312/2055920 swapFree=4191900/4192956
[pid=10032] ppid=10030 vsize=0 CPUtime=1800.13
/proc/10032/stat : 10032 (wbo) R 10030 10032 9902 0 -1 4195332 176037 0 0 0 179633 380 0 0 25 0 1 0 186985309 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/10032/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.62
CPU time (s): 1800.15
CPU user time (s): 1796.33
CPU system time (s): 3.81442
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 703932

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

runsolver used 1.59676 second user time and 3.98239 second system time

The end

Launcher Data 

Begin job on node37 at 2009-06-17 01:11:20
IDJOB=1875300
IDBENCH=48140
IDSOLVER=698
FILE ID=node37/1875300-1245193880
PBS_JOBID= 9368331
Free space on /tmp= 66168 MiB

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

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

MD5SUM BENCH= e4d0ce6c299ae1a05f607b170c68aad6
RANDOM SEED=668282678

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:       1838760 kB
Buffers:         46076 kB
Cached:          94152 kB
SwapCached:        260 kB
Active:          53772 kB
Inactive:        99684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1838760 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2592 kB
Writeback:           0 kB
Mapped:          21752 kB
Slab:            49788 kB
Committed_AS:   173352 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-1875300-1245193880.opb

Free space on /tmp at the end= 66164 MiB
End job on node37 at 2009-06-17 01:41:24