Trace number 1875264

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.8

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_60_4.opb
MD5SUMefe239846afd4f2627c83cec32ebc27d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark1798.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17
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 constraint61
Maximum length of a constraint107
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)37458
Sum of products size (including duplicates)74916
Number of different products37458
Sum of products size74916

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-1875264-1245189621.opb.
0.00/0.00	c Instance file HOME/instance-1875264-1245189621.opb
0.00/0.00	c File size is 2902143 bytes.
0.39/0.42	c Highest Coefficient sum: 108
0.39/0.43	c ============================[ Problem Statistics ]=============================
0.39/0.43	c |                                                                             |
0.39/0.43	c |  Parsing time:          0.42         s                                      |
0.39/0.43	c |  Number Variables:      37958                                               |
0.39/0.43	c |  Number Clauses:        38458                                               |
0.39/0.43	c |  Number Cardinality:    0                                                   |
0.39/0.43	c |  Number PB Constraints: 37458                                               |
0.39/0.43	c core #1
0.39/0.43	c Core size: 122	Core Weight: 1	Total Weight: 1
0.39/0.43	c Elapsed CPU time: 0.421935 s	Remaining CPU time: 1799.58 s
0.49/0.56	c core #2
0.49/0.56	c Core size: 314	Core Weight: 1	Total Weight: 2
0.49/0.56	c Elapsed CPU time: 0.546916 s	Remaining CPU time: 1799.45 s
0.69/0.70	c ============================[ Search Statistics ]==============================
0.69/0.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.70	c ===============================================================================
0.69/0.70	c |         0 |   15341    75918   195758 |    25306        0    nan |  0.000 % |
1.00/1.04	c |       101 |   15341    75918   195758 |    27836      101    504 | 59.810 % |
1.79/1.87	c |       251 |   15341    75918   195758 |    30620      251    604 | 59.810 % |
2.29/2.31	c ===============================================================================
2.29/2.32	c core #3
2.29/2.32	c Core size: 2181	Core Weight: 1	Total Weight: 3
2.29/2.32	c Elapsed CPU time: 2.29565 s	Remaining CPU time: 1797.7 s
2.39/2.48	c ============================[ Search Statistics ]==============================
2.39/2.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.39/2.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.39/2.48	c ===============================================================================
2.39/2.48	c |         0 |   37664    75919   261657 |    25306        0    nan |  0.000 % |
2.79/2.86	c |       103 |   37664    75919   261657 |    27836      103    545 |  2.559 % |
3.89/3.91	c |       254 |   37664    75919   261657 |    30620      254    605 |  2.559 % |
5.09/5.11	c |       481 |   37664    75919   261657 |    33682      481    652 |  2.559 % |
7.19/7.25	c |       818 |   37664    75919   261657 |    37051      818    713 |  2.559 % |
10.99/11.02	c |      1324 |   37664    75919   261657 |    40756     1324    697 |  2.559 % |
18.68/18.78	c |      2084 |   37664    75919   261657 |    44831     2084    615 |  2.559 % |
29.88/29.98	c |      3223 |   37664    75919   261657 |    49314     3223    666 |  2.559 % |
47.76/47.89	c |      4932 |   37664    75919   261657 |    54246     4932    685 |  2.559 % |
75.86/75.90	c |      7494 |   37664    75919   261657 |    59671     7494    746 |  2.559 % |
126.23/126.37	c |     11338 |   37664    75919   261657 |    65638    11338    790 |  2.559 % |
205.41/205.50	c |     17107 |   37664    75919   261657 |    72201    17107    857 |  2.559 % |
324.67/324.87	c |     25756 |   37664    75919   261657 |    79422    25756   1049 |  2.559 % |
528.39/528.67	c |     38731 |   37664    75919   261657 |    87364    38731   1137 |  2.559 % |
896.07/896.42	c |     58194 |   37664    75919   261657 |    96100    58194   1401 |  2.559 % |
1117.68/1118.13	c ===============================================================================
1123.18/1123.69	c core #4
1123.18/1123.69	c Core size: 37939	Core Weight: 1	Total Weight: 4
1123.18/1123.69	c Elapsed CPU time: 1121.96 s	Remaining CPU time: 678.037 s
1123.48/1123.97	c Learning 2 hard constraints
1123.48/1123.97	c ============================[ Search Statistics ]==============================
1123.48/1123.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1123.48/1123.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1123.48/1123.97	c ===============================================================================
1123.48/1123.97	c |         0 |   39153    75922   265602 |    25307        0    nan |  0.000 % |
1123.98/1124.46	c |       101 |   39153    75922   265602 |    27838      101    578 |  0.000 % |
1124.89/1125.36	c |       252 |   39153    75922   265602 |    30621      252    493 |  0.000 % |
1126.18/1126.61	c |       478 |   39153    75922   265602 |    33684      478    588 |  0.000 % |
1129.07/1129.60	c |       815 |   39153    75922   265602 |    37052      815    502 |  0.000 % |
1132.98/1133.41	c |      1324 |   39153    75922   265602 |    40757     1324    507 |  0.000 % |
1138.37/1138.89	c |      2086 |   39153    75922   265602 |    44833     2086    536 |  0.000 % |
1148.87/1149.37	c |      3226 |   39153    75922   265602 |    49316     3226    531 |  0.000 % |
1161.87/1162.31	c |      4934 |   39153    75922   265602 |    54248     4934    519 |  0.000 % |
1182.26/1182.78	c |      7497 |   39153    75922   265602 |    59673     7497    547 |  0.000 % |
1212.65/1213.17	c |     11342 |   39153    75922   265602 |    65640    11342    597 |  0.000 % |
1267.03/1267.53	c |     17109 |   39153    75922   265602 |    72204    17109    537 |  0.000 % |
1339.00/1339.54	c |     25760 |   39153    75922   265602 |    79425    25760    556 |  0.000 % |
1450.27/1450.82	c |     38735 |   39153    75922   265602 |    87367    38735    572 |  0.000 % |
1624.90/1625.53	c |     58199 |   39153    75922   265602 |    96104    58199    673 |  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-1875264-1245189621/watcher-1875264-1245189621 -o /tmp/evaluation-result-1875264-1245189621/solver-1875264-1245189621 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875264-1245189621.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.03 1.03 1.00 3/64 6630
/proc/meminfo: memFree=1813048/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=5712 CPUtime=0
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 269 0 0 0 0 0 0 0 18 0 1 0 186556431 5849088 253 1992294400 134512640 135709839 4294956240 18446744073709551615 134570505 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 1428 253 125 292 0 424 0

[startup+0.043604 s]
/proc/loadavg: 1.03 1.03 1.00 3/64 6630
/proc/meminfo: memFree=1813048/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=8936 CPUtime=0.03
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 1021 0 0 0 3 0 0 0 18 0 1 0 186556431 9150464 1005 1992294400 134512640 135709839 4294956240 18446744073709551615 134570584 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 2234 1005 174 292 0 1230 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8936

[startup+0.101614 s]
/proc/loadavg: 1.03 1.03 1.00 3/64 6630
/proc/meminfo: memFree=1813048/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=11224 CPUtime=0.09
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 1669 0 0 0 9 0 0 0 18 0 1 0 186556431 11493376 1639 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 2806 1639 264 292 0 1802 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11224

[startup+0.301649 s]
/proc/loadavg: 1.03 1.03 1.00 3/64 6630
/proc/meminfo: memFree=1813048/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=13592 CPUtime=0.29
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 2596 0 0 0 29 0 0 0 19 0 1 0 186556431 13918208 2566 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 3398 2566 601 292 0 2394 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13592

[startup+0.701722 s]
/proc/loadavg: 1.03 1.03 1.00 3/64 6630
/proc/meminfo: memFree=1813048/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=28684 CPUtime=0.69
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 8032 0 0 0 67 2 0 0 22 0 1 0 186556431 29372416 6410 1992294400 134512640 135709839 4294956240 18446744073709551615 135182831 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 7171 6410 134 292 0 6876 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28684

[startup+1.50187 s]
/proc/loadavg: 1.03 1.03 1.00 2/65 6631
/proc/meminfo: memFree=1790064/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=26056 CPUtime=1.49
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 8077 0 0 0 147 2 0 0 25 0 1 0 186556431 26681344 5859 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 6514 5859 136 292 0 6219 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26056

[startup+3.10116 s]
/proc/loadavg: 1.03 1.03 1.00 2/65 6631
/proc/meminfo: memFree=1789936/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=30332 CPUtime=3.08
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 9618 0 0 0 306 2 0 0 25 0 1 0 186556431 31059968 6952 1992294400 134512640 135709839 4294956240 18446744073709551615 134573697 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 7583 6952 136 292 0 7288 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 30332

[startup+6.30173 s]
/proc/loadavg: 1.03 1.03 1.00 2/65 6631
/proc/meminfo: memFree=1785200/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=30332 CPUtime=6.29
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 9618 0 0 0 626 3 0 0 25 0 1 0 186556431 31059968 6952 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 7583 6952 136 292 0 7288 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30332

[startup+12.7019 s]
/proc/loadavg: 1.02 1.03 1.00 2/65 6631
/proc/meminfo: memFree=1783920/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=31784 CPUtime=12.69
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 9990 0 0 0 1264 5 0 0 25 0 1 0 186556431 32546816 7324 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 7946 7324 136 292 0 7651 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31784

[startup+25.5012 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 6631
/proc/meminfo: memFree=1780400/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=35364 CPUtime=25.48
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 10875 0 0 0 2542 6 0 0 25 0 1 0 186556431 36212736 8209 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 8841 8209 136 292 0 8546 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35364

[startup+51.1018 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 6637
/proc/meminfo: memFree=1771880/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=44232 CPUtime=51.07
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 13094 0 0 0 5097 10 0 0 25 0 1 0 186556431 45293568 10428 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 11058 10428 136 292 0 10763 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 44232

[startup+102.305 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 6637
/proc/meminfo: memFree=1754728/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=61012 CPUtime=102.25
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 17283 0 0 0 10207 18 0 0 25 0 1 0 186556431 62476288 14617 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 15253 14617 136 292 0 14958 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 61012

[startup+162.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 6637
/proc/meminfo: memFree=1729512/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=86340 CPUtime=162.23
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 23611 0 0 0 16197 26 0 0 25 0 1 0 186556431 88412160 20945 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 21585 20945 136 292 0 21290 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 86340

[startup+222.303 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 6637
/proc/meminfo: memFree=1703016/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=112712 CPUtime=222.21
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 30214 0 0 0 22187 34 0 0 25 0 1 0 186556431 115417088 27548 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 28178 27548 136 292 0 27883 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 112712

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6637
/proc/meminfo: memFree=1675560/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=140436 CPUtime=282.18
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 37133 0 0 0 28176 42 0 0 25 0 1 0 186556431 143806464 34467 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 35109 34467 136 292 0 34814 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 140436

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6637
/proc/meminfo: memFree=1648808/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=166692 CPUtime=342.16
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 43698 0 0 0 34166 50 0 0 25 0 1 0 186556431 170692608 41032 1992294400 134512640 135709839 4294956240 18446744073709551615 134518400 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 41673 41032 136 292 0 41378 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 166692

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6637
/proc/meminfo: memFree=1621680/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=194080 CPUtime=402.14
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 50538 0 0 0 40158 56 0 0 25 0 1 0 186556431 198737920 47872 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 48520 47872 136 292 0 48225 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 194080

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6637
/proc/meminfo: memFree=1601328/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=214016 CPUtime=462.12
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 55535 0 0 0 46152 60 0 0 25 0 1 0 186556431 219152384 52869 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 53504 52869 136 292 0 53209 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 214016

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6637
/proc/meminfo: memFree=1573296/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=242376 CPUtime=522.1
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 62610 0 0 0 52143 67 0 0 25 0 1 0 186556431 248193024 59944 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 60594 59944 136 292 0 60299 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 242376

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6637
/proc/meminfo: memFree=1542384/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=273124 CPUtime=582.08
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 70268 0 0 0 58132 76 0 0 25 0 1 0 186556431 279678976 67602 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 68281 67602 136 292 0 67986 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 273124

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6637
/proc/meminfo: memFree=1506352/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=308692 CPUtime=642.06
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 79172 0 0 0 64122 84 0 0 25 0 1 0 186556431 316100608 76506 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 77173 76506 136 292 0 76878 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 308692

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6637
/proc/meminfo: memFree=1387312/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=427828 CPUtime=881.97
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 108946 0 0 0 88090 107 0 0 25 0 1 0 186556431 438095872 106280 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 106957 106280 136 292 0 106662 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 427828

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6637
/proc/meminfo: memFree=1354800/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=460316 CPUtime=941.95
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 117090 0 0 0 94083 112 0 0 25 0 1 0 186556431 471363584 114424 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 115079 114424 136 292 0 114784 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 460316

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6637
/proc/meminfo: memFree=1319920/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=495076 CPUtime=1001.92
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 125731 0 0 0 100074 118 0 0 25 0 1 0 186556431 506957824 123065 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 123769 123065 136 292 0 123474 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 495076

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6637
/proc/meminfo: memFree=1286128/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=528976 CPUtime=1061.9
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 134220 0 0 0 106064 126 0 0 25 0 1 0 186556431 541671424 131554 1992294400 134512640 135709839 4294956240 18446744073709551615 134601361 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 132244 131554 136 292 0 131949 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 528976

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6637
/proc/meminfo: memFree=1260592/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=554184 CPUtime=1121.88
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 140503 0 0 0 112057 131 0 0 25 0 1 0 186556431 567484416 137837 1992294400 134512640 135709839 4294956240 18446744073709551615 134584174 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 138546 137837 136 292 0 138251 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 554184

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6637
/proc/meminfo: memFree=1251504/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=563140 CPUtime=1181.86
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143322 0 0 0 118047 139 0 0 25 0 1 0 186556431 576655360 140059 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 140785 140059 136 292 0 140490 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 563140

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6637
/proc/meminfo: memFree=1251440/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=563140 CPUtime=1241.84
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143322 0 0 0 124039 145 0 0 25 0 1 0 186556431 576655360 140059 1992294400 134512640 135709839 4294956240 18446744073709551615 134572758 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 140785 140059 136 292 0 140490 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 563140

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6637
/proc/meminfo: memFree=1251440/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=563140 CPUtime=1301.82
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143322 0 0 0 130030 152 0 0 25 0 1 0 186556431 576655360 140059 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 140785 140059 136 292 0 140490 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 563140

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6637
/proc/meminfo: memFree=1251440/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=563140 CPUtime=1361.79
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143322 0 0 0 136023 156 0 0 25 0 1 0 186556431 576655360 140059 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 140785 140059 136 292 0 140490 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 563140

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6637
/proc/meminfo: memFree=1251376/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=563140 CPUtime=1421.77
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143326 0 0 0 142016 161 0 0 25 0 1 0 186556431 576655360 140063 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 140785 140063 136 292 0 140490 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 563140

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6637
/proc/meminfo: memFree=1251312/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=563140 CPUtime=1481.75
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143340 0 0 0 148009 166 0 0 25 0 1 0 186556431 576655360 140077 1992294400 134512640 135709839 4294956240 18446744073709551615 134587994 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 140785 140077 136 292 0 140490 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 563140

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6637
/proc/meminfo: memFree=1251184/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=563140 CPUtime=1541.73
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143347 0 0 0 154001 172 0 0 25 0 1 0 186556431 576655360 140084 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 140785 140084 136 292 0 140490 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 563140

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6637
/proc/meminfo: memFree=1251120/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=563140 CPUtime=1601.71
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143355 0 0 0 159996 175 0 0 25 0 1 0 186556431 576655360 140092 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 140785 140092 136 292 0 140490 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 563140

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6637
/proc/meminfo: memFree=1251056/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=563140 CPUtime=1661.68
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143365 0 0 0 165989 179 0 0 25 0 1 0 186556431 576655360 140102 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 140785 140102 136 292 0 140490 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 563140

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6637
/proc/meminfo: memFree=1250992/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=563140 CPUtime=1721.66
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143371 0 0 0 171984 182 0 0 25 0 1 0 186556431 576655360 140108 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 140785 140108 136 292 0 140490 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 563140

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6637
/proc/meminfo: memFree=1251120/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=563140 CPUtime=1781.64
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143378 0 0 0 177979 185 0 0 25 0 1 0 186556431 576655360 140115 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 140785 140115 136 292 0 140490 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 563140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6637
/proc/meminfo: memFree=1250992/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=563140 CPUtime=1800.04
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143399 0 0 0 179818 186 0 0 25 0 1 0 186556431 576655360 140136 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 140785 140136 136 292 0 140490 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 563140

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6637
/proc/meminfo: memFree=1250992/2055920 swapFree=4182476/4192956
[pid=6630] ppid=6628 vsize=563140 CPUtime=1800.04
/proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143399 0 0 0 179818 186 0 0 25 0 1 0 186556431 576655360 140136 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0
/proc/6630/statm: 140785 140136 136 292 0 140490 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 563140

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.8
CPU time (s): 1800.15
CPU user time (s): 1798.19
CPU system time (s): 1.9557
CPU usage (%): 99.9637
Max. virtual memory (cumulated for all children) (KiB): 565308

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

runsolver used 1.34479 second user time and 3.87841 second system time

The end

Launcher Data 

Begin job on node67 at 2009-06-17 00:00:21
IDJOB=1875264
IDBENCH=48104
IDSOLVER=698
FILE ID=node67/1875264-1245189621
PBS_JOBID= 9368271
Free space on /tmp= 66428 MiB

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

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

MD5SUM BENCH= efe239846afd4f2627c83cec32ebc27d
RANDOM SEED=1775782288

node67.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.272
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.272
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:       1815904 kB
Buffers:         30016 kB
Cached:         147020 kB
SwapCached:       4524 kB
Active:          55480 kB
Inactive:       129196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1815904 kB
SwapTotal:     4192956 kB
SwapFree:      4182476 kB
Dirty:            2888 kB
Writeback:           0 kB
Mapped:          13444 kB
Slab:            41296 kB
Committed_AS:   109976 kB
PageTables:       1440 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-1875264-1245189621.opb

Free space on /tmp at the end= 66424 MiB
End job on node67 at 2009-06-17 00:30:25