Trace number 2689786

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) 1064.82 1064.83

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-33-100-0.wbo
MD5SUMbbaf7e04a2e14186c5cc5b74d1689780
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark0.260959
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5250
Total number of constraints145
Number of soft constraints94
Number of constraints which are clauses75
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint70
Maximum length of a constraint75
Top cost 4943
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 4942
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 76
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-2689786-1277894790.wbo.
0.00/0.00	c Instance file HOME/instance-2689786-1277894790.wbo
0.00/0.00	c File size is 94097 bytes.
0.00/0.01	c Highest Coefficient sum: 76
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:      5250                                                |
0.00/0.01	c |  Number Clauses:        75                                                  |
0.00/0.01	c |  Number Cardinality:    70                                                  |
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 |    5250      145    10500 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       100 |    5250      145    10500 |     5500      100    297 |  0.000 % |
0.00/0.03	c |       250 |    5250      145    10500 |     6050      250    314 |  0.000 % |
0.03/0.05	c |       475 |    5250      145    10500 |     6655      475    428 |  0.000 % |
0.03/0.08	c |       812 |    5250      145    10500 |     7320      812    392 |  0.000 % |
0.09/0.14	c |      1320 |    5250      145    10500 |     8052     1320    398 |  0.000 % |
0.18/0.24	c |      2080 |    5250      145    10500 |     8857     2080    399 |  0.000 % |
0.39/0.42	c |      3219 |    5250      145    10500 |     9743     3219    403 |  0.000 % |
0.79/0.84	c |      4928 |    5250      145    10500 |    10717     4928    483 |  0.000 % |
1.38/1.47	c |      7490 |    5250      145    10500 |    11789     7490    479 |  0.000 % |
2.89/2.93	c |     11337 |    5250      145    10500 |    12968    11337    495 |  0.000 % |
5.29/5.32	c |     17103 |    5250      145    10500 |    14265    17103    508 |  0.000 % |
9.69/9.71	c |     25752 |    5250      145    10500 |    15692    17201    493 |  0.000 % |
20.79/20.84	c |     38727 |    5250      145    10500 |    17261    11166    977 |  0.000 % |
54.29/54.31	c |     58191 |    5250      145    10500 |    18987    19438   1199 |  0.000 % |
75.89/75.90	c |     87385 |    5250      145    10500 |    20886    14688   1006 |  0.000 % |
110.28/110.38	c |    131175 |    5250      145    10500 |    22974    16828    661 |  0.000 % |
223.29/223.33	c |    196861 |    5250      145    10500 |    25272    22455   1374 |  0.000 % |
386.09/386.11	c |    295388 |    5250      145    10500 |    27799    18403   1303 |  0.000 % |
566.49/566.53	c |    443180 |    5250      145    10500 |    30579    14649   1471 |  0.000 % |
888.79/888.87	c |    664863 |    5250      145    10500 |    33637    14708   1059 |  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-2689786-1277894790/watcher-2689786-1277894790 -o /tmp/evaluation-result-2689786-1277894790/solver-2689786-1277894790 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689786-1277894790.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: 1.85 1.98 1.99 3/176 11394
/proc/meminfo: memFree=30579240/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=3476 CPUtime=0
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 459 0 0 0 0 0 0 0 25 0 1 0 130775582 3559424 377 4089446400 134512640 135751879 4290654784 18446744073709551615 134613782 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 869 377 138 303 0 541 0

[startup+0.0407421 s]
/proc/loadavg: 1.85 1.98 1.99 3/176 11394
/proc/meminfo: memFree=30579240/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=4088 CPUtime=0.03
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 695 0 0 0 3 0 0 0 25 0 1 0 130775582 4186112 590 4089446400 134512640 135751879 4290654784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 1022 591 143 303 0 717 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4088

[startup+0.100731 s]
/proc/loadavg: 1.85 1.98 1.99 3/176 11394
/proc/meminfo: memFree=30579240/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=5276 CPUtime=0.09
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 975 0 0 0 9 0 0 0 25 0 1 0 130775582 5402624 870 4089446400 134512640 135751879 4290654784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 1319 870 143 303 0 1014 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5276

[startup+0.300701 s]
/proc/loadavg: 1.85 1.98 1.99 3/176 11394
/proc/meminfo: memFree=30579240/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=8048 CPUtime=0.29
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 1665 0 0 0 28 1 0 0 25 0 1 0 130775582 8241152 1560 4089446400 134512640 135751879 4290654784 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 2012 1560 143 303 0 1707 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8048

[startup+0.700624 s]
/proc/loadavg: 1.85 1.98 1.99 3/176 11394
/proc/meminfo: memFree=30579240/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=12668 CPUtime=0.69
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 2822 0 0 0 68 1 0 0 25 0 1 0 130775582 12972032 2717 4089446400 134512640 135751879 4290654784 18446744073709551615 134616482 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 3167 2717 143 303 0 2862 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12668

[startup+1.50049 s]
/proc/loadavg: 1.85 1.98 1.99 3/177 11395
/proc/meminfo: memFree=30566072/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=19268 CPUtime=1.48
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 4466 0 0 0 146 2 0 0 25 0 1 0 130775582 19730432 4361 4089446400 134512640 135751879 4290654784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 4817 4361 143 303 0 4512 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 19268

[startup+3.10021 s]
/proc/loadavg: 1.86 1.98 1.99 3/177 11395
/proc/meminfo: memFree=30556912/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=29704 CPUtime=3.08
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 7090 0 0 0 305 3 0 0 25 0 1 0 130775582 30416896 6985 4089446400 134512640 135751879 4290654784 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 7426 6985 143 303 0 7121 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 29704

[startup+6.30065 s]
/proc/loadavg: 1.86 1.98 1.99 3/177 11395
/proc/meminfo: memFree=30539688/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=46632 CPUtime=6.28
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 11311 0 0 0 623 5 0 0 25 0 1 0 130775582 47751168 11206 4089446400 134512640 135751879 4290654784 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 11658 11206 143 303 0 11353 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 46632

[startup+12.7005 s]
/proc/loadavg: 1.88 1.98 1.99 3/177 11395
/proc/meminfo: memFree=30505288/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=78768 CPUtime=12.69
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 19365 0 0 0 1261 8 0 0 25 0 1 0 130775582 80658432 19260 4089446400 134512640 135751879 4290654784 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 19692 19260 143 303 0 19387 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 78768

[startup+25.5003 s]
/proc/loadavg: 1.90 1.98 1.99 3/177 11395
/proc/meminfo: memFree=30425612/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=136916 CPUtime=25.49
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 33887 0 0 0 2538 11 0 0 25 0 1 0 130775582 140201984 33782 4089446400 134512640 135751879 4290654784 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 34229 33782 143 303 0 33924 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 136916

[startup+51.1009 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 11397
/proc/meminfo: memFree=30289564/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=200996 CPUtime=51.08
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 49883 0 0 0 5094 14 0 0 25 0 1 0 130775582 205819904 49778 4089446400 134512640 135751879 4290654784 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 50249 49778 143 303 0 49944 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 200996

[startup+102.306 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 11397
/proc/meminfo: memFree=29942596/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=420044 CPUtime=102.29
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 104656 0 0 0 10199 30 0 0 25 0 1 0 130775582 430125056 104551 4089446400 134512640 135751879 4290654784 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 105011 104551 143 303 0 104706 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 420044

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 4/177 11399
/proc/meminfo: memFree=29513528/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=675480 CPUtime=162.29
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 168473 0 0 0 16183 46 0 0 25 0 1 0 130775582 691691520 168368 4089446400 134512640 135751879 4290654784 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 168870 168368 143 303 0 168565 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 675480

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 11401
/proc/meminfo: memFree=29205732/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=822712 CPUtime=222.28
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 205221 0 0 0 22171 57 0 0 25 0 1 0 130775582 842457088 205116 4089446400 134512640 135751879 4290654784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 205678 205116 143 303 0 205373 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 822712

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 11403
/proc/meminfo: memFree=28904636/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=1019884 CPUtime=282.29
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 254486 0 0 0 28160 69 0 0 25 0 1 0 130775582 1044361216 254381 4089446400 134512640 135751879 4290654784 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 254971 254381 143 303 0 254666 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1019884

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 11404
/proc/meminfo: memFree=28488716/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=1223588 CPUtime=342.28
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 305400 0 0 0 34147 81 0 0 25 0 1 0 130775582 1252954112 305295 4089446400 134512640 135751879 4290654784 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 305897 305295 143 303 0 305592 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 1223588

[startup+402.301 s]
/proc/loadavg: 2.06 2.00 1.99 3/177 11405
/proc/meminfo: memFree=28126372/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=1443568 CPUtime=402.29
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 360370 0 0 0 40134 95 0 0 25 0 1 0 130775582 1478213632 360265 4089446400 134512640 135751879 4290654784 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 360892 360265 143 303 0 360587 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1443568

[startup+462.3 s]
/proc/loadavg: 2.02 2.00 1.99 3/177 11407
/proc/meminfo: memFree=27773204/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=1643736 CPUtime=462.28
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 410385 0 0 0 46120 108 0 0 25 0 1 0 130775582 1683185664 410280 4089446400 134512640 135751879 4290654784 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 410934 410280 143 303 0 410629 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 1643736

[startup+522.301 s]
/proc/loadavg: 2.01 2.00 1.99 3/177 11409
/proc/meminfo: memFree=27345264/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=1918072 CPUtime=522.29
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 478948 0 0 0 52103 126 0 0 25 0 1 0 130775582 1964105728 478843 4089446400 134512640 135751879 4290654784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 479518 478843 143 303 0 479213 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 1918072

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 11411
/proc/meminfo: memFree=26838580/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=2228216 CPUtime=582.28
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 556455 0 0 0 58086 142 0 0 25 0 1 0 130775582 2281693184 556350 4089446400 134512640 135751879 4290654784 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 557054 556350 143 303 0 556749 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 2228216

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 11413
/proc/meminfo: memFree=26517524/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=2397380 CPUtime=642.29
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 598735 0 0 0 64076 153 0 0 25 0 1 0 130775582 2454917120 598630 4089446400 134512640 135751879 4290654784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 599345 598630 143 303 0 599040 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 2397380

[startup+702.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 11413
/proc/meminfo: memFree=26179236/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=2575148 CPUtime=702.29
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 643181 0 0 0 70063 166 0 0 25 0 1 0 130775582 2636951552 643076 4089446400 134512640 135751879 4290654784 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 643787 643076 143 303 0 643482 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 2575148

[startup+762.306 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 11415
/proc/meminfo: memFree=25855712/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=2749188 CPUtime=762.29
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 686639 0 0 0 76051 178 0 0 25 0 1 0 130775582 2815168512 686534 4089446400 134512640 135751879 4290654784 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 687297 686534 143 303 0 686992 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 2749188

[startup+822.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 11417
/proc/meminfo: memFree=25568272/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=2899012 CPUtime=822.28
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 724113 0 0 0 82040 188 0 0 25 0 1 0 130775582 2968588288 724008 4089446400 134512640 135751879 4290654784 18446744073709551615 134616414 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 724753 724008 143 303 0 724448 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 2899012

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11428
/proc/meminfo: memFree=25231136/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=3099332 CPUtime=882.29
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 774164 0 0 0 88026 203 0 0 25 0 1 0 130775582 3173715968 774059 4089446400 134512640 135751879 4290654784 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 774833 774059 143 303 0 774528 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 3099332

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11429
/proc/meminfo: memFree=24851684/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=3391596 CPUtime=942.29
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 847226 0 0 0 94010 219 0 0 25 0 1 0 130775582 3472994304 847121 4089446400 134512640 135751879 4290654784 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 847899 847121 143 303 0 847594 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 3391596

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11430
/proc/meminfo: memFree=24495908/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=3628684 CPUtime=1002.28
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 906497 0 0 0 99992 236 0 0 25 0 1 0 130775582 3715772416 906392 4089446400 134512640 135751879 4290654784 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 907171 906392 143 303 0 906866 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 3628684

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11432
/proc/meminfo: memFree=24142116/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=3876500 CPUtime=1062.28
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 968438 0 0 0 105978 250 0 0 25 0 1 0 130775582 3969536000 968333 4089446400 134512640 135751879 4290654784 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 969125 968333 143 303 0 968820 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 3876500



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1064.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11432
/proc/meminfo: memFree=24115084/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=3891460 CPUtime=1064.69
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4202496 972177 0 0 0 106219 250 0 0 25 0 1 0 130775582 3984855040 972072 4089446400 134512640 135751879 4290654784 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11394/statm: 972865 972072 143 303 0 972560 0
Current children cumulated CPU time (s) 1064.69
Current children cumulated vsize (KiB) 3891460

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

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

[startup+1064.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11432
/proc/meminfo: memFree=24115084/32951132 swapFree=67111528/67111528
[pid=11394] ppid=11392 vsize=0 CPUtime=1064.79
/proc/11394/stat : 11394 (wbo1.4a) R 11392 11394 9715 0 -1 4203524 972177 0 0 0 106219 260 0 0 25 0 1 0 130775582 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 2 0 0 0
/proc/11394/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1064.79
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1064.83
CPU time (s): 1064.82
CPU user time (s): 1062.19
CPU system time (s): 2.6296
CPU usage (%): 99.9988
Max. virtual memory (cumulated for all children) (KiB): 3891460

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

runsolver used 1.52577 second user time and 3.49047 second system time

The end

Launcher Data 

Begin job on node131 at 2010-06-30 12:46:30
IDJOB=2689786
IDBENCH=78742
IDSOLVER=1200
FILE ID=node131/2689786-1277894790
PBS_JOBID= 11197092
Free space on /tmp= 74136 MiB

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

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

MD5SUM BENCH= bbaf7e04a2e14186c5cc5b74d1689780
RANDOM SEED=1516817872

node131.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.836
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.67
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.836
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.836
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.82
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.836
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.82
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.836
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.76
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.836
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.83
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.836
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.75
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.836
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30579768 kB
Buffers:        180880 kB
Cached:        1133656 kB
SwapCached:          0 kB
Active:        1421400 kB
Inactive:       807432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30579768 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3076 kB
Writeback:           0 kB
AnonPages:      914276 kB
Mapped:          15260 kB
Slab:            79696 kB
PageTables:       6272 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  1054660 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74136 MiB
End job on node131 at 2010-06-30 13:04:17