Trace number 3727899

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 NameAnswerobjective functionCPU timeWall clock time
wbo 1.72? 1799.69 1800.05

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_50null50mast_rapportOE2.0_TMAX120_K192_cod2.opb
MD5SUM187352532546cdf6dd143df196fcb0ac
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-8192
Best CPU time to get the best result obtained on this benchmark1800.93
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 892
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 912385
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 912385
Number of bits of the biggest sum of numbers20
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 ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |   wbo:                     1.72 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3727899-1338673024.opb.
0.00/0.00	c Instance file HOME/instance-3727899-1338673024.opb
0.00/0.00	c File size is 28228118 bytes.
2.79/2.82	c Cost Offset: -912385
2.79/2.82	c Highest Coefficient sum: 69334
2.79/2.82	c ============================[ Problem Statistics ]=============================
2.79/2.82	c |                                                                             |
2.79/2.82	c |  Parsing time:          2.82         s                                      |
2.79/2.82	c |  Number Variables:      400896                                              |
2.79/2.82	c |  Number Clauses:        400785                                              |
2.79/2.82	c |  Number Cardinality:    1977                                                |
2.79/2.82	c |  Number PB Constraints: 1                                                   |
2.79/2.82	c |                                                                             |
3.08/3.10	c |  Problem Type:          Optimization                                        |
3.08/3.10	c |  Objective Function:    PB Constraint                                       |
3.08/3.10	c |                                                                             |
3.08/3.10	c ============================[ Search Statistics ]==============================
3.08/3.10	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
3.08/3.10	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
3.08/3.10	c ===============================================================================
3.49/3.56	c | 3.56      | 0  | -912384      lb |  0                0                0.00  |
3.89/3.99	c | 3.99      | 0  | -911361      lb |  0                0                0.00  |
4.69/4.75	c | 4.76      | 0  | -911360      lb |  0                0                0.00  |
5.50/5.54	c | 5.55      | 0  | -910338      lb |  0                0                0.00  |
6.78/6.85	c | 6.86      | 0  | -910337      lb |  0                0                0.00  |
9.79/9.83	c | 9.83      | 0  | -909316      lb |  0                0                0.00  |
12.59/12.65	c | 12.66     | 0  | -909315      lb |  0                0                0.00  |
14.69/14.71	c | 14.71     | 0  | -909314      lb |  0                0                0.00  |
16.79/16.86	c | 16.87     | 0  | -908295      lb |  0                0                0.00  |
18.98/19.06	c | 19.07     | 0  | -908294      lb |  0                0                0.00  |
22.08/22.13	c | 22.13     | 0  | -908293      lb |  0                0                0.00  |
24.98/25.01	c | 25.02     | 0  | -908292      lb |  0                0                0.00  |
28.18/28.21	c | 28.21     | 0  | -907274      lb |  0                0                0.00  |
30.79/30.89	c | 30.89     | 0  | -907273      lb |  0                0                0.00  |
33.78/33.88	c | 33.88     | 0  | -907272      lb |  0                0                0.00  |
35.88/35.90	c | 35.90     | 0  | -907271      lb |  0                0                0.00  |
37.88/37.95	c | 37.95     | 0  | -907270      lb |  0                0                0.00  |
40.08/40.14	c | 40.14     | 0  | -907269      lb |  0                0                0.00  |
42.38/42.41	c | 42.41     | 0  | -907268      lb |  0                0                0.00  |
44.48/44.55	c | 44.56     | 0  | -907267      lb |  0                0                0.00  |
46.98/47.02	c | 47.02     | 0  | -907266      lb |  0                0                0.00  |
51.58/51.66	c | 51.66     | 0  | -907265      lb |  0                0                0.00  |
54.27/54.31	c | 54.32     | 0  | -907264      lb |  0                0                0.00  |
56.87/56.94	c | 56.94     | 0  | -907263      lb |  0                0                0.00  |
65.38/65.43	c | 65.43     | 0  | -907262      lb |  0                0                0.00  |
69.19/69.22	c | 69.23     | 0  | -907261      lb |  0                0                0.00  |
71.97/72.00	c | 72.01     | 0  | -907260      lb |  0                0                0.00  |
200.25/200.30	c | 200.30    | 0  | -907259      lb |  0                0                0.00  |
203.46/203.52	c | 203.53    | 0  | -907258      lb |  0                0                0.00  |
206.35/206.46	c | 206.46    | 0  | -907257      lb |  0                0                0.00  |
237.56/237.62	c | 237.62    | 0  | -907256      lb |  0                0                0.00  |
241.75/241.88	c | 241.88    | 0  | -907255      lb |  0                0                0.00  |
244.45/244.50	c | 244.50    | 0  | -907254      lb |  0                0                0.00  |
246.45/246.52	c | 246.53    | 0  | -907253      lb |  0                0                0.00  |
248.45/248.54	c | 248.54    | 0  | -907252      lb |  0                0                0.00  |
251.35/251.44	c | 251.44    | 0  | -907251      lb |  0                0                0.00  |
253.35/253.49	c | 253.49    | 0  | -907250      lb |  0                0                0.00  |
259.56/259.65	c | 259.65    | 0  | -907249      lb |  0                0                0.00  |
263.74/263.83	c | 263.84    | 0  | -907248      lb |  0                0                0.00  |
267.15/267.25	c | 267.26    | 0  | -907247      lb |  0                0                0.00  |
484.92/485.06	c | 485.06    | 0  | -907246      lb |  0                0                0.00  |
934.25/934.41	c | 934.41    | 0  | -907245      lb |  0                0                0.00  |
1118.81/1119.04	c | 1119.04   | 0  | -907244      lb |  0                0                0.00  |
1445.85/1446.11	c | 1446.11   | 0  | -907243      lb |  0                0                0.00  |
1726.80/1727.18	c | 1727.18   | 0  | -907242      lb |  0                0                0.00  |
1799.69/1800.04	c ===============================================================================
1799.69/1800.04	c Wall Clock Time: 1800.05 s
1799.69/1800.04	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3727899-1338673024/watcher-3727899-1338673024 -o /tmp/evaluation-result-3727899-1338673024/solver-3727899-1338673024 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727899-1338673024.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.06 2.03 1.94 3/177 14049
/proc/meminfo: memFree=27916992/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=31876 CPUtime=0 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) R 14047 14049 13658 0 -1 4202496 589 0 0 0 0 0 0 0 20 0 1 0 333427312 32641024 542 33554432000 4194304 5964350 140736157142288 140733881807048 4395449 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 7969 543 174 433 0 641 0

[startup+0.053021 s]
/proc/loadavg: 2.06 2.03 1.94 3/177 14049
/proc/meminfo: memFree=27916992/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=38472 CPUtime=0.04 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) R 14047 14049 13658 0 -1 4202496 2258 0 0 0 4 0 0 0 20 0 1 0 333427312 39395328 2211 33554432000 4194304 5964350 140736157142288 140733881807048 4353427 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 9618 2211 331 433 0 2290 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 38472

[startup+0.100351 s]
/proc/loadavg: 2.06 2.03 1.94 3/177 14049
/proc/meminfo: memFree=27916992/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=42312 CPUtime=0.09 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) R 14047 14049 13658 0 -1 4202496 3355 0 0 0 9 0 0 0 20 0 1 0 333427312 43327488 3194 33554432000 4194304 5964350 140736157142288 140733881807048 4395326 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 10611 3195 488 433 0 3283 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42312

[startup+0.300315 s]
/proc/loadavg: 2.06 2.03 1.94 3/177 14049
/proc/meminfo: memFree=27916992/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=53684 CPUtime=0.29 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) R 14047 14049 13658 0 -1 4202496 7022 0 0 0 28 1 0 0 20 0 1 0 333427312 54972416 6724 33554432000 4194304 5964350 140736157142288 140733881807048 5369542 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 13421 6724 1092 433 0 6093 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53684

[startup+0.700338 s]
/proc/loadavg: 2.06 2.03 1.94 3/177 14049
/proc/meminfo: memFree=27916992/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=86840 CPUtime=0.68 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) R 14047 14049 13658 0 -1 4202496 16444 0 0 0 66 2 0 0 20 0 1 0 333427312 88924160 15488 33554432000 4194304 5964350 140736157142288 140736157140632 4395326 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 21710 15488 2287 433 0 14382 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 86840

[startup+1.50033 s]
/proc/loadavg: 2.06 2.03 1.94 3/178 14050
/proc/meminfo: memFree=27820232/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=146740 CPUtime=1.48 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) R 14047 14049 13658 0 -1 4202496 31170 0 0 0 143 5 0 0 20 0 1 0 333427312 150261760 30890 33554432000 4194304 5964350 140736157142288 140736157140632 4395186 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 36685 30891 4235 433 0 29357 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 146740

[startup+3.10016 s]
/proc/loadavg: 2.06 2.03 1.94 3/178 14050
/proc/meminfo: memFree=27779636/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=293144 CPUtime=3.08 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 66365 0 0 0 295 13 0 0 20 0 2 0 333427312 300179456 64045 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 73286 64045 177 433 0 72850 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 293144

[startup+6.30035 s]
/proc/loadavg: 2.05 2.03 1.94 3/179 14051
/proc/meminfo: memFree=27399648/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=565664 CPUtime=6.28 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 118514 0 0 0 603 25 0 0 20 0 2 0 333427312 579239936 124612 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 141416 124612 195 433 0 140980 0
[pid=14049/tid=14051] ppid=14047 vsize=565664 CPUtime=3.45 cores=0,2,4,6
/proc/14049/task/14051/stat : 14051 (wbo1.72) R 14047 14049 13658 0 -1 4202560 71237 0 0 0 329 16 0 0 20 0 2 0 333427595 579239936 124612 33554432000 4194304 5964350 140736157142288 140467316410664 4403649 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 565664

[startup+12.7003 s]
/proc/loadavg: 2.05 2.03 1.94 3/179 14051
/proc/meminfo: memFree=27335932/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=565664 CPUtime=12.69 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 119486 0 0 0 1243 26 0 0 20 0 2 0 333427312 579239936 127184 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 141416 127184 197 433 0 140980 0
[pid=14049/tid=14051] ppid=14047 vsize=565664 CPUtime=9.83 cores=0,2,4,6
/proc/14049/task/14051/stat : 14051 (wbo1.72) R 14047 14049 13658 0 -1 4202560 72209 0 0 0 967 16 0 0 20 0 2 0 333427595 579239936 127184 33554432000 4194304 5964350 140736157142288 140467316410712 4419096 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 565664

[startup+25.5004 s]
/proc/loadavg: 2.12 2.04 1.94 3/179 14051
/proc/meminfo: memFree=27276828/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=565664 CPUtime=25.48 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 120956 0 0 0 2522 26 0 0 20 0 2 0 333427312 579239936 127854 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 141416 127854 197 433 0 140980 0
[pid=14049/tid=14051] ppid=14047 vsize=565664 CPUtime=22.6 cores=0,2,4,6
/proc/14049/task/14051/stat : 14051 (wbo1.72) R 14047 14049 13658 0 -1 4202560 73679 0 0 0 2243 17 0 0 20 0 2 0 333427595 579239936 127854 33554432000 4194304 5964350 140736157142288 140467316410904 4403544 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 565664

[startup+51.1004 s]
/proc/loadavg: 2.08 2.04 1.94 3/179 14051
/proc/meminfo: memFree=27129904/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=565664 CPUtime=51.08 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 121255 0 0 0 5081 27 0 0 20 0 2 0 333427312 579239936 131187 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 141416 131187 197 433 0 140980 0
[pid=14049/tid=14051] ppid=14047 vsize=565664 CPUtime=48.13 cores=0,2,4,6
/proc/14049/task/14051/stat : 14051 (wbo1.72) R 14047 14049 13658 0 -1 4202560 73978 0 0 0 4795 18 0 0 20 0 2 0 333427595 579239936 131187 33554432000 4194304 5964350 140736157142288 140467316411208 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 565664

[startup+102.307 s]
/proc/loadavg: 2.14 2.06 1.95 3/179 14052
/proc/meminfo: memFree=26977368/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=565664 CPUtime=102.27 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 122883 0 0 0 10199 28 0 0 20 0 2 0 333427312 579239936 132641 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 141416 132641 197 433 0 140980 0
[pid=14049/tid=14051] ppid=14047 vsize=565664 CPUtime=99.21 cores=0,2,4,6
/proc/14049/task/14051/stat : 14051 (wbo1.72) R 14047 14049 13658 0 -1 4202560 75606 0 0 0 9901 20 0 0 20 0 2 0 333427595 579239936 132641 33554432000 4194304 5964350 140736157142288 140467316411208 4399835 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 565664

[startup+162.3 s]
/proc/loadavg: 2.05 2.05 1.95 3/179 14052
/proc/meminfo: memFree=26633756/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=565664 CPUtime=162.26 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 122883 0 0 0 16198 28 0 0 20 0 2 0 333427312 579239936 132641 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 141416 132641 197 433 0 140980 0
[pid=14049/tid=14051] ppid=14047 vsize=565664 CPUtime=159.04 cores=0,2,4,6
/proc/14049/task/14051/stat : 14051 (wbo1.72) R 14047 14049 13658 0 -1 4202560 75606 0 0 0 15883 21 0 0 20 0 2 0 333427595 579239936 132641 33554432000 4194304 5964350 140736157142288 140467316411208 4388770 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 565664

[startup+222.3 s]
/proc/loadavg: 2.02 2.03 1.95 3/180 14055
/proc/meminfo: memFree=26317404/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=631200 CPUtime=222.25 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 125292 0 0 0 22195 30 0 0 20 0 2 0 333427312 646348800 142557 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 157800 142557 197 433 0 157364 0
[pid=14049/tid=14051] ppid=14047 vsize=631200 CPUtime=218.89 cores=0,2,4,6
/proc/14049/task/14051/stat : 14051 (wbo1.72) R 14047 14049 13658 0 -1 4202560 78015 0 0 0 21866 23 0 0 20 0 2 0 333427595 646348800 142557 33554432000 4194304 5964350 140736157142288 140467316410712 4392755 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 631200

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/179 14055
/proc/meminfo: memFree=26107484/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=631200 CPUtime=282.25 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 130358 0 0 0 28192 33 0 0 20 0 2 0 333427312 646348800 143586 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 157800 143586 197 433 0 157364 0
[pid=14049/tid=14051] ppid=14047 vsize=631200 CPUtime=278.73 cores=0,2,4,6
/proc/14049/task/14051/stat : 14051 (wbo1.72) R 14047 14049 13658 0 -1 4202560 83081 0 0 0 27846 27 0 0 20 0 2 0 333427595 646348800 143586 33554432000 4194304 5964350 140736157142288 140467316410904 4403510 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 631200

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/179 14055
/proc/meminfo: memFree=25697996/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=631200 CPUtime=342.24 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 130358 0 0 0 34191 33 0 0 20 0 2 0 333427312 646348800 143586 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 157800 143586 197 433 0 157364 0
[pid=14049/tid=14051] ppid=14047 vsize=631200 CPUtime=338.57 cores=0,2,4,6
/proc/14049/task/14051/stat : 14051 (wbo1.72) R 14047 14049 13658 0 -1 4202560 83081 0 0 0 33829 28 0 0 20 0 2 0 333427595 646348800 143586 33554432000 4194304 5964350 140736157142288 140467316410904 4392817 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 631200

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/179 14056
/proc/meminfo: memFree=25476416/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=631200 CPUtime=402.23 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 130358 0 0 0 40190 33 0 0 20 0 2 0 333427312 646348800 143586 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 157800 143586 197 433 0 157364 0
[pid=14049/tid=14051] ppid=14047 vsize=631200 CPUtime=398.42 cores=0,2,4,6
/proc/14049/task/14051/stat : 14051 (wbo1.72) R 14047 14049 13658 0 -1 4202560 83081 0 0 0 39813 29 0 0 20 0 2 0 333427595 646348800 143586 33554432000 4194304 5964350 140736157142288 140467316410904 4403263 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 631200

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/179 14056
/proc/meminfo: memFree=25181716/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=631200 CPUtime=462.22 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 130358 0 0 0 46189 33 0 0 20 0 2 0 333427312 646348800 143586 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 157800 143586 197 433 0 157364 0
[pid=14049/tid=14051] ppid=14047 vsize=631200 CPUtime=458.26 cores=0,2,4,6
/proc/14049/task/14051/stat : 14051 (wbo1.72) R 14047 14049 13658 0 -1 4202560 83081 0 0 0 45797 29 0 0 20 0 2 0 333427595 646348800 143586 33554432000 4194304 5964350 140736157142288 140467316410904 4392651 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0

################
# More data... #
################


[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.97 3/180 14076
/proc/meminfo: memFree=23192224/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=631200 CPUtime=1422.06 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 131426 0 0 0 142172 34 0 0 20 0 2 0 333427312 646348800 148423 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 157800 148423 197 433 0 157364 0
[pid=14049/tid=14051] ppid=14047 vsize=631200 CPUtime=1415.73 cores=0,2,4,6
/proc/14049/task/14051/stat : 14051 (wbo1.72) R 14047 14049 13658 0 -1 4202560 84149 0 0 0 141528 45 0 0 20 0 2 0 333427595 646348800 148423 33554432000 4194304 5964350 140736157142288 140467316410904 4399858 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 631200

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/180 14099
/proc/meminfo: memFree=23176508/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=631200 CPUtime=1482.04 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 131427 0 0 0 148170 34 0 0 20 0 2 0 333427312 646348800 145378 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 157800 145378 197 433 0 157364 0
[pid=14049/tid=14051] ppid=14047 vsize=631200 CPUtime=1475.57 cores=0,2,4,6
/proc/14049/task/14051/stat : 14051 (wbo1.72) R 14047 14049 13658 0 -1 4202560 84150 0 0 0 147511 46 0 0 20 0 2 0 333427595 646348800 145378 33554432000 4194304 5964350 140736157142288 140467316411208 4403510 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 631200

[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/179 14099
/proc/meminfo: memFree=23088540/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=631200 CPUtime=1542.03 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 131427 0 0 0 154169 34 0 0 20 0 2 0 333427312 646348800 145378 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 157800 145378 197 433 0 157364 0
[pid=14049/tid=14051] ppid=14047 vsize=631200 CPUtime=1535.41 cores=0,2,4,6
/proc/14049/task/14051/stat : 14051 (wbo1.72) R 14047 14049 13658 0 -1 4202560 84150 0 0 0 153494 47 0 0 20 0 2 0 333427595 646348800 145378 33554432000 4194304 5964350 140736157142288 140467316411208 4403544 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 631200

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 14099
/proc/meminfo: memFree=22935196/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=631200 CPUtime=1602.02 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 131427 0 0 0 160168 34 0 0 20 0 2 0 333427312 646348800 145378 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 157800 145378 197 433 0 157364 0
[pid=14049/tid=14051] ppid=14047 vsize=631200 CPUtime=1595.25 cores=0,2,4,6
/proc/14049/task/14051/stat : 14051 (wbo1.72) R 14047 14049 13658 0 -1 4202560 84150 0 0 0 159477 48 0 0 20 0 2 0 333427595 646348800 145378 33554432000 4194304 5964350 140736157142288 140467316411208 4389067 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 631200

[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 1.98 3/179 14100
/proc/meminfo: memFree=22948144/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=631200 CPUtime=1662.01 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 131427 0 0 0 166167 34 0 0 20 0 2 0 333427312 646348800 145378 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 157800 145378 197 433 0 157364 0
[pid=14049/tid=14051] ppid=14047 vsize=631200 CPUtime=1655.1 cores=0,2,4,6
/proc/14049/task/14051/stat : 14051 (wbo1.72) R 14047 14049 13658 0 -1 4202560 84150 0 0 0 165461 49 0 0 20 0 2 0 333427595 646348800 145378 33554432000 4194304 5964350 140736157142288 140467316411208 4399820 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 631200

[startup+1722.3 s]
/proc/loadavg: 1.49 1.87 1.93 2/172 14125
/proc/meminfo: memFree=28494416/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=631200 CPUtime=1722 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 131427 0 0 0 172166 34 0 0 20 0 2 0 333427312 646348800 145378 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 157800 145378 197 433 0 157364 0
[pid=14049/tid=14051] ppid=14047 vsize=631200 CPUtime=1714.94 cores=0,2,4,6
/proc/14049/task/14051/stat : 14051 (wbo1.72) R 14047 14049 13658 0 -1 4202560 84150 0 0 0 171444 50 0 0 20 0 2 0 333427595 646348800 145378 33554432000 4194304 5964350 140736157142288 140467316411208 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 631200

[startup+1782.3 s]
/proc/loadavg: 1.18 1.71 1.87 2/172 14125
/proc/meminfo: memFree=28480440/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=631200 CPUtime=1781.99 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 132414 0 0 0 178165 34 0 0 20 0 2 0 333427312 646348800 148920 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 157800 148920 197 433 0 157364 0
[pid=14049/tid=14051] ppid=14047 vsize=631200 CPUtime=1774.78 cores=0,2,4,6
/proc/14049/task/14051/stat : 14051 (wbo1.72) R 14047 14049 13658 0 -1 4202560 85137 0 0 0 177427 51 0 0 20 0 2 0 333427595 646348800 148920 33554432000 4194304 5964350 140736157142288 140467316410904 4403263 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 631200

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

[startup+1791.91 s]
/proc/loadavg: 1.15 1.69 1.86 2/172 14125
/proc/meminfo: memFree=28479880/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=631200 CPUtime=1791.59 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 132414 0 0 0 179125 34 0 0 20 0 2 0 333427312 646348800 148935 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 157800 148935 197 433 0 157364 0
[pid=14049/tid=14051] ppid=14047 vsize=631200 CPUtime=1784.37 cores=0,2,4,6
/proc/14049/task/14051/stat : 14051 (wbo1.72) R 14047 14049 13658 0 -1 4202560 85137 0 0 0 178385 52 0 0 20 0 2 0 333427595 646348800 148935 33554432000 4194304 5964350 140736157142288 140467316410904 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 631200

[startup+1795.1 s]
/proc/loadavg: 1.14 1.67 1.85 2/172 14125
/proc/meminfo: memFree=28480004/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=631200 CPUtime=1794.79 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 132414 0 0 0 179445 34 0 0 20 0 2 0 333427312 646348800 148935 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 157800 148935 197 433 0 157364 0
[pid=14049/tid=14051] ppid=14047 vsize=631200 CPUtime=1787.56 cores=0,2,4,6
/proc/14049/task/14051/stat : 14051 (wbo1.72) R 14047 14049 13658 0 -1 4202560 85137 0 0 0 178704 52 0 0 20 0 2 0 333427595 646348800 148935 33554432000 4194304 5964350 140736157142288 140467316410904 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 631200

[startup+1798.3 s]
/proc/loadavg: 1.14 1.67 1.85 2/172 14125
/proc/meminfo: memFree=28480128/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=631200 CPUtime=1797.99 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 132414 0 0 0 179765 34 0 0 20 0 2 0 333427312 646348800 148935 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 157800 148935 197 433 0 157364 0
[pid=14049/tid=14051] ppid=14047 vsize=631200 CPUtime=1790.74 cores=0,2,4,6
/proc/14049/task/14051/stat : 14051 (wbo1.72) R 14047 14049 13658 0 -1 4202560 85137 0 0 0 179022 52 0 0 20 0 2 0 333427595 646348800 148935 33554432000 4194304 5964350 140736157142288 140467316410904 4389080 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 631200

[startup+1799.1 s]
/proc/loadavg: 1.14 1.67 1.85 2/172 14125
/proc/meminfo: memFree=28480128/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=631200 CPUtime=1798.79 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 132414 0 0 0 179845 34 0 0 20 0 2 0 333427312 646348800 148935 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 157800 148935 197 433 0 157364 0
[pid=14049/tid=14051] ppid=14047 vsize=631200 CPUtime=1791.54 cores=0,2,4,6
/proc/14049/task/14051/stat : 14051 (wbo1.72) R 14047 14049 13658 0 -1 4202560 85137 0 0 0 179102 52 0 0 20 0 2 0 333427595 646348800 148935 33554432000 4194304 5964350 140736157142288 140467316410904 4389090 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.79
Current children cumulated vsize (KiB) 631200

[startup+1799.5 s]
/proc/loadavg: 1.13 1.66 1.85 2/172 14125
/proc/meminfo: memFree=28480004/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=631200 CPUtime=1799.19 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 132414 0 0 0 179885 34 0 0 20 0 2 0 333427312 646348800 148935 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 157800 148935 197 433 0 157364 0
[pid=14049/tid=14051] ppid=14047 vsize=631200 CPUtime=1791.95 cores=0,2,4,6
/proc/14049/task/14051/stat : 14051 (wbo1.72) R 14047 14049 13658 0 -1 4202560 85137 0 0 0 179143 52 0 0 20 0 2 0 333427595 646348800 148935 33554432000 4194304 5964350 140736157142288 140467316410904 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.19
Current children cumulated vsize (KiB) 631200

[startup+1799.9 s]
/proc/loadavg: 1.13 1.66 1.85 2/172 14125
/proc/meminfo: memFree=28480004/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=631200 CPUtime=1799.59 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 132414 0 0 0 179925 34 0 0 20 0 2 0 333427312 646348800 148935 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 157800 148935 197 433 0 157364 0
[pid=14049/tid=14051] ppid=14047 vsize=631200 CPUtime=1792.34 cores=0,2,4,6
/proc/14049/task/14051/stat : 14051 (wbo1.72) R 14047 14049 13658 0 -1 4202560 85137 0 0 0 179182 52 0 0 20 0 2 0 333427595 646348800 148935 33554432000 4194304 5964350 140736157142288 140467316410904 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (KiB) 631200

[startup+1800 s]
/proc/loadavg: 1.13 1.66 1.85 2/172 14125
/proc/meminfo: memFree=28480004/32873844 swapFree=7120/7120
[pid=14049] ppid=14047 vsize=631200 CPUtime=1799.69 cores=0,2,4,6
/proc/14049/stat : 14049 (wbo1.72) S 14047 14049 13658 0 -1 4202496 132414 0 0 0 179935 34 0 0 20 0 2 0 333427312 646348800 148935 33554432000 4194304 5964350 140736157142288 140736157141808 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14049/statm: 157800 148935 197 433 0 157364 0
[pid=14049/tid=14051] ppid=14047 vsize=631200 CPUtime=1792.44 cores=0,2,4,6
/proc/14049/task/14051/stat : 14051 (wbo1.72) R 14047 14049 13658 0 -1 4202560 85137 0 0 0 179192 52 0 0 20 0 2 0 333427595 646348800 148935 33554432000 4194304 5964350 140736157142288 140467316410904 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.69
Current children cumulated vsize (KiB) 631200

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14049 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=704163
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=628904
# CPU time returned by wait4() is 1795.33
# while last known CPU time is 1799.69
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.05
CPU time (s): 1799.69
CPU user time (s): 1799.35
CPU system time (s): 0.34
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 631200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.7
system time used= 0.628904
maximum resident set size= 595748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132416
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= 37
involuntary context switches= 1915

runsolver used 3.50847 second user time and 12.0132 second system time

The end

Launcher Data 

Begin job on node142 at 2012-06-02 23:37:04
IDJOB=3727899
IDBENCH=91052
IDSOLVER=2313
FILE ID=node142/3727899-1338673024
RUNJOBID= node142-1338669297-13770
PBS_JOBID= 14636499
Free space on /tmp= 71132 MiB

SOLVER NAME= wbo 1.72
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_50null50mast_rapportOE2.0_TMAX120_K192_cod2.opb
COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727899-1338673024/watcher-3727899-1338673024 -o /tmp/evaluation-result-3727899-1338673024/solver-3727899-1338673024 -C 1800 -W 1900 -M 15500  wbo1.72 -file-format=opb HOME/instance-3727899-1338673024.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 187352532546cdf6dd143df196fcb0ac
RANDOM SEED=406851004

node142.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5391.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27917372 kB
Buffers:          233560 kB
Cached:          2771688 kB
SwapCached:            0 kB
Active:          2261808 kB
Inactive:        1862172 kB
Active(anon):    1110232 kB
Inactive(anon):    11236 kB
Active(file):    1151576 kB
Inactive(file):  1850936 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             33056 kB
Writeback:             0 kB
AnonPages:       1125744 kB
Mapped:            11296 kB
Shmem:               200 kB
Slab:             674452 kB
SReclaimable:     116240 kB
SUnreclaim:       558212 kB
KernelStack:        1456 kB
PageTables:         6092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     321932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    614400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71160 MiB
End job on node142 at 2012-06-03 00:07:04