Trace number 357153

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, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1800.16 1800.6

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g125.18.opb
MD5SUM18a894a2ba4f3cf6bad1b497c8fca8eb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4500
Total number of constraints72413
Number of constraints which are clauses72413
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint18
Number of terms in the objective function 4500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4500
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4500
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.39/0.48	c ...done
0.39/0.48	c #vars=4500 #constraints=72414 hasObjective=yes
0.79/0.86	c res. mode=mod
0.79/0.86	c VSIDS like heuristics
0.79/0.86	c complete search running
4.19/4.23	c restart after 401 decisions
4.89/4.92	c nbDecision=500 #constraints=72710
7.39/7.44	c restart after 801 decisions
9.09/9.14	c nbDecision=1000 #constraints=73023
14.29/14.37	c nbDecision=1500 #constraints=73355
15.48/15.58	c restart after 1601 decisions
19.99/20.04	c nbDecision=2000 #constraints=73674
23.39/23.41	c nbDecision=2500 #constraints=73860
23.69/23.77	c nbDecision=3000 #constraints=73871
23.89/23.95	c restart after 3201 decisions
24.19/24.27	c nbDecision=3500 #constraints=73881
24.59/24.60	c nbDecision=4000 #constraints=73892
24.99/25.08	c nbDecision=4500 #constraints=73908
25.48/25.55	c nbDecision=5000 #constraints=73926
25.98/26.05	c nbDecision=5500 #constraints=73945
26.48/26.58	c nbDecision=6000 #constraints=73964
26.88/26.93	c restart after 6401 decisions
27.08/27.16	c nbDecision=6500 #constraints=73977
27.49/27.55	c nbDecision=7000 #constraints=73988
27.98/28.09	c nbDecision=7500 #constraints=74008
28.68/28.75	c nbDecision=8000 #constraints=74036
29.18/29.28	c nbDecision=8500 #constraints=74057
29.58/29.69	c nbDecision=9000 #constraints=74069
30.08/30.12	c nbDecision=9500 #constraints=74082
30.48/30.58	c nbDecision=10000 #constraints=74097
31.28/31.31	c nbDecision=10500 #constraints=74126
31.78/31.83	c nbDecision=11000 #constraints=74143
32.18/32.20	c nbDecision=11500 #constraints=74155
34.48/34.51	c nbDecision=12000 #constraints=74272
34.88/34.95	c nbDecision=12500 #constraints=74285
35.08/35.18	c restart after 12801 decisions
35.38/35.48	c nbDecision=13000 #constraints=74293
36.08/36.12	c nbDecision=13500 #constraints=74316
36.58/36.61	c nbDecision=14000 #constraints=74335
37.08/37.16	c nbDecision=14500 #constraints=74354
37.48/37.56	c nbDecision=15000 #constraints=74366
38.08/38.12	c nbDecision=15500 #constraints=74387
38.78/38.87	c nbDecision=16000 #constraints=74419
39.28/39.39	c nbDecision=16500 #constraints=74439
39.77/39.83	c nbDecision=17000 #constraints=74453
40.27/40.31	c nbDecision=17500 #constraints=74467
40.77/40.81	c nbDecision=18000 #constraints=74484
41.57/41.60	c nbDecision=18500 #constraints=74514
41.97/42.04	c nbDecision=19000 #constraints=74527
42.97/43.09	c nbDecision=19500 #constraints=74572
44.57/44.66	c nbDecision=20000 #constraints=74634
45.08/45.13	c nbDecision=20500 #constraints=74649
45.68/45.71	c nbDecision=21000 #constraints=74667
46.08/46.20	c nbDecision=21500 #constraints=74682
46.58/46.66	c nbDecision=22000 #constraints=74696
47.08/47.15	c nbDecision=22500 #constraints=74712
47.58/47.65	c nbDecision=23000 #constraints=74728
48.28/48.36	c nbDecision=23500 #constraints=74755
48.88/48.96	c nbDecision=24000 #constraints=74776
49.38/49.44	c nbDecision=24500 #constraints=74790
49.88/49.96	c nbDecision=25000 #constraints=74806
50.78/50.89	c nbDecision=25500 #constraints=74842
50.98/51.01	c restart after 25601 decisions
51.48/51.58	c nbDecision=26000 #constraints=74854
51.97/52.00	c nbDecision=26500 #constraints=74866
54.37/54.40	c nbDecision=27000 #constraints=74963
54.67/54.79	c nbDecision=27500 #constraints=74973
55.37/55.45	c nbDecision=28000 #constraints=74995
55.87/55.95	c nbDecision=28500 #constraints=75010
56.27/56.35	c nbDecision=29000 #constraints=75021
57.08/57.19	c nbDecision=29500 #constraints=75051
57.57/57.62	c nbDecision=30000 #constraints=75063
58.27/58.32	c nbDecision=30500 #constraints=75089
59.07/59.18	c nbDecision=31000 #constraints=75120
59.47/59.58	c nbDecision=31500 #constraints=75130
61.68/61.74	c nbDecision=32000 #constraints=75222
62.18/62.27	c nbDecision=32500 #constraints=75242
63.97/64.01	c nbDecision=33000 #constraints=75309
65.47/65.55	c nbDecision=33500 #constraints=75371
65.88/66.00	c nbDecision=34000 #constraints=75386
66.57/66.65	c nbDecision=34500 #constraints=75410
67.17/67.29	c nbDecision=35000 #constraints=75434
67.77/67.84	c nbDecision=35500 #constraints=75454
68.27/68.34	c nbDecision=36000 #constraints=75472
68.87/68.92	c nbDecision=36500 #constraints=75494
69.37/69.41	c nbDecision=37000 #constraints=75510
69.97/70.00	c nbDecision=37500 #constraints=75532
70.47/70.54	c nbDecision=38000 #constraints=75551
72.97/73.06	c nbDecision=38500 #constraints=75645
73.47/73.52	c nbDecision=39000 #constraints=75657
74.27/74.32	c nbDecision=39500 #constraints=75681
74.87/74.90	c nbDecision=40000 #constraints=75701
75.37/75.40	c nbDecision=40500 #constraints=75717
75.87/75.92	c nbDecision=41000 #constraints=75732
76.57/76.63	c nbDecision=41500 #constraints=75755
77.37/77.48	c nbDecision=42000 #constraints=75784
77.97/78.09	c nbDecision=42500 #constraints=75806
78.67/78.70	c nbDecision=43000 #constraints=75824
79.17/79.28	c nbDecision=43500 #constraints=75839
80.27/80.38	c nbDecision=44000 #constraints=75876
80.87/80.92	c nbDecision=44500 #constraints=75892
81.47/81.53	c nbDecision=45000 #constraints=75911
84.46/84.53	c nbDecision=45500 #constraints=76013
84.96/85.02	c nbDecision=46000 #constraints=76027
85.46/85.59	c nbDecision=46500 #constraints=76044
86.26/86.34	c nbDecision=47000 #constraints=76068
86.77/86.85	c nbDecision=47500 #constraints=76081
87.26/87.36	c nbDecision=48000 #constraints=76094
88.26/88.31	c nbDecision=48500 #constraints=76123
88.97/89.02	c nbDecision=49000 #constraints=76148
89.46/89.60	c nbDecision=49500 #constraints=76165
90.17/90.26	c nbDecision=50000 #constraints=76185
90.76/90.88	c nbDecision=50500 #constraints=76205
91.76/91.86	c nbDecision=51000 #constraints=76236
92.06/92.14	c restart after 51201 decisions
92.66/92.70	c nbDecision=51500 #constraints=76248
95.17/95.27	c nbDecision=52000 #constraints=76327
95.67/95.75	c nbDecision=52500 #constraints=76340
96.57/96.60	c nbDecision=53000 #constraints=76366
96.97/97.04	c nbDecision=53500 #constraints=76376
97.77/97.85	c nbDecision=54000 #constraints=76399
98.47/98.59	c nbDecision=54500 #constraints=76420
99.76/99.83	c nbDecision=55000 #constraints=76457
102.27/102.33	c nbDecision=55500 #constraints=76540
103.56/103.68	c nbDecision=56000 #constraints=76575
105.66/105.71	c nbDecision=56500 #constraints=76641
106.16/106.22	c nbDecision=57000 #constraints=76658
106.86/106.90	c nbDecision=57500 #constraints=76679
107.76/107.81	c nbDecision=58000 #constraints=76711
108.46/108.52	c nbDecision=58500 #constraints=76733
109.06/109.13	c nbDecision=59000 #constraints=76751
109.66/109.72	c nbDecision=59500 #constraints=76771
110.26/110.38	c nbDecision=60000 #constraints=76789
111.06/111.16	c nbDecision=60500 #constraints=76815
113.86/113.98	c nbDecision=61000 #constraints=76901
114.36/114.49	c nbDecision=61500 #constraints=76919
115.16/115.21	c nbDecision=62000 #constraints=76942
115.86/115.92	c nbDecision=62500 #constraints=76964
116.56/116.66	c nbDecision=63000 #constraints=76988
117.26/117.36	c nbDecision=63500 #constraints=77010
117.86/117.98	c nbDecision=64000 #constraints=77027
118.56/118.68	c nbDecision=64500 #constraints=77050
119.36/119.41	c nbDecision=65000 #constraints=77072
120.16/120.21	c nbDecision=65500 #constraints=77099
121.16/121.23	c nbDecision=66000 #constraints=77130
124.16/124.24	c nbDecision=66500 #constraints=77212
124.75/124.80	c nbDecision=67000 #constraints=77225
125.75/125.82	c nbDecision=67500 #constraints=77253
126.36/126.41	c nbDecision=68000 #constraints=77267
127.15/127.21	c nbDecision=68500 #constraints=77286
128.05/128.14	c nbDecision=69000 #constraints=77315
129.05/129.13	c nbDecision=69500 #constraints=77343
129.85/129.97	c nbDecision=70000 #constraints=77368
130.76/130.84	c nbDecision=70500 #constraints=77397
131.55/131.68	c nbDecision=71000 #constraints=77428
132.65/132.72	c nbDecision=71500 #constraints=77464
133.65/133.72	c nbDecision=72000 #constraints=77492
134.95/135.00	c nbDecision=72500 #constraints=77524
136.75/136.87	c nbDecision=73000 #constraints=77578
139.16/139.27	c nbDecision=73500 #constraints=77639
140.06/140.13	c nbDecision=74000 #constraints=77661
141.16/141.30	c nbDecision=74500 #constraints=77695
142.55/142.60	c nbDecision=75000 #constraints=77732
143.25/143.30	c nbDecision=75500 #constraints=77753
147.45/147.57	c nbDecision=76000 #constraints=77858
148.25/148.31	c nbDecision=76500 #constraints=77879
148.95/149.04	c nbDecision=77000 #constraints=77900
149.95/150.00	c nbDecision=77500 #constraints=77926
150.45/150.53	c nbDecision=78000 #constraints=77940
151.35/151.48	c nbDecision=78500 #constraints=77968
152.25/152.39	c nbDecision=79000 #constraints=77994
152.95/153.04	c nbDecision=79500 #constraints=78010
153.85/153.98	c nbDecision=80000 #constraints=78037
154.85/154.90	c nbDecision=80500 #constraints=78059
157.55/157.62	c nbDecision=81000 #constraints=78125
160.34/160.41	c nbDecision=81500 #constraints=78191
161.14/161.27	c nbDecision=82000 #constraints=78219
164.24/164.39	c nbDecision=82500 #constraints=78294
165.95/166.05	c nbDecision=83000 #constraints=78333
166.64/166.77	c nbDecision=83500 #constraints=78352
168.74/168.84	c nbDecision=84000 #constraints=78407
169.54/169.65	c nbDecision=84500 #constraints=78429
172.55/172.67	c nbDecision=85000 #constraints=78500
174.55/174.69	c nbDecision=85500 #constraints=78543
175.55/175.60	c nbDecision=86000 #constraints=78564
176.25/176.40	c nbDecision=86500 #constraints=78582
177.45/177.50	c nbDecision=87000 #constraints=78610
178.25/178.34	c nbDecision=87500 #constraints=78630
179.54/179.67	c nbDecision=88000 #constraints=78666
186.64/186.76	c nbDecision=88500 #constraints=78810
188.24/188.38	c nbDecision=89000 #constraints=78844
206.44/206.55	c nbDecision=89500 #constraints=79184
225.44/225.58	c nbDecision=90000 #constraints=79528
231.23/231.34	c nbDecision=90500 #constraints=79616
232.13/232.22	c nbDecision=91000 #constraints=79633
233.04/233.18	c nbDecision=91500 #constraints=79653
234.43/234.52	c nbDecision=92000 #constraints=79675
235.33/235.49	c nbDecision=92500 #constraints=79693
236.23/236.32	c nbDecision=93000 #constraints=79707
237.13/237.22	c nbDecision=93500 #constraints=79722
238.23/238.36	c nbDecision=94000 #constraints=79743
239.23/239.33	c nbDecision=94500 #constraints=79760
240.83/240.92	c nbDecision=95000 #constraints=79791
241.83/241.91	c nbDecision=95500 #constraints=79810
242.63/242.72	c nbDecision=96000 #constraints=79823
243.53/243.68	c nbDecision=96500 #constraints=79840
244.63/244.75	c nbDecision=97000 #constraints=79865
246.03/246.15	c nbDecision=97500 #constraints=79896
252.22/252.39	c nbDecision=98000 #constraints=79999
253.32/253.45	c nbDecision=98500 #constraints=80020
254.42/254.59	c nbDecision=99000 #constraints=80046
255.42/255.56	c nbDecision=99500 #constraints=80068
256.92/257.04	c nbDecision=100000 #constraints=80096
257.72/257.82	c nbDecision=100500 #constraints=80109
258.42/258.56	c nbDecision=101000 #constraints=80120
259.32/259.44	c nbDecision=101500 #constraints=80137
260.82/260.99	c nbDecision=102000 #constraints=80168
261.62/261.80	c restart after 102401 decisions
262.62/262.72	c nbDecision=102500 #constraints=80182
263.53/263.64	c nbDecision=103000 #constraints=80202
265.23/265.36	c nbDecision=103500 #constraints=80232
266.13/266.27	c nbDecision=104000 #constraints=80247
267.13/267.29	c nbDecision=104500 #constraints=80262
268.23/268.34	c nbDecision=105000 #constraints=80285
269.43/269.52	c nbDecision=105500 #constraints=80313
270.92/271.09	c nbDecision=106000 #constraints=80347
277.82/277.94	c nbDecision=106500 #constraints=80448
278.62/278.74	c nbDecision=107000 #constraints=80462
279.52/279.68	c nbDecision=107500 #constraints=80478
280.82/280.99	c nbDecision=108000 #constraints=80502
281.92/282.09	c nbDecision=108500 #constraints=80521
283.12/283.20	c nbDecision=109000 #constraints=80539
283.92/284.06	c nbDecision=109500 #constraints=80553
285.42/285.51	c nbDecision=110000 #constraints=80582
286.22/286.40	c nbDecision=110500 #constraints=80596
287.82/287.99	c nbDecision=111000 #constraints=80624
288.82/288.93	c nbDecision=111500 #constraints=80638
289.72/289.88	c nbDecision=112000 #constraints=80652
290.92/291.00	c nbDecision=112500 #constraints=80673
291.92/292.07	c nbDecision=113000 #constraints=80696
293.22/293.32	c nbDecision=113500 #constraints=80718
299.71/299.84	c nbDecision=114000 #constraints=80816
300.51/300.68	c nbDecision=114500 #constraints=80831
302.42/302.53	c nbDecision=115000 #constraints=80858
304.21/304.35	c nbDecision=115500 #constraints=80884
305.11/305.22	c nbDecision=116000 #constraints=80897
312.21/312.32	c nbDecision=116500 #constraints=81002
313.01/313.10	c nbDecision=117000 #constraints=81016
314.52/314.61	c nbDecision=117500 #constraints=81040
316.01/316.10	c nbDecision=118000 #constraints=81064
317.61/317.74	c nbDecision=118500 #constraints=81091
318.82/318.93	c nbDecision=119000 #constraints=81113
319.92/320.03	c nbDecision=119500 #constraints=81131
325.91/326.06	c nbDecision=120000 #constraints=81215
327.31/327.41	c nbDecision=120500 #constraints=81238
328.81/328.97	c nbDecision=121000 #constraints=81268
329.81/329.93	c nbDecision=121500 #constraints=81284
330.71/330.85	c nbDecision=122000 #constraints=81298
332.21/332.30	c nbDecision=122500 #constraints=81320
334.11/334.27	c nbDecision=123000 #constraints=81353
335.01/335.15	c nbDecision=123500 #constraints=81368
340.11/340.26	c nbDecision=124000 #constraints=81434
342.70/342.83	c nbDecision=124500 #constraints=81469
344.11/344.21	c nbDecision=125000 #constraints=81492
345.60/345.76	c nbDecision=125500 #constraints=81521
346.60/346.71	c nbDecision=126000 #constraints=81535
347.80/347.96	c nbDecision=126500 #constraints=81552
350.00/350.15	c nbDecision=127000 #constraints=81586
356.70/356.85	c nbDecision=127500 #constraints=81673
357.40/357.51	c nbDecision=128000 #constraints=81682
359.00/359.17	c nbDecision=128500 #constraints=81706
361.20/361.32	c nbDecision=129000 #constraints=81741
362.00/362.18	c nbDecision=129500 #constraints=81754
370.89/371.05	c nbDecision=130000 #constraints=81860
371.89/372.03	c nbDecision=130500 #constraints=81878
372.89/373.00	c nbDecision=131000 #constraints=81896
374.29/374.44	c nbDecision=131500 #constraints=81920
375.79/375.98	c nbDecision=132000 #constraints=81945
376.89/377.02	c nbDecision=132500 #constraints=81961
378.49/378.68	c nbDecision=133000 #constraints=81988
379.80/379.96	c nbDecision=133500 #constraints=82010
385.40/385.52	c nbDecision=134000 #constraints=82079
386.50/386.66	c nbDecision=134500 #constraints=82102
388.00/388.11	c nbDecision=135000 #constraints=82126
389.59/389.74	c nbDecision=135500 #constraints=82151
391.09/391.20	c nbDecision=136000 #constraints=82174
392.29/392.47	c nbDecision=136500 #constraints=82194
393.79/393.99	c nbDecision=137000 #constraints=82219
399.79/399.99	c nbDecision=137500 #constraints=82293
400.89/401.05	c nbDecision=138000 #constraints=82310
402.69/402.80	c nbDecision=138500 #constraints=82338
404.19/404.35	c nbDecision=139000 #constraints=82363
405.69/405.81	c nbDecision=139500 #constraints=82382
407.89/408.09	c nbDecision=140000 #constraints=82414
409.98/410.14	c nbDecision=140500 #constraints=82449
417.39/417.53	c nbDecision=141000 #constraints=82540
419.69/419.86	c nbDecision=141500 #constraints=82570
420.99/421.16	c nbDecision=142000 #constraints=82594
427.98/428.10	c nbDecision=142500 #constraints=82676
429.38/429.58	c nbDecision=143000 #constraints=82698
430.99/431.18	c nbDecision=143500 #constraints=82724
431.98/432.11	c nbDecision=144000 #constraints=82739
433.88/434.02	c nbDecision=144500 #constraints=82771
435.08/435.24	c nbDecision=145000 #constraints=82792
436.48/436.67	c nbDecision=145500 #constraints=82812
442.17/442.32	c nbDecision=146000 #constraints=82888
448.27/448.42	c nbDecision=146500 #constraints=82960
456.28/456.41	c nbDecision=147000 #constraints=83055
457.18/457.32	c nbDecision=147500 #constraints=83068
464.17/464.39	c nbDecision=148000 #constraints=83153
466.27/466.41	c nbDecision=148500 #constraints=83181
467.87/468.07	c nbDecision=149000 #constraints=83202
494.77/494.98	c nbDecision=149500 #constraints=83494
500.96/501.15	c nbDecision=150000 #constraints=83558
501.86/502.02	c nbDecision=150500 #constraints=83570
503.86/504.00	c nbDecision=151000 #constraints=83597
505.46/505.60	c nbDecision=151500 #constraints=83617
507.16/507.32	c nbDecision=152000 #constraints=83639
508.26/508.47	c nbDecision=152500 #constraints=83653
509.86/510.05	c nbDecision=153000 #constraints=83672
511.76/511.91	c nbDecision=153500 #constraints=83697
513.86/514.05	c nbDecision=154000 #constraints=83729
516.26/516.43	c nbDecision=154500 #constraints=83759
518.06/518.28	c nbDecision=155000 #constraints=83787
525.56/525.79	c nbDecision=155500 #constraints=83876
526.95/527.10	c nbDecision=156000 #constraints=83896
528.35/528.57	c nbDecision=156500 #constraints=83920
530.25/530.49	c nbDecision=157000 #constraints=83947
531.96/532.11	c nbDecision=157500 #constraints=83970
533.36/533.58	c nbDecision=158000 #constraints=83991
535.36/535.59	c nbDecision=158500 #constraints=84016
536.76/536.96	c nbDecision=159000 #constraints=84032
537.96/538.18	c nbDecision=159500 #constraints=84048
540.16/540.39	c nbDecision=160000 #constraints=84075
541.66/541.86	c nbDecision=160500 #constraints=84095
543.65/543.87	c nbDecision=161000 #constraints=84121
546.15/546.40	c nbDecision=161500 #constraints=84153
553.05/553.21	c nbDecision=162000 #constraints=84227
555.85/556.08	c nbDecision=162500 #constraints=84259
558.05/558.27	c nbDecision=163000 #constraints=84283
559.75/559.91	c nbDecision=163500 #constraints=84300
561.74/561.90	c nbDecision=164000 #constraints=84324
568.05/568.24	c nbDecision=164500 #constraints=84393
568.95/569.16	c nbDecision=165000 #constraints=84407
570.55/570.72	c nbDecision=165500 #constraints=84425
577.95/578.11	c nbDecision=166000 #constraints=84496
582.15/582.32	c nbDecision=166500 #constraints=84538
584.55/584.73	c nbDecision=167000 #constraints=84567
586.75/586.92	c nbDecision=167500 #constraints=84591
594.64/594.89	c nbDecision=168000 #constraints=84676
595.95/596.16	c nbDecision=168500 #constraints=84692
598.04/598.29	c nbDecision=169000 #constraints=84721
599.64/599.83	c nbDecision=169500 #constraints=84742
600.84/601.00	c nbDecision=170000 #constraints=84757
612.63/612.84	c nbDecision=170500 #constraints=84876
615.13/615.31	c nbDecision=171000 #constraints=84904
626.13/626.39	c nbDecision=171500 #constraints=84991
630.43/630.63	c nbDecision=172000 #constraints=85032
632.34/632.59	c nbDecision=172500 #constraints=85057
634.23/634.43	c nbDecision=173000 #constraints=85079
636.23/636.48	c nbDecision=173500 #constraints=85100
637.63/637.83	c nbDecision=174000 #constraints=85118
644.83/645.01	c nbDecision=174500 #constraints=85190
647.33/647.59	c nbDecision=175000 #constraints=85219
656.33/656.53	c nbDecision=175500 #constraints=85302
658.13/658.38	c nbDecision=176000 #constraints=85323
660.03/660.29	c nbDecision=176500 #constraints=85345
672.12/672.38	c nbDecision=177000 #constraints=85443
674.42/674.64	c nbDecision=177500 #constraints=85468
676.03/676.24	c nbDecision=178000 #constraints=85484
677.92/678.18	c nbDecision=178500 #constraints=85508
690.32/690.50	c nbDecision=179000 #constraints=85613
710.81/711.07	c nbDecision=179500 #constraints=85787
711.91/712.18	c nbDecision=180000 #constraints=85801
713.21/713.46	c nbDecision=180500 #constraints=85817
714.41/714.64	c nbDecision=181000 #constraints=85829
716.71/716.92	c nbDecision=181500 #constraints=85853
718.11/718.36	c nbDecision=182000 #constraints=85870
720.61/720.83	c nbDecision=182500 #constraints=85899
723.80/724.00	c nbDecision=183000 #constraints=85933
725.10/725.37	c nbDecision=183500 #constraints=85948
726.91/727.18	c nbDecision=184000 #constraints=85967
728.30/728.54	c nbDecision=184500 #constraints=85985
729.61/729.87	c nbDecision=185000 #constraints=86003
732.41/732.64	c nbDecision=185500 #constraints=86035
733.91/734.15	c nbDecision=186000 #constraints=86056
744.71/744.97	c nbDecision=186500 #constraints=86161
746.21/746.40	c nbDecision=187000 #constraints=86178
747.51/747.78	c nbDecision=187500 #constraints=86195
749.41/749.65	c nbDecision=188000 #constraints=86217
751.90/752.11	c nbDecision=188500 #constraints=86243
753.21/753.50	c nbDecision=189000 #constraints=86261
754.80/755.09	c nbDecision=189500 #constraints=86279
756.61/756.88	c nbDecision=190000 #constraints=86300
759.60/759.86	c nbDecision=190500 #constraints=86332
761.01/761.26	c nbDecision=191000 #constraints=86346
762.70/762.93	c nbDecision=191500 #constraints=86365
764.10/764.32	c nbDecision=192000 #constraints=86382
765.20/765.48	c nbDecision=192500 #constraints=86398
767.90/768.15	c nbDecision=193000 #constraints=86428
769.70/769.97	c nbDecision=193500 #constraints=86453
775.50/775.72	c nbDecision=194000 #constraints=86501
777.70/777.91	c nbDecision=194500 #constraints=86521
779.39/779.70	c nbDecision=195000 #constraints=86537
781.30/781.56	c nbDecision=195500 #constraints=86557
787.40/787.64	c nbDecision=196000 #constraints=86608
789.09/789.38	c nbDecision=196500 #constraints=86624
790.09/790.32	c nbDecision=197000 #constraints=86634
802.99/803.26	c nbDecision=197500 #constraints=86741
804.09/804.39	c nbDecision=198000 #constraints=86753
806.00/806.29	c nbDecision=198500 #constraints=86775
808.49/808.79	c nbDecision=199000 #constraints=86801
810.29/810.56	c nbDecision=199500 #constraints=86822
812.59/812.80	c nbDecision=200000 #constraints=86845
820.68/820.99	c nbDecision=200500 #constraints=86924
821.88/822.19	c nbDecision=201000 #constraints=86939
824.18/824.50	c nbDecision=201500 #constraints=86965
826.08/826.32	c nbDecision=202000 #constraints=86983
835.78/836.07	c nbDecision=202500 #constraints=87069
843.88/844.19	c nbDecision=203000 #constraints=87134
856.18/856.42	c nbDecision=203500 #constraints=87224
857.58/857.85	c nbDecision=204000 #constraints=87242
859.08/859.31	c nbDecision=204500 #constraints=87258
860.88/861.11	c restart after 204801 decisions
863.78/864.02	c nbDecision=205000 #constraints=87288
865.48/865.75	c nbDecision=205500 #constraints=87308
867.48/867.72	c nbDecision=206000 #constraints=87330
869.58/869.81	c nbDecision=206500 #constraints=87350
875.57/875.86	c nbDecision=207000 #constraints=87398
877.17/877.47	c nbDecision=207500 #constraints=87418
879.68/879.91	c nbDecision=208000 #constraints=87442
881.67/881.92	c nbDecision=208500 #constraints=87466
889.27/889.52	c nbDecision=209000 #constraints=87523
905.07/905.30	c nbDecision=209500 #constraints=87630
910.36/910.62	c nbDecision=210000 #constraints=87682
912.67/912.91	c nbDecision=210500 #constraints=87706
915.86/916.19	c nbDecision=211000 #constraints=87737
917.57/917.84	c nbDecision=211500 #constraints=87759
919.46/919.71	c nbDecision=212000 #constraints=87780
921.36/921.65	c nbDecision=212500 #constraints=87803
925.76/926.07	c nbDecision=213000 #constraints=87841
929.06/929.34	c nbDecision=213500 #constraints=87870
931.16/931.46	c nbDecision=214000 #constraints=87889
933.26/933.52	c nbDecision=214500 #constraints=87912
934.66/934.91	c nbDecision=215000 #constraints=87926
937.46/937.77	c nbDecision=215500 #constraints=87952
944.05/944.30	c nbDecision=216000 #constraints=87996
946.45/946.75	c nbDecision=216500 #constraints=88021
948.25/948.53	c nbDecision=217000 #constraints=88040
950.06/950.32	c nbDecision=217500 #constraints=88056
952.65/952.97	c nbDecision=218000 #constraints=88081
960.15/960.41	c nbDecision=218500 #constraints=88133
961.55/961.87	c nbDecision=219000 #constraints=88151
964.05/964.34	c nbDecision=219500 #constraints=88172
977.44/977.78	c nbDecision=220000 #constraints=88258
980.05/980.35	c nbDecision=220500 #constraints=88284
983.15/983.42	c nbDecision=221000 #constraints=88314
984.85/985.18	c nbDecision=221500 #constraints=88333
986.95/987.27	c nbDecision=222000 #constraints=88355
988.95/989.29	c nbDecision=222500 #constraints=88376
991.45/991.73	c nbDecision=223000 #constraints=88401
993.15/993.40	c nbDecision=223500 #constraints=88418
1005.34/1005.66	c nbDecision=224000 #constraints=88518
1007.64/1007.98	c nbDecision=224500 #constraints=88541
1009.94/1010.26	c nbDecision=225000 #constraints=88561
1020.84/1021.15	c nbDecision=225500 #constraints=88640
1040.44/1040.76	c nbDecision=226000 #constraints=88763
1041.54/1041.83	c nbDecision=226500 #constraints=88776
1043.54/1043.83	c nbDecision=227000 #constraints=88796
1045.53/1045.87	c nbDecision=227500 #constraints=88815
1047.73/1048.04	c nbDecision=228000 #constraints=88839
1049.73/1050.05	c nbDecision=228500 #constraints=88859
1051.83/1052.15	c nbDecision=229000 #constraints=88881
1058.53/1058.80	c nbDecision=229500 #constraints=88932
1060.03/1060.35	c nbDecision=230000 #constraints=88945
1062.03/1062.34	c nbDecision=230500 #constraints=88963
1063.73/1064.06	c nbDecision=231000 #constraints=88981
1066.22/1066.53	c nbDecision=231500 #constraints=89003
1073.12/1073.50	c nbDecision=232000 #constraints=89050
1074.33/1074.68	c nbDecision=232500 #constraints=89062
1076.92/1077.23	c nbDecision=233000 #constraints=89083
1079.42/1079.79	c nbDecision=233500 #constraints=89105
1084.23/1084.56	c nbDecision=234000 #constraints=89142
1088.32/1088.67	c nbDecision=234500 #constraints=89171
1091.02/1091.30	c nbDecision=235000 #constraints=89192
1093.42/1093.73	c nbDecision=235500 #constraints=89215
1107.12/1107.41	c nbDecision=236000 #constraints=89309
1109.72/1110.08	c nbDecision=236500 #constraints=89337
1112.31/1112.67	c nbDecision=237000 #constraints=89361
1114.31/1114.64	c nbDecision=237500 #constraints=89381
1116.12/1116.48	c nbDecision=238000 #constraints=89398
1119.42/1119.77	c nbDecision=238500 #constraints=89428
1122.11/1122.47	c nbDecision=239000 #constraints=89453
1123.82/1124.11	c nbDecision=239500 #constraints=89470
1125.51/1125.84	c nbDecision=240000 #constraints=89485
1130.91/1131.27	c nbDecision=240500 #constraints=89535
1137.02/1137.38	c nbDecision=241000 #constraints=89585
1142.21/1142.54	c nbDecision=241500 #constraints=89629
1149.01/1149.37	c nbDecision=242000 #constraints=89678
1152.61/1153.00	c nbDecision=242500 #constraints=89711
1155.21/1155.51	c nbDecision=243000 #constraints=89733
1157.61/1157.90	c nbDecision=243500 #constraints=89756
1160.80/1161.15	c nbDecision=244000 #constraints=89786
1163.10/1163.45	c nbDecision=244500 #constraints=89807
1165.10/1165.46	c nbDecision=245000 #constraints=89829
1168.20/1168.55	c nbDecision=245500 #constraints=89857
1170.40/1170.72	c nbDecision=246000 #constraints=89878
1173.20/1173.52	c nbDecision=246500 #constraints=89902
1175.40/1175.74	c nbDecision=247000 #constraints=89924
1184.79/1185.17	c nbDecision=247500 #constraints=89989
1186.69/1187.09	c nbDecision=248000 #constraints=90011
1188.59/1188.98	c nbDecision=248500 #constraints=90031
1190.90/1191.25	c nbDecision=249000 #constraints=90054
1193.29/1193.61	c nbDecision=249500 #constraints=90074
1195.40/1195.76	c nbDecision=250000 #constraints=90093
1197.69/1198.09	c nbDecision=250500 #constraints=90117
1202.89/1203.24	c nbDecision=251000 #constraints=90160
1205.59/1205.94	c nbDecision=251500 #constraints=90187
1208.29/1208.61	c nbDecision=252000 #constraints=90205
1219.50/1219.87	c nbDecision=252500 #constraints=90288
1223.49/1223.86	c nbDecision=253000 #constraints=90322
1234.39/1234.71	c nbDecision=253500 #constraints=90392
1242.18/1242.54	c nbDecision=254000 #constraints=90448
1245.18/1245.59	c nbDecision=254500 #constraints=90474
1247.28/1247.65	c nbDecision=255000 #constraints=90491
1250.48/1250.87	c nbDecision=255500 #constraints=90516
1252.68/1253.00	c nbDecision=256000 #constraints=90535
1254.88/1255.28	c nbDecision=256500 #constraints=90553
1260.48/1260.89	c nbDecision=257000 #constraints=90595
1272.98/1273.32	c nbDecision=257500 #constraints=90681
1276.18/1276.52	c nbDecision=258000 #constraints=90705
1279.08/1279.45	c nbDecision=258500 #constraints=90729
1280.87/1281.27	c nbDecision=259000 #constraints=90745
1294.27/1294.63	c nbDecision=259500 #constraints=90827
1296.27/1296.64	c nbDecision=260000 #constraints=90847
1298.27/1298.66	c nbDecision=260500 #constraints=90866
1300.47/1300.89	c nbDecision=261000 #constraints=90883
1303.07/1303.46	c nbDecision=261500 #constraints=90905
1315.37/1315.70	c nbDecision=262000 #constraints=90983
1317.47/1317.83	c nbDecision=262500 #constraints=91005
1326.66/1327.00	c nbDecision=263000 #constraints=91065
1331.06/1331.48	c nbDecision=263500 #constraints=91101
1342.66/1343.08	c nbDecision=264000 #constraints=91171
1346.36/1346.76	c nbDecision=264500 #constraints=91203
1350.76/1351.19	c nbDecision=265000 #constraints=91237
1363.66/1364.07	c nbDecision=265500 #constraints=91316
1365.76/1366.15	c nbDecision=266000 #constraints=91338
1391.94/1392.32	c nbDecision=266500 #constraints=91496
1395.55/1395.96	c nbDecision=267000 #constraints=91531
1397.55/1397.91	c nbDecision=267500 #constraints=91554
1400.85/1401.28	c nbDecision=268000 #constraints=91580
1403.85/1404.26	c nbDecision=268500 #constraints=91608
1406.35/1406.78	c nbDecision=269000 #constraints=91627
1417.24/1417.61	c nbDecision=269500 #constraints=91708
1418.44/1418.89	c nbDecision=270000 #constraints=91725
1422.34/1422.73	c nbDecision=270500 #constraints=91755
1424.24/1424.69	c nbDecision=271000 #constraints=91777
1428.44/1428.82	c nbDecision=271500 #constraints=91809
1430.24/1430.63	c nbDecision=272000 #constraints=91831
1433.64/1434.03	c nbDecision=272500 #constraints=91859
1438.63/1439.06	c nbDecision=273000 #constraints=91898
1442.74/1443.17	c nbDecision=273500 #constraints=91927
1444.83/1445.26	c nbDecision=274000 #constraints=91945
1447.53/1447.91	c nbDecision=274500 #constraints=91966
1451.33/1451.77	c nbDecision=275000 #constraints=91994
1454.33/1454.77	c nbDecision=275500 #constraints=92027
1455.73/1456.16	c nbDecision=276000 #constraints=92039
1458.93/1459.35	c nbDecision=276500 #constraints=92062
1462.92/1463.34	c nbDecision=277000 #constraints=92094
1464.73/1465.16	c nbDecision=277500 #constraints=92117
1468.42/1468.88	c nbDecision=278000 #constraints=92143
1472.23/1472.69	c nbDecision=278500 #constraints=92179
1474.23/1474.65	c nbDecision=279000 #constraints=92200
1476.43/1476.81	c nbDecision=279500 #constraints=92220
1480.03/1480.42	c nbDecision=280000 #constraints=92251
1481.93/1482.33	c nbDecision=280500 #constraints=92268
1484.53/1484.91	c nbDecision=281000 #constraints=92295
1488.12/1488.57	c nbDecision=281500 #constraints=92324
1490.52/1490.97	c nbDecision=282000 #constraints=92348
1495.22/1495.68	c nbDecision=282500 #constraints=92384
1498.12/1498.57	c nbDecision=283000 #constraints=92402
1500.52/1500.99	c nbDecision=283500 #constraints=92421
1503.72/1504.18	c nbDecision=284000 #constraints=92447
1506.82/1507.20	c nbDecision=284500 #constraints=92467
1508.62/1509.10	c nbDecision=285000 #constraints=92482
1511.32/1511.71	c nbDecision=285500 #constraints=92507
1515.21/1515.65	c nbDecision=286000 #constraints=92537
1516.91/1517.31	c nbDecision=286500 #constraints=92549
1521.92/1522.39	c nbDecision=287000 #constraints=92588
1526.42/1526.87	c nbDecision=287500 #constraints=92616
1528.82/1529.21	c nbDecision=288000 #constraints=92646
1530.42/1530.87	c nbDecision=288500 #constraints=92663
1532.11/1532.53	c nbDecision=289000 #constraints=92678
1536.81/1537.25	c nbDecision=289500 #constraints=92733
1544.71/1545.12	c nbDecision=290000 #constraints=92816
1547.71/1548.15	c nbDecision=290500 #constraints=92854
1551.21/1551.63	c nbDecision=291000 #constraints=92883
1553.10/1553.57	c nbDecision=291500 #constraints=92901
1556.11/1556.56	c nbDecision=292000 #constraints=92933
1559.31/1559.70	c nbDecision=292500 #constraints=92968
1561.90/1562.36	c nbDecision=293000 #constraints=92997
1563.81/1564.26	c nbDecision=293500 #constraints=93027
1565.81/1566.26	c nbDecision=294000 #constraints=93056
1568.80/1569.21	c nbDecision=294500 #constraints=93087
1570.80/1571.24	c nbDecision=295000 #constraints=93105
1572.70/1573.15	c nbDecision=295500 #constraints=93120
1577.40/1577.86	c nbDecision=296000 #constraints=93167
1581.10/1581.51	c nbDecision=296500 #constraints=93198
1582.60/1583.02	c nbDecision=297000 #constraints=93210
1585.20/1585.67	c nbDecision=297500 #constraints=93234
1588.00/1588.41	c nbDecision=298000 #constraints=93264
1590.89/1591.37	c nbDecision=298500 #constraints=93295
1592.90/1593.39	c nbDecision=299000 #constraints=93312
1599.20/1599.67	c nbDecision=299500 #constraints=93374
1604.19/1604.65	c nbDecision=300000 #constraints=93415
1608.49/1608.97	c nbDecision=300500 #constraints=93454
1610.69/1611.15	c nbDecision=301000 #constraints=93471
1615.19/1615.69	c nbDecision=301500 #constraints=93516
1623.79/1624.23	c nbDecision=302000 #constraints=93596
1632.18/1632.64	c nbDecision=302500 #constraints=93667
1640.89/1641.33	c nbDecision=303000 #constraints=93745
1651.18/1651.67	c nbDecision=303500 #constraints=93855
1659.58/1660.00	c nbDecision=304000 #constraints=93941
1669.18/1669.69	c nbDecision=304500 #constraints=94032
1674.67/1675.12	c nbDecision=305000 #constraints=94085
1688.67/1689.10	c nbDecision=305500 #constraints=94202
1706.17/1706.61	c nbDecision=306000 #constraints=94344
1716.36/1716.85	c nbDecision=306500 #constraints=94444
1733.66/1734.19	c nbDecision=307000 #constraints=94606
1747.16/1747.61	c nbDecision=307500 #constraints=94718
1761.65/1762.13	c nbDecision=308000 #constraints=94845
1775.55/1776.01	c nbDecision=308500 #constraints=94955
1794.94/1795.41	c nbDecision=309000 #constraints=95110
1800.04/1800.50	Received signal 15
1800.04/1800.55	
1800.04/1800.55	s UNKNOWN
1800.04/1800.55	
1800.04/1800.55	c user time= 1799.7 s
1800.04/1800.55	c system time= 0.409937 s
1800.04/1800.55	c wall clock time=1800.55

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node26/watcher-357153-1176989025 -o ROOT/results/node26/solver-357153-1176989025 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357153-1176989025/instance-357153-1176989025.opb mod 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.75 0.95 0.97 2/77 27732
/proc/meminfo: memFree=1813688/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=1468 CPUtime=0
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 169 0 0 0 0 0 0 0 20 0 1 0 146819278 1503232 151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279021 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 367 151 126 317 0 46 0

[startup+0.044217 s]
/proc/loadavg: 0.75 0.95 0.97 2/77 27732
/proc/meminfo: memFree=1813688/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=2424 CPUtime=0.03
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 395 0 0 0 3 0 0 0 20 0 1 0 146819278 2482176 377 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 606 377 130 317 0 285 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2424

[startup+0.101222 s]
/proc/loadavg: 0.75 0.95 0.97 2/77 27732
/proc/meminfo: memFree=1813688/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=3744 CPUtime=0.09
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 732 0 0 0 9 0 0 0 20 0 1 0 146819278 3833856 714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134600013 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 936 714 130 317 0 615 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3744

[startup+0.30124 s]
/proc/loadavg: 0.75 0.95 0.97 2/77 27732
/proc/meminfo: memFree=1813688/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=8492 CPUtime=0.28
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 1938 0 0 0 28 0 0 0 22 0 1 0 146819278 8695808 1887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 2123 1887 130 317 0 1802 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8492

[startup+0.701277 s]
/proc/loadavg: 0.75 0.95 0.97 2/77 27732
/proc/meminfo: memFree=1813688/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=17644 CPUtime=0.69
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 4262 0 0 0 67 2 0 0 25 0 1 0 146819278 18067456 4146 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 4411 4146 137 317 0 4090 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17644

[startup+1.50135 s]
/proc/loadavg: 0.75 0.95 0.97 2/78 27733
/proc/meminfo: memFree=1793648/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=23452 CPUtime=1.49
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 5706 0 0 0 147 2 0 0 25 0 1 0 146819278 24014848 5094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 5863 5094 139 317 0 5542 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23452

[startup+3.1015 s]
/proc/loadavg: 0.75 0.95 0.97 2/78 27733
/proc/meminfo: memFree=1793520/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=23452 CPUtime=3.09
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 5706 0 0 0 307 2 0 0 25 0 1 0 146819278 24014848 5094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596306 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 5863 5094 139 317 0 5542 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23452

[startup+6.3018 s]
/proc/loadavg: 0.77 0.95 0.97 2/78 27733
/proc/meminfo: memFree=1793392/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=23452 CPUtime=6.29
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 5709 0 0 0 627 2 0 0 25 0 1 0 146819278 24014848 5097 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715618 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 5863 5097 139 317 0 5542 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23452

[startup+12.7014 s]
/proc/loadavg: 0.79 0.95 0.97 2/78 27733
/proc/meminfo: memFree=1792816/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=24372 CPUtime=12.68
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 5945 0 0 0 1266 2 0 0 25 0 1 0 146819278 24956928 5333 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 6093 5333 139 317 0 5772 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24372

[startup+25.5016 s]
/proc/loadavg: 0.83 0.95 0.97 2/78 27733
/proc/meminfo: memFree=1789744/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=27296 CPUtime=25.48
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 6656 0 0 0 2545 3 0 0 25 0 1 0 146819278 27951104 6044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 6824 6044 139 317 0 6503 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27296

[startup+51.102 s]
/proc/loadavg: 0.89 0.95 0.97 2/78 27733
/proc/meminfo: memFree=1784944/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=32172 CPUtime=51.08
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 7867 0 0 0 5104 4 0 0 25 0 1 0 146819278 32944128 7255 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 8043 7255 139 317 0 7722 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32172

[startup+102.306 s]
/proc/loadavg: 0.95 0.96 0.97 2/78 27733
/proc/meminfo: memFree=1775472/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=41696 CPUtime=102.27
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 10215 0 0 0 10221 6 0 0 25 0 1 0 146819278 42696704 9603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 10424 9603 139 317 0 10103 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 41696

[startup+162.301 s]
/proc/loadavg: 0.98 0.97 0.97 2/78 27733
/proc/meminfo: memFree=1766256/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=51368 CPUtime=162.24
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 12542 0 0 0 16217 7 0 0 25 0 1 0 146819278 52600832 11930 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134534233 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 12842 11930 139 317 0 12521 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 51368

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 27733
/proc/meminfo: memFree=1758576/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=58948 CPUtime=222.23
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 14408 0 0 0 22214 9 0 0 25 0 1 0 146819278 60362752 13796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 14737 13796 139 317 0 14416 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 58948

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 27733
/proc/meminfo: memFree=1753072/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=64432 CPUtime=282.22
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 15790 0 0 0 28211 11 0 0 25 0 1 0 146819278 65978368 15178 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 16108 15178 139 317 0 15787 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 64432

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 27733
/proc/meminfo: memFree=1747568/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=70092 CPUtime=342.21
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 17139 0 0 0 34209 12 0 0 25 0 1 0 146819278 71774208 16527 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 17523 16527 139 317 0 17202 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 70092

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 27733
/proc/meminfo: memFree=1742512/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=75076 CPUtime=402.19
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 18404 0 0 0 40206 13 0 0 25 0 1 0 146819278 76877824 17792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 18769 17792 139 317 0 18448 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 75076

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 27733
/proc/meminfo: memFree=1736944/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=81520 CPUtime=462.17
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 19787 0 0 0 46202 15 0 0 25 0 1 0 146819278 83476480 19175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 20380 19175 139 317 0 20059 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 81520

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 27733
/proc/meminfo: memFree=1732592/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=85748 CPUtime=522.16
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 20861 0 0 0 52200 16 0 0 25 0 1 0 146819278 87805952 20249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 21437 20249 139 317 0 21116 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 85748

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 27733
/proc/meminfo: memFree=1727856/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=90912 CPUtime=582.15
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 22020 0 0 0 58197 18 0 0 25 0 1 0 146819278 93093888 21408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712520 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 22728 21408 139 317 0 22407 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 90912

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 27733
/proc/meminfo: memFree=1723248/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=95688 CPUtime=642.14
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 23152 0 0 0 64195 19 0 0 25 0 1 0 146819278 97984512 22540 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 23922 22540 139 317 0 23601 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 95688


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 27735
/proc/meminfo: memFree=1709040/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=109320 CPUtime=882.07
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 26686 0 0 0 88184 23 0 0 25 0 1 0 146819278 111943680 26074 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 27330 26074 139 317 0 27009 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 109320

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 27735
/proc/meminfo: memFree=1705008/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=113872 CPUtime=942.05
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 27664 0 0 0 94181 24 0 0 25 0 1 0 146819278 116604928 27052 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 28468 27052 139 317 0 28147 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 113872

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 27735
/proc/meminfo: memFree=1701872/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=116936 CPUtime=1002.04
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 28451 0 0 0 100179 25 0 0 25 0 1 0 146819278 119742464 27839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 29234 27839 139 317 0 28913 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 116936

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 27735
/proc/meminfo: memFree=1698800/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=120100 CPUtime=1062.03
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 29212 0 0 0 106177 26 0 0 25 0 1 0 146819278 122982400 28600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 30025 28600 139 317 0 29704 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 120100

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 27735
/proc/meminfo: memFree=1695408/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=124052 CPUtime=1122.01
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 30041 0 0 0 112174 27 0 0 25 0 1 0 146819278 127029248 29429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 31013 29429 139 317 0 30692 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 124052

[startup+1182.3 s]
/proc/loadavg: 1.04 0.99 0.98 2/78 27735
/proc/meminfo: memFree=1691952/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=127508 CPUtime=1182
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 30900 0 0 0 118172 28 0 0 25 0 1 0 146819278 130568192 30288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 31877 30288 139 317 0 31556 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 127508

[startup+1242.3 s]
/proc/loadavg: 1.01 0.99 0.98 2/78 27735
/proc/meminfo: memFree=1689328/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=130020 CPUtime=1241.98
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 31537 0 0 0 124169 29 0 0 25 0 1 0 146819278 133140480 30925 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 32505 30925 139 317 0 32184 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 130020

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 27735
/proc/meminfo: memFree=1686128/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=133148 CPUtime=1301.97
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 32320 0 0 0 130167 30 0 0 25 0 1 0 146819278 136343552 31708 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 33287 31708 139 317 0 32966 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 133148

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 27735
/proc/meminfo: memFree=1682800/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=136780 CPUtime=1361.95
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 33157 0 0 0 136164 31 0 0 25 0 1 0 146819278 140062720 32545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 34195 32545 139 317 0 33874 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 136780

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 27735
/proc/meminfo: memFree=1679472/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=141100 CPUtime=1421.94
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 34208 0 0 0 142162 32 0 0 25 0 1 0 146819278 144486400 33365 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718306 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 35275 33365 139 317 0 34954 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 141100

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 27735
/proc/meminfo: memFree=1676144/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=144244 CPUtime=1481.93
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 35054 0 0 0 148160 33 0 0 25 0 1 0 146819278 147705856 34211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 36061 34211 139 317 0 35740 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 144244

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 27735
/proc/meminfo: memFree=1672752/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=147528 CPUtime=1541.91
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 35891 0 0 0 154157 34 0 0 25 0 1 0 146819278 151068672 35048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 36882 35048 139 317 0 36561 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 147528

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 27735
/proc/meminfo: memFree=1667120/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=154236 CPUtime=1601.9
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 37526 0 0 0 160154 36 0 0 25 0 1 0 146819278 157937664 36452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 38559 36452 139 317 0 38238 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 154236

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 27735
/proc/meminfo: memFree=1659120/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=161804 CPUtime=1661.88
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 39490 0 0 0 166151 37 0 0 25 0 1 0 146819278 165687296 38416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 40451 38416 139 317 0 40130 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 161804

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 27735
/proc/meminfo: memFree=1650800/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=170276 CPUtime=1721.86
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 41556 0 0 0 172148 38 0 0 25 0 1 0 146819278 174362624 40482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 42569 40482 139 317 0 42248 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 170276

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 27735
/proc/meminfo: memFree=1642480/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=178588 CPUtime=1781.85
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 43624 0 0 0 178145 40 0 0 25 0 1 0 146819278 182874112 42550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718306 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 44647 42550 139 317 0 44326 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 178588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 27735
/proc/meminfo: memFree=1639664/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=181364 CPUtime=1800.04
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 44309 0 0 0 179964 40 0 0 25 0 1 0 146819278 185716736 43235 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 45341 43235 139 317 0 45020 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 181364

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 27735
/proc/meminfo: memFree=1639664/2055920 swapFree=4170240/4192956
[pid=27732] ppid=27730 vsize=181364 CPUtime=1800.04
/proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 44309 0 0 0 179964 40 0 0 25 0 1 0 146819278 185716736 43235 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27732/statm: 45341 43235 139 317 0 45020 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 181364

Child status: 0
Real time (s): 1800.6
CPU time (s): 1800.16
CPU user time (s): 1799.71
CPU system time (s): 0.441932
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 181364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.441932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44325
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 37213

runsolver used 2.11968 second user time and 4.46332 second system time

The end

Launcher Data (download as text)

Begin job on node26 on Thu Apr 19 13:23:45 UTC 2007

IDJOB= 357153
IDBENCH= 2173
IDSOLVER= 172
FILE ID= node26/357153-1176989025

PBS_JOBID= 4630461

Free space on /tmp= 66434 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g125.18.opb
COMMAND LINE= oree /tmp/evaluation/357153-1176989025/instance-357153-1176989025.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node26/watcher-357153-1176989025 -o ROOT/results/node26/solver-357153-1176989025 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357153-1176989025/instance-357153-1176989025.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  18a894a2ba4f3cf6bad1b497c8fca8eb

RANDOM SEED= 189975004

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node26.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1814160 kB
Buffers:         29392 kB
Cached:         125852 kB
SwapCached:       3128 kB
Active:          80656 kB
Inactive:        97200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1814160 kB
SwapTotal:     4192956 kB
SwapFree:      4170240 kB
Dirty:            3300 kB
Writeback:           0 kB
Mapped:          30172 kB
Slab:            49480 kB
Committed_AS:  1028820 kB
PageTables:       1716 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66434 MiB

End job on node26 on Thu Apr 19 13:53:47 UTC 2007