Trace number 3704776

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
wbo 1.7? 1799.94 1800.02

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.opb
MD5SUM5bedad9895f21a4b5e521b3abd33ba08
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.067989
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables3660
Total number of constraints121
Number of constraints which are clauses61
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint61
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 62
Number of bits of the biggest sum of numbers6
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.7 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3704776-1338098377.opb.
0.00/0.00	c Instance file HOME/instance-3704776-1338098377.opb
0.00/0.00	c File size is 64775 bytes.
0.00/0.00	c Highest Coefficient sum: 62
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      3660                                                |
0.00/0.00	c |  Number Clauses:        61                                                  |
0.00/0.00	c |  Number Cardinality:    60                                                  |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c |                                                                             |
0.00/0.01	c |  Problem Type:          Decision                                            |
0.00/0.01	c |  Objective Function:    None                                                |
0.00/0.01	c |                                                                             |
0.00/0.01	c ===============================================================================
1799.55/1800.00	c ===============================================================================
1799.55/1800.00	c Wall Clock Time: 1800.00 s
1799.55/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-3704776-1338098377/watcher-3704776-1338098377 -o /tmp/evaluation-result-3704776-1338098377/solver-3704776-1338098377 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704776-1338098377.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 2.00 3/177 16825
/proc/meminfo: memFree=30864876/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=3956 CPUtime=0 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) R 16823 16825 12452 0 -1 4202496 506 0 0 0 0 0 0 0 20 0 1 0 275963566 4050944 458 33554432000 4194304 5963574 140736120674816 140734337190472 5135642 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 989 459 168 432 0 538 0

[startup+0.0320049 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16825
/proc/meminfo: memFree=30864876/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=84736 CPUtime=0.02 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 1539 0 0 0 2 0 0 0 20 0 2 0 275963566 86769664 1475 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 21184 1475 184 432 0 20749 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 84736

[startup+0.100224 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16825
/proc/meminfo: memFree=30864876/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=84736 CPUtime=0.09 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 1704 0 0 0 9 0 0 0 20 0 2 0 275963566 86769664 1640 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 21184 1640 185 432 0 20749 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84736

[startup+0.300177 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16825
/proc/meminfo: memFree=30864876/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=84736 CPUtime=0.29 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 2160 0 0 0 29 0 0 0 20 0 2 0 275963566 86769664 2096 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 21184 2096 185 432 0 20749 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84736

[startup+0.700182 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16825
/proc/meminfo: memFree=30864876/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=84736 CPUtime=0.69 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 2994 0 0 0 69 0 0 0 20 0 2 0 275963566 86769664 2930 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 21184 2930 185 432 0 20749 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84736

[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16827
/proc/meminfo: memFree=30851700/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=84736 CPUtime=1.49 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 4517 0 0 0 148 1 0 0 20 0 2 0 275963566 86769664 4453 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 21184 4453 185 432 0 20749 0
[pid=16825/tid=16827] ppid=16823 vsize=84736 CPUtime=1.48 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 3517 0 0 0 148 0 0 0 20 0 2 0 275963567 86769664 4454 33554432000 4194304 5963574 140736120674816 139726249621496 5135572 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84736

[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16827
/proc/meminfo: memFree=30843020/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=84880 CPUtime=3.09 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 6663 0 0 0 308 1 0 0 20 0 2 0 275963566 86917120 6599 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 21220 6599 185 432 0 20785 0
[pid=16825/tid=16827] ppid=16823 vsize=84880 CPUtime=3.08 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 5662 0 0 0 306 2 0 0 20 0 2 0 275963567 86917120 6599 33554432000 4194304 5963574 140736120674816 139726249621496 4392187 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84880

[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16827
/proc/meminfo: memFree=30834432/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=84880 CPUtime=6.28 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 7701 0 0 0 627 1 0 0 20 0 2 0 275963566 86917120 7637 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 21220 7637 185 432 0 20785 0
[pid=16825/tid=16827] ppid=16823 vsize=84880 CPUtime=6.28 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 6700 0 0 0 626 2 0 0 20 0 2 0 275963567 86917120 7637 33554432000 4194304 5963574 140736120674816 139726249621496 4381581 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84880

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16827
/proc/meminfo: memFree=30813808/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=84952 CPUtime=12.69 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 13288 0 0 0 1266 3 0 0 20 0 2 0 275963566 86990848 13224 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 21238 13224 185 432 0 20803 0
[pid=16825/tid=16827] ppid=16823 vsize=84952 CPUtime=12.68 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 12287 0 0 0 1264 4 0 0 20 0 2 0 275963567 86990848 13224 33554432000 4194304 5963574 140736120674816 139726249621496 5135572 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84952

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16830
/proc/meminfo: memFree=30773980/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=150596 CPUtime=25.49 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 21641 0 0 0 2543 6 0 0 20 0 2 0 275963566 154210304 21577 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 37649 21577 185 432 0 37214 0
[pid=16825/tid=16827] ppid=16823 vsize=150596 CPUtime=25.48 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 20640 0 0 0 2541 7 0 0 20 0 2 0 275963567 154210304 21577 33554432000 4194304 5963574 140736120674816 139726249621496 4378781 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 150596

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16830
/proc/meminfo: memFree=30717600/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=216292 CPUtime=51.08 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 34175 0 0 0 5099 9 0 0 20 0 2 0 275963566 221483008 34111 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 54073 34111 185 432 0 53638 0
[pid=16825/tid=16827] ppid=16823 vsize=216292 CPUtime=51.08 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 33174 0 0 0 5098 10 0 0 20 0 2 0 275963567 221483008 34111 33554432000 4194304 5963574 140736120674816 139726249621496 4381510 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 216292

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16852
/proc/meminfo: memFree=30647164/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=216532 CPUtime=102.27 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 48010 0 0 0 10214 13 0 0 20 0 2 0 275963566 221728768 47951 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 54133 47951 185 432 0 53698 0
[pid=16825/tid=16827] ppid=16823 vsize=216532 CPUtime=102.28 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 47009 0 0 0 10213 15 0 0 20 0 2 0 275963567 221728768 47951 33554432000 4194304 5963574 140736120674816 139726249621496 4381529 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 216532

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16891
/proc/meminfo: memFree=30833528/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=347604 CPUtime=162.23 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 67837 0 0 0 16203 20 0 0 20 0 2 0 275963566 355946496 67765 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 86901 67765 185 432 0 86466 0
[pid=16825/tid=16827] ppid=16823 vsize=347604 CPUtime=162.25 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 66836 0 0 0 16202 23 0 0 20 0 2 0 275963567 355946496 67765 33554432000 4194304 5963574 140736120674816 139726249621496 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 347604

[startup+222.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 16891
/proc/meminfo: memFree=30637940/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=347604 CPUtime=222.18 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 72834 0 0 0 22197 21 0 0 20 0 2 0 275963566 355946496 73697 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 86901 73697 185 432 0 86466 0
[pid=16825/tid=16827] ppid=16823 vsize=347604 CPUtime=222.22 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 71833 0 0 0 22197 25 0 0 20 0 2 0 275963567 355946496 73697 33554432000 4194304 5963574 140736120674816 139726249621496 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 347604

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16892
/proc/meminfo: memFree=30474148/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=347604 CPUtime=282.17 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 80906 0 0 0 28193 24 0 0 20 0 2 0 275963566 355946496 81769 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 86901 81769 185 432 0 86466 0
[pid=16825/tid=16827] ppid=16823 vsize=347604 CPUtime=282.22 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 79905 0 0 0 28193 29 0 0 20 0 2 0 275963567 355946496 81769 33554432000 4194304 5963574 140736120674816 139726249621496 4399623 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 347604

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16892
/proc/meminfo: memFree=30401640/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=347604 CPUtime=342.16 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 81155 0 0 0 34192 24 0 0 20 0 2 0 275963566 355946496 82018 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 86901 82018 185 432 0 86466 0
[pid=16825/tid=16827] ppid=16823 vsize=347604 CPUtime=342.23 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 80154 0 0 0 34193 30 0 0 20 0 2 0 275963567 355946496 82018 33554432000 4194304 5963574 140736120674816 139726249621496 4220678 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 347604

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16892
/proc/meminfo: memFree=30368188/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=413140 CPUtime=402.16 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 89484 0 0 0 40189 27 0 0 20 0 2 0 275963566 423055360 90347 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 103285 90347 185 432 0 102850 0
[pid=16825/tid=16827] ppid=16823 vsize=413140 CPUtime=402.23 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 88483 0 0 0 40189 34 0 0 20 0 2 0 275963567 423055360 90347 33554432000 4194304 5963574 140736120674816 139726249621496 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 413140

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16892
/proc/meminfo: memFree=30304752/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=479468 CPUtime=462.14 cores=1,3,5,7

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

/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 188888 0 0 0 130130 88 0 0 20 0 2 0 275963567 831201280 189654 33554432000 4194304 5963574 140736120674816 139726249621496 4399592 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 811720

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16901
/proc/meminfo: memFree=29536820/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=877904 CPUtime=1361.91 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 214956 0 0 0 136113 78 0 0 20 0 2 0 275963566 898973696 214720 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 219476 214720 185 432 0 219041 0
[pid=16825/tid=16827] ppid=16823 vsize=877904 CPUtime=1362.18 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 213955 0 0 0 136119 99 0 0 20 0 2 0 275963567 898973696 214720 33554432000 4194304 5963574 140736120674816 139726249621496 4387764 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 877904

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16901
/proc/meminfo: memFree=29489084/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=944268 CPUtime=1421.91 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 223320 0 0 0 142110 81 0 0 20 0 2 0 275963566 966930432 223084 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 236067 223084 185 432 0 235632 0
[pid=16825/tid=16827] ppid=16823 vsize=944268 CPUtime=1422.19 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 222319 0 0 0 142116 103 0 0 20 0 2 0 275963567 966930432 223084 33554432000 4194304 5963574 140736120674816 139726249621496 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 944268

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16902
/proc/meminfo: memFree=29269588/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=944340 CPUtime=1481.89 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 223358 0 0 0 148108 81 0 0 20 0 2 0 275963566 967004160 223122 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 236085 223122 185 432 0 235650 0
[pid=16825/tid=16827] ppid=16823 vsize=944340 CPUtime=1482.18 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 222357 0 0 0 148114 104 0 0 20 0 2 0 275963567 967004160 223122 33554432000 4194304 5963574 140736120674816 139726249621544 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 944340

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16902
/proc/meminfo: memFree=29196084/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=944448 CPUtime=1541.88 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 223368 0 0 0 154107 81 0 0 20 0 2 0 275963566 967114752 223132 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 236112 223132 185 432 0 235677 0
[pid=16825/tid=16827] ppid=16823 vsize=944448 CPUtime=1542.18 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 222367 0 0 0 154113 105 0 0 20 0 2 0 275963567 967114752 223132 33554432000 4194304 5963574 140736120674816 139726249621544 4399623 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 944448

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16902
/proc/meminfo: memFree=29196052/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=944448 CPUtime=1601.88 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 223368 0 0 0 160107 81 0 0 20 0 2 0 275963566 967114752 223132 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 236112 223132 185 432 0 235677 0
[pid=16825/tid=16827] ppid=16823 vsize=944448 CPUtime=1602.19 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 222367 0 0 0 160113 106 0 0 20 0 2 0 275963567 967114752 223132 33554432000 4194304 5963574 140736120674816 139726249621544 4399968 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 944448

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 16902
/proc/meminfo: memFree=29195772/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=944520 CPUtime=1661.87 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 223389 0 0 0 166106 81 0 0 20 0 2 0 275963566 967188480 223153 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 236130 223153 185 432 0 235695 0
[pid=16825/tid=16827] ppid=16823 vsize=944520 CPUtime=1662.19 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 222388 0 0 0 166112 107 0 0 20 0 2 0 275963567 967188480 223153 33554432000 4194304 5963574 140736120674816 139726249621544 4399623 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 944520

[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 16902
/proc/meminfo: memFree=29195428/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=944520 CPUtime=1721.86 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 223413 0 0 0 172105 81 0 0 20 0 2 0 275963566 967188480 223130 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 236130 223130 185 432 0 235695 0
[pid=16825/tid=16827] ppid=16823 vsize=944520 CPUtime=1722.19 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 222412 0 0 0 172111 108 0 0 20 0 2 0 275963567 967188480 223130 33554432000 4194304 5963574 140736120674816 139726249621528 4399482 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 944520

[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 16903
/proc/meminfo: memFree=29176476/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=944520 CPUtime=1781.85 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 223413 0 0 0 178104 81 0 0 20 0 2 0 275963566 967188480 223130 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 236130 223130 185 432 0 235695 0
[pid=16825/tid=16827] ppid=16823 vsize=944520 CPUtime=1782.19 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 222412 0 0 0 178110 109 0 0 20 0 2 0 275963567 967188480 223130 33554432000 4194304 5963574 140736120674816 139726249621528 4399614 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 944520

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

[startup+1791.91 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 16903
/proc/meminfo: memFree=29176408/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=944520 CPUtime=1791.45 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 223413 0 0 0 179064 81 0 0 20 0 2 0 275963566 967188480 223130 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 236130 223130 185 432 0 235695 0
[pid=16825/tid=16827] ppid=16823 vsize=944520 CPUtime=1791.8 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 222412 0 0 0 179071 109 0 0 20 0 2 0 275963567 967188480 223130 33554432000 4194304 5963574 140736120674816 139726249621528 4399627 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 944520

[startup+1795.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 16903
/proc/meminfo: memFree=29176656/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=944520 CPUtime=1794.65 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 223413 0 0 0 179384 81 0 0 20 0 2 0 275963566 967188480 223130 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 236130 223130 185 432 0 235695 0
[pid=16825/tid=16827] ppid=16823 vsize=944520 CPUtime=1795 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 222412 0 0 0 179391 109 0 0 20 0 2 0 275963567 967188480 223130 33554432000 4194304 5963574 140736120674816 139726249621528 4399592 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (KiB) 944520

[startup+1798.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 16903
/proc/meminfo: memFree=29176656/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=944520 CPUtime=1797.85 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 223413 0 0 0 179704 81 0 0 20 0 2 0 275963566 967188480 223130 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 236130 223130 185 432 0 235695 0
[pid=16825/tid=16827] ppid=16823 vsize=944520 CPUtime=1798.19 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 222412 0 0 0 179710 109 0 0 20 0 2 0 275963567 967188480 223130 33554432000 4194304 5963574 140736120674816 139726249621528 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 944520

[startup+1799.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 16903
/proc/meminfo: memFree=29176780/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=944520 CPUtime=1798.65 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 223413 0 0 0 179784 81 0 0 20 0 2 0 275963566 967188480 223130 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 236130 223130 185 432 0 235695 0
[pid=16825/tid=16827] ppid=16823 vsize=944520 CPUtime=1798.99 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 222412 0 0 0 179790 109 0 0 20 0 2 0 275963567 967188480 223130 33554432000 4194304 5963574 140736120674816 139726249621528 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (KiB) 944520

[startup+1799.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 16903
/proc/meminfo: memFree=29176780/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=944520 CPUtime=1799.05 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 223413 0 0 0 179824 81 0 0 20 0 2 0 275963566 967188480 223130 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 236130 223130 185 432 0 235695 0
[pid=16825/tid=16827] ppid=16823 vsize=944520 CPUtime=1799.4 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 222412 0 0 0 179831 109 0 0 20 0 2 0 275963567 967188480 223130 33554432000 4194304 5963574 140736120674816 139726249621528 4399614 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.05
Current children cumulated vsize (KiB) 944520

[startup+1799.9 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 16903
/proc/meminfo: memFree=29176780/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=944520 CPUtime=1799.45 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 223413 0 0 0 179864 81 0 0 20 0 2 0 275963566 967188480 223130 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 236130 223130 185 432 0 235695 0
[pid=16825/tid=16827] ppid=16823 vsize=944520 CPUtime=1799.79 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 222412 0 0 0 179870 109 0 0 20 0 2 0 275963567 967188480 223130 33554432000 4194304 5963574 140736120674816 139726249621528 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.45
Current children cumulated vsize (KiB) 944520

[startup+1800 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 16903
/proc/meminfo: memFree=29176780/32873648 swapFree=7112/7112
[pid=16825] ppid=16823 vsize=944520 CPUtime=1799.55 cores=1,3,5,7
/proc/16825/stat : 16825 (wbo1.7) S 16823 16825 12452 0 -1 4202496 223413 0 0 0 179874 81 0 0 20 0 2 0 275963566 967188480 223130 33554432000 4194304 5963574 140736120674816 140736120674336 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16825/statm: 236130 223130 185 432 0 235695 0
[pid=16825/tid=16827] ppid=16823 vsize=944520 CPUtime=1799.89 cores=1,3,5,7
/proc/16825/task/16827/stat : 16827 (wbo1.7) R 16823 16825 12452 0 -1 4202560 222412 0 0 0 179880 109 0 0 20 0 2 0 275963567 967188480 223130 33554432000 4194304 5963574 140736120674816 139726249621528 4399627 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (KiB) 944520

Child status: 255
Real time (s): 1800.02
CPU time (s): 1799.94
CPU user time (s): 1798.82
CPU system time (s): 1.12083
CPU usage (%): 99.9956
Max. virtual memory (cumulated for all children) (KiB): 944520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.82
system time used= 1.12083
maximum resident set size= 892708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223414
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= 250
involuntary context switches= 1843

runsolver used 4.77927 second user time and 12.1751 second system time

The end

Launcher Data 

Begin job on node126 at 2012-05-27 07:59:37
IDJOB=3704776
IDBENCH=2599
IDSOLVER=2283
FILE ID=node126/3704776-1338098377
RUNJOBID= node126-1338077272-12469
PBS_JOBID= 14624421
Free space on /tmp= 71352 MiB

SOLVER NAME= wbo 1.7
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.opb
COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3704776-1338098377/watcher-3704776-1338098377 -o /tmp/evaluation-result-3704776-1338098377/solver-3704776-1338098377 -C 1800 -W 1900 -M 15500  wbo1.7 -file-format=opb HOME/instance-3704776-1338098377.opb

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

MD5SUM BENCH= 5bedad9895f21a4b5e521b3abd33ba08
RANDOM SEED=874664095

node126.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.456
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.91
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.456
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.456
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.456
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.456
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.456
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.456
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.90
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.456
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30865148 kB
Buffers:          270536 kB
Cached:           544868 kB
SwapCached:        17756 kB
Active:          1099944 kB
Inactive:         103036 kB
Active(anon):     368992 kB
Inactive(anon):    20452 kB
Active(file):     730952 kB
Inactive(file):    82584 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086932 kB
Dirty:              5468 kB
Writeback:             0 kB
AnonPages:        516140 kB
Mapped:            10424 kB
Shmem:                 0 kB
Slab:             667268 kB
SReclaimable:     111804 kB
SUnreclaim:       555464 kB
KernelStack:        1488 kB
PageTables:         4304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     151280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    477184 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71348 MiB
End job on node126 at 2012-05-27 08:29:37