Trace number 3715145

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 inc-topDownOPTIMUM 289.279 289.626

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/spot5/
normalized-spot5-54_wcsp.wbo
MD5SUM5da0482fa5c9a9d0a00dab78a5ff7041
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark37
Best CPU time to get the best result obtained on this benchmark0.445931
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables192
Total number of constraints546
Number of soft constraints479
Number of constraints which are clauses479
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Top cost 108
Min constraint cost 1
Max constraint cost 108
Sum of constraints costs 44603
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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 run usual solver
0.00/0.03	o 9396
0.00/0.03	c fallback to adder encoding
3.95/4.01	o 9361
3.95/4.01	c fallback to adder encoding
16.96/17.09	o 9359
16.96/17.09	c fallback to adder encoding
26.03/26.10	o 9358
26.03/26.10	c fallback to adder encoding
30.35/30.41	o 9353
30.35/30.41	c fallback to adder encoding
34.44/34.50	o 9352
34.44/34.50	c fallback to adder encoding
40.24/40.39	o 9343
40.24/40.39	c fallback to adder encoding
42.74/42.90	o 9342
42.74/42.90	c fallback to adder encoding
51.94/52.09	o 9341
51.94/52.09	c fallback to adder encoding
59.02/59.11	o 9340
59.02/59.11	c fallback to adder encoding
64.11/64.35	o 9339
64.11/64.35	c fallback to adder encoding
67.81/68.09	o 9335
67.81/68.09	c fallback to adder encoding
73.52/73.76	o 9334
73.52/73.76	c fallback to adder encoding
80.22/80.49	o 9333
80.22/80.49	c fallback to adder encoding
87.00/87.22	o 9332
87.00/87.22	c fallback to adder encoding
102.98/103.29	o 9331
102.98/103.29	c fallback to adder encoding
109.29/109.58	o 9330
109.29/109.58	c fallback to adder encoding
116.09/116.30	o 9329
116.09/116.30	c fallback to adder encoding
127.40/127.63	o 9327
127.40/127.63	c fallback to adder encoding
142.28/142.54	o 9326
142.28/142.54	c fallback to adder encoding
147.56/147.85	o 9325
147.56/147.85	c fallback to adder encoding
154.36/154.63	o 9324
154.36/154.63	c fallback to adder encoding
167.96/168.28	o 9323
167.96/168.28	c fallback to adder encoding
179.15/179.47	o 9322
179.15/179.47	c fallback to adder encoding
189.96/190.28	o 9321
189.96/190.28	c fallback to adder encoding
206.04/206.35	o 9320
206.04/206.35	c fallback to adder encoding
211.94/212.24	o 7396
211.94/212.24	c fallback to adder encoding
218.54/218.90	o 7395
218.54/218.90	c fallback to adder encoding
220.23/220.57	o 7394
220.23/220.57	c fallback to adder encoding
234.24/234.59	o 7393
234.24/234.59	c fallback to adder encoding
235.62/235.90	o 6132
235.62/235.90	c fallback to adder encoding
236.53/236.88	o 6118
236.53/236.88	c fallback to adder encoding
240.53/240.88	o 6097
240.53/240.88	c fallback to adder encoding
244.11/244.41	o 6096
244.11/244.41	c fallback to adder encoding
246.33/246.65	o 6095
246.33/246.65	c fallback to adder encoding
247.81/248.17	o 6094
247.81/248.17	c fallback to adder encoding
254.71/255.01	o 6093
254.71/255.01	c fallback to adder encoding
264.31/264.62	o 2756
264.31/264.62	c fallback to adder encoding
266.71/267.07	o 2755
266.71/267.07	c fallback to adder encoding
267.61/267.92	o 2754
267.61/267.92	c fallback to adder encoding
268.31/268.64	o 2753
268.31/268.64	c fallback to adder encoding
268.40/269.06	o 2752
268.40/269.06	c fallback to adder encoding
269.71/270.08	o 2751
269.71/270.08	c fallback to adder encoding
270.21/270.52	o 2749
270.21/270.52	c fallback to adder encoding
270.28/271.45	o 2745
270.28/271.45	c fallback to adder encoding
272.40/272.79	o 2744
272.40/272.79	c fallback to adder encoding
273.19/273.50	o 2743
273.19/273.50	c fallback to adder encoding
276.60/276.96	o 2742
276.60/276.96	c fallback to adder encoding
278.09/278.48	o 2741
278.09/278.48	c fallback to adder encoding
278.23/278.88	o 1798
278.23/278.88	c fallback to adder encoding
279.50/279.83	o 1797
279.50/279.83	c fallback to adder encoding
280.10/280.41	o 1793
280.10/280.41	c fallback to adder encoding
280.16/281.08	o 1792
280.16/281.08	c fallback to adder encoding
281.21/281.57	o 1791
281.21/281.57	c fallback to adder encoding
281.60/281.99	o 1789
281.60/281.99	c fallback to adder encoding
282.12/282.52	o 1783
282.12/282.52	c fallback to adder encoding
282.52/282.99	o 1782
282.52/282.99	c fallback to adder encoding
282.65/283.63	o 1781
282.65/283.63	c fallback to adder encoding
284.33/284.75	o 1780
284.33/284.75	c fallback to adder encoding
285.91/286.35	o 1778
285.91/286.35	c fallback to adder encoding
286.92/287.36	o 1773
286.92/287.36	c fallback to adder encoding
287.02/287.96	o 1772
287.02/287.96	c fallback to adder encoding
288.13/288.50	o 389
288.49/289.16	o 54
288.49/289.19	o 52
288.83/289.21	o 51
288.83/289.23	o 50
288.83/289.25	o 49
288.83/289.28	o 48
288.83/289.30	o 47
288.94/289.32	o 46
288.94/289.35	o 45
288.94/289.37	o 44
288.94/289.39	o 43
289.02/289.41	o 42
289.02/289.43	o 41
289.02/289.45	o 40
289.02/289.48	o 39
289.12/289.53	o 38
289.12/289.58	o 37
289.22/289.62	c display solution
289.22/289.62	s OPTIMUM FOUND
289.22/289.62	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

Verifier Data 

OK	37

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-3715145-1338226566/watcher-3715145-1338226566 -o /tmp/evaluation-result-3715145-1338226566/solver-3715145-1338226566 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715145-1338226566.wbo 1330858103 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: 1.97 1.98 1.99 3/179 30379
/proc/meminfo: memFree=29773640/32873844 swapFree=7628/7628
[pid=30379] ppid=30377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (npSolver-wbo-It) S 30377 30379 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288780981 9367552 275 33554432000 4194304 5064252 140734333773808 140734333772720 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30379/statm: 2287 275 233 213 0 72 0

[startup+0.0764351 s]
/proc/loadavg: 1.97 1.98 1.99 3/179 30379
/proc/meminfo: memFree=29773640/32873844 swapFree=7628/7628
[pid=30379] ppid=30377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (npSolver-wbo-It) S 30377 30379 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288780981 9367552 275 33554432000 4194304 5064252 140734333773808 140734333772720 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30379/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10037 s]
/proc/loadavg: 1.97 1.98 1.99 3/179 30379
/proc/meminfo: memFree=29773640/32873844 swapFree=7628/7628
[pid=30379] ppid=30377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (npSolver-wbo-It) S 30377 30379 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288780981 9367552 275 33554432000 4194304 5064252 140734333773808 140734333772720 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30379/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300268 s]
/proc/loadavg: 1.97 1.98 1.99 3/179 30379
/proc/meminfo: memFree=29773640/32873844 swapFree=7628/7628
[pid=30379] ppid=30377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (npSolver-wbo-It) S 30377 30379 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288780981 9367552 275 33554432000 4194304 5064252 140734333773808 140734333772720 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30379/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700315 s]
/proc/loadavg: 1.97 1.98 1.99 3/179 30379
/proc/meminfo: memFree=29773640/32873844 swapFree=7628/7628
[pid=30379] ppid=30377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (npSolver-wbo-It) S 30377 30379 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288780981 9367552 275 33554432000 4194304 5064252 140734333773808 140734333772720 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30379/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50034 s]
/proc/loadavg: 1.97 1.98 1.99 4/183 30400
/proc/meminfo: memFree=29764668/32873844 swapFree=7628/7628
[pid=30379] ppid=30377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (npSolver-wbo-It) S 30377 30379 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288780981 9367552 275 33554432000 4194304 5064252 140734333773808 140734333772720 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30379/statm: 2287 275 233 213 0 72 0
[pid=30380] ppid=30379 vsize=4580 CPUtime=0.04 cores=1,3,5,7
/proc/30380/stat : 30380 (npSolver-wbo) S 30379 30379 12592 0 -1 4202496 1862 4714 0 0 3 0 0 1 20 0 1 0 288780981 4689920 792 33554432000 4194304 5990268 140737162160752 140737162152176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30380/statm: 1145 792 164 439 0 702 0
[pid=30392] ppid=30380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30392/stat : 30392 (satsolver.sh) S 30380 30379 12592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288780988 9367552 266 33554432000 4194304 5064252 140735273458720 140735273457632 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30392/statm: 2287 266 226 213 0 72 0
[pid=30393] ppid=30392 vsize=19700 CPUtime=1.42 cores=1,3,5,7
/proc/30393/stat : 30393 (glucose) R 30392 30379 12592 0 -1 4202496 4438 0 0 0 142 0 0 0 20 0 1 0 288780988 20172800 4053 33554432000 4194304 5208918 140734765531408 140734765529272 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30393/statm: 4925 4053 105 248 0 4674 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 42576

[startup+3.10039 s]
/proc/loadavg: 1.97 1.98 1.99 3/183 30400
/proc/meminfo: memFree=29759148/32873844 swapFree=7628/7628
[pid=30379] ppid=30377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (npSolver-wbo-It) S 30377 30379 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288780981 9367552 275 33554432000 4194304 5064252 140734333773808 140734333772720 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30379/statm: 2287 275 233 213 0 72 0
[pid=30380] ppid=30379 vsize=4580 CPUtime=0.04 cores=1,3,5,7
/proc/30380/stat : 30380 (npSolver-wbo) S 30379 30379 12592 0 -1 4202496 1862 4714 0 0 3 0 0 1 20 0 1 0 288780981 4689920 792 33554432000 4194304 5990268 140737162160752 140737162152176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30380/statm: 1145 792 164 439 0 702 0
[pid=30392] ppid=30380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30392/stat : 30392 (satsolver.sh) S 30380 30379 12592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288780988 9367552 266 33554432000 4194304 5064252 140735273458720 140735273457632 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30392/statm: 2287 266 226 213 0 72 0
[pid=30393] ppid=30392 vsize=19700 CPUtime=3.02 cores=1,3,5,7
/proc/30393/stat : 30393 (glucose) R 30392 30379 12592 0 -1 4202496 5081 0 0 0 301 1 0 0 20 0 1 0 288780988 20172800 4573 33554432000 4194304 5208918 140734765531408 140734765527784 4229546 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30393/statm: 4925 4573 105 248 0 4674 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 42576

[startup+6.30035 s]
/proc/loadavg: 1.97 1.98 1.99 4/183 30407
/proc/meminfo: memFree=29758220/32873844 swapFree=7628/7628
[pid=30379] ppid=30377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (npSolver-wbo-It) S 30377 30379 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288780981 9367552 275 33554432000 4194304 5064252 140734333773808 140734333772720 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30379/statm: 2287 275 233 213 0 72 0
[pid=30380] ppid=30379 vsize=6620 CPUtime=4.02 cores=1,3,5,7
/proc/30380/stat : 30380 (npSolver-wbo) S 30379 30379 12592 0 -1 4202496 2985 13359 0 0 6 1 392 3 20 0 1 0 288780981 6778880 1271 33554432000 4194304 5990268 140737162160752 140737162152176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30380/statm: 1655 1271 164 439 0 1212 0
[pid=30406] ppid=30380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30406/stat : 30406 (satsolver.sh) S 30380 30379 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288781386 9367552 267 33554432000 4194304 5064252 140733496771312 140733496770224 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30406/statm: 2287 267 226 213 0 72 0
[pid=30407] ppid=30406 vsize=21900 CPUtime=2.24 cores=1,3,5,7
/proc/30407/stat : 30407 (glucose) R 30406 30379 12592 0 -1 4202496 5405 0 0 0 223 1 0 0 20 0 1 0 288781386 22425600 4688 33554432000 4194304 5208918 140733675722592 140733675720456 4214496 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30407/statm: 5475 4688 105 248 0 5224 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 46816

[startup+12.7004 s]
/proc/loadavg: 1.97 1.98 1.99 3/183 30414
/proc/meminfo: memFree=29751388/32873844 swapFree=7628/7628
[pid=30379] ppid=30377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (npSolver-wbo-It) S 30377 30379 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288780981 9367552 275 33554432000 4194304 5064252 140734333773808 140734333772720 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30379/statm: 2287 275 233 213 0 72 0
[pid=30380] ppid=30379 vsize=6620 CPUtime=4.02 cores=1,3,5,7
/proc/30380/stat : 30380 (npSolver-wbo) S 30379 30379 12592 0 -1 4202496 2985 13359 0 0 6 1 392 3 20 0 1 0 288780981 6778880 1271 33554432000 4194304 5990268 140737162160752 140737162152176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30380/statm: 1655 1271 164 439 0 1212 0
[pid=30406] ppid=30380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30406/stat : 30406 (satsolver.sh) S 30380 30379 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288781386 9367552 267 33554432000 4194304 5064252 140733496771312 140733496770224 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30406/statm: 2287 267 226 213 0 72 0
[pid=30407] ppid=30406 vsize=22076 CPUtime=8.63 cores=1,3,5,7
/proc/30407/stat : 30407 (glucose) R 30406 30379 12592 0 -1 4202496 7009 0 0 0 861 2 0 0 20 0 1 0 288781386 22605824 5217 33554432000 4194304 5208918 140733675722592 140733675718968 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30407/statm: 5519 5217 105 248 0 5268 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 46992

[startup+25.5004 s]
/proc/loadavg: 1.98 1.98 1.99 3/183 30435
/proc/meminfo: memFree=29742900/32873844 swapFree=7628/7628
[pid=30379] ppid=30377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (npSolver-wbo-It) S 30377 30379 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288780981 9367552 275 33554432000 4194304 5064252 140734333773808 140734333772720 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30379/statm: 2287 275 233 213 0 72 0
[pid=30380] ppid=30379 vsize=6620 CPUtime=17.1 cores=1,3,5,7
/proc/30380/stat : 30380 (npSolver-wbo) S 30379 30379 12592 0 -1 4202496 4108 23868 0 0 9 1 1691 9 20 0 1 0 288780981 6778880 1271 33554432000 4194304 5990268 140737162160752 140737162152176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30380/statm: 1655 1271 164 439 0 1212 0
[pid=30427] ppid=30380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30427/stat : 30427 (satsolver.sh) S 30380 30379 12592 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288782694 9367552 267 33554432000 4194304 5064252 140733325583792 140733325582704 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30427/statm: 2287 267 226 213 0 72 0
[pid=30428] ppid=30427 vsize=37584 CPUtime=8.36 cores=1,3,5,7
/proc/30428/stat : 30428 (glucose) R 30427 30379 12592 0 -1 4202496 7368 0 0 0 834 2 0 0 20 0 1 0 288782694 38486016 8143 33554432000 4194304 5208918 140734930263456 140734930259832 4229757 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30428/statm: 9396 8143 105 248 0 9145 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 62500

[startup+51.1003 s]
/proc/loadavg: 1.98 1.98 1.99 3/183 30499
/proc/meminfo: memFree=29757236/32873844 swapFree=7628/7628
[pid=30379] ppid=30377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (npSolver-wbo-It) S 30377 30379 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288780981 9367552 275 33554432000 4194304 5064252 140734333773808 140734333772720 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30379/statm: 2287 275 233 213 0 72 0
[pid=30380] ppid=30379 vsize=6620 CPUtime=42.9 cores=1,3,5,7
/proc/30380/stat : 30380 (npSolver-wbo) S 30379 30379 12592 0 -1 4202496 9723 68709 0 0 26 4 4236 24 20 0 1 0 288780981 6778880 1271 33554432000 4194304 5990268 140737162160752 140737162152176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30380/statm: 1655 1271 164 439 0 1212 0
[pid=30483] ppid=30380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30483/stat : 30483 (satsolver.sh) S 30380 30379 12592 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288785275 9367552 267 33554432000 4194304 5064252 140735252534240 140735252533152 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30483/statm: 2287 267 226 213 0 72 0
[pid=30484] ppid=30483 vsize=26528 CPUtime=8.14 cores=1,3,5,7
/proc/30484/stat : 30484 (glucose) R 30483 30379 12592 0 -1 4202496 6086 0 0 0 812 2 0 0 20 0 1 0 288785275 27164672 6299 33554432000 4194304 5208918 140734505619632 140734505616008 4229493 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30484/statm: 6632 6299 105 248 0 6381 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 51444

[startup+102.307 s]
/proc/loadavg: 1.92 1.97 1.99 4/183 30625
/proc/meminfo: memFree=29739280/32873844 swapFree=7628/7628
[pid=30379] ppid=30377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (npSolver-wbo-It) S 30377 30379 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288780981 9367552 275 33554432000 4194304 5064252 140734333773808 140734333772720 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30379/statm: 2287 275 233 213 0 72 0
[pid=30380] ppid=30379 vsize=6620 CPUtime=87.06 cores=1,3,5,7
/proc/30380/stat : 30380 (npSolver-wbo) S 30379 30379 12592 0 -1 4202496 17584 130550 0 0 48 6 8603 49 20 0 1 0 288780981 6778880 1271 33554432000 4194304 5990268 140737162160752 140737162152176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/30380/statm: 1655 1271 164 439 0 1212 0
[pid=30603] ppid=30380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30603/stat : 30603 (satsolver.sh) S 30380 30379 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288789707 9367552 267 33554432000 4194304 5064252 140734202563136 140734202562048 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30603/statm: 2287 267 226 213 0 72 0
[pid=30604] ppid=30603 vsize=41880 CPUtime=15.02 cores=1,3,5,7
/proc/30604/stat : 30604 (glucose) R 30603 30379 12592 0 -1 4202496 7851 0 0 0 1502 0 0 0 20 0 1 0 288789707 42885120 10137 33554432000 4194304 5208918 140734825008592 140734825004360 4211632 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30604/statm: 10470 10137 105 248 0 10219 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 66796

[startup+162.3 s]
/proc/loadavg: 1.97 1.97 1.99 3/183 30758
/proc/meminfo: memFree=29755592/32873844 swapFree=7628/7628
[pid=30379] ppid=30377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (npSolver-wbo-It) S 30377 30379 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288780981 9367552 275 33554432000 4194304 5064252 140734333773808 140734333772720 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30379/statm: 2287 275 233 213 0 72 0
[pid=30380] ppid=30379 vsize=6620 CPUtime=154.45 cores=1,3,5,7
/proc/30380/stat : 30380 (npSolver-wbo) S 30379 30379 12592 0 -1 4202496 25445 198381 0 0 70 11 15293 71 20 0 1 0 288780981 6778880 1271 33554432000 4194304 5990268 140737162160752 140737162152176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/30380/statm: 1655 1271 164 439 0 1212 0
[pid=30750] ppid=30380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30750/stat : 30750 (satsolver.sh) S 30380 30379 12592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288796448 9367552 266 33554432000 4194304 5064252 140736321999728 140736321998640 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30750/statm: 2287 266 226 213 0 72 0
[pid=30751] ppid=30750 vsize=26424 CPUtime=7.61 cores=1,3,5,7
/proc/30751/stat : 30751 (glucose) R 30750 30379 12592 0 -1 4202496 5798 0 0 0 760 1 0 0 20 0 1 0 288796449 27058176 6272 33554432000 4194304 5208918 140734506764864 140734506762728 4211792 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30751/statm: 6606 6272 105 248 0 6355 0
Current children cumulated CPU time (s) 162.06
Current children cumulated vsize (KiB) 51340

[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/183 30884
/proc/meminfo: memFree=29767808/32873844 swapFree=7628/7628
[pid=30379] ppid=30377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (npSolver-wbo-It) S 30377 30379 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288780981 9367552 275 33554432000 4194304 5064252 140734333773808 140734333772720 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30379/statm: 2287 275 233 213 0 72 0
[pid=30380] ppid=30379 vsize=6600 CPUtime=220.36 cores=1,3,5,7
/proc/30380/stat : 30380 (npSolver-wbo) S 30379 30379 12592 0 -1 4202496 33174 262603 0 0 92 14 21834 96 20 0 1 0 288780981 6758400 1227 33554432000 4194304 5990268 140737162160752 140737162152176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/30380/statm: 1650 1227 164 439 0 1207 0
[pid=30876] ppid=30380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30876/stat : 30876 (satsolver.sh) S 30380 30379 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288803042 9367552 267 33554432000 4194304 5064252 140737195165504 140737195164416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30876/statm: 2287 267 226 213 0 72 0
[pid=30877] ppid=30876 vsize=21248 CPUtime=1.68 cores=1,3,5,7
/proc/30877/stat : 30877 (glucose) R 30876 30379 12592 0 -1 4202496 3781 0 0 0 167 1 0 0 20 0 1 0 288803042 21757952 4521 33554432000 4194304 5208918 140737449795600 140737449793464 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30877/statm: 5312 4521 105 248 0 5061 0
Current children cumulated CPU time (s) 222.04
Current children cumulated vsize (KiB) 46144

[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/184 31118
/proc/meminfo: memFree=29775848/32873844 swapFree=7628/7628
[pid=30379] ppid=30377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (npSolver-wbo-It) S 30377 30379 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288780981 9367552 275 33554432000 4194304 5064252 140734333773808 140734333772720 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30379/statm: 2287 275 233 213 0 72 0
[pid=30380] ppid=30379 vsize=6576 CPUtime=281.64 cores=1,3,5,7
/proc/30380/stat : 30380 (npSolver-wbo) S 30379 30379 12592 0 -1 4202496 60262 438577 0 0 163 25 27814 162 20 0 1 0 288780981 6733824 1144 33554432000 4194304 5990268 140737162160752 140737162152176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/30380/statm: 1644 1144 164 439 0 1201 0
Current children cumulated CPU time (s) 281.64
Current children cumulated vsize (KiB) 15724

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

[startup+284.7 s]
/proc/loadavg: 1.99 1.97 1.99 3/184 31153
/proc/meminfo: memFree=29774840/32873844 swapFree=7628/7628
[pid=30379] ppid=30377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (npSolver-wbo-It) S 30377 30379 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288780981 9367552 275 33554432000 4194304 5064252 140734333773808 140734333772720 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30379/statm: 2287 275 233 213 0 72 0
[pid=30380] ppid=30379 vsize=6576 CPUtime=283.3 cores=1,3,5,7
/proc/30380/stat : 30380 (npSolver-wbo) S 30379 30379 12592 0 -1 4202496 63250 454789 0 0 171 27 27963 169 20 0 1 0 288780981 6733824 1144 33554432000 4194304 5990268 140737162160752 140737162152176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/30380/statm: 1644 1144 164 439 0 1201 0
[pid=31152] ppid=30380 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31152/stat : 31152 (satsolver.sh) S 30380 30379 12592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288809347 9367552 266 33554432000 4194304 5064252 140734481075936 140734481074848 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31152/statm: 2287 266 226 213 0 72 0
[pid=31153] ppid=31152 vsize=11272 CPUtime=1.03 cores=1,3,5,7
/proc/31153/stat : 31153 (glucose) R 31152 30379 12592 0 -1 4202496 3099 0 0 0 103 0 0 0 20 0 1 0 288809347 11542528 2572 33554432000 4194304 5208918 140736435289264 140736435287112 4211605 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31153/statm: 2818 2572 105 248 0 2567 0
Current children cumulated CPU time (s) 284.33
Current children cumulated vsize (KiB) 36144

[startup+287.9 s]
/proc/loadavg: 1.99 1.97 1.99 3/184 31174
/proc/meminfo: memFree=29774712/32873844 swapFree=7628/7628
[pid=30379] ppid=30377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (npSolver-wbo-It) S 30377 30379 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288780981 9367552 275 33554432000 4194304 5064252 140734333773808 140734333772720 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30379/statm: 2287 275 233 213 0 72 0
[pid=30380] ppid=30379 vsize=6576 CPUtime=287.02 cores=1,3,5,7
/proc/30380/stat : 30380 (npSolver-wbo) S 30379 30379 12592 0 -1 4202496 66238 474603 0 0 178 28 28321 175 20 0 1 0 288780981 6733824 1144 33554432000 4194304 5990268 140737162160752 140737162152176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/30380/statm: 1644 1144 164 439 0 1201 0
Current children cumulated CPU time (s) 287.02
Current children cumulated vsize (KiB) 15724

[startup+288.7 s]
/proc/loadavg: 1.99 1.97 1.99 4/184 31195
/proc/meminfo: memFree=29777404/32873844 swapFree=7628/7628
[pid=30379] ppid=30377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (npSolver-wbo-It) S 30377 30379 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288780981 9367552 275 33554432000 4194304 5064252 140734333773808 140734333772720 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30379/statm: 2287 275 233 213 0 72 0
[pid=30380] ppid=30379 vsize=11180 CPUtime=288.24 cores=1,3,5,7
/proc/30380/stat : 30380 (npSolver-wbo) S 30379 30379 12592 0 -1 4202496 69738 487174 0 0 189 31 28425 179 20 0 1 0 288780981 11448320 2123 33554432000 4194304 5990268 140737162160752 140737162152176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/30380/statm: 2795 2123 165 439 0 2352 0
Current children cumulated CPU time (s) 288.24
Current children cumulated vsize (KiB) 20328

[startup+289.1 s]
/proc/loadavg: 1.99 1.97 1.99 4/184 31195
/proc/meminfo: memFree=29777404/32873844 swapFree=7628/7628
[pid=30379] ppid=30377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (npSolver-wbo-It) S 30377 30379 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288780981 9367552 275 33554432000 4194304 5064252 140734333773808 140734333772720 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30379/statm: 2287 275 233 213 0 72 0
[pid=30380] ppid=30379 vsize=11180 CPUtime=288.49 cores=1,3,5,7
/proc/30380/stat : 30380 (npSolver-wbo) S 30379 30379 12592 0 -1 4202496 69746 498970 0 0 189 31 28447 182 20 0 1 0 288780981 11448320 2123 33554432000 4194304 5990268 140737162160752 140737162151664 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/30380/statm: 2795 2123 165 439 0 2352 0
Current children cumulated CPU time (s) 288.49
Current children cumulated vsize (KiB) 20328

[startup+289.5 s]
/proc/loadavg: 1.99 1.97 1.99 3/184 31216
/proc/meminfo: memFree=29785840/32873844 swapFree=7628/7628
[pid=30379] ppid=30377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (npSolver-wbo-It) S 30377 30379 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288780981 9367552 275 33554432000 4194304 5064252 140734333773808 140734333772720 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30379/statm: 2287 275 233 213 0 72 0
[pid=30380] ppid=30379 vsize=2988 CPUtime=289.12 cores=1,3,5,7
/proc/30380/stat : 30380 (npSolver-wbo) S 30379 30379 12592 0 -1 4202496 71610 555612 0 0 191 31 28481 209 20 0 1 0 288780981 3059712 435 33554432000 4194304 5990268 140737162160752 140737162152176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/30380/statm: 747 435 165 439 0 304 0
Current children cumulated CPU time (s) 289.12
Current children cumulated vsize (KiB) 12136

[startup+289.6 s]
/proc/loadavg: 1.99 1.97 1.99 3/184 31216
/proc/meminfo: memFree=29785840/32873844 swapFree=7628/7628
[pid=30379] ppid=30377 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30379/stat : 30379 (npSolver-wbo-It) S 30377 30379 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288780981 9367552 275 33554432000 4194304 5064252 140734333773808 140734333772720 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30379/statm: 2287 275 233 213 0 72 0
[pid=30380] ppid=30379 vsize=2988 CPUtime=289.22 cores=1,3,5,7
/proc/30380/stat : 30380 (npSolver-wbo) S 30379 30379 12592 0 -1 4202496 71848 562782 0 0 191 31 28489 211 20 0 1 0 288780981 3059712 435 33554432000 4194304 5990268 140737162160752 140737162152176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/30380/statm: 747 435 165 439 0 304 0
Current children cumulated CPU time (s) 289.22
Current children cumulated vsize (KiB) 12136

Child status: 0
Real time (s): 289.626
CPU time (s): 289.279
CPU user time (s): 286.84
CPU system time (s): 2.43863
CPU usage (%): 99.8802
Max. virtual memory (cumulated for all children) (KiB): 66796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 286.84
system time used= 2.43863
maximum resident set size= 47588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 639338
page faults= 0
swaps= 0
block input operations= 0
block output operations= 243320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1990
involuntary context switches= 1170

runsolver used 0.742887 second user time and 1.65375 second system time

The end

Launcher Data 

Begin job on node145 at 2012-05-28 19:36:06
IDJOB=3715145
IDBENCH=79431
IDSOLVER=2296
FILE ID=node145/3715145-1338226566
RUNJOBID= node145-1338210676-15246
PBS_JOBID= 14624578
Free space on /tmp= 71544 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/spot5/normalized-spot5-54_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715145-1338226566/watcher-3715145-1338226566 -o /tmp/evaluation-result-3715145-1338226566/solver-3715145-1338226566 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itd.sh HOME/instance-3715145-1338226566.wbo 1330858103 HOME HOME

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

MD5SUM BENCH= 5da0482fa5c9a9d0a00dab78a5ff7041
RANDOM SEED=1330858103

node145.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.149
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.29
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.149
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.149
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	: 5313.38
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.149
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.149
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.149
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.149
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.149
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.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29774276 kB
Buffers:          356420 kB
Cached:          1872680 kB
SwapCached:            0 kB
Active:           771168 kB
Inactive:        1503696 kB
Active(anon):      37228 kB
Inactive(anon):    10912 kB
Active(file):     733940 kB
Inactive(file):  1492784 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             12464 kB
Writeback:             8 kB
AnonPages:         56972 kB
Mapped:            15152 kB
Shmem:               200 kB
Slab:             681400 kB
SReclaimable:     122108 kB
SUnreclaim:       559292 kB
KernelStack:        1496 kB
PageTables:         4080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     169340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71536 MiB
End job on node145 at 2012-05-28 19:40:56