Trace number 3714691

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 164.312 164.576

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/bwt/
normalized-bwt3cc_wcsp.wbo
MD5SUMad4e8a89b46c26281718e94b098a5280
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark153
Best CPU time to get the best result obtained on this benchmark0.110982
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables131
Total number of constraints915
Number of soft constraints870
Number of constraints which are clauses870
Number of constraints which are cardinality constraints (but not clauses)45
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 1697
Min constraint cost 1
Max constraint cost 1697
Sum of constraints costs 1425299
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 12
Number of bits of the biggest sum of numbers4
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 8492
0.00/0.03	c fallback to adder encoding
3.05/3.13	o 7738
3.05/3.13	c fallback to adder encoding
3.17/4.16	o 7587
3.17/4.16	c fallback to adder encoding
5.87/5.90	o 7547
5.87/5.90	c fallback to adder encoding
6.66/6.75	o 7500
6.66/6.75	c fallback to adder encoding
8.24/8.39	o 7499
8.24/8.39	c fallback to adder encoding
10.54/10.61	o 7051
10.54/10.61	c fallback to adder encoding
11.54/11.60	o 7031
11.54/11.60	c fallback to adder encoding
12.26/12.35	o 7029
12.26/12.35	c fallback to adder encoding
13.46/13.55	o 7025
13.46/13.55	c fallback to adder encoding
14.87/14.93	o 7024
14.87/14.93	c fallback to adder encoding
16.53/16.63	o 7003
16.53/16.63	c fallback to adder encoding
17.94/18.04	o 6997
17.94/18.04	c fallback to adder encoding
19.22/19.32	o 6993
19.22/19.32	c fallback to adder encoding
21.23/21.35	o 6992
21.23/21.35	c fallback to adder encoding
22.42/22.52	o 6983
22.42/22.52	c fallback to adder encoding
25.73/25.84	o 6978
25.73/25.84	c fallback to adder encoding
27.84/27.97	o 6968
27.84/27.97	c fallback to adder encoding
28.69/28.84	o 6966
28.69/28.84	c fallback to adder encoding
30.19/30.39	o 6965
30.19/30.39	c fallback to adder encoding
31.51/31.60	o 6948
31.51/31.60	c fallback to adder encoding
33.11/33.20	o 6941
33.11/33.20	c fallback to adder encoding
39.41/39.57	o 6178
39.41/39.57	c fallback to adder encoding
42.10/42.27	o 6119
42.10/42.27	c fallback to adder encoding
43.50/43.65	o 5901
43.50/43.65	c fallback to adder encoding
45.20/45.32	o 5620
45.20/45.32	c fallback to adder encoding
49.90/50.06	o 5601
49.90/50.06	c fallback to adder encoding
52.46/52.60	o 5592
52.46/52.60	c fallback to adder encoding
54.20/54.38	o 5547
54.20/54.38	c fallback to adder encoding
55.19/55.32	o 5512
55.19/55.32	c fallback to adder encoding
57.78/57.94	o 5504
57.78/57.94	c fallback to adder encoding
58.87/59.06	o 5487
58.87/59.06	c fallback to adder encoding
59.96/60.18	o 5467
59.96/60.18	c fallback to adder encoding
61.85/62.00	o 5466
61.85/62.00	c fallback to adder encoding
64.76/64.95	o 5461
64.76/64.95	c fallback to adder encoding
66.77/66.97	o 5446
66.77/66.97	c fallback to adder encoding
67.97/68.17	o 5394
67.97/68.17	c fallback to adder encoding
69.86/70.06	o 5388
69.86/70.06	c fallback to adder encoding
71.93/72.16	o 5381
71.93/72.16	c fallback to adder encoding
73.23/73.45	o 5380
73.23/73.45	c fallback to adder encoding
74.41/74.60	o 5374
74.41/74.60	c fallback to adder encoding
75.10/75.30	o 5367
75.10/75.30	c fallback to adder encoding
77.14/77.39	o 5361
77.14/77.39	c fallback to adder encoding
78.53/78.73	o 5298
78.53/78.73	c fallback to adder encoding
81.32/81.51	o 5278
81.32/81.51	c fallback to adder encoding
83.94/84.13	o 5276
83.94/84.13	c fallback to adder encoding
84.74/84.96	o 5251
84.74/84.96	c fallback to adder encoding
86.23/86.42	o 5245
86.23/86.42	c fallback to adder encoding
88.01/88.28	o 5244
88.01/88.28	c fallback to adder encoding
94.72/94.96	o 5219
94.72/94.96	c fallback to adder encoding
110.20/110.42	o 3843
110.20/110.42	c fallback to adder encoding
110.30/110.95	o 3842
110.30/110.95	c fallback to adder encoding
110.84/111.95	o 3820
110.84/111.95	c fallback to adder encoding
112.11/112.38	o 3758
112.11/112.38	c fallback to adder encoding
112.90/113.11	o 3753
112.90/113.11	c fallback to adder encoding
114.02/114.28	o 3739
114.02/114.28	c fallback to adder encoding
114.16/114.76	o 3733
114.16/114.76	c fallback to adder encoding
115.70/115.99	o 3732
115.70/115.99	c fallback to adder encoding
116.69/116.92	o 3723
116.69/116.92	c fallback to adder encoding
117.70/117.97	o 3719
117.70/117.97	c fallback to adder encoding
118.80/119.06	o 3717
118.80/119.06	c fallback to adder encoding
119.72/119.95	o 3716
119.72/119.95	c fallback to adder encoding
119.82/120.69	o 3685
119.82/120.69	c fallback to adder encoding
121.19/121.48	o 3620
121.19/121.48	c fallback to adder encoding
121.34/121.96	o 3592
121.34/121.96	c fallback to adder encoding
122.70/122.93	o 3590
122.70/122.93	c fallback to adder encoding
123.51/123.76	o 3554
123.51/123.76	c fallback to adder encoding
124.30/124.51	o 3548
124.30/124.51	c fallback to adder encoding
124.39/125.09	o 3547
124.39/125.09	c fallback to adder encoding
133.59/133.82	o 3540
133.59/133.82	c fallback to adder encoding
135.51/135.73	o 3537
135.51/135.73	c fallback to adder encoding
136.60/136.85	o 2294
136.60/136.85	c fallback to adder encoding
137.48/137.71	o 2278
137.48/137.71	c fallback to adder encoding
138.72/138.95	o 2246
138.72/138.95	c fallback to adder encoding
140.31/140.56	o 2240
140.31/140.56	c fallback to adder encoding
141.00/141.29	o 2238
141.00/141.29	c fallback to adder encoding
141.81/142.06	o 2048
141.81/142.06	c fallback to adder encoding
142.30/142.52	o 2040
142.30/142.52	c fallback to adder encoding
143.00/143.25	o 1999
143.00/143.25	c fallback to adder encoding
144.28/144.50	o 1993
144.28/144.50	c fallback to adder encoding
145.49/145.70	o 1977
145.49/145.70	c fallback to adder encoding
146.61/146.87	o 1972
146.61/146.87	c fallback to adder encoding
147.37/147.61	o 1961
147.37/147.61	c fallback to adder encoding
147.47/148.08	o 1947
147.47/148.08	c fallback to adder encoding
148.58/148.84	o 1899
148.58/148.84	c fallback to adder encoding
149.40/149.63	o 1892
149.40/149.63	c fallback to adder encoding
149.97/150.22	o 1886
149.97/150.22	c fallback to adder encoding
150.58/150.88	o 1885
150.58/150.88	c fallback to adder encoding
150.73/151.69	o 1877
150.73/151.69	c fallback to adder encoding
151.96/152.20	o 1874
151.96/152.20	c fallback to adder encoding
153.56/153.89	o 1857
153.56/153.89	c fallback to adder encoding
154.14/154.42	o 1850
154.14/154.42	c fallback to adder encoding
156.04/156.35	o 1821
156.04/156.35	c fallback to adder encoding
156.64/156.92	o 1820
156.64/156.92	c fallback to adder encoding
158.24/158.56	o 1818
158.24/158.56	c fallback to adder encoding
163.62/163.91	o 1812
163.62/163.91	c fallback to adder encoding
163.68/164.46	o 1033
163.68/164.46	c fallback to adder encoding
163.68/164.47	o 769
163.68/164.47	c fallback to adder encoding
163.68/164.49	o 548
163.68/164.49	c fallback to adder encoding
164.21/164.51	o 260
164.21/164.55	o 153
164.21/164.57	c display solution
164.21/164.57	s OPTIMUM FOUND
164.21/164.57	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

Verifier Data 

OK	153

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-3714691-1338233711/watcher-3714691-1338233711 -o /tmp/evaluation-result-3714691-1338233711/solver-3714691-1338233711 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714691-1338233711.wbo 2007521636 HOME HOME 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 21701
/proc/meminfo: memFree=30102100/32873844 swapFree=7388/7388
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 18338 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 289495455 9367552 275 33554432000 4194304 5064252 140735064906000 140735064904912 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0

[startup+0.0206611 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 21701
/proc/meminfo: memFree=30102100/32873844 swapFree=7388/7388
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 18338 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 289495455 9367552 275 33554432000 4194304 5064252 140735064906000 140735064904912 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100245 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 21701
/proc/meminfo: memFree=30102100/32873844 swapFree=7388/7388
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 18338 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 289495455 9367552 275 33554432000 4194304 5064252 140735064906000 140735064904912 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300281 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 21701
/proc/meminfo: memFree=30102100/32873844 swapFree=7388/7388
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 18338 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 289495455 9367552 275 33554432000 4194304 5064252 140735064906000 140735064904912 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700271 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 21701
/proc/meminfo: memFree=30102100/32873844 swapFree=7388/7388
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 18338 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 289495455 9367552 275 33554432000 4194304 5064252 140735064906000 140735064904912 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50039 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 21715
/proc/meminfo: memFree=30079560/32873844 swapFree=7388/7388
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 18338 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 289495455 9367552 275 33554432000 4194304 5064252 140735064906000 140735064904912 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=6888 CPUtime=0.09 cores=0,2,4,6
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 18338 0 -1 4202496 2311 4753 0 0 6 1 1 1 20 0 1 0 289495455 7053312 1307 33554432000 4194304 5990268 140735256399584 140735256391008 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21702/statm: 1722 1307 163 439 0 1279 0
[pid=21714] ppid=21702 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21714/stat : 21714 (satsolver.sh) S 21702 21701 18338 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289495466 9367552 267 33554432000 4194304 5064252 140735786744352 140735786743264 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21714/statm: 2287 267 226 213 0 72 0
[pid=21715] ppid=21714 vsize=16736 CPUtime=1.38 cores=0,2,4,6
/proc/21715/stat : 21715 (glucose) R 21714 21701 18338 0 -1 4202496 3833 0 0 0 137 1 0 0 20 0 1 0 289495466 17137664 3580 33554432000 4194304 5208918 140735613997648 140735613995480 4211558 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21715/statm: 4184 3580 105 248 0 3933 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 41920

[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 21715
/proc/meminfo: memFree=30078444/32873844 swapFree=7388/7388
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 18338 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 289495455 9367552 275 33554432000 4194304 5064252 140735064906000 140735064904912 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=6888 CPUtime=3.05 cores=0,2,4,6
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 18338 0 -1 4202496 2317 9494 0 0 6 1 296 2 20 0 1 0 289495455 7053312 1307 33554432000 4194304 5990268 140735256399584 140735256390496 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21702/statm: 1722 1307 163 439 0 1279 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 16036

[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 21729
/proc/meminfo: memFree=30076024/32873844 swapFree=7388/7388
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 18338 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 289495455 9367552 275 33554432000 4194304 5064252 140735064906000 140735064904912 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=10940 CPUtime=5.94 cores=0,2,4,6
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 18338 0 -1 4202496 7136 26131 0 0 24 4 555 11 20 0 1 0 289495455 11202560 2273 33554432000 4194304 5990268 140735256399584 140735256391008 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21702/statm: 2735 2273 164 439 0 2292 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 20088

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 21764
/proc/meminfo: memFree=30077404/32873844 swapFree=7388/7388
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 18338 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 289495455 9367552 275 33554432000 4194304 5064252 140735064906000 140735064904912 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=10940 CPUtime=12.4 cores=0,2,4,6
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 18338 0 -1 4202496 15176 61874 0 0 54 8 1151 27 20 0 1 0 289495455 11202560 2273 33554432000 4194304 5990268 140735256399584 140735256391008 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21702/statm: 2735 2273 164 439 0 2292 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 20088

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 21820
/proc/meminfo: memFree=30075044/32873844 swapFree=7388/7388
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 18338 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 289495455 9367552 275 33554432000 4194304 5064252 140735064906000 140735064904912 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=10940 CPUtime=22.54 cores=0,2,4,6
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 18338 0 -1 4202496 26432 112073 0 0 96 13 2094 51 20 0 1 0 289495455 11202560 2273 33554432000 4194304 5990268 140735256399584 140735256391008 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21702/statm: 2735 2273 164 439 0 2292 0
[pid=21819] ppid=21702 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21819/stat : 21819 (satsolver.sh) S 21702 21701 18338 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289497714 9367552 266 33554432000 4194304 5064252 140736591265344 140736591264256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21819/statm: 2287 266 226 213 0 72 0
[pid=21820] ppid=21819 vsize=16428 CPUtime=2.89 cores=0,2,4,6
/proc/21820/stat : 21820 (glucose) R 21819 21701 18338 0 -1 4202496 4512 0 0 0 288 1 0 0 20 0 1 0 289497714 16822272 3664 33554432000 4194304 5208918 140735113161008 140735113158856 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21820/statm: 4107 3664 104 248 0 3856 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 45664

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 21897
/proc/meminfo: memFree=30077772/32873844 swapFree=7388/7388
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 18338 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 289495455 9367552 275 33554432000 4194304 5064252 140735064906000 140735064904912 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=10940 CPUtime=50.03 cores=0,2,4,6
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 18338 0 -1 4202496 44120 190359 0 0 161 23 4732 87 20 0 1 0 289495455 11202560 2273 33554432000 4194304 5990268 140735256399584 140735256391008 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21702/statm: 2735 2273 164 439 0 2292 0
[pid=21896] ppid=21702 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21896/stat : 21896 (satsolver.sh) S 21702 21701 18338 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289500468 9367552 267 33554432000 4194304 5064252 140736785053328 140736785052240 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21896/statm: 2287 267 226 213 0 72 0
[pid=21897] ppid=21896 vsize=15768 CPUtime=0.95 cores=0,2,4,6
/proc/21897/stat : 21897 (glucose) R 21896 21701 18338 0 -1 4202496 3429 0 0 0 95 0 0 0 20 0 1 0 289500468 16146432 3226 33554432000 4194304 5208918 140737320085264 140737319034664 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21897/statm: 3942 3226 103 248 0 3691 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 45004

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 22059
/proc/meminfo: memFree=30076956/32873844 swapFree=7388/7388
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 18338 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 289495455 9367552 275 33554432000 4194304 5064252 140735064906000 140735064904912 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=10940 CPUtime=94.86 cores=0,2,4,6
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 18338 0 -1 4202496 81104 352634 0 0 297 42 8987 160 20 0 1 0 289495455 11202560 2273 33554432000 4194304 5990268 140735256399584 140735256391008 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/21702/statm: 2735 2273 164 439 0 2292 0
[pid=22058] ppid=21702 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22058/stat : 22058 (satsolver.sh) S 21702 21701 18338 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289504957 9367552 267 33554432000 4194304 5064252 140733293539056 140733293537968 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22058/statm: 2287 267 226 213 0 72 0
[pid=22059] ppid=22058 vsize=23280 CPUtime=7.27 cores=0,2,4,6
/proc/22059/stat : 22059 (glucose) R 22058 21701 18338 0 -1 4202496 3960 0 0 0 726 1 0 0 20 0 1 0 289504957 23838720 4943 33554432000 4194304 5208918 140734803188144 140734803186296 4224559 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22059/statm: 5820 4943 104 248 0 5569 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 52516

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 22374
/proc/meminfo: memFree=30072812/32873844 swapFree=7388/7388
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 18338 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 289495455 9367552 275 33554432000 4194304 5064252 140735064906000 140735064904912 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=10900 CPUtime=158.37 cores=0,2,4,6
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 18338 0 -1 4202496 153464 644218 0 0 512 76 14949 300 20 0 1 0 289495455 11161600 2273 33554432000 4194304 5990268 140735256399584 140735256391008 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/21702/statm: 2725 2273 164 439 0 2282 0
[pid=22373] ppid=21702 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22373/stat : 22373 (satsolver.sh) S 21702 21701 18338 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 289511317 9367552 267 33554432000 4194304 5064252 140736124343312 140736124342224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22373/statm: 2287 267 226 213 0 72 0
[pid=22374] ppid=22373 vsize=15448 CPUtime=3.66 cores=0,2,4,6
/proc/22374/stat : 22374 (glucose) R 22373 21701 18338 0 -1 4202496 2999 0 0 0 366 0 0 0 20 0 1 0 289511317 15818752 3178 33554432000 4194304 5208918 140737060177232 140737060175080 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22374/statm: 3862 3178 102 248 0 3611 0
Current children cumulated CPU time (s) 162.03
Current children cumulated vsize (KiB) 44644

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

[startup+163.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 22374
/proc/meminfo: memFree=30071752/32873844 swapFree=7388/7388
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 18338 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 289495455 9367552 275 33554432000 4194304 5064252 140735064906000 140735064904912 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=10900 CPUtime=158.37 cores=0,2,4,6
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 18338 0 -1 4202496 153464 644218 0 0 512 76 14949 300 20 0 1 0 289495455 11161600 2273 33554432000 4194304 5990268 140735256399584 140735256391008 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/21702/statm: 2725 2273 164 439 0 2282 0
[pid=22373] ppid=21702 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22373/stat : 22373 (satsolver.sh) S 21702 21701 18338 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 289511317 9367552 267 33554432000 4194304 5064252 140736124343312 140736124342224 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22373/statm: 2287 267 226 213 0 72 0
[pid=22374] ppid=22373 vsize=15712 CPUtime=4.46 cores=0,2,4,6
/proc/22374/stat : 22374 (glucose) R 22373 21701 18338 0 -1 4202496 3122 0 0 0 446 0 0 0 20 0 1 0 289511317 16089088 3318 33554432000 4194304 5208918 140737060177232 140737060175080 4205128 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22374/statm: 3928 3318 102 248 0 3677 0
Current children cumulated CPU time (s) 162.83
Current children cumulated vsize (KiB) 44908

[startup+163.907 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 22374
/proc/meminfo: memFree=30069396/32873844 swapFree=7388/7388
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 18338 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 289495455 9367552 275 33554432000 4194304 5064252 140735064906000 140735064904912 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=10900 CPUtime=163.62 cores=0,2,4,6
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 18338 0 -1 4202496 153510 651250 0 0 512 76 15471 303 20 0 1 0 289495455 11161600 2273 33554432000 4194304 5990268 140735256399584 140735256391584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/21702/statm: 2725 2273 164 439 0 2282 0
Current children cumulated CPU time (s) 163.62
Current children cumulated vsize (KiB) 20048

[startup+164.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 22374
/proc/meminfo: memFree=30069396/32873844 swapFree=7388/7388
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 18338 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 289495455 9367552 275 33554432000 4194304 5064252 140735064906000 140735064904912 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=10900 CPUtime=163.68 cores=0,2,4,6
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 18338 0 -1 4202496 155072 651760 0 0 517 77 15471 303 20 0 1 0 289495455 11161600 2273 33554432000 4194304 5990268 140735256399584 140735256391008 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/21702/statm: 2725 2273 164 439 0 2282 0
Current children cumulated CPU time (s) 163.68
Current children cumulated vsize (KiB) 20048

[startup+164.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 22374
/proc/meminfo: memFree=30069396/32873844 swapFree=7388/7388
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 18338 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 289495455 9367552 275 33554432000 4194304 5064252 140735064906000 140735064904912 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=2528 CPUtime=164.21 cores=0,2,4,6
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 18338 0 -1 4202496 155479 666208 0 0 517 77 15519 308 20 0 1 0 289495455 2588672 309 33554432000 4194304 5990268 140735256399584 140735256391008 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/21702/statm: 632 309 164 439 0 189 0
Current children cumulated CPU time (s) 164.21
Current children cumulated vsize (KiB) 11676

Child status: 0
Real time (s): 164.576
CPU time (s): 164.312
CPU user time (s): 160.413
CPU system time (s): 3.89941
CPU usage (%): 99.8398
Max. virtual memory (cumulated for all children) (KiB): 57068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 160.413
system time used= 3.89941
maximum resident set size= 25656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 833907
page faults= 0
swaps= 0
block input operations= 0
block output operations= 645784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3327
involuntary context switches= 1296

runsolver used 0.319951 second user time and 0.966853 second system time

The end

Launcher Data 

Begin job on node147 at 2012-05-28 21:35:11
IDJOB=3714691
IDBENCH=79472
IDSOLVER=2296
FILE ID=node147/3714691-1338233711
RUNJOBID= node147-1338228269-18354
PBS_JOBID= 14624632
Free space on /tmp= 71612 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/bwt/normalized-bwt3cc_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3714691-1338233711/watcher-3714691-1338233711 -o /tmp/evaluation-result-3714691-1338233711/solver-3714691-1338233711 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itd.sh HOME/instance-3714691-1338233711.wbo 2007521636 HOME HOME

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

MD5SUM BENCH= ad4e8a89b46c26281718e94b098a5280
RANDOM SEED=2007521636

node147.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
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	: 5333.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
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.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30102472 kB
Buffers:          395620 kB
Cached:          1308912 kB
SwapCached:         5068 kB
Active:           953636 kB
Inactive:         982252 kB
Active(anon):     225356 kB
Inactive(anon):     7584 kB
Active(file):     728280 kB
Inactive(file):   974668 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67098668 kB
Dirty:              8172 kB
Writeback:             0 kB
AnonPages:        298948 kB
Mapped:            10748 kB
Shmem:                 0 kB
Slab:             686768 kB
SReclaimable:     127968 kB
SUnreclaim:       558800 kB
KernelStack:        1520 kB
PageTables:         4764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     384284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    163840 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= 71604 MiB
End job on node147 at 2012-05-28 21:37:55