Trace number 357157

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.2 1800.9

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g125.17.opb
MD5SUM7d701b956113b6fc93a1922e71200e27
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 variables4250
Total number of constraints68397
Number of constraints which are clauses68397
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 constraint17
Number of terms in the objective function 4250
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 4250
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 4250
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.45	c ...done
0.39/0.45	c #vars=4250 #constraints=68398 hasObjective=yes
0.79/0.81	c res. mode=mod
0.79/0.81	c VSIDS like heuristics
0.79/0.81	c complete search running
3.99/4.03	c restart after 401 decisions
4.69/4.71	c nbDecision=500 #constraints=68695
7.09/7.13	c restart after 801 decisions
8.69/8.79	c nbDecision=1000 #constraints=69009
13.89/13.96	c nbDecision=1500 #constraints=69344
14.99/15.07	c restart after 1601 decisions
19.28/19.37	c nbDecision=2000 #constraints=69660
22.49/22.59	c nbDecision=2500 #constraints=69844
22.89/22.97	c nbDecision=3000 #constraints=69856
23.09/23.13	c restart after 3201 decisions
23.39/23.46	c nbDecision=3500 #constraints=69867
23.79/23.80	c nbDecision=4000 #constraints=69879
24.19/24.24	c nbDecision=4500 #constraints=69894
24.89/24.92	c nbDecision=5000 #constraints=69925
25.29/25.36	c nbDecision=5500 #constraints=69941
25.69/25.80	c nbDecision=6000 #constraints=69956
26.08/26.15	c restart after 6401 decisions
26.29/26.34	c nbDecision=6500 #constraints=69967
26.78/26.86	c nbDecision=7000 #constraints=69987
27.48/27.53	c nbDecision=7500 #constraints=70017
27.98/28.05	c nbDecision=8000 #constraints=70038
28.38/28.50	c nbDecision=8500 #constraints=70053
28.88/28.96	c nbDecision=9000 #constraints=70068
29.28/29.38	c nbDecision=9500 #constraints=70082
30.08/30.17	c nbDecision=10000 #constraints=70115
30.58/30.64	c nbDecision=10500 #constraints=70131
32.17/32.23	c nbDecision=11000 #constraints=70210
33.17/33.28	c nbDecision=11500 #constraints=70260
33.67/33.74	c nbDecision=12000 #constraints=70274
34.17/34.26	c nbDecision=12500 #constraints=70292
34.67/34.78	c restart after 12801 decisions
34.97/35.06	c nbDecision=13000 #constraints=70317
35.37/35.47	c nbDecision=13500 #constraints=70330
35.87/35.99	c nbDecision=14000 #constraints=70349
36.47/36.55	c nbDecision=14500 #constraints=70371
37.17/37.27	c nbDecision=15000 #constraints=70403
37.77/37.83	c nbDecision=15500 #constraints=70426
38.17/38.26	c nbDecision=16000 #constraints=70440
38.67/38.73	c nbDecision=16500 #constraints=70454
39.18/39.22	c nbDecision=17000 #constraints=70472
39.98/40.03	c nbDecision=17500 #constraints=70504
40.38/40.49	c nbDecision=18000 #constraints=70519
42.48/42.56	c nbDecision=18500 #constraints=70611
42.98/43.02	c nbDecision=19000 #constraints=70627
43.38/43.48	c nbDecision=19500 #constraints=70641
44.08/44.13	c nbDecision=20000 #constraints=70664
44.58/44.60	c nbDecision=20500 #constraints=70679
44.98/45.04	c nbDecision=21000 #constraints=70694
45.58/45.62	c nbDecision=21500 #constraints=70714
46.18/46.25	c nbDecision=22000 #constraints=70739
46.77/46.87	c nbDecision=22500 #constraints=70761
47.37/47.43	c nbDecision=23000 #constraints=70779
47.97/48.02	c nbDecision=23500 #constraints=70801
48.77/48.87	c nbDecision=24000 #constraints=70832
49.27/49.32	c nbDecision=24500 #constraints=70846
51.47/51.59	c nbDecision=25000 #constraints=70939
51.97/52.07	c nbDecision=25500 #constraints=70954
52.07/52.19	c restart after 25601 decisions
52.87/52.97	c nbDecision=26000 #constraints=70976
53.37/53.49	c nbDecision=26500 #constraints=70993
53.87/53.91	c nbDecision=27000 #constraints=71005
54.67/54.76	c nbDecision=27500 #constraints=71037
55.07/55.19	c nbDecision=28000 #constraints=71049
55.77/55.86	c nbDecision=28500 #constraints=71075
56.57/56.69	c nbDecision=29000 #constraints=71106
57.07/57.10	c nbDecision=29500 #constraints=71118
59.16/59.26	c nbDecision=30000 #constraints=71213
59.76/59.87	c nbDecision=30500 #constraints=71237
62.47/62.51	c nbDecision=31000 #constraints=71346
62.97/63.00	c nbDecision=31500 #constraints=71366
63.47/63.55	c nbDecision=32000 #constraints=71386
64.17/64.21	c nbDecision=32500 #constraints=71411
64.77/64.85	c nbDecision=33000 #constraints=71437
65.27/65.36	c nbDecision=33500 #constraints=71456
65.87/65.92	c nbDecision=34000 #constraints=71478
66.36/66.48	c nbDecision=34500 #constraints=71497
67.07/67.13	c nbDecision=35000 #constraints=71523
69.46/69.56	c nbDecision=35500 #constraints=71619
70.06/70.10	c nbDecision=36000 #constraints=71634
70.46/70.57	c nbDecision=36500 #constraints=71646
71.36/71.48	c nbDecision=37000 #constraints=71678
71.86/71.90	c nbDecision=37500 #constraints=71692
72.46/72.52	c nbDecision=38000 #constraints=71711
73.16/73.22	c nbDecision=38500 #constraints=71734
73.86/73.92	c nbDecision=39000 #constraints=71759
74.66/74.75	c nbDecision=39500 #constraints=71790
75.26/75.34	c nbDecision=40000 #constraints=71808
75.77/75.90	c nbDecision=40500 #constraints=71823
76.87/77.00	c nbDecision=41000 #constraints=71862
77.46/77.53	c nbDecision=41500 #constraints=71878
78.07/78.13	c nbDecision=42000 #constraints=71897
81.06/81.15	c nbDecision=42500 #constraints=72005
81.46/81.54	c nbDecision=43000 #constraints=72015
82.26/82.39	c nbDecision=43500 #constraints=72044
82.76/82.88	c nbDecision=44000 #constraints=72058
83.36/83.41	c nbDecision=44500 #constraints=72073
84.06/84.16	c nbDecision=45000 #constraints=72095
85.06/85.14	c nbDecision=45500 #constraints=72131
85.66/85.72	c nbDecision=46000 #constraints=72149
86.26/86.37	c nbDecision=46500 #constraints=72169
86.96/87.02	c nbDecision=47000 #constraints=72191
87.96/88.01	c nbDecision=47500 #constraints=72223
90.45/90.54	c nbDecision=48000 #constraints=72302
90.95/91.02	c nbDecision=48500 #constraints=72316
91.55/91.64	c nbDecision=49000 #constraints=72334
92.26/92.36	c nbDecision=49500 #constraints=72355
93.05/93.18	c nbDecision=50000 #constraints=72379
93.75/93.89	c nbDecision=50500 #constraints=72399
95.05/95.12	c nbDecision=51000 #constraints=72438
95.25/95.31	c restart after 51201 decisions
95.95/96.00	c nbDecision=51500 #constraints=72451
98.35/98.48	c nbDecision=52000 #constraints=72536
101.15/101.21	c nbDecision=52500 #constraints=72620
101.65/101.78	c nbDecision=53000 #constraints=72641
102.35/102.42	c nbDecision=53500 #constraints=72662
103.15/103.27	c nbDecision=54000 #constraints=72693
103.95/104.05	c nbDecision=54500 #constraints=72718
104.55/104.67	c nbDecision=55000 #constraints=72737
105.15/105.28	c nbDecision=55500 #constraints=72758
105.95/106.06	c nbDecision=56000 #constraints=72784
106.74/106.82	c nbDecision=56500 #constraints=72809
109.45/109.52	c nbDecision=57000 #constraints=72893
109.96/110.08	c nbDecision=57500 #constraints=72911
110.85/110.97	c nbDecision=58000 #constraints=72941
111.55/111.66	c nbDecision=58500 #constraints=72963
112.35/112.49	c nbDecision=59000 #constraints=72991
112.95/113.07	c nbDecision=59500 #constraints=73007
113.75/113.87	c nbDecision=60000 #constraints=73034
114.45/114.57	c nbDecision=60500 #constraints=73056
115.35/115.48	c nbDecision=61000 #constraints=73088
116.35/116.44	c nbDecision=61500 #constraints=73118
119.25/119.38	c nbDecision=62000 #constraints=73200
119.75/119.90	c nbDecision=62500 #constraints=73213
120.95/121.04	c nbDecision=63000 #constraints=73245
121.45/121.55	c nbDecision=63500 #constraints=73257
122.34/122.46	c nbDecision=64000 #constraints=73280
123.44/123.56	c nbDecision=64500 #constraints=73316
124.34/124.44	c nbDecision=65000 #constraints=73344
125.35/125.48	c nbDecision=65500 #constraints=73380
126.14/126.29	c nbDecision=66000 #constraints=73410
127.24/127.37	c nbDecision=66500 #constraints=73448
128.24/128.35	c nbDecision=67000 #constraints=73476
129.54/129.65	c nbDecision=67500 #constraints=73509
133.14/133.29	c nbDecision=68000 #constraints=73609
133.84/133.93	c nbDecision=68500 #constraints=73626
135.03/135.13	c nbDecision=69000 #constraints=73659
136.44/136.54	c nbDecision=69500 #constraints=73704
137.24/137.32	c nbDecision=70000 #constraints=73726
139.84/139.90	c nbDecision=70500 #constraints=73797
142.14/142.25	c nbDecision=71000 #constraints=73856
143.04/143.14	c nbDecision=71500 #constraints=73883
143.84/143.95	c nbDecision=72000 #constraints=73904
144.54/144.62	c nbDecision=72500 #constraints=73924
145.34/145.43	c nbDecision=73000 #constraints=73949
146.33/146.48	c nbDecision=73500 #constraints=73979
147.13/147.23	c nbDecision=74000 #constraints=73998
148.23/148.36	c nbDecision=74500 #constraints=74030
151.03/151.11	c nbDecision=75000 #constraints=74096
152.03/152.17	c nbDecision=75500 #constraints=74127
154.43/154.55	c nbDecision=76000 #constraints=74182
155.43/155.53	c nbDecision=76500 #constraints=74214
159.43/159.54	c nbDecision=77000 #constraints=74311
160.03/160.18	c nbDecision=77500 #constraints=74326
162.13/162.25	c nbDecision=78000 #constraints=74386
162.93/163.02	c nbDecision=78500 #constraints=74407
165.93/166.10	c nbDecision=79000 #constraints=74482
168.03/168.18	c nbDecision=79500 #constraints=74527
169.03/169.15	c nbDecision=80000 #constraints=74550
169.83/169.98	c nbDecision=80500 #constraints=74569
170.93/171.06	c nbDecision=81000 #constraints=74597
171.93/172.03	c nbDecision=81500 #constraints=74623
173.13/173.26	c nbDecision=82000 #constraints=74655
180.12/180.22	c nbDecision=82500 #constraints=74800
189.52/189.69	c nbDecision=83000 #constraints=74976
207.51/207.66	c nbDecision=83500 #constraints=75317
223.41/223.57	c nbDecision=84000 #constraints=75596
224.21/224.31	c nbDecision=84500 #constraints=75610
225.21/225.33	c nbDecision=85000 #constraints=75629
226.31/226.42	c nbDecision=85500 #constraints=75651
227.61/227.79	c nbDecision=86000 #constraints=75676
228.51/228.67	c nbDecision=86500 #constraints=75691
229.41/229.52	c nbDecision=87000 #constraints=75705
230.61/230.76	c nbDecision=87500 #constraints=75728
231.61/231.74	c nbDecision=88000 #constraints=75746
233.31/233.44	c nbDecision=88500 #constraints=75780
234.21/234.32	c nbDecision=89000 #constraints=75797
235.21/235.31	c nbDecision=89500 #constraints=75814
236.11/236.28	c nbDecision=90000 #constraints=75833
237.51/237.62	c nbDecision=90500 #constraints=75864
241.20/241.32	c nbDecision=91000 #constraints=75933
245.00/245.12	c nbDecision=91500 #constraints=75999
246.00/246.11	c nbDecision=92000 #constraints=76022
247.00/247.15	c nbDecision=92500 #constraints=76045
248.60/248.78	c nbDecision=93000 #constraints=76078
249.50/249.63	c nbDecision=93500 #constraints=76093
250.30/250.40	c nbDecision=94000 #constraints=76105
251.19/251.32	c nbDecision=94500 #constraints=76124
252.80/252.97	c nbDecision=95000 #constraints=76157
253.79/253.97	c nbDecision=95500 #constraints=76175
255.10/255.21	c nbDecision=96000 #constraints=76200
256.59/256.72	c nbDecision=96500 #constraints=76228
257.49/257.65	c nbDecision=97000 #constraints=76242
258.59/258.72	c nbDecision=97500 #constraints=76264
259.89/260.05	c nbDecision=98000 #constraints=76297
261.39/261.57	c nbDecision=98500 #constraints=76331
268.30/268.42	c nbDecision=99000 #constraints=76433
269.09/269.26	c nbDecision=99500 #constraints=76448
270.09/270.24	c nbDecision=100000 #constraints=76466
271.69/271.83	c nbDecision=100500 #constraints=76493
272.79/273.00	c nbDecision=101000 #constraints=76514
273.59/273.79	c nbDecision=101500 #constraints=76529
274.80/274.92	c nbDecision=102000 #constraints=76552
275.79/275.93	c restart after 102401 decisions
276.69/276.81	c nbDecision=102500 #constraints=76569
277.69/277.84	c nbDecision=103000 #constraints=76589
279.39/279.53	c nbDecision=103500 #constraints=76616
280.39/280.51	c nbDecision=104000 #constraints=76632
281.49/281.63	c nbDecision=104500 #constraints=76652
282.69/282.82	c nbDecision=105000 #constraints=76678
283.78/284.00	c nbDecision=105500 #constraints=76700
290.38/290.59	c nbDecision=106000 #constraints=76800
291.39/291.56	c nbDecision=106500 #constraints=76817
293.18/293.31	c nbDecision=107000 #constraints=76843
294.98/295.17	c nbDecision=107500 #constraints=76871
296.38/296.55	c nbDecision=108000 #constraints=76892
302.87/303.03	c nbDecision=108500 #constraints=76992
304.37/304.52	c nbDecision=109000 #constraints=77016
305.77/305.92	c nbDecision=109500 #constraints=77038
307.27/307.47	c nbDecision=110000 #constraints=77065
308.67/308.89	c nbDecision=110500 #constraints=77090
309.87/310.01	c nbDecision=111000 #constraints=77110
315.98/316.17	c nbDecision=111500 #constraints=77198
317.28/317.47	c nbDecision=112000 #constraints=77220
318.88/319.06	c nbDecision=112500 #constraints=77252
319.88/320.06	c nbDecision=113000 #constraints=77269
321.37/321.53	c nbDecision=113500 #constraints=77292
322.87/323.05	c nbDecision=114000 #constraints=77318
324.28/324.49	c nbDecision=114500 #constraints=77342
325.38/325.57	c nbDecision=115000 #constraints=77359
332.17/332.33	c nbDecision=115500 #constraints=77448
333.17/333.37	c nbDecision=116000 #constraints=77466
334.76/334.93	c nbDecision=116500 #constraints=77494
335.96/336.14	c nbDecision=117000 #constraints=77515
337.26/337.47	c nbDecision=117500 #constraints=77534
339.46/339.64	c nbDecision=118000 #constraints=77568
346.16/346.32	c nbDecision=118500 #constraints=77656
347.86/348.00	c nbDecision=119000 #constraints=77680
348.66/348.80	c nbDecision=119500 #constraints=77692
350.76/350.96	c nbDecision=120000 #constraints=77729
351.66/351.88	c nbDecision=120500 #constraints=77743
360.46/360.70	c nbDecision=121000 #constraints=77851
361.36/361.52	c nbDecision=121500 #constraints=77867
362.56/362.73	c nbDecision=122000 #constraints=77891
364.36/364.53	c nbDecision=122500 #constraints=77920
365.56/365.79	c nbDecision=123000 #constraints=77940
367.35/367.51	c nbDecision=123500 #constraints=77967
368.75/368.92	c nbDecision=124000 #constraints=77993
374.25/374.43	c nbDecision=124500 #constraints=78062
375.35/375.59	c nbDecision=125000 #constraints=78086
376.85/377.07	c nbDecision=125500 #constraints=78111
378.45/378.63	c nbDecision=126000 #constraints=78136
379.84/380.09	c nbDecision=126500 #constraints=78159
381.45/381.68	c nbDecision=127000 #constraints=78187
387.95/388.17	c nbDecision=127500 #constraints=78269
388.85/389.06	c nbDecision=128000 #constraints=78282
390.45/390.61	c nbDecision=128500 #constraints=78309
392.45/392.70	c nbDecision=129000 #constraints=78344
393.35/393.57	c nbDecision=129500 #constraints=78356
396.04/396.28	c nbDecision=130000 #constraints=78394
398.05/398.30	c nbDecision=130500 #constraints=78429
405.64/405.83	c nbDecision=131000 #constraints=78524
407.94/408.15	c nbDecision=131500 #constraints=78554
409.24/409.44	c nbDecision=132000 #constraints=78578
416.23/416.42	c nbDecision=132500 #constraints=78663
418.03/418.20	c nbDecision=133000 #constraints=78692
419.33/419.54	c nbDecision=133500 #constraints=78714
420.83/421.03	c nbDecision=134000 #constraints=78739
422.43/422.69	c nbDecision=134500 #constraints=78767
423.73/423.98	c nbDecision=135000 #constraints=78788
429.52/429.75	c nbDecision=135500 #constraints=78863
432.82/433.08	c nbDecision=136000 #constraints=78911
443.53/443.75	c nbDecision=136500 #constraints=79035
444.53/444.73	c nbDecision=137000 #constraints=79049
449.82/450.05	c nbDecision=137500 #constraints=79118
453.82/454.03	c nbDecision=138000 #constraints=79167
455.52/455.74	c nbDecision=138500 #constraints=79188
486.31/486.58	c nbDecision=139000 #constraints=79519
488.21/488.45	c nbDecision=139500 #constraints=79544
489.31/489.56	c nbDecision=140000 #constraints=79561
491.31/491.52	c nbDecision=140500 #constraints=79587
492.91/493.12	c nbDecision=141000 #constraints=79607
494.60/494.87	c nbDecision=141500 #constraints=79630
495.81/496.09	c nbDecision=142000 #constraints=79645
498.01/498.23	c nbDecision=142500 #constraints=79673
500.31/500.57	c nbDecision=143000 #constraints=79709
502.80/503.09	c nbDecision=143500 #constraints=79742
504.80/505.00	c nbDecision=144000 #constraints=79771
512.19/512.45	c nbDecision=144500 #constraints=79860
513.59/513.87	c nbDecision=145000 #constraints=79883
515.19/515.47	c nbDecision=145500 #constraints=79910
517.29/517.51	c nbDecision=146000 #constraints=79937
518.70/518.99	c nbDecision=146500 #constraints=79960
520.20/520.40	c nbDecision=147000 #constraints=79980
522.40/522.64	c nbDecision=147500 #constraints=80007
523.80/524.03	c nbDecision=148000 #constraints=80026
525.60/525.86	c nbDecision=148500 #constraints=80049
527.39/527.67	c nbDecision=149000 #constraints=80072
529.49/529.74	c nbDecision=149500 #constraints=80099
532.29/532.57	c nbDecision=150000 #constraints=80137
538.19/538.43	c nbDecision=150500 #constraints=80203
541.79/542.09	c nbDecision=151000 #constraints=80243
544.19/544.43	c nbDecision=151500 #constraints=80269
546.68/547.00	c nbDecision=152000 #constraints=80297
547.78/548.02	c nbDecision=152500 #constraints=80310
554.08/554.32	c nbDecision=153000 #constraints=80382
555.68/555.99	c nbDecision=153500 #constraints=80403
557.28/557.53	c nbDecision=154000 #constraints=80422
567.28/567.50	c nbDecision=154500 #constraints=80517
569.67/569.93	c nbDecision=155000 #constraints=80546
572.07/572.33	c nbDecision=155500 #constraints=80574
579.78/580.02	c nbDecision=156000 #constraints=80657
581.18/581.46	c nbDecision=156500 #constraints=80675
583.28/583.56	c nbDecision=157000 #constraints=80704
584.88/585.19	c nbDecision=157500 #constraints=80727
587.37/587.65	c nbDecision=158000 #constraints=80757
597.97/598.23	c nbDecision=158500 #constraints=80863
600.27/600.57	c nbDecision=159000 #constraints=80890
614.36/614.67	c nbDecision=159500 #constraints=81004
616.26/616.56	c nbDecision=160000 #constraints=81028
618.36/618.60	c nbDecision=160500 #constraints=81055
619.96/620.28	c nbDecision=161000 #constraints=81073
621.65/621.92	c nbDecision=161500 #constraints=81092
629.05/629.30	c nbDecision=162000 #constraints=81169
631.25/631.54	c nbDecision=162500 #constraints=81196
640.75/641.01	c nbDecision=163000 #constraints=81285
642.55/642.88	c nbDecision=163500 #constraints=81307
644.65/644.97	c nbDecision=164000 #constraints=81332
656.74/657.03	c nbDecision=164500 #constraints=81431
658.94/659.21	c nbDecision=165000 #constraints=81455
661.14/661.49	c nbDecision=165500 #constraints=81480
666.84/667.16	c nbDecision=166000 #constraints=81533
674.84/675.17	c nbDecision=166500 #constraints=81604
695.23/695.51	c nbDecision=167000 #constraints=81778
696.43/696.79	c nbDecision=167500 #constraints=81795
697.73/698.01	c nbDecision=168000 #constraints=81808
699.72/700.03	c nbDecision=168500 #constraints=81830
701.62/701.93	c nbDecision=169000 #constraints=81852
704.12/704.43	c nbDecision=169500 #constraints=81882
707.32/707.65	c nbDecision=170000 #constraints=81917
708.82/709.14	c nbDecision=170500 #constraints=81934
710.62/710.95	c nbDecision=171000 #constraints=81955
712.12/712.43	c nbDecision=171500 #constraints=81974
713.42/713.77	c nbDecision=172000 #constraints=81991
716.21/716.57	c nbDecision=172500 #constraints=82026
727.41/727.77	c nbDecision=173000 #constraints=82138
728.71/729.04	c nbDecision=173500 #constraints=82154
730.02/730.33	c nbDecision=174000 #constraints=82170
732.21/732.59	c nbDecision=174500 #constraints=82198
734.81/735.18	c nbDecision=175000 #constraints=82226
736.01/736.33	c nbDecision=175500 #constraints=82242
737.81/738.13	c nbDecision=176000 #constraints=82263
739.51/739.89	c nbDecision=176500 #constraints=82284
742.60/742.91	c nbDecision=177000 #constraints=82317
744.20/744.54	c nbDecision=177500 #constraints=82334
745.80/746.18	c nbDecision=178000 #constraints=82355
747.20/747.55	c nbDecision=178500 #constraints=82372
748.40/748.73	c nbDecision=179000 #constraints=82388
751.50/751.83	c nbDecision=179500 #constraints=82427
757.80/758.15	c nbDecision=180000 #constraints=82483
760.00/760.30	c nbDecision=180500 #constraints=82503
761.40/761.76	c nbDecision=181000 #constraints=82517
763.60/763.95	c nbDecision=181500 #constraints=82540
769.50/769.88	c nbDecision=182000 #constraints=82590
771.40/771.75	c nbDecision=182500 #constraints=82608
773.30/773.62	c nbDecision=183000 #constraints=82626
785.39/785.75	c nbDecision=183500 #constraints=82729
786.69/787.04	c nbDecision=184000 #constraints=82745
788.59/788.94	c nbDecision=184500 #constraints=82765
791.18/791.59	c nbDecision=185000 #constraints=82795
793.89/794.30	c nbDecision=185500 #constraints=82824
800.08/800.46	c nbDecision=186000 #constraints=82882
803.28/803.67	c nbDecision=186500 #constraints=82919
804.98/805.34	c nbDecision=187000 #constraints=82939
807.48/807.86	c nbDecision=187500 #constraints=82965
815.58/815.94	c nbDecision=188000 #constraints=83037
825.37/825.73	c nbDecision=188500 #constraints=83118
837.57/837.93	c nbDecision=189000 #constraints=83209
838.97/839.37	c nbDecision=189500 #constraints=83227
840.97/841.40	c nbDecision=190000 #constraints=83249
843.76/844.16	c nbDecision=190500 #constraints=83282
845.57/845.97	c nbDecision=191000 #constraints=83303
848.06/848.47	c nbDecision=191500 #constraints=83328
854.47/854.81	c nbDecision=192000 #constraints=83378
855.76/856.17	c nbDecision=192500 #constraints=83396
858.06/858.44	c nbDecision=193000 #constraints=83421
860.56/860.98	c nbDecision=193500 #constraints=83450
868.06/868.48	c nbDecision=194000 #constraints=83507
883.95/884.38	c nbDecision=194500 #constraints=83617
889.74/890.19	c nbDecision=195000 #constraints=83673
891.75/892.13	c nbDecision=195500 #constraints=83697
895.05/895.47	c nbDecision=196000 #constraints=83729
896.74/897.18	c nbDecision=196500 #constraints=83751
898.64/899.02	c nbDecision=197000 #constraints=83774
901.04/901.44	c nbDecision=197500 #constraints=83801
906.94/907.37	c nbDecision=198000 #constraints=83851
909.14/909.54	c nbDecision=198500 #constraints=83871
911.04/911.46	c nbDecision=199000 #constraints=83892
912.74/913.16	c nbDecision=199500 #constraints=83910
915.54/915.99	c nbDecision=200000 #constraints=83936
922.03/922.48	c nbDecision=200500 #constraints=83981
924.74/925.13	c nbDecision=201000 #constraints=84009
926.83/927.26	c nbDecision=201500 #constraints=84031
928.93/929.34	c nbDecision=202000 #constraints=84050
931.23/931.60	c nbDecision=202500 #constraints=84073
938.53/938.92	c nbDecision=203000 #constraints=84126
941.13/941.57	c nbDecision=203500 #constraints=84151
944.53/944.95	c nbDecision=204000 #constraints=84179
956.42/956.80	c nbDecision=204500 #constraints=84257
958.02/958.41	c restart after 204801 decisions
960.72/961.18	c nbDecision=205000 #constraints=84281
963.72/964.10	c nbDecision=205500 #constraints=84311
965.62/966.09	c nbDecision=206000 #constraints=84333
968.02/968.43	c nbDecision=206500 #constraints=84359
970.52/970.92	c nbDecision=207000 #constraints=84385
972.12/972.57	c nbDecision=207500 #constraints=84402
984.21/984.69	c nbDecision=208000 #constraints=84502
986.71/987.16	c nbDecision=208500 #constraints=84527
990.21/990.63	c nbDecision=209000 #constraints=84555
1001.80/1002.24	c nbDecision=209500 #constraints=84640
1019.31/1019.72	c nbDecision=210000 #constraints=84751
1020.50/1020.96	c nbDecision=210500 #constraints=84766
1023.00/1023.46	c nbDecision=211000 #constraints=84790
1024.80/1025.24	c nbDecision=211500 #constraints=84808
1027.09/1027.56	c nbDecision=212000 #constraints=84834
1029.79/1030.29	c nbDecision=212500 #constraints=84862
1036.59/1037.04	c nbDecision=213000 #constraints=84915
1038.19/1038.63	c nbDecision=213500 #constraints=84929
1040.09/1040.58	c nbDecision=214000 #constraints=84947
1041.89/1042.33	c nbDecision=214500 #constraints=84966
1044.49/1044.99	c nbDecision=215000 #constraints=84990
1051.28/1051.74	c nbDecision=215500 #constraints=85036
1053.29/1053.79	c nbDecision=216000 #constraints=85054
1055.28/1055.70	c nbDecision=216500 #constraints=85071
1058.08/1058.55	c nbDecision=217000 #constraints=85099
1065.49/1065.96	c nbDecision=217500 #constraints=85150
1068.18/1068.62	c nbDecision=218000 #constraints=85172
1070.68/1071.11	c nbDecision=218500 #constraints=85196
1083.98/1084.40	c nbDecision=219000 #constraints=85287
1086.57/1087.07	c nbDecision=219500 #constraints=85315
1089.68/1090.12	c nbDecision=220000 #constraints=85345
1091.97/1092.42	c nbDecision=220500 #constraints=85368
1094.87/1095.39	c nbDecision=221000 #constraints=85395
1097.47/1097.94	c nbDecision=221500 #constraints=85421
1099.77/1100.26	c nbDecision=222000 #constraints=85443
1101.97/1102.43	c nbDecision=222500 #constraints=85464
1105.96/1106.41	c nbDecision=223000 #constraints=85502
1112.56/1113.09	c nbDecision=223500 #constraints=85554
1117.76/1118.24	c nbDecision=224000 #constraints=85603
1124.96/1125.41	c nbDecision=224500 #constraints=85654
1129.26/1129.71	c nbDecision=225000 #constraints=85695
1131.65/1132.19	c nbDecision=225500 #constraints=85717
1134.15/1134.64	c nbDecision=226000 #constraints=85741
1137.45/1137.93	c nbDecision=226500 #constraints=85772
1140.25/1140.77	c nbDecision=227000 #constraints=85800
1142.96/1143.45	c nbDecision=227500 #constraints=85827
1145.36/1145.83	c nbDecision=228000 #constraints=85850
1147.65/1148.18	c nbDecision=228500 #constraints=85873
1150.35/1150.83	c nbDecision=229000 #constraints=85897
1159.95/1160.44	c nbDecision=229500 #constraints=85967
1162.15/1162.68	c nbDecision=230000 #constraints=85990
1164.45/1164.94	c nbDecision=230500 #constraints=86015
1166.65/1167.19	c nbDecision=231000 #constraints=86038
1169.85/1170.30	c nbDecision=231500 #constraints=86063
1171.44/1171.98	c nbDecision=232000 #constraints=86080
1173.94/1174.41	c nbDecision=232500 #constraints=86105
1180.04/1180.52	c nbDecision=233000 #constraints=86160
1181.53/1182.09	c nbDecision=233500 #constraints=86175
1193.54/1194.07	c nbDecision=234000 #constraints=86258
1196.83/1197.38	c nbDecision=234500 #constraints=86291
1202.33/1202.89	c nbDecision=235000 #constraints=86334
1216.62/1217.16	c nbDecision=235500 #constraints=86427
1219.32/1219.84	c nbDecision=236000 #constraints=86452
1222.22/1222.73	c nbDecision=236500 #constraints=86475
1225.32/1225.88	c nbDecision=237000 #constraints=86500
1227.52/1228.09	c nbDecision=237500 #constraints=86520
1230.21/1230.76	c nbDecision=238000 #constraints=86542
1245.72/1246.26	c nbDecision=238500 #constraints=86650
1248.21/1248.74	c nbDecision=239000 #constraints=86671
1252.32/1252.89	c nbDecision=239500 #constraints=86704
1254.62/1255.14	c nbDecision=240000 #constraints=86722
1267.81/1268.38	c nbDecision=240500 #constraints=86807
1270.10/1270.69	c nbDecision=241000 #constraints=86828
1272.10/1272.66	c nbDecision=241500 #constraints=86847
1274.40/1274.93	c nbDecision=242000 #constraints=86865
1277.20/1277.74	c nbDecision=242500 #constraints=86890
1289.29/1289.89	c nbDecision=243000 #constraints=86969
1291.69/1292.22	c nbDecision=243500 #constraints=86993
1300.79/1301.33	c nbDecision=244000 #constraints=87053
1305.68/1306.21	c nbDecision=244500 #constraints=87093
1318.78/1319.36	c nbDecision=245000 #constraints=87177
1322.88/1323.50	c nbDecision=245500 #constraints=87211
1336.18/1336.70	c nbDecision=246000 #constraints=87294
1338.28/1338.83	c nbDecision=246500 #constraints=87315
1364.36/1364.94	c nbDecision=247000 #constraints=87474
1366.86/1367.42	c nbDecision=247500 #constraints=87503
1370.37/1370.93	c nbDecision=248000 #constraints=87538
1373.66/1374.30	c nbDecision=248500 #constraints=87564
1376.67/1377.27	c nbDecision=249000 #constraints=87593
1385.86/1386.45	c nbDecision=249500 #constraints=87662
1390.25/1390.89	c nbDecision=250000 #constraints=87701
1392.95/1393.59	c nbDecision=250500 #constraints=87724
1395.76/1396.33	c nbDecision=251000 #constraints=87751
1398.35/1398.99	c nbDecision=251500 #constraints=87778
1402.15/1402.70	c nbDecision=252000 #constraints=87812
1405.45/1406.02	c nbDecision=252500 #constraints=87840
1407.35/1407.93	c nbDecision=253000 #constraints=87859
1414.65/1415.28	c nbDecision=253500 #constraints=87910
1417.25/1417.82	c nbDecision=254000 #constraints=87934
1419.64/1420.21	c nbDecision=254500 #constraints=87952
1423.24/1423.87	c nbDecision=255000 #constraints=87980
1426.34/1426.98	c nbDecision=255500 #constraints=88013
1429.24/1429.84	c nbDecision=256000 #constraints=88036
1431.54/1432.15	c nbDecision=256500 #constraints=88056
1435.43/1436.07	c nbDecision=257000 #constraints=88090
1437.43/1438.02	c nbDecision=257500 #constraints=88111
1443.03/1443.67	c nbDecision=258000 #constraints=88158
1445.43/1446.00	c nbDecision=258500 #constraints=88183
1447.53/1448.17	c nbDecision=259000 #constraints=88203
1451.34/1451.91	c nbDecision=259500 #constraints=88236
1453.64/1454.22	c nbDecision=260000 #constraints=88260
1456.03/1456.69	c nbDecision=260500 #constraints=88284
1459.43/1460.07	c nbDecision=261000 #constraints=88311
1464.92/1465.51	c nbDecision=261500 #constraints=88356
1467.02/1467.61	c nbDecision=262000 #constraints=88375
1470.02/1470.68	c nbDecision=262500 #constraints=88395
1472.32/1472.91	c nbDecision=263000 #constraints=88415
1475.62/1476.27	c nbDecision=263500 #constraints=88440
1478.71/1479.38	c nbDecision=264000 #constraints=88462
1481.61/1482.29	c nbDecision=264500 #constraints=88490
1485.61/1486.27	c nbDecision=265000 #constraints=88521
1488.21/1488.84	c nbDecision=265500 #constraints=88539
1493.01/1493.66	c nbDecision=266000 #constraints=88577
1497.21/1497.87	c nbDecision=266500 #constraints=88607
1499.41/1500.01	c nbDecision=267000 #constraints=88634
1501.00/1501.65	c nbDecision=267500 #constraints=88652
1503.21/1503.83	c nbDecision=268000 #constraints=88674
1512.51/1513.11	c nbDecision=268500 #constraints=88776
1516.80/1517.46	c nbDecision=269000 #constraints=88830
1520.50/1521.19	c nbDecision=269500 #constraints=88864
1522.50/1523.13	c nbDecision=270000 #constraints=88882
1525.70/1526.30	c nbDecision=270500 #constraints=88916
1528.80/1529.48	c nbDecision=271000 #constraints=88952
1531.70/1532.31	c nbDecision=271500 #constraints=88985
1533.49/1534.13	c nbDecision=272000 #constraints=89013
1535.89/1536.57	c nbDecision=272500 #constraints=89047
1539.00/1539.68	c nbDecision=273000 #constraints=89081
1541.10/1541.72	c nbDecision=273500 #constraints=89097
1543.90/1544.54	c nbDecision=274000 #constraints=89121
1549.79/1550.49	c nbDecision=274500 #constraints=89178
1551.09/1551.77	c nbDecision=275000 #constraints=89192
1553.99/1554.66	c nbDecision=275500 #constraints=89217
1556.19/1556.89	c nbDecision=276000 #constraints=89243
1559.99/1560.68	c nbDecision=276500 #constraints=89283
1562.39/1563.07	c nbDecision=277000 #constraints=89301
1568.78/1569.41	c nbDecision=277500 #constraints=89366
1574.38/1575.04	c nbDecision=278000 #constraints=89416
1578.08/1578.75	c nbDecision=278500 #constraints=89447
1580.58/1581.25	c nbDecision=279000 #constraints=89471
1587.87/1588.56	c nbDecision=279500 #constraints=89547
1597.07/1597.72	c nbDecision=280000 #constraints=89627
1605.77/1606.48	c nbDecision=280500 #constraints=89693
1613.97/1614.61	c nbDecision=281000 #constraints=89795
1625.76/1626.44	c nbDecision=281500 #constraints=89914
1636.46/1637.17	c nbDecision=282000 #constraints=90014
1641.95/1642.66	c nbDecision=282500 #constraints=90069
1656.05/1656.76	c nbDecision=283000 #constraints=90189
1674.14/1674.87	c nbDecision=283500 #constraints=90342
1687.74/1688.48	c nbDecision=284000 #constraints=90470
1703.33/1704.02	c nbDecision=284500 #constraints=90621
1719.03/1719.71	c nbDecision=285000 #constraints=90752
1732.72/1733.41	c nbDecision=285500 #constraints=90866
1749.71/1750.45	c nbDecision=286000 #constraints=91014
1768.81/1769.50	c nbDecision=286500 #constraints=91165
1783.70/1784.48	c nbDecision=287000 #constraints=91279
1800.01/1800.71	Received signal 15
1800.10/1800.85	
1800.10/1800.85	s UNKNOWN
1800.10/1800.85	
1800.10/1800.85	c user time= 1799.71 s
1800.10/1800.85	c system time= 0.452931 s
1800.10/1800.85	c wall clock time=1800.86

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/node42/watcher-357157-1176989256 -o ROOT/results/node42/solver-357157-1176989256 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357157-1176989256/instance-357157-1176989256.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.72 0.93 0.98 3/77 7727
/proc/meminfo: memFree=1571728/2055920 swapFree=4131796/4192956
[pid=7727] ppid=7725 vsize=1620 CPUtime=0
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 146837522 1658880 176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 405 176 126 317 0 84 0

[startup+0.0768539 s]
/proc/loadavg: 0.72 0.93 0.98 3/77 7727
/proc/meminfo: memFree=1571728/2055920 swapFree=4131796/4192956
[pid=7727] ppid=7725 vsize=3212 CPUtime=0.07
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 600 0 0 0 7 0 0 0 18 0 1 0 146837522 3289088 582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 803 583 130 317 0 482 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3212

[startup+0.101858 s]
/proc/loadavg: 0.72 0.93 0.98 3/77 7727
/proc/meminfo: memFree=1571728/2055920 swapFree=4131796/4192956
[pid=7727] ppid=7725 vsize=3872 CPUtime=0.09
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 748 0 0 0 9 0 0 0 18 0 1 0 146837522 3964928 730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 968 730 130 317 0 647 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3872

[startup+0.301896 s]
/proc/loadavg: 0.72 0.93 0.98 3/77 7727
/proc/meminfo: memFree=1571728/2055920 swapFree=4131796/4192956
[pid=7727] ppid=7725 vsize=8620 CPUtime=0.29
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 1951 0 0 0 28 1 0 0 19 0 1 0 146837522 8826880 1900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 2155 1901 131 317 0 1834 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8620

[startup+0.701972 s]
/proc/loadavg: 0.72 0.93 0.98 3/77 7727
/proc/meminfo: memFree=1571728/2055920 swapFree=4131796/4192956
[pid=7727] ppid=7725 vsize=16856 CPUtime=0.69
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 4044 0 0 0 67 2 0 0 23 0 1 0 146837522 17260544 3928 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 4214 3928 137 317 0 3893 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16856

[startup+1.50212 s]
/proc/loadavg: 0.74 0.94 0.98 2/78 7728
/proc/meminfo: memFree=1552776/2055920 swapFree=4131796/4192956
[pid=7727] ppid=7725 vsize=22292 CPUtime=1.49
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 5406 0 0 0 147 2 0 0 25 0 1 0 146837522 22827008 4822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604450 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 5573 4822 139 317 0 5252 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22292

[startup+3.10143 s]
/proc/loadavg: 0.74 0.94 0.98 2/78 7728
/proc/meminfo: memFree=1552648/2055920 swapFree=4131796/4192956
[pid=7727] ppid=7725 vsize=22292 CPUtime=3.09
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 5406 0 0 0 307 2 0 0 25 0 1 0 146837522 22827008 4822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563957 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 5573 4822 139 317 0 5252 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22292

[startup+6.30104 s]
/proc/loadavg: 0.76 0.94 0.98 2/78 7728
/proc/meminfo: memFree=1552528/2055920 swapFree=4131796/4192956
[pid=7727] ppid=7725 vsize=22292 CPUtime=6.29
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 5409 0 0 0 626 3 0 0 25 0 1 0 146837522 22827008 4825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 5573 4825 139 317 0 5252 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22292

[startup+12.7013 s]
/proc/loadavg: 0.78 0.94 0.98 2/78 7728
/proc/meminfo: memFree=1551896/2055920 swapFree=4131796/4192956
[pid=7727] ppid=7725 vsize=23216 CPUtime=12.69
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 5638 0 0 0 1266 3 0 0 25 0 1 0 146837522 23773184 5054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 5804 5054 139 317 0 5483 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23216

[startup+25.5017 s]
/proc/loadavg: 0.81 0.94 0.98 2/78 7728
/proc/meminfo: memFree=1549152/2055920 swapFree=4131796/4192956
[pid=7727] ppid=7725 vsize=26004 CPUtime=25.49
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 6324 0 0 0 2545 4 0 0 25 0 1 0 146837522 26628096 5740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 6501 5740 139 317 0 6180 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26004

[startup+51.1016 s]
/proc/loadavg: 0.88 0.94 0.98 2/78 7728
/proc/meminfo: memFree=1544480/2055920 swapFree=4131796/4192956
[pid=7727] ppid=7725 vsize=31036 CPUtime=51.07
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 7571 0 0 0 5102 5 0 0 25 0 1 0 146837522 31780864 6987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 7759 6987 139 317 0 7438 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 31036

[startup+102.305 s]
/proc/loadavg: 0.95 0.95 0.98 2/78 7728
/proc/meminfo: memFree=1535200/2055920 swapFree=4131848/4192956
[pid=7727] ppid=7725 vsize=39984 CPUtime=102.25
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 9807 0 0 0 10218 7 0 0 25 0 1 0 146837522 40943616 9223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716407 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 9996 9223 139 317 0 9675 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 39984

[startup+162.302 s]
/proc/loadavg: 0.98 0.95 0.98 2/78 7728
/proc/meminfo: memFree=1526176/2055920 swapFree=4131848/4192956
[pid=7727] ppid=7725 vsize=49392 CPUtime=162.23
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 12071 0 0 0 16214 9 0 0 25 0 1 0 146837522 50577408 11487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 12348 11487 139 317 0 12027 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 49392

[startup+222.301 s]
/proc/loadavg: 0.99 0.96 0.98 2/78 7728
/proc/meminfo: memFree=1519392/2055920 swapFree=4131908/4192956
[pid=7727] ppid=7725 vsize=56200 CPUtime=222.21
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 13737 0 0 0 22209 12 0 0 25 0 1 0 146837522 57548800 13153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 14050 13153 139 317 0 13729 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 56200

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7728
/proc/meminfo: memFree=1514144/2055920 swapFree=4131908/4192956
[pid=7727] ppid=7725 vsize=61504 CPUtime=282.19
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 15074 0 0 0 28206 13 0 0 25 0 1 0 146837522 62980096 14490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 15376 14490 139 317 0 15055 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 61504

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7728
/proc/meminfo: memFree=1508704/2055920 swapFree=4131908/4192956
[pid=7727] ppid=7725 vsize=67108 CPUtime=342.16
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 16422 0 0 0 34202 14 0 0 25 0 1 0 146837522 68718592 15838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 16777 15838 139 317 0 16456 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 67108

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7728
/proc/meminfo: memFree=1503776/2055920 swapFree=4131968/4192956
[pid=7727] ppid=7725 vsize=72392 CPUtime=402.14
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 17636 0 0 0 40198 16 0 0 25 0 1 0 146837522 74129408 17052 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 18098 17052 139 317 0 17777 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 72392

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7728
/proc/meminfo: memFree=1498400/2055920 swapFree=4131968/4192956
[pid=7727] ppid=7725 vsize=78232 CPUtime=462.12
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 18978 0 0 0 46194 18 0 0 25 0 1 0 146837522 80109568 18394 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 19558 18394 139 317 0 19237 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 78232

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7728
/proc/meminfo: memFree=1494240/2055920 swapFree=4132024/4192956
[pid=7727] ppid=7725 vsize=82056 CPUtime=522.1
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 20008 0 0 0 52191 19 0 0 25 0 1 0 146837522 84025344 19424 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 20514 19424 139 317 0 20193 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 82056

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7728
/proc/meminfo: memFree=1489952/2055920 swapFree=4132024/4192956
[pid=7727] ppid=7725 vsize=86696 CPUtime=582.08
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 21064 0 0 0 58188 20 0 0 25 0 1 0 146837522 88776704 20480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711478 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 21674 20480 139 317 0 21353 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 86696

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7728
/proc/meminfo: memFree=1485856/2055920 swapFree=4132024/4192956
[pid=7727] ppid=7725 vsize=91204 CPUtime=642.05
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 22098 0 0 0 64184 21 0 0 25 0 1 0 146837522 93392896 21514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 22801 21514 139 317 0 22480 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 91204


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7730
/proc/meminfo: memFree=1472096/2055920 swapFree=4132136/4192956
[pid=7727] ppid=7725 vsize=104556 CPUtime=881.95
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 25515 0 0 0 88169 26 0 0 25 0 1 0 146837522 107065344 24931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 26139 24931 139 317 0 25818 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 104556

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7730
/proc/meminfo: memFree=1468448/2055920 swapFree=4132136/4192956
[pid=7727] ppid=7725 vsize=108668 CPUtime=941.92
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 26422 0 0 0 94165 27 0 0 25 0 1 0 146837522 111276032 25838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 27167 25838 139 317 0 26846 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 108668

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7730
/proc/meminfo: memFree=1465632/2055920 swapFree=4132192/4192956
[pid=7727] ppid=7725 vsize=111520 CPUtime=1001.9
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 27151 0 0 0 100162 28 0 0 25 0 1 0 146837522 114196480 26567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 27880 26567 139 317 0 27559 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 111520

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7730
/proc/meminfo: memFree=1462496/2055920 swapFree=4132192/4192956
[pid=7727] ppid=7725 vsize=114804 CPUtime=1061.89
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 27915 0 0 0 106159 30 0 0 25 0 1 0 146837522 117559296 27331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 28701 27331 139 317 0 28380 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 114804

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7730
/proc/meminfo: memFree=1459104/2055920 swapFree=4132248/4192956
[pid=7727] ppid=7725 vsize=118448 CPUtime=1121.86
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 28760 0 0 0 112156 30 0 0 25 0 1 0 146837522 121290752 28176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 29612 28176 139 317 0 29291 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 118448

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7730
/proc/meminfo: memFree=1456352/2055920 swapFree=4132248/4192956
[pid=7727] ppid=7725 vsize=121480 CPUtime=1181.83
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 29436 0 0 0 118152 31 0 0 25 0 1 0 146837522 124395520 28852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 30370 28852 139 317 0 30049 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 121480

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7730
/proc/meminfo: memFree=1453344/2055920 swapFree=4132300/4192956
[pid=7727] ppid=7725 vsize=124476 CPUtime=1241.82
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 30174 0 0 0 124149 33 0 0 25 0 1 0 146837522 127463424 29590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 31119 29590 139 317 0 30798 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 124476

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 3/78 7730
/proc/meminfo: memFree=1450464/2055920 swapFree=4132300/4192956
[pid=7727] ppid=7725 vsize=127400 CPUtime=1301.79
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 30878 0 0 0 130146 33 0 0 25 0 1 0 146837522 130457600 30294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 31850 30294 139 317 0 31529 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 127400

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7730
/proc/meminfo: memFree=1447264/2055920 swapFree=4132300/4192956
[pid=7727] ppid=7725 vsize=131608 CPUtime=1361.76
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 31857 0 0 0 136142 34 0 0 25 0 1 0 146837522 134766592 31075 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 32902 31075 139 317 0 32581 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 131608

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7730
/proc/meminfo: memFree=1444064/2055920 swapFree=4132356/4192956
[pid=7727] ppid=7725 vsize=134688 CPUtime=1421.75
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 32656 0 0 0 142139 36 0 0 25 0 1 0 146837522 137920512 31874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 33672 31874 139 317 0 33351 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 134688

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7730
/proc/meminfo: memFree=1440800/2055920 swapFree=4132356/4192956
[pid=7727] ppid=7725 vsize=137560 CPUtime=1481.71
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 33451 0 0 0 148134 37 0 0 25 0 1 0 146837522 140861440 32669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 34390 32669 139 317 0 34069 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 137560

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7730
/proc/meminfo: memFree=1436640/2055920 swapFree=4132412/4192956
[pid=7727] ppid=7725 vsize=143088 CPUtime=1541.7
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 34726 0 0 0 154131 39 0 0 25 0 1 0 146837522 146522112 33746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 35772 33746 139 317 0 35451 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 143088

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7730
/proc/meminfo: memFree=1430368/2055920 swapFree=4132412/4192956
[pid=7727] ppid=7725 vsize=149128 CPUtime=1601.68
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 36298 0 0 0 160128 40 0 0 25 0 1 0 146837522 152707072 35318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 37282 35318 139 317 0 36961 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 149128

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7730
/proc/meminfo: memFree=1421664/2055920 swapFree=4132412/4192956
[pid=7727] ppid=7725 vsize=157780 CPUtime=1661.64
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 38432 0 0 0 166123 41 0 0 25 0 1 0 146837522 161566720 37452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 39445 37452 139 317 0 39124 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 157780

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7730
/proc/meminfo: memFree=1413920/2055920 swapFree=4132468/4192956
[pid=7727] ppid=7725 vsize=165236 CPUtime=1721.63
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 40385 0 0 0 172120 43 0 0 25 0 1 0 146837522 169201664 39405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 41309 39405 139 317 0 40988 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 165236

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7730
/proc/meminfo: memFree=1405856/2055920 swapFree=4132468/4192956
[pid=7727] ppid=7725 vsize=174036 CPUtime=1781.6
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 42386 0 0 0 178116 44 0 0 25 0 1 0 146837522 178212864 41406 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 43509 41406 139 317 0 43188 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 174036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7730
/proc/meminfo: memFree=1403872/2055920 swapFree=4132468/4192956
[pid=7727] ppid=7725 vsize=175868 CPUtime=1800.01
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 42869 0 0 0 179956 45 0 0 25 0 1 0 146837522 180088832 41889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 43967 41889 139 317 0 43646 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 175868

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

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

[startup+1800.81 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7730
/proc/meminfo: memFree=1403872/2055920 swapFree=4132468/4192956
[pid=7727] ppid=7725 vsize=175868 CPUtime=1800.1
/proc/7727/stat : 7727 (oree) R 7725 7727 7628 0 -1 4194304 42874 0 0 0 179965 45 0 0 25 0 1 0 146837522 180088832 41894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7727/statm: 43967 41894 139 317 0 43646 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 175868

Child status: 0
Real time (s): 1800.9
CPU time (s): 1800.2
CPU user time (s): 1799.72
CPU system time (s): 0.480926
CPU usage (%): 99.9613
Max. virtual memory (cumulated for all children) (KiB): 175868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.480926
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42890
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= 8
involuntary context switches= 15998

runsolver used 2.02769 second user time and 4.56031 second system time

The end

Launcher Data (download as text)

Begin job on node42 on Thu Apr 19 13:27:36 UTC 2007

IDJOB= 357157
IDBENCH= 2183
IDSOLVER= 172
FILE ID= node42/357157-1176989256

PBS_JOBID= 4630465

Free space on /tmp= 66446 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.17.opb
COMMAND LINE= oree /tmp/evaluation/357157-1176989256/instance-357157-1176989256.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-357157-1176989256 -o ROOT/results/node42/solver-357157-1176989256 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357157-1176989256/instance-357157-1176989256.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  7d701b956113b6fc93a1922e71200e27

RANDOM SEED= 369270964

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node42.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.277
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.277
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:       1572200 kB
Buffers:         36008 kB
Cached:         359392 kB
SwapCached:      17768 kB
Active:          92612 kB
Inactive:       333984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1572200 kB
SwapTotal:     4192956 kB
SwapFree:      4131796 kB
Dirty:            3184 kB
Writeback:           0 kB
Mapped:          38828 kB
Slab:            42496 kB
Committed_AS:  2997696 kB
PageTables:       1912 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= 66446 MiB

End job on node42 on Thu Apr 19 13:57:39 UTC 2007