Trace number 1875481

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.2 1800.73

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir09_area_delay.opb
MD5SUM5a18fe98bad06341d01eaf33ecb4f046
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark182.603
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 variables13487
Total number of constraints57800
Number of constraints which are clauses57800
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 6486
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 6486
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6486
Number of bits of the biggest sum of numbers13
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-1875481-1245183370.opb.
0.00/0.00	c Instance file HOME/instance-1875481-1245183370.opb
0.00/0.00	c File size is 1871109 bytes.
0.19/0.27	c Highest Coefficient sum: 255
0.19/0.28	c ============================[ Problem Statistics ]=============================
0.19/0.28	c |                                                                             |
0.19/0.28	c |  Parsing time:          0.27         s                                      |
0.19/0.28	c |  Number Variables:      13487                                               |
0.19/0.28	c |  Number Clauses:        64286                                               |
0.19/0.28	c |  Number Cardinality:    0                                                   |
0.19/0.28	c |  Number PB Constraints: 0                                                   |
0.19/0.28	c core #1
0.19/0.28	c Core size: 255	Core Weight: 1	Total Weight: 1
0.19/0.28	c Elapsed CPU time: 0.272958 s	Remaining CPU time: 1799.73 s
0.29/0.33	c core #2
0.29/0.33	c Core size: 7	Core Weight: 1	Total Weight: 2
0.29/0.33	c Elapsed CPU time: 0.317951 s	Remaining CPU time: 1799.68 s
0.29/0.37	c core #3
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 3
0.29/0.37	c Elapsed CPU time: 0.363944 s	Remaining CPU time: 1799.64 s
0.39/0.42	c core #4
0.39/0.42	c Core size: 537	Core Weight: 1	Total Weight: 4
0.39/0.42	c Elapsed CPU time: 0.412937 s	Remaining CPU time: 1799.59 s
0.39/0.48	c core #5
0.39/0.48	c Core size: 127	Core Weight: 1	Total Weight: 5
0.39/0.48	c Elapsed CPU time: 0.465929 s	Remaining CPU time: 1799.53 s
0.49/0.53	c core #6
0.49/0.53	c Core size: 125	Core Weight: 1	Total Weight: 6
0.49/0.53	c Elapsed CPU time: 0.518921 s	Remaining CPU time: 1799.48 s
0.49/0.58	c core #7
0.49/0.58	c Core size: 30	Core Weight: 1	Total Weight: 7
0.49/0.58	c Elapsed CPU time: 0.571913 s	Remaining CPU time: 1799.43 s
0.59/0.64	c core #8
0.59/0.64	c Core size: 31	Core Weight: 1	Total Weight: 8
0.59/0.64	c Elapsed CPU time: 0.625904 s	Remaining CPU time: 1799.37 s
0.59/0.69	c core #9
0.59/0.69	c Core size: 91	Core Weight: 1	Total Weight: 9
0.59/0.69	c Elapsed CPU time: 0.679896 s	Remaining CPU time: 1799.32 s
0.69/0.75	c core #10
0.69/0.75	c Core size: 31	Core Weight: 1	Total Weight: 10
0.69/0.75	c Elapsed CPU time: 0.735888 s	Remaining CPU time: 1799.26 s
0.79/0.80	c core #11
0.79/0.80	c Core size: 63	Core Weight: 1	Total Weight: 11
0.79/0.80	c Elapsed CPU time: 0.790879 s	Remaining CPU time: 1799.21 s
0.99/1.06	c core #12
0.99/1.06	c Core size: 5738	Core Weight: 1	Total Weight: 12
0.99/1.06	c Elapsed CPU time: 1.04484 s	Remaining CPU time: 1798.96 s
1.09/1.12	c ============================[ Search Statistics ]==============================
1.09/1.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.09/1.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.09/1.12	c ===============================================================================
1.09/1.12	c |         0 |   10445    64298   107722 |    21432        0    nan |  0.000 % |
4.49/4.53	c ===============================================================================
4.49/4.53	c core #13
4.49/4.53	c Core size: 614	Core Weight: 1	Total Weight: 13
4.49/4.53	c Elapsed CPU time: 4.51531 s	Remaining CPU time: 1795.48 s
4.49/4.60	c Learning 1 hard constraints
4.49/4.60	c ============================[ Search Statistics ]==============================
4.49/4.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.49/4.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.49/4.60	c ===============================================================================
4.49/4.60	c |         0 |   10770    64300   110260 |    21433        0    nan |  0.000 % |
5.49/5.50	c |       100 |   10770    64300   110260 |    23576      100    221 | 37.406 % |
5.59/5.61	c ===============================================================================
5.59/5.61	c core #14
5.59/5.61	c Core size: 6858	Core Weight: 1	Total Weight: 14
5.59/5.61	c Elapsed CPU time: 5.59215 s	Remaining CPU time: 1794.41 s
5.59/5.68	c ============================[ Search Statistics ]==============================
5.59/5.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.59/5.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.59/5.68	c ===============================================================================
5.59/5.68	c |         0 |   14609    64301   124473 |    21433        0    nan |  0.000 % |
8.69/8.71	c |       100 |   14609    64301   124473 |    23577      100    405 | 28.569 % |
9.08/9.15	c |       250 |   14609    64301   124473 |    25934      250    204 | 28.569 % |
10.39/10.46	c |       476 |   14609    64301   124473 |    28528      476    226 | 28.569 % |
11.39/11.48	c |       814 |   14609    64301   124473 |    31381      814    189 | 28.569 % |
14.09/14.16	c |      1322 |   14609    64301   124473 |    34519     1322    171 | 28.569 % |
16.39/16.46	c |      2081 |   14609    64301   124473 |    37971     2081    149 | 28.569 % |
19.88/19.95	c |      3220 |   14609    64301   124473 |    41768     3220    154 | 28.569 % |
25.29/25.38	c |      4928 |   14609    64301   124473 |    45944     4928    163 | 28.569 % |
33.48/33.57	c |      7490 |   14609    64301   124473 |    50539     7490    169 | 28.569 % |
47.37/47.42	c |     11335 |   14609    64301   124473 |    55593    11335    192 | 28.569 % |
60.77/60.84	c ===============================================================================
60.97/61.09	c core #15
60.97/61.09	c Core size: 9641	Core Weight: 1	Total Weight: 15
60.97/61.09	c Elapsed CPU time: 60.9347 s	Remaining CPU time: 1739.07 s
61.08/61.18	c Learning 9 hard constraints
61.08/61.18	c ============================[ Search Statistics ]==============================
61.08/61.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
61.08/61.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
61.08/61.18	c ===============================================================================
61.08/61.18	c |         0 |   21073    64311   153240 |    21437        0    nan |  0.000 % |
61.27/61.31	c |       105 |   21073    64311   153240 |    23580      105    224 | 15.018 % |
61.47/61.59	c |       255 |   21073    64311   153240 |    25938      255    168 | 15.018 % |
65.98/66.06	c |       481 |   21073    64311   153240 |    28532      481    444 | 15.018 % |
66.67/66.75	c |       819 |   21073    64311   153240 |    31385      819    290 | 15.018 % |
69.97/70.00	c |      1328 |   21073    64311   153240 |    34524     1328    237 | 15.018 % |
71.57/71.68	c |      2087 |   21073    64311   153240 |    37976     2087    200 | 15.018 % |
74.57/74.62	c |      3229 |   21073    64311   153240 |    41774     3229    191 | 15.018 % |
81.16/81.21	c |      4940 |   21073    64311   153240 |    45952     4940    177 | 15.018 % |
90.46/90.59	c |      7502 |   21073    64311   153240 |    50547     7502    165 | 15.018 % |
107.86/107.91	c |     11346 |   21070    64311   153240 |    55602    11345    200 | 15.030 % |
154.85/154.98	c |     17116 |   21070    64311   153240 |    61162    17115    354 | 15.030 % |
201.03/201.18	c |     25765 |   21070    64311   153240 |    67278    25762    333 | 15.030 % |
263.71/263.86	c |     38741 |   21070    64311   153240 |    74006    38738    354 | 15.030 % |
392.67/392.82	c |     58202 |   21070    64311   153240 |    81406    58199    375 | 15.030 % |
616.52/616.78	c |     87394 |   21069    64311   153240 |    89547    17936    393 | 15.034 % |
965.21/965.58	c |    131183 |   21069    64311   153240 |    98502    61725    646 | 15.034 % |
1452.67/1453.16	c |    196870 |   21069    64311   153240 |   108352    40791    584 | 15.034 % |

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-1875481-1245183370/watcher-1875481-1245183370 -o /tmp/evaluation-result-1875481-1245183370/solver-1875481-1245183370 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875481-1245183370.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 6120
/proc/meminfo: memFree=1866288/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=4680 CPUtime=0
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 269 0 0 0 0 0 0 0 18 0 1 0 185936975 4792320 253 1992294400 134512640 135709839 4294956240 18446744073709551615 134570447 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 1170 253 122 292 0 418 0

[startup+0.0446819 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6120
/proc/meminfo: memFree=1866288/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=6644 CPUtime=0.03
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 783 0 0 0 3 0 0 0 18 0 1 0 185936975 6803456 767 1992294400 134512640 135709839 4294956240 18446744073709551615 134547984 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 1661 767 182 292 0 909 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6644

[startup+0.101687 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6120
/proc/meminfo: memFree=1866288/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=7444 CPUtime=0.09
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 1083 0 0 0 9 0 0 0 18 0 1 0 185936975 7622656 1067 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 1861 1068 271 292 0 1109 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7444

[startup+0.30171 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6120
/proc/meminfo: memFree=1866288/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=10304 CPUtime=0.29
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 2558 0 0 0 29 0 0 0 19 0 1 0 185936975 10551296 2053 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 2576 2054 133 292 0 2281 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10304

[startup+0.701755 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6120
/proc/meminfo: memFree=1866288/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=12828 CPUtime=0.69
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 4232 0 0 0 68 1 0 0 22 0 1 0 185936975 13135872 2677 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 3207 2678 133 292 0 2912 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12828

[startup+1.50185 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1855656/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=13828 CPUtime=1.49
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 4714 0 0 0 147 2 0 0 25 0 1 0 185936975 14159872 2859 1992294400 134512640 135709839 4294956240 18446744073709551615 134577792 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 3457 2859 135 292 0 3162 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13828

[startup+3.10103 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1855080/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=13828 CPUtime=3.09
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 4714 0 0 0 307 2 0 0 25 0 1 0 185936975 14159872 2859 1992294400 134512640 135709839 4294956240 18446744073709551615 134601448 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 3457 2859 135 292 0 3162 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13828

[startup+6.30139 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1854248/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=15236 CPUtime=6.29
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 5086 0 0 0 627 2 0 0 25 0 1 0 185936975 15601664 3231 1992294400 134512640 135709839 4294956240 18446744073709551615 134577692 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 3809 3231 136 292 0 3514 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15236

[startup+12.7011 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1853624/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=15236 CPUtime=12.69
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 5086 0 0 0 1266 3 0 0 25 0 1 0 185936975 15601664 3231 1992294400 134512640 135709839 4294956240 18446744073709551615 134577653 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 3809 3231 136 292 0 3514 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15236

[startup+25.5016 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1852472/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=16160 CPUtime=25.48
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 5403 0 0 0 2543 5 0 0 25 0 1 0 185936975 16547840 3548 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 4040 3548 136 292 0 3745 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16160

[startup+51.1015 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1842616/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=26100 CPUtime=51.07
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 7901 0 0 0 5095 12 0 0 25 0 1 0 185936975 26726400 6046 1992294400 134512640 135709839 4294956240 18446744073709551615 134518518 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 6525 6046 136 292 0 6230 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 26100

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1831416/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=37416 CPUtime=102.26
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 10852 0 0 0 10205 21 0 0 25 0 1 0 185936975 38313984 8776 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 9354 8776 136 292 0 9059 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 37416

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1818424/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=50336 CPUtime=162.24
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 14116 0 0 0 16194 30 0 0 25 0 1 0 185936975 51544064 12040 1992294400 134512640 135709839 4294956240 18446744073709551615 134573723 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 12584 12040 136 292 0 12289 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 50336

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1796280/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=72436 CPUtime=222.23
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 19652 0 0 0 22181 42 0 0 25 0 1 0 185936975 74174464 17576 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 18109 17576 136 292 0 17814 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 72436

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1771000/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=97656 CPUtime=282.21
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 25945 0 0 0 28169 52 0 0 25 0 1 0 185936975 99999744 23869 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 24414 23869 136 292 0 24119 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 97656

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1750200/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=118356 CPUtime=342.19
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 31102 0 0 0 34158 61 0 0 25 0 1 0 185936975 121196544 29026 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 29589 29026 136 292 0 29294 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 118356

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1729208/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=139520 CPUtime=402.17
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 36378 0 0 0 40147 70 0 0 25 0 1 0 185936975 142868480 34302 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 34880 34302 136 292 0 34585 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 139520

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1707384/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=161288 CPUtime=462.15
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 41802 0 0 0 46135 80 0 0 25 0 1 0 185936975 165158912 39726 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 40322 39726 136 292 0 40027 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 161288

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1683384/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=185068 CPUtime=522.14
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 47766 0 0 0 52122 92 0 0 25 0 1 0 185936975 189509632 45690 1992294400 134512640 135709839 4294956240 18446744073709551615 134577726 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 46267 45690 136 292 0 45972 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 185068

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1662456/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=205904 CPUtime=582.12
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 52977 0 0 0 58111 101 0 0 25 0 1 0 185936975 210845696 50901 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 51476 50901 136 292 0 51181 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 205904

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1636408/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=231708 CPUtime=642.1
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 59424 0 0 0 64099 111 0 0 25 0 1 0 185936975 237268992 57348 1992294400 134512640 135709839 4294956240 18446744073709551615 134518157 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 57927 57348 136 292 0 57632 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 231708

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1513336/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=354768 CPUtime=882.03
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 90140 0 0 0 88050 153 0 0 25 0 1 0 185936975 363282432 88064 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 88692 88064 136 292 0 88397 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 354768

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1491128/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=376972 CPUtime=942.02
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 95695 0 0 0 94041 161 0 0 25 0 1 0 185936975 386019328 93619 1992294400 134512640 135709839 4294956240 18446744073709551615 134577661 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 94243 93619 136 292 0 93948 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 376972

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1469176/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=398912 CPUtime=1002
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 101162 0 0 0 100030 170 0 0 25 0 1 0 185936975 408485888 99086 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 99728 99086 136 292 0 99433 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 398912

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1443192/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=425096 CPUtime=1061.98
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 107703 0 0 0 106019 179 0 0 25 0 1 0 185936975 435298304 105627 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 106274 105627 136 292 0 105979 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 425096

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1419320/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=449152 CPUtime=1121.97
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 113695 0 0 0 112009 188 0 0 25 0 1 0 185936975 459931648 111619 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 112288 111619 136 292 0 111993 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 449152

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1388088/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=480004 CPUtime=1181.95
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 121420 0 0 0 117998 197 0 0 25 0 1 0 185936975 491524096 119344 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 120001 119344 136 292 0 119706 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 480004

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1361144/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=507064 CPUtime=1241.93
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 128122 0 0 0 123987 206 0 0 25 0 1 0 185936975 519233536 126046 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 126766 126046 136 292 0 126471 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 507064

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1337592/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=530356 CPUtime=1301.92
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 133941 0 0 0 129977 215 0 0 25 0 1 0 185936975 543084544 131865 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 132589 131865 136 292 0 132294 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 530356

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1301112/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=566992 CPUtime=1361.89
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 143092 0 0 0 135962 227 0 0 25 0 1 0 185936975 580599808 141016 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 141748 141016 136 292 0 141453 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 566992

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1277112/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=590820 CPUtime=1421.88
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 149046 0 0 0 141951 237 0 0 25 0 1 0 185936975 604999680 146970 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 147705 146970 136 292 0 147410 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 590820

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1252792/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=615424 CPUtime=1481.86
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 155202 0 0 0 147939 247 0 0 25 0 1 0 185936975 630194176 153126 1992294400 134512640 135709839 4294956240 18446744073709551615 134572299 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 153856 153126 136 292 0 153561 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 615424

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1225656/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=642188 CPUtime=1541.84
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 161900 0 0 0 153928 256 0 0 25 0 1 0 185936975 657600512 159824 1992294400 134512640 135709839 4294956240 18446744073709551615 134518145 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 160547 159824 136 292 0 160252 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 642188

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1198968/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=669100 CPUtime=1601.83
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 168627 0 0 0 159917 266 0 0 25 0 1 0 185936975 685158400 166551 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 167275 166551 136 292 0 166980 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 669100

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1168824/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=698900 CPUtime=1661.81
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 176076 0 0 0 165904 277 0 0 25 0 1 0 185936975 715673600 174000 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 174725 174000 136 292 0 174430 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 698900

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1136440/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=731524 CPUtime=1721.79
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 184217 0 0 0 171890 289 0 0 25 0 1 0 185936975 749080576 182141 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 182881 182141 136 292 0 182586 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 731524

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1108472/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=759356 CPUtime=1781.77
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 191172 0 0 0 177879 298 0 0 25 0 1 0 185936975 777580544 189096 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 189839 189096 136 292 0 189544 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 759356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1101944/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=765576 CPUtime=1800.07
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4194304 192734 0 0 0 179707 300 0 0 25 0 1 0 185936975 783949824 190658 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 191394 190658 136 292 0 191099 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 765576

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: 0.99 0.98 0.99 2/65 6121
/proc/meminfo: memFree=1101944/2055920 swapFree=4182468/4192956
[pid=6120] ppid=6118 vsize=0 CPUtime=1800.17
/proc/6120/stat : 6120 (wbo) R 6118 6120 5809 0 -1 4195332 192734 0 0 0 179707 310 0 0 25 0 1 0 185936975 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/6120/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.73
CPU time (s): 1800.2
CPU user time (s): 1797.08
CPU system time (s): 3.12652
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 765576

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

runsolver used 1.3008 second user time and 3.82642 second system time

The end

Launcher Data 

Begin job on node23 at 2009-06-16 22:16:11
IDJOB=1875481
IDBENCH=25003
IDSOLVER=698
FILE ID=node23/1875481-1245183370
PBS_JOBID= 9363923
Free space on /tmp= 66268 MiB

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

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

MD5SUM BENCH= 5a18fe98bad06341d01eaf33ecb4f046
RANDOM SEED=1623397320

node23.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.236
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.236
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:       1866768 kB
Buffers:         44120 kB
Cached:          82816 kB
SwapCached:       4304 kB
Active:          62420 kB
Inactive:        72472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1866768 kB
SwapTotal:     4192956 kB
SwapFree:      4182468 kB
Dirty:            4204 kB
Writeback:           0 kB
Mapped:          14576 kB
Slab:            40300 kB
Committed_AS:   165092 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-1875481-1245183370.opb

Free space on /tmp at the end= 66268 MiB
End job on node23 at 2009-06-16 22:46:13