Trace number 1875304

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.24 1800.93

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_3.opb
MD5SUM9e4e432c8df29dadb31632f81ac67b02
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark1798.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 26
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
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 constraints200
Minimum length of a constraint11
Maximum length of a constraint21
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 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2488
Sum of products size (including duplicates)4976
Number of different products2488
Sum of products size4976

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-1875304-1245195607.opb.
0.00/0.00	c Instance file HOME/instance-1875304-1245195607.opb
0.00/0.00	c File size is 185404 bytes.
0.00/0.02	c Highest Coefficient sum: 22
0.00/0.02	c ============================[ Problem Statistics ]=============================
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Parsing time:          0.02         s                                      |
0.00/0.02	c |  Number Variables:      2688                                                |
0.00/0.02	c |  Number Clauses:        2888                                                |
0.00/0.02	c |  Number Cardinality:    0                                                   |
0.00/0.02	c |  Number PB Constraints: 2488                                                |
0.00/0.02	c core #1
0.00/0.02	c Core size: 22	Core Weight: 1	Total Weight: 1
0.00/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #2
0.00/0.03	c Core size: 22	Core Weight: 1	Total Weight: 2
0.00/0.03	c Elapsed CPU time: 0.031995 s	Remaining CPU time: 1799.97 s
0.00/0.04	c core #3
0.00/0.04	c Core size: 22	Core Weight: 1	Total Weight: 3
0.00/0.04	c Elapsed CPU time: 0.037994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #4
0.00/0.04	c Core size: 22	Core Weight: 1	Total Weight: 4
0.00/0.04	c Elapsed CPU time: 0.043993 s	Remaining CPU time: 1799.96 s
0.00/0.05	c core #5
0.00/0.05	c Core size: 22	Core Weight: 1	Total Weight: 5
0.00/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 1799.95 s
0.00/0.06	c core #6
0.00/0.06	c Core size: 26	Core Weight: 1	Total Weight: 6
0.00/0.06	c Elapsed CPU time: 0.057991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #7
0.00/0.06	c Core size: 44	Core Weight: 1	Total Weight: 7
0.00/0.06	c Elapsed CPU time: 0.066989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c ============================[ Search Statistics ]==============================
0.00/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |    1291     5383    13762 |     5000        0    nan |  0.000 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c core #8
0.00/0.07	c Core size: 239	Core Weight: 1	Total Weight: 8
0.00/0.07	c Elapsed CPU time: 0.077988 s	Remaining CPU time: 1799.92 s
0.08/0.08	c ============================[ Search Statistics ]==============================
0.08/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.08/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.08/0.08	c ===============================================================================
0.08/0.08	c |         0 |    2323     5384    16623 |     5000        0    nan |  0.000 % |
0.09/0.11	c |       109 |    2323     5384    16623 |     5500      109    121 | 19.116 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c core #9
0.09/0.16	c Core size: 619	Core Weight: 1	Total Weight: 9
0.09/0.16	c Elapsed CPU time: 0.160975 s	Remaining CPU time: 1799.84 s
0.09/0.17	c ============================[ Search Statistics ]==============================
0.09/0.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.17	c ===============================================================================
0.09/0.17	c |         0 |    2908     5385    18144 |     5000        0    nan |  0.000 % |
0.19/0.20	c |       103 |    2908     5385    18144 |     5500      103    108 |  4.405 % |
0.19/0.25	c |       253 |    2908     5385    18144 |     6050      253    100 |  4.405 % |
0.29/0.32	c |       478 |    2908     5385    18144 |     6655      478     98 |  4.405 % |
0.39/0.42	c |       815 |    2908     5385    18144 |     7320      815     99 |  4.405 % |
0.59/0.63	c |      1328 |    2908     5385    18144 |     8052     1328    100 |  4.405 % |
0.90/0.97	c |      2090 |    2908     5385    18144 |     8857     2090    108 |  4.405 % |
1.39/1.48	c |      3230 |    2908     5385    18144 |     9743     3230    105 |  4.405 % |
2.29/2.38	c |      4939 |    2908     5385    18144 |    10717     4939    113 |  4.405 % |
4.09/4.11	c |      7503 |    2908     5385    18144 |    11789     7503    125 |  4.405 % |
7.29/7.31	c |     11348 |    2908     5385    18144 |    12968    11348    134 |  4.405 % |
7.88/7.90	c ===============================================================================
7.98/8.07	c core #10
7.98/8.07	c Core size: 1717	Core Weight: 1	Total Weight: 10
7.98/8.07	c Elapsed CPU time: 8.01378 s	Remaining CPU time: 1791.99 s
8.08/8.10	c ============================[ Search Statistics ]==============================
8.08/8.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.08/8.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.08/8.10	c ===============================================================================
8.08/8.10	c |         0 |    3242     5386    18924 |     5000        0    nan |  0.000 % |
8.08/8.14	c |       107 |    3242     5386    18924 |     5500      107     65 |  0.000 % |
8.08/8.19	c |       257 |    3242     5386    18924 |     6050      257     56 |  0.000 % |
8.19/8.26	c |       482 |    3242     5386    18924 |     6655      482     63 |  0.000 % |
8.29/8.38	c |       819 |    3242     5386    18924 |     7320      819     70 |  0.000 % |
8.49/8.54	c |      1326 |    3242     5386    18924 |     8052     1326     88 |  0.000 % |
8.69/8.76	c |      2086 |    3242     5386    18924 |     8857     2086     81 |  0.000 % |
9.08/9.13	c |      3226 |    3242     5386    18924 |     9743     3226     77 |  0.000 % |
9.79/9.83	c |      4934 |    3242     5386    18924 |    10717     4934     81 |  0.000 % |
10.79/10.81	c |      7496 |    3242     5386    18924 |    11789     7496     90 |  0.000 % |
12.79/12.87	c |     11342 |    3242     5386    18924 |    12968    11342    104 |  0.000 % |
15.68/15.74	c |     17108 |    3242     5386    18924 |    14265    10325    139 |  0.000 % |
21.08/21.17	c |     25758 |    3242     5386    18924 |    15692    11680    170 |  0.000 % |
31.58/31.65	c |     38734 |    3242     5386    18924 |    17261     8355    168 |  0.000 % |
49.17/49.29	c |     58197 |    3242     5386    18924 |    18987     9933    171 |  0.000 % |
81.86/81.92	c |     87389 |    3242     5386    18924 |    20886     9891    153 |  0.000 % |
135.34/135.48	c |    131178 |    3242     5386    18924 |    22974    11007    178 |  0.000 % |
214.32/214.41	c |    196867 |    3242     5386    18924 |    25272    18052    173 |  0.000 % |
342.76/342.98	c |    295395 |    3242     5386    18924 |    27799    13253    183 |  0.000 % |
534.19/534.48	c |    443187 |    3242     5386    18924 |    30579    25306    216 |  0.000 % |
775.00/775.38	c ===============================================================================
793.69/794.08	c core #11
793.69/794.08	c Core size: 3399	Core Weight: 1	Total Weight: 11
793.69/794.08	c Elapsed CPU time: 790.568 s	Remaining CPU time: 1009.43 s
794.39/794.74	c Learning 3 hard constraints
794.39/794.74	c ============================[ Search Statistics ]==============================
794.39/794.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
794.39/794.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
794.39/794.74	c ===============================================================================
794.39/794.74	c |         0 |    3442     5390    19333 |     5000        0    nan |  0.000 % |
794.60/794.91	c |       100 |    3442     5390    19333 |     5500      100    120 |  0.000 % |
794.60/794.95	c |       250 |    3442     5390    19333 |     6050      250    102 |  0.000 % |
794.70/795.02	c |       476 |    3442     5390    19333 |     6655      476     94 |  0.000 % |
794.79/795.14	c |       815 |    3442     5390    19333 |     7320      815     78 |  0.000 % |
794.89/795.27	c |      1324 |    3442     5390    19333 |     8052     1324     89 |  0.000 % |
795.19/795.52	c |      2083 |    3442     5390    19333 |     8857     2083    100 |  0.000 % |
795.49/795.85	c |      3225 |    3442     5390    19333 |     9743     3225    108 |  0.000 % |
796.10/796.40	c |      4933 |    3442     5390    19333 |    10717     4933    119 |  0.000 % |
797.20/797.52	c |      7498 |    3442     5390    19333 |    11789     7498    132 |  0.000 % |
799.30/799.68	c |     11344 |    3442     5390    19333 |    12968    11344    147 |  0.000 % |
802.99/803.40	c |     17113 |    3442     5390    19333 |    14265    10321    180 |  0.000 % |
809.39/809.70	c |     25762 |    3442     5390    19333 |    15692    11530    177 |  0.000 % |
824.68/825.03	c |     38738 |    3442     5390    19333 |    17261     8299    184 |  0.000 % |
847.77/848.15	c |     58207 |    3442     5390    19333 |    18987    10256    206 |  0.000 % |
883.96/884.35	c |     87399 |    3442     5390    19333 |    20886    10281    212 |  0.000 % |
940.63/941.02	c |    131189 |    3442     5390    19333 |    22974    11020    249 |  0.000 % |
1022.10/1022.56	c |    196881 |    3442     5390    19333 |    25272    17589    306 |  0.000 % |
1180.74/1181.21	c |    295410 |    3442     5390    19333 |    27799    25009    249 |  0.000 % |
1442.14/1442.73	c |    443199 |    3442     5390    19333 |    30579    19969    310 |  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-1875304-1245195607/watcher-1875304-1245195607 -o /tmp/evaluation-result-1875304-1245195607/solver-1875304-1245195607 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875304-1245195607.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 10262
/proc/meminfo: memFree=1865368/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=3060 CPUtime=0
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 261 0 0 0 0 0 0 0 18 0 1 0 72293697 3133440 245 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 765 251 125 292 0 424 0

[startup+0.084289 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 10262
/proc/meminfo: memFree=1865368/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=4880 CPUtime=0.08
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 806 0 0 0 8 0 0 0 18 0 1 0 72293697 4997120 744 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 1220 744 135 292 0 925 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4880

[startup+0.101293 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 10262
/proc/meminfo: memFree=1865368/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=4880 CPUtime=0.09
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 808 0 0 0 9 0 0 0 18 0 1 0 72293697 4997120 746 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 1220 746 135 292 0 925 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4880

[startup+0.301333 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 10262
/proc/meminfo: memFree=1865368/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=5232 CPUtime=0.29
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 923 0 0 0 29 0 0 0 19 0 1 0 72293697 5357568 861 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 1308 861 136 292 0 1013 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5232

[startup+0.701413 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 10262
/proc/meminfo: memFree=1865368/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=5760 CPUtime=0.69
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 1064 0 0 0 69 0 0 0 22 0 1 0 72293697 5898240 1002 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 1440 1002 136 292 0 1145 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5760

[startup+1.50157 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10263
/proc/meminfo: memFree=1861328/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=7212 CPUtime=1.5
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 1422 0 0 0 148 2 0 0 25 0 1 0 72293697 7385088 1360 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 1803 1360 136 292 0 1508 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 7212

[startup+3.10189 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10263
/proc/meminfo: memFree=1859216/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=9984 CPUtime=3.09
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 2118 0 0 0 306 3 0 0 25 0 1 0 72293697 10223616 2056 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 2496 2056 136 292 0 2201 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9984

[startup+6.30153 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10263
/proc/meminfo: memFree=1854224/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=14376 CPUtime=6.28
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 3225 0 0 0 624 4 0 0 25 0 1 0 72293697 14721024 3163 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 3594 3163 136 292 0 3299 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14376

[startup+12.7018 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10263
/proc/meminfo: memFree=1849552/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=18668 CPUtime=12.69
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 4277 0 0 0 1260 9 0 0 25 0 1 0 72293697 19116032 4215 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 4667 4215 136 292 0 4372 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18668

[startup+25.5014 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10263
/proc/meminfo: memFree=1828880/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=38948 CPUtime=25.48
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 9364 0 0 0 2530 18 0 0 25 0 1 0 72293697 39882752 9302 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 9737 9302 136 292 0 9442 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38948

[startup+51.1015 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10263
/proc/meminfo: memFree=1796880/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=71040 CPUtime=51.07
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 17386 0 0 0 5074 33 0 0 25 0 1 0 72293697 72744960 17324 1992294400 134512640 135709839 4294956240 18446744073709551615 134572576 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 17760 17324 136 292 0 17465 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 71040

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10263
/proc/meminfo: memFree=1742928/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=124544 CPUtime=102.26
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 30719 0 0 0 10169 57 0 0 25 0 1 0 72293697 127533056 30657 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 31136 30657 136 292 0 30841 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 124544

[startup+162.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10263
/proc/meminfo: memFree=1680720/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=187300 CPUtime=162.23
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 46396 0 0 0 16142 81 0 0 25 0 1 0 72293697 191795200 46334 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 46825 46334 136 292 0 46530 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 187300

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10263
/proc/meminfo: memFree=1619536/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=247896 CPUtime=222.2
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 61502 0 0 0 22113 107 0 0 25 0 1 0 72293697 253845504 61440 1992294400 134512640 135709839 4294956240 18446744073709551615 134573964 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 61974 61440 136 292 0 61679 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 247896

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10263
/proc/meminfo: memFree=1563664/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=304536 CPUtime=282.19
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 75637 0 0 0 28086 133 0 0 25 0 1 0 72293697 311844864 75575 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 76134 75575 136 292 0 75839 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 304536

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10263
/proc/meminfo: memFree=1501072/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=366496 CPUtime=342.16
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 91083 0 0 0 34056 160 0 0 25 0 1 0 72293697 375291904 91021 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 91624 91021 136 292 0 91329 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 366496

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10263
/proc/meminfo: memFree=1446096/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=421800 CPUtime=402.14
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 104910 0 0 0 40030 184 0 0 25 0 1 0 72293697 431923200 104848 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 105450 104848 136 292 0 105155 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 421800

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10263
/proc/meminfo: memFree=1388240/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=479388 CPUtime=462.12
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 119299 0 0 0 46003 209 0 0 25 0 1 0 72293697 490893312 119237 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 119847 119237 136 292 0 119552 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 479388

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10263
/proc/meminfo: memFree=1332304/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=536076 CPUtime=522.09
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 133462 0 0 0 51974 235 0 0 25 0 1 0 72293697 548941824 133400 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 134019 133400 136 292 0 133724 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 536076

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10263
/proc/meminfo: memFree=1281232/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=586224 CPUtime=582.07
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 145958 0 0 0 57948 259 0 0 25 0 1 0 72293697 600293376 145896 1992294400 134512640 135709839 4294956240 18446744073709551615 134573697 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 146556 145896 136 292 0 146261 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 586224

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10263
/proc/meminfo: memFree=1237520/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=629844 CPUtime=642.05
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 156761 0 0 0 63926 279 0 0 25 0 1 0 72293697 644960256 156699 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 157461 156699 136 292 0 157166 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 629844

[startup+702.302 s]

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

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10265
/proc/meminfo: memFree=1125328/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=741684 CPUtime=941.93
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 184713 0 0 0 93830 363 0 0 25 0 1 0 72293697 759484416 184620 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 185421 184620 136 292 0 185126 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 741684

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10265
/proc/meminfo: memFree=1104400/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=761356 CPUtime=1001.91
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 189997 0 0 0 99805 386 0 0 25 0 1 0 72293697 779628544 189904 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 190339 189904 136 292 0 190044 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 761356

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10265
/proc/meminfo: memFree=1052944/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=813096 CPUtime=1061.88
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 202916 0 0 0 105778 410 0 0 25 0 1 0 72293697 832610304 202823 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 203274 202823 136 292 0 202979 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 813096

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10265
/proc/meminfo: memFree=1011472/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=854404 CPUtime=1121.87
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 213212 0 0 0 111757 430 0 0 25 0 1 0 72293697 874909696 213119 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 213601 213119 136 292 0 213306 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 854404

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10265
/proc/meminfo: memFree=972240/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=893564 CPUtime=1181.84
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 222998 0 0 0 117736 448 0 0 25 0 1 0 72293697 915009536 222905 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 223391 222905 136 292 0 223096 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 893564

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10265
/proc/meminfo: memFree=932880/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=932844 CPUtime=1241.82
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 232800 0 0 0 123713 469 0 0 25 0 1 0 72293697 955232256 232707 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 233211 232707 136 292 0 232916 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 932844

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10271
/proc/meminfo: memFree=879056/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=986260 CPUtime=1301.8
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 246126 0 0 0 129687 493 0 0 25 0 1 0 72293697 1009930240 246033 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 246565 246033 136 292 0 246270 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 986260

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10271
/proc/meminfo: memFree=826064/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=1039784 CPUtime=1361.78
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 259481 0 0 0 135659 519 0 0 25 0 1 0 72293697 1064738816 259388 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 259946 259388 136 292 0 259651 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 1039784

[startup+1422.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10271
/proc/meminfo: memFree=775312/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=1090152 CPUtime=1421.75
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 272053 0 0 0 141637 538 0 0 25 0 1 0 72293697 1116315648 271960 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 272538 271960 136 292 0 272243 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 1090152

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10271
/proc/meminfo: memFree=734992/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=1131012 CPUtime=1481.73
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 282257 0 0 0 147620 553 0 0 25 0 1 0 72293697 1158156288 282164 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 282753 282164 136 292 0 282458 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 1131012

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10271
/proc/meminfo: memFree=677840/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=1187616 CPUtime=1541.71
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 296379 0 0 0 153593 578 0 0 25 0 1 0 72293697 1216118784 296286 1992294400 134512640 135709839 4294956240 18446744073709551615 134573815 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 296904 296286 136 292 0 296609 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 1187616

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10271
/proc/meminfo: memFree=617552/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=1248536 CPUtime=1601.68
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 311607 0 0 0 159565 603 0 0 25 0 1 0 72293697 1278500864 311514 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 312134 311514 136 292 0 311839 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 1248536

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10271
/proc/meminfo: memFree=561808/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=1303408 CPUtime=1661.66
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 325322 0 0 0 165538 628 0 0 25 0 1 0 72293697 1334689792 325229 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 325852 325229 136 292 0 325557 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 1303408

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10271
/proc/meminfo: memFree=509776/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=1355848 CPUtime=1721.63
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 338418 0 0 0 171512 651 0 0 25 0 1 0 72293697 1388388352 338325 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 338962 338325 136 292 0 338667 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 1355848

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10271
/proc/meminfo: memFree=456592/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=1408832 CPUtime=1781.61
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 351650 0 0 0 177487 674 0 0 25 0 1 0 72293697 1442643968 351557 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 352208 351557 136 292 0 351913 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 1408832



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10271
/proc/meminfo: memFree=437456/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=1427392 CPUtime=1800.02
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 356305 0 0 0 179320 682 0 0 25 0 1 0 72293697 1461649408 356212 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 356848 356212 136 292 0 356553 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1427392

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

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

[startup+1800.81 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10271
/proc/meminfo: memFree=437456/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=0 CPUtime=1800.12
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4195332 356305 0 0 0 179320 692 0 0 25 0 1 0 72293697 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10271
/proc/meminfo: memFree=437456/2055920 swapFree=4191900/4192956
[pid=10262] ppid=10260 vsize=0 CPUtime=1800.21
/proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4195332 356305 0 0 0 179320 701 0 0 25 0 1 0 72293697 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.93
CPU time (s): 1800.24
CPU user time (s): 1793.2
CPU system time (s): 7.04193
CPU usage (%): 99.9621
Max. virtual memory (cumulated for all children) (KiB): 1427392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.2
system time used= 7.04193
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356305
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= 3
involuntary context switches= 2979

runsolver used 1.39479 second user time and 3.62445 second system time

The end

Launcher Data 

Begin job on node33 at 2009-06-17 01:40:07
IDJOB=1875304
IDBENCH=48144
IDSOLVER=698
FILE ID=node33/1875304-1245195607
PBS_JOBID= 9368299
Free space on /tmp= 65952 MiB

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

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

MD5SUM BENCH= 9e4e432c8df29dadb31632f81ac67b02
RANDOM SEED=1056677644

node33.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.261
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.261
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:       1865976 kB
Buffers:         44964 kB
Cached:          89496 kB
SwapCached:        384 kB
Active:          83132 kB
Inactive:        64716 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1865976 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2408 kB
Writeback:           0 kB
Mapped:          21808 kB
Slab:            28140 kB
Committed_AS:   146012 kB
PageTables:       1392 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-1875304-1245195607.opb

Free space on /tmp at the end= 65952 MiB
End job on node33 at 2009-06-17 02:10:10