Trace number 356942

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.19 1800.69

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-standgub.opb
MD5SUMbe7d2de9880253117af16fa9444a1c79
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 variables33244
Total number of constraints456
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints456
Minimum length of a constraint11
Maximum length of a constraint22350
Number of terms in the objective function 210
Biggest coefficient in the objective function 86232
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 524437
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 542229
Number of bits of the biggest sum of numbers20
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.29/0.31	c ...done
0.29/0.31	c #vars=33244 #constraints=618 hasObjective=yes
0.29/0.38	c res. mode=mod
0.29/0.38	c VSIDS like heuristics
0.29/0.38	c complete search running
1.10/1.13	c restart after 401 decisions
1.29/1.33	c nbDecision=500 #constraints=1074
1.79/1.83	c restart after 801 decisions
2.19/2.23	c nbDecision=1000 #constraints=1539
2.79/2.89	c nbDecision=1500 #constraints=2028
2.99/3.03	c restart after 1601 decisions
3.59/3.65	c nbDecision=2000 #constraints=2486
4.39/4.43	c nbDecision=2500 #constraints=2978
4.99/5.09	c nbDecision=3000 #constraints=3447
5.28/5.35	c restart after 3201 decisions
5.98/6.10	c nbDecision=3500 #constraints=3928
6.79/6.84	c nbDecision=4000 #constraints=4402
7.69/7.72	c nbDecision=4500 #constraints=4890
8.79/8.87	c nbDecision=5000 #constraints=5367
9.69/9.75	c nbDecision=5500 #constraints=5817
10.69/10.77	c nbDecision=6000 #constraints=6278
11.89/11.94	c restart after 6401 decisions
12.19/12.27	c nbDecision=6500 #constraints=6725
13.19/13.22	c nbDecision=7000 #constraints=7177
13.98/14.06	c nbDecision=7500 #constraints=7630
15.18/15.21	c nbDecision=8000 #constraints=8076
16.18/16.26	c nbDecision=8500 #constraints=8544
17.59/17.66	c nbDecision=9000 #constraints=8996
19.09/19.12	c nbDecision=9500 #constraints=9421
20.39/20.49	c nbDecision=10000 #constraints=9850
22.19/22.23	c nbDecision=10500 #constraints=10305
23.39/23.46	c nbDecision=11000 #constraints=10712
24.79/24.81	c nbDecision=11500 #constraints=11167
26.68/26.77	c nbDecision=12000 #constraints=11579
28.08/28.16	c nbDecision=12500 #constraints=12010
29.18/29.20	c restart after 12801 decisions
30.08/30.12	c nbDecision=13000 #constraints=12442
31.88/31.95	c nbDecision=13500 #constraints=12866
33.48/33.53	c nbDecision=14000 #constraints=13310
35.38/35.42	c nbDecision=14500 #constraints=13721
36.68/36.73	c nbDecision=15000 #constraints=14195
38.39/38.50	c nbDecision=15500 #constraints=14609
40.59/40.61	c nbDecision=16000 #constraints=15015
42.88/42.94	c nbDecision=16500 #constraints=15459
44.58/44.69	c nbDecision=17000 #constraints=15855
46.68/46.71	c nbDecision=17500 #constraints=16262
48.48/48.54	c nbDecision=18000 #constraints=16660
50.38/50.44	c nbDecision=18500 #constraints=17098
51.77/51.88	c nbDecision=19000 #constraints=17501
53.97/54.06	c nbDecision=19500 #constraints=17945
55.67/55.75	c nbDecision=20000 #constraints=18403
58.18/58.25	c nbDecision=20500 #constraints=18838
60.08/60.12	c nbDecision=21000 #constraints=19249
62.27/62.30	c nbDecision=21500 #constraints=19669
65.27/65.30	c nbDecision=22000 #constraints=20047
68.07/68.17	c nbDecision=22500 #constraints=20423
69.87/69.93	c nbDecision=23000 #constraints=20874
72.27/72.38	c nbDecision=23500 #constraints=21284
74.37/74.49	c nbDecision=24000 #constraints=21691
76.17/76.23	c nbDecision=24500 #constraints=22139
78.77/78.87	c nbDecision=25000 #constraints=22521
81.17/81.27	c nbDecision=25500 #constraints=22950
81.97/82.00	c restart after 25601 decisions
85.07/85.14	c nbDecision=26000 #constraints=23349
87.87/87.98	c nbDecision=26500 #constraints=23815
90.96/91.06	c nbDecision=27000 #constraints=24251
94.16/94.21	c nbDecision=27500 #constraints=24613
96.67/96.71	c nbDecision=28000 #constraints=24990
99.46/99.58	c nbDecision=28500 #constraints=25324
104.46/104.54	c nbDecision=29000 #constraints=25540
107.56/107.62	c nbDecision=29500 #constraints=25939
109.66/109.75	c nbDecision=30000 #constraints=26387
112.96/113.07	c nbDecision=30500 #constraints=26666
116.26/116.34	c nbDecision=31000 #constraints=27062
120.26/120.38	c nbDecision=31500 #constraints=27485
125.26/125.32	c nbDecision=32000 #constraints=27828
129.05/129.11	c nbDecision=32500 #constraints=28155
133.85/133.93	c nbDecision=33000 #constraints=28499
136.95/137.05	c nbDecision=33500 #constraints=28879
141.56/141.61	c nbDecision=34000 #constraints=29225
146.05/146.16	c nbDecision=34500 #constraints=29423
148.95/149.00	c nbDecision=35000 #constraints=29822
152.85/152.96	c nbDecision=35500 #constraints=30254
156.85/156.95	c nbDecision=36000 #constraints=30640
159.35/159.41	c nbDecision=36500 #constraints=31084
162.84/162.93	c nbDecision=37000 #constraints=31415
167.94/168.01	c nbDecision=37500 #constraints=31689
171.04/171.11	c nbDecision=38000 #constraints=32082
174.34/174.46	c nbDecision=38500 #constraints=32464
177.05/177.18	c nbDecision=39000 #constraints=32880
180.94/181.04	c nbDecision=39500 #constraints=33245
186.14/186.29	c nbDecision=40000 #constraints=33555
190.84/190.95	c nbDecision=40500 #constraints=33954
195.84/195.98	c nbDecision=41000 #constraints=34308
200.83/201.00	c nbDecision=41500 #constraints=34645
204.13/204.22	c nbDecision=42000 #constraints=35110
208.03/208.13	c nbDecision=42500 #constraints=35554
212.43/212.51	c nbDecision=43000 #constraints=35959
216.43/216.51	c nbDecision=43500 #constraints=36340
223.13/223.29	c nbDecision=44000 #constraints=36587
229.03/229.17	c nbDecision=44500 #constraints=36929
233.22/233.37	c nbDecision=45000 #constraints=37309
235.92/236.05	c nbDecision=45500 #constraints=37746
236.82/236.92	c nbDecision=46000 #constraints=38230
237.52/237.67	c nbDecision=46500 #constraints=38706
238.43/238.52	c nbDecision=47000 #constraints=39179
239.32/239.41	c nbDecision=47500 #constraints=39668
240.22/240.31	c nbDecision=48000 #constraints=40141
241.12/241.25	c nbDecision=48500 #constraints=40620
242.22/242.32	c nbDecision=49000 #constraints=41101
243.12/243.25	c nbDecision=49500 #constraints=41570
244.23/244.35	c nbDecision=50000 #constraints=42020
245.33/245.47	c nbDecision=50500 #constraints=42478
246.23/246.36	c nbDecision=51000 #constraints=42959
246.72/246.81	c restart after 51201 decisions
250.32/250.44	c nbDecision=51500 #constraints=43426
256.72/256.86	c nbDecision=52000 #constraints=43793
261.32/261.40	c nbDecision=52500 #constraints=44259
265.42/265.57	c nbDecision=53000 #constraints=44652
270.12/270.23	c nbDecision=53500 #constraints=45065
275.31/275.43	c nbDecision=54000 #constraints=45464
281.41/281.53	c nbDecision=54500 #constraints=45807
286.02/286.16	c nbDecision=55000 #constraints=46225
291.81/291.90	c nbDecision=55500 #constraints=46524
297.21/297.38	c nbDecision=56000 #constraints=46901
302.81/302.96	c nbDecision=56500 #constraints=47236
308.41/308.51	c nbDecision=57000 #constraints=47594
312.21/312.39	c nbDecision=57500 #constraints=48011
322.00/322.19	c nbDecision=58000 #constraints=48038
330.00/330.12	c nbDecision=58500 #constraints=48393
337.70/337.84	c nbDecision=59000 #constraints=48692
345.20/345.39	c nbDecision=59500 #constraints=48889
353.69/353.88	c nbDecision=60000 #constraints=49107
361.19/361.38	c nbDecision=60500 #constraints=49336
363.19/363.36	c nbDecision=61000 #constraints=49798
364.39/364.59	c nbDecision=61500 #constraints=50254
365.69/365.85	c nbDecision=62000 #constraints=50719
366.89/367.09	c nbDecision=62500 #constraints=51175
368.09/368.29	c nbDecision=63000 #constraints=51627
369.40/369.51	c nbDecision=63500 #constraints=52077
370.59/370.73	c nbDecision=64000 #constraints=52525
371.99/372.12	c nbDecision=64500 #constraints=52946
373.39/373.51	c nbDecision=65000 #constraints=53408
374.69/374.86	c nbDecision=65500 #constraints=53828
376.29/376.48	c nbDecision=66000 #constraints=54265
377.99/378.12	c nbDecision=66500 #constraints=54710
379.29/379.49	c nbDecision=67000 #constraints=55172
380.69/380.83	c nbDecision=67500 #constraints=55648
382.69/382.83	c nbDecision=68000 #constraints=55986
384.08/384.27	c nbDecision=68500 #constraints=56406
385.58/385.70	c nbDecision=69000 #constraints=56848
387.58/387.76	c nbDecision=69500 #constraints=57256
390.18/390.33	c nbDecision=70000 #constraints=57615
392.48/392.61	c nbDecision=70500 #constraints=58068
394.28/394.49	c nbDecision=71000 #constraints=58504
396.08/396.26	c nbDecision=71500 #constraints=58957
397.89/398.08	c nbDecision=72000 #constraints=59422
400.08/400.29	c nbDecision=72500 #constraints=59868
402.28/402.42	c nbDecision=73000 #constraints=60266
404.78/404.93	c nbDecision=73500 #constraints=60652
406.58/406.79	c nbDecision=74000 #constraints=61074
408.38/408.50	c nbDecision=74500 #constraints=61526
410.37/410.52	c nbDecision=75000 #constraints=61935
411.97/412.11	c nbDecision=75500 #constraints=62398
413.88/414.02	c nbDecision=76000 #constraints=62835
416.88/417.02	c nbDecision=76500 #constraints=63237
419.27/419.45	c nbDecision=77000 #constraints=63689
421.97/422.14	c nbDecision=77500 #constraints=64025
424.57/424.71	c nbDecision=78000 #constraints=64463
427.27/427.41	c nbDecision=78500 #constraints=64895
429.28/429.49	c nbDecision=79000 #constraints=65271
431.47/431.61	c nbDecision=79500 #constraints=65691
434.47/434.61	c nbDecision=80000 #constraints=66130
437.67/437.88	c nbDecision=80500 #constraints=66467
441.07/441.29	c nbDecision=81000 #constraints=66850
443.87/444.03	c nbDecision=81500 #constraints=67271
445.96/446.17	c nbDecision=82000 #constraints=67675
449.97/450.11	c nbDecision=82500 #constraints=67998
453.27/453.46	c nbDecision=83000 #constraints=68374
456.57/456.76	c nbDecision=83500 #constraints=68768
458.87/459.05	c nbDecision=84000 #constraints=69197
462.97/463.12	c nbDecision=84500 #constraints=69602
466.96/467.13	c nbDecision=85000 #constraints=69948
469.57/469.78	c nbDecision=85500 #constraints=70372
472.66/472.82	c nbDecision=86000 #constraints=70752
476.26/476.47	c nbDecision=86500 #constraints=71133
479.56/479.71	c nbDecision=87000 #constraints=71526
483.15/483.36	c nbDecision=87500 #constraints=71943
486.26/486.40	c nbDecision=88000 #constraints=72396
489.36/489.58	c nbDecision=88500 #constraints=72794
492.66/492.83	c nbDecision=89000 #constraints=73179
496.66/496.83	c nbDecision=89500 #constraints=73554
502.15/502.35	c nbDecision=90000 #constraints=73833
504.76/504.96	c nbDecision=90500 #constraints=74258
508.35/508.50	c nbDecision=91000 #constraints=74693
510.55/510.75	c nbDecision=91500 #constraints=75122
511.55/511.72	c nbDecision=92000 #constraints=75591
512.46/512.69	c nbDecision=92500 #constraints=76082
513.65/513.87	c nbDecision=93000 #constraints=76582
514.95/515.17	c nbDecision=93500 #constraints=77082
516.35/516.59	c nbDecision=94000 #constraints=77582
518.05/518.20	c nbDecision=94500 #constraints=78082
519.75/519.94	c nbDecision=95000 #constraints=78580
521.55/521.72	c nbDecision=95500 #constraints=79080
523.45/523.61	c nbDecision=96000 #constraints=79580
525.45/525.64	c nbDecision=96500 #constraints=80081
527.65/527.86	c nbDecision=97000 #constraints=80582
530.05/530.21	c nbDecision=97500 #constraints=81080
532.44/532.62	c nbDecision=98000 #constraints=81580
535.05/535.21	c nbDecision=98500 #constraints=82080
537.75/537.95	c nbDecision=99000 #constraints=82580
540.64/540.89	c nbDecision=99500 #constraints=83080
543.74/543.96	c nbDecision=100000 #constraints=83580
546.94/547.11	c nbDecision=100500 #constraints=84079
550.24/550.44	c nbDecision=101000 #constraints=84579
553.74/553.94	c nbDecision=101500 #constraints=85079
557.44/557.62	c nbDecision=102000 #constraints=85579
560.54/560.76	c restart after 102401 decisions
562.74/562.92	c nbDecision=102500 #constraints=86061
570.74/570.92	c nbDecision=103000 #constraints=86503
582.33/582.59	c nbDecision=103500 #constraints=86849
589.33/589.51	c nbDecision=104000 #constraints=87188
595.32/595.54	c nbDecision=104500 #constraints=87541
602.13/602.37	c nbDecision=105000 #constraints=87806
608.93/609.19	c nbDecision=105500 #constraints=88187
615.33/615.60	c nbDecision=106000 #constraints=88573
621.43/621.63	c nbDecision=106500 #constraints=89019
627.12/627.34	c nbDecision=107000 #constraints=89417
632.62/632.85	c nbDecision=107500 #constraints=89742
637.22/637.40	c nbDecision=108000 #constraints=90114
644.81/645.05	c nbDecision=108500 #constraints=90416
651.31/651.54	c nbDecision=109000 #constraints=90788
657.61/657.83	c nbDecision=109500 #constraints=91069
663.20/663.49	c nbDecision=110000 #constraints=91455
668.70/668.92	c nbDecision=110500 #constraints=91850
673.21/673.49	c nbDecision=111000 #constraints=92328
680.01/680.27	c nbDecision=111500 #constraints=92666
685.61/685.82	c nbDecision=112000 #constraints=93128
692.81/693.09	c nbDecision=112500 #constraints=93446
697.90/698.16	c nbDecision=113000 #constraints=93872
704.60/704.84	c nbDecision=113500 #constraints=94199
709.70/709.93	c nbDecision=114000 #constraints=94534
716.10/716.32	c nbDecision=114500 #constraints=94869
723.29/723.54	c nbDecision=115000 #constraints=95206
731.09/731.40	c nbDecision=115500 #constraints=95502
738.29/738.54	c nbDecision=116000 #constraints=95792
743.88/744.16	c nbDecision=116500 #constraints=96172
750.58/750.83	c nbDecision=117000 #constraints=96562
758.69/758.92	c nbDecision=117500 #constraints=96913
765.38/765.61	c nbDecision=118000 #constraints=97316
773.97/774.21	c nbDecision=118500 #constraints=97643
781.78/782.10	c nbDecision=119000 #constraints=97997
788.48/788.74	c nbDecision=119500 #constraints=98395
796.37/796.69	c nbDecision=120000 #constraints=98762
802.97/803.29	c nbDecision=120500 #constraints=99175
810.57/810.86	c nbDecision=121000 #constraints=99498
819.17/819.41	c nbDecision=121500 #constraints=99815
828.26/828.54	c nbDecision=122000 #constraints=100071
837.86/838.16	c nbDecision=122500 #constraints=100298
840.36/840.62	c nbDecision=123000 #constraints=100784
842.66/842.99	c nbDecision=123500 #constraints=101254
846.67/846.90	c nbDecision=124000 #constraints=101753
850.66/850.96	c nbDecision=124500 #constraints=102251
854.86/855.17	c nbDecision=125000 #constraints=102750
859.25/859.55	c nbDecision=125500 #constraints=103250
863.86/864.12	c nbDecision=126000 #constraints=103750
868.55/868.82	c nbDecision=126500 #constraints=104250
873.55/873.81	c nbDecision=127000 #constraints=104750
878.65/878.91	c nbDecision=127500 #constraints=105250
883.75/884.07	c nbDecision=128000 #constraints=105747
889.04/889.31	c nbDecision=128500 #constraints=106247
894.34/894.64	c nbDecision=129000 #constraints=106747
899.94/900.24	c nbDecision=129500 #constraints=107247
905.74/906.02	c nbDecision=130000 #constraints=107747
911.74/912.04	c nbDecision=130500 #constraints=108247
917.84/918.16	c nbDecision=131000 #constraints=108747
924.04/924.39	c nbDecision=131500 #constraints=109246
930.34/930.64	c nbDecision=132000 #constraints=109745
936.73/937.07	c nbDecision=132500 #constraints=110245
943.33/943.70	c nbDecision=133000 #constraints=110745
950.22/950.53	c nbDecision=133500 #constraints=111245
957.32/957.65	c nbDecision=134000 #constraints=111745
964.33/964.62	c nbDecision=134500 #constraints=112245
971.32/971.68	c nbDecision=135000 #constraints=112743
978.82/979.14	c nbDecision=135500 #constraints=113243
986.42/986.71	c nbDecision=136000 #constraints=113743
994.12/994.45	c nbDecision=136500 #constraints=114243
1002.32/1002.61	c nbDecision=137000 #constraints=114744
1010.01/1010.34	c nbDecision=137500 #constraints=115243
1018.11/1018.49	c nbDecision=138000 #constraints=115742
1026.41/1026.76	c nbDecision=138500 #constraints=116242
1034.90/1035.21	c nbDecision=139000 #constraints=116742
1043.60/1044.00	c nbDecision=139500 #constraints=117242
1052.31/1052.67	c nbDecision=140000 #constraints=117743
1061.10/1061.45	c nbDecision=140500 #constraints=118241
1070.09/1070.49	c nbDecision=141000 #constraints=118741
1079.50/1079.86	c nbDecision=141500 #constraints=119242
1089.09/1089.40	c nbDecision=142000 #constraints=119742
1098.68/1099.06	c nbDecision=142500 #constraints=120241
1108.19/1108.50	c nbDecision=143000 #constraints=120742
1118.19/1118.52	c nbDecision=143500 #constraints=121241
1128.08/1128.47	c nbDecision=144000 #constraints=121741
1138.37/1138.75	c nbDecision=144500 #constraints=122241
1148.58/1148.94	c nbDecision=145000 #constraints=122741
1158.98/1159.39	c nbDecision=145500 #constraints=123241
1169.67/1170.08	c nbDecision=146000 #constraints=123741
1180.87/1181.25	c nbDecision=146500 #constraints=124241
1191.47/1191.85	c nbDecision=147000 #constraints=124741
1202.66/1203.06	c nbDecision=147500 #constraints=125241
1214.06/1214.46	c nbDecision=148000 #constraints=125741
1225.85/1226.28	c nbDecision=148500 #constraints=126241
1237.25/1237.65	c nbDecision=149000 #constraints=126741
1249.25/1249.61	c nbDecision=149500 #constraints=127241
1261.55/1261.93	c nbDecision=150000 #constraints=127742
1273.44/1273.87	c nbDecision=150500 #constraints=128241
1285.83/1286.28	c nbDecision=151000 #constraints=128741
1298.64/1299.04	c nbDecision=151500 #constraints=129241
1311.33/1311.71	c nbDecision=152000 #constraints=129741
1324.53/1324.95	c nbDecision=152500 #constraints=130241
1337.72/1338.16	c nbDecision=153000 #constraints=130741
1351.22/1351.65	c nbDecision=153500 #constraints=131241
1364.72/1365.14	c nbDecision=154000 #constraints=131741
1378.71/1379.16	c nbDecision=154500 #constraints=132241
1393.01/1393.42	c nbDecision=155000 #constraints=132741
1407.00/1407.40	c nbDecision=155500 #constraints=133241
1421.20/1421.68	c nbDecision=156000 #constraints=133742
1436.00/1436.47	c nbDecision=156500 #constraints=134241
1450.69/1451.16	c nbDecision=157000 #constraints=134742
1464.89/1465.35	c nbDecision=157500 #constraints=135241
1478.78/1479.22	c nbDecision=158000 #constraints=135741
1492.18/1492.66	c nbDecision=158500 #constraints=136240
1507.68/1508.12	c nbDecision=159000 #constraints=136740
1523.37/1523.83	c nbDecision=159500 #constraints=137240
1539.36/1539.82	c nbDecision=160000 #constraints=137740
1555.56/1556.02	c nbDecision=160500 #constraints=138240
1571.85/1572.34	c nbDecision=161000 #constraints=138740
1588.86/1589.32	c nbDecision=161500 #constraints=139241
1605.05/1605.52	c nbDecision=162000 #constraints=139739
1621.64/1622.10	c nbDecision=162500 #constraints=140238
1638.54/1639.03	c nbDecision=163000 #constraints=140737
1655.43/1655.96	c nbDecision=163500 #constraints=141237
1672.72/1673.27	c nbDecision=164000 #constraints=141737
1690.33/1690.89	c nbDecision=164500 #constraints=142237
1708.42/1708.91	c nbDecision=165000 #constraints=142737
1725.71/1726.28	c nbDecision=165500 #constraints=143236
1743.61/1744.18	c nbDecision=166000 #constraints=143736
1761.40/1761.90	c nbDecision=166500 #constraints=144236
1779.40/1779.93	c nbDecision=167000 #constraints=144736
1798.00/1798.51	c nbDecision=167500 #constraints=145237
1800.10/1800.60	Received signal 15
1800.10/1800.61	
1800.10/1800.61	s UNKNOWN
1800.10/1800.61	
1800.10/1800.61	c user time= 1799.61 s
1800.10/1800.61	c system time= 0.505923 s
1800.10/1800.61	c wall clock time=1800.61

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/node55/watcher-356942-1176848936 -o ROOT/results/node55/solver-356942-1176848936 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356942-1176848936/instance-356942-1176848936.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.92 0.98 0.99 2/64 24561
/proc/meminfo: memFree=1803068/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=1468 CPUtime=0
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 132803693 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 367 160 131 317 0 46 0

[startup+0.0854969 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 24561
/proc/meminfo: memFree=1803068/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=3144 CPUtime=0.08
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 608 0 0 0 8 0 0 0 18 0 1 0 132803693 3219456 590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 786 590 131 317 0 465 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3144

[startup+0.101498 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 24561
/proc/meminfo: memFree=1803068/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=3544 CPUtime=0.09
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 699 0 0 0 9 0 0 0 18 0 1 0 132803693 3629056 681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 886 681 131 317 0 565 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3544

[startup+0.301517 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 24561
/proc/meminfo: memFree=1803068/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=7628 CPUtime=0.29
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 1791 0 0 0 29 0 0 0 19 0 1 0 132803693 7811072 1577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 1907 1577 131 317 0 1586 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7628

[startup+0.701555 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 24561
/proc/meminfo: memFree=1803068/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=12000 CPUtime=0.69
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 2904 0 0 0 68 1 0 0 24 0 1 0 132803693 12288000 2690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715600 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 3000 2690 139 317 0 2679 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12000

[startup+1.50163 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 24562
/proc/meminfo: memFree=1792820/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=12448 CPUtime=1.49
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 2994 0 0 0 148 1 0 0 25 0 1 0 132803693 12746752 2780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385209 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 3112 2780 139 317 0 2791 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12448

[startup+3.10178 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 24562
/proc/meminfo: memFree=1792244/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=13104 CPUtime=3.09
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 3177 0 0 0 308 1 0 0 25 0 1 0 132803693 13418496 2963 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606716 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 3276 2963 139 317 0 2955 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13104

[startup+6.30109 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 24562
/proc/meminfo: memFree=1790068/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=14928 CPUtime=6.29
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 3628 0 0 0 627 2 0 0 25 0 1 0 132803693 15286272 3414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384579 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 3732 3414 139 317 0 3411 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14928

[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 24562
/proc/meminfo: memFree=1787380/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=17532 CPUtime=12.69
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 4272 0 0 0 1267 2 0 0 25 0 1 0 132803693 17952768 4058 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 4383 4058 139 317 0 4062 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17532

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 24562
/proc/meminfo: memFree=1782132/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=23136 CPUtime=25.49
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 5601 0 0 0 2546 3 0 0 25 0 1 0 132803693 23691264 5330 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 5784 5330 139 317 0 5463 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23136

[startup+51.1013 s]
/proc/loadavg: 1.04 1.00 1.00 2/65 24562
/proc/meminfo: memFree=1775924/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=29884 CPUtime=51.07
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 7298 0 0 0 5103 4 0 0 25 0 1 0 132803693 30601216 6913 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 7471 6913 139 317 0 7150 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29884

[startup+102.305 s]
/proc/loadavg: 1.09 1.02 1.01 2/65 24562
/proc/meminfo: memFree=1766836/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=38968 CPUtime=102.26
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 9529 0 0 0 10220 6 0 0 25 0 1 0 132803693 39903232 9144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 9742 9144 139 317 0 9421 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 38968

[startup+162.302 s]
/proc/loadavg: 1.11 1.03 1.00 2/65 24562
/proc/meminfo: memFree=1760372/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=45660 CPUtime=162.24
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 11135 0 0 0 16216 8 0 0 25 0 1 0 132803693 46755840 10750 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 11415 10750 139 317 0 11094 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 45660

[startup+222.302 s]
/proc/loadavg: 1.16 1.05 1.01 2/65 24562
/proc/meminfo: memFree=1754036/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=52972 CPUtime=222.23
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 12965 0 0 0 22213 10 0 0 25 0 1 0 132803693 54243328 12321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 13243 12321 139 317 0 12922 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 52972

[startup+282.301 s]
/proc/loadavg: 1.06 1.04 1.00 2/65 24562
/proc/meminfo: memFree=1744948/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=61564 CPUtime=282.21
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 15228 0 0 0 28209 12 0 0 25 0 1 0 132803693 63041536 14584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 15391 14584 139 317 0 15070 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 61564

[startup+342.302 s]
/proc/loadavg: 1.02 1.03 1.00 2/65 24562
/proc/meminfo: memFree=1741620/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=64744 CPUtime=342.19
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 16077 0 0 0 34206 13 0 0 25 0 1 0 132803693 66297856 15433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 16186 15433 139 317 0 15865 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 64744

[startup+402.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 24562
/proc/meminfo: memFree=1729588/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=76796 CPUtime=402.18
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 19081 0 0 0 40203 15 0 0 25 0 1 0 132803693 78639104 18437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712587 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 19199 18437 139 317 0 18878 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 76796

[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 24562
/proc/meminfo: memFree=1718004/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=90452 CPUtime=462.17
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 22476 0 0 0 46199 18 0 0 25 0 1 0 132803693 92622848 21316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 22613 21316 139 317 0 22292 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 90452

[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 24562
/proc/meminfo: memFree=1699380/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=109552 CPUtime=522.15
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 27297 0 0 0 52193 22 0 0 25 0 1 0 132803693 112181248 26137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 27388 26137 139 317 0 27067 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 109552

[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 24562
/proc/meminfo: memFree=1673972/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=136816 CPUtime=582.13
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 33723 0 0 0 58189 24 0 0 25 0 1 0 132803693 140099584 32299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 34204 32299 139 317 0 33883 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 136816

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24564
/proc/meminfo: memFree=1670580/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=140008 CPUtime=642.12
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 34561 0 0 0 64187 25 0 0 25 0 1 0 132803693 143368192 33137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 35002 33137 139 317 0 34681 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 140008


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24564
/proc/meminfo: memFree=1660148/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=151616 CPUtime=822.06
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 37428 0 0 0 82179 27 0 0 25 0 1 0 132803693 155254784 35740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 37904 35740 139 317 0 37583 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 151616

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24564
/proc/meminfo: memFree=1644788/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=165804 CPUtime=882.05
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 41272 0 0 0 88176 29 0 0 25 0 1 0 132803693 169783296 39584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 41451 39584 139 317 0 41130 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 165804

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24564
/proc/meminfo: memFree=1626164/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=187620 CPUtime=942.03
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 46322 0 0 0 94172 31 0 0 25 0 1 0 132803693 192122880 44271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 46905 44271 139 317 0 46584 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 187620

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24564
/proc/meminfo: memFree=1612660/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=199720 CPUtime=1002.02
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 49664 0 0 0 100169 33 0 0 25 0 1 0 132803693 204513280 47613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 49930 47613 139 317 0 49609 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 199720

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24564
/proc/meminfo: memFree=1601076/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=211128 CPUtime=1062
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 52807 0 0 0 106166 34 0 0 25 0 1 0 132803693 216195072 50525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 52782 50525 139 317 0 52461 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 211128

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24564
/proc/meminfo: memFree=1590836/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=220184 CPUtime=1121.99
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 55319 0 0 0 112163 36 0 0 25 0 1 0 132803693 225468416 53037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 55046 53037 139 317 0 54725 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 220184

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24564
/proc/meminfo: memFree=1581364/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=232716 CPUtime=1181.97
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 58609 0 0 0 118159 38 0 0 25 0 1 0 132803693 238301184 55417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 58179 55417 139 317 0 57858 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 232716

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24564
/proc/meminfo: memFree=1566260/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=251816 CPUtime=1241.95
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 62345 0 0 0 124156 39 0 0 25 0 1 0 132803693 257859584 59153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 62954 59153 139 317 0 62633 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 251816

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24564
/proc/meminfo: memFree=1557172/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=260280 CPUtime=1301.94
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 64602 0 0 0 130153 41 0 0 25 0 1 0 132803693 266526720 61410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 65070 61410 139 317 0 64749 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 260280

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24564
/proc/meminfo: memFree=1548340/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=269612 CPUtime=1361.92
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 67140 0 0 0 136150 42 0 0 25 0 1 0 132803693 276082688 63624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716169 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 67403 63624 139 317 0 67082 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 269612

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24564
/proc/meminfo: memFree=1538996/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=281616 CPUtime=1421.9
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 70429 0 0 0 142146 44 0 0 25 0 1 0 132803693 288374784 65947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 70404 65947 139 317 0 70083 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 281616

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24564
/proc/meminfo: memFree=1528244/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=292264 CPUtime=1481.88
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 73396 0 0 0 148142 46 0 0 25 0 1 0 132803693 299278336 68654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 73066 68654 139 317 0 72745 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 292264

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24564
/proc/meminfo: memFree=1521588/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=298240 CPUtime=1541.86
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 75014 0 0 0 154139 47 0 0 25 0 1 0 132803693 305397760 70272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 74560 70272 139 317 0 74239 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 298240

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24564
/proc/meminfo: memFree=1515188/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=303896 CPUtime=1601.85
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 76642 0 0 0 160137 48 0 0 25 0 1 0 132803693 311189504 71900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 75974 71900 139 317 0 75653 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 303896

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24564
/proc/meminfo: memFree=1509940/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=308640 CPUtime=1661.82
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 77923 0 0 0 166134 48 0 0 25 0 1 0 132803693 316047360 73181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 77160 73181 139 317 0 76839 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 308640

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24564
/proc/meminfo: memFree=1503604/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=314024 CPUtime=1721.81
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 79522 0 0 0 172132 49 0 0 25 0 1 0 132803693 321560576 74780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 78506 74780 139 317 0 78185 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 314024

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24564
/proc/meminfo: memFree=1498932/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=318092 CPUtime=1781.8
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 80660 0 0 0 178130 50 0 0 25 0 1 0 132803693 325726208 75918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 79523 75918 139 317 0 79202 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 318092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24564
/proc/meminfo: memFree=1497332/2055920 swapFree=4184496/4192956
[pid=24561] ppid=24559 vsize=319536 CPUtime=1800.1
/proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 81052 0 0 0 179960 50 0 0 25 0 1 0 132803693 327204864 76310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24561/statm: 79884 76310 139 317 0 79563 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 319536

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

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

Child status: 0
Real time (s): 1800.69
CPU time (s): 1800.19
CPU user time (s): 1799.63
CPU system time (s): 0.558915
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 319536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.558915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81068
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= 3132

runsolver used 1.27281 second user time and 3.68144 second system time

The end

Launcher Data (download as text)

Begin job on node55 on Tue Apr 17 22:28:57 UTC 2007

IDJOB= 356942
IDBENCH= 1666
IDSOLVER= 172
FILE ID= node55/356942-1176848936

PBS_JOBID= 4590184

Free space on /tmp= 66451 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-standgub.opb
COMMAND LINE= oree /tmp/evaluation/356942-1176848936/instance-356942-1176848936.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node55/watcher-356942-1176848936 -o ROOT/results/node55/solver-356942-1176848936 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356942-1176848936/instance-356942-1176848936.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  be7d2de9880253117af16fa9444a1c79

RANDOM SEED= 992451797

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node55.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.216
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.216
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:       1803604 kB
Buffers:         15560 kB
Cached:         171300 kB
SwapCached:       2180 kB
Active:          35852 kB
Inactive:       161408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1803604 kB
SwapTotal:     4192956 kB
SwapFree:      4184496 kB
Dirty:            2272 kB
Writeback:           0 kB
Mapped:          16948 kB
Slab:            41152 kB
Committed_AS:  1046064 kB
PageTables:       1384 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= 66451 MiB

End job on node55 on Tue Apr 17 22:58:59 UTC 2007