Trace number 3712696

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.01OPTIMUM 219.95 110.051

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh307_wcsp.wbo
MD5SUM944c5e420229bce90a366c23629af03a
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark540
Best CPU time to get the best result obtained on this benchmark0.087986
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints1000
Number of soft constraints900
Number of constraints which are clauses900
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 444855
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 444854
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
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.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                    2.01 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing wbo file format. File HOME/instance-3712696-1338206066.wbo.
0.00/0.00	c Instance file HOME/instance-3712696-1338206066.wbo
0.00/0.00	c File size is 47424 bytes.
0.00/0.00	c Highest Coefficient sum: 21
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:      1100                                                |
0.00/0.00	c |  Number Clauses:        1100                                                |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c |                                                                             |
0.00/0.01	c |  Problem Type:          Optimization                                        |
0.00/0.01	c |  Objective Function:    PB Constraint                                       |
0.00/0.01	c |                                                                             |
0.00/0.01	c ===============================================================================
219.95/110.04	o 14576
219.95/110.04	o 9658
219.95/110.04	o 9501
219.95/110.04	o 9488
219.95/110.04	o 9479
219.95/110.04	o 9443
219.95/110.04	o 9322
219.95/110.04	o 9147
219.95/110.04	o 9134
219.95/110.04	o 9115
219.95/110.04	o 9097
219.95/110.04	o 9039
219.95/110.04	o 9024
219.95/110.04	o 8948
219.95/110.04	o 8888
219.95/110.04	o 8810
219.95/110.04	o 8773
219.95/110.04	o 8751
219.95/110.04	o 8665
219.95/110.04	o 8494
219.95/110.04	o 8334
219.95/110.04	o 8202
219.95/110.04	o 8131
219.95/110.04	o 7873
219.95/110.04	o 7836
219.95/110.04	o 7830
219.95/110.04	o 7754
219.95/110.04	o 7750
219.95/110.04	o 7685
219.95/110.04	o 7603
219.95/110.04	o 7574
219.95/110.04	o 7545
219.95/110.04	o 7405
219.95/110.04	o 7316
219.95/110.04	o 7278
219.95/110.04	o 7157
219.95/110.04	o 7126
219.95/110.04	o 7093
219.95/110.04	o 6946
219.95/110.04	o 6869
219.95/110.04	o 6852
219.95/110.04	o 6735
219.95/110.04	o 6576
219.95/110.04	o 6416
219.95/110.04	o 6414
219.95/110.04	o 6389
219.95/110.04	o 6295
219.95/110.04	o 6291
219.95/110.04	o 6267
219.95/110.04	o 6143
219.95/110.04	o 6081
219.95/110.04	o 5976
219.95/110.04	o 5943
219.95/110.04	o 5772
219.95/110.04	o 5771
219.95/110.04	o 5766
219.95/110.04	o 5757
219.95/110.04	o 5724
219.95/110.04	o 5699
219.95/110.04	o 5663
219.95/110.04	o 5635
219.95/110.04	o 5607
219.95/110.04	o 5514
219.95/110.04	o 5490
219.95/110.04	o 5459
219.95/110.04	o 5454
219.95/110.04	o 5252
219.95/110.04	o 5236
219.95/110.04	o 5192
219.95/110.04	o 5088
219.95/110.04	o 4982
219.95/110.04	o 4853
219.95/110.04	o 4819
219.95/110.04	o 4812
219.95/110.04	o 4721
219.95/110.04	o 4709
219.95/110.04	o 4672
219.95/110.04	o 4651
219.95/110.04	o 4623
219.95/110.04	o 4571
219.95/110.04	o 4503
219.95/110.04	o 4496
219.95/110.04	o 4355
219.95/110.04	o 4310
219.95/110.04	o 4291
219.95/110.04	o 4282
219.95/110.04	o 4260
219.95/110.04	o 4217
219.95/110.04	o 4195
219.95/110.04	o 4190
219.95/110.04	o 4186
219.95/110.04	o 4174
219.95/110.04	o 4142
219.95/110.04	o 4113
219.95/110.04	o 4102
219.95/110.04	o 4075
219.95/110.04	o 3944
219.95/110.04	o 3918
219.95/110.04	o 3904
219.95/110.04	o 3893
219.95/110.04	o 3889
219.95/110.04	o 3847
219.95/110.04	o 3798
219.95/110.04	o 3781
219.95/110.04	o 3780
219.95/110.04	o 3710
219.95/110.04	o 3683
219.95/110.04	o 3622
219.95/110.04	o 3554
219.95/110.04	o 3526
219.95/110.04	o 3497
219.95/110.04	o 3489
219.95/110.04	o 3417
219.95/110.04	o 3381
219.95/110.04	o 3344
219.95/110.04	o 3329
219.95/110.04	o 3238
219.95/110.04	o 3228
219.95/110.04	o 3195
219.95/110.04	o 3180
219.95/110.04	o 3173
219.95/110.04	o 3159
219.95/110.04	o 3123
219.95/110.04	o 3009
219.95/110.04	o 3004
219.95/110.04	o 2944
219.95/110.04	o 2911
219.95/110.04	o 2899
219.95/110.04	o 2847
219.95/110.04	o 2827
219.95/110.04	o 2799
219.95/110.04	o 2741
219.95/110.04	o 2617
219.95/110.04	o 2561
219.95/110.04	o 2517
219.95/110.04	o 2450
219.95/110.04	o 2440
219.95/110.04	o 2409
219.95/110.04	o 2387
219.95/110.04	o 2379
219.95/110.04	o 2373
219.95/110.04	o 2372
219.95/110.04	o 2301
219.95/110.04	o 2297
219.95/110.04	o 2236
219.95/110.04	o 2130
219.95/110.04	o 2093
219.95/110.04	o 2041
219.95/110.04	o 2028
219.95/110.04	o 1924
219.95/110.04	o 1887
219.95/110.04	o 1877
219.95/110.04	o 1704
219.95/110.04	o 1691
219.95/110.04	o 1639
219.95/110.04	o 1609
219.95/110.04	o 1561
219.95/110.04	o 1430
219.95/110.04	o 1413
219.95/110.04	o 1400
219.95/110.04	o 1398
219.95/110.04	o 1380
219.95/110.04	o 1367
219.95/110.04	o 1362
219.95/110.04	o 1357
219.95/110.04	o 1341
219.95/110.04	o 1286
219.95/110.04	o 1246
219.95/110.04	o 1230
219.95/110.04	o 1204
219.95/110.04	o 1164
219.95/110.04	o 1151
219.95/110.04	o 1147
219.95/110.04	o 1081
219.95/110.04	o 1076
219.95/110.04	o 1063
219.95/110.04	o 1033
219.95/110.04	o 1032
219.95/110.04	o 1005
219.95/110.04	o 972
219.95/110.04	o 954
219.95/110.04	o 891
219.95/110.04	o 882
219.95/110.04	o 831
219.95/110.04	o 816
219.95/110.04	o 749
219.95/110.04	o 711
219.95/110.04	o 709
219.95/110.04	o 677
219.95/110.04	o 672
219.95/110.04	o 660
219.95/110.04	o 655
219.95/110.04	o 654
219.95/110.04	o 580
219.95/110.04	o 567
219.95/110.04	o 545
219.95/110.04	o 540
219.95/110.04	c ===============================================================================
219.95/110.04	c Wall Clock Time: 110.04 s
219.95/110.04	c Best Solution: 540
219.95/110.04	s OPTIMUM FOUND
219.95/110.04	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 x170 x171 -x172 -x173 x174 x175 -x176 -x177 x178 -x179 x180 -x181 x182 x183 -x184 -x185 x186 -x187 x188 -x189 x190 -x191 x192 -x193 x194 -x195 x196 x197 -x198 -x199 x200

Verifier Data 

OK	540

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-3712696-1338206066/watcher-3712696-1338206066 -o /tmp/evaluation-result-3712696-1338206066/solver-3712696-1338206066 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712696-1338206066.wbo 

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: 4.06 3.96 3.94 3/178 19341
/proc/meminfo: memFree=29898376/32873648 swapFree=7116/7116
[pid=19341] ppid=19339 vsize=4708 CPUtime=0 cores=0,2,4,6
/proc/19341/stat : 19341 (pwbo2.01) R 19339 19341 14514 0 -1 4202496 448 0 0 0 0 0 0 0 20 0 1 0 286732107 4820992 388 33554432000 4194304 5964478 140734745618608 140733694965720 4297174 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 1177 401 167 433 0 741 0

[startup+0.0444051 s]
/proc/loadavg: 4.06 3.96 3.94 3/178 19341
/proc/meminfo: memFree=29898376/32873648 swapFree=7116/7116
[pid=19341] ppid=19339 vsize=164600 CPUtime=0.06 cores=0,2,4,6
/proc/19341/stat : 19341 (pwbo2.01) S 19339 19341 14514 0 -1 4202496 4278 0 0 0 6 0 0 0 20 0 3 0 286732107 168550400 2341 33554432000 4194304 5964478 140734745618608 140734745618128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 41150 2341 200 433 0 40714 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 164600

[startup+0.100258 s]
/proc/loadavg: 4.06 3.96 3.94 3/178 19341
/proc/meminfo: memFree=29898376/32873648 swapFree=7116/7116
[pid=19341] ppid=19339 vsize=164600 CPUtime=0.17 cores=0,2,4,6
/proc/19341/stat : 19341 (pwbo2.01) S 19339 19341 14514 0 -1 4202496 5273 0 0 0 17 0 0 0 20 0 3 0 286732107 168550400 2763 33554432000 4194304 5964478 140734745618608 140734745618128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 41150 2763 200 433 0 40714 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 164600

[startup+0.300209 s]
/proc/loadavg: 4.06 3.96 3.94 3/178 19341
/proc/meminfo: memFree=29898376/32873648 swapFree=7116/7116
[pid=19341] ppid=19339 vsize=164600 CPUtime=0.58 cores=0,2,4,6
/proc/19341/stat : 19341 (pwbo2.01) S 19339 19341 14514 0 -1 4202496 7624 0 0 0 57 1 0 0 20 0 3 0 286732107 168550400 3439 33554432000 4194304 5964478 140734745618608 140734745618128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 41150 3439 200 433 0 40714 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 164600

[startup+0.700301 s]
/proc/loadavg: 4.06 3.96 3.94 3/178 19341
/proc/meminfo: memFree=29898376/32873648 swapFree=7116/7116
[pid=19341] ppid=19339 vsize=164600 CPUtime=1.38 cores=0,2,4,6
/proc/19341/stat : 19341 (pwbo2.01) S 19339 19341 14514 0 -1 4202496 12620 0 0 0 136 2 0 0 20 0 3 0 286732107 168550400 5365 33554432000 4194304 5964478 140734745618608 140734745618128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 41150 5365 200 433 0 40714 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 164600

[startup+1.5003 s]
/proc/loadavg: 4.06 3.96 3.94 5/181 19344
/proc/meminfo: memFree=29872768/32873648 swapFree=7116/7116
[pid=19341] ppid=19339 vsize=164600 CPUtime=2.98 cores=0,2,4,6
/proc/19341/stat : 19341 (pwbo2.01) S 19339 19341 14514 0 -1 4202496 20173 0 0 0 295 3 0 0 20 0 3 0 286732107 168550400 7216 33554432000 4194304 5964478 140734745618608 140734745618128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 41150 7216 200 433 0 40714 0
[pid=19341/tid=19343] ppid=19339 vsize=164600 CPUtime=1.47 cores=0,2,4,6
/proc/19341/task/19343/stat : 19343 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 8540 0 0 0 146 1 0 0 20 0 3 0 286732108 168550400 7216 33554432000 4194304 5964478 140734745618608 140732573350728 4375152 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19341/tid=19344] ppid=19339 vsize=164600 CPUtime=1.47 cores=0,2,4,6
/proc/19341/task/19344/stat : 19344 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 10749 0 0 0 146 1 0 0 20 0 3 0 286732108 168550400 7216 33554432000 4194304 5964478 140734745618608 140732562860696 4409269 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 164600

[startup+3.10031 s]
/proc/loadavg: 4.06 3.96 3.94 5/181 19344
/proc/meminfo: memFree=29861360/32873648 swapFree=7116/7116
[pid=19341] ppid=19339 vsize=164600 CPUtime=6.18 cores=0,2,4,6
/proc/19341/stat : 19341 (pwbo2.01) S 19339 19341 14514 0 -1 4202496 33512 0 0 0 612 6 0 0 20 0 3 0 286732107 168550400 11090 33554432000 4194304 5964478 140734745618608 140734745618128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 41150 11090 200 433 0 40714 0
[pid=19341/tid=19343] ppid=19339 vsize=164600 CPUtime=3.07 cores=0,2,4,6
/proc/19341/task/19343/stat : 19343 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 19435 0 0 0 303 4 0 0 20 0 3 0 286732108 168550400 11090 33554432000 4194304 5964478 140734745618608 140732573350232 4403395 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19341/tid=19344] ppid=19339 vsize=164600 CPUtime=3.07 cores=0,2,4,6
/proc/19341/task/19344/stat : 19344 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 13193 0 0 0 305 2 0 0 20 0 3 0 286732108 168550400 11090 33554432000 4194304 5964478 140734745618608 140732562860696 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 164600

[startup+6.30028 s]
/proc/loadavg: 4.06 3.96 3.94 5/181 19344
/proc/meminfo: memFree=29846984/32873648 swapFree=7116/7116
[pid=19341] ppid=19339 vsize=164600 CPUtime=12.57 cores=0,2,4,6
/proc/19341/stat : 19341 (pwbo2.01) S 19339 19341 14514 0 -1 4202496 51958 0 0 0 1248 9 0 0 20 0 3 0 286732107 168550400 14731 33554432000 4194304 5964478 140734745618608 140734745618128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 41150 14731 200 433 0 40714 0
[pid=19341/tid=19343] ppid=19339 vsize=164600 CPUtime=6.26 cores=0,2,4,6
/proc/19341/task/19343/stat : 19343 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 31382 0 0 0 620 6 0 0 20 0 3 0 286732108 168550400 14731 33554432000 4194304 5964478 140734745618608 140732573350728 4403515 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19341/tid=19344] ppid=19339 vsize=164600 CPUtime=6.26 cores=0,2,4,6
/proc/19341/task/19344/stat : 19344 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 19692 0 0 0 623 3 0 0 20 0 3 0 286732108 168550400 14731 33554432000 4194304 5964478 140734745618608 140732562860696 4403701 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 164600

[startup+12.7003 s]
/proc/loadavg: 4.05 3.96 3.94 5/181 19344
/proc/meminfo: memFree=29835352/32873648 swapFree=7116/7116
[pid=19341] ppid=19339 vsize=164600 CPUtime=25.37 cores=0,2,4,6
/proc/19341/stat : 19341 (pwbo2.01) S 19339 19341 14514 0 -1 4202496 59773 0 0 0 2526 11 0 0 20 0 3 0 286732107 168550400 15708 33554432000 4194304 5964478 140734745618608 140734745618128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 41150 15708 200 433 0 40714 0
[pid=19341/tid=19343] ppid=19339 vsize=164600 CPUtime=12.64 cores=0,2,4,6
/proc/19341/task/19343/stat : 19343 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 32303 0 0 0 1258 6 0 0 20 0 3 0 286732108 168550400 15708 33554432000 4194304 5964478 140734745618608 140732573350784 4399896 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19341/tid=19344] ppid=19339 vsize=164600 CPUtime=12.64 cores=0,2,4,6
/proc/19341/task/19344/stat : 19344 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 26586 0 0 0 1259 5 0 0 20 0 3 0 286732108 168550400 15708 33554432000 4194304 5964478 140734745618608 140732562860696 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 164600

[startup+25.5002 s]
/proc/loadavg: 4.04 3.96 3.94 5/181 19344
/proc/meminfo: memFree=29831376/32873648 swapFree=7116/7116
[pid=19341] ppid=19339 vsize=164600 CPUtime=50.97 cores=0,2,4,6
/proc/19341/stat : 19341 (pwbo2.01) S 19339 19341 14514 0 -1 4202496 72269 0 0 0 5084 13 0 0 20 0 3 0 286732107 168550400 17223 33554432000 4194304 5964478 140734745618608 140734745618128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 41150 17223 200 433 0 40714 0
[pid=19341/tid=19343] ppid=19339 vsize=164600 CPUtime=25.41 cores=0,2,4,6
/proc/19341/task/19343/stat : 19343 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 33221 0 0 0 2535 6 0 0 20 0 3 0 286732108 168550400 17223 33554432000 4194304 5964478 140734745618608 140732573349688 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19341/tid=19344] ppid=19339 vsize=164600 CPUtime=25.41 cores=0,2,4,6
/proc/19341/task/19344/stat : 19344 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 38164 0 0 0 2534 7 0 0 20 0 3 0 286732108 168550400 17223 33554432000 4194304 5964478 140734745618608 140732562860552 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 164600

[startup+51.1003 s]
/proc/loadavg: 4.02 3.96 3.94 5/181 19344
/proc/meminfo: memFree=29787928/32873648 swapFree=7116/7116
[pid=19341] ppid=19339 vsize=230136 CPUtime=102.16 cores=0,2,4,6
/proc/19341/stat : 19341 (pwbo2.01) S 19339 19341 14514 0 -1 4202496 100426 0 0 0 10194 22 0 0 20 0 3 0 286732107 235659264 27629 33554432000 4194304 5964478 140734745618608 140734745618128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 57534 27629 200 433 0 57098 0
[pid=19341/tid=19343] ppid=19339 vsize=230136 CPUtime=50.94 cores=0,2,4,6
/proc/19341/task/19343/stat : 19343 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 43607 0 0 0 5083 11 0 0 20 0 3 0 286732108 235659264 27629 33554432000 4194304 5964478 140734745618608 140732573349688 4399792 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19341/tid=19344] ppid=19339 vsize=230136 CPUtime=50.94 cores=0,2,4,6
/proc/19341/task/19344/stat : 19344 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 55935 0 0 0 5084 10 0 0 20 0 3 0 286732108 235659264 27629 33554432000 4194304 5964478 140734745618608 140732562860696 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 230136

[startup+102.307 s]
/proc/loadavg: 4.01 3.97 3.94 5/181 19344
/proc/meminfo: memFree=29728440/32873648 swapFree=7116/7116
[pid=19341] ppid=19339 vsize=295940 CPUtime=204.55 cores=0,2,4,6
/proc/19341/stat : 19341 (pwbo2.01) S 19339 19341 14514 0 -1 4202496 128892 0 0 0 20427 28 0 0 20 0 3 0 286732107 303042560 39514 33554432000 4194304 5964478 140734745618608 140734745618128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 73985 39514 200 433 0 73549 0
[pid=19341/tid=19343] ppid=19339 vsize=295940 CPUtime=102.02 cores=0,2,4,6
/proc/19341/task/19343/stat : 19343 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 54892 0 0 0 10185 17 0 0 20 0 3 0 286732108 303042560 39514 33554432000 4194304 5964478 140734745618608 140732573350784 4392902 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19341/tid=19344] ppid=19339 vsize=295940 CPUtime=102.01 cores=0,2,4,6
/proc/19341/task/19344/stat : 19344 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 73116 0 0 0 10188 13 0 0 20 0 3 0 286732108 303042560 39514 33554432000 4194304 5964478 140734745618608 140732562860696 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (KiB) 295940

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

[startup+105.5 s]
/proc/loadavg: 4.01 3.97 3.94 5/181 19344
/proc/meminfo: memFree=29727696/32873648 swapFree=7116/7116
[pid=19341] ppid=19339 vsize=295940 CPUtime=210.96 cores=0,2,4,6
/proc/19341/stat : 19341 (pwbo2.01) S 19339 19341 14514 0 -1 4202496 129774 0 0 0 21067 29 0 0 20 0 3 0 286732107 303042560 39935 33554432000 4194304 5964478 140734745618608 140734745618128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 73985 39935 200 433 0 73549 0
[pid=19341/tid=19343] ppid=19339 vsize=295940 CPUtime=105.21 cores=0,2,4,6
/proc/19341/task/19343/stat : 19343 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 54894 0 0 0 10504 17 0 0 20 0 3 0 286732108 303042560 39935 33554432000 4194304 5964478 140734745618608 140732573350784 4403713 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19341/tid=19344] ppid=19339 vsize=295940 CPUtime=105.21 cores=0,2,4,6
/proc/19341/task/19344/stat : 19344 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 73996 0 0 0 10508 13 0 0 20 0 3 0 286732108 303042560 39935 33554432000 4194304 5964478 140734745618608 140732562860552 4403701 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 210.96
Current children cumulated vsize (KiB) 295940

[startup+107.1 s]
/proc/loadavg: 4.01 3.97 3.94 5/181 19344
/proc/meminfo: memFree=29727696/32873648 swapFree=7116/7116
[pid=19341] ppid=19339 vsize=295940 CPUtime=214.14 cores=0,2,4,6
/proc/19341/stat : 19341 (pwbo2.01) S 19339 19341 14514 0 -1 4202496 129775 0 0 0 21385 29 0 0 20 0 3 0 286732107 303042560 39936 33554432000 4194304 5964478 140734745618608 140734745618128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 73985 39936 200 433 0 73549 0
[pid=19341/tid=19343] ppid=19339 vsize=295940 CPUtime=106.8 cores=0,2,4,6
/proc/19341/task/19343/stat : 19343 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 54894 0 0 0 10663 17 0 0 20 0 3 0 286732108 303042560 39936 33554432000 4194304 5964478 140734745618608 140732573350784 4410861 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19341/tid=19344] ppid=19339 vsize=295940 CPUtime=106.79 cores=0,2,4,6
/proc/19341/task/19344/stat : 19344 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 73997 0 0 0 10666 13 0 0 20 0 3 0 286732108 303042560 39936 33554432000 4194304 5964478 140734745618608 140732562860552 4222314 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 214.14
Current children cumulated vsize (KiB) 295940

[startup+108.7 s]
/proc/loadavg: 4.01 3.97 3.94 5/181 19344
/proc/meminfo: memFree=29727820/32873648 swapFree=7116/7116
[pid=19341] ppid=19339 vsize=295940 CPUtime=217.34 cores=0,2,4,6
/proc/19341/stat : 19341 (pwbo2.01) S 19339 19341 14514 0 -1 4202496 131823 0 0 0 21705 29 0 0 20 0 3 0 286732107 303042560 39969 33554432000 4194304 5964478 140734745618608 140734745618128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 73985 39969 200 433 0 73549 0
[pid=19341/tid=19343] ppid=19339 vsize=295940 CPUtime=108.4 cores=0,2,4,6
/proc/19341/task/19343/stat : 19343 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 54894 0 0 0 10823 17 0 0 20 0 3 0 286732108 303042560 39969 33554432000 4194304 5964478 140734745618608 140732573350784 4392691 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19341/tid=19344] ppid=19339 vsize=295940 CPUtime=108.39 cores=0,2,4,6
/proc/19341/task/19344/stat : 19344 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 76045 0 0 0 10826 13 0 0 20 0 3 0 286732108 303042560 39969 33554432000 4194304 5964478 140734745618608 140732562860696 4403682 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 217.34
Current children cumulated vsize (KiB) 295940

[startup+109.5 s]
/proc/loadavg: 4.01 3.97 3.94 5/181 19344
/proc/meminfo: memFree=29727076/32873648 swapFree=7116/7116
[pid=19341] ppid=19339 vsize=295940 CPUtime=218.94 cores=0,2,4,6
/proc/19341/stat : 19341 (pwbo2.01) S 19339 19341 14514 0 -1 4202496 132650 0 0 0 21865 29 0 0 20 0 3 0 286732107 303042560 39990 33554432000 4194304 5964478 140734745618608 140734745618128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 73985 39990 200 433 0 73549 0
[pid=19341/tid=19343] ppid=19339 vsize=295940 CPUtime=109.19 cores=0,2,4,6
/proc/19341/task/19343/stat : 19343 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 54894 0 0 0 10902 17 0 0 20 0 3 0 286732108 303042560 39990 33554432000 4194304 5964478 140734745618608 140732573350784 4403274 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19341/tid=19344] ppid=19339 vsize=295940 CPUtime=109.19 cores=0,2,4,6
/proc/19341/task/19344/stat : 19344 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 76872 0 0 0 10906 13 0 0 20 0 3 0 286732108 303042560 39990 33554432000 4194304 5964478 140734745618608 140732562860696 4403705 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 218.94
Current children cumulated vsize (KiB) 295940

[startup+109.9 s]
/proc/loadavg: 4.01 3.97 3.94 5/181 19344
/proc/meminfo: memFree=29727200/32873648 swapFree=7116/7116
[pid=19341] ppid=19339 vsize=295940 CPUtime=219.75 cores=0,2,4,6
/proc/19341/stat : 19341 (pwbo2.01) S 19339 19341 14514 0 -1 4202496 133864 0 0 0 21946 29 0 0 20 0 3 0 286732107 303042560 39990 33554432000 4194304 5964478 140734745618608 140734745618128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 73985 39990 200 433 0 73549 0
[pid=19341/tid=19343] ppid=19339 vsize=295940 CPUtime=109.6 cores=0,2,4,6
/proc/19341/task/19343/stat : 19343 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 54894 0 0 0 10943 17 0 0 20 0 3 0 286732108 303042560 39990 33554432000 4194304 5964478 140734745618608 140732573350784 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19341/tid=19344] ppid=19339 vsize=295940 CPUtime=109.59 cores=0,2,4,6
/proc/19341/task/19344/stat : 19344 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 78086 0 0 0 10946 13 0 0 20 0 3 0 286732108 303042560 39990 33554432000 4194304 5964478 140734745618608 140732562860696 4403682 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 219.75
Current children cumulated vsize (KiB) 295940

[startup+110.007 s]
/proc/loadavg: 4.01 3.97 3.94 5/181 19344
/proc/meminfo: memFree=29727200/32873648 swapFree=7116/7116
[pid=19341] ppid=19339 vsize=295940 CPUtime=219.95 cores=0,2,4,6
/proc/19341/stat : 19341 (pwbo2.01) S 19339 19341 14514 0 -1 4202496 133864 0 0 0 21966 29 0 0 20 0 3 0 286732107 303042560 39990 33554432000 4194304 5964478 140734745618608 140734745618128 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 73985 39990 200 433 0 73549 0
[pid=19341/tid=19343] ppid=19339 vsize=295940 CPUtime=109.7 cores=0,2,4,6
/proc/19341/task/19343/stat : 19343 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 54894 0 0 0 10953 17 0 0 20 0 3 0 286732108 303042560 39990 33554432000 4194304 5964478 140734745618608 140732573350784 4392902 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19341/tid=19344] ppid=19339 vsize=295940 CPUtime=109.69 cores=0,2,4,6
/proc/19341/task/19344/stat : 19344 (pwbo2.01) R 19339 19341 14514 0 -1 4202560 78086 0 0 0 10956 13 0 0 20 0 3 0 286732108 303042560 39990 33554432000 4194304 5964478 140734745618608 140732562860696 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 219.95
Current children cumulated vsize (KiB) 295940

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19341 and gives
#  childrusage.ru_utime.tv_sec=219
#  childrusage.ru_utime.tv_usec=172680
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=329949
# CPU time returned by wait4() is 219.503
# while last known CPU time is 219.95
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 110.051
CPU time (s): 219.95
CPU user time (s): 219.66
CPU system time (s): 0.29
CPU usage (%): 199.862
Max. virtual memory (cumulated for all children) (KiB): 295940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 219.173
system time used= 0.329949
maximum resident set size= 161572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133869
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= 142
involuntary context switches= 246

runsolver used 0.210967 second user time and 0.564914 second system time

The end

Launcher Data 

Begin job on node123 at 2012-05-28 13:54:26
IDJOB=3712696
IDBENCH=79394
IDSOLVER=2292
FILE ID=node123/3712696-1338206066
RUNJOBID= node123-1338195143-14530
PBS_JOBID= 14624606
Free space on /tmp= 71676 MiB

SOLVER NAME= pwbo 2.01
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh307_wcsp.wbo
COMMAND LINE= pwbo2.01 -file-format=wbo -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712696-1338206066/watcher-3712696-1338206066 -o /tmp/evaluation-result-3712696-1338206066/solver-3712696-1338206066 -C 1800 -W 1900 -M 15500  pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712696-1338206066.wbo

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

MD5SUM BENCH= 944c5e420229bce90a366c23629af03a
RANDOM SEED=481519476

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:        29898376 kB
Buffers:          313980 kB
Cached:           281268 kB
SwapCached:          956 kB
Active:          1826736 kB
Inactive:         308004 kB
Active(anon):    1533356 kB
Inactive(anon):     8336 kB
Active(file):     293380 kB
Inactive(file):   299668 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67102956 kB
Dirty:              6660 kB
Writeback:             0 kB
AnonPages:       1545592 kB
Mapped:            11080 kB
Shmem:                 0 kB
Slab:             700548 kB
SReclaimable:     144460 kB
SUnreclaim:       556088 kB
KernelStack:        1504 kB
PageTables:         6688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     168132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    393216 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= 71668 MiB
End job on node123 at 2012-05-28 13:56:17