Trace number 3715113

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 437.29 438.767

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh06_wcsp.wbo
MD5SUM6d863641d8b2b772fe5ea25b86285712
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark99
Best CPU time to get the best result obtained on this benchmark0.021996
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints950
Number of soft constraints850
Number of constraints which are clauses850
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.01	c run usual solver
0.00/0.06	o 2428
0.00/0.06	c fallback to adder encoding
1.68/1.90	o 2421
1.68/1.90	c fallback to adder encoding
4.28/4.50	o 2419
4.28/4.50	c fallback to adder encoding
6.71/7.00	o 2416
6.71/7.00	c fallback to adder encoding
9.90/10.24	o 2415
9.90/10.24	c fallback to adder encoding
14.40/14.73	o 2410
14.40/14.73	c fallback to adder encoding
17.91/18.26	o 2408
17.91/18.26	c fallback to adder encoding
23.23/23.61	o 2407
23.23/23.61	c fallback to adder encoding
28.41/28.86	o 2406
28.41/28.86	c fallback to adder encoding
31.75/32.20	o 2405
31.75/32.20	c fallback to adder encoding
35.79/36.30	o 2403
35.79/36.30	c fallback to adder encoding
38.99/39.50	o 2400
38.99/39.50	c fallback to adder encoding
43.07/43.52	o 2391
43.07/43.52	c fallback to adder encoding
46.79/47.28	o 2389
46.79/47.28	c fallback to adder encoding
49.95/50.40	o 2386
49.95/50.40	c fallback to adder encoding
50.16/50.61	o 2130
50.16/50.61	c fallback to adder encoding
52.49/52.97	o 2129
52.49/52.97	c fallback to adder encoding
54.96/55.44	o 2120
54.96/55.44	c fallback to adder encoding
59.33/59.81	o 2119
59.33/59.81	c fallback to adder encoding
61.06/61.53	o 2118
61.06/61.53	c fallback to adder encoding
63.25/63.71	o 2117
63.25/63.71	c fallback to adder encoding
65.64/66.19	o 2109
65.64/66.19	c fallback to adder encoding
69.63/70.18	o 2105
69.63/70.18	c fallback to adder encoding
72.53/73.06	o 2048
72.53/73.06	c fallback to adder encoding
74.74/75.28	o 2041
74.74/75.28	c fallback to adder encoding
76.96/77.44	o 2033
76.96/77.44	c fallback to adder encoding
79.10/79.60	o 2032
79.10/79.60	c fallback to adder encoding
81.25/81.74	o 2031
81.25/81.74	c fallback to adder encoding
82.43/82.92	o 2029
82.43/82.92	c fallback to adder encoding
84.15/84.69	o 2023
84.15/84.69	c fallback to adder encoding
86.17/86.76	o 2022
86.17/86.76	c fallback to adder encoding
88.62/89.24	o 2016
88.62/89.24	c fallback to adder encoding
90.40/91.03	o 2004
90.40/91.03	c fallback to adder encoding
92.71/93.35	o 2001
92.71/93.35	c fallback to adder encoding
94.30/94.97	o 1992
94.30/94.97	c fallback to adder encoding
96.61/97.24	o 1729
96.61/97.24	c fallback to adder encoding
99.88/100.51	o 1728
99.88/100.51	c fallback to adder encoding
101.99/102.69	o 1726
101.99/102.69	c fallback to adder encoding
105.30/105.98	o 1725
105.30/105.98	c fallback to adder encoding
107.70/108.32	o 1724
107.70/108.32	c fallback to adder encoding
109.78/110.41	o 1719
109.78/110.41	c fallback to adder encoding
111.99/112.62	o 1718
111.99/112.62	c fallback to adder encoding
114.11/114.74	o 1717
114.11/114.74	c fallback to adder encoding
116.38/117.05	o 1714
116.38/117.05	c fallback to adder encoding
118.99/119.65	o 1713
118.99/119.65	c fallback to adder encoding
121.81/122.52	o 1711
121.81/122.52	c fallback to adder encoding
125.43/126.14	o 1710
125.43/126.14	c fallback to adder encoding
126.92/127.66	o 1701
126.92/127.66	c fallback to adder encoding
131.40/132.12	o 1700
131.40/132.12	c fallback to adder encoding
133.91/134.66	o 1693
133.91/134.66	c fallback to adder encoding
137.30/138.01	o 1688
137.30/138.01	c fallback to adder encoding
140.10/140.81	o 1684
140.10/140.81	c fallback to adder encoding
143.01/143.76	o 1675
143.01/143.76	c fallback to adder encoding
144.42/145.20	o 1674
144.42/145.20	c fallback to adder encoding
147.31/148.05	o 1669
147.31/148.05	c fallback to adder encoding
151.01/151.72	o 1668
151.01/151.72	c fallback to adder encoding
154.69/155.40	o 1664
154.69/155.40	c fallback to adder encoding
156.61/157.37	o 1663
156.61/157.37	c fallback to adder encoding
159.03/159.74	o 1654
159.03/159.74	c fallback to adder encoding
161.43/162.10	o 1651
161.43/162.10	c fallback to adder encoding
164.11/164.89	o 1649
164.11/164.89	c fallback to adder encoding
167.02/167.74	o 1646
167.02/167.74	c fallback to adder encoding
169.79/170.51	o 1645
169.79/170.51	c fallback to adder encoding
171.83/172.54	o 1639
171.83/172.54	c fallback to adder encoding
174.81/175.58	o 1637
174.81/175.58	c fallback to adder encoding
176.91/177.68	o 1621
176.91/177.68	c fallback to adder encoding
179.62/180.37	o 1620
179.62/180.37	c fallback to adder encoding
180.71/181.48	o 1607
180.71/181.48	c fallback to adder encoding
182.91/183.68	o 1604
182.91/183.68	c fallback to adder encoding
185.57/186.30	o 1603
185.57/186.30	c fallback to adder encoding
188.21/188.98	o 1600
188.21/188.98	c fallback to adder encoding
190.92/191.64	o 1596
190.92/191.64	c fallback to adder encoding
192.69/193.47	o 1593
192.69/193.47	c fallback to adder encoding
195.41/196.14	o 1592
195.41/196.14	c fallback to adder encoding
196.89/197.69	o 1591
196.89/197.69	c fallback to adder encoding
198.58/199.30	o 1589
198.58/199.30	c fallback to adder encoding
201.00/201.78	o 1588
201.00/201.78	c fallback to adder encoding
203.69/204.43	o 1584
203.69/204.43	c fallback to adder encoding
205.20/205.98	o 1581
205.20/205.98	c fallback to adder encoding
207.11/207.85	o 1580
207.11/207.85	c fallback to adder encoding
208.51/209.20	o 1565
208.51/209.20	c fallback to adder encoding
210.70/211.49	o 1564
210.70/211.49	c fallback to adder encoding
212.48/213.21	o 1561
212.48/213.21	c fallback to adder encoding
215.29/216.02	o 1558
215.29/216.02	c fallback to adder encoding
218.01/218.72	o 1551
218.01/218.72	c fallback to adder encoding
219.90/220.66	o 1542
219.90/220.66	c fallback to adder encoding
221.90/222.65	o 1540
221.90/222.65	c fallback to adder encoding
225.50/226.25	o 1539
225.50/226.25	c fallback to adder encoding
227.70/228.45	o 1538
227.70/228.45	c fallback to adder encoding
231.60/232.33	o 1537
231.60/232.33	c fallback to adder encoding
232.90/233.65	o 1536
232.90/233.65	c fallback to adder encoding
234.61/235.39	o 1530
234.61/235.39	c fallback to adder encoding
236.26/237.08	o 1527
236.26/237.08	c fallback to adder encoding
239.02/239.83	o 1521
239.02/239.83	c fallback to adder encoding
241.70/242.59	o 1520
241.70/242.59	c fallback to adder encoding
244.10/244.94	o 1517
244.10/244.94	c fallback to adder encoding
246.21/247.03	o 1473
246.21/247.03	c fallback to adder encoding
248.60/249.45	o 1470
248.60/249.45	c fallback to adder encoding
251.31/252.16	o 1468
251.31/252.16	c fallback to adder encoding
253.38/254.22	o 1467
253.38/254.22	c fallback to adder encoding
255.34/256.30	o 1439
255.34/256.30	c fallback to adder encoding
257.82/258.71	o 1438
257.82/258.71	c fallback to adder encoding
260.04/260.98	o 1436
260.04/260.98	c fallback to adder encoding
263.44/264.37	o 1435
263.44/264.37	c fallback to adder encoding
266.81/267.70	o 1434
266.81/267.70	c fallback to adder encoding
269.75/270.63	o 1429
269.75/270.63	c fallback to adder encoding
271.92/272.81	o 1428
271.92/272.81	c fallback to adder encoding
274.34/275.25	o 1427
274.34/275.25	c fallback to adder encoding
276.56/277.46	o 1425
276.56/277.46	c fallback to adder encoding
278.65/279.58	o 1414
278.65/279.58	c fallback to adder encoding
282.04/282.96	o 1412
282.04/282.96	c fallback to adder encoding
283.84/284.76	o 1360
283.84/284.76	c fallback to adder encoding
286.15/287.05	o 1351
286.15/287.05	c fallback to adder encoding
288.23/289.12	o 1348
288.23/289.12	c fallback to adder encoding
290.43/291.31	o 1347
290.43/291.31	c fallback to adder encoding
293.95/294.86	o 1346
293.95/294.86	c fallback to adder encoding
297.25/298.15	o 1344
297.25/298.15	c fallback to adder encoding
299.74/300.64	o 1343
299.74/300.64	c fallback to adder encoding
302.04/302.99	o 1340
302.04/302.99	c fallback to adder encoding
304.53/305.44	o 1339
304.53/305.44	c fallback to adder encoding
307.23/308.13	o 1338
307.23/308.13	c fallback to adder encoding
310.65/311.55	o 1335
310.65/311.55	c fallback to adder encoding
313.34/314.29	o 1333
313.34/314.29	c fallback to adder encoding
315.74/316.64	o 1330
315.74/316.64	c fallback to adder encoding
318.03/318.92	o 1329
318.03/318.92	c fallback to adder encoding
321.04/321.94	o 1328
321.04/321.94	c fallback to adder encoding
323.42/324.32	o 1325
323.42/324.32	c fallback to adder encoding
327.03/327.92	o 1322
327.03/327.92	c fallback to adder encoding
331.51/332.42	o 1312
331.51/332.42	c fallback to adder encoding
333.31/334.22	o 1311
333.31/334.22	c fallback to adder encoding
335.61/336.52	o 1310
335.61/336.52	c fallback to adder encoding
336.70/337.62	o 1003
336.70/337.62	c fallback to adder encoding
338.39/339.31	o 1002
338.39/339.31	c fallback to adder encoding
339.30/340.28	o 993
339.30/340.28	c fallback to adder encoding
341.40/342.36	o 990
341.40/342.36	c fallback to adder encoding
343.18/344.10	o 987
343.18/344.10	c fallback to adder encoding
345.52/346.40	o 983
345.52/346.40	c fallback to adder encoding
346.78/347.78	o 981
346.78/347.78	c fallback to adder encoding
348.42/349.42	o 978
348.42/349.42	c fallback to adder encoding
349.94/350.95	o 977
349.94/350.95	c fallback to adder encoding
351.12/352.19	o 974
351.12/352.19	c fallback to adder encoding
352.14/353.17	o 973
352.14/353.17	c fallback to adder encoding
354.13/355.12	o 971
354.13/355.12	c fallback to adder encoding
355.63/356.63	o 968
355.63/356.63	c fallback to adder encoding
356.92/357.93	o 967
356.92/357.93	c fallback to adder encoding
358.21/359.34	o 961
358.21/359.34	c fallback to adder encoding
361.11/362.26	o 960
361.11/362.26	c fallback to adder encoding
362.81/363.99	o 911
362.81/363.99	c fallback to adder encoding
364.11/365.28	o 908
364.11/365.28	c fallback to adder encoding
365.80/366.91	o 907
365.80/366.91	c fallback to adder encoding
367.31/368.50	o 901
367.31/368.50	c fallback to adder encoding
369.63/370.76	o 898
369.63/370.76	c fallback to adder encoding
372.01/373.14	o 897
372.01/373.14	c fallback to adder encoding
373.42/374.59	o 896
373.42/374.59	c fallback to adder encoding
375.00/376.17	o 895
375.00/376.17	c fallback to adder encoding
375.06/377.19	o 893
375.06/377.19	c fallback to adder encoding
377.52/378.78	o 889
377.52/378.78	c fallback to adder encoding
378.92/380.19	o 888
378.92/380.19	c fallback to adder encoding
380.02/381.27	o 874
380.02/381.27	c fallback to adder encoding
381.72/382.93	o 871
381.72/382.93	c fallback to adder encoding
383.10/384.31	o 866
383.10/384.31	c fallback to adder encoding
385.49/386.70	o 856
385.49/386.70	c fallback to adder encoding
386.73/387.93	o 823
386.73/387.93	c fallback to adder encoding
387.41/388.69	o 815
387.41/388.69	c fallback to adder encoding
389.50/390.71	o 814
389.50/390.71	c fallback to adder encoding
390.80/392.07	o 809
390.80/392.07	c fallback to adder encoding
392.70/394.01	o 805
392.70/394.01	c fallback to adder encoding
394.41/395.77	o 802
394.41/395.77	c fallback to adder encoding
395.41/396.72	o 801
395.41/396.72	c fallback to adder encoding
396.62/397.94	o 800
396.62/397.94	c fallback to adder encoding
397.72/399.03	o 799
397.72/399.03	c fallback to adder encoding
398.61/399.98	o 792
398.61/399.98	c fallback to adder encoding
400.02/401.35	o 781
400.02/401.35	c fallback to adder encoding
401.60/402.90	o 774
401.60/402.90	c fallback to adder encoding
403.31/404.68	o 771
403.31/404.68	c fallback to adder encoding
403.45/405.79	o 769
403.45/405.79	c fallback to adder encoding
405.60/406.92	o 768
405.60/406.92	c fallback to adder encoding
407.00/408.31	o 758
407.00/408.31	c fallback to adder encoding
407.81/409.15	o 706
407.81/409.15	c fallback to adder encoding
409.51/410.83	o 704
409.51/410.83	c fallback to adder encoding
410.61/411.95	o 703
410.61/411.95	c fallback to adder encoding
411.49/412.88	o 696
411.49/412.88	c fallback to adder encoding
412.61/413.92	o 694
412.61/413.92	c fallback to adder encoding
413.32/414.68	o 693
413.32/414.68	c fallback to adder encoding
413.45/415.45	o 684
413.45/415.45	c fallback to adder encoding
414.71/416.09	o 680
414.71/416.09	c fallback to adder encoding
415.92/417.27	o 677
415.92/417.27	c fallback to adder encoding
417.51/418.88	o 676
417.51/418.88	c fallback to adder encoding
418.50/419.97	o 673
418.50/419.97	c fallback to adder encoding
419.38/420.89	o 672
419.38/420.89	c fallback to adder encoding
420.59/422.00	o 671
420.59/422.00	c fallback to adder encoding
421.70/423.16	o 664
421.70/423.16	c fallback to adder encoding
422.81/424.23	o 663
422.81/424.23	c fallback to adder encoding
423.38/424.89	o 656
423.38/424.89	c fallback to adder encoding
424.21/425.63	o 655
424.21/425.63	c fallback to adder encoding
425.18/426.61	o 654
425.18/426.61	c fallback to adder encoding
426.07/427.54	o 652
426.07/427.54	c fallback to adder encoding
427.51/428.93	o 651
427.51/428.93	c fallback to adder encoding
429.78/431.26	o 643
429.78/431.26	c fallback to adder encoding
431.17/432.63	o 642
431.17/432.63	c fallback to adder encoding
432.19/433.62	o 641
432.19/433.62	c fallback to adder encoding
433.09/434.54	o 507
433.09/434.54	c fallback to adder encoding
433.16/434.63	o 506
433.16/434.63	c fallback to adder encoding
433.78/435.27	o 505
433.78/435.27	c fallback to adder encoding
434.11/435.63	o 480
434.11/435.63	c fallback to adder encoding
434.15/435.99	o 471
434.15/435.99	c fallback to adder encoding
434.51/436.23	o 470
434.51/436.23	c fallback to adder encoding
435.10/436.66	o 383
435.10/436.66	c fallback to adder encoding
435.18/436.82	o 382
435.18/436.82	c fallback to adder encoding
435.34/437.02	o 380
435.34/437.02	c fallback to adder encoding
435.54/437.22	o 375
435.54/437.22	c fallback to adder encoding
435.74/437.43	o 367
435.74/437.43	c fallback to adder encoding
435.95/437.64	o 360
435.95/437.64	c fallback to adder encoding
436.30/437.84	o 359
436.30/437.84	c fallback to adder encoding
436.36/437.99	o 355
436.36/437.99	c fallback to adder encoding
436.51/438.13	o 339
436.51/438.13	c fallback to adder encoding
436.66/438.36	o 324
437.05/438.73	o 99
437.05/438.76	c display solution
437.05/438.76	s OPTIMUM FOUND
437.05/438.76	v -x1 x2 x3 -x4 x5 -x6 -x7 x8 x9 -x10 -x11 x12 x13 -x14 x15 -x16 x17 -x18 -x19 x20 x21 -x22 x23 -x24 -x25 x26 x27 -x28 -x29 x30 -x31 x32 x33 -x34 -x35 x36 x37 -x38 x39 -x40 -x41 x42 x43 -x44 -x45 x46 x47 -x48 -x49 x50 -x51 x52 -x53 x54 x55 -x56 x57 -x58 x59 -x60 -x61 x62 x63 -x64 -x65 x66 x67 -x68 -x69 x70 x71 -x72 -x73 x74 -x75 x76 -x77 x78 x79 -x80 -x81 x82 x83 -x84 -x85 x86 -x87 x88 x89 -x90 x91 -x92 x93 -x94 x95 -x96 -x97 x98 -x99 x100 -x101 x102 -x103 x104 -x105 x106 x107 -x108 x109 -x110 x111 -x112 x113 -x114 x115 -x116 -x117 x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 -x129 x130 -x131 x132 -x133 x134 x135 -x136 x137 -x138 -x139 x140 -x141 x142 x143 -x144 x145 -x146 -x147 x148 x149 -x150 -x151 x152 x153 -x154 -x155 x156 x157 -x158 -x159 x160 x161 -x162 x163 -x164 x165 -x166 -x167 x168 -x169 x170 -x171 x172 -x173 x174 -x175 x176 -x177 x178 -x179 x180 x181 -x182 -x183 x184 -x185 x186 x187 -x188 -x189 x190 -x191 x192 -x193 x194 -x195 x196 -x197 x198 -x199 x200

Verifier Data 

OK	99

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.95 1.99 1.99 3/179 27017
/proc/meminfo: memFree=31279908/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0

[startup+0.063029 s]
/proc/loadavg: 1.95 1.99 1.99 3/179 27017
/proc/meminfo: memFree=31279908/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100288 s]
/proc/loadavg: 1.95 1.99 1.99 3/179 27017
/proc/meminfo: memFree=31279908/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300291 s]
/proc/loadavg: 1.95 1.99 1.99 3/179 27017
/proc/meminfo: memFree=31279908/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.70024 s]
/proc/loadavg: 1.95 1.99 1.99 3/179 27017
/proc/meminfo: memFree=31279908/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50042 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 27031
/proc/meminfo: memFree=31256404/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=7180 CPUtime=0.11 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 2450 5106 0 0 7 1 2 1 20 0 1 0 288693463 7352320 1375 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27018/statm: 1795 1375 166 439 0 1352 0
[pid=27030] ppid=27018 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27030/stat : 27030 (satsolver.sh) S 27018 27017 12121 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288693475 9367552 266 33554432000 4194304 5064252 140733490896736 140733490895648 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/27030/statm: 2287 266 226 213 0 72 0
[pid=27031] ppid=27030 vsize=16696 CPUtime=1.35 cores=1,3,5,7
/proc/27031/stat : 27031 (glucose) R 27030 27017 12121 0 -1 4202496 3588 0 0 0 135 0 0 0 20 0 1 0 288693476 17096704 3510 33554432000 4194304 5208918 140736926688896 140736926686744 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27031/statm: 4174 3510 105 248 0 3923 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 42172

[startup+3.10039 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 27038
/proc/meminfo: memFree=31251684/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11272 CPUtime=1.76 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 4133 12304 0 0 13 2 157 4 20 0 1 0 288693463 11542528 2367 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27018/statm: 2818 2367 166 439 0 2375 0
[pid=27037] ppid=27018 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27037/stat : 27037 (satsolver.sh) S 27018 27017 12121 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288693659 9367552 266 33554432000 4194304 5064252 140735671054720 140735671053632 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/27037/statm: 2287 266 226 213 0 72 0
[pid=27038] ppid=27037 vsize=16444 CPUtime=1.12 cores=1,3,5,7
/proc/27038/stat : 27038 (glucose) R 27037 27017 12121 0 -1 4202496 4026 0 0 0 112 0 0 0 20 0 1 0 288693660 16838656 3346 33554432000 4194304 5208918 140735274788480 140735274786152 4211049 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27038/statm: 4111 3346 104 248 0 3860 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 46012

[startup+6.30042 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 27059
/proc/meminfo: memFree=31254028/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11272 CPUtime=4.35 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 5817 20298 0 0 19 3 406 7 20 0 1 0 288693463 11542528 2367 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27018/statm: 2818 2367 166 439 0 2375 0
[pid=27051] ppid=27018 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27051/stat : 27051 (satsolver.sh) S 27018 27017 12121 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288693919 9367552 266 33554432000 4194304 5064252 140734151155104 140734151154016 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/27051/statm: 2287 266 226 213 0 72 0
[pid=27052] ppid=27051 vsize=16720 CPUtime=1.72 cores=1,3,5,7
/proc/27052/stat : 27052 (glucose) R 27051 27017 12121 0 -1 4202496 3576 0 0 0 171 1 0 0 20 0 1 0 288693920 17121280 3491 33554432000 4194304 5208918 140734897562176 140734897559928 4229827 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27052/statm: 4180 3491 105 248 0 3929 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 46288

[startup+12.7004 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 27101
/proc/meminfo: memFree=31252948/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11272 CPUtime=10.03 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 9184 35520 0 0 31 5 951 16 20 0 1 0 288693463 11542528 2367 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27018/statm: 2818 2367 166 439 0 2375 0
[pid=27086] ppid=27018 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27086/stat : 27086 (satsolver.sh) S 27018 27017 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288694494 9367552 267 33554432000 4194304 5064252 140737003884064 140737003882976 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/27086/statm: 2287 267 226 213 0 72 0
[pid=27087] ppid=27086 vsize=16948 CPUtime=2.38 cores=1,3,5,7
/proc/27087/stat : 27087 (glucose) R 27086 27017 12121 0 -1 4202496 3830 0 0 0 237 1 0 0 20 0 1 0 288694494 17354752 3757 33554432000 4194304 5208918 140736196013088 140736196010936 4211574 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27087/statm: 4237 3757 105 248 0 3986 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 46516

[startup+25.5005 s]
/proc/loadavg: 1.96 1.99 1.99 3/183 27185
/proc/meminfo: memFree=31254456/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11272 CPUtime=23.31 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 14234 59189 0 0 49 8 2246 28 20 0 1 0 288693463 11542528 2367 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27018/statm: 2818 2367 166 439 0 2375 0
[pid=27177] ppid=27018 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27177/stat : 27177 (satsolver.sh) S 27018 27017 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288695831 9367552 267 33554432000 4194304 5064252 140735769904192 140735769903104 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/27177/statm: 2287 267 226 213 0 72 0
[pid=27178] ppid=27177 vsize=16720 CPUtime=1.81 cores=1,3,5,7
/proc/27178/stat : 27178 (glucose) R 27177 27017 12121 0 -1 4202496 4267 0 0 0 180 1 0 0 20 0 1 0 288695831 17121280 3573 33554432000 4194304 5208918 140735762166224 140735762164184 4211572 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27178/statm: 4180 3573 105 248 0 3929 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 46288

[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.99 3/183 27374
/proc/meminfo: memFree=31263212/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11272 CPUtime=50.28 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 27699 121979 0 0 97 16 4857 58 20 0 1 0 288693463 11542528 2367 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27018/statm: 2818 2367 166 439 0 2375 0
Current children cumulated CPU time (s) 50.28
Current children cumulated vsize (KiB) 20420

[startup+102.307 s]
/proc/loadavg: 1.91 1.97 1.99 3/183 28266
/proc/meminfo: memFree=31241912/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11224 CPUtime=99.98 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 61695 277952 0 0 215 35 9616 132 20 0 1 0 288693463 11493376 2270 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27018/statm: 2806 2270 166 439 0 2363 0
[pid=28265] ppid=27018 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28265/stat : 28265 (satsolver.sh) S 27018 27017 12121 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288703520 9367552 266 33554432000 4194304 5064252 140734178913552 140734178912464 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/28265/statm: 2287 266 226 213 0 72 0
[pid=28266] ppid=28265 vsize=15620 CPUtime=1.72 cores=1,3,5,7
/proc/28266/stat : 28266 (glucose) R 28265 27017 12121 0 -1 4202496 3630 0 0 0 172 0 0 0 20 0 1 0 288703520 15994880 3368 33554432000 4194304 5208918 140734109296400 140734109294152 4229504 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28266/statm: 3905 3368 105 248 0 3654 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 45140

[startup+162.3 s]
/proc/loadavg: 2.03 1.99 1.99 3/183 28574
/proc/meminfo: memFree=31246828/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11224 CPUtime=161.49 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 98187 443582 0 0 342 55 15544 208 20 0 1 0 288693463 11493376 2270 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/27018/statm: 2806 2270 166 439 0 2363 0
Current children cumulated CPU time (s) 161.49
Current children cumulated vsize (KiB) 20372

[startup+222.3 s]
/proc/loadavg: 1.91 1.96 1.98 3/183 28897
/proc/meminfo: memFree=31248480/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11224 CPUtime=220.04 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 139441 628574 0 0 483 80 21144 297 20 0 1 0 288693463 11493376 2270 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/27018/statm: 2806 2270 166 439 0 2363 0
[pid=28896] ppid=27018 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28896/stat : 28896 (satsolver.sh) S 27018 27017 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288715535 9367552 267 33554432000 4194304 5064252 140733483952576 140733483951488 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28896/statm: 2287 267 226 213 0 72 0
[pid=28897] ppid=28896 vsize=15620 CPUtime=1.56 cores=1,3,5,7
/proc/28897/stat : 28897 (glucose) R 28896 27017 12121 0 -1 4202496 3315 0 0 0 156 0 0 0 20 0 1 0 288715536 15994880 3355 33554432000 4194304 5208918 140737125115280 140737125113032 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28897/statm: 3905 3355 105 248 0 3654 0
Current children cumulated CPU time (s) 221.6
Current children cumulated vsize (KiB) 45140

[startup+282.3 s]
/proc/loadavg: 1.97 1.96 1.98 3/183 29198
/proc/meminfo: memFree=31240948/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11224 CPUtime=278.8 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 177521 795445 0 0 616 100 26785 379 20 0 1 0 288693463 11493376 2270 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/27018/statm: 2806 2270 166 439 0 2363 0
[pid=29197] ppid=27018 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29197/stat : 29197 (satsolver.sh) S 27018 27017 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288721427 9367552 267 33554432000 4194304 5064252 140734028222208 140734028221120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29197/statm: 2287 267 226 213 0 72 0
[pid=29198] ppid=29197 vsize=15608 CPUtime=2.64 cores=1,3,5,7
/proc/29198/stat : 29198 (glucose) R 29197 27017 12121 0 -1 4202496 3993 0 0 0 264 0 0 0 20 0 1 0 288721427 15982592 3432 33554432000 4194304 5208918 140734701372592 140734701370440 4211049 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29198/statm: 3902 3432 105 248 0 3651 0
Current children cumulated CPU time (s) 281.44
Current children cumulated vsize (KiB) 45128

[startup+342.3 s]
/proc/loadavg: 2.10 2.00 1.99 3/183 29499
/proc/meminfo: memFree=31249284/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11200 CPUtime=339.45 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 215556 963088 0 0 746 121 32615 463 20 0 1 0 288693463 11468800 2255 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/27018/statm: 2800 2255 166 439 0 2357 0
[pid=29498] ppid=27018 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29498/stat : 29498 (satsolver.sh) S 27018 27017 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288727496 9367552 265 33554432000 4194304 5064252 140736247624576 140736247623488 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29498/statm: 2287 265 226 213 0 72 0
[pid=29499] ppid=29498 vsize=15040 CPUtime=1.95 cores=1,3,5,7
/proc/29499/stat : 29499 (glucose) R 29498 27017 12121 0 -1 4202496 3569 0 0 0 195 0 0 0 20 0 1 0 288727496 15400960 3084 33554432000 4194304 5208918 140734757788432 140734757786584 4211176 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29499/statm: 3760 3084 104 248 0 3509 0
Current children cumulated CPU time (s) 341.4
Current children cumulated vsize (KiB) 44536

[startup+402.3 s]
/proc/loadavg: 2.09 2.02 2.00 3/181 29931
/proc/meminfo: memFree=31261240/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11100 CPUtime=400.13 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 276925 1212067 0 0 920 152 38368 573 20 0 1 0 288693463 11366400 2255 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/27018/statm: 2775 2255 166 439 0 2332 0
Current children cumulated CPU time (s) 400.13
Current children cumulated vsize (KiB) 20248

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

[startup+409.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 29989
/proc/meminfo: memFree=31254696/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11064 CPUtime=407.91 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 286368 1249643 0 0 942 156 39104 589 20 0 1 0 288693463 11329536 2255 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/27018/statm: 2766 2255 166 439 0 2323 0
Current children cumulated CPU time (s) 407.91
Current children cumulated vsize (KiB) 20212

[startup+422.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 30108
/proc/meminfo: memFree=31255696/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11048 CPUtime=420.66 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 305255 1322340 0 0 984 165 40299 618 20 0 1 0 288693463 11313152 2255 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/27018/statm: 2762 2255 166 439 0 2319 0
[pid=30107] ppid=27018 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30107/stat : 30107 (satsolver.sh) S 27018 27017 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288735667 9367552 266 33554432000 4194304 5064252 140735201931568 140735201930480 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30107/statm: 2287 266 226 213 0 72 0
[pid=30108] ppid=30107 vsize=9380 CPUtime=0.24 cores=1,3,5,7
/proc/30108/stat : 30108 (glucose) R 30107 27017 12121 0 -1 4202496 2254 0 0 0 24 0 0 0 20 0 1 0 288735668 9605120 2058 33554432000 4194304 5208918 140733969276016 140733968225656 4465602 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30108/statm: 2345 2058 96 248 0 2094 0
Current children cumulated CPU time (s) 420.9
Current children cumulated vsize (KiB) 38724

[startup+428.7 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 30164
/proc/meminfo: memFree=31259696/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=6944 CPUtime=426.18 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 313167 1357116 0 0 1004 169 40813 632 20 0 1 0 288693463 7110656 1366 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/27018/statm: 1736 1366 166 439 0 1293 0
[pid=30163] ppid=27018 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30163/stat : 30163 (satsolver.sh) S 27018 27017 12121 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288736220 9367552 266 33554432000 4194304 5064252 140734849371184 140734849370096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30163/statm: 2287 266 226 213 0 72 0
[pid=30164] ppid=30163 vsize=10596 CPUtime=1.11 cores=1,3,5,7
/proc/30164/stat : 30164 (glucose) R 30163 27017 12121 0 -1 4202496 2505 0 0 0 111 0 0 0 20 0 1 0 288736220 10850304 2237 33554432000 4194304 5208918 140736746052912 140736746050664 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30164/statm: 2649 2237 105 248 0 2398 0
Current children cumulated CPU time (s) 427.29
Current children cumulated vsize (KiB) 35836

[startup+435.1 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 30213
/proc/meminfo: memFree=31259308/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=6944 CPUtime=433.25 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 319872 1391719 0 0 1021 171 41488 645 20 0 1 0 288693463 7110656 1367 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/27018/statm: 1736 1367 166 439 0 1293 0
Current children cumulated CPU time (s) 433.25
Current children cumulated vsize (KiB) 16092

[startup+436.707 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 30262
/proc/meminfo: memFree=31263308/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=6944 CPUtime=435.18 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 324398 1417834 0 0 1032 172 41659 655 20 0 1 0 288693463 7110656 1367 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/27018/statm: 1736 1367 166 439 0 1293 0
Current children cumulated CPU time (s) 435.18
Current children cumulated vsize (KiB) 16092

[startup+437.5 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 30262
/proc/meminfo: memFree=31263308/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=6944 CPUtime=435.95 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 326922 1437692 0 0 1038 173 41723 661 20 0 1 0 288693463 7110656 1367 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/27018/statm: 1736 1367 166 439 0 1293 0
Current children cumulated CPU time (s) 435.95
Current children cumulated vsize (KiB) 16092

[startup+438.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 30304
/proc/meminfo: memFree=31263540/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=6944 CPUtime=436.66 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 329354 1457017 0 0 1045 173 41780 668 20 0 1 0 288693463 7110656 1367 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/27018/statm: 1736 1367 166 439 0 1293 0
Current children cumulated CPU time (s) 436.66
Current children cumulated vsize (KiB) 16092

[startup+438.7 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 30304
/proc/meminfo: memFree=31263540/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11120 CPUtime=437.05 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 330936 1469178 0 0 1049 174 41812 670 20 0 1 0 288693463 11386880 2255 33554432000 4194304 5990268 140737457177632 140737457168544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/27018/statm: 2780 2255 166 439 0 2337 0
Current children cumulated CPU time (s) 437.05
Current children cumulated vsize (KiB) 20268

Child status: 0
Real time (s): 438.767
CPU time (s): 437.29
CPU user time (s): 428.745
CPU system time (s): 8.5447
CPU usage (%): 99.6634
Max. virtual memory (cumulated for all children) (KiB): 53748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 428.745
system time used= 8.5447
maximum resident set size= 27020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1809376
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1392320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7453
involuntary context switches= 2945

runsolver used 1.25681 second user time and 3.47947 second system time

The end

Launcher Data 

Begin job on node141 at 2012-05-28 19:21:31
IDJOB=3715113
IDBENCH=79408
IDSOLVER=2296
FILE ID=node141/3715113-1338225691
RUNJOBID= node141-1338210956-15179
PBS_JOBID= 14624602
Free space on /tmp= 71520 MiB

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

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

MD5SUM BENCH= 6d863641d8b2b772fe5ea25b86285712
RANDOM SEED=459502262

node141.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.744
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.48
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.744
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.744
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.93
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.744
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.92
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.744
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.92
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.744
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.744
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.92
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.744
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:        31280272 kB
Buffers:          309344 kB
Cached:           411096 kB
SwapCached:          220 kB
Active:           275852 kB
Inactive:         477372 kB
Active(anon):      22652 kB
Inactive(anon):    11292 kB
Active(file):     253200 kB
Inactive(file):   466080 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108636 kB
Dirty:             11076 kB
Writeback:             0 kB
AnonPages:         40816 kB
Mapped:            11592 kB
Shmem:               172 kB
Slab:             700072 kB
SReclaimable:     141364 kB
SUnreclaim:       558708 kB
KernelStack:        1512 kB
PageTables:         4316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     148888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 71508 MiB
End job on node141 at 2012-05-28 19:28:50