Trace number 1875471

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.14 1800.6

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_023_area_delay.opb
MD5SUMd5b07a268537d19686adcc507787a673
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark1796.81
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved NO
Number of variables18629
Total number of constraints134119
Number of constraints which are clauses134119
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint254
Number of terms in the objective function 9200
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 9200
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 9200
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-1875471-1245182337.opb.
0.00/0.00	c Instance file HOME/instance-1875471-1245182337.opb
0.00/0.00	c File size is 4595596 bytes.
0.59/0.66	c Highest Coefficient sum: 255
0.59/0.66	c ============================[ Problem Statistics ]=============================
0.59/0.66	c |                                                                             |
0.59/0.66	c |  Parsing time:          0.65         s                                      |
0.59/0.66	c |  Number Variables:      18629                                               |
0.59/0.66	c |  Number Clauses:        143319                                              |
0.59/0.66	c |  Number Cardinality:    0                                                   |
0.59/0.66	c |  Number PB Constraints: 0                                                   |
0.59/0.66	c core #1
0.59/0.66	c Core size: 2	Core Weight: 1	Total Weight: 1
0.59/0.66	c Elapsed CPU time: 0.6529 s	Remaining CPU time: 1799.35 s
0.69/0.76	c core #2
0.69/0.76	c Core size: 2	Core Weight: 1	Total Weight: 2
0.69/0.76	c Elapsed CPU time: 0.739887 s	Remaining CPU time: 1799.26 s
0.79/0.85	c core #3
0.79/0.85	c Core size: 496	Core Weight: 1	Total Weight: 3
0.79/0.85	c Elapsed CPU time: 0.827874 s	Remaining CPU time: 1799.17 s
0.89/0.95	c core #4
0.89/0.95	c Core size: 127	Core Weight: 1	Total Weight: 4
0.89/0.95	c Elapsed CPU time: 0.924859 s	Remaining CPU time: 1799.08 s
0.99/1.04	c core #5
0.99/1.04	c Core size: 255	Core Weight: 1	Total Weight: 5
0.99/1.04	c Elapsed CPU time: 1.01984 s	Remaining CPU time: 1798.98 s
1.09/1.14	c core #6
1.09/1.14	c Core size: 127	Core Weight: 1	Total Weight: 6
1.09/1.14	c Elapsed CPU time: 1.11483 s	Remaining CPU time: 1798.89 s
1.19/1.24	c core #7
1.19/1.24	c Core size: 61	Core Weight: 1	Total Weight: 7
1.19/1.24	c Elapsed CPU time: 1.20982 s	Remaining CPU time: 1798.79 s
1.30/1.33	c core #8
1.30/1.33	c Core size: 30	Core Weight: 1	Total Weight: 8
1.30/1.33	c Elapsed CPU time: 1.3078 s	Remaining CPU time: 1798.69 s
1.39/1.43	c core #9
1.39/1.43	c Core size: 31	Core Weight: 1	Total Weight: 9
1.39/1.43	c Elapsed CPU time: 1.40379 s	Remaining CPU time: 1798.6 s
1.49/1.53	c core #10
1.49/1.53	c Core size: 30	Core Weight: 1	Total Weight: 10
1.49/1.53	c Elapsed CPU time: 1.50177 s	Remaining CPU time: 1798.5 s
1.59/1.63	c core #11
1.59/1.63	c Core size: 60	Core Weight: 1	Total Weight: 11
1.59/1.63	c Elapsed CPU time: 1.59776 s	Remaining CPU time: 1798.4 s
1.69/1.73	c core #12
1.69/1.73	c Core size: 31	Core Weight: 1	Total Weight: 12
1.69/1.73	c Elapsed CPU time: 1.69674 s	Remaining CPU time: 1798.3 s
1.79/1.83	c core #13
1.79/1.83	c Core size: 30	Core Weight: 1	Total Weight: 13
1.79/1.83	c Elapsed CPU time: 1.79573 s	Remaining CPU time: 1798.2 s
1.89/1.93	c core #14
1.89/1.93	c Core size: 31	Core Weight: 1	Total Weight: 14
1.89/1.93	c Elapsed CPU time: 1.89371 s	Remaining CPU time: 1798.11 s
1.99/2.03	c core #15
1.99/2.03	c Core size: 15	Core Weight: 1	Total Weight: 15
1.99/2.03	c Elapsed CPU time: 1.9957 s	Remaining CPU time: 1798 s
2.09/2.13	c core #16
2.09/2.13	c Core size: 26	Core Weight: 1	Total Weight: 16
2.09/2.13	c Elapsed CPU time: 2.09568 s	Remaining CPU time: 1797.9 s
2.89/2.94	c core #17
2.89/2.94	c Core size: 10830	Core Weight: 1	Total Weight: 17
2.89/2.94	c Elapsed CPU time: 2.91256 s	Remaining CPU time: 1797.09 s
2.99/3.07	c core #18
2.99/3.07	c Core size: 13	Core Weight: 1	Total Weight: 18
2.99/3.07	c Elapsed CPU time: 3.02954 s	Remaining CPU time: 1796.97 s
3.09/3.18	c core #19
3.09/3.18	c Core size: 145	Core Weight: 1	Total Weight: 19
3.09/3.18	c Elapsed CPU time: 3.14852 s	Remaining CPU time: 1796.85 s
3.30/3.31	c ============================[ Search Statistics ]==============================
3.30/3.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.30/3.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.30/3.31	c ===============================================================================
3.30/3.31	c |         0 |   15469   143338   202097 |    47779        0    nan |  0.000 % |
3.59/3.61	c ===============================================================================
3.59/3.62	c core #20
3.59/3.62	c Core size: 5558	Core Weight: 1	Total Weight: 20
3.59/3.62	c Elapsed CPU time: 3.57646 s	Remaining CPU time: 1796.42 s
3.69/3.76	c Learning 4 hard constraints
3.69/3.76	c ============================[ Search Statistics ]==============================
3.69/3.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.69/3.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.69/3.76	c ===============================================================================
3.69/3.76	c |         0 |   24870   143343   365912 |    47781        0    nan |  0.000 % |
4.89/4.93	c |       101 |   24870   143343   365912 |    52559      101    392 |  7.862 % |
6.39/6.44	c |       252 |   24868   143343   365912 |    57815      250    336 |  7.873 % |
11.69/11.75	c |       477 |   24860   143343   365912 |    63596      468    279 |  7.899 % |
13.89/13.99	c |       816 |   24856   143343   365912 |    69956      788    254 |  7.913 % |
26.79/26.89	c |      1322 |   24852   143343   365912 |    76951     1293    265 |  7.928 % |
29.98/30.09	c ===============================================================================
30.08/30.19	c core #21
30.08/30.19	c Core size: 22081	Core Weight: 1	Total Weight: 21
30.08/30.19	c Elapsed CPU time: 30.1134 s	Remaining CPU time: 1769.89 s
30.28/30.36	c Learning 77 hard constraints
30.28/30.36	c ============================[ Search Statistics ]==============================
30.28/30.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
30.28/30.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
30.28/30.36	c ===============================================================================
30.28/30.36	c |         0 |   32157   143421   382416 |    47807        0    nan |  0.000 % |
31.68/31.78	c |       100 |   32157   143421   382416 |    52587      100   1064 |  6.190 % |
42.38/42.46	c |       251 |   32157   143421   382416 |    57846      251   1834 |  6.190 % |
46.08/46.19	c |       479 |   32157   143421   382416 |    63631      479   1899 |  6.190 % |
59.88/59.90	c |       817 |   32156   143421   382416 |    69994      816   1271 |  6.193 % |
69.77/69.83	c |      1323 |   32156   143421   382416 |    76993     1322    938 |  6.193 % |
73.87/73.95	c |      2082 |   32156   143421   382416 |    84693     2081    716 |  6.193 % |
92.17/92.29	c |      3221 |   32156   143421   382416 |    93162     3220    668 |  6.193 % |
135.94/136.05	c |      4930 |   32155   143421   382416 |   102478     4928    656 |  6.196 % |
170.34/170.46	c |      7492 |   32154   143421   382416 |   112726     7490    585 |  6.199 % |
202.33/202.40	c |     11339 |   32153   143421   382416 |   123999    11328    596 |  6.202 % |
268.41/268.57	c |     17105 |   32151   143421   382416 |   136398    17084    714 |  6.208 % |
393.48/393.67	c |     25755 |   32151   143421   382416 |   150038    25727    925 |  6.208 % |
612.03/612.30	c |     38734 |   32145   143421   382416 |   165042    38632    862 |  6.228 % |
944.04/944.39	c |     58196 |   32142   143421   382416 |   181547    58060    847 |  6.234 % |
1446.12/1446.50	c |     87388 |   32138   143421   382416 |   199701    87190    888 |  6.246 % |

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-1875471-1245182337/watcher-1875471-1245182337 -o /tmp/evaluation-result-1875471-1245182337/solver-1875471-1245182337 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875471-1245182337.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5467
/proc/meminfo: memFree=1896240/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=7340 CPUtime=0
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 185834672 7516160 248 1992294400 134512640 135709839 4294956240 18446744073709551615 134547899 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 1835 248 122 292 0 418 0

[startup+0.02662 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5467
/proc/meminfo: memFree=1896240/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=9108 CPUtime=0.02
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 707 0 0 0 2 0 0 0 18 0 1 0 185834672 9326592 691 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 2277 691 153 292 0 860 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9108

[startup+0.101628 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5467
/proc/meminfo: memFree=1896240/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=11160 CPUtime=0.09
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 1282 0 0 0 9 0 0 0 18 0 1 0 185834672 11427840 1266 1992294400 134512640 135709839 4294956240 18446744073709551615 134540467 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 2790 1266 274 292 0 1373 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11160

[startup+0.301647 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5467
/proc/meminfo: memFree=1896240/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=13056 CPUtime=0.29
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 2076 0 0 0 29 0 0 0 19 0 1 0 185834672 13369344 2060 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 3264 2060 615 292 0 1847 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13056

[startup+0.701683 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5467
/proc/meminfo: memFree=1896240/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=17108 CPUtime=0.69
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 4860 0 0 0 68 1 0 0 22 0 1 0 185834672 17518592 3496 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 4277 3496 133 292 0 3982 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17108

[startup+1.50176 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5468
/proc/meminfo: memFree=1877928/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=21064 CPUtime=1.49
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 7599 0 0 0 146 3 0 0 25 0 1 0 185834672 21569536 4638 1992294400 134512640 135709839 4294956240 18446744073709551615 134605245 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 5266 4638 133 292 0 4971 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21064

[startup+3.10191 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5468
/proc/meminfo: memFree=1876904/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=24428 CPUtime=3.09
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 9539 0 0 0 306 3 0 0 25 0 1 0 185834672 25014272 5318 1992294400 134512640 135709839 4294956240 18446744073709551615 134605863 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 6107 5318 133 292 0 5812 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24428

[startup+6.3012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5468
/proc/meminfo: memFree=1875496/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=23244 CPUtime=6.29
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 10664 0 0 0 624 5 0 0 25 0 1 0 185834672 23801856 5157 1992294400 134512640 135709839 4294956240 18446744073709551615 134600574 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 5811 5157 136 292 0 5516 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23244

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5468
/proc/meminfo: memFree=1875624/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=23244 CPUtime=12.69
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 10664 0 0 0 1263 6 0 0 25 0 1 0 185834672 23801856 5157 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 5811 5157 136 292 0 5516 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23244

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5468
/proc/meminfo: memFree=1875560/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=23684 CPUtime=25.49
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 10748 0 0 0 2542 7 0 0 25 0 1 0 185834672 24252416 5241 1992294400 134512640 135709839 4294956240 18446744073709551615 134518593 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 5921 5241 136 292 0 5626 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23684

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5468
/proc/meminfo: memFree=1867304/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=32196 CPUtime=51.08
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 13244 0 0 0 5098 10 0 0 25 0 1 0 185834672 32968704 7279 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 8049 7279 136 292 0 7754 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32196

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5468
/proc/meminfo: memFree=1863784/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=35972 CPUtime=102.27
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 14172 0 0 0 10210 17 0 0 25 0 1 0 185834672 36835328 8207 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 8993 8207 136 292 0 8698 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 35972

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5474
/proc/meminfo: memFree=1853992/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=45952 CPUtime=162.24
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 16673 0 0 0 16200 24 0 0 25 0 1 0 185834672 47054848 10708 1992294400 134512640 135709839 4294956240 18446744073709551615 134518528 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 11488 10708 136 292 0 11193 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 45952

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5474
/proc/meminfo: memFree=1831912/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=67692 CPUtime=222.22
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 22115 0 0 0 22188 34 0 0 25 0 1 0 185834672 69316608 16150 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 16923 16150 136 292 0 16628 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 67692

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5474
/proc/meminfo: memFree=1806056/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=93780 CPUtime=282.21
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 28639 0 0 0 28170 51 0 0 25 0 1 0 185834672 96030720 22674 1992294400 134512640 135709839 4294956240 18446744073709551615 134577777 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 23445 22674 136 292 0 23150 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 93780

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5474
/proc/meminfo: memFree=1782760/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=116824 CPUtime=342.19
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 34387 0 0 0 34162 57 0 0 25 0 1 0 185834672 119627776 28422 1992294400 134512640 135709839 4294956240 18446744073709551615 134577307 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 29206 28422 136 292 0 28911 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 116824

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5474
/proc/meminfo: memFree=1751720/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=147876 CPUtime=402.17
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 42163 0 0 0 40149 68 0 0 25 0 1 0 185834672 151425024 36198 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 36969 36198 136 292 0 36674 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 147876

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5474
/proc/meminfo: memFree=1731688/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=167748 CPUtime=462.16
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 47100 0 0 0 46139 77 0 0 25 0 1 0 185834672 171773952 41135 1992294400 134512640 135709839 4294956240 18446744073709551615 134577687 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 41937 41135 136 292 0 41642 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 167748

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5474
/proc/meminfo: memFree=1717480/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=182212 CPUtime=522.15
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 50719 0 0 0 52129 86 0 0 25 0 1 0 185834672 186585088 44754 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 45553 44754 136 292 0 45258 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 182212

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5474
/proc/meminfo: memFree=1704488/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=195072 CPUtime=582.13
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 53937 0 0 0 58121 92 0 0 25 0 1 0 185834672 199753728 47972 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 48768 47972 136 292 0 48473 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 195072

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5474
/proc/meminfo: memFree=1687400/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=211864 CPUtime=642.12
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 58141 0 0 0 64113 99 0 0 25 0 1 0 185834672 216948736 52176 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 52966 52176 136 292 0 52671 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 211864

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5474
/proc/meminfo: memFree=1622248/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=276824 CPUtime=882.06
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 74394 0 0 0 88084 122 0 0 25 0 1 0 185834672 283467776 68429 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 69206 68429 136 292 0 68911 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 276824

[startup+942.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5474
/proc/meminfo: memFree=1608680/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=290528 CPUtime=942.04
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 77803 0 0 0 94077 127 0 0 25 0 1 0 185834672 297500672 71838 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 72632 71838 136 292 0 72337 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 290528

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5474
/proc/meminfo: memFree=1595112/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=303952 CPUtime=1002.03
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 81165 0 0 0 100071 132 0 0 25 0 1 0 185834672 311246848 75200 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 75988 75200 136 292 0 75693 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 303952

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5474
/proc/meminfo: memFree=1570472/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=328740 CPUtime=1062.01
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 87337 0 0 0 106060 141 0 0 25 0 1 0 185834672 336629760 81372 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 82185 81372 136 292 0 81890 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 328740

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5474
/proc/meminfo: memFree=1549544/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=349668 CPUtime=1122
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 92569 0 0 0 112051 149 0 0 25 0 1 0 185834672 358060032 86604 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 87417 86604 136 292 0 87122 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 349668

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5474
/proc/meminfo: memFree=1533608/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=365468 CPUtime=1181.99
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 96517 0 0 0 118042 157 0 0 25 0 1 0 185834672 374239232 90552 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 91367 90552 136 292 0 91072 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 365468

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5474
/proc/meminfo: memFree=1517224/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=381624 CPUtime=1241.97
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 100561 0 0 0 124036 161 0 0 25 0 1 0 185834672 390782976 94596 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 95406 94596 136 292 0 95111 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 381624

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5474
/proc/meminfo: memFree=1500328/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=398428 CPUtime=1301.96
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 104755 0 0 0 130029 167 0 0 25 0 1 0 185834672 407990272 98790 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 99607 98790 136 292 0 99312 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 398428

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5474
/proc/meminfo: memFree=1482088/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=416836 CPUtime=1361.94
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 109340 0 0 0 136022 172 0 0 25 0 1 0 185834672 426840064 103375 1992294400 134512640 135709839 4294956240 18446744073709551615 134577690 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 104209 103375 136 292 0 103914 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 416836

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5474
/proc/meminfo: memFree=1465064/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=433620 CPUtime=1421.93
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 113559 0 0 0 142016 177 0 0 25 0 1 0 185834672 444026880 107594 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 108405 107594 136 292 0 108110 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 433620

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5474
/proc/meminfo: memFree=1452968/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=445796 CPUtime=1481.91
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 116585 0 0 0 148009 182 0 0 25 0 1 0 185834672 456495104 110620 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 111449 110620 136 292 0 111154 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 445796

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5474
/proc/meminfo: memFree=1428264/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=470512 CPUtime=1541.9
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 122739 0 0 0 154000 190 0 0 25 0 1 0 185834672 481804288 116774 1992294400 134512640 135709839 4294956240 18446744073709551615 134577698 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 117628 116774 136 292 0 117333 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 470512

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5474
/proc/meminfo: memFree=1404840/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=494408 CPUtime=1601.88
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 128701 0 0 0 159991 197 0 0 25 0 1 0 185834672 506273792 122736 1992294400 134512640 135709839 4294956240 18446744073709551615 134577700 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 123602 122736 136 292 0 123307 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 494408

[startup+1662.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 5474
/proc/meminfo: memFree=1379752/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=519044 CPUtime=1661.86
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 134848 0 0 0 165983 203 0 0 25 0 1 0 185834672 531501056 128883 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 129761 128883 136 292 0 129466 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 519044

[startup+1722.3 s]
/proc/loadavg: 1.20 1.06 1.01 2/65 5474
/proc/meminfo: memFree=1352232/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=546904 CPUtime=1721.85
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 141819 0 0 0 171975 210 0 0 25 0 1 0 185834672 560029696 135854 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 136726 135854 136 292 0 136431 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 546904

[startup+1782.3 s]
/proc/loadavg: 1.07 1.04 1.00 2/65 5474
/proc/meminfo: memFree=1325992/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=572484 CPUtime=1781.84
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 148247 0 0 0 177967 217 0 0 25 0 1 0 185834672 586223616 142282 1992294400 134512640 135709839 4294956240 18446744073709551615 134601448 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 143121 142282 136 292 0 142826 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 572484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.05 1.04 1.00 2/65 5474
/proc/meminfo: memFree=1319784/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=578668 CPUtime=1800.04
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 149777 0 0 0 179785 219 0 0 25 0 1 0 185834672 592556032 143812 1992294400 134512640 135709839 4294956240 18446744073709551615 134518529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 144667 143812 136 292 0 144372 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 578668

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

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

[startup+1800.5 s]
/proc/loadavg: 1.05 1.04 1.00 2/65 5474
/proc/meminfo: memFree=1319784/2055920 swapFree=4191900/4192956
[pid=5467] ppid=5465 vsize=578668 CPUtime=1800.04
/proc/5467/stat : 5467 (wbo) R 5465 5467 5132 0 -1 4194304 149777 0 0 0 179785 219 0 0 25 0 1 0 185834672 592556032 143812 1992294400 134512640 135709839 4294956240 18446744073709551615 134518529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5467/statm: 144667 143812 136 292 0 144372 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 578668

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.6
CPU time (s): 1800.14
CPU user time (s): 1797.86
CPU system time (s): 2.28265
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 578668

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

runsolver used 1.27181 second user time and 3.87941 second system time

The end

Launcher Data 

Begin job on node14 at 2009-06-16 21:58:57
IDJOB=1875471
IDBENCH=24993
IDSOLVER=698
FILE ID=node14/1875471-1245182337
PBS_JOBID= 9363914
Free space on /tmp= 66372 MiB

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

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

MD5SUM BENCH= d5b07a268537d19686adcc507787a673
RANDOM SEED=1751611489

node14.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.234
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.234
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:       1896720 kB
Buffers:         42524 kB
Cached:          61740 kB
SwapCached:        388 kB
Active:          52452 kB
Inactive:        65264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1896720 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            6856 kB
Writeback:           0 kB
Mapped:          21800 kB
Slab:            27440 kB
Committed_AS:   181740 kB
PageTables:       1452 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-1875471-1245182337.opb

Free space on /tmp at the end= 66368 MiB
End job on node14 at 2009-06-16 22:29:00