Trace number 1875258

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? (MO) 1503.28 1503.79

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=211-P1=317-P2=331-P3=491-P4=101-P5=283-P6=487-P7=439-B.opb
MD5SUM901fa4df755866cb23bdcc769669d554
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 benchmark11.6712
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 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-1875258-1245189521.opb.
0.00/0.00	c Instance file HOME/instance-1875258-1245189521.opb
0.00/0.00	c File size is 42576 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      756                                                 |
0.00/0.00	c |  Number Clauses:        576                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 589                                                 |
0.00/0.00	c core #1
0.00/0.00	c Core size: 10	Core Weight: 1	Total Weight: 1
0.00/0.00	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #2
0.00/0.00	c Core size: 9	Core Weight: 1	Total Weight: 2
0.00/0.00	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 1799.99 s
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 |     667     1182     4674 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       103 |     667     1182     4674 |     5500      103     86 | 13.713 % |
0.01/0.02	c |       254 |     667     1182     4674 |     6050      254     90 | 13.714 % |
0.01/0.03	c |       480 |     667     1182     4674 |     6655      480     85 | 13.713 % |
0.01/0.06	c |       818 |     667     1182     4674 |     7320      818     87 | 13.713 % |
0.01/0.09	c |      1325 |     667     1182     4674 |     8052     1325     85 | 13.713 % |
0.09/0.15	c |      2085 |     667     1182     4674 |     8857     2085     84 | 13.713 % |
0.19/0.25	c |      3225 |     667     1182     4674 |     9743     3225     83 | 13.714 % |
0.39/0.48	c |      4934 |     667     1182     4674 |    10717     4934     84 | 13.713 % |
0.69/0.78	c |      7497 |     667     1182     4674 |    11789     7497     83 | 13.714 % |
1.19/1.25	c |     11342 |     667     1182     4674 |    12968    11342     82 | 13.713 % |
2.19/2.23	c |     17109 |     667     1182     4674 |    14265    10428     79 | 13.713 % |
3.20/3.27	c |     25758 |     667     1182     4674 |    15692    11629     83 | 13.713 % |
5.40/5.45	c |     38732 |     667     1182     4674 |    17261     8474     76 | 13.713 % |
8.18/8.24	c |     58193 |     667     1182     4674 |    18987    10077     91 | 13.713 % |
12.49/12.50	c |     87385 |     667     1182     4674 |    20886     9947     86 | 13.713 % |
23.08/23.20	c |    131175 |     667     1182     4674 |    22974    21179     83 | 13.713 % |
40.37/40.44	c |    196860 |     667     1182     4674 |    25272    12492     80 | 13.713 % |
70.76/70.87	c |    295386 |     667     1182     4674 |    27799    23682     86 | 13.713 % |
126.15/126.28	c |    443177 |     667     1182     4674 |    30579    21930    105 | 13.713 % |
182.12/182.26	c |    664861 |     667     1182     4674 |    33637    25720     76 | 13.713 % |
313.88/314.02	c |    997386 |     667     1182     4674 |    37001    20488     83 | 13.713 % |
506.51/506.71	c |   1496174 |     666     1182     4674 |    40701    28185     81 | 13.842 % |
883.19/883.58	c |   2244357 |     665     1182     4674 |    44771    15148     92 | 13.972 % |
1426.21/1426.79	c |   3366632 |     654     1182     4674 |    49248    27628     89 | 15.395 % |

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-1875258-1245189521/watcher-1875258-1245189521 -o /tmp/evaluation-result-1875258-1245189521/solver-1875258-1245189521 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875258-1245189521.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 4497
/proc/meminfo: memFree=1835368/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=2572 CPUtime=0
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 211 0 0 0 0 0 0 0 18 0 1 0 186548510 2633728 195 1992294400 134512640 135709839 4294956240 18446744073709551615 134557204 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 643 196 128 292 0 337 0

[startup+0.0186739 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 4497
/proc/meminfo: memFree=1835368/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=2928 CPUtime=0.01
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 310 0 0 0 1 0 0 0 18 0 1 0 186548510 2998272 283 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 732 283 136 292 0 437 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2928

[startup+0.101689 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 4497
/proc/meminfo: memFree=1835368/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=3444 CPUtime=0.09
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 462 0 0 0 9 0 0 0 18 0 1 0 186548510 3526656 435 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 861 436 136 292 0 566 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3444

[startup+0.301726 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 4497
/proc/meminfo: memFree=1835368/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=4484 CPUtime=0.29
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 729 0 0 0 29 0 0 0 19 0 1 0 186548510 4591616 702 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 1121 703 136 292 0 826 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4484

[startup+0.701801 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 4497
/proc/meminfo: memFree=1835368/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=6560 CPUtime=0.69
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 1242 0 0 0 68 1 0 0 22 0 1 0 186548510 6717440 1215 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 1640 1215 136 292 0 1345 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6560

[startup+1.50195 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4498
/proc/meminfo: memFree=1829792/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=9800 CPUtime=1.49
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 2046 0 0 0 147 2 0 0 25 0 1 0 186548510 10035200 2019 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 2450 2019 136 292 0 2155 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9800

[startup+3.10125 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4498
/proc/meminfo: memFree=1825824/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=16140 CPUtime=3.09
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 3635 0 0 0 305 4 0 0 25 0 1 0 186548510 16527360 3608 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 4035 3608 136 292 0 3740 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16140

[startup+6.30185 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4498
/proc/meminfo: memFree=1814368/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=27292 CPUtime=6.29
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 6405 0 0 0 620 9 0 0 25 0 1 0 186548510 27947008 6378 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 6823 6378 136 292 0 6528 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27292

[startup+12.701 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4498
/proc/meminfo: memFree=1789600/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=50408 CPUtime=12.68
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 12179 0 0 0 1248 20 0 0 25 0 1 0 186548510 51617792 12152 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 12602 12152 136 292 0 12307 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 50408

[startup+25.5014 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4498
/proc/meminfo: memFree=1759072/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=79596 CPUtime=25.49
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 19471 0 0 0 2513 36 0 0 25 0 1 0 186548510 81506304 19444 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 19899 19444 136 292 0 19604 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 79596

[startup+51.1012 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4498
/proc/meminfo: memFree=1714016/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=124148 CPUtime=51.07
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 30614 0 0 0 5048 59 0 0 25 0 1 0 186548510 127127552 30587 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 31037 30587 136 292 0 30742 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 124148

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4498
/proc/meminfo: memFree=1627424/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=209808 CPUtime=102.26
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 52012 0 0 0 10123 103 0 0 25 0 1 0 186548510 214843392 51985 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 52452 51985 136 292 0 52157 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 209808

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4504
/proc/meminfo: memFree=1515544/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=323012 CPUtime=162.23
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 80282 0 0 0 16059 164 0 0 25 0 1 0 186548510 330764288 80255 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 80753 80255 136 292 0 80458 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 323012

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4504
/proc/meminfo: memFree=1431576/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=405316 CPUtime=222.21
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 100848 0 0 0 22009 212 0 0 25 0 1 0 186548510 415043584 100821 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 101329 100821 136 292 0 101034 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 405316

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4504
/proc/meminfo: memFree=1346456/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=490928 CPUtime=282.19
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 122250 0 0 0 27959 260 0 0 25 0 1 0 186548510 502710272 122223 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 122732 122223 136 292 0 122437 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 490928

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4504
/proc/meminfo: memFree=1266264/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=570764 CPUtime=342.17
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 142182 0 0 0 33914 303 0 0 25 0 1 0 186548510 584462336 142155 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 142691 142155 136 292 0 142396 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 570764

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4504
/proc/meminfo: memFree=1190872/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=647536 CPUtime=402.15
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 161376 0 0 0 39871 344 0 0 25 0 1 0 186548510 663076864 161349 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 161884 161349 136 292 0 161589 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 647536

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4504
/proc/meminfo: memFree=1102176/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=734360 CPUtime=462.13
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 183075 0 0 0 45828 385 0 0 25 0 1 0 186548510 751984640 183048 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 183590 183048 136 292 0 183295 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 734360

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4504
/proc/meminfo: memFree=1030944/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=805840 CPUtime=522.11
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 200926 0 0 0 51784 427 0 0 25 0 1 0 186548510 825180160 200899 1992294400 134512640 135709839 4294956240 18446744073709551615 134574275 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 201460 200899 136 292 0 201165 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 805840

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4504
/proc/meminfo: memFree=981664/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=854720 CPUtime=582.09
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 213104 0 0 0 57755 454 0 0 25 0 1 0 186548510 875233280 213077 1992294400 134512640 135709839 4294956240 18446744073709551615 134573757 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 213680 213077 136 292 0 213385 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 854720

[startup+642.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4504
/proc/meminfo: memFree=926368/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=909616 CPUtime=642.07
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 226836 0 0 0 63722 485 0 0 25 0 1 0 186548510 931446784 226809 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 227404 226809 136 292 0 227109 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 909616

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4504
/proc/meminfo: memFree=867616/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=968716 CPUtime=702.05
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 241611 0 0 0 69682 523 0 0 25 0 1 0 186548510 991965184 241584 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 242179 241584 136 292 0 241884 0
Current children cumulated CPU time (s) 702.05
Current children cumulated vsize (KiB) 968716

[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4504
/proc/meminfo: memFree=805408/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=1030528 CPUtime=762.04
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 257041 0 0 0 75643 561 0 0 25 0 1 0 186548510 1055260672 257014 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 257632 257014 136 292 0 257337 0
Current children cumulated CPU time (s) 762.04
Current children cumulated vsize (KiB) 1030528

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4504
/proc/meminfo: memFree=729376/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=1107524 CPUtime=822.01
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 276291 0 0 0 81600 601 0 0 25 0 1 0 186548510 1134104576 276264 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 276881 276264 136 292 0 276586 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 1107524

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4504
/proc/meminfo: memFree=643104/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=1192688 CPUtime=881.99
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 297590 0 0 0 87553 646 0 0 25 0 1 0 186548510 1221312512 297563 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 298172 297563 136 292 0 297877 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 1192688

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4504
/proc/meminfo: memFree=561632/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=1274820 CPUtime=941.96
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 318088 0 0 0 93509 687 0 0 25 0 1 0 186548510 1305415680 318061 1992294400 134512640 135709839 4294956240 18446744073709551615 134572715 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 318705 318061 136 292 0 318410 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 1274820

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4504
/proc/meminfo: memFree=497888/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=1338104 CPUtime=1001.94
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 333905 0 0 0 99470 724 0 0 25 0 1 0 186548510 1370218496 333878 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 334526 333878 136 292 0 334231 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 1338104

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4504
/proc/meminfo: memFree=434656/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=1401208 CPUtime=1061.93
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 349672 0 0 0 105435 758 0 0 25 0 1 0 186548510 1434836992 349645 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 350302 349645 136 292 0 350007 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 1401208

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4504
/proc/meminfo: memFree=370720/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=1465536 CPUtime=1121.9
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 365754 0 0 0 111396 794 0 0 25 0 1 0 186548510 1500708864 365727 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 366384 365727 136 292 0 366089 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 1465536

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4504
/proc/meminfo: memFree=303712/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=1532848 CPUtime=1181.89
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 382583 0 0 0 117356 833 0 0 25 0 1 0 186548510 1569636352 382556 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 383212 382556 136 292 0 382917 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 1532848

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4504
/proc/meminfo: memFree=247392/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=1588056 CPUtime=1241.86
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 396367 0 0 0 123321 865 0 0 25 0 1 0 186548510 1626169344 396340 1992294400 134512640 135709839 4294956240 18446744073709551615 134572576 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 397014 396340 136 292 0 396719 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1588056

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4504
/proc/meminfo: memFree=191136/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=1643748 CPUtime=1301.85
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 410286 0 0 0 129283 902 0 0 25 0 1 0 186548510 1683197952 410259 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 410937 410259 136 292 0 410642 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1643748

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4504
/proc/meminfo: memFree=136800/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=1698260 CPUtime=1361.82
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 423919 0 0 0 135244 938 0 0 25 0 1 0 186548510 1739018240 423892 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 424565 423892 136 292 0 424270 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1698260

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4504
/proc/meminfo: memFree=62496/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=1772556 CPUtime=1421.8
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 442472 0 0 0 141201 979 0 0 25 0 1 0 186548510 1815097344 442445 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 443139 442446 136 292 0 442844 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1772556

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4504
/proc/meminfo: memFree=15200/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=1827500 CPUtime=1481.78
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 456196 0 0 0 147165 1013 0 0 25 0 1 0 186548510 1871360000 456169 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 456875 456169 136 292 0 456580 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1827500



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1503.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4504
/proc/meminfo: memFree=15968/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=1843200 CPUtime=1502.98
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4194304 460115 0 0 0 149275 1023 0 0 25 0 1 0 186548510 1887436800 460088 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 460800 460088 136 292 0 460505 0
Current children cumulated CPU time (s) 1502.98
Current children cumulated vsize (KiB) 1843200

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

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

[startup+1503.61 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4505
/proc/meminfo: memFree=623832/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=0 CPUtime=1503.08
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4195332 460115 0 0 0 149275 1033 0 0 25 0 1 0 186548510 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1503.08
Current children cumulated vsize (KiB) 0

[startup+1503.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4505
/proc/meminfo: memFree=623832/2055920 swapFree=4182544/4192956
[pid=4497] ppid=4495 vsize=0 CPUtime=1503.18
/proc/4497/stat : 4497 (wbo) R 4495 4497 3205 0 -1 4195332 460115 0 0 0 149275 1043 0 0 25 0 1 0 186548510 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/4497/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1503.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1503.79
CPU time (s): 1503.28
CPU user time (s): 1492.76
CPU system time (s): 10.5244
CPU usage (%): 99.9658
Max. virtual memory (cumulated for all children) (KiB): 1843200

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

runsolver used 1.23281 second user time and 3.45847 second system time

The end

Launcher Data 

Begin job on node47 at 2009-06-16 23:58:41
IDJOB=1875258
IDBENCH=48098
IDSOLVER=698
FILE ID=node47/1875258-1245189521
PBS_JOBID= 9368282
Free space on /tmp= 65952 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=211-P1=317-P2=331-P3=491-P4=101-P5=283-P6=487-P7=439-B.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-1875258-1245189521/watcher-1875258-1245189521 -o /tmp/evaluation-result-1875258-1245189521/solver-1875258-1245189521 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875258-1245189521.opb

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

MD5SUM BENCH= 901fa4df755866cb23bdcc769669d554
RANDOM SEED=1963306910

node47.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1835848 kB
Buffers:         49108 kB
Cached:         104116 kB
SwapCached:       4196 kB
Active:          56004 kB
Inactive:       105076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1835848 kB
SwapTotal:     4192956 kB
SwapFree:      4182544 kB
Dirty:            2736 kB
Writeback:           0 kB
Mapped:          13676 kB
Slab:            44948 kB
Committed_AS:   188516 kB
PageTables:       1448 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-1875258-1245189521.opb

Free space on /tmp at the end= 65948 MiB
End job on node47 at 2009-06-17 00:23:47