Trace number 3695231

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 NameAnswerobjective functionCPU timeWall clock time
pb2satCp2 2012-05-19? (TO) 1800.05 1868.92

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1207_10.std.opb
MD5SUM4c84634d88d602e5c11fc94580191916
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark119
Best CPU time to get the best result obtained on this benchmark1800.66
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints234335
Number of constraints which are clauses233135
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint69
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
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 

3.87/3.95	c model valid
3.87/3.95	c current solution ok
8.57/8.69	o 300
11.56/11.60	c model valid
11.56/11.60	c current solution ok
11.57/11.88	o 299
14.49/14.77	c model valid
14.49/14.77	c current solution ok
14.65/17.23	o 298
17.45/20.08	c model valid
17.45/20.08	c current solution ok
17.55/23.57	o 297
20.44/26.41	c model valid
20.44/26.41	c current solution ok
20.82/26.85	o 296
23.45/29.41	c model valid
23.45/29.41	c current solution ok
23.46/29.51	o 295
26.44/32.43	c model valid
26.47/33.07	c current solution ok
26.51/35.35	o 294
29.51/38.34	c model valid
29.91/38.75	c current solution ok
29.91/38.75	o 293
32.42/41.25	c model valid
32.42/41.25	c current solution ok
32.48/41.36	o 292
35.42/44.25	c model valid
35.47/44.42	c current solution ok
35.51/45.46	o 291
38.40/48.34	c model valid
38.89/48.85	c current solution ok
38.89/48.85	o 290
41.61/51.51	c model valid
41.61/51.51	c current solution ok
41.63/51.61	o 289
44.70/54.66	c model valid
44.70/54.66	c current solution ok
44.84/56.12	o 288
48.05/59.30	c model valid
48.05/59.30	c current solution ok
48.34/59.68	o 287
51.23/62.50	c model valid
51.23/62.50	c current solution ok
51.23/62.59	o 286
54.44/65.74	c model valid
54.44/65.74	c current solution ok
54.51/66.98	o 285
57.69/70.17	c model valid
57.69/70.17	c current solution ok
57.82/70.83	o 284
61.03/74.02	c model valid
61.03/74.02	c current solution ok
61.05/74.13	o 283
64.29/77.35	c model valid
64.47/77.81	c current solution ok
64.47/77.81	o 282
67.38/80.58	c model valid
67.60/81.08	c current solution ok
67.60/81.08	o 281
70.55/83.97	c model valid
70.55/83.97	c current solution ok
70.62/84.06	o 280
73.75/87.15	c model valid
73.79/87.57	c current solution ok
73.88/89.00	o 279
76.88/92.07	c model valid
76.88/92.07	c current solution ok
76.99/93.95	o 278
80.11/97.00	c model valid
80.11/97.00	c current solution ok
80.11/97.53	o 277
83.29/100.60	c model valid
83.29/100.60	c current solution ok
83.30/100.70	o 276
86.39/103.78	c model valid
86.39/103.78	c current solution ok
86.60/104.30	o 275
89.59/106.94	c model valid
89.59/106.94	c current solution ok
89.63/107.03	o 274
92.67/110.08	c model valid
92.76/110.43	c current solution ok
92.80/111.54	o 273
95.81/114.60	c model valid
95.81/114.60	c current solution ok
96.05/115.02	o 272
99.02/117.75	c model valid
99.02/117.75	c current solution ok
99.08/117.85	o 271
102.11/120.89	c model valid
102.20/121.35	c current solution ok
102.21/122.49	o 270
105.32/125.56	c model valid
105.32/125.56	c current solution ok
105.51/125.96	o 269
108.51/128.70	c model valid
108.51/128.70	c current solution ok
108.51/128.79	o 268
111.62/131.85	c model valid
112.20/132.41	c current solution ok
112.20/132.41	o 267
114.81/135.00	c model valid
114.81/135.00	c current solution ok
114.88/136.02	o 266
117.88/139.02	c model valid
117.88/139.02	c current solution ok
117.91/139.15	o 265
120.99/142.16	c model valid
121.19/142.75	c current solution ok
121.19/142.75	o 264
124.11/145.48	c model valid
124.11/145.48	c current solution ok
124.19/145.57	o 263
130.20/151.51	c model valid
130.20/151.51	c current solution ok
130.21/151.60	o 262
136.19/157.52	c model valid
136.19/157.52	c current solution ok
136.20/157.61	o 261
142.09/163.49	c model valid
142.09/163.49	c current solution ok
142.32/163.90	o 260
147.91/169.59	c model valid
147.91/169.59	c current solution ok
148.17/170.47	o 259
151.10/172.72	c model valid
151.10/172.72	c current solution ok
151.13/172.82	o 258
154.20/175.87	c model valid
154.20/175.87	c current solution ok
154.79/176.40	o 257
157.39/179.00	c model valid
157.39/179.00	c current solution ok
157.39/179.09	o 256
160.50/182.16	c model valid
160.68/182.70	c current solution ok
160.68/182.70	o 255
164.69/186.36	c model valid
164.88/186.83	c current solution ok
164.88/186.83	o 254
168.84/190.78	c model valid
168.84/190.78	c current solution ok
169.00/191.80	o 253
173.12/195.97	c model valid
173.12/195.97	c current solution ok
173.20/196.97	o 252
177.40/201.13	c model valid
177.40/201.13	c current solution ok
177.56/202.27	o 251
181.60/206.21	c model valid
181.60/206.21	c current solution ok
181.61/206.30	o 250
185.76/213.49	c model valid
185.76/213.49	c current solution ok
185.85/213.59	o 249
189.96/217.69	c model valid
189.96/217.69	c current solution ok
190.19/218.17	o 248
194.38/222.36	c model valid
194.38/222.36	c current solution ok
194.58/223.31	o 247
198.81/227.48	c model valid
198.81/227.48	c current solution ok
198.97/228.52	o 246
203.18/232.71	c model valid
203.20/233.30	c current solution ok
203.27/233.62	o 245
207.37/237.74	c model valid
207.37/237.74	c current solution ok
207.46/238.75	o 244
210.06/241.35	c model valid
210.06/241.35	c current solution ok
210.12/241.45	o 243
213.86/245.19	c model valid
213.86/245.19	c current solution ok
214.36/245.69	o 242
216.55/247.89	c model valid
216.55/247.89	c current solution ok
216.64/247.98	o 241
219.35/250.61	c model valid
219.35/250.61	c current solution ok
219.75/251.04	o 240
223.16/254.49	c model valid
223.16/254.49	c current solution ok
223.25/254.58	o 239
227.33/258.77	c model valid
227.33/258.77	c current solution ok
227.39/258.87	o 238
231.63/263.02	c model valid
231.63/263.02	c current solution ok
231.69/263.95	o 237
235.81/268.03	c model valid
235.81/268.03	c current solution ok
235.91/269.52	o 236
240.01/273.65	c model valid
240.01/273.65	c current solution ok
240.10/274.95	o 235
244.30/279.10	c model valid
244.30/279.10	c current solution ok
244.34/280.97	o 234
248.54/285.11	c model valid
248.54/285.11	c current solution ok
248.55/285.63	o 233
252.81/289.81	c model valid
252.95/290.30	c current solution ok
252.95/290.30	o 232
257.03/294.03	c model valid
257.03/294.03	c current solution ok
257.13/295.03	o 231
260.32/298.23	c model valid
260.32/298.23	c current solution ok
260.42/298.33	o 230
263.11/301.04	c model valid
263.11/301.04	c current solution ok
263.18/303.48	o 229
266.00/306.21	c model valid
266.00/306.21	c current solution ok
266.06/308.44	o 228
269.16/311.51	c model valid
269.16/311.51	c current solution ok
269.29/311.97	o 227
273.95/316.31	c model valid
273.95/316.31	c current solution ok
273.96/316.82	o 226
276.71/319.57	c model valid
276.71/319.57	c current solution ok
276.79/319.68	o 225
279.41/322.29	c model valid
280.00/322.82	c current solution ok
280.00/322.82	o 224
282.42/325.22	c model valid
282.42/325.22	c current solution ok
282.44/325.34	o 223
285.33/328.14	c model valid
285.33/328.14	c current solution ok
285.48/328.53	o 222
288.71/331.51	c model valid
288.71/331.51	c current solution ok
288.72/331.60	o 221
292.01/334.87	c model valid
292.09/335.30	c current solution ok
292.14/336.54	o 220
295.23/339.65	c model valid
295.23/339.65	c current solution ok
296.52/340.97	o 219
298.33/342.79	c model valid
298.33/342.79	c current solution ok
298.42/343.26	o 218
301.55/346.34	c model valid
301.61/346.71	c current solution ok
301.65/347.96	o 217
304.74/351.07	c model valid
304.74/351.07	c current solution ok
304.92/352.18	o 216
307.88/355.48	c model valid
307.88/355.48	c current solution ok
308.07/355.91	o 215
311.15/358.97	c model valid
311.15/358.97	c current solution ok
311.22/359.07	o 214
314.45/362.22	c model valid
314.45/362.22	c current solution ok
314.53/363.93	o 213
317.94/367.38	c model valid
317.94/367.38	c current solution ok
318.07/367.93	o 212
321.09/370.97	c model valid
321.09/370.97	c current solution ok
321.15/371.07	o 211
324.27/374.14	c model valid
324.32/374.64	c current solution ok
324.40/376.11	o 210
327.50/379.24	c model valid
327.50/379.24	c current solution ok
327.65/379.61	o 209
331.40/383.19	c model valid
331.40/383.19	c current solution ok
331.61/383.91	o 208
335.34/387.48	c model valid
335.34/387.48	c current solution ok
335.42/387.57	o 207
339.23/391.32	c model valid
339.23/391.32	c current solution ok
339.25/391.74	o 206
343.00/395.46	c model valid
343.00/395.46	c current solution ok
343.20/396.14	o 205
346.91/399.30	c model valid
346.91/399.30	c current solution ok
346.91/399.39	o 204
350.70/403.11	c model valid
350.72/403.22	c current solution ok
350.73/404.00	o 203
354.52/407.73	c model valid
354.52/407.73	c current solution ok
355.10/408.33	o 202
358.31/411.52	c model valid
358.31/411.52	c current solution ok
358.42/411.62	o 201
362.12/415.33	c model valid
362.12/415.33	c current solution ok
362.15/415.42	o 200
365.96/419.52	c model valid
366.08/420.20	c current solution ok
366.08/420.20	o 199
369.75/423.32	c model valid
369.89/423.62	c current solution ok
369.89/423.62	o 198
372.85/426.42	c model valid
372.85/426.42	c current solution ok
372.88/426.51	o 197
375.94/429.53	c model valid
376.09/430.00	c current solution ok
376.09/430.00	o 196
378.95/432.60	c model valid
378.95/432.60	c current solution ok
379.05/432.71	o 195
382.54/436.19	c model valid
382.54/436.19	c current solution ok
382.68/437.75	o 194
392.99/448.08	c model valid
392.99/448.08	c current solution ok
393.07/448.20	o 193
403.07/458.12	c model valid
403.07/458.12	c current solution ok
403.10/458.22	o 192
413.27/468.36	c model valid
413.27/468.36	c current solution ok
413.33/468.45	o 191
424.17/479.27	c model valid
424.17/479.27	c current solution ok
424.25/479.36	o 190
434.67/489.78	c model valid
434.67/489.78	c current solution ok
434.87/489.91	o 189
445.06/500.11	c model valid
445.06/500.11	c current solution ok
445.08/500.20	o 188
455.55/510.68	c model valid
455.55/510.68	c current solution ok
455.63/510.77	o 187
466.24/521.37	c model valid
466.24/521.37	c current solution ok
466.33/521.46	o 186
476.75/531.88	c model valid
476.75/531.88	c current solution ok
476.83/531.97	o 185
487.44/542.56	c model valid
487.44/542.56	c current solution ok
487.50/542.66	o 184
497.53/552.65	c model valid
497.53/552.65	c current solution ok
497.58/552.74	o 183
507.63/562.77	c model valid
507.63/562.77	c current solution ok
507.70/562.86	o 182
518.12/573.25	c model valid
518.12/573.25	c current solution ok
518.23/573.35	o 181
528.31/583.42	c model valid
528.31/583.42	c current solution ok
528.34/583.51	o 180
538.30/593.47	c model valid
538.30/593.47	c current solution ok
538.37/593.56	o 179
548.09/603.25	c model valid
548.09/603.25	c current solution ok
548.14/603.35	o 178
557.89/613.07	c model valid
557.89/613.07	c current solution ok
557.97/613.16	o 177
568.01/623.24	c model valid
568.01/623.24	c current solution ok
568.05/623.33	o 176
578.00/633.27	c model valid
578.00/633.27	c current solution ok
578.07/633.37	o 175
588.69/643.95	c model valid
588.69/643.95	c current solution ok
588.75/644.05	o 174
599.07/654.38	c model valid
599.07/654.38	c current solution ok
599.16/654.47	o 173
609.17/664.47	c model valid
609.17/664.47	c current solution ok
609.25/664.57	o 172
611.85/667.12	c model valid
611.85/667.12	c current solution ok
611.88/667.22	o 171
621.15/676.40	c model valid
621.15/676.40	c current solution ok
621.16/676.50	o 170
630.15/685.48	c model valid
630.15/685.48	c current solution ok
630.25/685.57	o 169
632.84/688.10	c model valid
632.84/688.10	c current solution ok
632.84/688.21	o 168
635.63/690.90	c model valid
635.63/690.90	c current solution ok
635.70/691.73	o 167
638.62/694.65	c model valid
638.62/694.65	c current solution ok
638.68/694.77	o 166
641.71/697.70	c model valid
641.71/697.70	c current solution ok
641.76/699.04	o 165
644.76/702.00	c model valid
644.76/702.00	c current solution ok
644.90/702.52	o 164
647.77/705.15	c model valid
647.77/705.15	c current solution ok
647.83/705.26	o 163
650.87/708.27	c model valid
650.87/708.27	c current solution ok
651.37/708.80	o 162
653.96/711.32	c model valid
653.96/711.32	c current solution ok
653.98/711.41	o 161
657.06/714.45	c model valid
657.22/714.81	c current solution ok
657.22/714.81	o 160
660.16/717.56	c model valid
660.16/717.56	c current solution ok
660.22/717.66	o 159
663.27/721.15	c model valid
663.27/721.15	c current solution ok
663.32/721.24	o 158
666.37/724.25	c model valid
666.52/724.81	c current solution ok
666.52/724.81	o 157
670.67/728.51	c model valid
670.80/729.17	c current solution ok
670.80/729.17	o 156
674.94/733.25	c model valid
675.13/734.26	c current solution ok
675.13/734.26	o 155
679.35/738.44	c model valid
679.35/738.44	c current solution ok
679.40/739.39	o 154
683.59/743.52	c model valid
683.59/743.52	c current solution ok
683.70/744.50	o 153
687.81/748.62	c model valid
687.81/748.62	c current solution ok
687.94/749.80	o 152
691.71/753.40	c model valid
691.71/753.40	c current solution ok
691.71/753.67	o 151
695.51/757.90	c model valid
695.51/757.90	c current solution ok
695.61/758.07	o 150
698.33/760.72	c model valid
698.33/760.72	c current solution ok
698.38/761.67	o 149
701.59/764.84	c model valid
701.59/764.84	c current solution ok
701.75/765.35	o 148
704.87/768.31	c model valid
704.87/768.31	c current solution ok
704.89/768.41	o 147
708.18/771.66	c model valid
708.18/771.66	c current solution ok
708.33/774.21	o 146
711.03/776.92	c model valid
711.03/776.92	c current solution ok
711.15/777.41	o 145
714.23/780.19	c model valid
714.23/780.19	c current solution ok
714.31/780.28	o 144
718.92/784.86	c model valid
718.92/784.86	c current solution ok
718.99/784.96	o 143
721.81/787.70	c model valid
721.92/788.02	c current solution ok
721.92/788.02	o 142
725.01/790.92	c model valid
725.01/790.92	c current solution ok
725.04/791.68	o 141
728.90/795.86	c model valid
728.90/795.86	c current solution ok
728.96/795.95	o 140
732.79/799.71	c model valid
732.79/799.71	c current solution ok
732.83/801.48	o 139
736.44/805.07	c model valid
736.44/805.07	c current solution ok
736.94/805.57	o 138
740.15/808.74	c model valid
740.15/808.74	c current solution ok
740.19/808.84	o 137
744.05/812.65	c model valid
744.05/812.65	c current solution ok
744.11/812.81	o 136
758.08/826.71	c model valid
758.08/826.71	c current solution ok
758.09/826.80	o 135
762.19/830.89	c model valid
762.19/830.89	c current solution ok
762.37/831.29	o 134
768.69/837.39	c model valid
768.69/837.39	c current solution ok
768.87/837.93	o 133
778.48/847.17	c model valid
778.48/847.17	c current solution ok
778.57/847.28	o 132
786.37/855.08	c model valid
786.37/855.08	c current solution ok
786.45/855.17	o 131
806.96/875.62	c model valid
806.96/875.62	c current solution ok
806.98/875.71	o 130
812.66/881.36	c model valid
812.71/881.45	c current solution ok
812.71/881.45	o 129
837.45/906.19	c model valid
837.45/906.19	c current solution ok
837.54/906.29	o 128
850.94/919.68	c model valid
850.94/919.68	c current solution ok
851.03/919.77	o 127
865.64/934.38	c model valid
865.64/934.38	c current solution ok
865.72/934.48	o 126
901.63/970.36	c model valid
901.63/970.36	c current solution ok
901.73/970.46	o 125
909.42/978.18	c model valid
909.42/978.18	c current solution ok
909.50/978.29	o 124
976.69/1045.44	c model valid
976.69/1045.44	c current solution ok
976.74/1045.55	o 123
1309.85/1378.61	c model valid
1309.85/1378.61	c current solution ok
1309.86/1378.72	o 122
1800.05/1868.91	c error: unexpected solver exit code
1800.05/1868.91	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3695231-1338109348/watcher-3695231-1338109348 -o /tmp/evaluation-result-3695231-1338109348/solver-3695231-1338109348 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695231-1338109348.opb 150555108 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.47 2.18 2.06 1/178 8673
/proc/meminfo: memFree=27933892/32873844 swapFree=7100/7100
[pid=8673] ppid=8671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8673/stat : 8673 (runPb2satCp2.sh) S 8671 8673 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277061761 9367552 274 33554432000 4194304 5064252 140734772342704 140734772341616 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2287 274 233 213 0 72 0

[startup+0.039773 s]
/proc/loadavg: 2.47 2.18 2.06 1/178 8673
/proc/meminfo: memFree=27933892/32873844 swapFree=7100/7100
[pid=8673] ppid=8671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8673/stat : 8673 (runPb2satCp2.sh) S 8671 8673 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277061761 9367552 274 33554432000 4194304 5064252 140734772342704 140734772341616 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100276 s]
/proc/loadavg: 2.47 2.18 2.06 1/178 8673
/proc/meminfo: memFree=27933892/32873844 swapFree=7100/7100
[pid=8673] ppid=8671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8673/stat : 8673 (runPb2satCp2.sh) S 8671 8673 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277061761 9367552 274 33554432000 4194304 5064252 140734772342704 140734772341616 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300247 s]
/proc/loadavg: 2.47 2.18 2.06 1/178 8673
/proc/meminfo: memFree=27933892/32873844 swapFree=7100/7100
[pid=8673] ppid=8671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8673/stat : 8673 (runPb2satCp2.sh) S 8671 8673 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277061761 9367552 274 33554432000 4194304 5064252 140734772342704 140734772341616 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700275 s]
/proc/loadavg: 2.47 2.18 2.06 1/178 8673
/proc/meminfo: memFree=27933892/32873844 swapFree=7100/7100
[pid=8673] ppid=8671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8673/stat : 8673 (runPb2satCp2.sh) S 8671 8673 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277061761 9367552 274 33554432000 4194304 5064252 140734772342704 140734772341616 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50034 s]
/proc/loadavg: 2.47 2.18 2.06 3/181 8677
/proc/meminfo: memFree=27695248/32873844 swapFree=7100/7100
[pid=8673] ppid=8671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8673/stat : 8673 (runPb2satCp2.sh) S 8671 8673 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277061761 9367552 274 33554432000 4194304 5064252 140734772342704 140734772341616 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2287 274 233 213 0 72 0
[pid=8674] ppid=8673 vsize=173044 CPUtime=1.48 cores=0,2,4,6
/proc/8674/stat : 8674 (pb2sat) R 8673 8673 6267 0 -1 4202496 17075 0 0 0 144 4 0 0 20 0 1 0 277061761 177197056 40027 33554432000 4194304 5873084 140735192090896 140735192087736 5129975 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8674/statm: 43261 40027 161 410 0 42843 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 182192

[startup+3.10041 s]
/proc/loadavg: 2.43 2.18 2.06 3/183 8679
/proc/meminfo: memFree=27284104/32873844 swapFree=7100/7100
[pid=8673] ppid=8671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8673/stat : 8673 (runPb2satCp2.sh) S 8671 8673 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277061761 9367552 274 33554432000 4194304 5064252 140734772342704 140734772341616 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2287 274 233 213 0 72 0
[pid=8674] ppid=8673 vsize=120752 CPUtime=1.55 cores=0,2,4,6
/proc/8674/stat : 8674 (pb2sat) S 8673 8673 6267 0 -1 4202496 17079 0 0 0 144 11 0 0 20 0 1 0 277061761 123650048 26957 33554432000 4194304 5873084 140735192090896 140735192087320 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8674/statm: 30188 26957 164 410 0 29770 0
[pid=8678] ppid=8674 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8678/stat : 8678 (satsolver.sh) S 8674 8673 6267 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277061917 9367552 267 33554432000 4194304 5064252 140736065139648 140736065138560 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8678/statm: 2287 267 226 213 0 72 0
[pid=8679] ppid=8678 vsize=342256 CPUtime=1.52 cores=0,2,4,6
/proc/8679/stat : 8679 (glucose_static) R 8678 8673 6267 0 -1 4202496 56109 0 0 0 141 11 0 0 20 0 1 0 277061918 350470144 77591 33554432000 4194304 4896791 140733574196032 140733574193336 4224913 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8679/statm: 85564 77591 76 172 0 85390 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 481304

[startup+6.30028 s]
/proc/loadavg: 2.43 2.18 2.06 3/180 8680
/proc/meminfo: memFree=27687404/32873844 swapFree=7100/7100
[pid=8673] ppid=8671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8673/stat : 8673 (runPb2satCp2.sh) S 8671 8673 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277061761 9367552 274 33554432000 4194304 5064252 140734772342704 140734772341616 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2287 274 233 213 0 72 0
[pid=8674] ppid=8673 vsize=160744 CPUtime=6.27 cores=0,2,4,6
/proc/8674/stat : 8674 (pb2sat) R 8673 8673 6267 0 -1 4202496 20081 58101 0 0 224 204 184 15 20 0 1 0 277061761 164601856 36963 33554432000 4194304 5873084 140735192090896 140735192086328 5127520 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8674/statm: 40186 36963 172 410 0 39768 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 169892

[startup+12.7003 s]
/proc/loadavg: 2.52 2.21 2.07 3/183 8691
/proc/meminfo: memFree=27329620/32873844 swapFree=7100/7100
[pid=8673] ppid=8671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8673/stat : 8673 (runPb2satCp2.sh) S 8671 8673 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277061761 9367552 274 33554432000 4194304 5064252 140734772342704 140734772341616 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2287 274 233 213 0 72 0
[pid=8674] ppid=8673 vsize=177128 CPUtime=11.72 cores=0,2,4,6
/proc/8674/stat : 8674 (pb2sat) S 8673 8673 6267 0 -1 4202496 25933 121814 0 0 309 398 413 52 20 0 1 0 277061761 181379072 40011 33554432000 4194304 5873084 140735192090896 140735192084712 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8674/statm: 44282 40011 173 410 0 43864 0
[pid=8688] ppid=8674 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8688/stat : 8688 (satsolver.sh) S 8674 8673 6267 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277062954 9367552 267 33554432000 4194304 5064252 140733819419104 140733819418016 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8688/statm: 2287 267 226 213 0 72 0
[pid=8689] ppid=8688 vsize=336584 CPUtime=0.75 cores=0,2,4,6
/proc/8689/stat : 8689 (glucose_static) R 8688 8673 6267 0 -1 4202496 52853 0 0 0 63 12 0 0 20 0 1 0 277062954 344662016 74518 33554432000 4194304 4896791 140735840842752 140735839791640 4196928 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8689/statm: 84146 74519 58 172 0 83972 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 532008

[startup+25.5003 s]
/proc/loadavg: 2.67 2.25 2.08 3/183 8703
/proc/meminfo: memFree=27061096/32873844 swapFree=7100/7100
[pid=8673] ppid=8671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8673/stat : 8673 (runPb2satCp2.sh) S 8671 8673 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277061761 9367552 274 33554432000 4194304 5064252 140734772342704 140734772341616 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2287 274 233 213 0 72 0
[pid=8674] ppid=8673 vsize=177128 CPUtime=17.68 cores=0,2,4,6
/proc/8674/stat : 8674 (pb2sat) S 8673 8673 6267 0 -1 4202496 34681 246357 0 0 394 401 863 110 20 0 1 0 277061761 181379072 40011 33554432000 4194304 5873084 140735192090896 140735192084712 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8674/statm: 44282 40011 173 410 0 43864 0
[pid=8700] ppid=8674 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8700/stat : 8700 (satsolver.sh) S 8674 8673 6267 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 277064123 9367552 266 33554432000 4194304 5064252 140736416349296 140736416348208 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8700/statm: 2287 266 226 213 0 72 0
[pid=8701] ppid=8700 vsize=376424 CPUtime=1.86 cores=0,2,4,6
/proc/8701/stat : 8701 (glucose_static) R 8700 8673 6267 0 -1 4202496 59745 0 0 0 172 14 0 0 20 0 1 0 277064123 385458176 82846 33554432000 4194304 4896791 140735211608944 140735211606248 4224706 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8701/statm: 94106 82846 76 172 0 93932 0
Current children cumulated CPU time (s) 19.54
Current children cumulated vsize (KiB) 571848
heavy processes:

[startup+51.1004 s]
/proc/loadavg: 2.69 2.29 2.10 3/183 8739
/proc/meminfo: memFree=27084548/32873844 swapFree=7100/7100
[pid=8673] ppid=8671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8673/stat : 8673 (runPb2satCp2.sh) S 8671 8673 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277061761 9367552 274 33554432000 4194304 5064252 140734772342704 140734772341616 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2287 274 233 213 0 72 0
[pid=8674] ppid=8673 vsize=177128 CPUtime=38.6 cores=0,2,4,6
/proc/8674/stat : 8674 (pb2sat) S 8673 8673 6267 0 -1 4202496 65129 682625 0 0 687 410 2459 304 20 0 1 0 277061761 181379072 40011 33554432000 4194304 5873084 140735192090896 140735192084712 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8674/statm: 44282 40011 173 410 0 43864 0
[pid=8736] ppid=8674 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8736/stat : 8736 (satsolver.sh) S 8674 8673 6267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277066610 9367552 267 33554432000 4194304 5064252 140733379113488 140733379112400 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8736/statm: 2287 267 226 213 0 72 0
[pid=8737] ppid=8736 vsize=0 CPUtime=2.6 cores=0,2,4,6
/proc/8737/stat : 8737 (glucose_static) R 8736 8673 6267 0 -1 4202500 63473 0 0 0 242 18 0 0 20 0 1 0 277066611 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8737/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 41.2
Current children cumulated vsize (KiB) 195424

[startup+102.3 s]
/proc/loadavg: 2.81 2.37 2.13 3/183 8811
/proc/meminfo: memFree=27135220/32873844 swapFree=7100/7100
[pid=8673] ppid=8671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8673/stat : 8673 (runPb2satCp2.sh) S 8671 8673 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277061761 9367552 274 33554432000 4194304 5064252 140734772342704 140734772341616 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2287 274 233 213 0 72 0
[pid=8674] ppid=8673 vsize=177128 CPUtime=83.45 cores=0,2,4,6
/proc/8674/stat : 8674 (pb2sat) S 8673 8673 6267 0 -1 4202496 125439 1562826 0 0 1286 431 5936 692 20 0 1 0 277061761 181379072 40011 33554432000 4194304 5873084 140735192090896 140735192084712 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8674/statm: 44282 40011 173 410 0 43864 0
[pid=8810] ppid=8674 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8810/stat : 8810 (satsolver.sh) S 8674 8673 6267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277071836 9367552 266 33554432000 4194304 5064252 140733566512256 140733566511168 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8810/statm: 2287 266 226 213 0 72 0
[pid=8811] ppid=8810 vsize=347540 CPUtime=1.54 cores=0,2,4,6
/proc/8811/stat : 8811 (glucose_static) R 8810 8673 6267 0 -1 4202496 60406 0 0 0 142 12 0 0 20 0 1 0 277071836 355880960 81501 33554432000 4194304 4896791 140733472918496 140733472915704 4223862 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8811/statm: 86885 81501 76 172 0 86711 0
Current children cumulated CPU time (s) 84.99
Current children cumulated vsize (KiB) 542964

[startup+162.3 s]
/proc/loadavg: 2.75 2.44 2.18 3/183 8889
/proc/meminfo: memFree=27082420/32873844 swapFree=7100/7100
[pid=8673] ppid=8671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8673/stat : 8673 (runPb2satCp2.sh) S 8671 8673 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277061761 9367552 274 33554432000 4194304 5064252 140734772342704 140734772341616 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2287 274 233 213 0 72 0
[pid=8674] ppid=8673 vsize=177128 CPUtime=136.34 cores=0,2,4,6
/proc/8674/stat : 8674 (pb2sat) S 8673 8673 6267 0 -1 4202496 190080 2513841 0 0 1935 451 10161 1087 20 0 1 0 277061761 181379072 40011 33554432000 4194304 5873084 140735192090896 140735192084712 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8674/statm: 44282 40011 173 410 0 43864 0
[pid=8885] ppid=8674 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8885/stat : 8885 (satsolver.sh) S 8674 8673 6267 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 277077526 9367552 266 33554432000 4194304 5064252 140736658316368 140736658315280 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8885/statm: 2287 266 226 213 0 72 0
[pid=8886] ppid=8885 vsize=348016 CPUtime=4.64 cores=0,2,4,6
/proc/8886/stat : 8886 (glucose_static) R 8885 8673 6267 0 -1 4202496 59485 0 0 0 450 14 0 0 20 0 1 0 277077526 356368384 81593 33554432000 4194304 4896791 140733579556400 140733579553608 4225108 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8886/statm: 87004 81593 76 172 0 86830 0
Current children cumulated CPU time (s) 140.98
Current children cumulated vsize (KiB) 543440

[startup+222.3 s]
/proc/loadavg: 2.95 2.56 2.23 3/183 8961
/proc/meminfo: memFree=27144636/32873844 swapFree=7100/7100

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

/proc/9866/stat : 9866 (glucose_static) R 9865 8673 6267 0 -1 4202496 60748 0 0 0 4340 15 0 0 20 0 1 0 277199634 357752832 79214 33554432000 4194304 4896791 140733504171008 140733504168216 4224684 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 87342 79214 78 172 0 87168 0
Current children cumulated CPU time (s) 1353.53
Current children cumulated vsize (KiB) 544792

[startup+1482.3 s]
/proc/loadavg: 2.01 2.16 2.32 3/183 9866
/proc/meminfo: memFree=26203812/32873844 swapFree=7100/7100
[pid=8673] ppid=8671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8673/stat : 8673 (runPb2satCp2.sh) S 8671 8673 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277061761 9367552 274 33554432000 4194304 5064252 140734772342704 140734772341616 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2287 274 233 213 0 72 0
[pid=8674] ppid=8673 vsize=177128 CPUtime=1309.98 cores=0,2,4,6
/proc/8674/stat : 8674 (pb2sat) S 8673 8673 6267 0 -1 4202496 738547 11081623 0 0 7626 601 117948 4823 20 0 1 0 277061761 181379072 40011 33554432000 4194304 5873084 140735192090896 140735192084712 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 137 0 0
/proc/8674/statm: 44282 40011 173 410 0 43864 0
[pid=9865] ppid=8674 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9865/stat : 9865 (satsolver.sh) S 8674 8673 6267 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277199634 9367552 267 33554432000 4194304 5064252 140734129898224 140734129897136 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9865/statm: 2287 267 226 213 0 72 0
[pid=9866] ppid=9865 vsize=351320 CPUtime=103.54 cores=0,2,4,6
/proc/9866/stat : 9866 (glucose_static) R 9865 8673 6267 0 -1 4202496 63948 0 0 0 10338 16 0 0 20 0 1 0 277199634 359751680 80967 33554432000 4194304 4896791 140733504171008 140733504168520 4224921 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 87830 80967 78 172 0 87656 0
Current children cumulated CPU time (s) 1413.52
Current children cumulated vsize (KiB) 546744

[startup+1542.3 s]
/proc/loadavg: 2.00 2.13 2.30 3/183 9867
/proc/meminfo: memFree=26199436/32873844 swapFree=7100/7100
[pid=8673] ppid=8671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8673/stat : 8673 (runPb2satCp2.sh) S 8671 8673 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277061761 9367552 274 33554432000 4194304 5064252 140734772342704 140734772341616 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2287 274 233 213 0 72 0
[pid=8674] ppid=8673 vsize=177128 CPUtime=1309.98 cores=0,2,4,6
/proc/8674/stat : 8674 (pb2sat) S 8673 8673 6267 0 -1 4202496 738547 11081623 0 0 7626 601 117948 4823 20 0 1 0 277061761 181379072 40011 33554432000 4194304 5873084 140735192090896 140735192084712 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 137 0 0
/proc/8674/statm: 44282 40011 173 410 0 43864 0
[pid=9865] ppid=8674 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9865/stat : 9865 (satsolver.sh) S 8674 8673 6267 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277199634 9367552 267 33554432000 4194304 5064252 140734129898224 140734129897136 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9865/statm: 2287 267 226 213 0 72 0
[pid=9866] ppid=9865 vsize=352976 CPUtime=163.53 cores=0,2,4,6
/proc/9866/stat : 9866 (glucose_static) R 9865 8673 6267 0 -1 4202496 64888 0 0 0 16336 17 0 0 20 0 1 0 277199634 361447424 81666 33554432000 4194304 4896791 140733504171008 140733504168216 4224722 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 88244 81666 78 172 0 88070 0
Current children cumulated CPU time (s) 1473.51
Current children cumulated vsize (KiB) 548400

[startup+1602.3 s]
/proc/loadavg: 2.00 2.10 2.27 3/183 9867
/proc/meminfo: memFree=26192824/32873844 swapFree=7100/7100
[pid=8673] ppid=8671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8673/stat : 8673 (runPb2satCp2.sh) S 8671 8673 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277061761 9367552 274 33554432000 4194304 5064252 140734772342704 140734772341616 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2287 274 233 213 0 72 0
[pid=8674] ppid=8673 vsize=177128 CPUtime=1309.98 cores=0,2,4,6
/proc/8674/stat : 8674 (pb2sat) S 8673 8673 6267 0 -1 4202496 738547 11081623 0 0 7626 601 117948 4823 20 0 1 0 277061761 181379072 40011 33554432000 4194304 5873084 140735192090896 140735192084712 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 137 0 0
/proc/8674/statm: 44282 40011 173 410 0 43864 0
[pid=9865] ppid=8674 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9865/stat : 9865 (satsolver.sh) S 8674 8673 6267 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277199634 9367552 267 33554432000 4194304 5064252 140734129898224 140734129897136 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9865/statm: 2287 267 226 213 0 72 0
[pid=9866] ppid=9865 vsize=354548 CPUtime=223.52 cores=0,2,4,6
/proc/9866/stat : 9866 (glucose_static) R 9865 8673 6267 0 -1 4202496 65458 0 0 0 22334 18 0 0 20 0 1 0 277199634 363057152 82257 33554432000 4194304 4896791 140733504171008 140733504168216 4205160 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 88637 82257 78 172 0 88463 0
Current children cumulated CPU time (s) 1533.5
Current children cumulated vsize (KiB) 549972

[startup+1662.3 s]
/proc/loadavg: 2.00 2.08 2.25 3/184 9870
/proc/meminfo: memFree=26194564/32873844 swapFree=7100/7100
[pid=8673] ppid=8671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8673/stat : 8673 (runPb2satCp2.sh) S 8671 8673 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277061761 9367552 274 33554432000 4194304 5064252 140734772342704 140734772341616 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2287 274 233 213 0 72 0
[pid=8674] ppid=8673 vsize=177128 CPUtime=1309.98 cores=0,2,4,6
/proc/8674/stat : 8674 (pb2sat) S 8673 8673 6267 0 -1 4202496 738547 11081623 0 0 7626 601 117948 4823 20 0 1 0 277061761 181379072 40011 33554432000 4194304 5873084 140735192090896 140735192084712 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 137 0 0
/proc/8674/statm: 44282 40011 173 410 0 43864 0
[pid=9865] ppid=8674 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9865/stat : 9865 (satsolver.sh) S 8674 8673 6267 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277199634 9367552 267 33554432000 4194304 5064252 140734129898224 140734129897136 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9865/statm: 2287 267 226 213 0 72 0
[pid=9866] ppid=9865 vsize=355608 CPUtime=283.52 cores=0,2,4,6
/proc/9866/stat : 9866 (glucose_static) R 9865 8673 6267 0 -1 4202496 66455 0 0 0 28333 19 0 0 20 0 1 0 277199634 364142592 81787 33554432000 4194304 4896791 140733504171008 140733504168296 4224924 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 88902 81787 78 172 0 88728 0
Current children cumulated CPU time (s) 1593.5
Current children cumulated vsize (KiB) 551032

[startup+1722.3 s]
/proc/loadavg: 2.04 2.08 2.24 3/181 9870
/proc/meminfo: memFree=27140644/32873844 swapFree=7100/7100
[pid=8673] ppid=8671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8673/stat : 8673 (runPb2satCp2.sh) S 8671 8673 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277061761 9367552 274 33554432000 4194304 5064252 140734772342704 140734772341616 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2287 274 233 213 0 72 0
[pid=8674] ppid=8673 vsize=177128 CPUtime=1309.98 cores=0,2,4,6
/proc/8674/stat : 8674 (pb2sat) S 8673 8673 6267 0 -1 4202496 738547 11081623 0 0 7626 601 117948 4823 20 0 1 0 277061761 181379072 40011 33554432000 4194304 5873084 140735192090896 140735192084712 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 137 0 0
/proc/8674/statm: 44282 40011 173 410 0 43864 0
[pid=9865] ppid=8674 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9865/stat : 9865 (satsolver.sh) S 8674 8673 6267 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277199634 9367552 267 33554432000 4194304 5064252 140734129898224 140734129897136 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9865/statm: 2287 267 226 213 0 72 0
[pid=9866] ppid=9865 vsize=356664 CPUtime=343.51 cores=0,2,4,6
/proc/9866/stat : 9866 (glucose_static) R 9865 8673 6267 0 -1 4202496 67487 0 0 0 34330 21 0 0 20 0 1 0 277199634 365223936 81534 33554432000 4194304 4896791 140733504171008 140733504168216 4224706 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 89166 81534 78 172 0 88992 0
Current children cumulated CPU time (s) 1653.49
Current children cumulated vsize (KiB) 552088

[startup+1782.31 s]
/proc/loadavg: 2.09 2.09 2.23 3/183 9873
/proc/meminfo: memFree=25994584/32873844 swapFree=7100/7100
[pid=8673] ppid=8671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8673/stat : 8673 (runPb2satCp2.sh) S 8671 8673 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277061761 9367552 274 33554432000 4194304 5064252 140734772342704 140734772341616 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2287 274 233 213 0 72 0
[pid=8674] ppid=8673 vsize=177128 CPUtime=1309.98 cores=0,2,4,6
/proc/8674/stat : 8674 (pb2sat) S 8673 8673 6267 0 -1 4202496 738547 11081623 0 0 7626 601 117948 4823 20 0 1 0 277061761 181379072 40011 33554432000 4194304 5873084 140735192090896 140735192084712 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 137 0 0
/proc/8674/statm: 44282 40011 173 410 0 43864 0
[pid=9865] ppid=8674 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9865/stat : 9865 (satsolver.sh) S 8674 8673 6267 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277199634 9367552 267 33554432000 4194304 5064252 140734129898224 140734129897136 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9865/statm: 2287 267 226 213 0 72 0
[pid=9866] ppid=9865 vsize=357852 CPUtime=403.49 cores=0,2,4,6
/proc/9866/stat : 9866 (glucose_static) R 9865 8673 6267 0 -1 4202496 68938 0 0 0 40326 23 0 0 20 0 1 0 277199634 366440448 80824 33554432000 4194304 4896791 140733504171008 140733504168296 4205617 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 89463 80824 78 172 0 89289 0
Current children cumulated CPU time (s) 1713.47
Current children cumulated vsize (KiB) 553276

[startup+1842.3 s]
/proc/loadavg: 2.03 2.07 2.22 3/183 9874
/proc/meminfo: memFree=25989620/32873844 swapFree=7100/7100
[pid=8673] ppid=8671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8673/stat : 8673 (runPb2satCp2.sh) S 8671 8673 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277061761 9367552 274 33554432000 4194304 5064252 140734772342704 140734772341616 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2287 274 233 213 0 72 0
[pid=8674] ppid=8673 vsize=177128 CPUtime=1309.98 cores=0,2,4,6
/proc/8674/stat : 8674 (pb2sat) S 8673 8673 6267 0 -1 4202496 738547 11081623 0 0 7626 601 117948 4823 20 0 1 0 277061761 181379072 40011 33554432000 4194304 5873084 140735192090896 140735192084712 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 137 0 0
/proc/8674/statm: 44282 40011 173 410 0 43864 0
[pid=9865] ppid=8674 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9865/stat : 9865 (satsolver.sh) S 8674 8673 6267 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277199634 9367552 267 33554432000 4194304 5064252 140734129898224 140734129897136 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9865/statm: 2287 267 226 213 0 72 0
[pid=9866] ppid=9865 vsize=358684 CPUtime=463.47 cores=0,2,4,6
/proc/9866/stat : 9866 (glucose_static) R 9865 8673 6267 0 -1 4202496 69326 0 0 0 46323 24 0 0 20 0 1 0 277199634 367292416 81226 33554432000 4194304 4896791 140733504171008 140733504168216 4224684 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 89671 81226 78 172 0 89497 0
Current children cumulated CPU time (s) 1773.45
Current children cumulated vsize (KiB) 554108



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1868.9 s]
/proc/loadavg: 2.02 2.06 2.21 3/183 9874
/proc/meminfo: memFree=25980724/32873844 swapFree=7100/7100
[pid=8673] ppid=8671 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8673/stat : 8673 (runPb2satCp2.sh) S 8671 8673 6267 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277061761 9367552 274 33554432000 4194304 5064252 140734772342704 140734772341616 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8673/statm: 2287 274 233 213 0 72 0
[pid=8674] ppid=8673 vsize=177128 CPUtime=1309.98 cores=0,2,4,6
/proc/8674/stat : 8674 (pb2sat) S 8673 8673 6267 0 -1 4202496 738547 11081623 0 0 7626 601 117948 4823 20 0 1 0 277061761 181379072 40011 33554432000 4194304 5873084 140735192090896 140735192084712 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 137 0 0
/proc/8674/statm: 44282 40011 173 410 0 43864 0
[pid=9865] ppid=8674 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9865/stat : 9865 (satsolver.sh) S 8674 8673 6267 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277199634 9367552 267 33554432000 4194304 5064252 140734129898224 140734129897136 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9865/statm: 2287 267 226 213 0 72 0
[pid=9866] ppid=9865 vsize=359128 CPUtime=490.07 cores=0,2,4,6
/proc/9866/stat : 9866 (glucose_static) R 9865 8673 6267 0 -1 4202496 70703 0 0 0 48983 24 0 0 20 0 1 0 277199634 367747072 82866 33554432000 4194304 4896791 140733504171008 140733504168216 4224921 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 89782 82866 78 172 0 89608 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 554552

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8673 and gives
#  childrusage.ru_utime.tv_sec=1255
#  childrusage.ru_utime.tv_usec=751096
#  childrusage.ru_stime.tv_sec=54
#  childrusage.ru_stime.tv_usec=250752
# CPU time returned by wait4() is 1310
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1868.92
CPU time (s): 1800.05
CPU user time (s): 1745.57
CPU system time (s): 54.48
CPU usage (%): 96.3151
Max. virtual memory (cumulated for all children) (KiB): 632592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1255.75
system time used= 54.2508
maximum resident set size= 373416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11821148
page faults= 0
swaps= 0
block input operations= 8
block output operations= 23365880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3317
involuntary context switches= 3878

runsolver used 6.69998 second user time and 17.0524 second system time

The end

Launcher Data 

Begin job on node111 at 2012-05-27 11:02:28
IDJOB=3695231
IDBENCH=77119
IDSOLVER=2273
FILE ID=node111/3695231-1338109348
RUNJOBID= node111-1338087406-6283
PBS_JOBID= 14624442
Free space on /tmp= 71252 MiB

SOLVER NAME= pb2satCp2 2012-05-19
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1207_10.std.opb
COMMAND LINE= DIR/runPb2satCp2.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3695231-1338109348/watcher-3695231-1338109348 -o /tmp/evaluation-result-3695231-1338109348/solver-3695231-1338109348 -C 1800 -W 1900 -M 15500  HOME/runPb2satCp2.sh HOME/instance-3695231-1338109348.opb 150555108 HOME HOME

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

MD5SUM BENCH= 4c84634d88d602e5c11fc94580191916
RANDOM SEED=150555108

node111.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.152
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.30
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.152
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.152
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27934232 kB
Buffers:          326004 kB
Cached:          3543264 kB
SwapCached:            0 kB
Active:          1429472 kB
Inactive:        2686432 kB
Active(anon):     248816 kB
Inactive(anon):        0 kB
Active(file):    1180656 kB
Inactive(file):  2686432 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             58356 kB
Writeback:             0 kB
AnonPages:        275300 kB
Mapped:            14924 kB
Shmem:               200 kB
Slab:             682520 kB
SReclaimable:     122448 kB
SUnreclaim:       560072 kB
KernelStack:        1512 kB
PageTables:         4500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     411256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 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= 71192 MiB
End job on node111 at 2012-05-27 11:33:37