Trace number 3727840

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.77 1800.31

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-ns1853823.opb
MD5SUM2ebd045d7573caa1ce8026d29a77beeb
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark123
Best CPU time to get the best result obtained on this benchmark1800.87
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables213440
Total number of constraints223870
Number of constraints which are clauses212784
Number of constraints which are cardinality constraints (but not clauses)462
Number of constraints which are nor clauses,nor cardinality constraints10624
Minimum length of a constraint1
Maximum length of a constraint464
Number of terms in the objective function 920
Biggest coefficient in the objective function 6
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 3220
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 3200
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3912
Number of bits of the biggest sum of numbers12
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-3727840-1338667982.opb.
0.00/0.00	c Instance file HOME/instance-3727840-1338667982.opb
0.00/0.00	c File size is 16074817 bytes.
2.09/2.19	c Cost Offset: 0
2.09/2.19	c Highest Coefficient sum: 3912
2.09/2.20	c ============================[ Problem Statistics ]=============================
2.09/2.20	c |                                                                             |
2.09/2.20	c |  Parsing time:          2.19         s                                      |
2.09/2.20	c |  Number Variables:      213440                                              |
2.09/2.20	c |  Number Clauses:        212784                                              |
2.09/2.20	c |  Number Cardinality:    20790                                               |
2.09/2.20	c |  Number PB Constraints: 460                                                 |
2.09/2.20	c |                                                                             |
2.38/2.43	c |  Problem Type:          Optimization                                        |
2.38/2.43	c |  Objective Function:    Cardinality Constraint                              |
2.38/2.43	c |                                                                             |
2.38/2.43	c ============================[ Search Statistics ]==============================
2.38/2.43	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
2.38/2.43	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
2.38/2.43	c ===============================================================================
2.97/3.02	c | 3.02      | 0  | 1            lb |  0                0                0.00  |
3.47/3.51	c | 3.51      | 0  | 2            lb |  0                0                0.00  |
3.87/3.99	c | 3.98      | 0  | 3            lb |  0                0                0.00  |
4.38/4.46	c | 4.46      | 0  | 4            lb |  0                0                0.00  |
4.87/4.96	c | 4.96      | 0  | 5            lb |  0                0                0.00  |
5.48/5.51	c | 5.51      | 0  | 6            lb |  0                0                0.00  |
5.97/6.08	c | 6.07      | 0  | 7            lb |  0                0                0.00  |
6.58/6.67	c | 6.67      | 0  | 8            lb |  0                0                0.00  |
7.17/7.27	c | 7.27      | 0  | 9            lb |  0                0                0.00  |
7.87/7.90	c | 7.90      | 0  | 10           lb |  0                0                0.00  |
8.47/8.54	c | 8.53      | 0  | 11           lb |  0                0                0.00  |
9.07/9.18	c | 9.18      | 0  | 12           lb |  0                0                0.00  |
9.78/9.83	c | 9.83      | 0  | 13           lb |  0                0                0.00  |
10.47/10.50	c | 10.50     | 0  | 14           lb |  0                0                0.00  |
11.07/11.18	c | 11.18     | 0  | 15           lb |  0                0                0.00  |
11.77/11.86	c | 11.86     | 0  | 16           lb |  0                0                0.00  |
12.47/12.56	c | 12.55     | 0  | 17           lb |  0                0                0.00  |
13.18/13.25	c | 13.25     | 0  | 18           lb |  0                0                0.00  |
13.87/13.96	c | 13.96     | 0  | 19           lb |  0                0                0.00  |
14.57/14.67	c | 14.67     | 0  | 20           lb |  0                0                0.00  |
15.28/15.40	c | 15.40     | 0  | 21           lb |  0                0                0.00  |
16.07/16.12	c | 16.12     | 0  | 22           lb |  0                0                0.00  |
23.08/23.14	c | 23.13     | 0  | 23           lb |  0                0                0.00  |
107.05/107.12	c | 107.12    | 0  | 24           lb |  0                0                0.00  |
1798.65/1799.15	c | 1799.15   | 0  | 25           lb |  0                0                0.00  |
1799.65/1800.13	c ===============================================================================
1799.65/1800.13	c Wall Clock Time: 1800.12 s
1799.65/1800.13	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-3727840-1338667982/watcher-3727840-1338667982 -o /tmp/evaluation-result-3727840-1338667982/solver-3727840-1338667982 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727840-1338667982.opb 

running on 4 cores: 1,3,5,7

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.00 2.00 1.92 2/176 14542
/proc/meminfo: memFree=28228920/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=8 CPUtime=0 cores=1,3,5,7
/proc/14542/stat : 14542 (runsolver) R 14540 14542 14380 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 1 0 332922797 8192 1 33554432000 0 0 0 140734714649192 5057063 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 486 3 0 0 0 50 0

[startup+0.061389 s]
/proc/loadavg: 2.00 2.00 1.92 2/176 14542
/proc/meminfo: memFree=28228920/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=35824 CPUtime=0.04 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) R 14540 14542 14380 0 -1 4202496 4615 0 0 0 4 0 0 0 20 0 1 0 332922797 36683776 4380 33554432000 4194304 5964350 140737486061296 140734714649192 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 8989 4382 269 433 0 4628 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 35824

[startup+0.100363 s]
/proc/loadavg: 2.00 2.00 1.92 2/176 14542
/proc/meminfo: memFree=28228920/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=45644 CPUtime=0.09 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) R 14540 14542 14380 0 -1 4202496 7268 0 0 0 8 1 0 0 20 0 1 0 332922797 46739456 6807 33554432000 4194304 5964350 140737486061296 140734714649192 4395326 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 11411 6810 337 433 0 7050 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45644

[startup+0.30031 s]
/proc/loadavg: 2.00 2.00 1.92 2/176 14542
/proc/meminfo: memFree=28228920/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=81408 CPUtime=0.28 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) R 14540 14542 14380 0 -1 4202496 16591 0 0 0 26 2 0 0 20 0 1 0 332922797 83361792 15601 33554432000 4194304 5964350 140737486061296 140734714649192 4395993 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 20352 15603 650 433 0 15991 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 81408

[startup+0.700286 s]
/proc/loadavg: 2.00 2.00 1.92 2/176 14542
/proc/meminfo: memFree=28228920/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=116820 CPUtime=0.68 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) R 14540 14542 14380 0 -1 4202496 25710 0 0 0 65 3 0 0 20 0 1 0 332922797 119623680 24178 33554432000 4194304 5964350 140737486061296 140734714649192 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 29205 24178 1122 433 0 24844 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 116820

[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 14543
/proc/meminfo: memFree=28123900/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=140440 CPUtime=1.48 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) R 14540 14542 14380 0 -1 4202496 33274 0 0 0 143 5 0 0 20 0 1 0 332922797 143810560 31742 33554432000 4194304 5964350 140737486061296 140737486059656 4339124 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 35110 31743 2928 433 0 30749 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 140440

[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 14543
/proc/meminfo: memFree=28091924/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=370408 CPUtime=3.08 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) S 14540 14542 14380 0 -1 4202496 86309 0 0 0 292 16 0 0 20 0 2 0 332922797 379297792 79046 33554432000 4194304 5964350 140737486061296 140737486060816 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 92602 79046 192 433 0 92166 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 370408

[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 14544
/proc/meminfo: memFree=27831344/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=479600 CPUtime=6.28 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) S 14540 14542 14380 0 -1 4202496 104603 0 0 0 607 21 0 0 20 0 2 0 332922797 491110400 100887 33554432000 4194304 5964350 140737486061296 140737486060816 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 119900 100887 193 433 0 119464 0
[pid=14542/tid=14544] ppid=14540 vsize=479600 CPUtime=4.07 cores=1,3,5,7
/proc/14542/task/14544/stat : 14544 (wbo1.72) R 14540 14542 14380 0 -1 4202560 64517 0 0 0 393 14 0 0 20 0 2 0 332923017 491110400 100887 33554432000 4194304 5964350 140737486061296 139892832825664 5134651 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 479600

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 14545
/proc/meminfo: memFree=27753612/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=545136 CPUtime=12.67 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) S 14540 14542 14380 0 -1 4202496 111808 0 0 0 1244 23 0 0 20 0 2 0 332922797 558219264 115268 33554432000 4194304 5964350 140737486061296 140737486060816 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 136284 115268 193 433 0 135848 0
[pid=14542/tid=14544] ppid=14540 vsize=545136 CPUtime=10.45 cores=1,3,5,7
/proc/14542/task/14544/stat : 14544 (wbo1.72) R 14540 14542 14380 0 -1 4202560 71722 0 0 0 1029 16 0 0 20 0 2 0 332923017 558219264 115268 33554432000 4194304 5964350 140737486061296 139892832825664 4867253 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 545136

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 14545
/proc/meminfo: memFree=27685584/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=545136 CPUtime=25.47 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) S 14540 14542 14380 0 -1 4202496 121998 0 0 0 2521 26 0 0 20 0 2 0 332922797 558219264 129682 33554432000 4194304 5964350 140737486061296 140737486060816 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 136284 129682 197 433 0 135848 0
[pid=14542/tid=14544] ppid=14540 vsize=545136 CPUtime=23.22 cores=1,3,5,7
/proc/14542/task/14544/stat : 14544 (wbo1.72) R 14540 14542 14380 0 -1 4202560 81912 0 0 0 2303 19 0 0 20 0 2 0 332923017 558219264 129682 33554432000 4194304 5964350 140737486061296 139892832835384 4222314 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 545136

[startup+51.1004 s]
/proc/loadavg: 2.06 2.01 1.93 3/179 14546
/proc/meminfo: memFree=27682992/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=545136 CPUtime=51.06 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) S 14540 14542 14380 0 -1 4202496 121998 0 0 0 5080 26 0 0 20 0 2 0 332922797 558219264 129682 33554432000 4194304 5964350 140737486061296 140737486060816 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 136284 129682 197 433 0 135848 0
[pid=14542/tid=14544] ppid=14540 vsize=545136 CPUtime=48.75 cores=1,3,5,7
/proc/14542/task/14544/stat : 14544 (wbo1.72) R 14540 14542 14380 0 -1 4202560 81912 0 0 0 4856 19 0 0 20 0 2 0 332923017 558219264 129682 33554432000 4194304 5964350 140737486061296 139892832835384 4222314 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 545136

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 1.93 3/179 14546
/proc/meminfo: memFree=27612180/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=610672 CPUtime=102.26 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) S 14540 14542 14380 0 -1 4202496 131680 0 0 0 10195 31 0 0 20 0 2 0 332922797 625328128 140023 33554432000 4194304 5964350 140737486061296 140737486060816 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 152668 140023 197 433 0 152232 0
[pid=14542/tid=14544] ppid=14540 vsize=610672 CPUtime=99.82 cores=1,3,5,7
/proc/14542/task/14544/stat : 14544 (wbo1.72) R 14540 14542 14380 0 -1 4202560 91594 0 0 0 9957 25 0 0 20 0 2 0 332923017 625328128 140023 33554432000 4194304 5964350 140737486061296 139892832835576 4392882 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 610672

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 14546
/proc/meminfo: memFree=27500740/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=676208 CPUtime=162.25 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) S 14540 14542 14380 0 -1 4202496 150184 0 0 0 16191 34 0 0 20 0 2 0 332922797 692436992 160669 33554432000 4194304 5964350 140737486061296 140737486060816 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 169052 160669 197 433 0 168616 0
[pid=14542/tid=14544] ppid=14540 vsize=676208 CPUtime=159.66 cores=1,3,5,7
/proc/14542/task/14544/stat : 14544 (wbo1.72) R 14540 14542 14380 0 -1 4202560 110098 0 0 0 15937 29 0 0 20 0 2 0 332923017 692436992 160669 33554432000 4194304 5964350 140737486061296 139892832835912 4392882 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 676208

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14546
/proc/meminfo: memFree=27460448/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=676208 CPUtime=222.22 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) S 14540 14542 14380 0 -1 4202496 150205 0 0 0 22188 34 0 0 20 0 2 0 332922797 692436992 160669 33554432000 4194304 5964350 140737486061296 140737486060816 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 169052 160669 197 433 0 168616 0
[pid=14542/tid=14544] ppid=14540 vsize=676208 CPUtime=219.49 cores=1,3,5,7
/proc/14542/task/14544/stat : 14544 (wbo1.72) R 14540 14542 14380 0 -1 4202560 110119 0 0 0 21919 30 0 0 20 0 2 0 332923017 692436992 160669 33554432000 4194304 5964350 140737486061296 139892832835912 4403287 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 676208

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14546
/proc/meminfo: memFree=27439912/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=676208 CPUtime=282.19 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) S 14540 14542 14380 0 -1 4202496 150243 0 0 0 28185 34 0 0 20 0 2 0 332922797 692436992 160669 33554432000 4194304 5964350 140737486061296 140737486060816 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 169052 160669 197 433 0 168616 0
[pid=14542/tid=14544] ppid=14540 vsize=676208 CPUtime=279.3 cores=1,3,5,7
/proc/14542/task/14544/stat : 14544 (wbo1.72) R 14540 14542 14380 0 -1 4202560 110157 0 0 0 27899 31 0 0 20 0 2 0 332923017 692436992 160669 33554432000 4194304 5964350 140737486061296 139892832835912 4222314 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 676208

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14547
/proc/meminfo: memFree=27414976/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=676208 CPUtime=342.17 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) S 14540 14542 14380 0 -1 4202496 150302 0 0 0 34183 34 0 0 20 0 2 0 332922797 692436992 160703 33554432000 4194304 5964350 140737486061296 140737486060816 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 169052 160703 197 433 0 168616 0
[pid=14542/tid=14544] ppid=14540 vsize=676208 CPUtime=339.13 cores=1,3,5,7
/proc/14542/task/14544/stat : 14544 (wbo1.72) R 14540 14542 14380 0 -1 4202560 110216 0 0 0 33881 32 0 0 20 0 2 0 332923017 692436992 160703 33554432000 4194304 5964350 140737486061296 139892832835912 4399774 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 676208

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14547
/proc/meminfo: memFree=27369140/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=741744 CPUtime=402.15 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) S 14540 14542 14380 0 -1 4202496 156129 0 0 0 40178 37 0 0 20 0 2 0 332922797 759545856 166571 33554432000 4194304 5964350 140737486061296 140737486060816 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 185436 166571 197 433 0 185000 0
[pid=14542/tid=14544] ppid=14540 vsize=741744 CPUtime=398.97 cores=1,3,5,7
/proc/14542/task/14544/stat : 14544 (wbo1.72) R 14540 14542 14380 0 -1 4202560 116043 0 0 0 39861 36 0 0 20 0 2 0 332923017 759545856 166571 33554432000 4194304 5964350 140737486061296 139892832835576 4400684 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 741744

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 14550
/proc/meminfo: memFree=27282616/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=807280 CPUtime=462.15 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) S 14540 14542 14380 0 -1 4202496 171420 0 0 0 46167 48 0 0 20 0 2 0 332922797 826654720 181862 33554432000 4194304 5964350 140737486061296 140737486060816 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 201820 181862 197 433 0 201384 0
[pid=14542/tid=14544] ppid=14540 vsize=807280 CPUtime=458.81 cores=1,3,5,7
/proc/14542/task/14544/stat : 14544 (wbo1.72) R 14540 14542 14380 0 -1 4202560 131334 0 0 0 45834 47 0 0 20 0 2 0 332923017 826654720 181862 33554432000 4194304 5964350 140737486061296 139892832835576 4403296 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0

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

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/179 14557
/proc/meminfo: memFree=24496504/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=3232112 CPUtime=1481.93 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) S 14540 14542 14380 0 -1 4202496 780850 0 0 0 147947 246 0 0 20 0 2 0 332922797 3309682688 792177 33554432000 4194304 5964350 140737486061296 140737486060816 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 808028 792177 197 433 0 807592 0
[pid=14542/tid=14544] ppid=14540 vsize=3232112 CPUtime=1476.1 cores=1,3,5,7
/proc/14542/task/14544/stat : 14544 (wbo1.72) R 14540 14542 14380 0 -1 4202560 740764 0 0 0 147349 261 0 0 20 0 2 0 332923017 3309682688 792177 33554432000 4194304 5964350 140737486061296 139892832835576 4403296 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 3232112

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14558
/proc/meminfo: memFree=24300116/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=3363184 CPUtime=1541.91 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) S 14540 14542 14380 0 -1 4202496 816394 0 0 0 153935 256 0 0 20 0 2 0 332922797 3443900416 827802 33554432000 4194304 5964350 140737486061296 140737486060816 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 840796 827802 197 433 0 840360 0
[pid=14542/tid=14544] ppid=14540 vsize=3363184 CPUtime=1535.94 cores=1,3,5,7
/proc/14542/task/14544/stat : 14544 (wbo1.72) R 14540 14542 14380 0 -1 4202560 776308 0 0 0 153322 272 0 0 20 0 2 0 332923017 3443900416 827802 33554432000 4194304 5964350 140737486061296 139892832835576 4403290 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 3363184

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14558
/proc/meminfo: memFree=24134108/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=3494256 CPUtime=1601.91 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) S 14540 14542 14380 0 -1 4202496 850864 0 0 0 159926 265 0 0 20 0 2 0 332922797 3578118144 862298 33554432000 4194304 5964350 140737486061296 140737486060816 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 873564 862298 197 433 0 873128 0
[pid=14542/tid=14544] ppid=14540 vsize=3494256 CPUtime=1595.78 cores=1,3,5,7
/proc/14542/task/14544/stat : 14544 (wbo1.72) R 14540 14542 14380 0 -1 4202560 810778 0 0 0 159296 282 0 0 20 0 2 0 332923017 3578118144 862298 33554432000 4194304 5964350 140737486061296 139892832835448 4403287 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 3494256

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 14561
/proc/meminfo: memFree=23951476/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=3690864 CPUtime=1661.88 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) S 14540 14542 14380 0 -1 4202496 892728 0 0 0 165913 275 0 0 20 0 2 0 332922797 3779444736 904217 33554432000 4194304 5964350 140737486061296 140737486060816 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 922716 904217 197 433 0 922280 0
[pid=14542/tid=14544] ppid=14540 vsize=3690864 CPUtime=1655.61 cores=1,3,5,7
/proc/14542/task/14544/stat : 14544 (wbo1.72) R 14540 14542 14380 0 -1 4202560 852642 0 0 0 165268 293 0 0 20 0 2 0 332923017 3779444736 904217 33554432000 4194304 5964350 140737486061296 139892832835576 4222304 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 3690864

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14561
/proc/meminfo: memFree=23819576/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=3821936 CPUtime=1721.87 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) S 14540 14542 14380 0 -1 4202496 925754 0 0 0 171901 286 0 0 20 0 2 0 332922797 3913662464 937294 33554432000 4194304 5964350 140737486061296 140737486060816 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 955484 937294 197 433 0 955048 0
[pid=14542/tid=14544] ppid=14540 vsize=3821936 CPUtime=1715.45 cores=1,3,5,7
/proc/14542/task/14544/stat : 14544 (wbo1.72) R 14540 14542 14380 0 -1 4202560 885668 0 0 0 171240 305 0 0 20 0 2 0 332923017 3913662464 937294 33554432000 4194304 5964350 140737486061296 139892832835576 4392888 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 3821936

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14561
/proc/meminfo: memFree=23644764/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=3953008 CPUtime=1781.85 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) S 14540 14542 14380 0 -1 4202496 966393 0 0 0 177890 295 0 0 20 0 2 0 332922797 4047880192 978052 33554432000 4194304 5964350 140737486061296 140737486060816 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 988252 978052 197 433 0 987816 0
[pid=14542/tid=14544] ppid=14540 vsize=3953008 CPUtime=1775.28 cores=1,3,5,7
/proc/14542/task/14544/stat : 14544 (wbo1.72) R 14540 14542 14380 0 -1 4202560 926307 0 0 0 177214 314 0 0 20 0 2 0 332923017 4047880192 978052 33554432000 4194304 5964350 140737486061296 139892832835576 4399840 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 3953008

############
# WARNING:
# current cumulated CPU time (1795.34 s) is less than in the last sample (1799.65 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (4.31006 s) to the 'lost time'.

[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 14561
/proc/meminfo: memFree=23692596/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=4149616 CPUtime=1799.65 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) S 14540 14542 14380 0 -1 4202496 1000270 0 0 0 179662 303 0 0 20 0 2 0 332922797 4249206784 1015671 33554432000 4194304 5964350 140737486061296 140737486060816 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 1037404 1015671 197 433 0 1036968 0
[pid=14542/tid=14544] ppid=14540 vsize=4149616 CPUtime=1793.04 cores=1,3,5,7
/proc/14542/task/14544/stat : 14544 (wbo1.72) R 14540 14542 14380 0 -1 4202560 960184 0 0 0 178981 323 0 0 20 0 2 0 332923017 4249206784 1015671 33554432000 4194304 5964350 140737486061296 139892832835912 5122169 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.65
Current children cumulated vsize (KiB) 4149616

[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 14561
/proc/meminfo: memFree=23692596/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=0 CPUtime=1795.34 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) R 14540 14542 14380 0 -1 4203524 1000272 0 0 0 179197 337 0 0 20 0 1 0 332922797 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1795.34
Current children cumulated vsize (KiB) 0
#
############


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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14561
/proc/meminfo: memFree=23620444/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=4018544 CPUtime=1791.46 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) S 14540 14542 14380 0 -1 4202496 972438 0 0 0 178849 297 0 0 20 0 2 0 332922797 4114989056 984096 33554432000 4194304 5964350 140737486061296 140737486060816 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 1004636 984096 197 433 0 1004200 0
[pid=14542/tid=14544] ppid=14540 vsize=4018544 CPUtime=1784.86 cores=1,3,5,7
/proc/14542/task/14544/stat : 14544 (wbo1.72) R 14540 14542 14380 0 -1 4202560 932352 0 0 0 178169 317 0 0 20 0 2 0 332923017 4114989056 984096 33554432000 4194304 5964350 140737486061296 139892832835576 4399840 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 4018544

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14561
/proc/meminfo: memFree=23608292/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=4018544 CPUtime=1794.66 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) S 14540 14542 14380 0 -1 4202496 975299 0 0 0 179168 298 0 0 20 0 2 0 332922797 4114989056 986957 33554432000 4194304 5964350 140737486061296 140737486060816 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 1004636 986957 197 433 0 1004200 0
[pid=14542/tid=14544] ppid=14540 vsize=4018544 CPUtime=1788.06 cores=1,3,5,7
/proc/14542/task/14544/stat : 14544 (wbo1.72) R 14540 14542 14380 0 -1 4202560 935213 0 0 0 178488 318 0 0 20 0 2 0 332923017 4114989056 986957 33554432000 4194304 5964350 140737486061296 139892832835576 4400684 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 4018544

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14561
/proc/meminfo: memFree=23602836/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=4018544 CPUtime=1797.85 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) S 14540 14542 14380 0 -1 4202496 977448 0 0 0 179487 298 0 0 20 0 2 0 332922797 4114989056 989106 33554432000 4194304 5964350 140737486061296 140737486060816 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 1004636 989106 197 433 0 1004200 0
[pid=14542/tid=14544] ppid=14540 vsize=4018544 CPUtime=1791.24 cores=1,3,5,7
/proc/14542/task/14544/stat : 14544 (wbo1.72) R 14540 14542 14380 0 -1 4202560 937362 0 0 0 178806 318 0 0 20 0 2 0 332923017 4114989056 989106 33554432000 4194304 5964350 140737486061296 139892832835432 5136410 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 4018544

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14561
/proc/meminfo: memFree=23598620/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=4018544 CPUtime=1798.65 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) S 14540 14542 14380 0 -1 4202496 978006 0 0 0 179567 298 0 0 20 0 2 0 332922797 4114989056 989664 33554432000 4194304 5964350 140737486061296 140737486060816 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 1004636 989664 197 433 0 1004200 0
[pid=14542/tid=14544] ppid=14540 vsize=4018544 CPUtime=1792.04 cores=1,3,5,7
/proc/14542/task/14544/stat : 14544 (wbo1.72) R 14540 14542 14380 0 -1 4202560 937920 0 0 0 178886 318 0 0 20 0 2 0 332923017 4114989056 989664 33554432000 4194304 5964350 140737486061296 139892832835928 4398344 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (KiB) 4018544

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 14561
/proc/meminfo: memFree=23692596/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=4149616 CPUtime=1799.45 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) S 14540 14542 14380 0 -1 4202496 1000270 0 0 0 179642 303 0 0 20 0 2 0 332922797 4249206784 1015671 33554432000 4194304 5964350 140737486061296 140737486060816 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 1037404 1015671 197 433 0 1036968 0
[pid=14542/tid=14544] ppid=14540 vsize=4149616 CPUtime=1792.84 cores=1,3,5,7
/proc/14542/task/14544/stat : 14544 (wbo1.72) R 14540 14542 14380 0 -1 4202560 960184 0 0 0 178961 323 0 0 20 0 2 0 332923017 4249206784 1015671 33554432000 4194304 5964350 140737486061296 139892832835912 5142429 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.45
Current children cumulated vsize (KiB) 4149616

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 14561
/proc/meminfo: memFree=23692596/32873844 swapFree=7108/7108
[pid=14542] ppid=14540 vsize=0 CPUtime=1795.44 cores=1,3,5,7
/proc/14542/stat : 14542 (wbo1.72) R 14540 14542 14380 0 -1 4203524 1000272 0 0 0 179197 347 0 0 20 0 1 0 332922797 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14542/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1795.44
Current children cumulated vsize (KiB) 0

Child status: 255

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 4.31006
#  lost CPU user time (s): 4.65002
#  lost CPU system time (s): -0.34

Real time (s): 1800.31
CPU time (s): 1799.77
CPU user time (s): 1796.62
CPU system time (s): 3.14347
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 4149616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.97
system time used= 3.48347
maximum resident set size= 4062692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1000272
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= 328
involuntary context switches= 3874

runsolver used 2.57661 second user time and 7.27189 second system time

The end

Launcher Data 

Begin job on node139 at 2012-06-02 22:13:02
IDJOB=3727840
IDBENCH=89855
IDSOLVER=2313
FILE ID=node139/3727840-1338667982
RUNJOBID= node139-1338667982-14514
PBS_JOBID= 14636493
Free space on /tmp= 71076 MiB

SOLVER NAME= wbo 1.72
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns1853823.opb
COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727840-1338667982/watcher-3727840-1338667982 -o /tmp/evaluation-result-3727840-1338667982/solver-3727840-1338667982 -C 1800 -W 1900 -M 15500  wbo1.72 -file-format=opb HOME/instance-3727840-1338667982.opb

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

MD5SUM BENCH= 2ebd045d7573caa1ce8026d29a77beeb
RANDOM SEED=519078714

node139.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.750
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.50
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.750
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.750
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	: 5331.90
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.750
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.91
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.750
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.92
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.750
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.750
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.750
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:        28229720 kB
Buffers:          486564 kB
Cached:          3266592 kB
SwapCached:          828 kB
Active:          1691572 kB
Inactive:        2079072 kB
Active(anon):      10864 kB
Inactive(anon):     7964 kB
Active(file):    1680708 kB
Inactive(file):  2071108 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67104688 kB
Dirty:             26464 kB
Writeback:            16 kB
AnonPages:         22600 kB
Mapped:            11900 kB
Shmem:                 8 kB
Slab:             732796 kB
SReclaimable:     174412 kB
SUnreclaim:       558384 kB
KernelStack:        1432 kB
PageTables:         3964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     141904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71072 MiB
End job on node139 at 2012-06-02 22:43:03