Trace number 2655820

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 NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b? (TO) 1800.07 1800.54

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir08_area_partials.opb
MD5SUM7a3c9826bd8191760f7756d2d26889fa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark49
Best CPU time to get the best result obtained on this benchmark1177.54
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 49
Optimality of the best value was proved YES
Number of variables40727
Total number of constraints174550
Number of constraints which are clauses174550
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 constraint1018
Number of terms in the objective function 1821
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 1821
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1821
Number of bits of the biggest sum of numbers11
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 wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2655820-1276642552.opb.
0.00/0.00	c Instance file HOME/instance-2655820-1276642552.opb
0.00/0.00	c File size is 5565873 bytes.
0.89/0.96	c Highest Coefficient sum: 1019
0.89/0.96	c ============================[ Problem Statistics ]=============================
0.89/0.96	c |                                                                             |
0.89/0.96	c |  Parsing time:          0.94         s                                      |
0.89/0.96	c |  Number Variables:      40727                                               |
0.89/0.96	c |  Number Clauses:        174550                                              |
0.89/0.96	c |  Number Cardinality:    0                                                   |
0.89/0.96	c |  Number PB Constraints: 0                                                   |
80.96/81.08	c ============================[ Search Statistics ]==============================
80.96/81.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
80.96/81.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
80.96/81.08	c ===============================================================================
80.96/81.08	c |         0 |   40676   174559   447272 |    58183        0    nan |  0.000 % |
81.06/81.14	c ===============================================================================
81.06/81.14	c New solution: 54
81.06/81.14	o 54
81.06/81.14	c Elapsed CPU time: 81.0007 s	Remaining CPU time: 98.9993 s
81.06/81.14	c ===============================================================================
81.06/81.14	c |         2 |   40676   174560   449093 |    58186        2     29 |  0.000 % |
81.16/81.24	c |       103 |   40676   174560   449093 |    64005      103   1097 |  0.125 % |
81.56/81.65	c |       254 |   40676   174560   449093 |    70405      254    509 |  0.125 % |
82.37/82.47	c |       481 |   40676   174560   449093 |    77446      481    395 |  0.125 % |
83.76/83.86	c |       819 |   40676   174560   449093 |    85191      819    281 |  0.125 % |
85.96/86.01	c |      1326 |   40676   174560   449093 |    93710     1326    221 |  0.125 % |
87.36/87.44	c |      2085 |   40676   174560   449093 |   103081     2085    199 |  0.125 % |
90.16/90.24	c |      3224 |   40676   174560   449093 |   113389     3224    175 |  0.125 % |
96.85/96.96	c |      4933 |   40676   174560   449093 |   124728     4933    167 |  0.125 % |
108.06/108.18	c |      7495 |   40676   174560   449093 |   137201     7495    162 |  0.125 % |
123.45/123.55	c |     11339 |   40676   174560   449093 |   150921    11339    182 |  0.125 % |
140.04/140.13	c |     17106 |   40676   174560   449093 |   166013    17106    198 |  0.125 % |
178.83/178.95	c |     25757 |   40676   174560   449093 |   182614    25757    173 |  0.125 % |
180.44/180.53	c There are 51 assigned variables. 42 in cost function.
181.35/181.42	c core #1
181.35/181.42	c core #2
181.35/181.42	c core #3
181.35/181.42	c core #4
181.35/181.42	c ============================[ Search Statistics ]==============================
181.35/181.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.35/181.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.35/181.42	c ===============================================================================
181.35/181.42	c |         0 |   22739   176344   345791 |    58781        0    nan |  0.000 % |
181.84/181.98	c ===============================================================================
182.04/182.18	c core #5
182.04/182.18	c ============================[ Search Statistics ]==============================
182.04/182.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.04/182.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.04/182.18	c ===============================================================================
182.04/182.18	c |         0 |   42182   176345   452755 |    58781        0    nan |  0.000 % |
182.63/182.77	c |       101 |   42182   176345   452755 |    64659      101    118 |  1.653 % |
183.93/184.05	c |       252 |   42182   176345   452755 |    71125      252    106 |  1.653 % |
186.43/186.51	c |       477 |   42182   176345   452755 |    78238      477    222 |  1.653 % |
188.74/188.84	c |       823 |   42182   176345   452755 |    86062      823    358 |  1.653 % |
192.23/192.37	c |      1334 |   42182   176345   452755 |    94668     1334    366 |  1.653 % |
195.83/195.99	c |      2095 |   42181   176345   452755 |   104135     2094    302 |  1.655 % |
201.63/201.75	c |      3236 |   42180   176345   452755 |   114548     3234    261 |  1.658 % |
211.73/211.89	c |      4944 |   42180   176345   452755 |   126003     4942    254 |  1.658 % |
230.42/230.56	c |      7507 |   42180   176345   452755 |   138604     7505    295 |  1.658 % |
256.23/256.35	c |     11354 |   42180   176345   452755 |   152464    11352    319 |  1.658 % |
296.91/297.01	c ===============================================================================
297.31/297.47	c core #6
297.31/297.47	c ============================[ Search Statistics ]==============================
297.31/297.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
297.31/297.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
297.31/297.47	c ===============================================================================
297.31/297.47	c |         0 |   44580   176356   460250 |    58785        0    nan |  0.000 % |
298.11/298.24	c |       104 |   44580   176356   460250 |    64663      104    576 |  0.210 % |
298.71/298.85	c |       255 |   44580   176356   460250 |    71130      255    483 |  0.210 % |
300.41/300.54	c |       480 |   44580   176356   460250 |    78243      480    355 |  0.210 % |
301.90/302.06	c |       819 |   44580   176356   460250 |    86067      819    252 |  0.210 % |
304.01/304.19	c |      1327 |   44580   176356   460250 |    94674     1327    194 |  0.210 % |
306.90/307.00	c |      2086 |   44580   176356   460250 |   104141     2086    174 |  0.210 % |
312.79/312.92	c |      3227 |   44580   176356   460250 |   114555     3227    193 |  0.210 % |
325.09/325.27	c |      4935 |   44580   176356   460250 |   126011     4935    371 |  0.210 % |
334.89/335.06	c |      7498 |   44580   176356   460250 |   138612     7498    320 |  0.210 % |
351.48/351.64	c |     11343 |   44580   176356   460250 |   152474    11343    261 |  0.210 % |
374.08/374.29	c |     17111 |   44580   176356   460250 |   167721    17111    238 |  0.210 % |
415.47/415.64	c |     25764 |   44580   176356   460250 |   184493    25764    230 |  0.210 % |
489.85/490.06	c |     38740 |   44580   176356   460250 |   202942    38740    234 |  0.210 % |
606.82/607.03	c |     58201 |   44580   176356   460250 |   223237    58201    236 |  0.210 % |
795.37/795.64	c |     87393 |   44580   176356   460250 |   245560    87393    237 |  0.210 % |
1059.81/1060.12	c |    131183 |   44580   176356   460250 |   270117   131183    230 |  0.210 % |
1596.67/1597.19	c |    196869 |   44580   176356   460250 |   297128   196869    260 |  0.210 % |

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-2655820-1276642552/watcher-2655820-1276642552 -o /tmp/evaluation-result-2655820-1276642552/solver-2655820-1276642552 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655820-1276642552.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.05 1.01 1.09 2/106 5711
/proc/meminfo: memFree=1805896/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=8480 CPUtime=0
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 405 0 0 0 0 0 0 0 20 0 1 0 39841669 8683520 324 1992294400 134512640 135751879 4290310032 18446744073709551615 134564494 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 2120 324 143 303 0 456 0

[startup+0.0519081 s]
/proc/loadavg: 1.05 1.01 1.09 2/106 5711
/proc/meminfo: memFree=1805896/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=9464 CPUtime=0.05
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 711 0 0 0 5 0 0 0 23 0 1 0 39841669 9691136 630 1992294400 134512640 135751879 4290310032 18446744073709551615 135225271 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 2366 631 211 303 0 702 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9464

[startup+0.101913 s]
/proc/loadavg: 1.05 1.01 1.09 2/106 5711
/proc/meminfo: memFree=1805896/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=11436 CPUtime=0.09
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 1168 0 0 0 9 0 0 0 23 0 1 0 39841669 11710464 1087 1992294400 134512640 135751879 4290310032 18446744073709551615 134564716 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 2859 1087 288 303 0 1195 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11436

[startup+0.300933 s]
/proc/loadavg: 1.05 1.01 1.09 2/106 5711
/proc/meminfo: memFree=1805896/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=16292 CPUtime=0.29
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 2569 0 0 0 28 1 0 0 23 0 1 0 39841669 16683008 2455 1992294400 134512640 135751879 4290310032 18446744073709551615 135225251 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 4073 2456 577 303 0 2409 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16292

[startup+0.700974 s]
/proc/loadavg: 1.05 1.01 1.09 2/106 5711
/proc/meminfo: memFree=1805896/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=20444 CPUtime=0.69
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 4305 0 0 0 68 1 0 0 25 0 1 0 39841669 20934656 4151 1992294400 134512640 135751879 4290310032 18446744073709551615 135225284 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 5111 4151 1140 303 0 3447 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20444

[startup+1.50105 s]
/proc/loadavg: 1.05 1.01 1.09 2/107 5712
/proc/meminfo: memFree=1782824/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=33760 CPUtime=1.49
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 9426 0 0 0 146 3 0 0 25 0 1 0 39841669 34570240 7719 1992294400 134512640 135751879 4290310032 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 8440 7719 144 303 0 8135 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33760

[startup+3.10021 s]
/proc/loadavg: 1.05 1.01 1.09 2/107 5712
/proc/meminfo: memFree=1774888/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=34024 CPUtime=3.09
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 9482 0 0 0 305 4 0 0 25 0 1 0 39841669 34840576 7775 1992294400 134512640 135751879 4290310032 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 8506 7775 144 303 0 8201 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34024

[startup+6.30154 s]
/proc/loadavg: 1.05 1.01 1.09 2/107 5712
/proc/meminfo: memFree=1774888/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=34024 CPUtime=6.29
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 9495 0 0 0 624 5 0 0 25 0 1 0 39841669 34840576 7788 1992294400 134512640 135751879 4290310032 18446744073709551615 134524578 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 8506 7788 145 303 0 8201 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34024

[startup+12.7012 s]
/proc/loadavg: 1.04 1.01 1.09 2/107 5712
/proc/meminfo: memFree=1774640/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=34420 CPUtime=12.69
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 9598 0 0 0 1263 6 0 0 25 0 1 0 39841669 35246080 7891 1992294400 134512640 135751879 4290310032 18446744073709551615 134526936 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 8605 7891 145 303 0 8300 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34420

[startup+25.5015 s]
/proc/loadavg: 1.03 1.01 1.09 2/107 5712
/proc/meminfo: memFree=1773648/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=35344 CPUtime=25.49
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 9832 0 0 0 2542 7 0 0 25 0 1 0 39841669 36192256 8125 1992294400 134512640 135751879 4290310032 18446744073709551615 135220979 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 8836 8125 145 303 0 8531 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35344

[startup+51.101 s]
/proc/loadavg: 1.02 1.01 1.08 2/107 5714
/proc/meminfo: memFree=1771292/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=37588 CPUtime=51.07
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 10393 0 0 0 5098 9 0 0 25 0 1 0 39841669 38490112 8686 1992294400 134512640 135751879 4290310032 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 9397 8686 145 303 0 9092 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 37588

[startup+102.309 s]
/proc/loadavg: 1.01 1.00 1.08 2/107 5714
/proc/meminfo: memFree=1769060/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=39140 CPUtime=102.27
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 11552 0 0 0 10209 18 0 0 25 0 1 0 39841669 40079360 9086 1992294400 134512640 135751879 4290310032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 9785 9086 147 303 0 9480 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 39140

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 5716
/proc/meminfo: memFree=1769060/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=39140 CPUtime=162.24
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 11575 0 0 0 16181 43 0 0 25 0 1 0 39841669 40079360 9109 1992294400 134512640 135751879 4290310032 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 9785 9109 147 303 0 9480 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 39140

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 5718
/proc/meminfo: memFree=1761496/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=46244 CPUtime=222.22
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 16058 0 0 0 22164 58 0 0 25 0 1 0 39841669 47353856 10988 1992294400 134512640 135751879 4290310032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 11561 10988 151 303 0 11256 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 46244

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 5720
/proc/meminfo: memFree=1761496/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=46244 CPUtime=282.21
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 16058 0 0 0 28154 67 0 0 25 0 1 0 39841669 47353856 10988 1992294400 134512640 135751879 4290310032 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 11561 10988 151 303 0 11256 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 46244

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 5731
/proc/meminfo: memFree=1746492/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=60948 CPUtime=342.19
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 19620 0 0 0 34139 80 0 0 25 0 1 0 39841669 62410752 14550 1992294400 134512640 135751879 4290310032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 15237 14550 151 303 0 14932 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 60948

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 5731
/proc/meminfo: memFree=1741904/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=66136 CPUtime=402.17
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 20936 0 0 0 40126 91 0 0 25 0 1 0 39841669 67723264 15866 1992294400 134512640 135751879 4290310032 18446744073709551615 134620388 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 16534 15866 151 303 0 16229 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 66136

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 5733
/proc/meminfo: memFree=1728760/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=79140 CPUtime=462.15
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 24179 0 0 0 46112 103 0 0 25 0 1 0 39841669 81039360 19109 1992294400 134512640 135751879 4290310032 18446744073709551615 134620406 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 19785 19109 151 303 0 19480 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 79140

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 5735
/proc/meminfo: memFree=1716236/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=92064 CPUtime=522.14
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 27370 0 0 0 52100 114 0 0 25 0 1 0 39841669 94273536 22300 1992294400 134512640 135751879 4290310032 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 23016 22300 151 303 0 22711 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 92064

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 5737
/proc/meminfo: memFree=1705448/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=102672 CPUtime=582.12
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 30007 0 0 0 58088 124 0 0 25 0 1 0 39841669 105136128 24937 1992294400 134512640 135751879 4290310032 18446744073709551615 134616225 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 25668 24937 151 303 0 25363 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 102672

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.03 3/107 5739
/proc/meminfo: memFree=1694040/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=114100 CPUtime=642.12
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 32835 0 0 0 64076 136 0 0 25 0 1 0 39841669 116838400 27765 1992294400 134512640 135751879 4290310032 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 28525 27765 151 303 0 28220 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 114100

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5745
/proc/meminfo: memFree=1650020/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=158124 CPUtime=882.05
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 43805 0 0 0 88026 179 0 0 25 0 1 0 39841669 161918976 38735 1992294400 134512640 135751879 4290310032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 39531 38735 151 303 0 39226 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 158124

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5747
/proc/meminfo: memFree=1639852/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=168240 CPUtime=942.04
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 46350 0 0 0 94012 192 0 0 25 0 1 0 39841669 172277760 41280 1992294400 134512640 135751879 4290310032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 42060 41280 151 303 0 41755 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 168240

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5747
/proc/meminfo: memFree=1630924/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=177156 CPUtime=1002.02
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 48563 0 0 0 100001 201 0 0 25 0 1 0 39841669 181407744 43493 1992294400 134512640 135751879 4290310032 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 44289 43493 151 303 0 43984 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 177156

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5749
/proc/meminfo: memFree=1620632/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=187492 CPUtime=1062
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 51149 0 0 0 105987 213 0 0 25 0 1 0 39841669 191991808 46079 1992294400 134512640 135751879 4290310032 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 46873 46079 151 303 0 46568 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 187492

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5751
/proc/meminfo: memFree=1609100/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=198972 CPUtime=1121.99
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 54012 0 0 0 111976 223 0 0 25 0 1 0 39841669 203747328 48942 1992294400 134512640 135751879 4290310032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 49743 48942 151 303 0 49438 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 198972

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5753
/proc/meminfo: memFree=1598560/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=210012 CPUtime=1181.98
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 56685 0 0 0 117964 234 0 0 25 0 1 0 39841669 215052288 51615 1992294400 134512640 135751879 4290310032 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 52503 51615 151 303 0 52198 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 210012

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5758
/proc/meminfo: memFree=1587896/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=219984 CPUtime=1241.96
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 59155 0 0 0 123951 245 0 0 25 0 1 0 39841669 225263616 54085 1992294400 134512640 135751879 4290310032 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 54996 54085 151 303 0 54691 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 219984

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5758
/proc/meminfo: memFree=1575000/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=232768 CPUtime=1301.95
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 62372 0 0 0 129925 270 0 0 25 0 1 0 39841669 238354432 57302 1992294400 134512640 135751879 4290310032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 58192 57302 151 303 0 57887 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 232768

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5760
/proc/meminfo: memFree=1563468/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=244332 CPUtime=1361.92
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 65279 0 0 0 135912 280 0 0 25 0 1 0 39841669 250195968 60209 1992294400 134512640 135751879 4290310032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 61083 60209 151 303 0 60778 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 244332

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5762
/proc/meminfo: memFree=1551688/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=255976 CPUtime=1421.92
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 68189 0 0 0 141903 289 0 0 25 0 1 0 39841669 262119424 63119 1992294400 134512640 135751879 4290310032 18446744073709551615 134620474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 63994 63119 151 303 0 63689 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 255976

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5764
/proc/meminfo: memFree=1538916/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=268872 CPUtime=1481.89
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 71427 0 0 0 147893 296 0 0 25 0 1 0 39841669 275324928 66357 1992294400 134512640 135751879 4290310032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 67218 66357 151 303 0 66913 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 268872

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5766
/proc/meminfo: memFree=1529616/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=278248 CPUtime=1541.88
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 73724 0 0 0 153884 304 0 0 25 0 1 0 39841669 284925952 68654 1992294400 134512640 135751879 4290310032 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 69562 68654 151 303 0 69257 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 278248

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5766
/proc/meminfo: memFree=1520440/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=287368 CPUtime=1601.86
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 76032 0 0 0 159872 314 0 0 25 0 1 0 39841669 294264832 70962 1992294400 134512640 135751879 4290310032 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 71842 70962 151 303 0 71537 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 287368

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5768
/proc/meminfo: memFree=1508536/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=299168 CPUtime=1661.85
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 78975 0 0 0 165862 323 0 0 25 0 1 0 39841669 306348032 73905 1992294400 134512640 135751879 4290310032 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 74792 73905 151 303 0 74487 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 299168

[startup+1722.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 5770
/proc/meminfo: memFree=1497996/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=310180 CPUtime=1721.84
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 81623 0 0 0 171853 331 0 0 25 0 1 0 39841669 317624320 76553 1992294400 134512640 135751879 4290310032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 77545 76553 151 303 0 77240 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 310180

[startup+1782.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 5772
/proc/meminfo: memFree=1488076/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=320028 CPUtime=1781.82
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 84075 0 0 0 177844 338 0 0 25 0 1 0 39841669 327708672 79005 1992294400 134512640 135751879 4290310032 18446744073709551615 134620474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 80007 79005 151 303 0 79702 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 320028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 5772
/proc/meminfo: memFree=1485100/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=322972 CPUtime=1800.02
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 84800 0 0 0 179662 340 0 0 25 0 1 0 39841669 330723328 79730 1992294400 134512640 135751879 4290310032 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 80743 79730 151 303 0 80438 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 322972

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.06 1.02 1.00 2/107 5772
/proc/meminfo: memFree=1485100/2059040 swapFree=4134608/4192956
[pid=5711] ppid=5709 vsize=322972 CPUtime=1800.02
/proc/5711/stat : 5711 (wbo1.4b) R 5709 5711 4731 0 -1 4202496 84800 0 0 0 179662 340 0 0 25 0 1 0 39841669 330723328 79730 1992294400 134512640 135751879 4290310032 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/5711/statm: 80743 79730 151 303 0 80438 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 322972

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.54
CPU time (s): 1800.07
CPU user time (s): 1796.63
CPU system time (s): 3.43848
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 322972

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

runsolver used 2.98455 second user time and 8.50071 second system time

The end

Launcher Data 

Begin job on node017 at 2010-06-16 00:55:53
IDJOB=2655820
IDBENCH=25025
IDSOLVER=1161
FILE ID=node017/2655820-1276642552
PBS_JOBID= 11172394
Free space on /tmp= 62536 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir08_area_partials.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655820-1276642552/watcher-2655820-1276642552 -o /tmp/evaluation-result-2655820-1276642552/solver-2655820-1276642552 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655820-1276642552.opb

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

MD5SUM BENCH= 7a3c9826bd8191760f7756d2d26889fa
RANDOM SEED=176698297

node017.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.201
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
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.201
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1806300 kB
Buffers:         60404 kB
Cached:         109668 kB
SwapCached:      11736 kB
Active:         101376 kB
Inactive:        83764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1806300 kB
SwapTotal:     4192956 kB
SwapFree:      4134608 kB
Dirty:            8176 kB
Writeback:          12 kB
AnonPages:       13400 kB
Mapped:           9392 kB
Slab:            45836 kB
PageTables:       4000 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183536 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62532 MiB
End job on node017 at 2010-06-16 01:25:55