Trace number 3714257

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
npSolver incOPTIMUM 83.4783 83.4888

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767--soft-66-100-0.wbo
MD5SUM0e6c262e00c2bafdec71b4c92c644f07
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark80
Best CPU time to get the best result obtained on this benchmark0.469928
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints28
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 1415
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 1414
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1248
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.05	c run usual solver
1.87/1.95	o 1169
1.87/1.95	c current bound: 584
2.06/2.17	o 581
2.06/2.17	c current bound: 290
6.57/6.62	o 263
6.57/6.62	c current bound: 131
15.26/15.31	o 107
15.26/15.31	c current bound: 53
24.26/24.35	c current bound: 80
32.34/32.49	o 80
32.34/32.49	c current bound: 67
43.37/43.43	c current bound: 74
56.67/56.77	c current bound: 77
71.65/71.71	c current bound: 79
83.36/83.48	c display solution
83.36/83.48	s OPTIMUM FOUND
83.36/83.48	v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169

Verifier Data 

OK	80

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-3714257-1338185146/watcher-3714257-1338185146 -o /tmp/evaluation-result-3714257-1338185146/solver-3714257-1338185146 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714257-1338185146.wbo 2011711249 HOME HOME 

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.02 2.01 2.00 3/179 11181
/proc/meminfo: memFree=31269232/32873648 swapFree=7116/7116
[pid=11181] ppid=11179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11181/stat : 11181 (npSolver-wbo-I.) S 11179 11181 6342 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284640030 9367552 274 33554432000 4194304 5064252 140735740169056 140735740167968 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11181/statm: 2287 274 233 213 0 72 0

[startup+0.069546 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11181
/proc/meminfo: memFree=31269232/32873648 swapFree=7116/7116
[pid=11181] ppid=11179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11181/stat : 11181 (npSolver-wbo-I.) S 11179 11181 6342 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284640030 9367552 274 33554432000 4194304 5064252 140735740169056 140735740167968 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11181/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100239 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11181
/proc/meminfo: memFree=31269232/32873648 swapFree=7116/7116
[pid=11181] ppid=11179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11181/stat : 11181 (npSolver-wbo-I.) S 11179 11181 6342 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284640030 9367552 274 33554432000 4194304 5064252 140735740169056 140735740167968 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11181/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300178 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11181
/proc/meminfo: memFree=31269232/32873648 swapFree=7116/7116
[pid=11181] ppid=11179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11181/stat : 11181 (npSolver-wbo-I.) S 11179 11181 6342 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284640030 9367552 274 33554432000 4194304 5064252 140735740169056 140735740167968 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11181/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700181 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11181
/proc/meminfo: memFree=31269232/32873648 swapFree=7116/7116
[pid=11181] ppid=11179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11181/stat : 11181 (npSolver-wbo-I.) S 11179 11181 6342 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284640030 9367552 274 33554432000 4194304 5064252 140735740169056 140735740167968 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11181/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50027 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 11188
/proc/meminfo: memFree=31263116/32873648 swapFree=7116/7116
[pid=11181] ppid=11179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11181/stat : 11181 (npSolver-wbo-I.) S 11179 11181 6342 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284640030 9367552 274 33554432000 4194304 5064252 140735740169056 140735740167968 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11181/statm: 2287 274 233 213 0 72 0
[pid=11182] ppid=11181 vsize=3708 CPUtime=0.44 cores=1,3,5,7
/proc/11182/stat : 11182 (npSolver-wbo) S 11181 11181 6342 0 -1 4202496 1098 3396 0 0 5 0 38 1 20 0 1 0 284640030 3796992 477 33554432000 4194304 5990268 140736628503456 140736628497696 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11182/statm: 927 477 154 439 0 484 0
[pid=11187] ppid=11182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11187/stat : 11187 (satsolver.sh) S 11182 11181 6342 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284640076 9367552 266 33554432000 4194304 5064252 140736290737040 140736290735952 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11187/statm: 2287 266 226 213 0 72 0
[pid=11188] ppid=11187 vsize=8860 CPUtime=1.03 cores=1,3,5,7
/proc/11188/stat : 11188 (glucose) R 11187 11181 6342 0 -1 4202496 2288 0 0 0 103 0 0 0 20 0 1 0 284640076 9072640 1625 33554432000 4194304 5208918 140733341609232 140733341607176 4211632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11188/statm: 2215 1625 102 248 0 1964 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 30864

[startup+3.10024 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 11195
/proc/meminfo: memFree=31253264/32873648 swapFree=7116/7116
[pid=11181] ppid=11179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11181/stat : 11181 (npSolver-wbo-I.) S 11179 11181 6342 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284640030 9367552 274 33554432000 4194304 5064252 140735740169056 140735740167968 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11181/statm: 2287 274 233 213 0 72 0
[pid=11182] ppid=11181 vsize=4780 CPUtime=2.16 cores=1,3,5,7
/proc/11182/stat : 11182 (npSolver-wbo) S 11181 11181 6342 0 -1 4202496 2263 15448 0 0 7 3 201 5 20 0 1 0 284640030 4894720 703 33554432000 4194304 5990268 140736628503456 140736628494896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11182/statm: 1195 703 160 439 0 752 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 13928
heavy processes:

[startup+6.30034 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 11202
/proc/meminfo: memFree=31217548/32873648 swapFree=7116/7116
[pid=11181] ppid=11179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11181/stat : 11181 (npSolver-wbo-I.) S 11179 11181 6342 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284640030 9367552 274 33554432000 4194304 5064252 140735740169056 140735740167968 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11181/statm: 2287 274 233 213 0 72 0
[pid=11182] ppid=11181 vsize=4780 CPUtime=2.16 cores=1,3,5,7
/proc/11182/stat : 11182 (npSolver-wbo) S 11181 11181 6342 0 -1 4202496 2263 15448 0 0 7 3 201 5 20 0 1 0 284640030 4894720 703 33554432000 4194304 5990268 140736628503456 140736628494896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11182/statm: 1195 703 160 439 0 752 0
[pid=11201] ppid=11182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11201/stat : 11201 (satsolver.sh) S 11182 11181 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284640248 9367552 267 33554432000 4194304 5064252 140733249169296 140733249168208 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11201/statm: 2287 267 226 213 0 72 0
[pid=11202] ppid=11201 vsize=16724 CPUtime=4.1 cores=1,3,5,7
/proc/11202/stat : 11202 (glucose) R 11201 11181 6342 0 -1 4202496 4910 0 0 0 410 0 0 0 20 0 1 0 284640249 17125376 3811 33554432000 4194304 5208918 140736345790848 140736345788712 4229745 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11202/statm: 4181 3811 105 248 0 3930 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 39800

[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 11209
/proc/meminfo: memFree=31217436/32873648 swapFree=7116/7116
[pid=11181] ppid=11179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11181/stat : 11181 (npSolver-wbo-I.) S 11179 11181 6342 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284640030 9367552 274 33554432000 4194304 5064252 140735740169056 140735740167968 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11181/statm: 2287 274 233 213 0 72 0
[pid=11182] ppid=11181 vsize=4780 CPUtime=6.6 cores=1,3,5,7
/proc/11182/stat : 11182 (npSolver-wbo) S 11181 11181 6342 0 -1 4202496 2467 23530 0 0 7 3 643 7 20 0 1 0 284640030 4894720 703 33554432000 4194304 5990268 140736628503456 140736628494896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11182/statm: 1195 703 160 439 0 752 0
[pid=11208] ppid=11182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11208/stat : 11208 (satsolver.sh) S 11182 11181 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284640693 9367552 267 33554432000 4194304 5064252 140733517515008 140733517513920 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11208/statm: 2287 267 226 213 0 72 0
[pid=11209] ppid=11208 vsize=14916 CPUtime=6.06 cores=1,3,5,7
/proc/11209/stat : 11209 (glucose) R 11208 11181 6342 0 -1 4202496 3810 0 0 0 606 0 0 0 20 0 1 0 284640693 15273984 3328 33554432000 4194304 5208918 140733654410816 140733654408680 4205203 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11209/statm: 3729 3328 105 248 0 3478 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 37992

[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 11223
/proc/meminfo: memFree=31220540/32873648 swapFree=7116/7116
[pid=11181] ppid=11179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11181/stat : 11181 (npSolver-wbo-I.) S 11179 11181 6342 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284640030 9367552 274 33554432000 4194304 5064252 140735740169056 140735740167968 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11181/statm: 2287 274 233 213 0 72 0
[pid=11182] ppid=11181 vsize=4780 CPUtime=24.31 cores=1,3,5,7
/proc/11182/stat : 11182 (npSolver-wbo) S 11181 11181 6342 0 -1 4202496 2707 37973 0 0 7 3 2411 10 20 0 1 0 284640030 4894720 703 33554432000 4194304 5990268 140736628503456 140736628494896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11182/statm: 1195 703 160 439 0 752 0
[pid=11222] ppid=11182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11222/stat : 11222 (satsolver.sh) S 11182 11181 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284642465 9367552 267 33554432000 4194304 5064252 140734155302592 140734155301504 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11222/statm: 2287 267 226 213 0 72 0
[pid=11223] ppid=11222 vsize=7736 CPUtime=1.14 cores=1,3,5,7
/proc/11223/stat : 11223 (glucose) R 11222 11181 6342 0 -1 4202496 2191 0 0 0 114 0 0 0 20 0 1 0 284642465 7921664 1391 33554432000 4194304 5208918 140733722694384 140733722692328 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11223/statm: 1934 1391 104 248 0 1683 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 30812

[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 11237
/proc/meminfo: memFree=31253960/32873648 swapFree=7116/7116
[pid=11181] ppid=11179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11181/stat : 11181 (npSolver-wbo-I.) S 11179 11181 6342 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284640030 9367552 274 33554432000 4194304 5064252 140735740169056 140735740167968 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11181/statm: 2287 274 233 213 0 72 0
[pid=11182] ppid=11181 vsize=4780 CPUtime=43.42 cores=1,3,5,7
/proc/11182/stat : 11182 (npSolver-wbo) S 11181 11181 6342 0 -1 4202496 2955 54265 0 0 8 3 4316 15 20 0 1 0 284640030 4894720 703 33554432000 4194304 5990268 140736628503456 140736628494896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11182/statm: 1195 703 160 439 0 752 0
[pid=11236] ppid=11182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11236/stat : 11236 (satsolver.sh) S 11182 11181 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284644374 9367552 266 33554432000 4194304 5064252 140735126756144 140735126755056 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11236/statm: 2287 266 226 213 0 72 0
[pid=11237] ppid=11236 vsize=16640 CPUtime=7.65 cores=1,3,5,7
/proc/11237/stat : 11237 (glucose) R 11236 11181 6342 0 -1 4202496 3935 0 0 0 765 0 0 0 20 0 1 0 284644374 17039360 3586 33554432000 4194304 5208918 140736569441040 140736569437416 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11237/statm: 4160 3586 104 248 0 3909 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 39716

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

[startup+63.9002 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11244
/proc/meminfo: memFree=31219648/32873648 swapFree=7116/7116
[pid=11181] ppid=11179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11181/stat : 11181 (npSolver-wbo-I.) S 11179 11181 6342 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284640030 9367552 274 33554432000 4194304 5064252 140735740169056 140735740167968 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11181/statm: 2287 274 233 213 0 72 0
[pid=11182] ppid=11181 vsize=4780 CPUtime=56.75 cores=1,3,5,7
/proc/11182/stat : 11182 (npSolver-wbo) S 11181 11181 6342 0 -1 4202496 3075 62334 0 0 8 3 5648 16 20 0 1 0 284640030 4894720 703 33554432000 4194304 5990268 140736628503456 140736628494896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11182/statm: 1195 703 160 439 0 752 0
[pid=11243] ppid=11182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11243/stat : 11243 (satsolver.sh) S 11182 11181 6342 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284645708 9367552 267 33554432000 4194304 5064252 140737176188144 140737176187056 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11243/statm: 2287 267 226 213 0 72 0
[pid=11244] ppid=11243 vsize=13908 CPUtime=7.1 cores=1,3,5,7
/proc/11244/stat : 11244 (glucose) R 11243 11181 6342 0 -1 4202496 3941 0 0 0 710 0 0 0 20 0 1 0 284645708 14241792 3105 33554432000 4194304 5208918 140736732309648 140736732306024 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11244/statm: 3477 3105 104 248 0 3226 0
Current children cumulated CPU time (s) 63.85
Current children cumulated vsize (KiB) 36984

[startup+76.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11251
/proc/meminfo: memFree=31216424/32873648 swapFree=7116/7116
[pid=11181] ppid=11179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11181/stat : 11181 (npSolver-wbo-I.) S 11179 11181 6342 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284640030 9367552 274 33554432000 4194304 5064252 140735740169056 140735740167968 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11181/statm: 2287 274 233 213 0 72 0
[pid=11182] ppid=11181 vsize=4780 CPUtime=71.69 cores=1,3,5,7
/proc/11182/stat : 11182 (npSolver-wbo) S 11181 11181 6342 0 -1 4202496 3196 70400 0 0 8 3 7140 18 20 0 1 0 284640030 4894720 703 33554432000 4194304 5990268 140736628503456 140736628494896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11182/statm: 1195 703 160 439 0 752 0
[pid=11250] ppid=11182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11250/stat : 11250 (satsolver.sh) S 11182 11181 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284647202 9367552 267 33554432000 4194304 5064252 140736944101024 140736944099936 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11250/statm: 2287 267 226 213 0 72 0
[pid=11251] ppid=11250 vsize=12900 CPUtime=4.97 cores=1,3,5,7
/proc/11251/stat : 11251 (glucose) R 11250 11181 6342 0 -1 4202496 3635 0 0 0 497 0 0 0 20 0 1 0 284647202 13209600 2860 33554432000 4194304 5208918 140736260772976 140736260770840 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11251/statm: 3225 2860 105 248 0 2974 0
Current children cumulated CPU time (s) 76.66
Current children cumulated vsize (KiB) 35976

[startup+79.9003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11251
/proc/meminfo: memFree=31213756/32873648 swapFree=7116/7116
[pid=11181] ppid=11179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11181/stat : 11181 (npSolver-wbo-I.) S 11179 11181 6342 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284640030 9367552 274 33554432000 4194304 5064252 140735740169056 140735740167968 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11181/statm: 2287 274 233 213 0 72 0
[pid=11182] ppid=11181 vsize=4780 CPUtime=71.69 cores=1,3,5,7
/proc/11182/stat : 11182 (npSolver-wbo) S 11181 11181 6342 0 -1 4202496 3196 70400 0 0 8 3 7140 18 20 0 1 0 284640030 4894720 703 33554432000 4194304 5990268 140736628503456 140736628494896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11182/statm: 1195 703 160 439 0 752 0
[pid=11250] ppid=11182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11250/stat : 11250 (satsolver.sh) S 11182 11181 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284647202 9367552 267 33554432000 4194304 5064252 140736944101024 140736944099936 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11250/statm: 2287 267 226 213 0 72 0
[pid=11251] ppid=11250 vsize=13932 CPUtime=8.17 cores=1,3,5,7
/proc/11251/stat : 11251 (glucose) R 11250 11181 6342 0 -1 4202496 3837 0 0 0 817 0 0 0 20 0 1 0 284647202 14266368 3040 33554432000 4194304 5208918 140736260772976 140736260769352 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11251/statm: 3483 3040 105 248 0 3232 0
Current children cumulated CPU time (s) 79.86
Current children cumulated vsize (KiB) 37008

[startup+81.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11251
/proc/meminfo: memFree=31213508/32873648 swapFree=7116/7116
[pid=11181] ppid=11179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11181/stat : 11181 (npSolver-wbo-I.) S 11179 11181 6342 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284640030 9367552 274 33554432000 4194304 5064252 140735740169056 140735740167968 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11181/statm: 2287 274 233 213 0 72 0
[pid=11182] ppid=11181 vsize=4780 CPUtime=71.69 cores=1,3,5,7
/proc/11182/stat : 11182 (npSolver-wbo) S 11181 11181 6342 0 -1 4202496 3196 70400 0 0 8 3 7140 18 20 0 1 0 284640030 4894720 703 33554432000 4194304 5990268 140736628503456 140736628494896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11182/statm: 1195 703 160 439 0 752 0
[pid=11250] ppid=11182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11250/stat : 11250 (satsolver.sh) S 11182 11181 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284647202 9367552 267 33554432000 4194304 5064252 140736944101024 140736944099936 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11250/statm: 2287 267 226 213 0 72 0
[pid=11251] ppid=11250 vsize=14168 CPUtime=9.77 cores=1,3,5,7
/proc/11251/stat : 11251 (glucose) R 11250 11181 6342 0 -1 4202496 3838 0 0 0 977 0 0 0 20 0 1 0 284647202 14508032 3041 33554432000 4194304 5208918 140736260772976 140736260770840 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11251/statm: 3542 3041 105 248 0 3291 0
Current children cumulated CPU time (s) 81.46
Current children cumulated vsize (KiB) 37244

[startup+82.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11251
/proc/meminfo: memFree=31213508/32873648 swapFree=7116/7116
[pid=11181] ppid=11179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11181/stat : 11181 (npSolver-wbo-I.) S 11179 11181 6342 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284640030 9367552 274 33554432000 4194304 5064252 140735740169056 140735740167968 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11181/statm: 2287 274 233 213 0 72 0
[pid=11182] ppid=11181 vsize=4780 CPUtime=71.69 cores=1,3,5,7
/proc/11182/stat : 11182 (npSolver-wbo) S 11181 11181 6342 0 -1 4202496 3196 70400 0 0 8 3 7140 18 20 0 1 0 284640030 4894720 703 33554432000 4194304 5990268 140736628503456 140736628494896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11182/statm: 1195 703 160 439 0 752 0
[pid=11250] ppid=11182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11250/stat : 11250 (satsolver.sh) S 11182 11181 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284647202 9367552 267 33554432000 4194304 5064252 140736944101024 140736944099936 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11250/statm: 2287 267 226 213 0 72 0
[pid=11251] ppid=11250 vsize=18520 CPUtime=10.57 cores=1,3,5,7
/proc/11251/stat : 11251 (glucose) R 11250 11181 6342 0 -1 4202496 4052 0 0 0 1057 0 0 0 20 0 1 0 284647202 18964480 3248 33554432000 4194304 5208918 140736260772976 140736260770840 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11251/statm: 4630 3248 105 248 0 4379 0
Current children cumulated CPU time (s) 82.26
Current children cumulated vsize (KiB) 41596

[startup+83.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11251
/proc/meminfo: memFree=31210472/32873648 swapFree=7116/7116
[pid=11181] ppid=11179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11181/stat : 11181 (npSolver-wbo-I.) S 11179 11181 6342 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284640030 9367552 274 33554432000 4194304 5064252 140735740169056 140735740167968 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11181/statm: 2287 274 233 213 0 72 0
[pid=11182] ppid=11181 vsize=4780 CPUtime=71.69 cores=1,3,5,7
/proc/11182/stat : 11182 (npSolver-wbo) S 11181 11181 6342 0 -1 4202496 3196 70400 0 0 8 3 7140 18 20 0 1 0 284640030 4894720 703 33554432000 4194304 5990268 140736628503456 140736628494896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11182/statm: 1195 703 160 439 0 752 0
[pid=11250] ppid=11182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11250/stat : 11250 (satsolver.sh) S 11182 11181 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284647202 9367552 267 33554432000 4194304 5064252 140736944101024 140736944099936 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11250/statm: 2287 267 226 213 0 72 0
[pid=11251] ppid=11250 vsize=18520 CPUtime=11.37 cores=1,3,5,7
/proc/11251/stat : 11251 (glucose) R 11250 11181 6342 0 -1 4202496 4228 0 0 0 1137 0 0 0 20 0 1 0 284647202 18964480 3422 33554432000 4194304 5208918 140736260772976 140736260770920 4229538 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11251/statm: 4630 3422 105 248 0 4379 0
Current children cumulated CPU time (s) 83.06
Current children cumulated vsize (KiB) 41596

[startup+83.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11251
/proc/meminfo: memFree=31210472/32873648 swapFree=7116/7116
[pid=11181] ppid=11179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11181/stat : 11181 (npSolver-wbo-I.) S 11179 11181 6342 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284640030 9367552 274 33554432000 4194304 5064252 140735740169056 140735740167968 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11181/statm: 2287 274 233 213 0 72 0
[pid=11182] ppid=11181 vsize=4780 CPUtime=71.69 cores=1,3,5,7
/proc/11182/stat : 11182 (npSolver-wbo) S 11181 11181 6342 0 -1 4202496 3196 70400 0 0 8 3 7140 18 20 0 1 0 284640030 4894720 703 33554432000 4194304 5990268 140736628503456 140736628494896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11182/statm: 1195 703 160 439 0 752 0
[pid=11250] ppid=11182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11250/stat : 11250 (satsolver.sh) S 11182 11181 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284647202 9367552 267 33554432000 4194304 5064252 140736944101024 140736944099936 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11250/statm: 2287 267 226 213 0 72 0
[pid=11251] ppid=11250 vsize=18520 CPUtime=11.57 cores=1,3,5,7
/proc/11251/stat : 11251 (glucose) R 11250 11181 6342 0 -1 4202496 4285 0 0 0 1157 0 0 0 20 0 1 0 284647202 18964480 3477 33554432000 4194304 5208918 140736260772976 140736260770920 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11251/statm: 4630 3477 105 248 0 4379 0
Current children cumulated CPU time (s) 83.26
Current children cumulated vsize (KiB) 41596

[startup+83.4004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11251
/proc/meminfo: memFree=31210472/32873648 swapFree=7116/7116
[pid=11181] ppid=11179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11181/stat : 11181 (npSolver-wbo-I.) S 11179 11181 6342 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284640030 9367552 274 33554432000 4194304 5064252 140735740169056 140735740167968 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11181/statm: 2287 274 233 213 0 72 0
[pid=11182] ppid=11181 vsize=4780 CPUtime=71.69 cores=1,3,5,7
/proc/11182/stat : 11182 (npSolver-wbo) S 11181 11181 6342 0 -1 4202496 3196 70400 0 0 8 3 7140 18 20 0 1 0 284640030 4894720 703 33554432000 4194304 5990268 140736628503456 140736628494896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11182/statm: 1195 703 160 439 0 752 0
[pid=11250] ppid=11182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11250/stat : 11250 (satsolver.sh) S 11182 11181 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284647202 9367552 267 33554432000 4194304 5064252 140736944101024 140736944099936 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11250/statm: 2287 267 226 213 0 72 0
[pid=11251] ppid=11250 vsize=18520 CPUtime=11.67 cores=1,3,5,7
/proc/11251/stat : 11251 (glucose) R 11250 11181 6342 0 -1 4202496 4311 0 0 0 1167 0 0 0 20 0 1 0 284647202 18964480 3502 33554432000 4194304 5208918 140736260772976 140736260770920 4213176 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11251/statm: 4630 3502 105 248 0 4379 0
Current children cumulated CPU time (s) 83.36
Current children cumulated vsize (KiB) 41596

Child status: 0
Real time (s): 83.4888
CPU time (s): 83.4783
CPU user time (s): 83.2373
CPU system time (s): 0.240963
CPU usage (%): 99.9875
Max. virtual memory (cumulated for all children) (KiB): 46792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83.2373
system time used= 0.240963
maximum resident set size= 20168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82361
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 202
involuntary context switches= 197

runsolver used 0.250961 second user time and 0.6519 second system time

The end

Launcher Data 

Begin job on node123 at 2012-05-28 08:05:46
IDJOB=3714257
IDBENCH=78812
IDSOLVER=2295
FILE ID=node123/3714257-1338185146
RUNJOBID= node123-1338160041-6359
PBS_JOBID= 14624558
Free space on /tmp= 71660 MiB

SOLVER NAME= npSolver inc
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111220767--soft-66-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-I.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3714257-1338185146/watcher-3714257-1338185146 -o /tmp/evaluation-result-3714257-1338185146/solver-3714257-1338185146 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-I.sh HOME/instance-3714257-1338185146.wbo 2011711249 HOME HOME

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

MD5SUM BENCH= 0e6c262e00c2bafdec71b4c92c644f07
RANDOM SEED=2011711249

node123.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		: 2667.217
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	: 5334.43
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		: 2667.217
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		: 2667.217
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		: 2667.217
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		: 2667.217
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		: 2667.217
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		: 2667.217
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		: 2667.217
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:       32873648 kB
MemFree:        31269488 kB
Buffers:          279752 kB
Cached:           282724 kB
SwapCached:          956 kB
Active:           487956 kB
Inactive:         291404 kB
Active(anon):     209900 kB
Inactive(anon):     8336 kB
Active(file):     278056 kB
Inactive(file):   283068 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67102956 kB
Dirty:              8440 kB
Writeback:             0 kB
AnonPages:        224100 kB
Mapped:            11616 kB
Shmem:                 0 kB
Slab:             688016 kB
SReclaimable:     131668 kB
SUnreclaim:       556348 kB
KernelStack:        1520 kB
PageTables:         4360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     343000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    178176 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= 71652 MiB
End job on node123 at 2012-05-28 08:07:09