Trace number 2690026

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 NameAnswerCPU timeWall clock time
wbo 1.4a? (MO) 1249.88 1249.84

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo
MD5SUM0a60736b8b79adacf122a04a37158c9c
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.529919
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables10100
Total number of constraints201
Number of soft constraints201
Number of constraints which are clauses101
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint100
Maximum length of a constraint101
Top cost 9959
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 9958
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 102
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing wbo file format. File HOME/instance-2690026-1277922251.wbo.
0.00/0.00	c Instance file HOME/instance-2690026-1277922251.wbo
0.00/0.00	c File size is 182545 bytes.
0.00/0.01	c Highest Coefficient sum: 102
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:      10100                                               |
0.00/0.01	c |  Number Clauses:        101                                                 |
0.00/0.01	c |  Number Cardinality:    100                                                 |
0.00/0.01	c |  Number PB Constraints: 0                                                   |
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 |   10100      201    20200 |     5000        0    nan |  0.000 % |
0.00/0.02	c |       103 |   10100      201    20200 |     5500      103    390 |  0.000 % |
0.04/0.05	c |       254 |   10100      201    20200 |     6050      254    592 |  0.000 % |
0.09/0.12	c |       479 |   10100      201    20200 |     6655      479   1097 |  0.000 % |
0.09/0.17	c |       816 |   10100      201    20200 |     7320      816    935 |  0.000 % |
0.19/0.25	c |      1324 |   10100      201    20200 |     8052     1324    752 |  0.000 % |
0.29/0.35	c |      2083 |   10100      201    20200 |     8857     2083    641 |  0.000 % |
0.59/0.60	c |      3222 |   10100      201    20200 |     9743     3222    578 |  0.000 % |
1.00/1.02	c |      4931 |   10100      201    20200 |    10717     4931    561 |  0.000 % |
2.09/2.15	c |      7493 |   10100      201    20200 |    11789     7493    560 |  0.000 % |
4.69/4.79	c |     11337 |   10100      201    20200 |    12968    11337    605 |  0.000 % |
8.19/8.25	c |     17104 |   10100      201    20200 |    14265    17104    602 |  0.000 % |
13.89/13.95	c |     25754 |   10100      201    20200 |    15692    17202    614 |  0.000 % |
25.69/25.78	c |     38729 |   10100      201    20200 |    17261    21576   1447 |  0.000 % |
53.99/54.03	c |     58193 |   10100      201    20200 |    18987    14895   1728 |  0.000 % |
101.10/101.14	c |     87388 |   10100      201    20200 |    20886    26725   2455 |  0.000 % |
165.79/165.89	c |    131177 |   10100      201    20200 |    22974    21098   1367 |  0.000 % |
325.90/325.97	c |    196862 |   10100      201    20200 |    25272    25843   2198 |  0.000 % |
794.92/794.94	c |    295389 |   10100      201    20200 |    27799    26047   2733 |  0.000 % |
1204.73/1204.74	c |    443180 |   10100      201    20200 |    30579    30222   1969 |  0.000 % |

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-2690026-1277922251/watcher-2690026-1277922251 -o /tmp/evaluation-result-2690026-1277922251/solver-2690026-1277922251 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690026-1277922251.wbo 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 14425
/proc/meminfo: memFree=31599872/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=3860 CPUtime=0
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 517 0 0 0 0 0 0 0 25 0 1 0 133370798 3952640 436 4089446400 134512640 135751879 4289739792 18446744073709551615 135203996 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14425/statm: 965 436 142 303 0 615 0

[startup+0.05192 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 14425
/proc/meminfo: memFree=31599872/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=5440 CPUtime=0.04
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 995 0 0 0 4 0 0 0 25 0 1 0 133370798 5570560 869 4089446400 134512640 135751879 4289739792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14425/statm: 1360 869 143 303 0 1055 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5440

[startup+0.100911 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 14425
/proc/meminfo: memFree=31599872/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=6652 CPUtime=0.09
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 1283 0 0 0 8 1 0 0 25 0 1 0 133370798 6811648 1157 4089446400 134512640 135751879 4289739792 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14425/statm: 1663 1158 143 303 0 1358 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6652

[startup+0.300874 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 14425
/proc/meminfo: memFree=31599872/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=9956 CPUtime=0.29
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 2124 0 0 0 27 2 0 0 25 0 1 0 133370798 10194944 1998 4089446400 134512640 135751879 4289739792 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14425/statm: 2489 1998 143 303 0 2184 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9956

[startup+0.700794 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 14425
/proc/meminfo: memFree=31599872/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=14180 CPUtime=0.69
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 3179 0 0 0 66 3 0 0 25 0 1 0 133370798 14520320 3053 4089446400 134512640 135751879 4289739792 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14425/statm: 3545 3053 143 303 0 3240 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14180

[startup+1.50064 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14426
/proc/meminfo: memFree=31585728/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=20120 CPUtime=1.49
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 4667 0 0 0 146 3 0 0 25 0 1 0 133370798 20602880 4541 4089446400 134512640 135751879 4289739792 18446744073709551615 134607817 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14425/statm: 5030 4541 143 303 0 4725 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20120

[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14427
/proc/meminfo: memFree=31579280/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=29128 CPUtime=3.09
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 6901 0 0 0 305 4 0 0 25 0 1 0 133370798 29827072 6775 4089446400 134512640 135751879 4289739792 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14425/statm: 7282 6775 143 303 0 6977 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29128

[startup+6.30072 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14427
/proc/meminfo: memFree=31563292/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=41972 CPUtime=6.29
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 10127 0 0 0 625 4 0 0 25 0 1 0 133370798 42979328 10001 4089446400 134512640 135751879 4289739792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14425/statm: 10493 10001 143 303 0 10188 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41972

[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14427
/proc/meminfo: memFree=31535632/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=68244 CPUtime=12.69
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 16680 0 0 0 1262 7 0 0 25 0 1 0 133370798 69881856 16554 4089446400 134512640 135751879 4289739792 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/14425/statm: 17061 16554 143 303 0 16756 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68244

[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14427
/proc/meminfo: memFree=31428556/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=174228 CPUtime=25.49
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 43181 0 0 0 2537 12 0 0 25 0 1 0 133370798 178409472 43055 4089446400 134512640 135751879 4289739792 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/14425/statm: 43557 43055 143 303 0 43252 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 174228

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14428
/proc/meminfo: memFree=31309300/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=293560 CPUtime=51.09
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 73000 0 0 0 5091 18 0 0 25 0 1 0 133370798 300605440 72874 4089446400 134512640 135751879 4289739792 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/14425/statm: 73390 72874 143 303 0 73085 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 293560

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14429
/proc/meminfo: memFree=30994904/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=604796 CPUtime=102.3
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 150812 0 0 0 10198 32 0 0 25 0 1 0 133370798 619311104 150686 4089446400 134512640 135751879 4289739792 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/14425/statm: 151199 150686 143 303 0 150894 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 604796

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14431
/proc/meminfo: memFree=30754304/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=846488 CPUtime=162.29
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 211202 0 0 0 16182 47 0 0 25 0 1 0 133370798 866803712 211076 4089446400 134512640 135751879 4289739792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/14425/statm: 211622 211076 143 303 0 211317 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 846488

[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/197 14432
/proc/meminfo: memFree=30498328/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=1099940 CPUtime=222.3
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 274552 0 0 0 22170 60 0 0 25 0 1 0 133370798 1126338560 274426 4089446400 134512640 135751879 4289739792 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/14425/statm: 274985 274426 143 303 0 274680 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1099940

[startup+282.301 s]
/proc/loadavg: 1.96 1.99 1.99 3/179 14464
/proc/meminfo: memFree=30398036/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=1315420 CPUtime=282.3
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 328426 0 0 0 28158 72 0 0 25 0 1 0 133370798 1346990080 328300 4089446400 134512640 135751879 4289739792 18446744073709551615 134616503 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/14425/statm: 328855 328300 143 303 0 328550 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1315420

[startup+342.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/179 14465
/proc/meminfo: memFree=30011836/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=1495192 CPUtime=342.3
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 373356 0 0 0 34147 83 0 0 25 0 1 0 133370798 1531076608 373230 4089446400 134512640 135751879 4289739792 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/14425/statm: 373798 373230 143 303 0 373493 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1495192

[startup+402.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 14467
/proc/meminfo: memFree=29678368/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=1633896 CPUtime=402.3
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 407998 0 0 0 40139 91 0 0 25 0 1 0 133370798 1673109504 407872 4089446400 134512640 135751879 4289739792 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/14425/statm: 408474 407872 143 303 0 408169 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1633896

[startup+462.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 14469
/proc/meminfo: memFree=29425496/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=1777664 CPUtime=462.3
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 443940 0 0 0 46132 98 0 0 25 0 1 0 133370798 1820327936 443814 4089446400 134512640 135751879 4289739792 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/14425/statm: 444416 443814 143 303 0 444111 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1777664

[startup+522.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 14470
/proc/meminfo: memFree=29155372/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=1972820 CPUtime=522.3
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 492732 0 0 0 52121 109 0 0 25 0 1 0 133370798 2020167680 492606 4089446400 134512640 135751879 4289739792 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/14425/statm: 493205 492606 143 303 0 492900 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1972820

[startup+582.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 14472
/proc/meminfo: memFree=28868888/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=2090648 CPUtime=582.31
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 522150 0 0 0 58113 118 0 0 25 0 1 0 133370798 2140823552 522024 4089446400 134512640 135751879 4289739792 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/14425/statm: 522662 522024 143 303 0 522357 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2090648

[startup+642.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 14473
/proc/meminfo: memFree=28572232/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=2239088 CPUtime=642.31
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 559264 0 0 0 64106 125 0 0 25 0 1 0 133370798 2292826112 559138 4089446400 134512640 135751879 4289739792 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/14425/statm: 559772 559138 143 303 0 559467 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 2239088

[startup+702.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 14475
/proc/meminfo: memFree=28332000/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=2334948 CPUtime=702.31
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 583225 0 0 0 70099 132 0 0 25 0 1 0 133370798 2390986752 583099 4089446400 134512640 135751879 4289739792 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/14425/statm: 583737 583099 143 303 0 583432 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 2334948

[startup+762.307 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 14477
/proc/meminfo: memFree=28097964/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=2424784 CPUtime=762.32
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 605678 0 0 0 76094 138 0 0 25 0 1 0 133370798 2482978816 605552 4089446400 134512640 135751879 4289739792 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/14425/statm: 606196 605552 143 303 0 605891 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 2424784

[startup+822.301 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 14478
/proc/meminfo: memFree=27745876/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=2635068 CPUtime=822.32
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 658223 0 0 0 82084 148 0 0 25 0 1 0 133370798 2698309632 658097 4089446400 134512640 135751879 4289739792 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/14425/statm: 658767 658097 143 303 0 658462 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 2635068

[startup+882.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14480
/proc/meminfo: memFree=27430984/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=2794332 CPUtime=882.32
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 698014 0 0 0 88076 156 0 0 25 0 1 0 133370798 2861395968 697888 4089446400 134512640 135751879 4289739792 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/14425/statm: 698583 697888 143 303 0 698278 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 2794332

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14481
/proc/meminfo: memFree=27109280/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=2987696 CPUtime=942.32
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 746337 0 0 0 94064 168 0 0 25 0 1 0 133370798 3059400704 746211 4089446400 134512640 135751879 4289739792 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/14425/statm: 746924 746211 143 303 0 746619 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2987696

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14483
/proc/meminfo: memFree=26823164/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=3121028 CPUtime=1002.33
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 779656 0 0 0 100057 176 0 0 25 0 1 0 133370798 3195932672 779530 4089446400 134512640 135751879 4289739792 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/14425/statm: 780257 779530 143 303 0 779952 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 3121028

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14485
/proc/meminfo: memFree=26469464/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=3313456 CPUtime=1062.33
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 827776 0 0 0 106045 188 0 0 25 0 1 0 133370798 3392978944 827650 4089446400 134512640 135751879 4289739792 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/14425/statm: 828364 827650 143 303 0 828059 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 3313456

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14486
/proc/meminfo: memFree=26115768/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=3517160 CPUtime=1122.33
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 878692 0 0 0 112033 200 0 0 25 0 1 0 133370798 3601571840 878566 4089446400 134512640 135751879 4289739792 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/14425/statm: 879290 878566 143 303 0 878985 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 3517160

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14488
/proc/meminfo: memFree=25871204/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=3657240 CPUtime=1182.33
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 913693 0 0 0 118024 209 0 0 25 0 1 0 133370798 3745013760 913567 4089446400 134512640 135751879 4289739792 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/14425/statm: 914310 913567 143 303 0 914005 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3657240

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14489
/proc/meminfo: memFree=25503728/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=3878304 CPUtime=1242.34
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 968974 0 0 0 124011 223 0 0 25 0 1 0 133370798 3971383296 968848 4089446400 134512640 135751879 4289739792 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/14425/statm: 969576 968848 143 303 0 969271 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 3878304



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1249.7 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 14490
/proc/meminfo: memFree=25475576/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=3891260 CPUtime=1249.74
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 972200 0 0 0 124750 224 0 0 25 0 1 0 133370798 3984650240 972074 4089446400 134512640 135751879 4289739792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/14425/statm: 972815 972074 143 303 0 972510 0
Current children cumulated CPU time (s) 1249.74
Current children cumulated vsize (KiB) 3891260

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

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

[startup+1249.81 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 14490
/proc/meminfo: memFree=25475576/32950928 swapFree=67111528/67111528
[pid=14425] ppid=14423 vsize=0 CPUtime=1249.84
/proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4203524 972200 0 0 0 124750 234 0 0 25 0 1 0 133370798 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0
/proc/14425/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1249.84
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1249.84
CPU time (s): 1249.88
CPU user time (s): 1247.51
CPU system time (s): 2.37664
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 3891260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1247.51
system time used= 2.37664
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 972200
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= 1
involuntary context switches= 804

runsolver used 2.16567 second user time and 4.14237 second system time

The end

Launcher Data 

Begin job on node127 at 2010-06-30 20:24:12
IDJOB=2690026
IDBENCH=79182
IDSOLVER=1200
FILE ID=node127/2690026-1277922251
PBS_JOBID= 11197273
Free space on /tmp= 74208 MiB

SOLVER NAME= wbo 1.4a
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo
COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690026-1277922251/watcher-2690026-1277922251 -o /tmp/evaluation-result-2690026-1277922251/solver-2690026-1277922251 -C 1800 -W 2000 -M 3800  wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690026-1277922251.wbo

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

MD5SUM BENCH= 0a60736b8b79adacf122a04a37158c9c
RANDOM SEED=822276295

node127.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31600400 kB
Buffers:        208676 kB
Cached:         715056 kB
SwapCached:          0 kB
Active:         699720 kB
Inactive:       509664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31600400 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2780 kB
Writeback:           0 kB
AnonPages:      285700 kB
Mapped:          20268 kB
Slab:            77992 kB
PageTables:       5700 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1642564 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74200 MiB
End job on node127 at 2010-06-30 20:45:03