Trace number 2702103

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 (fixed)? (TO) 1800.18 1800.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=137-P1=101-P2=5-P3=409-P4=419-P5=401-P6=61-P7=239-B.opb
MD5SUMe808e428ddeed4827e7f6cc4dcf60aa4
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark14.7718
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables189
Total number of constraints15
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints15
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)567
Sum of products size (including duplicates)1134
Number of different products567
Sum of products size1134

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2702103-1278546490.opb.
0.00/0.00	c Instance file HOME/instance-2702103-1278546490.opb
0.00/0.00	c File size is 42576 bytes.
0.00/0.01	c Highest Coefficient sum: 523264
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      756                                                 |
0.00/0.01	c |  Number Clauses:        567                                                 |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 589                                                 |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     756     1156     4842 |     5000        0    nan |  0.000 % |
0.00/0.02	c |       101 |     756     1156     4842 |     5500      101     62 |  0.002 % |
0.00/0.03	c |       252 |     756     1156     4842 |     6050      252     63 |  0.002 % |
0.03/0.05	c |       478 |     756     1156     4842 |     6655      478     58 |  0.000 % |
0.03/0.09	c |       817 |     756     1156     4842 |     7320      817     61 |  0.000 % |
0.09/0.13	c |      1323 |     756     1156     4842 |     8052     1323     64 |  0.002 % |
0.19/0.20	c |      2082 |     756     1156     4842 |     8857     2082     67 |  0.000 % |
0.19/0.29	c |      3222 |     756     1156     4842 |     9743     3222     73 |  0.000 % |
0.39/0.43	c |      4931 |     756     1156     4842 |    10717     4931     78 |  0.002 % |
0.69/0.74	c |      7493 |     756     1156     4842 |    11789     7493     74 |  0.000 % |
1.19/1.25	c |     11337 |     756     1156     4842 |    12968    11337     71 |  0.002 % |
2.10/2.11	c |     17104 |     756     1156     4842 |    14265    10413     62 |  0.000 % |
3.38/3.48	c |     25754 |     756     1156     4842 |    15692    11745     50 |  0.000 % |
5.49/5.59	c |     38729 |     756     1156     4842 |    17261     8712     58 |  0.000 % |
9.49/9.53	c |     58191 |     756     1156     4842 |    18987    10630     49 |  0.000 % |
15.19/15.21	c |     87384 |     756     1156     4842 |    20886    10602     62 |  0.000 % |
22.99/23.03	c |    131173 |     756     1156     4842 |    22974    12093     66 |  0.000 % |
38.18/38.25	c |    196857 |     756     1156     4842 |    25272    16467     57 |  0.000 % |
60.57/60.62	c |    295384 |     756     1156     4842 |    27799    11586     56 |  0.002 % |
96.87/96.92	c |    443174 |     756     1156     4842 |    30579    24173     63 |  0.000 % |
172.56/172.68	c |    664857 |     756     1156     4842 |    33637    29117     45 |  0.002 % |
182.15/182.21	c There are 0 assigned variables. 0 in cost function.
182.75/182.89	c core #1
182.75/182.89	c 
182.75/182.89	c 
182.75/182.89	c Core size: 10	Core Weight: 1	Total Weight: 1
182.75/182.89	c
182.75/182.89	c
182.75/182.89	c core #2
182.75/182.89	c 
182.75/182.89	c 
182.75/182.89	c Core size: 9	Core Weight: 1	Total Weight: 2
182.75/182.89	c
182.75/182.89	c
182.75/182.89	c ============================[ Search Statistics ]==============================
182.75/182.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.75/182.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.75/182.89	c ===============================================================================
182.75/182.89	c |         0 |     667     1182     4674 |     5000        0    nan |  0.000 % |
182.85/182.90	c |       105 |     667     1182     4674 |     5500      105     62 | 13.713 % |
182.85/182.91	c |       256 |     667     1182     4674 |     6050      256     61 | 13.714 % |
182.85/182.94	c |       482 |     667     1182     4674 |     6655      482     69 | 13.713 % |
182.85/182.97	c |       820 |     667     1182     4674 |     7320      820     77 | 13.714 % |
182.94/183.01	c |      1326 |     667     1182     4674 |     8052     1326     77 | 13.714 % |
183.04/183.10	c |      2087 |     667     1182     4674 |     8857     2087     74 | 13.713 % |
183.15/183.28	c |      3228 |     667     1182     4674 |     9743     3228     81 | 13.713 % |
183.35/183.45	c |      4937 |     667     1182     4674 |    10717     4937     83 | 13.714 % |
183.75/183.82	c |      7500 |     667     1182     4674 |    11789     7500     76 | 13.714 % |
184.34/184.41	c |     11344 |     667     1182     4674 |    12968    11344     70 | 13.713 % |
185.15/185.25	c |     17110 |     667     1182     4674 |    14265    10486     59 | 13.713 % |
186.44/186.52	c |     25759 |     667     1182     4674 |    15692    11850     68 | 13.713 % |
189.05/189.18	c |     38734 |     667     1182     4674 |    17261     8744     38 | 13.714 % |
192.74/192.87	c |     58196 |     667     1182     4674 |    18987    10282     76 | 13.713 % |
198.84/198.93	c |     87390 |     667     1182     4674 |    20886    10686     36 | 13.713 % |
209.94/210.06	c |    131180 |     667     1182     4674 |    22974    11250     73 | 13.713 % |
227.64/227.73	c |    196864 |     667     1182     4674 |    25272    15173     46 | 13.713 % |
254.04/254.19	c |    295390 |     667     1182     4674 |    27799    25094     41 | 13.713 % |
296.52/296.61	c |    443181 |     667     1182     4674 |    30579    19398     83 | 13.713 % |
376.80/376.91	c |    664864 |     667     1182     4674 |    33637    20984     56 | 13.713 % |
513.37/513.58	c |    997389 |     667     1182     4674 |    37001    14717     53 | 13.713 % |
727.92/728.18	c |   1496178 |     667     1182     4674 |    40701    24753     39 | 13.713 % |
1098.32/1098.62	c |   2244360 |     667     1182     4674 |    44771    32933     39 | 13.713 % |
1708.07/1708.53	c |   3366634 |     666     1182     4674 |    49248    21400     52 | 13.842 % |

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-2702103-1278546490/watcher-2702103-1278546490 -o /tmp/evaluation-result-2702103-1278546490/solver-2702103-1278546490 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702103-1278546490.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.97 0.52 0.20 2/106 28453
/proc/meminfo: memFree=1731268/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=2748 CPUtime=0
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 300 0 0 0 0 0 0 0 19 0 1 0 22855482 2813952 218 1992294400 134512640 135752675 4291811392 18446744073709551615 135380766 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 687 218 136 303 0 371 0

[startup+0.036291 s]
/proc/loadavg: 0.97 0.52 0.20 2/106 28453
/proc/meminfo: memFree=1731268/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=2840 CPUtime=0.03
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 372 0 0 0 3 0 0 0 20 0 1 0 22855482 2908160 279 1992294400 134512640 135752675 4291811392 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 710 279 145 303 0 405 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2840

[startup+0.101296 s]
/proc/loadavg: 0.97 0.52 0.20 2/106 28453
/proc/meminfo: memFree=1731268/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=3096 CPUtime=0.09
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 436 0 0 0 9 0 0 0 20 0 1 0 22855482 3170304 343 1992294400 134512640 135752675 4291811392 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 774 343 145 303 0 469 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3096

[startup+0.300314 s]
/proc/loadavg: 0.97 0.52 0.20 2/106 28453
/proc/meminfo: memFree=1731268/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=4128 CPUtime=0.29
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 681 0 0 0 28 1 0 0 20 0 1 0 22855482 4227072 588 1992294400 134512640 135752675 4291811392 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 1032 588 145 303 0 727 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4128

[startup+0.700347 s]
/proc/loadavg: 0.97 0.52 0.20 2/106 28453
/proc/meminfo: memFree=1731268/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=5684 CPUtime=0.69
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 1073 0 0 0 67 2 0 0 21 0 1 0 22855482 5820416 980 1992294400 134512640 135752675 4291811392 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 1421 980 145 303 0 1116 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5684

[startup+1.50042 s]
/proc/loadavg: 0.97 0.52 0.20 2/107 28454
/proc/meminfo: memFree=1727540/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=7752 CPUtime=1.48
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 1608 0 0 0 146 2 0 0 23 0 1 0 22855482 7938048 1515 1992294400 134512640 135752675 4291811392 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 1938 1515 145 303 0 1633 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7752

[startup+3.10155 s]
/proc/loadavg: 0.97 0.52 0.20 2/107 28454
/proc/meminfo: memFree=1724316/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=11228 CPUtime=3.09
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 2479 0 0 0 304 5 0 0 25 0 1 0 22855482 11497472 2386 1992294400 134512640 135752675 4291811392 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 2807 2386 145 303 0 2502 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11228

[startup+6.30183 s]
/proc/loadavg: 0.97 0.53 0.21 2/107 28455
/proc/meminfo: memFree=1717496/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=17964 CPUtime=6.29
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 4156 0 0 0 619 10 0 0 25 0 1 0 22855482 18395136 4063 1992294400 134512640 135752675 4291811392 18446744073709551615 134605232 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 4491 4063 145 303 0 4186 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17964

[startup+12.7014 s]
/proc/loadavg: 0.98 0.54 0.21 2/107 28456
/proc/meminfo: memFree=1706212/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=28368 CPUtime=12.69
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 6745 0 0 0 1251 18 0 0 25 0 1 0 22855482 29048832 6652 1992294400 134512640 135752675 4291811392 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 7092 6652 145 303 0 6787 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28368

[startup+25.5005 s]
/proc/loadavg: 0.98 0.56 0.22 2/107 28456
/proc/meminfo: memFree=1683148/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=50848 CPUtime=25.48
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 12344 0 0 0 2507 41 0 0 25 0 1 0 22855482 52068352 12251 1992294400 134512640 135752675 4291811392 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 12712 12251 145 303 0 12407 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 50848

[startup+51.1007 s]
/proc/loadavg: 0.99 0.59 0.24 2/107 28456
/proc/meminfo: memFree=1645336/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=89052 CPUtime=51.08
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 21902 0 0 0 5033 75 0 0 25 0 1 0 22855482 91189248 21809 1992294400 134512640 135752675 4291811392 18446744073709551615 134603326 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 22263 21809 145 303 0 21958 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 89052

[startup+102.308 s]
/proc/loadavg: 0.99 0.65 0.28 2/107 28458
/proc/meminfo: memFree=1580236/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=153296 CPUtime=102.27
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 37920 0 0 0 10090 137 0 0 25 0 1 0 22855482 156975104 37827 1992294400 134512640 135752675 4291811392 18446744073709551615 134611636 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 38324 37827 145 303 0 38019 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 153296

[startup+162.3 s]
/proc/loadavg: 0.99 0.71 0.32 2/107 28460
/proc/meminfo: memFree=1529892/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=204020 CPUtime=162.25
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 50573 0 0 0 16032 193 0 0 25 0 1 0 22855482 208916480 50480 1992294400 134512640 135752675 4291811392 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 51005 50480 145 303 0 50700 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 204020

[startup+222.3 s]
/proc/loadavg: 0.99 0.76 0.36 2/107 28460
/proc/meminfo: memFree=1465660/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=267448 CPUtime=222.23
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 66526 0 0 0 21955 268 0 0 25 0 1 0 22855482 273866752 66399 1992294400 134512640 135752675 4291811392 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 66862 66399 146 303 0 66557 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 267448

[startup+282.301 s]
/proc/loadavg: 0.99 0.80 0.40 2/107 28462
/proc/meminfo: memFree=1412588/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=321500 CPUtime=282.22
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 80005 0 0 0 27890 332 0 0 25 0 1 0 22855482 329216000 79878 1992294400 134512640 135752675 4291811392 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 80375 79878 146 303 0 80070 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 321500

[startup+342.301 s]
/proc/loadavg: 0.99 0.84 0.43 2/107 28464
/proc/meminfo: memFree=1363360/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=369576 CPUtime=342.2
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 91983 0 0 0 33830 390 0 0 25 0 1 0 22855482 378445824 91856 1992294400 134512640 135752675 4291811392 18446744073709551615 134602989 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 92394 91856 146 303 0 92089 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 369576

[startup+402.301 s]
/proc/loadavg: 0.99 0.86 0.47 2/107 28466
/proc/meminfo: memFree=1321324/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=412144 CPUtime=402.19
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 102595 0 0 0 39780 439 0 0 25 0 1 0 22855482 422035456 102468 1992294400 134512640 135752675 4291811392 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 103036 102468 146 303 0 102731 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 412144

[startup+462.301 s]
/proc/loadavg: 0.99 0.89 0.50 2/107 28468
/proc/meminfo: memFree=1277304/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=455720 CPUtime=462.18
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 113463 0 0 0 45731 487 0 0 25 0 1 0 22855482 466657280 113336 1992294400 134512640 135752675 4291811392 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 113930 113336 146 303 0 113625 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 455720

[startup+522.301 s]
/proc/loadavg: 0.99 0.90 0.52 2/107 28468
/proc/meminfo: memFree=1232788/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=500656 CPUtime=522.17
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 124693 0 0 0 51678 539 0 0 25 0 1 0 22855482 512671744 124566 1992294400 134512640 135752675 4291811392 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 125164 124566 146 303 0 124859 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 500656

[startup+582.3 s]
/proc/loadavg: 0.99 0.92 0.55 2/107 28470
/proc/meminfo: memFree=1198564/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=534352 CPUtime=582.15
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 133123 0 0 0 57633 582 0 0 25 0 1 0 22855482 547176448 132996 1992294400 134512640 135752675 4291811392 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 133588 132996 146 303 0 133283 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 534352

[startup+642.301 s]
/proc/loadavg: 0.99 0.93 0.58 2/107 28472
/proc/meminfo: memFree=1163224/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=569472 CPUtime=642.14
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 141865 0 0 0 63587 627 0 0 25 0 1 0 22855482 583139328 141738 1992294400 134512640 135752675 4291811392 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 142368 141738 146 303 0 142063 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 569472

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.96 0.66 2/107 28487
/proc/meminfo: memFree=1045548/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=686636 CPUtime=882.07
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 171061 0 0 0 87414 793 0 0 25 0 1 0 22855482 703115264 170934 1992294400 134512640 135752675 4291811392 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 171659 170934 146 303 0 171354 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 686636

[startup+942.3 s]
/proc/loadavg: 0.99 0.96 0.68 2/107 28489
/proc/meminfo: memFree=1019384/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=712928 CPUtime=942.06
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 177621 0 0 0 93373 833 0 0 25 0 1 0 22855482 730038272 177494 1992294400 134512640 135752675 4291811392 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 178232 177494 146 303 0 177927 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 712928

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.70 2/107 28491
/proc/meminfo: memFree=992972/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=739236 CPUtime=1002.04
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 184168 0 0 0 99331 873 0 0 25 0 1 0 22855482 756977664 184041 1992294400 134512640 135752675 4291811392 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 184809 184041 146 303 0 184504 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 739236

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.71 2/107 28493
/proc/meminfo: memFree=968172/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=764248 CPUtime=1062.02
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 190401 0 0 0 105292 910 0 0 25 0 1 0 22855482 782589952 190274 1992294400 134512640 135752675 4291811392 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 191062 190274 146 303 0 190757 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 764248

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.73 2/107 28493
/proc/meminfo: memFree=936800/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=795772 CPUtime=1122.01
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 198286 0 0 0 111245 956 0 0 25 0 1 0 22855482 814870528 198159 1992294400 134512640 135752675 4291811392 18446744073709551615 134606868 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 198943 198159 146 303 0 198638 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 795772

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.74 2/107 28495
/proc/meminfo: memFree=903816/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=828544 CPUtime=1182
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 206460 0 0 0 117207 993 0 0 25 0 1 0 22855482 848429056 206333 1992294400 134512640 135752675 4291811392 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 207136 206333 146 303 0 206831 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 828544

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.75 2/107 28497
/proc/meminfo: memFree=860540/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=871928 CPUtime=1241.99
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 217298 0 0 0 123158 1041 0 0 25 0 1 0 22855482 892854272 217171 1992294400 134512640 135752675 4291811392 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 217982 217171 146 303 0 217677 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 871928

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.77 2/107 28499
/proc/meminfo: memFree=828672/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=903568 CPUtime=1301.98
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 225166 0 0 0 129122 1076 0 0 25 0 1 0 22855482 925253632 225039 1992294400 134512640 135752675 4291811392 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 225892 225039 146 303 0 225587 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 903568

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.78 2/107 28501
/proc/meminfo: memFree=782668/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=949884 CPUtime=1361.95
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 236753 0 0 0 135076 1119 0 0 25 0 1 0 22855482 972681216 236626 1992294400 134512640 135752675 4291811392 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 237471 236626 146 303 0 237166 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 949884

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.79 2/107 28501
/proc/meminfo: memFree=744600/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=987660 CPUtime=1421.94
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 246175 0 0 0 141036 1158 0 0 25 0 1 0 22855482 1011363840 246048 1992294400 134512640 135752675 4291811392 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 246915 246048 146 303 0 246610 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 987660

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.80 2/107 28503
/proc/meminfo: memFree=708268/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=1024076 CPUtime=1481.92
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 255273 0 0 0 146995 1197 0 0 25 0 1 0 22855482 1048653824 255146 1992294400 134512640 135752675 4291811392 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 256019 255146 146 303 0 255714 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1024076

[startup+1542.3 s]
/proc/loadavg: 1.06 0.99 0.82 2/107 28505
/proc/meminfo: memFree=676276/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=1056156 CPUtime=1541.91
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 263250 0 0 0 152955 1236 0 0 25 0 1 0 22855482 1081503744 263123 1992294400 134512640 135752675 4291811392 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 264039 263123 146 303 0 263734 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1056156

[startup+1602.3 s]
/proc/loadavg: 1.02 0.99 0.82 2/107 28507
/proc/meminfo: memFree=644780/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=1087772 CPUtime=1601.89
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 271156 0 0 0 158915 1274 0 0 25 0 1 0 22855482 1113878528 271029 1992294400 134512640 135752675 4291811392 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 271943 271029 146 303 0 271638 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1087772

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.83 2/107 28509
/proc/meminfo: memFree=619856/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=1112236 CPUtime=1661.89
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 277270 0 0 0 164883 1306 0 0 25 0 1 0 22855482 1138929664 277143 1992294400 134512640 135752675 4291811392 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 278059 277143 146 303 0 277754 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1112236

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.84 2/107 28509
/proc/meminfo: memFree=577820/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=1155040 CPUtime=1721.87
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 287942 0 0 0 170835 1352 0 0 25 0 1 0 22855482 1182760960 287815 1992294400 134512640 135752675 4291811392 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 288760 287815 146 303 0 288455 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1155040

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.84 2/107 28511
/proc/meminfo: memFree=549052/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=1183020 CPUtime=1781.85
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 294919 0 0 0 176796 1389 0 0 25 0 1 0 22855482 1211412480 294792 1992294400 134512640 135752675 4291811392 18446744073709551615 134611574 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 295755 294792 146 303 0 295450 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1183020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.84 2/107 28511
/proc/meminfo: memFree=544216/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=1187792 CPUtime=1800.06
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4202496 296095 0 0 0 178608 1398 0 0 25 0 1 0 22855482 1216299008 295968 1992294400 134512640 135752675 4291811392 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28453/statm: 296948 295968 146 303 0 296643 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1187792

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 0.99 0.84 2/108 28512
/proc/meminfo: memFree=1614556/2059040 swapFree=4139820/4192956
[pid=28453] ppid=28451 vsize=0 CPUtime=1800.17
/proc/28453/stat : 28453 (wbo1.4b) R 28451 28453 28067 0 -1 4203524 296095 0 0 0 178608 1409 0 0 25 0 1 0 22855482 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/28453/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.62
CPU time (s): 1800.18
CPU user time (s): 1786.08
CPU system time (s): 14.0959
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 1187792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.08
system time used= 14.0959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 296095
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= 5
involuntary context switches= 19489

runsolver used 2.96155 second user time and 8.5217 second system time

The end

Launcher Data 

Begin job on node055 at 2010-07-08 01:48:10
IDJOB=2702103
IDBENCH=47986
IDSOLVER=1190
FILE ID=node055/2702103-1278546490
PBS_JOBID= 11239487
Free space on /tmp= 62576 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=137-P1=101-P2=5-P3=409-P4=419-P5=401-P6=61-P7=239-B.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702103-1278546490/watcher-2702103-1278546490 -o /tmp/evaluation-result-2702103-1278546490/solver-2702103-1278546490 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702103-1278546490.opb

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

MD5SUM BENCH= e808e428ddeed4827e7f6cc4dcf60aa4
RANDOM SEED=299696804

node055.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.224
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.44
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.224
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1732416 kB
Buffers:         52028 kB
Cached:         186384 kB
SwapCached:       7140 kB
Active:         148032 kB
Inactive:       104328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1732416 kB
SwapTotal:     4192956 kB
SwapFree:      4139820 kB
Dirty:            2728 kB
Writeback:           8 kB
AnonPages:       11320 kB
Mapped:          11864 kB
Slab:            52484 kB
PageTables:       4136 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179668 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702103-1278546490.opb

Free space on /tmp at the end= 62576 MiB
End job on node055 at 2010-07-08 02:18:13