Trace number 3753802

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-topDown (fixed)OPTIMUM 408.66 410.506

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh07_wcsp.wbo
MD5SUM124b6775b7bb4e390bc62510a681a702
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.004998
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 constraint10
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 19
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.02	c run usual solver
0.00/0.05	o 7987
0.00/0.05	c fallback to adder encoding
2.60/2.88	o 7986
2.60/2.88	c fallback to adder encoding
4.08/4.39	o 7976
4.08/4.39	c fallback to adder encoding
6.28/6.51	o 7967
6.28/6.51	c fallback to adder encoding
8.19/8.49	o 7710
8.19/8.49	c fallback to adder encoding
10.13/10.41	o 7707
10.13/10.41	c fallback to adder encoding
13.78/14.06	o 7706
13.78/14.06	c fallback to adder encoding
16.89/17.17	o 7703
16.89/17.17	c fallback to adder encoding
20.84/21.11	o 7700
20.84/21.11	c fallback to adder encoding
22.67/22.94	o 7699
22.67/22.94	c fallback to adder encoding
26.09/26.39	o 7698
26.09/26.39	c fallback to adder encoding
28.99/29.27	o 7696
28.99/29.27	c fallback to adder encoding
31.30/31.58	o 7695
31.30/31.58	c fallback to adder encoding
32.99/33.27	o 6967
32.99/33.27	c fallback to adder encoding
33.95/34.23	o 5926
33.95/34.23	c fallback to adder encoding
35.62/35.98	o 5920
35.62/35.98	c fallback to adder encoding
38.39/38.82	o 5917
38.39/38.82	c fallback to adder encoding
41.22/41.70	o 5913
41.22/41.70	c fallback to adder encoding
44.56/45.01	o 5912
44.56/45.01	c fallback to adder encoding
46.00/46.49	o 5908
46.00/46.49	c fallback to adder encoding
47.58/48.08	o 5903
47.58/48.08	c fallback to adder encoding
51.15/51.67	o 5902
51.15/51.67	c fallback to adder encoding
53.68/54.23	o 5900
53.68/54.23	c fallback to adder encoding
55.41/55.98	o 5888
55.41/55.98	c fallback to adder encoding
56.61/57.13	o 5837
56.61/57.13	c fallback to adder encoding
58.18/58.75	o 5827
58.18/58.75	c fallback to adder encoding
59.59/60.16	o 5825
59.59/60.16	c fallback to adder encoding
62.86/63.42	o 5824
62.86/63.42	c fallback to adder encoding
65.39/65.91	o 5823
65.39/65.91	c fallback to adder encoding
67.20/67.77	o 5817
67.20/67.77	c fallback to adder encoding
69.18/69.79	o 5816
69.18/69.79	c fallback to adder encoding
70.60/71.18	o 5794
70.60/71.18	c fallback to adder encoding
72.53/73.19	o 5788
72.53/73.19	c fallback to adder encoding
75.03/75.79	o 5785
75.03/75.79	c fallback to adder encoding
79.53/80.30	o 5780
79.53/80.30	c fallback to adder encoding
82.36/83.10	o 5779
82.36/83.10	c fallback to adder encoding
85.02/85.74	o 5778
85.02/85.74	c fallback to adder encoding
89.11/89.86	o 5774
89.11/89.86	c fallback to adder encoding
90.72/91.46	o 5772
90.72/91.46	c fallback to adder encoding
93.41/94.15	o 5747
93.41/94.15	c fallback to adder encoding
94.62/95.38	o 5743
94.62/95.38	c fallback to adder encoding
97.70/98.45	o 5741
97.70/98.45	c fallback to adder encoding
99.97/100.72	o 5682
99.97/100.72	c fallback to adder encoding
101.53/102.25	o 5062
101.53/102.25	c fallback to adder encoding
102.80/103.55	o 5055
102.80/103.55	c fallback to adder encoding
104.22/104.98	o 5052
104.22/104.98	c fallback to adder encoding
105.72/106.46	o 5051
105.72/106.46	c fallback to adder encoding
107.30/108.04	o 5047
107.30/108.04	c fallback to adder encoding
109.50/110.25	o 5043
109.50/110.25	c fallback to adder encoding
111.02/111.79	o 5031
111.02/111.79	c fallback to adder encoding
112.97/113.72	o 5023
112.97/113.72	c fallback to adder encoding
114.92/115.66	o 5008
114.92/115.66	c fallback to adder encoding
115.90/116.62	o 5001
115.90/116.62	c fallback to adder encoding
118.83/119.57	o 5000
118.83/119.57	c fallback to adder encoding
121.69/122.42	o 4996
121.69/122.42	c fallback to adder encoding
126.33/127.08	o 4994
126.33/127.08	c fallback to adder encoding
127.84/128.58	o 4857
127.84/128.58	c fallback to adder encoding
128.49/129.24	o 4593
128.49/129.24	c fallback to adder encoding
130.56/131.30	o 4576
130.56/131.30	c fallback to adder encoding
132.92/133.66	o 4573
132.92/133.66	c fallback to adder encoding
135.91/136.65	o 4572
135.91/136.65	c fallback to adder encoding
139.16/139.90	o 4571
139.16/139.90	c fallback to adder encoding
143.83/144.59	o 4570
143.83/144.59	c fallback to adder encoding
147.17/147.91	o 4569
147.17/147.91	c fallback to adder encoding
149.30/150.05	o 4566
149.30/150.05	c fallback to adder encoding
150.82/151.57	o 4565
150.82/151.57	c fallback to adder encoding
152.87/153.62	o 4510
152.87/153.62	c fallback to adder encoding
154.91/155.68	o 4504
154.91/155.68	c fallback to adder encoding
158.15/158.90	o 4501
158.15/158.90	c fallback to adder encoding
160.12/160.88	o 4499
160.12/160.88	c fallback to adder encoding
162.22/162.97	o 4498
162.22/162.97	c fallback to adder encoding
163.67/164.41	o 4483
163.67/164.41	c fallback to adder encoding
166.26/167.01	o 4479
166.26/167.01	c fallback to adder encoding
168.39/169.14	o 4459
168.39/169.14	c fallback to adder encoding
170.56/171.31	o 4457
170.56/171.31	c fallback to adder encoding
175.31/176.06	o 4452
175.31/176.06	c fallback to adder encoding
177.48/178.21	o 4434
177.48/178.21	c fallback to adder encoding
180.66/181.46	o 4433
180.66/181.46	c fallback to adder encoding
182.50/183.35	o 4430
182.50/183.35	c fallback to adder encoding
186.28/187.14	o 4425
186.28/187.14	c fallback to adder encoding
188.70/189.57	o 4422
188.70/189.57	c fallback to adder encoding
189.95/190.80	o 4419
189.95/190.80	c fallback to adder encoding
193.88/194.79	o 4418
193.88/194.79	c fallback to adder encoding
196.78/197.79	o 4408
196.78/197.79	c fallback to adder encoding
199.58/200.58	o 4407
199.58/200.58	c fallback to adder encoding
202.71/203.72	o 4400
202.71/203.72	c fallback to adder encoding
204.43/205.43	o 4390
204.43/205.43	c fallback to adder encoding
208.45/209.46	o 4389
208.45/209.46	c fallback to adder encoding
213.00/214.01	o 4385
213.00/214.01	c fallback to adder encoding
215.46/216.49	o 4376
215.46/216.49	c fallback to adder encoding
219.72/220.73	o 4375
219.72/220.73	c fallback to adder encoding
221.28/222.21	o 4370
221.28/222.21	c fallback to adder encoding
222.37/223.44	o 4360
222.37/223.44	c fallback to adder encoding
225.78/226.84	o 4359
225.78/226.84	c fallback to adder encoding
228.47/229.53	o 4358
228.47/229.53	c fallback to adder encoding
229.56/230.63	o 4312
229.56/230.63	c fallback to adder encoding
231.01/232.08	o 4300
231.01/232.08	c fallback to adder encoding
233.61/234.68	o 4275
233.61/234.68	c fallback to adder encoding
237.59/238.65	o 4274
237.59/238.65	c fallback to adder encoding
241.10/242.18	o 4273
241.10/242.18	c fallback to adder encoding
243.79/244.86	o 4268
243.79/244.86	c fallback to adder encoding
247.24/248.33	o 4266
247.24/248.33	c fallback to adder encoding
249.79/250.81	o 4260
249.79/250.81	c fallback to adder encoding
251.20/252.32	o 4250
251.20/252.32	c fallback to adder encoding
254.96/256.19	o 4237
254.96/256.19	c fallback to adder encoding
257.34/258.54	o 4228
257.34/258.54	c fallback to adder encoding
260.04/261.28	o 4225
260.04/261.28	c fallback to adder encoding
263.66/264.87	o 4224
263.66/264.87	c fallback to adder encoding
266.25/267.46	o 4223
266.25/267.46	c fallback to adder encoding
268.74/269.94	o 4222
268.74/269.94	c fallback to adder encoding
269.86/271.07	o 4219
269.86/271.07	c fallback to adder encoding
271.20/272.41	o 4210
271.20/272.41	c fallback to adder encoding
272.04/273.28	o 3572
272.04/273.28	c fallback to adder encoding
274.95/276.17	o 3564
274.95/276.17	c fallback to adder encoding
277.67/278.90	o 3561
277.67/278.90	c fallback to adder encoding
279.50/280.73	o 3560
279.50/280.73	c fallback to adder encoding
280.80/282.05	o 3551
280.80/282.05	c fallback to adder encoding
282.12/283.30	o 3468
282.12/283.30	c fallback to adder encoding
282.92/284.19	o 3326
282.92/284.19	c fallback to adder encoding
284.28/285.53	o 3311
284.28/285.53	c fallback to adder encoding
286.40/287.64	o 3303
286.40/287.64	c fallback to adder encoding
287.91/289.16	o 2045
287.91/289.16	c fallback to adder encoding
289.26/290.51	o 2040
289.26/290.51	c fallback to adder encoding
290.25/291.51	o 2039
290.25/291.51	c fallback to adder encoding
291.21/292.40	o 2023
291.21/292.40	c fallback to adder encoding
292.46/293.71	o 2022
292.46/293.71	c fallback to adder encoding
293.60/294.85	o 2021
293.60/294.85	c fallback to adder encoding
295.00/296.28	o 2010
295.00/296.28	c fallback to adder encoding
295.78/297.04	o 2006
295.78/297.04	c fallback to adder encoding
296.66/297.93	o 1989
296.66/297.93	c fallback to adder encoding
296.76/299.07	o 1934
296.76/299.07	c fallback to adder encoding
299.37/300.72	o 1930
299.37/300.72	c fallback to adder encoding
300.81/302.18	o 1927
300.81/302.18	c fallback to adder encoding
303.31/304.63	o 1926
303.31/304.63	c fallback to adder encoding
303.46/305.58	o 1893
303.46/305.58	c fallback to adder encoding
306.36/307.71	o 1891
306.36/307.71	c fallback to adder encoding
307.46/308.80	o 1886
307.46/308.80	c fallback to adder encoding
308.24/309.61	o 1846
308.24/309.61	c fallback to adder encoding
310.28/311.66	o 1845
310.28/311.66	c fallback to adder encoding
311.70/313.06	o 1840
311.70/313.06	c fallback to adder encoding
312.72/314.23	o 1838
312.72/314.23	c fallback to adder encoding
314.16/315.69	o 1837
314.16/315.69	c fallback to adder encoding
315.33/316.84	o 1836
315.33/316.84	c fallback to adder encoding
317.49/319.05	o 1831
317.49/319.05	c fallback to adder encoding
319.66/321.28	o 1830
319.66/321.28	c fallback to adder encoding
321.94/323.58	o 1829
321.94/323.58	c fallback to adder encoding
323.54/325.18	o 1825
323.54/325.18	c fallback to adder encoding
324.40/326.01	o 1801
324.40/326.01	c fallback to adder encoding
326.31/327.92	o 1798
326.31/327.92	c fallback to adder encoding
327.43/329.08	o 1783
327.43/329.08	c fallback to adder encoding
328.12/329.73	o 1779
328.12/329.73	c fallback to adder encoding
329.51/331.12	o 1745
329.51/331.12	c fallback to adder encoding
331.28/332.90	o 1740
331.28/332.90	c fallback to adder encoding
333.09/334.71	o 1730
333.09/334.71	c fallback to adder encoding
334.83/336.47	o 1711
334.83/336.47	c fallback to adder encoding
335.88/337.51	o 1704
335.88/337.51	c fallback to adder encoding
336.07/338.37	o 1697
336.07/338.37	c fallback to adder encoding
338.42/340.03	o 1696
338.42/340.03	c fallback to adder encoding
339.74/341.53	o 1688
339.74/341.53	c fallback to adder encoding
340.94/342.73	o 1673
340.94/342.73	c fallback to adder encoding
341.78/343.57	o 1358
341.78/343.57	c fallback to adder encoding
343.70/345.50	o 1357
343.70/345.50	c fallback to adder encoding
344.66/346.47	o 1354
344.66/346.47	c fallback to adder encoding
347.02/348.83	o 1349
347.02/348.83	c fallback to adder encoding
349.30/351.12	o 1348
349.30/351.12	c fallback to adder encoding
350.53/352.34	o 1269
350.53/352.34	c fallback to adder encoding
351.84/353.69	o 1150
351.84/353.69	c fallback to adder encoding
353.52/355.34	o 1143
353.52/355.34	c fallback to adder encoding
355.83/357.67	o 1138
355.83/357.67	c fallback to adder encoding
356.93/358.75	o 1130
356.93/358.75	c fallback to adder encoding
358.31/360.13	o 1129
358.31/360.13	c fallback to adder encoding
360.42/362.23	o 1128
360.42/362.23	c fallback to adder encoding
361.51/363.35	o 1125
361.51/363.35	c fallback to adder encoding
362.60/364.43	o 1121
362.60/364.43	c fallback to adder encoding
364.97/366.81	o 1117
364.97/366.81	c fallback to adder encoding
367.07/368.92	o 1115
367.07/368.92	c fallback to adder encoding
368.72/370.55	o 1112
368.72/370.55	c fallback to adder encoding
368.88/371.69	o 1111
368.88/371.69	c fallback to adder encoding
371.92/373.76	o 1105
371.92/373.76	c fallback to adder encoding
374.13/376.02	o 1101
374.13/376.02	c fallback to adder encoding
376.14/378.03	o 1100
376.14/378.03	c fallback to adder encoding
377.34/379.24	o 1097
377.34/379.24	c fallback to adder encoding
378.91/380.82	o 1092
378.91/380.82	c fallback to adder encoding
379.89/381.80	o 1071
379.89/381.80	c fallback to adder encoding
380.86/382.79	o 1063
380.86/382.79	c fallback to adder encoding
381.55/383.45	o 1031
381.55/383.45	c fallback to adder encoding
382.74/384.64	o 1029
382.74/384.64	c fallback to adder encoding
383.75/385.65	o 1024
383.75/385.65	c fallback to adder encoding
384.72/386.62	o 757
384.72/386.62	c fallback to adder encoding
385.45/387.34	o 752
385.45/387.34	c fallback to adder encoding
386.13/388.01	o 749
386.13/388.01	c fallback to adder encoding
386.75/388.63	o 748
386.75/388.63	c fallback to adder encoding
387.62/389.51	o 747
387.62/389.51	c fallback to adder encoding
387.75/390.36	o 736
387.75/390.36	c fallback to adder encoding
388.56/390.97	o 735
388.56/390.97	c fallback to adder encoding
389.62/391.60	o 730
389.62/391.60	c fallback to adder encoding
389.79/392.17	o 715
389.79/392.17	c fallback to adder encoding
391.09/393.02	o 710
391.09/393.02	c fallback to adder encoding
391.82/393.74	o 708
391.82/393.74	c fallback to adder encoding
391.94/394.46	o 706
391.94/394.46	c fallback to adder encoding
393.72/395.64	o 705
393.72/395.64	c fallback to adder encoding
394.71/396.64	o 704
394.71/396.64	c fallback to adder encoding
395.51/397.48	o 703
395.51/397.48	c fallback to adder encoding
396.50/398.46	o 702
396.50/398.46	c fallback to adder encoding
396.65/398.98	o 701
396.65/398.98	c fallback to adder encoding
397.88/399.80	o 700
397.88/399.80	c fallback to adder encoding
398.57/400.50	o 677
398.57/400.50	c fallback to adder encoding
399.79/401.72	o 676
399.79/401.72	c fallback to adder encoding
400.93/402.80	o 675
400.93/402.80	c fallback to adder encoding
402.01/403.99	o 674
402.01/403.99	c fallback to adder encoding
403.12/405.03	o 636
403.12/405.03	c fallback to adder encoding
403.71/405.64	o 633
403.71/405.64	c fallback to adder encoding
404.10/406.03	o 630
404.10/406.03	c fallback to adder encoding
404.61/406.53	o 566
404.61/406.53	c fallback to adder encoding
405.02/406.92	o 560
405.02/406.92	c fallback to adder encoding
405.42/407.33	o 553
405.42/407.33	c fallback to adder encoding
405.52/407.89	o 550
405.52/407.89	c fallback to adder encoding
406.39/408.31	o 511
406.39/408.31	c fallback to adder encoding
406.48/408.58	o 509
406.48/408.58	c fallback to adder encoding
406.75/409.04	o 255
406.75/409.04	c fallback to adder encoding
407.21/409.13	o 243
407.21/409.13	c fallback to adder encoding
407.31/409.21	o 242
407.31/409.21	c fallback to adder encoding
407.31/409.28	o 223
407.31/409.28	c fallback to adder encoding
407.43/409.34	o 216
407.43/409.34	c fallback to adder encoding
407.52/409.41	o 211
407.52/409.41	c fallback to adder encoding
407.52/409.48	o 190
407.72/409.69	o 183
407.93/409.89	o 173
408.11/410.06	o 156
408.34/410.20	o 147
408.40/410.33	o 119
408.50/410.42	o 109
408.59/410.50	o 0
408.59/410.50	o 0
408.59/410.50	c display solution
408.59/410.50	s OPTIMUM FOUND
408.59/410.50	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	0

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-3753802-1339201696/watcher-3753802-1339201696 -o /tmp/evaluation-result-3753802-1339201696/solver-3753802-1339201696 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753802-1339201696.wbo 583454115 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.17 2.07 2.02 3/181 23087
/proc/meminfo: memFree=31673196/32873844 swapFree=7124/7124
[pid=23087] ppid=23085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23087/stat : 23087 (npSolver-wbo-It) S 23085 23087 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30136554 9367552 275 33554432000 4194304 5064252 140734817561952 140734817560864 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23087/statm: 2287 275 233 213 0 72 0

[startup+0.088719 s]
/proc/loadavg: 2.17 2.07 2.02 3/181 23087
/proc/meminfo: memFree=31673196/32873844 swapFree=7124/7124
[pid=23087] ppid=23085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23087/stat : 23087 (npSolver-wbo-It) S 23085 23087 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30136554 9367552 275 33554432000 4194304 5064252 140734817561952 140734817560864 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23087/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100236 s]
/proc/loadavg: 2.17 2.07 2.02 3/181 23087
/proc/meminfo: memFree=31673196/32873844 swapFree=7124/7124
[pid=23087] ppid=23085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23087/stat : 23087 (npSolver-wbo-It) S 23085 23087 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30136554 9367552 275 33554432000 4194304 5064252 140734817561952 140734817560864 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23087/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300248 s]
/proc/loadavg: 2.17 2.07 2.02 3/181 23087
/proc/meminfo: memFree=31673196/32873844 swapFree=7124/7124
[pid=23087] ppid=23085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23087/stat : 23087 (npSolver-wbo-It) S 23085 23087 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30136554 9367552 275 33554432000 4194304 5064252 140734817561952 140734817560864 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23087/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700224 s]
/proc/loadavg: 2.17 2.07 2.02 3/181 23087
/proc/meminfo: memFree=31673196/32873844 swapFree=7124/7124
[pid=23087] ppid=23085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23087/stat : 23087 (npSolver-wbo-It) S 23085 23087 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30136554 9367552 275 33554432000 4194304 5064252 140734817561952 140734817560864 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23087/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50036 s]
/proc/loadavg: 2.17 2.07 2.02 3/185 23101
/proc/meminfo: memFree=31625448/32873844 swapFree=7124/7124
[pid=23087] ppid=23085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23087/stat : 23087 (npSolver-wbo-It) S 23085 23087 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30136554 9367552 275 33554432000 4194304 5064252 140734817561952 140734817560864 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23087/statm: 2287 275 233 213 0 72 0
[pid=23088] ppid=23087 vsize=20020 CPUtime=0.17 cores=0,2,4,6
/proc/23088/stat : 23088 (npSolver-wbo) S 23087 23087 17075 0 -1 4202496 3599 5398 0 0 13 2 1 1 20 0 1 0 30136554 20500480 4480 33554432000 4194304 6006132 140735201643584 140735201634976 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23088/statm: 5005 4480 179 443 0 4558 0
[pid=23100] ppid=23088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23100/stat : 23100 (satsolver.sh) S 23088 23087 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30136572 9367552 267 33554432000 4194304 5064252 140734504758512 140734504757424 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23100/statm: 2287 267 226 213 0 72 0
[pid=23101] ppid=23100 vsize=27124 CPUtime=1.31 cores=0,2,4,6
/proc/23101/stat : 23101 (glucose) R 23100 23087 17075 0 -1 4202496 6288 0 0 0 130 1 0 0 20 0 1 0 30136573 27774976 5774 33554432000 4194304 5208918 140736918703008 140736918700968 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23101/statm: 6781 5774 103 248 0 6530 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 65440

[startup+3.10027 s]
/proc/loadavg: 2.17 2.07 2.02 3/185 23101
/proc/meminfo: memFree=31623828/32873844 swapFree=7124/7124
[pid=23087] ppid=23085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23087/stat : 23087 (npSolver-wbo-It) S 23085 23087 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30136554 9367552 275 33554432000 4194304 5064252 140734817561952 140734817560864 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23087/statm: 2287 275 233 213 0 72 0
[pid=23088] ppid=23087 vsize=20020 CPUtime=2.8 cores=0,2,4,6
/proc/23088/stat : 23088 (npSolver-wbo) S 23087 23087 17075 0 -1 4202496 5769 15749 0 0 24 3 248 5 20 0 1 0 30136554 20500480 4480 33554432000 4194304 6006132 140735201643584 140735201634976 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23088/statm: 5005 4480 179 443 0 4558 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 29168

[startup+6.30037 s]
/proc/loadavg: 2.15 2.07 2.02 3/185 23122
/proc/meminfo: memFree=31625052/32873844 swapFree=7124/7124
[pid=23087] ppid=23085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23087/stat : 23087 (npSolver-wbo-It) S 23085 23087 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30136554 9367552 275 33554432000 4194304 5064252 140734817561952 140734817560864 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23087/statm: 2287 275 233 213 0 72 0
[pid=23088] ppid=23087 vsize=20020 CPUtime=4.32 cores=0,2,4,6
/proc/23088/stat : 23088 (npSolver-wbo) S 23087 23087 17075 0 -1 4202496 7939 24729 0 0 36 4 380 12 20 0 1 0 30136554 20500480 4480 33554432000 4194304 6006132 140735201643584 140735201634976 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23088/statm: 5005 4480 179 443 0 4558 0
[pid=23121] ppid=23088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23121/stat : 23121 (satsolver.sh) S 23088 23087 17075 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 30137007 9367552 267 33554432000 4194304 5064252 140733999133984 140733999132896 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23121/statm: 2287 267 226 213 0 72 0
[pid=23122] ppid=23121 vsize=27492 CPUtime=1.76 cores=0,2,4,6
/proc/23122/stat : 23122 (glucose) R 23121 23087 17075 0 -1 4202496 5893 0 0 0 175 1 0 0 20 0 1 0 30137007 28151808 5966 33554432000 4194304 5208918 140733535410224 140733535408072 4465602 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23122/statm: 6873 5966 103 248 0 6622 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 65808

[startup+12.7004 s]
/proc/loadavg: 2.14 2.07 2.01 3/185 23157
/proc/meminfo: memFree=31638020/32873844 swapFree=7124/7124
[pid=23087] ppid=23085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23087/stat : 23087 (npSolver-wbo-It) S 23085 23087 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30136554 9367552 275 33554432000 4194304 5064252 140734817561952 140734817560864 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23087/statm: 2287 275 233 213 0 72 0
[pid=23088] ppid=23087 vsize=20020 CPUtime=10.33 cores=0,2,4,6
/proc/23088/stat : 23088 (npSolver-wbo) S 23087 23087 17075 0 -1 4202496 14449 52167 0 0 71 7 927 28 20 0 1 0 30136554 20500480 4480 33554432000 4194304 6006132 140735201643584 140735201634976 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23088/statm: 5005 4480 179 443 0 4558 0
[pid=23149] ppid=23088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23149/stat : 23149 (satsolver.sh) S 23088 23087 17075 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 30137608 9367552 267 33554432000 4194304 5064252 140737386241264 140737386240176 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23149/statm: 2287 267 226 213 0 72 0
[pid=23150] ppid=23149 vsize=27636 CPUtime=2.14 cores=0,2,4,6
/proc/23150/stat : 23150 (glucose) R 23149 23087 17075 0 -1 4202496 6029 0 0 0 214 0 0 0 20 0 1 0 30137609 28299264 6088 33554432000 4194304 5208918 140734248399856 140734248397608 4211038 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23150/statm: 6909 6088 103 248 0 6658 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 65952

[startup+25.5004 s]
/proc/loadavg: 2.11 2.06 2.01 3/185 23213
/proc/meminfo: memFree=31622540/32873844 swapFree=7124/7124
[pid=23087] ppid=23085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23087/stat : 23087 (npSolver-wbo-It) S 23085 23087 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30136554 9367552 275 33554432000 4194304 5064252 140734817561952 140734817560864 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23087/statm: 2287 275 233 213 0 72 0
[pid=23088] ppid=23087 vsize=20020 CPUtime=22.88 cores=0,2,4,6
/proc/23088/stat : 23088 (npSolver-wbo) S 23087 23087 17075 0 -1 4202496 23129 89705 0 0 119 12 2108 49 20 0 1 0 30136554 20500480 4480 33554432000 4194304 6006132 140735201643584 140735201634976 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23088/statm: 5005 4480 179 443 0 4558 0
[pid=23212] ppid=23088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23212/stat : 23212 (satsolver.sh) S 23088 23087 17075 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 30138862 9367552 267 33554432000 4194304 5064252 140734911132624 140734911131536 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23212/statm: 2287 267 226 213 0 72 0
[pid=23213] ppid=23212 vsize=27800 CPUtime=2.41 cores=0,2,4,6
/proc/23213/stat : 23213 (glucose) R 23212 23087 17075 0 -1 4202496 6382 0 0 0 240 1 0 0 20 0 1 0 30138862 28467200 5887 33554432000 4194304 5208918 140734459619472 140734459615848 4465602 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23213/statm: 6950 5887 103 248 0 6699 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 66116

[startup+51.1004 s]
/proc/loadavg: 2.07 2.06 2.01 3/185 23339
/proc/meminfo: memFree=31623844/32873844 swapFree=7124/7124
[pid=23087] ppid=23085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23087/stat : 23087 (npSolver-wbo-It) S 23085 23087 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30136554 9367552 275 33554432000 4194304 5064252 140734817561952 140734817560864 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23087/statm: 2287 275 233 213 0 72 0
[pid=23088] ppid=23087 vsize=20020 CPUtime=47.77 cores=0,2,4,6
/proc/23088/stat : 23088 (npSolver-wbo) S 23087 23087 17075 0 -1 4202496 46999 195491 0 0 248 24 4398 107 20 0 1 0 30136554 20500480 4480 33554432000 4194304 6006132 140735201643584 140735201634976 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23088/statm: 5005 4480 179 443 0 4558 0
[pid=23338] ppid=23088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23338/stat : 23338 (satsolver.sh) S 23088 23087 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30141375 9367552 266 33554432000 4194304 5064252 140735766445152 140735766444064 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23338/statm: 2287 266 226 213 0 72 0
[pid=23339] ppid=23338 vsize=27768 CPUtime=2.88 cores=0,2,4,6
/proc/23339/stat : 23339 (glucose) R 23338 23087 17075 0 -1 4202496 5976 0 0 0 287 1 0 0 20 0 1 0 30141375 28434432 5953 33554432000 4194304 5208918 140736752682176 140736752679928 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23339/statm: 6942 5953 103 248 0 6691 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 66084

[startup+102.307 s]
/proc/loadavg: 2.14 2.08 2.02 3/185 23566
/proc/meminfo: memFree=31639096/32873844 swapFree=7124/7124
[pid=23087] ppid=23085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23087/stat : 23087 (npSolver-wbo-It) S 23085 23087 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30136554 9367552 275 33554432000 4194304 5064252 140734817561952 140734817560864 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23087/statm: 2287 275 233 213 0 72 0
[pid=23088] ppid=23087 vsize=20020 CPUtime=101.64 cores=0,2,4,6
/proc/23088/stat : 23088 (npSolver-wbo) R 23087 23087 17075 0 -1 4202496 96392 409780 0 0 515 49 9373 227 20 0 1 0 30136554 20500480 4480 33554432000 4194304 6006132 140735201643584 140735201636984 4537479 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23088/statm: 5005 4480 179 443 0 4558 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 29168

[startup+162.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/186 23849
/proc/meminfo: memFree=31640352/32873844 swapFree=7124/7124
[pid=23087] ppid=23085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23087/stat : 23087 (npSolver-wbo-It) S 23085 23087 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30136554 9367552 275 33554432000 4194304 5064252 140734817561952 140734817560864 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23087/statm: 2287 275 233 213 0 72 0
[pid=23088] ppid=23087 vsize=20020 CPUtime=160.35 cores=0,2,4,6
/proc/23088/stat : 23088 (npSolver-wbo) S 23087 23087 17075 0 -1 4202496 153329 652503 0 0 828 79 14764 364 20 0 1 0 30136554 20500480 4480 33554432000 4194304 6006132 140735201643584 140735201634976 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23088/statm: 5005 4480 179 443 0 4558 0
[pid=23845] ppid=23088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23845/stat : 23845 (satsolver.sh) S 23088 23087 17075 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 30152655 9367552 267 33554432000 4194304 5064252 140737254511904 140737254510816 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23845/statm: 2287 267 226 213 0 72 0
[pid=23846] ppid=23845 vsize=27120 CPUtime=1.27 cores=0,2,4,6
/proc/23846/stat : 23846 (glucose) R 23845 23087 17075 0 -1 4202496 5994 0 0 0 127 0 0 0 20 0 1 0 30152655 27770880 6034 33554432000 4194304 5208918 140733593644272 140733593642120 4232626 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23846/statm: 6780 6034 103 248 0 6529 0
Current children cumulated CPU time (s) 161.62
Current children cumulated vsize (KiB) 65436

[startup+222.3 s]
/proc/loadavg: 2.11 2.08 2.02 3/185 24105
/proc/meminfo: memFree=31623564/32873844 swapFree=7124/7124
[pid=23087] ppid=23085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23087/stat : 23087 (npSolver-wbo-It) S 23085 23087 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30136554 9367552 275 33554432000 4194304 5064252 140734817561952 140734817560864 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23087/statm: 2287 275 233 213 0 72 0
[pid=23088] ppid=23087 vsize=20020 CPUtime=221.36 cores=0,2,4,6
/proc/23088/stat : 23088 (npSolver-wbo) R 23087 23087 17075 0 -1 4202496 201067 858911 0 0 1076 102 20474 484 20 0 1 0 30136554 20500480 4480 33554432000 4194304 6006132 140735201643584 140735201636984 4537279 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23088/statm: 5005 4480 179 443 0 4558 0
Current children cumulated CPU time (s) 221.36
Current children cumulated vsize (KiB) 29168

[startup+282.3 s]
/proc/loadavg: 2.13 2.09 2.02 3/185 24400
/proc/meminfo: memFree=31623012/32873844 swapFree=7124/7124
[pid=23087] ppid=23085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23087/stat : 23087 (npSolver-wbo-It) S 23085 23087 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30136554 9367552 275 33554432000 4194304 5064252 140734817561952 140734817560864 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23087/statm: 2287 275 233 213 0 72 0
[pid=23088] ppid=23087 vsize=20020 CPUtime=280.99 cores=0,2,4,6
/proc/23088/stat : 23088 (npSolver-wbo) S 23087 23087 17075 0 -1 4202496 244078 1091229 0 0 1352 129 26001 617 20 0 1 0 30136554 20500480 4480 33554432000 4194304 6006132 140735201643584 140735201634976 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23088/statm: 5005 4480 179 443 0 4558 0
Current children cumulated CPU time (s) 280.99
Current children cumulated vsize (KiB) 29168

[startup+342.3 s]
/proc/loadavg: 2.04 2.07 2.01 3/185 24802
/proc/meminfo: memFree=31644556/32873844 swapFree=7124/7124
[pid=23087] ppid=23085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23087/stat : 23087 (npSolver-wbo-It) S 23085 23087 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30136554 9367552 275 33554432000 4194304 5064252 140734817561952 140734817560864 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23087/statm: 2287 275 233 213 0 72 0
[pid=23088] ppid=23087 vsize=20020 CPUtime=339.93 cores=0,2,4,6
/proc/23088/stat : 23088 (npSolver-wbo) S 23087 23087 17075 0 -1 4202496 292294 1464159 0 0 1749 166 31254 824 20 0 1 0 30136554 20500480 4481 33554432000 4194304 6006132 140735201643584 140735201634976 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/23088/statm: 5005 4481 179 443 0 4558 0
[pid=24798] ppid=23088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24798/stat : 24798 (satsolver.sh) S 23088 23087 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30170718 9367552 266 33554432000 4194304 5064252 140737376279952 140737376278864 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24798/statm: 2287 266 226 213 0 72 0
[pid=24799] ppid=24798 vsize=20900 CPUtime=0.64 cores=0,2,4,6
/proc/24799/stat : 24799 (glucose) R 24798 23087 17075 0 -1 4202496 4763 0 0 0 64 0 0 0 20 0 1 0 30170718 21401600 4659 33554432000 4194304 5208918 140734200150064 140734200147912 4211635 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24799/statm: 5225 4659 104 248 0 4974 0
Current children cumulated CPU time (s) 340.57
Current children cumulated vsize (KiB) 59216

[startup+402.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/185 25261
/proc/meminfo: memFree=31634992/32873844 swapFree=7124/7124
[pid=23087] ppid=23085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23087/stat : 23087 (npSolver-wbo-It) S 23085 23087 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30136554 9367552 275 33554432000 4194304 5064252 140734817561952 140734817560864 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23087/statm: 2287 275 233 213 0 72 0
[pid=23088] ppid=23087 vsize=20020 CPUtime=399.91 cores=0,2,4,6
/proc/23088/stat : 23088 (npSolver-wbo) S 23087 23087 17075 0 -1 4202496 338941 1860682 0 0 2143 202 36605 1041 20 0 1 0 30136554 20500480 4481 33554432000 4194304 6006132 140735201643584 140735201634976 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/23088/statm: 5005 4481 179 443 0 4558 0
Current children cumulated CPU time (s) 399.91
Current children cumulated vsize (KiB) 29168

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

[startup+403.1 s]
/proc/loadavg: 2.04 2.06 2.01 3/185 25268
/proc/meminfo: memFree=31635612/32873844 swapFree=7124/7124
[pid=23087] ppid=23085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23087/stat : 23087 (npSolver-wbo-It) S 23085 23087 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30136554 9367552 275 33554432000 4194304 5064252 140734817561952 140734817560864 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23087/statm: 2287 275 233 213 0 72 0
[pid=23088] ppid=23087 vsize=20020 CPUtime=400.99 cores=0,2,4,6
/proc/23088/stat : 23088 (npSolver-wbo) S 23087 23087 17075 0 -1 4202496 339573 1867186 0 0 2149 202 36704 1044 20 0 1 0 30136554 20500480 4481 33554432000 4194304 6006132 140735201643584 140735201634976 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/23088/statm: 5005 4481 179 443 0 4558 0
Current children cumulated CPU time (s) 400.99
Current children cumulated vsize (KiB) 29168

[startup+406.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/185 25303
/proc/meminfo: memFree=31636440/32873844 swapFree=7124/7124
[pid=23087] ppid=23085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23087/stat : 23087 (npSolver-wbo-It) S 23085 23087 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30136554 9367552 275 33554432000 4194304 5064252 140734817561952 140734817560864 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23087/statm: 2287 275 233 213 0 72 0
[pid=23088] ppid=23087 vsize=20020 CPUtime=404.22 cores=0,2,4,6
/proc/23088/stat : 23088 (npSolver-wbo) S 23087 23087 17075 0 -1 4202496 342099 1894361 0 0 2171 205 36989 1057 20 0 1 0 30136554 20500480 4481 33554432000 4194304 6006132 140735201643584 140735201634976 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/23088/statm: 5005 4481 179 443 0 4558 0
Current children cumulated CPU time (s) 404.22
Current children cumulated vsize (KiB) 29168

[startup+407.9 s]
/proc/loadavg: 2.03 2.06 2.01 3/185 25320
/proc/meminfo: memFree=31644584/32873844 swapFree=7124/7124
[pid=23087] ppid=23085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23087/stat : 23087 (npSolver-wbo-It) S 23085 23087 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30136554 9367552 275 33554432000 4194304 5064252 140734817561952 140734817560864 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23087/statm: 2287 275 233 213 0 72 0
[pid=23088] ppid=23087 vsize=20020 CPUtime=406.02 cores=0,2,4,6
/proc/23088/stat : 23088 (npSolver-wbo) R 23087 23087 17075 0 -1 4202496 344113 1919139 0 0 2185 206 37142 1069 20 0 1 0 30136554 20500480 4481 33554432000 4194304 6006132 140735201643584 140735201635552 4583839 0 0 4096 0 0 0 0 17 2 0 0 24 0 0
/proc/23088/statm: 5005 4481 179 443 0 4558 0
Current children cumulated CPU time (s) 406.02
Current children cumulated vsize (KiB) 29168

[startup+409.5 s]
/proc/loadavg: 2.03 2.06 2.01 3/183 25371
/proc/meminfo: memFree=31671680/32873844 swapFree=7124/7124
[pid=23087] ppid=23085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23087/stat : 23087 (npSolver-wbo-It) S 23085 23087 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30136554 9367552 275 33554432000 4194304 5064252 140734817561952 140734817560864 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23087/statm: 2287 275 233 213 0 72 0
[pid=23088] ppid=23087 vsize=20020 CPUtime=407.62 cores=0,2,4,6
/proc/23088/stat : 23088 (npSolver-wbo) R 23087 23087 17075 0 -1 4202496 346720 1964360 0 0 2206 208 37261 1087 20 0 1 0 30136554 20500480 4482 33554432000 4194304 6006132 140735201643584 140735201635552 4537242 0 0 4096 0 0 0 0 17 2 0 0 24 0 0
/proc/23088/statm: 5005 4482 180 443 0 4558 0
Current children cumulated CPU time (s) 407.62
Current children cumulated vsize (KiB) 29168

[startup+410.306 s]
/proc/loadavg: 1.95 2.04 2.00 3/185 25439
/proc/meminfo: memFree=31648036/32873844 swapFree=7124/7124
[pid=23087] ppid=23085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23087/stat : 23087 (npSolver-wbo-It) S 23085 23087 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30136554 9367552 275 33554432000 4194304 5064252 140734817561952 140734817560864 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23087/statm: 2287 275 233 213 0 72 0
[pid=23088] ppid=23087 vsize=20020 CPUtime=408.4 cores=0,2,4,6
/proc/23088/stat : 23088 (npSolver-wbo) S 23087 23087 17075 0 -1 4202496 347206 1994485 0 0 2215 210 37306 1109 20 0 1 0 30136554 20500480 4482 33554432000 4194304 6006132 140735201643584 140735201634464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/23088/statm: 5005 4482 180 443 0 4558 0
Current children cumulated CPU time (s) 408.4
Current children cumulated vsize (KiB) 29168

[startup+410.5 s]
/proc/loadavg: 1.95 2.04 2.00 3/185 25439
/proc/meminfo: memFree=31648036/32873844 swapFree=7124/7124
[pid=23087] ppid=23085 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23087/stat : 23087 (npSolver-wbo-It) S 23085 23087 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30136554 9367552 275 33554432000 4194304 5064252 140734817561952 140734817560864 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23087/statm: 2287 275 233 213 0 72 0
[pid=23088] ppid=23087 vsize=20020 CPUtime=408.59 cores=0,2,4,6
/proc/23088/stat : 23088 (npSolver-wbo) S 23087 23087 17075 0 -1 4202496 347443 2004598 0 0 2217 210 37317 1115 20 0 1 0 30136554 20500480 4482 33554432000 4194304 6006132 140735201643584 140735201634464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/23088/statm: 5005 4482 180 443 0 4558 0
Current children cumulated CPU time (s) 408.59
Current children cumulated vsize (KiB) 29168

Child status: 0
Real time (s): 410.506
CPU time (s): 408.66
CPU user time (s): 395.373
CPU system time (s): 13.287
CPU usage (%): 99.5503
Max. virtual memory (cumulated for all children) (KiB): 71068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 395.373
system time used= 13.287
maximum resident set size= 29840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2355879
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2787000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14445
involuntary context switches= 3342

runsolver used 0.870867 second user time and 2.27565 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-09 02:28:16
IDJOB=3753802
IDBENCH=79421
IDSOLVER=2337
FILE ID=node133/3753802-1339201696
RUNJOBID= node133-1339184681-18370
PBS_JOBID= 14643824
Free space on /tmp= 71172 MiB

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

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

MD5SUM BENCH= 124b6775b7bb4e390bc62510a681a702
RANDOM SEED=583454115

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31673088 kB
Buffers:          137540 kB
Cached:           199824 kB
SwapCached:         1824 kB
Active:           230108 kB
Inactive:         149976 kB
Active(anon):      42288 kB
Inactive(anon):     2420 kB
Active(file):     187820 kB
Inactive(file):   147556 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67100328 kB
Dirty:             14400 kB
Writeback:             0 kB
AnonPages:         62324 kB
Mapped:             9656 kB
Shmem:                 0 kB
Slab:             680320 kB
SReclaimable:     122164 kB
SUnreclaim:       558156 kB
KernelStack:        1536 kB
PageTables:         4320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     169140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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= 71164 MiB
End job on node133 at 2012-06-09 02:35:07