Trace number 3704403

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pwbo 2.0? 1799.86 1800

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K164.opb
MD5SUM57b7e746b37944d021e8febe16059957
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19516
Total number of constraints19846
Number of constraints which are clauses19682
Number of constraints which are cardinality constraints (but not clauses)164
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint164
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 165
Number of bits of the biggest sum of numbers8
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 |  pwbo:                    2.0 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3704403-1338105007.opb.
0.00/0.00	c Instance file HOME/instance-3704403-1338105007.opb
0.00/0.00	c File size is 1342841 bytes.
0.09/0.10	c Highest Coefficient sum: 165
0.09/0.10	c ============================[ Problem Statistics ]=============================
0.09/0.10	c |                                                                             |
0.09/0.10	c |  Parsing time:          0.10         s                                      |
0.09/0.10	c |  Number Variables:      19516                                               |
0.09/0.10	c |  Number Clauses:        19682                                               |
0.09/0.10	c |  Number Cardinality:    164                                                 |
0.09/0.10	c |  Number PB Constraints: 0                                                   |
0.09/0.10	c |                                                                             |
0.09/0.11	c |  Problem Type:          Decision                                            |
0.09/0.11	c |  Objective Function:    None                                                |
0.09/0.11	c |                                                                             |
0.09/0.11	c ===============================================================================
1799.48/1800.00	c ===============================================================================
1799.48/1800.00	c Wall Clock Time: 1800.00 s
1799.48/1800.00	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-3704403-1338105007/watcher-3704403-1338105007 -o /tmp/evaluation-result-3704403-1338105007/solver-3704403-1338105007 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704403-1338105007.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.00 2.00 2.00 3/178 11132
/proc/meminfo: memFree=30747268/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=5560 CPUtime=0 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) R 11130 11132 9022 0 -1 4202496 566 0 0 0 0 0 0 0 20 0 1 0 276629244 5693440 518 33554432000 4194304 5965102 140736089028384 140733444951800 4396446 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 1390 518 165 433 0 626 0

[startup+0.048095 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11132
/proc/meminfo: memFree=30747268/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=10292 CPUtime=0.04 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) R 11130 11132 9022 0 -1 4202496 1833 0 0 0 4 0 0 0 20 0 1 0 276629244 10539008 1752 33554432000 4194304 5965102 140736089028384 140733444951800 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 2573 1753 299 433 0 1809 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10292

[startup+0.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11132
/proc/meminfo: memFree=30747268/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=12764 CPUtime=0.09 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) R 11130 11132 9022 0 -1 4202496 2594 0 0 0 9 0 0 0 20 0 1 0 276629244 13070336 2513 33554432000 4194304 5965102 140736089028384 140733444951800 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 3191 2513 477 433 0 2427 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12764

[startup+0.300159 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11132
/proc/meminfo: memFree=30747268/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=93972 CPUtime=0.29 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 6160 0 0 0 28 1 0 0 20 0 2 0 276629244 96227328 5247 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 23493 5247 190 433 0 23057 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 93972

[startup+0.700124 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11132
/proc/meminfo: memFree=30747268/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=93972 CPUtime=0.69 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 6450 0 0 0 68 1 0 0 20 0 2 0 276629244 96227328 5537 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 23493 5537 190 433 0 23057 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 93972

[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 11134
/proc/meminfo: memFree=30725188/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=93972 CPUtime=1.49 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 7137 0 0 0 148 1 0 0 20 0 2 0 276629244 96227328 6224 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 23493 6224 190 433 0 23057 0
[pid=11132/tid=11134] ppid=11130 vsize=93972 CPUtime=1.38 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 4044 0 0 0 137 1 0 0 20 0 2 0 276629254 96227328 6224 33554432000 4194304 5965102 140736089028384 139898786723640 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 93972

[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 11134
/proc/meminfo: memFree=30721328/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=93972 CPUtime=3.09 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 8274 0 0 0 307 2 0 0 20 0 2 0 276629244 96227328 7361 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 23493 7361 190 433 0 23057 0
[pid=11132/tid=11134] ppid=11130 vsize=93972 CPUtime=2.98 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 5181 0 0 0 296 2 0 0 20 0 2 0 276629254 96227328 7361 33554432000 4194304 5965102 140736089028384 139898786723880 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 93972

[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 11134
/proc/meminfo: memFree=30712400/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=93972 CPUtime=6.28 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 10353 0 0 0 626 2 0 0 20 0 2 0 276629244 96227328 9440 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 23493 9440 190 433 0 23057 0
[pid=11132/tid=11134] ppid=11130 vsize=93972 CPUtime=6.19 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 7260 0 0 0 616 3 0 0 20 0 2 0 276629254 96227328 9440 33554432000 4194304 5965102 140736089028384 139898786723640 5137076 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) 93972

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 11134
/proc/meminfo: memFree=30698032/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=93972 CPUtime=12.68 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 13487 0 0 0 1265 3 0 0 20 0 2 0 276629244 96227328 12574 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 23493 12574 190 433 0 23057 0
[pid=11132/tid=11134] ppid=11130 vsize=93972 CPUtime=12.58 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 10394 0 0 0 1254 4 0 0 20 0 2 0 276629254 96227328 12574 33554432000 4194304 5965102 140736089028384 139898786723832 4383326 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 93972

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 11134
/proc/meminfo: memFree=30690112/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=93972 CPUtime=25.48 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 15301 0 0 0 2544 4 0 0 20 0 2 0 276629244 96227328 14388 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 23493 14388 190 433 0 23057 0
[pid=11132/tid=11134] ppid=11130 vsize=93972 CPUtime=25.38 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 12208 0 0 0 2533 5 0 0 20 0 2 0 276629254 96227328 14388 33554432000 4194304 5965102 140736089028384 139898786723832 4401127 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) 93972

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 11134
/proc/meminfo: memFree=30643760/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=159508 CPUtime=51.08 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 27143 0 0 0 5099 9 0 0 20 0 2 0 276629244 163336192 26230 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 39877 26230 190 433 0 39441 0
[pid=11132/tid=11134] ppid=11130 vsize=159508 CPUtime=50.98 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 24050 0 0 0 5089 9 0 0 20 0 2 0 276629254 163336192 26230 33554432000 4194304 5965102 140736089028384 139898786723640 5244967 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) 159508

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11135
/proc/meminfo: memFree=30617436/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=160232 CPUtime=102.28 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 33341 0 0 0 10217 11 0 0 20 0 2 0 276629244 164077568 32428 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 40058 32428 190 433 0 39622 0
[pid=11132/tid=11134] ppid=11130 vsize=160232 CPUtime=102.19 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 30248 0 0 0 10207 12 0 0 20 0 2 0 276629254 164077568 32428 33554432000 4194304 5965102 140736089028384 139898786723832 4410307 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 160232

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11174
/proc/meminfo: memFree=31113272/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=226128 CPUtime=162.25 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 44493 0 0 0 16211 14 0 0 20 0 2 0 276629244 231555072 43604 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 56532 43604 190 433 0 56096 0
[pid=11132/tid=11134] ppid=11130 vsize=226128 CPUtime=162.17 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 41400 0 0 0 16201 16 0 0 20 0 2 0 276629254 231555072 43604 33554432000 4194304 5965102 140736089028384 139898786723832 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 226128

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11174
/proc/meminfo: memFree=31026004/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=226128 CPUtime=222.19 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 51144 0 0 0 22202 17 0 0 20 0 2 0 276629244 231555072 50235 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 56532 50235 190 433 0 56096 0
[pid=11132/tid=11134] ppid=11130 vsize=226128 CPUtime=222.13 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 48051 0 0 0 22192 21 0 0 20 0 2 0 276629254 231555072 50235 33554432000 4194304 5965102 140736089028384 139898786723832 4383036 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 226128

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11174
/proc/meminfo: memFree=30905080/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=291664 CPUtime=282.15 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 66251 0 0 0 28192 23 0 0 20 0 2 0 276629244 298663936 65322 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 72916 65322 190 433 0 72480 0
[pid=11132/tid=11134] ppid=11130 vsize=291664 CPUtime=282.1 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 63158 0 0 0 28182 28 0 0 20 0 2 0 276629254 298663936 65322 33554432000 4194304 5965102 140736089028384 139898786723640 4383014 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 291664

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11174
/proc/meminfo: memFree=30877580/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=291664 CPUtime=342.14 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 66253 0 0 0 34191 23 0 0 20 0 2 0 276629244 298663936 65324 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 72916 65324 190 433 0 72480 0
[pid=11132/tid=11134] ppid=11130 vsize=291664 CPUtime=342.1 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 63160 0 0 0 34181 29 0 0 20 0 2 0 276629254 298663936 65324 33554432000 4194304 5965102 140736089028384 139898786723640 4382717 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 291664

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11175
/proc/meminfo: memFree=30869832/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=291664 CPUtime=402.11 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 66287 0 0 0 40188 23 0 0 20 0 2 0 276629244 298663936 65337 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 72916 65337 190 433 0 72480 0
[pid=11132/tid=11134] ppid=11130 vsize=291664 CPUtime=402.08 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 63194 0 0 0 40178 30 0 0 20 0 2 0 276629254 298663936 65337 33554432000 4194304 5965102 140736089028384 139898786723640 4220678 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 291664

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11175
/proc/meminfo: memFree=30772924/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=357740 CPUtime=462.1 cores=0,2,4,6

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

/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 171765 0 0 0 130127 78 0 0 20 0 2 0 276629254 768978944 174408 33554432000 4194304 5965102 140736089028384 139898786723864 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 750956

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11207
/proc/meminfo: memFree=30159284/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=751764 CPUtime=1361.86 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 174893 0 0 0 136128 58 0 0 20 0 2 0 276629244 769806336 174563 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 187941 174563 190 433 0 187505 0
[pid=11132/tid=11134] ppid=11130 vsize=751764 CPUtime=1362.03 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 171800 0 0 0 136124 79 0 0 20 0 2 0 276629254 769806336 174563 33554432000 4194304 5965102 140736089028384 139898786724008 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 751764

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11207
/proc/meminfo: memFree=30159200/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=751764 CPUtime=1421.85 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 174912 0 0 0 142127 58 0 0 20 0 2 0 276629244 769806336 174642 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 187941 174642 190 433 0 187505 0
[pid=11132/tid=11134] ppid=11130 vsize=751764 CPUtime=1422.03 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 171819 0 0 0 142123 80 0 0 20 0 2 0 276629254 769806336 174642 33554432000 4194304 5965102 140736089028384 139898786724008 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 751764

[startup+1482.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/179 11207
/proc/meminfo: memFree=30158952/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=751764 CPUtime=1481.83 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 174912 0 0 0 148125 58 0 0 20 0 2 0 276629244 769806336 174642 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 187941 174642 190 433 0 187505 0
[pid=11132/tid=11134] ppid=11130 vsize=751764 CPUtime=1482.03 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 171819 0 0 0 148122 81 0 0 20 0 2 0 276629254 769806336 174642 33554432000 4194304 5965102 140736089028384 139898786724008 4400992 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 751764

[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 11207
/proc/meminfo: memFree=30158828/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=751764 CPUtime=1541.82 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 174912 0 0 0 154124 58 0 0 20 0 2 0 276629244 769806336 174642 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 187941 174642 190 433 0 187505 0
[pid=11132/tid=11134] ppid=11130 vsize=751764 CPUtime=1542.03 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 171819 0 0 0 154121 82 0 0 20 0 2 0 276629254 769806336 174642 33554432000 4194304 5965102 140736089028384 139898786724008 4401050 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 751764

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 11208
/proc/meminfo: memFree=30159448/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=751764 CPUtime=1601.81 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 174912 0 0 0 160123 58 0 0 20 0 2 0 276629244 769806336 174642 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 187941 174642 190 433 0 187505 0
[pid=11132/tid=11134] ppid=11130 vsize=751764 CPUtime=1602.03 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 171819 0 0 0 160120 83 0 0 20 0 2 0 276629254 769806336 174642 33554432000 4194304 5965102 140736089028384 139898786724008 4401131 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 751764

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 11208
/proc/meminfo: memFree=30159324/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=751764 CPUtime=1661.8 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 174912 0 0 0 166122 58 0 0 20 0 2 0 276629244 769806336 174642 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 187941 174642 190 433 0 187505 0
[pid=11132/tid=11134] ppid=11130 vsize=751764 CPUtime=1662.03 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 171819 0 0 0 166119 84 0 0 20 0 2 0 276629254 769806336 174642 33554432000 4194304 5965102 140736089028384 139898786724008 4222388 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 751764

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11208
/proc/meminfo: memFree=30153868/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=751764 CPUtime=1721.8 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 174915 0 0 0 172122 58 0 0 20 0 2 0 276629244 769806336 174645 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 187941 174645 190 433 0 187505 0
[pid=11132/tid=11134] ppid=11130 vsize=751764 CPUtime=1722.04 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 171822 0 0 0 172119 85 0 0 20 0 2 0 276629254 769806336 174645 33554432000 4194304 5965102 140736089028384 139898786724008 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 751764

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11208
/proc/meminfo: memFree=30124592/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=751764 CPUtime=1781.79 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 174915 0 0 0 178121 58 0 0 20 0 2 0 276629244 769806336 174645 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 187941 174645 190 433 0 187505 0
[pid=11132/tid=11134] ppid=11130 vsize=751764 CPUtime=1782.04 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 171822 0 0 0 178118 86 0 0 20 0 2 0 276629254 769806336 174645 33554432000 4194304 5965102 140736089028384 139898786724008 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 751764

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11208
/proc/meminfo: memFree=30110580/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=751764 CPUtime=1791.39 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 174915 0 0 0 179081 58 0 0 20 0 2 0 276629244 769806336 174645 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 187941 174645 190 433 0 187505 0
[pid=11132/tid=11134] ppid=11130 vsize=751764 CPUtime=1791.65 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 171822 0 0 0 179079 86 0 0 20 0 2 0 276629254 769806336 174645 33554432000 4194304 5965102 140736089028384 139898786724008 4401131 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (KiB) 751764

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 11211
/proc/meminfo: memFree=30106804/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=751764 CPUtime=1794.59 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 174915 0 0 0 179401 58 0 0 20 0 2 0 276629244 769806336 174645 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 187941 174645 190 433 0 187505 0
[pid=11132/tid=11134] ppid=11130 vsize=751764 CPUtime=1794.85 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 171822 0 0 0 179399 86 0 0 20 0 2 0 276629254 769806336 174645 33554432000 4194304 5965102 140736089028384 139898786724008 4383069 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (KiB) 751764

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 11211
/proc/meminfo: memFree=30103456/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=751764 CPUtime=1797.78 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 174915 0 0 0 179720 58 0 0 20 0 2 0 276629244 769806336 174645 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 187941 174645 190 433 0 187505 0
[pid=11132/tid=11134] ppid=11130 vsize=751764 CPUtime=1798.04 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 171822 0 0 0 179718 86 0 0 20 0 2 0 276629254 769806336 174645 33554432000 4194304 5965102 140736089028384 139898786724008 4383014 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 751764

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 11211
/proc/meminfo: memFree=30102092/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=751764 CPUtime=1798.58 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 174915 0 0 0 179800 58 0 0 20 0 2 0 276629244 769806336 174645 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 187941 174645 190 433 0 187505 0
[pid=11132/tid=11134] ppid=11130 vsize=751764 CPUtime=1798.84 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 171822 0 0 0 179798 86 0 0 20 0 2 0 276629254 769806336 174645 33554432000 4194304 5965102 140736089028384 139898786724008 4401752 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.58
Current children cumulated vsize (KiB) 751764

[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 11211
/proc/meminfo: memFree=30100728/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=751764 CPUtime=1798.99 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 174915 0 0 0 179841 58 0 0 20 0 2 0 276629244 769806336 174645 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 187941 174645 190 433 0 187505 0
[pid=11132/tid=11134] ppid=11130 vsize=751764 CPUtime=1799.25 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 171822 0 0 0 179839 86 0 0 20 0 2 0 276629254 769806336 174645 33554432000 4194304 5965102 140736089028384 139898786724008 4390210 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.99
Current children cumulated vsize (KiB) 751764

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 11211
/proc/meminfo: memFree=30100728/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=751764 CPUtime=1799.38 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 174915 0 0 0 179880 58 0 0 20 0 2 0 276629244 769806336 174645 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 187941 174645 190 433 0 187505 0
[pid=11132/tid=11134] ppid=11130 vsize=751764 CPUtime=1799.64 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 171822 0 0 0 179878 86 0 0 20 0 2 0 276629254 769806336 174645 33554432000 4194304 5965102 140736089028384 139898786724008 4383069 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.38
Current children cumulated vsize (KiB) 751764

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 11211
/proc/meminfo: memFree=30100728/32873844 swapFree=7108/7108
[pid=11132] ppid=11130 vsize=751764 CPUtime=1799.48 cores=0,2,4,6
/proc/11132/stat : 11132 (pwbo2.0) S 11130 11132 9022 0 -1 4202496 174915 0 0 0 179890 58 0 0 20 0 2 0 276629244 769806336 174645 33554432000 4194304 5965102 140736089028384 140736089027904 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11132/statm: 187941 174645 190 433 0 187505 0
[pid=11132/tid=11134] ppid=11130 vsize=751764 CPUtime=1799.74 cores=0,2,4,6
/proc/11132/task/11134/stat : 11134 (pwbo2.0) R 11130 11132 9022 0 -1 4202560 171822 0 0 0 179888 86 0 0 20 0 2 0 276629254 769806336 174645 33554432000 4194304 5965102 140736089028384 139898786724008 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 751764

Child status: 255
Real time (s): 1800
CPU time (s): 1799.86
CPU user time (s): 1798.99
CPU system time (s): 0.876866
CPU usage (%): 99.9921
Max. virtual memory (cumulated for all children) (KiB): 751764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 0.876866
maximum resident set size= 698592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174918
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= 247
involuntary context switches= 1973

runsolver used 2.70659 second user time and 7.11492 second system time

The end

Launcher Data 

Begin job on node103 at 2012-05-27 09:50:07
IDJOB=3704403
IDBENCH=90170
IDSOLVER=2280
FILE ID=node103/3704403-1338105007
RUNJOBID= node103-1338087162-9038
PBS_JOBID= 14624435
Free space on /tmp= 71588 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K164.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 -thread=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3704403-1338105007/watcher-3704403-1338105007 -o /tmp/evaluation-result-3704403-1338105007/solver-3704403-1338105007 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704403-1338105007.opb

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

MD5SUM BENCH= 57b7e746b37944d021e8febe16059957
RANDOM SEED=1402361505

node103.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.189
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	: 5332.37
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.189
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.189
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.92
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.189
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.189
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.91
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.189
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	: 5411.36
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.189
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.189
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:        30747540 kB
Buffers:          295608 kB
Cached:           408408 kB
SwapCached:         4540 kB
Active:          1130536 kB
Inactive:         165068 kB
Active(anon):     587564 kB
Inactive(anon):     6220 kB
Active(file):     542972 kB
Inactive(file):   158848 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67099532 kB
Dirty:              6628 kB
Writeback:             0 kB
AnonPages:        680888 kB
Mapped:            12360 kB
Shmem:                 8 kB
Slab:             690500 kB
SReclaimable:     132876 kB
SUnreclaim:       557624 kB
KernelStack:        1496 kB
PageTables:         4988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     156472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    565248 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= 71584 MiB
End job on node103 at 2012-05-27 10:20:07