Trace number 2689766

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) 1192.95 1192.93

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-91-90--soft-66-100-0.wbo
MD5SUMcbd603b41e8425572ef374dcdfc00979
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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.397938
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables8190
Total number of constraints181
Number of soft constraints67
Number of constraints which are clauses91
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint90
Maximum length of a constraint91
Top cost 3514
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 3513
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 92
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-2689766-1277893576.wbo.
0.00/0.00	c Instance file HOME/instance-2689766-1277893576.wbo
0.00/0.00	c File size is 147160 bytes.
0.00/0.01	c Highest Coefficient sum: 92
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:      8190                                                |
0.00/0.01	c |  Number Clauses:        91                                                  |
0.00/0.01	c |  Number Cardinality:    90                                                  |
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 |    8190      181    16380 |     5000        0    nan |  0.000 % |
0.01/0.02	c |       101 |    8190      181    16380 |     5500      101    345 |  0.000 % |
0.01/0.04	c |       251 |    8190      181    16380 |     6050      251    501 |  0.000 % |
0.01/0.07	c |       476 |    8190      181    16380 |     6655      476    493 |  0.000 % |
0.09/0.14	c |       814 |    8190      181    16380 |     7320      814    807 |  0.000 % |
0.19/0.24	c |      1320 |    8190      181    16380 |     8052     1320    790 |  0.000 % |
0.28/0.34	c |      2080 |    8190      181    16380 |     8857     2080    655 |  0.000 % |
0.48/0.56	c |      3220 |    8190      181    16380 |     9743     3220    564 |  0.000 % |
0.99/1.02	c |      4928 |    8190      181    16380 |    10717     4928    532 |  0.000 % |
1.68/1.71	c |      7490 |    8190      181    16380 |    11789     7490    504 |  0.000 % |
2.88/2.96	c |     11336 |    8190      181    16380 |    12968    11336    506 |  0.000 % |
5.28/5.33	c |     17102 |    8190      181    16380 |    14265    17102    508 |  0.000 % |
10.29/10.30	c |     25753 |    8190      181    16380 |    15692    17202    525 |  0.000 % |
24.78/24.87	c |     38729 |    8190      181    16380 |    17261    21577   1306 |  0.000 % |
54.58/54.65	c |     58191 |    8190      181    16380 |    18987    16465   1515 |  0.000 % |
94.28/94.31	c |     87383 |    8190      181    16380 |    20886    16714    765 |  0.000 % |
176.88/176.93	c |    131178 |    8190      181    16380 |    22974    26993   2607 |  0.000 % |
323.39/323.46	c |    196862 |    8190      181    16380 |    25272    24994   1792 |  0.000 % |
520.69/520.70	c |    295390 |    8190      181    16380 |    27799    21086   1276 |  0.000 % |
924.41/924.48	c |    443179 |    8190      181    16380 |    30579    16603   2035 |  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-2689766-1277893576/watcher-2689766-1277893576 -o /tmp/evaluation-result-2689766-1277893576/solver-2689766-1277893576 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689766-1277893576.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.01 2.01 2.04 5/200 11462
/proc/meminfo: memFree=31151268/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=3828 CPUtime=0
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 517 0 0 0 0 0 0 0 21 0 1 0 130653226 3919872 435 4089446400 134512640 135751879 4291294304 18446744073709551615 134613727 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11462/statm: 957 435 142 303 0 616 0

[startup+0.0191229 s]
/proc/loadavg: 2.01 2.01 2.04 5/200 11462
/proc/meminfo: memFree=31151268/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=4400 CPUtime=0.01
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 747 0 0 0 1 0 0 0 18 0 1 0 130653226 4505600 629 4089446400 134512640 135751879 4291294304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11462/statm: 1100 629 142 303 0 795 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4400

[startup+0.101094 s]
/proc/loadavg: 2.01 2.01 2.04 5/200 11462
/proc/meminfo: memFree=31151268/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=5984 CPUtime=0.09
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 1163 0 0 0 8 1 0 0 18 0 1 0 130653226 6127616 1045 4089446400 134512640 135751879 4291294304 18446744073709551615 134607805 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 1496 1045 143 303 0 1191 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5984

[startup+0.301058 s]
/proc/loadavg: 2.01 2.01 2.04 5/200 11462
/proc/meminfo: memFree=31151268/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=9432 CPUtime=0.28
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 2020 0 0 0 26 2 0 0 18 0 1 0 130653226 9658368 1902 4089446400 134512640 135751879 4291294304 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 2358 1903 143 303 0 2053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9432

[startup+0.70097 s]
/proc/loadavg: 2.01 2.01 2.04 5/200 11462
/proc/meminfo: memFree=31151268/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=13656 CPUtime=0.68
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 3054 0 0 0 64 4 0 0 18 0 1 0 130653226 13983744 2936 4089446400 134512640 135751879 4291294304 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 3414 2936 143 303 0 3109 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13656

[startup+1.50084 s]
/proc/loadavg: 2.01 2.01 2.04 3/201 11463
/proc/meminfo: memFree=31139280/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=19200 CPUtime=1.49
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 4469 0 0 0 144 5 0 0 20 0 1 0 130653226 19660800 4351 4089446400 134512640 135751879 4291294304 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 4800 4351 143 303 0 4495 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19200

[startup+3.10054 s]
/proc/loadavg: 2.01 2.01 2.04 3/201 11463
/proc/meminfo: memFree=31129980/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=30156 CPUtime=3.08
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 7194 0 0 0 301 7 0 0 25 0 1 0 130653226 30879744 7076 4089446400 134512640 135751879 4291294304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 7539 7076 143 303 0 7234 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 30156

[startup+6.30095 s]
/proc/loadavg: 2.01 2.01 2.04 3/201 11463
/proc/meminfo: memFree=31112992/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=48028 CPUtime=6.28
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 11677 0 0 0 618 10 0 0 25 0 1 0 130653226 49180672 11559 4089446400 134512640 135751879 4291294304 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 12007 11559 143 303 0 11702 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 48028

[startup+12.7008 s]
/proc/loadavg: 2.01 2.01 2.04 3/201 11464
/proc/meminfo: memFree=31074120/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=87124 CPUtime=12.69
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 21431 0 0 0 1254 15 0 0 25 0 1 0 130653226 89214976 21313 4089446400 134512640 135751879 4291294304 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 21781 21313 143 303 0 21476 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 87124

[startup+25.5004 s]
/proc/loadavg: 2.01 2.01 2.04 3/201 11464
/proc/meminfo: memFree=30996480/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=163200 CPUtime=25.48
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 40443 0 0 0 2528 20 0 0 25 0 1 0 130653226 167116800 40325 4089446400 134512640 135751879 4291294304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 40800 40325 143 303 0 40495 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 163200

[startup+51.1006 s]
/proc/loadavg: 2.00 2.01 2.03 3/201 11464
/proc/meminfo: memFree=30892032/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=264672 CPUtime=51.08
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 65800 0 0 0 5081 27 0 0 25 0 1 0 130653226 271024128 65682 4089446400 134512640 135751879 4291294304 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 66168 65682 143 303 0 65863 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 264672

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.03 3/201 11466
/proc/meminfo: memFree=30698200/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=457000 CPUtime=102.29
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 113889 0 0 0 10187 42 0 0 25 0 1 0 130653226 467968000 113771 4089446400 134512640 135751879 4291294304 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 114250 113771 143 303 0 113945 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 457000

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.02 3/201 11468
/proc/meminfo: memFree=30363608/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=793552 CPUtime=162.29
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 198001 0 0 0 16164 65 0 0 25 0 1 0 130653226 812597248 197883 4089446400 134512640 135751879 4291294304 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 198388 197883 143 303 0 198083 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 793552

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.02 3/201 11469
/proc/meminfo: memFree=30131324/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=1022172 CPUtime=222.29
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 255138 0 0 0 22148 81 0 0 25 0 1 0 130653226 1046704128 255020 4089446400 134512640 135751879 4291294304 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 255543 255020 143 303 0 255238 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1022172

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.01 3/201 11471
/proc/meminfo: memFree=29961776/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=1194708 CPUtime=282.29
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 298242 0 0 0 28138 91 0 0 25 0 1 0 130653226 1223380992 298124 4089446400 134512640 135751879 4291294304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 298677 298124 143 303 0 298372 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1194708

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.01 3/201 11475
/proc/meminfo: memFree=29772860/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=1380248 CPUtime=342.28
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 344614 0 0 0 34124 104 0 0 25 0 1 0 130653226 1413373952 344496 4089446400 134512640 135751879 4291294304 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 345062 344496 143 303 0 344757 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 1380248

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 5/201 11477
/proc/meminfo: memFree=29603896/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=1532080 CPUtime=402.29
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 382555 0 0 0 40112 117 0 0 25 0 1 0 130653226 1568849920 382437 4089446400 134512640 135751879 4291294304 18446744073709551615 134607732 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 383020 382439 143 303 0 382715 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1532080

[startup+462.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/201 11479
/proc/meminfo: memFree=29402000/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=1722176 CPUtime=462.29
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 430079 0 0 0 46096 133 0 0 25 0 1 0 130653226 1763508224 429961 4089446400 134512640 135751879 4291294304 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 430544 429961 143 303 0 430239 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 1722176

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/201 11480
/proc/meminfo: memFree=29213364/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=1890240 CPUtime=522.29
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 472056 0 0 0 52086 143 0 0 25 0 1 0 130653226 1935605760 471938 4089446400 134512640 135751879 4291294304 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 472560 471938 143 303 0 472255 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 1890240

[startup+582.3 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 11512
/proc/meminfo: memFree=29272148/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=2096988 CPUtime=582.29
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 523711 0 0 0 58071 158 0 0 25 0 1 0 130653226 2147315712 523593 4089446400 134512640 135751879 4291294304 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 524247 523593 143 303 0 523942 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 2096988

[startup+642.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/183 11513
/proc/meminfo: memFree=28889604/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=2305908 CPUtime=642.3
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 575930 0 0 0 64055 175 0 0 25 0 1 0 130653226 2361249792 575812 4089446400 134512640 135751879 4291294304 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 576477 575812 143 303 0 576172 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 2305908

[startup+702.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/183 11515
/proc/meminfo: memFree=28504816/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=2467564 CPUtime=702.3
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 616321 0 0 0 70044 186 0 0 25 0 1 0 130653226 2526785536 616203 4089446400 134512640 135751879 4291294304 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 616891 616203 143 303 0 616586 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 2467564

[startup+762.306 s]
/proc/loadavg: 1.99 1.99 1.99 3/183 11517
/proc/meminfo: memFree=28131176/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=2630544 CPUtime=762.31
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 657066 0 0 0 76032 199 0 0 25 0 1 0 130653226 2693677056 656948 4089446400 134512640 135751879 4291294304 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 657636 656948 143 303 0 657331 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 2630544

[startup+822.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/183 11518
/proc/meminfo: memFree=27801436/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=2826348 CPUtime=822.31
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 706009 0 0 0 82020 211 0 0 25 0 1 0 130653226 2894180352 705891 4089446400 134512640 135751879 4291294304 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 706587 705891 143 303 0 706282 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 2826348

[startup+882.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/183 11520
/proc/meminfo: memFree=27425560/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=3001684 CPUtime=882.31
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 749817 0 0 0 88010 221 0 0 25 0 1 0 130653226 3073724416 749699 4089446400 134512640 135751879 4291294304 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 750421 749699 143 303 0 750116 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 3001684

[startup+942.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/183 11521
/proc/meminfo: memFree=27052424/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=3194256 CPUtime=942.3
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 797968 0 0 0 93999 231 0 0 25 0 1 0 130653226 3270918144 797850 4089446400 134512640 135751879 4291294304 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 798564 797850 143 303 0 798259 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 3194256

[startup+1002.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/183 11523
/proc/meminfo: memFree=26693668/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=3356492 CPUtime=1002.31
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 838507 0 0 0 99988 243 0 0 25 0 1 0 130653226 3437047808 838389 4089446400 134512640 135751879 4291294304 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 839123 838389 143 303 0 838818 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 3356492

[startup+1062.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/183 11525
/proc/meminfo: memFree=26360580/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=3550392 CPUtime=1062.31
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 886972 0 0 0 105975 256 0 0 25 0 1 0 130653226 3635601408 886854 4089446400 134512640 135751879 4291294304 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 887598 886854 143 303 0 887293 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 3550392

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 11526
/proc/meminfo: memFree=26099292/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=3678528 CPUtime=1122.31
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 918992 0 0 0 111966 265 0 0 25 0 1 0 130653226 3766812672 918874 4089446400 134512640 135751879 4291294304 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 919632 918874 143 303 0 919327 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 3678528

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11528
/proc/meminfo: memFree=25782940/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=3860620 CPUtime=1182.31
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 964499 0 0 0 117955 276 0 0 25 0 1 0 130653226 3953274880 964381 4089446400 134512640 135751879 4291294304 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 965155 964381 143 303 0 964850 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 3860620



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1192.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11528
/proc/meminfo: memFree=25717952/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=3891232 CPUtime=1192.82
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4202496 972170 0 0 0 119003 279 0 0 25 0 1 0 130653226 3984621568 972052 4089446400 134512640 135751879 4291294304 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11462/statm: 972808 972052 143 303 0 972503 0
Current children cumulated CPU time (s) 1192.82
Current children cumulated vsize (KiB) 3891232

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

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

[startup+1192.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11528
/proc/meminfo: memFree=25717952/32951124 swapFree=67111528/67111528
[pid=11462] ppid=11460 vsize=0 CPUtime=1192.93
/proc/11462/stat : 11462 (wbo1.4a) R 11460 11462 10108 0 -1 4203524 972170 0 0 0 119004 289 0 0 25 0 1 0 130653226 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/11462/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1192.93
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1192.93
CPU time (s): 1192.95
CPU user time (s): 1190.04
CPU system time (s): 2.91456
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3891232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1190.04
system time used= 2.91456
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 972170
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= 3
involuntary context switches= 1007

runsolver used 1.82772 second user time and 3.85441 second system time

The end

Launcher Data 

Begin job on node135 at 2010-06-30 12:26:16
IDJOB=2689766
IDBENCH=78730
IDSOLVER=1200
FILE ID=node135/2689766-1277893576
PBS_JOBID= 11197083
Free space on /tmp= 74140 MiB

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

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

MD5SUM BENCH= cbd603b41e8425572ef374dcdfc00979
RANDOM SEED=1131650935

node135.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.857
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.71
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.857
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.857
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.857
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	: 7186.14
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.857
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.75
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.857
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.857
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.74
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.857
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31151672 kB
Buffers:        175924 kB
Cached:        1100604 kB
SwapCached:          0 kB
Active:         837124 kB
Inactive:       817712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31151672 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2912 kB
Writeback:           0 kB
AnonPages:      378712 kB
Mapped:          20344 kB
Slab:            80252 kB
PageTables:       5972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1642160 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 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 node135 at 2010-06-30 12:46:11