Trace number 2690668

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.4b? (MO) 1593.67 1593.63

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-105-100--soft-0-100-0.wbo
MD5SUM74ceb63f540b1c0e7b9983b4b6436598
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.437933
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables10500
Total number of constraints205
Number of soft constraints205
Number of constraints which are clauses105
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 constraint105
Top cost 10882
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 10881
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 106
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 - 20100610
0.00/0.00	c Parsing wbo file format. File HOME/instance-2690668-1277922343.wbo.
0.00/0.00	c Instance file HOME/instance-2690668-1277922343.wbo
0.00/0.00	c File size is 190604 bytes.
0.00/0.01	c Highest Coefficient sum: 106
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.02         s                                      |
0.00/0.01	c |  Number Variables:      10500                                               |
0.00/0.01	c |  Number Clauses:        105                                                 |
0.00/0.01	c |  Number Cardinality:    100                                                 |
0.00/0.01	c |  Number PB Constraints: 0                                                   |
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |   10500      205    21000 |     5000        0    nan |  0.000 % |
0.00/0.03	c |       101 |   10500      205    21000 |     5500      101    431 |  0.000 % |
0.04/0.05	c |       252 |   10500      205    21000 |     6050      252    426 |  0.000 % |
0.09/0.13	c |       477 |   10500      205    21000 |     6655      477    998 |  0.000 % |
0.19/0.27	c |       816 |   10500      205    21000 |     7320      816   1238 |  0.000 % |
0.29/0.35	c |      1323 |   10500      205    21000 |     8052     1323   1021 |  0.000 % |
0.39/0.50	c |      2084 |   10500      205    21000 |     8857     2084    908 |  0.000 % |
0.69/0.73	c |      3223 |   10500      205    21000 |     9743     3223    783 |  0.000 % |
1.09/1.14	c |      4932 |   10500      205    21000 |    10717     4932    703 |  0.000 % |
2.10/2.12	c |      7495 |   10500      205    21000 |    11789     7495    703 |  0.000 % |
3.69/3.79	c |     11341 |   10500      205    21000 |    12968    11341    702 |  0.000 % |
6.59/6.64	c |     17107 |   10500      205    21000 |    14265    17107    693 |  0.000 % |
12.59/12.69	c |     25761 |   10500      205    21000 |    15692    17208    700 |  0.000 % |
27.79/27.82	c |     38737 |   10500      205    21000 |    17261    21580   1388 |  0.000 % |
62.89/62.95	c |     58199 |   10500      205    21000 |    18987    14326   2343 |  0.000 % |
106.49/106.59	c |     87392 |   10500      205    21000 |    20886    26043   1096 |  0.000 % |
180.49/180.52	c There are 0 assigned variables. 0 in cost function.
180.49/180.58	c ============================[ Search Statistics ]==============================
180.49/180.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.49/180.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.49/180.58	c ===============================================================================
180.49/180.58	c |         0 |   10500      205    21000 |     5000        0    nan |  0.000 % |
180.59/180.63	c |       103 |   10500      205    21000 |     5500      103    398 |  0.000 % |
180.69/180.75	c |       257 |   10500      205    21000 |     6050      257    723 |  0.000 % |
180.90/180.97	c |       482 |   10500      205    21000 |     6655      482   1174 |  0.000 % |
181.29/181.34	c |       819 |   10500      205    21000 |     7320      819   1159 |  0.000 % |
181.59/181.69	c |      1327 |   10500      205    21000 |     8052     1327    919 |  0.000 % |
182.20/182.25	c |      2086 |   10500      205    21000 |     8857     2086    801 |  0.000 % |
183.09/183.16	c |      3227 |   10500      205    21000 |     9743     3227    735 |  0.000 % |
184.60/184.62	c |      4939 |   10500      205    21000 |    10717     4939    692 |  0.000 % |
187.29/187.31	c |      7501 |   10500      205    21000 |    11789     7501    703 |  0.000 % |
192.10/192.18	c |     11347 |   10500      205    21000 |    12968    11347    714 |  0.000 % |
200.10/200.16	c |     17114 |   10500      205    21000 |    14265    17114    740 |  0.000 % |
211.90/211.94	c |     25764 |   10500      205    21000 |    15692    17207    721 |  0.000 % |
247.50/247.56	c |     38740 |   10500      205    21000 |    17261    21580   1639 |  0.000 % |
316.00/316.10	c |     58204 |   10500      205    21000 |    18987    15146   1966 |  0.000 % |
375.90/375.98	c |     87397 |   10500      205    21000 |    20886    27127    946 |  0.000 % |
480.61/480.69	c |    131186 |   10500      205    21000 |    22974    20198   1227 |  0.000 % |
626.60/626.67	c |    196870 |   10500      205    21000 |    25272    28973   1139 |  0.000 % |
1136.42/1136.44	c |    295397 |   10500      205    21000 |    27799    28073   3531 |  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-2690668-1277922343/watcher-2690668-1277922343 -o /tmp/evaluation-result-2690668-1277922343/solver-2690668-1277922343 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690668-1277922343.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.92 1.98 1.99 3/178 14719
/proc/meminfo: memFree=29868556/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=3896 CPUtime=0
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 514 0 0 0 0 0 0 0 23 0 1 0 133531248 3989504 432 4089446400 134512640 135752675 4287106384 18446744073709551615 134609721 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 974 432 142 303 0 622 0

[startup+0.0470259 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 14719
/proc/meminfo: memFree=29868556/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=5104 CPUtime=0.04
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 1258 0 0 0 3 1 0 0 23 0 1 0 133531248 5226496 807 4089446400 134512640 135752675 4287106384 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 1276 807 144 303 0 971 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5104

[startup+0.101016 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 14719
/proc/meminfo: memFree=29868556/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=6328 CPUtime=0.09
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 1565 0 0 0 8 1 0 0 23 0 1 0 133531248 6479872 1114 4089446400 134512640 135752675 4287106384 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 1582 1114 144 303 0 1277 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6328

[startup+0.300981 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 14719
/proc/meminfo: memFree=29868556/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=9552 CPUtime=0.29
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 2371 0 0 0 27 2 0 0 23 0 1 0 133531248 9781248 1920 4089446400 134512640 135752675 4287106384 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 2388 1920 144 303 0 2083 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9552

[startup+0.700909 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 14719
/proc/meminfo: memFree=29868556/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=15228 CPUtime=0.69
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 3775 0 0 0 65 4 0 0 25 0 1 0 133531248 15593472 3324 4089446400 134512640 135752675 4287106384 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 3807 3324 144 303 0 3502 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15228

[startup+1.50077 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 14720
/proc/meminfo: memFree=29850940/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=23288 CPUtime=1.49
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 5794 0 0 0 144 5 0 0 25 0 1 0 133531248 23846912 5343 4089446400 134512640 135752675 4287106384 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 5822 5343 144 303 0 5517 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23288

[startup+3.10048 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 14720
/proc/meminfo: memFree=29840400/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=35188 CPUtime=3.09
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 8753 0 0 0 303 6 0 0 25 0 1 0 133531248 36032512 8302 4089446400 134512640 135752675 4287106384 18446744073709551615 134612004 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 8797 8302 144 303 0 8492 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35188

[startup+6.30091 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 14720
/proc/meminfo: memFree=29812868/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=53432 CPUtime=6.29
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 13312 0 0 0 622 7 0 0 25 0 1 0 133531248 54714368 12861 4089446400 134512640 135752675 4287106384 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 13358 12861 144 303 0 13053 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53432

[startup+12.7008 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 14720
/proc/meminfo: memFree=29775668/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=81056 CPUtime=12.69
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 20219 0 0 0 1258 11 0 0 25 0 1 0 133531248 83001344 19768 4089446400 134512640 135752675 4287106384 18446744073709551615 134603093 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 20264 19768 144 303 0 19959 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 81056

[startup+25.5005 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 14721
/proc/meminfo: memFree=29673152/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=165556 CPUtime=25.49
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 41333 0 0 0 2533 16 0 0 25 0 1 0 133531248 169529344 40882 4089446400 134512640 135752675 4287106384 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 41389 40882 144 303 0 41084 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 165556

[startup+51.1009 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 14721
/proc/meminfo: memFree=29479012/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=308064 CPUtime=51.09
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 76965 0 0 0 5085 24 0 0 25 0 1 0 133531248 315457536 76514 4089446400 134512640 135752675 4287106384 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 77016 76514 144 303 0 76711 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 308064

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 14723
/proc/meminfo: memFree=29206560/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=488316 CPUtime=102.3
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 122017 0 0 0 10193 37 0 0 25 0 1 0 133531248 500035584 121566 4089446400 134512640 135752675 4287106384 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 122079 121566 144 303 0 121774 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 488316

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14724
/proc/meminfo: memFree=28900240/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=666644 CPUtime=162.3
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 166566 0 0 0 16179 51 0 0 25 0 1 0 133531248 682643456 166115 4089446400 134512640 135752675 4287106384 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 166661 166115 144 303 0 166356 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 666644

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14726
/proc/meminfo: memFree=28738748/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=690092 CPUtime=222.3
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 172626 0 0 0 22167 63 0 0 25 0 1 0 133531248 706654208 172020 4089446400 134512640 135752675 4287106384 18446744073709551615 134607306 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 172523 172020 146 303 0 172218 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 690092

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14727
/proc/meminfo: memFree=28485248/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=803088 CPUtime=282.3
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 200884 0 0 0 28160 70 0 0 25 0 1 0 133531248 822362112 200278 4089446400 134512640 135752675 4287106384 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 200772 200278 146 303 0 200467 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 803088

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 14732
/proc/meminfo: memFree=28219708/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=936932 CPUtime=342.3
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 234321 0 0 0 34150 80 0 0 25 0 1 0 133531248 959418368 233715 4089446400 134512640 135752675 4287106384 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 234233 233715 146 303 0 233928 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 936932

[startup+402.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 14734
/proc/meminfo: memFree=27981652/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=1058504 CPUtime=402.3
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 264700 0 0 0 40140 90 0 0 25 0 1 0 133531248 1083908096 264094 4089446400 134512640 135752675 4287106384 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 264626 264094 146 303 0 264321 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1058504

[startup+462.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14735
/proc/meminfo: memFree=27720484/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=1177912 CPUtime=462.3
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 294535 0 0 0 46133 97 0 0 25 0 1 0 133531248 1206181888 293929 4089446400 134512640 135752675 4287106384 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 294478 293929 146 303 0 294173 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1177912

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14737
/proc/meminfo: memFree=27469348/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=1337516 CPUtime=522.31
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 334423 0 0 0 52122 109 0 0 25 0 1 0 133531248 1369616384 333817 4089446400 134512640 135752675 4287106384 18446744073709551615 134607248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 334379 333818 146 303 0 334074 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1337516

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14738
/proc/meminfo: memFree=27267448/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=1440592 CPUtime=582.3
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 360167 0 0 0 58113 117 0 0 25 0 1 0 133531248 1475166208 359561 4089446400 134512640 135752675 4287106384 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 360148 359561 146 303 0 359843 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1440592

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14740
/proc/meminfo: memFree=27035640/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=1574924 CPUtime=642.31
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 393754 0 0 0 64103 128 0 0 25 0 1 0 133531248 1612722176 393148 4089446400 134512640 135752675 4287106384 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 393731 393148 146 303 0 393426 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 1574924

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14742
/proc/meminfo: memFree=26751532/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=1764056 CPUtime=702.31
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 441024 0 0 0 70095 136 0 0 25 0 1 0 133531248 1806393344 440418 4089446400 134512640 135752675 4287106384 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 441014 440418 146 303 0 440709 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 1764056

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14743
/proc/meminfo: memFree=26466912/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=1947104 CPUtime=762.32
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 486777 0 0 0 76086 146 0 0 25 0 1 0 133531248 1993834496 486171 4089446400 134512640 135752675 4287106384 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 486776 486171 146 303 0 486471 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 1947104

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14745
/proc/meminfo: memFree=26219860/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=2090100 CPUtime=822.31
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 522524 0 0 0 82078 153 0 0 25 0 1 0 133531248 2140262400 521918 4089446400 134512640 135752675 4287106384 18446744073709551615 134607021 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 522525 521918 146 303 0 522220 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 2090100

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14746
/proc/meminfo: memFree=25963632/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=2256820 CPUtime=882.31
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 564132 0 0 0 88071 160 0 0 25 0 1 0 133531248 2310983680 563526 4089446400 134512640 135752675 4287106384 18446744073709551615 134607021 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 564205 563526 146 303 0 563900 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2256820

[startup+942.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 14748
/proc/meminfo: memFree=25733932/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=2388576 CPUtime=942.32
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 597074 0 0 0 94064 168 0 0 25 0 1 0 133531248 2445901824 596468 4089446400 134512640 135752675 4287106384 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 597144 596468 146 303 0 596839 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2388576

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14750
/proc/meminfo: memFree=25455876/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=2539596 CPUtime=1002.31
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 634809 0 0 0 100054 177 0 0 25 0 1 0 133531248 2600546304 634203 4089446400 134512640 135752675 4287106384 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 634899 634203 146 303 0 634594 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2539596

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14751
/proc/meminfo: memFree=25174100/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=2700400 CPUtime=1062.32
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 674997 0 0 0 106047 185 0 0 25 0 1 0 133531248 2765209600 674391 4089446400 134512640 135752675 4287106384 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 675100 674391 146 303 0 674795 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2700400

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14753
/proc/meminfo: memFree=24949736/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=2828556 CPUtime=1122.32
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 707044 0 0 0 112039 193 0 0 25 0 1 0 133531248 2896441344 706438 4089446400 134512640 135752675 4287106384 18446744073709551615 134607277 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 707139 706438 146 303 0 706834 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2828556

[startup+1182.3 s]
/proc/loadavg: 1.90 1.97 1.99 3/179 14855
/proc/meminfo: memFree=28389512/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=2991900 CPUtime=1182.32
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 747871 0 0 0 118029 203 0 0 25 0 1 0 133531248 3063705600 747265 4089446400 134512640 135752675 4287106384 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 747975 747265 146 303 0 747670 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2991900

[startup+1242.3 s]
/proc/loadavg: 1.96 1.97 1.99 3/179 14857
/proc/meminfo: memFree=28241616/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=3138792 CPUtime=1242.32
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 784568 0 0 0 124020 212 0 0 25 0 1 0 133531248 3214123008 783962 4089446400 134512640 135752675 4287106384 18446744073709551615 134519017 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 784698 783962 146 303 0 784393 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3138792

[startup+1302.3 s]
/proc/loadavg: 1.98 1.97 1.99 3/179 14859
/proc/meminfo: memFree=28095388/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=3283320 CPUtime=1302.33
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 820703 0 0 0 130011 222 0 0 25 0 1 0 133531248 3362119680 820097 4089446400 134512640 135752675 4287106384 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 820830 820097 146 303 0 820525 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3283320

[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 14860
/proc/meminfo: memFree=27949280/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=3430764 CPUtime=1362.33
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 857566 0 0 0 136003 230 0 0 25 0 1 0 133531248 3513102336 856960 4089446400 134512640 135752675 4287106384 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 857691 856960 146 303 0 857386 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3430764

[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 14862
/proc/meminfo: memFree=27790640/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=3588064 CPUtime=1422.34
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 896898 0 0 0 141993 241 0 0 25 0 1 0 133531248 3674177536 896292 4089446400 134512640 135752675 4287106384 18446744073709551615 134639501 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 897016 896292 146 303 0 896711 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3588064

[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 14863
/proc/meminfo: memFree=27689796/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=3689344 CPUtime=1482.33
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 922211 0 0 0 147985 248 0 0 25 0 1 0 133531248 3777888256 921605 4089446400 134512640 135752675 4287106384 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 922336 921605 146 303 0 922031 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3689344

[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 14865
/proc/meminfo: memFree=27598864/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=3779848 CPUtime=1542.33
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 944823 0 0 0 153978 255 0 0 25 0 1 0 133531248 3870564352 944217 4089446400 134512640 135752675 4287106384 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 944962 944217 146 303 0 944657 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3779848



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1593.5 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 14867
/proc/meminfo: memFree=27486488/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=3891328 CPUtime=1593.54
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4202496 972708 0 0 0 159092 262 0 0 25 0 1 0 133531248 3984719872 972102 4089446400 134512640 135752675 4287106384 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14719/statm: 972832 972102 146 303 0 972527 0
Current children cumulated CPU time (s) 1593.54
Current children cumulated vsize (KiB) 3891328

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

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

[startup+1593.61 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 14867
/proc/meminfo: memFree=27486488/32950928 swapFree=67111528/67111528
[pid=14719] ppid=14717 vsize=0 CPUtime=1593.64
/proc/14719/stat : 14719 (wbo1.4b) R 14717 14719 13797 0 -1 4203524 972708 0 0 0 159092 272 0 0 25 0 1 0 133531248 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/14719/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1593.64
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1593.63
CPU time (s): 1593.67
CPU user time (s): 1590.92
CPU system time (s): 2.75458
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3891328

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

runsolver used 2.25666 second user time and 4.99824 second system time

The end

Launcher Data 

Begin job on node122 at 2010-06-30 20:25:43
IDJOB=2690668
IDBENCH=79183
IDSOLVER=1201
FILE ID=node122/2690668-1277922343
PBS_JOBID= 11197325
Free space on /tmp= 74208 MiB

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

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

MD5SUM BENCH= 74ceb63f540b1c0e7b9983b4b6436598
RANDOM SEED=115403414

node122.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	: 5226.08
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.75
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.85
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.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.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.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.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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29869572 kB
Buffers:        202324 kB
Cached:        1153044 kB
SwapCached:          0 kB
Active:        2099592 kB
Inactive:       836384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29869572 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2772 kB
Writeback:           0 kB
AnonPages:     1580560 kB
Mapped:          15280 kB
Slab:            79180 kB
PageTables:       7764 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1728640 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= 74208 MiB
End job on node122 at 2010-06-30 20:52:18