Trace number 1875240

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) 1509.6 1509.98

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=373-P1=127-P2=409-P3=11-P4=263-P5=269-B.opb
MD5SUM65bc139f592885e582edbd6d46332a4d
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 benchmark4.48132
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 variables135
Total number of constraints11
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 constraints11
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)405
Sum of products size (including duplicates)810
Number of different products405
Sum of products size810

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-1875240-1245189389.opb.
0.00/0.00	c Instance file HOME/instance-1875240-1245189389.opb
0.00/0.00	c File size is 30043 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.00         s                                      |
0.00/0.00	c |  Number Variables:      540                                                 |
0.00/0.00	c |  Number Clauses:        414                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 421                                                 |
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.003999 s	Remaining CPU time: 1800 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.003999 s	Remaining CPU time: 1800 s
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     451      852     3288 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       100 |     451      852     3288 |     5500      100     76 | 19.031 % |
0.00/0.02	c |       251 |     451      852     3288 |     6050      251     85 | 19.034 % |
0.00/0.03	c |       476 |     451      852     3288 |     6655      476     92 | 19.034 % |
0.04/0.05	c |       813 |     451      852     3288 |     7320      813     90 | 19.031 % |
0.04/0.09	c |      1320 |     451      852     3288 |     8052     1320     87 | 19.031 % |
0.09/0.15	c |      2080 |     451      852     3288 |     8857     2080     85 | 19.031 % |
0.19/0.23	c |      3220 |     451      852     3288 |     9743     3220     85 | 19.031 % |
0.39/0.43	c |      4928 |     451      852     3288 |    10717     4928     85 | 19.031 % |
0.59/0.67	c |      7490 |     451      852     3288 |    11789     7490     85 | 19.031 % |
1.19/1.28	c |     11335 |     451      852     3288 |    12968    11335     82 | 19.031 % |
1.89/2.00	c |     17101 |     451      852     3288 |    14265    10372     82 | 19.031 % |
3.19/3.25	c |     25751 |     451      852     3288 |    15692    11694     76 | 19.031 % |
4.79/4.89	c |     38725 |     451      852     3288 |    17261     8503     90 | 19.031 % |
8.70/8.79	c |     58189 |     451      852     3288 |    18987    10211     85 | 19.031 % |
15.98/16.08	c |     87382 |     451      852     3288 |    20886    10304     93 | 19.031 % |
28.08/28.17	c |    131172 |     451      852     3288 |    22974    11500     77 | 19.031 % |
42.68/42.70	c |    196857 |     451      852     3288 |    25272    14112     85 | 19.031 % |
70.68/70.73	c |    295384 |     451      852     3288 |    27799    24203     82 | 19.031 % |
107.86/107.98	c |    443174 |     451      852     3288 |    30579    20752     94 | 19.031 % |
181.25/181.39	c |    664858 |     451      852     3288 |    33637    29195     99 | 19.031 % |
315.61/315.75	c |    997384 |     451      852     3288 |    37001    19314     90 | 19.034 % |
507.56/507.76	c |   1496174 |     450      852     3288 |    40701    28067     83 | 19.213 % |
861.37/861.64	c |   2244356 |     450      852     3288 |    44771    40066     82 | 19.210 % |
1479.71/1480.18	c |   3366631 |     450      852     3288 |    49248    19430     87 | 19.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-1875240-1245189389/watcher-1875240-1245189389 -o /tmp/evaluation-result-1875240-1245189389/solver-1875240-1245189389 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875240-1245189389.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4442
/proc/meminfo: memFree=1900144/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=2560 CPUtime=0
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 205 0 0 0 0 0 0 0 18 0 1 0 186536181 2621440 189 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 640 189 128 292 0 337 0

[startup+0.0548211 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4442
/proc/meminfo: memFree=1900144/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=3056 CPUtime=0.04
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 356 0 0 0 4 0 0 0 18 0 1 0 186536181 3129344 332 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 764 332 136 292 0 469 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3056

[startup+0.101825 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4442
/proc/meminfo: memFree=1900144/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=3444 CPUtime=0.09
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 445 0 0 0 9 0 0 0 18 0 1 0 186536181 3526656 421 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 861 421 136 292 0 566 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3444

[startup+0.301844 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4442
/proc/meminfo: memFree=1900144/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=4736 CPUtime=0.29
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 783 0 0 0 28 1 0 0 19 0 1 0 186536181 4849664 759 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 1184 759 136 292 0 889 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4736

[startup+0.701884 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4442
/proc/meminfo: memFree=1900144/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=6816 CPUtime=0.69
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 1307 0 0 0 68 1 0 0 22 0 1 0 186536181 6979584 1283 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 1704 1283 136 292 0 1409 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6816

[startup+1.50196 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4443
/proc/meminfo: memFree=1894248/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=9464 CPUtime=1.49
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 1950 0 0 0 147 2 0 0 25 0 1 0 186536181 9691136 1926 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 2366 1926 136 292 0 2071 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9464

[startup+3.10113 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4443
/proc/meminfo: memFree=1890024/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=15556 CPUtime=3.09
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 3491 0 0 0 305 4 0 0 25 0 1 0 186536181 15929344 3467 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 3889 3467 136 292 0 3594 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15556

[startup+6.30144 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4443
/proc/meminfo: memFree=1876328/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=29052 CPUtime=6.29
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 6863 0 0 0 619 10 0 0 25 0 1 0 186536181 29749248 6839 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 7263 6839 136 292 0 6968 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29052

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4443
/proc/meminfo: memFree=1861416/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=42820 CPUtime=12.69
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 10300 0 0 0 1252 17 0 0 25 0 1 0 186536181 43847680 10276 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 10705 10276 136 292 0 10410 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42820

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4443
/proc/meminfo: memFree=1836328/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=66652 CPUtime=25.49
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 16235 0 0 0 2522 27 0 0 25 0 1 0 186536181 68251648 16211 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 16663 16211 136 292 0 16368 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66652

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4443
/proc/meminfo: memFree=1781864/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=121688 CPUtime=51.07
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 29988 0 0 0 5052 55 0 0 25 0 1 0 186536181 124608512 29964 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 30422 29964 136 292 0 30127 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 121688

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4443
/proc/meminfo: memFree=1676712/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=225512 CPUtime=102.27
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 55916 0 0 0 10120 107 0 0 25 0 1 0 186536181 230924288 55892 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 56378 55892 136 292 0 56083 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 225512

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4443
/proc/meminfo: memFree=1584488/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=318416 CPUtime=162.25
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 79153 0 0 0 16071 154 0 0 25 0 1 0 186536181 326057984 79129 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 79604 79129 136 292 0 79309 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 318416

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4443
/proc/meminfo: memFree=1485288/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=416548 CPUtime=222.23
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 103673 0 0 0 22020 203 0 0 25 0 1 0 186536181 426545152 103649 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 104137 103649 136 292 0 103842 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 416548

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4449
/proc/meminfo: memFree=1413472/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=488872 CPUtime=282.21
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 121744 0 0 0 27982 239 0 0 25 0 1 0 186536181 500604928 121720 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 122218 121720 136 292 0 121923 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 488872

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4449
/proc/meminfo: memFree=1319840/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=581832 CPUtime=342.2
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 144988 0 0 0 33932 288 0 0 25 0 1 0 186536181 595795968 144964 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 145458 144964 136 292 0 145163 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 581832

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4449
/proc/meminfo: memFree=1218784/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=683196 CPUtime=402.18
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 170293 0 0 0 39879 339 0 0 25 0 1 0 186536181 699592704 170269 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 170799 170269 136 292 0 170504 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 683196

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4449
/proc/meminfo: memFree=1158816/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=742424 CPUtime=462.17
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 185108 0 0 0 45842 375 0 0 25 0 1 0 186536181 760242176 185084 1992294400 134512640 135709839 4294956240 18446744073709551615 134568271 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 185606 185084 136 292 0 185311 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 742424

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4449
/proc/meminfo: memFree=1091360/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=810176 CPUtime=522.16
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 202032 0 0 0 51805 411 0 0 25 0 1 0 186536181 829620224 202008 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 202544 202008 136 292 0 202249 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 810176

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4449
/proc/meminfo: memFree=1038376/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=862924 CPUtime=582.14
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 215203 0 0 0 57774 440 0 0 25 0 1 0 186536181 883634176 215179 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 215731 215179 136 292 0 215436 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 862924

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4449
/proc/meminfo: memFree=974760/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=926092 CPUtime=642.13
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 230985 0 0 0 63740 473 0 0 25 0 1 0 186536181 948318208 230961 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 231523 230961 136 292 0 231228 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 926092

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4449
/proc/meminfo: memFree=893544/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=1007416 CPUtime=702.11
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 251322 0 0 0 69695 516 0 0 25 0 1 0 186536181 1031593984 251298 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 251854 251298 136 292 0 251559 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 1007416

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4449
/proc/meminfo: memFree=831976/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=1068580 CPUtime=762.1
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 266618 0 0 0 75658 552 0 0 25 0 1 0 186536181 1094225920 266594 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 267145 266594 136 292 0 266850 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 1068580

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4449
/proc/meminfo: memFree=753256/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=1147584 CPUtime=822.08
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 286356 0 0 0 81616 592 0 0 25 0 1 0 186536181 1175126016 286332 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 286896 286332 136 292 0 286601 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 1147584

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4449
/proc/meminfo: memFree=684648/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=1215748 CPUtime=882.07
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 303380 0 0 0 87576 631 0 0 25 0 1 0 186536181 1244925952 303356 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 303937 303356 136 292 0 303642 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 1215748

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4449
/proc/meminfo: memFree=617128/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=1284088 CPUtime=942.05
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 320457 0 0 0 93539 666 0 0 25 0 1 0 186536181 1314906112 320433 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 321022 320433 136 292 0 320727 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1284088

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4449
/proc/meminfo: memFree=549928/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=1350420 CPUtime=1002.04
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 337025 0 0 0 99498 706 0 0 25 0 1 0 186536181 1382830080 337001 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 337605 337001 136 292 0 337310 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1350420

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4449
/proc/meminfo: memFree=501608/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=1400544 CPUtime=1062.02
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 349573 0 0 0 105467 735 0 0 25 0 1 0 186536181 1434157056 349549 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 350136 349549 136 292 0 349841 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1400544

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4449
/proc/meminfo: memFree=437928/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=1462148 CPUtime=1122
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 364954 0 0 0 111428 772 0 0 25 0 1 0 186536181 1497239552 364930 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 365537 364930 136 292 0 365242 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1462148

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4449
/proc/meminfo: memFree=384936/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=1515732 CPUtime=1181.98
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 378352 0 0 0 117395 803 0 0 25 0 1 0 186536181 1552109568 378328 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 378933 378328 136 292 0 378638 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1515732

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4449
/proc/meminfo: memFree=332776/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=1567240 CPUtime=1241.98
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 391217 0 0 0 123363 835 0 0 25 0 1 0 186536181 1604853760 391193 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 391810 391193 136 292 0 391515 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1567240

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4449
/proc/meminfo: memFree=273704/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=1625676 CPUtime=1301.96
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 405841 0 0 0 129330 866 0 0 25 0 1 0 186536181 1664692224 405817 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 406419 405817 136 292 0 406124 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1625676

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4449
/proc/meminfo: memFree=215848/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=1683868 CPUtime=1361.94
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 420388 0 0 0 135293 901 0 0 25 0 1 0 186536181 1724280832 420364 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 420967 420364 136 292 0 420672 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1683868

[startup+1422.31 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 4449
/proc/meminfo: memFree=159912/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=1739348 CPUtime=1421.93
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 434237 0 0 0 141258 935 0 0 25 0 1 0 186536181 1781092352 434213 1992294400 134512640 135709839 4294956240 18446744073709551615 134573796 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 434837 434213 136 292 0 434542 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1739348

[startup+1482.3 s]
/proc/loadavg: 1.09 1.03 1.00 2/65 4449
/proc/meminfo: memFree=95272/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=1805404 CPUtime=1481.92
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 450767 0 0 0 147219 973 0 0 25 0 1 0 186536181 1848733696 450743 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 451351 450743 136 292 0 451056 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1805404



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1509.7 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 4449
/proc/meminfo: memFree=55720/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=1843260 CPUtime=1509.31
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4194304 460217 0 0 0 149938 993 0 0 25 0 1 0 186536181 1887498240 460193 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 460815 460193 136 292 0 460520 0
Current children cumulated CPU time (s) 1509.31
Current children cumulated vsize (KiB) 1843260

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

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

[startup+1509.81 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 4449
/proc/meminfo: memFree=55720/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=0 CPUtime=1509.41
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4195332 460217 0 0 0 149938 1003 0 0 25 0 1 0 186536181 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1509.41
Current children cumulated vsize (KiB) 0

[startup+1509.9 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 4449
/proc/meminfo: memFree=55720/2055920 swapFree=4181364/4192956
[pid=4442] ppid=4440 vsize=0 CPUtime=1509.5
/proc/4442/stat : 4442 (wbo) R 4440 4442 4029 0 -1 4195332 460217 0 0 0 149938 1012 0 0 25 0 1 0 186536181 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/4442/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1509.5
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1509.98
CPU time (s): 1509.6
CPU user time (s): 1499.39
CPU system time (s): 10.2134
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 1843260

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

runsolver used 1.03384 second user time and 3.2735 second system time

The end

Launcher Data 

Begin job on node36 at 2009-06-16 23:56:29
IDJOB=1875240
IDBENCH=48080
IDSOLVER=698
FILE ID=node36/1875240-1245189389
PBS_JOBID= 9368288
Free space on /tmp= 66200 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=373-P1=127-P2=409-P3=11-P4=263-P5=269-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-1875240-1245189389/watcher-1875240-1245189389 -o /tmp/evaluation-result-1875240-1245189389/solver-1875240-1245189389 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875240-1245189389.opb

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

MD5SUM BENCH= 65bc139f592885e582edbd6d46332a4d
RANDOM SEED=1696729734

node36.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.230
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.230
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:       1900624 kB
Buffers:         42404 kB
Cached:          66488 kB
SwapCached:       6436 kB
Active:          63688 kB
Inactive:        54088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1900624 kB
SwapTotal:     4192956 kB
SwapFree:      4181364 kB
Dirty:            2556 kB
Writeback:           0 kB
Mapped:          13412 kB
Slab:            23572 kB
Committed_AS:   183168 kB
PageTables:       1360 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-1875240-1245189389.opb

Free space on /tmp at the end= 66196 MiB
End job on node36 at 2009-06-17 00:21:40