Trace number 356943

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.08 1800.56

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-boeing1.opb
MD5SUMceb2e4b71eb9bdf9c63b27bfd911be00
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 variables8869
Total number of constraints561
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 constraints561
Minimum length of a constraint11
Maximum length of a constraint6849
Number of terms in the objective function 6523
Biggest coefficient in the objective function 7301
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 529587
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 529932
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.09/0.19	c ...done
0.09/0.19	c #vars=8869 #constraints=571 hasObjective=yes
0.19/0.28	c res. mode=mod
0.19/0.28	c VSIDS like heuristics
0.19/0.28	c complete search running
0.39/0.46	c restart after 401 decisions
0.39/0.49	c nbDecision=500 #constraints=910
0.59/0.63	c restart after 801 decisions
0.69/0.74	c nbDecision=1000 #constraints=1292
0.89/0.98	c nbDecision=1500 #constraints=1613
0.99/1.03	c restart after 1601 decisions
1.19/1.27	c nbDecision=2000 #constraints=1932
1.49/1.59	c nbDecision=2500 #constraints=2316
1.79/1.89	c nbDecision=3000 #constraints=2674
1.99/2.02	c restart after 3201 decisions
2.19/2.20	c nbDecision=3500 #constraints=2959
2.49/2.59	c nbDecision=4000 #constraints=3306
2.89/2.90	c nbDecision=4500 #constraints=3615
3.19/3.22	c nbDecision=5000 #constraints=3901
3.79/3.82	c nbDecision=5500 #constraints=4225
4.19/4.28	c nbDecision=6000 #constraints=4512
4.49/4.57	c restart after 6401 decisions
4.69/4.73	c nbDecision=6500 #constraints=4780
5.68/5.75	c nbDecision=7000 #constraints=5141
6.38/6.45	c nbDecision=7500 #constraints=5467
6.99/7.04	c nbDecision=8000 #constraints=5749
7.49/7.57	c nbDecision=8500 #constraints=5955
8.49/8.54	c nbDecision=9000 #constraints=6247
9.68/9.74	c nbDecision=9500 #constraints=6564
10.48/10.55	c nbDecision=10000 #constraints=6844
11.18/11.20	c nbDecision=10500 #constraints=7063
12.09/12.17	c nbDecision=11000 #constraints=7336
13.39/13.40	c nbDecision=11500 #constraints=7642
14.29/14.34	c nbDecision=12000 #constraints=7904
15.09/15.14	c nbDecision=12500 #constraints=8226
15.49/15.58	c restart after 12801 decisions
16.29/16.33	c nbDecision=13000 #constraints=8471
17.98/18.00	c nbDecision=13500 #constraints=8827
19.08/19.11	c nbDecision=14000 #constraints=9143
19.88/19.92	c nbDecision=14500 #constraints=9407
20.68/20.71	c nbDecision=15000 #constraints=9695
22.69/22.71	c nbDecision=15500 #constraints=10015
24.19/24.29	c nbDecision=16000 #constraints=10311
25.29/25.31	c nbDecision=16500 #constraints=10543
26.29/26.39	c nbDecision=17000 #constraints=10805
28.18/28.28	c nbDecision=17500 #constraints=11163
29.68/29.75	c nbDecision=18000 #constraints=11407
30.88/30.98	c nbDecision=18500 #constraints=11614
32.79/32.83	c nbDecision=19000 #constraints=11886
34.48/34.54	c nbDecision=19500 #constraints=12184
35.68/35.74	c nbDecision=20000 #constraints=12416
36.68/36.74	c nbDecision=20500 #constraints=12556
38.58/38.65	c nbDecision=21000 #constraints=12873
40.48/40.51	c nbDecision=21500 #constraints=13151
41.79/41.86	c nbDecision=22000 #constraints=13345
43.58/43.65	c nbDecision=22500 #constraints=13581
45.38/45.50	c nbDecision=23000 #constraints=13909
47.08/47.16	c nbDecision=23500 #constraints=14144
48.68/48.79	c nbDecision=24000 #constraints=14316
50.78/50.83	c nbDecision=24500 #constraints=14579
52.28/52.33	c nbDecision=25000 #constraints=14894
53.47/53.53	c nbDecision=25500 #constraints=15037
53.88/53.91	c restart after 25601 decisions
55.07/55.10	c nbDecision=26000 #constraints=15283
56.27/56.39	c nbDecision=26500 #constraints=15450
59.57/59.67	c nbDecision=27000 #constraints=15728
61.98/62.04	c nbDecision=27500 #constraints=16050
64.07/64.12	c nbDecision=28000 #constraints=16373
65.57/65.69	c nbDecision=28500 #constraints=16587
68.67/68.76	c nbDecision=29000 #constraints=16867
71.78/71.85	c nbDecision=29500 #constraints=17168
73.68/73.80	c nbDecision=30000 #constraints=17464
75.37/75.47	c nbDecision=30500 #constraints=17641
78.57/78.60	c nbDecision=31000 #constraints=17874
81.27/81.31	c nbDecision=31500 #constraints=18178
83.47/83.54	c nbDecision=32000 #constraints=18455
85.07/85.10	c nbDecision=32500 #constraints=18638
87.97/88.06	c nbDecision=33000 #constraints=18888
90.07/90.17	c nbDecision=33500 #constraints=19131
91.96/92.04	c nbDecision=34000 #constraints=19309
95.06/95.18	c nbDecision=34500 #constraints=19557
98.17/98.21	c nbDecision=35000 #constraints=19872
100.47/100.54	c nbDecision=35500 #constraints=20139
102.06/102.13	c nbDecision=36000 #constraints=20312
105.36/105.42	c nbDecision=36500 #constraints=20581
108.56/108.61	c nbDecision=37000 #constraints=20893
110.96/111.00	c nbDecision=37500 #constraints=21155
113.76/113.82	c nbDecision=38000 #constraints=21354
117.26/117.33	c nbDecision=38500 #constraints=21630
119.66/119.80	c nbDecision=39000 #constraints=21889
121.66/121.76	c nbDecision=39500 #constraints=22067
125.36/125.45	c nbDecision=40000 #constraints=22418
128.46/128.50	c nbDecision=40500 #constraints=22715
130.46/130.56	c nbDecision=41000 #constraints=22914
134.16/134.25	c nbDecision=41500 #constraints=23167
137.15/137.25	c nbDecision=42000 #constraints=23451
139.05/139.14	c nbDecision=42500 #constraints=23672
142.25/142.30	c nbDecision=43000 #constraints=23911
145.25/145.38	c nbDecision=43500 #constraints=24192
147.55/147.66	c nbDecision=44000 #constraints=24409
149.86/149.94	c nbDecision=44500 #constraints=24544
153.55/153.63	c nbDecision=45000 #constraints=24853
156.16/156.23	c nbDecision=45500 #constraints=25043
159.75/159.89	c nbDecision=46000 #constraints=25287
162.65/162.80	c nbDecision=46500 #constraints=25549
165.05/165.18	c nbDecision=47000 #constraints=25694
168.94/169.00	c nbDecision=47500 #constraints=25962
171.24/171.31	c nbDecision=48000 #constraints=26125
174.34/174.49	c nbDecision=48500 #constraints=26352
177.65/177.74	c nbDecision=49000 #constraints=26624
179.94/180.09	c nbDecision=49500 #constraints=26853
183.34/183.45	c nbDecision=50000 #constraints=27074
185.94/186.01	c nbDecision=50500 #constraints=27286
189.05/189.20	c nbDecision=51000 #constraints=27479
190.54/190.67	c restart after 51201 decisions
193.24/193.33	c nbDecision=51500 #constraints=27718
196.54/196.70	c nbDecision=52000 #constraints=27982
198.64/198.78	c nbDecision=52500 #constraints=28099
202.04/202.10	c nbDecision=53000 #constraints=28345
204.84/204.93	c nbDecision=53500 #constraints=28562
207.84/207.93	c nbDecision=54000 #constraints=28778
211.24/211.30	c nbDecision=54500 #constraints=28991
214.63/214.75	c nbDecision=55000 #constraints=29224
217.74/217.89	c nbDecision=55500 #constraints=29417
221.13/221.22	c nbDecision=56000 #constraints=29615
223.83/224.00	c nbDecision=56500 #constraints=29765
227.93/228.08	c nbDecision=57000 #constraints=30014
230.33/230.43	c nbDecision=57500 #constraints=30170
233.63/233.75	c nbDecision=58000 #constraints=30404
236.23/236.30	c nbDecision=58500 #constraints=30542
239.33/239.45	c nbDecision=59000 #constraints=30751
242.43/242.55	c nbDecision=59500 #constraints=30928
245.62/245.76	c nbDecision=60000 #constraints=31096
248.62/248.76	c nbDecision=60500 #constraints=31250
251.52/251.62	c nbDecision=61000 #constraints=31430
254.72/254.85	c nbDecision=61500 #constraints=31595
257.32/257.43	c nbDecision=62000 #constraints=31729
260.63/260.71	c nbDecision=62500 #constraints=31881
263.62/263.78	c nbDecision=63000 #constraints=32114
266.12/266.23	c nbDecision=63500 #constraints=32264
268.92/269.09	c nbDecision=64000 #constraints=32396
271.52/271.63	c nbDecision=64500 #constraints=32586
274.12/274.29	c nbDecision=65000 #constraints=32782
276.61/276.74	c nbDecision=65500 #constraints=32874
279.01/279.17	c nbDecision=66000 #constraints=33091
283.52/283.70	c nbDecision=66500 #constraints=33351
286.52/286.63	c nbDecision=67000 #constraints=33584
290.12/290.26	c nbDecision=67500 #constraints=33810
294.01/294.20	c nbDecision=68000 #constraints=34007
298.81/298.99	c nbDecision=68500 #constraints=34231
302.81/302.97	c nbDecision=69000 #constraints=34414
307.51/307.69	c nbDecision=69500 #constraints=34645
311.01/311.12	c nbDecision=70000 #constraints=34798
315.61/315.71	c nbDecision=70500 #constraints=35014
319.70/319.83	c nbDecision=71000 #constraints=35204
323.31/323.42	c nbDecision=71500 #constraints=35362
327.11/327.24	c nbDecision=72000 #constraints=35573
330.70/330.84	c nbDecision=72500 #constraints=35776
334.01/334.16	c nbDecision=73000 #constraints=35985
338.10/338.21	c nbDecision=73500 #constraints=36172
341.70/341.87	c nbDecision=74000 #constraints=36366
345.50/345.60	c nbDecision=74500 #constraints=36557
348.61/348.71	c nbDecision=75000 #constraints=36678
351.91/352.03	c nbDecision=75500 #constraints=36808
355.50/355.65	c nbDecision=76000 #constraints=36955
359.10/359.20	c nbDecision=76500 #constraints=37096
362.69/362.84	c nbDecision=77000 #constraints=37275
365.99/366.12	c nbDecision=77500 #constraints=37430
368.89/369.08	c nbDecision=78000 #constraints=37538
371.99/372.11	c nbDecision=78500 #constraints=37682
374.49/374.62	c nbDecision=79000 #constraints=37784
379.29/379.41	c nbDecision=79500 #constraints=38059
382.99/383.14	c nbDecision=80000 #constraints=38212
387.09/387.27	c nbDecision=80500 #constraints=38453
391.39/391.53	c nbDecision=81000 #constraints=38625
396.78/397.00	c nbDecision=81500 #constraints=38847
400.88/401.02	c nbDecision=82000 #constraints=39004
405.39/405.57	c nbDecision=82500 #constraints=39185
409.38/409.57	c nbDecision=83000 #constraints=39377
413.48/413.66	c nbDecision=83500 #constraints=39526
418.27/418.41	c nbDecision=84000 #constraints=39761
422.68/422.82	c nbDecision=84500 #constraints=39928
426.48/426.62	c nbDecision=85000 #constraints=40106
430.67/430.84	c nbDecision=85500 #constraints=40255
434.97/435.10	c nbDecision=86000 #constraints=40408
438.98/439.19	c nbDecision=86500 #constraints=40553
443.18/443.31	c nbDecision=87000 #constraints=40695
447.48/447.60	c nbDecision=87500 #constraints=40846
450.67/450.86	c nbDecision=88000 #constraints=40955
453.87/454.05	c nbDecision=88500 #constraints=41058
456.87/457.03	c nbDecision=89000 #constraints=41148
460.36/460.59	c nbDecision=89500 #constraints=41262
463.67/463.81	c nbDecision=90000 #constraints=41396
469.57/469.78	c nbDecision=90500 #constraints=41635
474.27/474.46	c nbDecision=91000 #constraints=41800
480.06/480.20	c nbDecision=91500 #constraints=42014
484.36/484.52	c nbDecision=92000 #constraints=42204
488.66/488.84	c nbDecision=92500 #constraints=42356
493.77/493.91	c nbDecision=93000 #constraints=42577
497.76/497.93	c nbDecision=93500 #constraints=42762
502.95/503.13	c nbDecision=94000 #constraints=43017
508.05/508.29	c nbDecision=94500 #constraints=43189
512.16/512.32	c nbDecision=95000 #constraints=43317
517.05/517.21	c nbDecision=95500 #constraints=43486
521.75/521.92	c nbDecision=96000 #constraints=43671
526.75/526.97	c nbDecision=96500 #constraints=43831
531.06/531.22	c nbDecision=97000 #constraints=43963
534.85/535.06	c nbDecision=97500 #constraints=44080
539.24/539.40	c nbDecision=98000 #constraints=44252
542.94/543.15	c nbDecision=98500 #constraints=44406
547.04/547.27	c nbDecision=99000 #constraints=44523
550.34/550.59	c nbDecision=99500 #constraints=44658
553.54/553.79	c nbDecision=100000 #constraints=44742
558.14/558.38	c nbDecision=100500 #constraints=44944
563.24/563.44	c nbDecision=101000 #constraints=45160
567.94/568.11	c nbDecision=101500 #constraints=45379
573.33/573.51	c nbDecision=102000 #constraints=45598
576.63/576.87	c restart after 102401 decisions
579.93/580.16	c nbDecision=102500 #constraints=45775
595.73/595.95	c nbDecision=103000 #constraints=46084
605.43/605.66	c nbDecision=103500 #constraints=46370
611.02/611.25	c nbDecision=104000 #constraints=46587
620.13/620.35	c nbDecision=104500 #constraints=46802
636.32/636.54	c nbDecision=105000 #constraints=47109
644.92/645.18	c nbDecision=105500 #constraints=47381
650.72/650.95	c nbDecision=106000 #constraints=47554
666.51/666.79	c nbDecision=106500 #constraints=47820
676.70/676.91	c nbDecision=107000 #constraints=48096
682.51/682.71	c nbDecision=107500 #constraints=48321
689.01/689.29	c nbDecision=108000 #constraints=48589
702.90/703.12	c nbDecision=108500 #constraints=48899
710.50/710.78	c nbDecision=109000 #constraints=49131
716.79/717.04	c nbDecision=109500 #constraints=49322
726.79/727.06	c nbDecision=110000 #constraints=49543
737.39/737.69	c nbDecision=110500 #constraints=49815
744.39/744.69	c nbDecision=111000 #constraints=50036
749.89/750.17	c nbDecision=111500 #constraints=50195
762.78/763.05	c nbDecision=112000 #constraints=50483
770.08/770.38	c nbDecision=112500 #constraints=50708
776.58/776.82	c nbDecision=113000 #constraints=50868
787.58/787.85	c nbDecision=113500 #constraints=51121
795.08/795.40	c nbDecision=114000 #constraints=51352
802.37/802.68	c nbDecision=114500 #constraints=51520
813.37/813.63	c nbDecision=115000 #constraints=51835
820.17/820.43	c nbDecision=115500 #constraints=52089
827.06/827.33	c nbDecision=116000 #constraints=52291
837.37/837.62	c nbDecision=116500 #constraints=52562
844.26/844.55	c nbDecision=117000 #constraints=52765
853.86/854.19	c nbDecision=117500 #constraints=53000
861.15/861.45	c nbDecision=118000 #constraints=53220
867.76/868.08	c nbDecision=118500 #constraints=53423
877.15/877.50	c nbDecision=119000 #constraints=53688
883.05/883.32	c nbDecision=119500 #constraints=53850
892.55/892.85	c nbDecision=120000 #constraints=54125
900.15/900.43	c nbDecision=120500 #constraints=54347
906.84/907.18	c nbDecision=121000 #constraints=54557
915.64/915.90	c nbDecision=121500 #constraints=54808
921.45/921.73	c nbDecision=122000 #constraints=54954
929.94/930.22	c nbDecision=122500 #constraints=55199
935.04/935.33	c nbDecision=123000 #constraints=55326
942.63/942.95	c nbDecision=123500 #constraints=55545
948.03/948.35	c nbDecision=124000 #constraints=55728
955.73/956.01	c nbDecision=124500 #constraints=55937
961.33/961.67	c nbDecision=125000 #constraints=56124
969.33/969.61	c nbDecision=125500 #constraints=56349
975.33/975.65	c nbDecision=126000 #constraints=56500
982.22/982.52	c nbDecision=126500 #constraints=56734
988.22/988.53	c nbDecision=127000 #constraints=56889
994.12/994.41	c nbDecision=127500 #constraints=57085
1000.92/1001.20	c nbDecision=128000 #constraints=57269
1006.51/1006.89	c nbDecision=128500 #constraints=57449
1013.32/1013.66	c nbDecision=129000 #constraints=57629
1019.21/1019.54	c nbDecision=129500 #constraints=57783
1024.81/1025.18	c nbDecision=130000 #constraints=57926
1031.41/1031.77	c nbDecision=130500 #constraints=58094
1036.81/1037.14	c nbDecision=131000 #constraints=58224
1042.91/1043.28	c nbDecision=131500 #constraints=58377
1048.11/1048.49	c nbDecision=132000 #constraints=58535
1053.51/1053.87	c nbDecision=132500 #constraints=58670
1059.20/1059.57	c nbDecision=133000 #constraints=58851
1064.30/1064.63	c nbDecision=133500 #constraints=58970
1070.40/1070.76	c nbDecision=134000 #constraints=59108
1074.60/1074.94	c nbDecision=134500 #constraints=59238
1081.90/1082.20	c nbDecision=135000 #constraints=59385
1100.49/1100.85	c nbDecision=135500 #constraints=59671
1111.49/1111.82	c nbDecision=136000 #constraints=59934
1118.09/1118.45	c nbDecision=136500 #constraints=60147
1128.78/1129.10	c nbDecision=137000 #constraints=60306
1143.98/1144.33	c nbDecision=137500 #constraints=60594
1152.38/1152.78	c nbDecision=138000 #constraints=60813
1157.88/1158.29	c nbDecision=138500 #constraints=60942
1176.47/1176.81	c nbDecision=139000 #constraints=61252
1185.97/1186.38	c nbDecision=139500 #constraints=61495
1192.57/1192.92	c nbDecision=140000 #constraints=61694
1208.07/1208.46	c nbDecision=140500 #constraints=61960
1217.06/1217.46	c nbDecision=141000 #constraints=62226
1223.77/1224.11	c nbDecision=141500 #constraints=62410
1234.36/1234.73	c nbDecision=142000 #constraints=62622
1247.35/1247.79	c nbDecision=142500 #constraints=62912
1255.05/1255.47	c nbDecision=143000 #constraints=63175
1267.45/1267.87	c nbDecision=143500 #constraints=63394
1277.35/1277.77	c nbDecision=144000 #constraints=63672
1284.34/1284.79	c nbDecision=144500 #constraints=63844
1296.75/1297.11	c nbDecision=145000 #constraints=64079
1304.94/1305.36	c nbDecision=145500 #constraints=64321
1311.64/1312.03	c nbDecision=146000 #constraints=64469
1322.73/1323.19	c nbDecision=146500 #constraints=64694
1331.63/1332.04	c nbDecision=147000 #constraints=64949
1338.14/1338.56	c nbDecision=147500 #constraints=65085
1350.93/1351.30	c nbDecision=148000 #constraints=65368
1357.53/1357.91	c nbDecision=148500 #constraints=65638
1365.73/1366.12	c nbDecision=149000 #constraints=65835
1375.72/1376.19	c nbDecision=149500 #constraints=66061
1383.22/1383.64	c nbDecision=150000 #constraints=66235
1394.32/1394.79	c nbDecision=150500 #constraints=66485
1401.12/1401.55	c nbDecision=151000 #constraints=66643
1410.62/1411.08	c nbDecision=151500 #constraints=66853
1418.91/1419.32	c nbDecision=152000 #constraints=67084
1426.71/1427.18	c nbDecision=152500 #constraints=67251
1434.90/1435.33	c nbDecision=153000 #constraints=67443
1442.00/1442.48	c nbDecision=153500 #constraints=67596
1450.31/1450.80	c nbDecision=154000 #constraints=67836
1457.70/1458.16	c nbDecision=154500 #constraints=67993
1465.10/1465.51	c nbDecision=155000 #constraints=68207
1473.80/1474.23	c nbDecision=155500 #constraints=68401
1480.59/1481.04	c nbDecision=156000 #constraints=68555
1490.19/1490.67	c nbDecision=156500 #constraints=68777
1496.49/1496.97	c nbDecision=157000 #constraints=68918
1504.49/1504.90	c nbDecision=157500 #constraints=69094
1513.09/1513.52	c nbDecision=158000 #constraints=69287
1520.68/1521.10	c nbDecision=158500 #constraints=69455
1527.68/1528.11	c nbDecision=159000 #constraints=69645
1534.38/1534.85	c nbDecision=159500 #constraints=69826
1541.78/1542.27	c nbDecision=160000 #constraints=70035
1547.98/1548.47	c nbDecision=160500 #constraints=70205
1553.88/1554.32	c nbDecision=161000 #constraints=70364
1560.87/1561.32	c nbDecision=161500 #constraints=70512
1566.67/1567.17	c nbDecision=162000 #constraints=70666
1572.68/1573.12	c nbDecision=162500 #constraints=70786
1578.17/1578.63	c nbDecision=163000 #constraints=70934
1582.77/1583.30	c nbDecision=163500 #constraints=71024
1586.97/1587.48	c nbDecision=164000 #constraints=71146
1592.37/1592.82	c nbDecision=164500 #constraints=71246
1609.26/1609.74	c nbDecision=165000 #constraints=71505
1624.26/1624.74	c nbDecision=165500 #constraints=71798
1636.86/1637.34	c nbDecision=166000 #constraints=72073
1644.85/1645.33	c nbDecision=166500 #constraints=72236
1666.64/1667.11	c nbDecision=167000 #constraints=72546
1678.85/1679.37	c nbDecision=167500 #constraints=72805
1686.14/1686.62	c nbDecision=168000 #constraints=72951
1704.54/1705.04	c nbDecision=168500 #constraints=73246
1718.43/1718.91	c nbDecision=169000 #constraints=73515
1727.23/1727.78	c nbDecision=169500 #constraints=73707
1742.93/1743.47	c nbDecision=170000 #constraints=73931
1756.92/1757.46	c nbDecision=170500 #constraints=74214
1765.32/1765.85	c nbDecision=171000 #constraints=74388
1779.32/1779.85	c nbDecision=171500 #constraints=74598
1791.81/1792.34	c nbDecision=172000 #constraints=74837
1800.01/1800.50	Received signal 15
1800.01/1800.51	
1800.01/1800.51	s UNKNOWN
1800.01/1800.51	
1800.01/1800.51	c user time= 1799.41 s
1800.01/1800.51	c system time= 0.617906 s
1800.01/1800.51	c wall clock time=1800.51

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/node21/watcher-356943-1176848953 -o ROOT/results/node21/solver-356943-1176848953 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356943-1176848953/instance-356943-1176848953.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.80 0.95 0.98 3/77 6272
/proc/meminfo: memFree=1791736/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=1620 CPUtime=0
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 132812603 1658880 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 405 166 126 317 0 84 0

[startup+0.082878 s]
/proc/loadavg: 0.80 0.95 0.98 3/77 6272
/proc/meminfo: memFree=1791736/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=2860 CPUtime=0.07
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 498 0 0 0 7 0 0 0 18 0 1 0 132812603 2928640 480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 715 480 131 317 0 394 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2860

[startup+0.101879 s]
/proc/loadavg: 0.80 0.95 0.98 3/77 6272
/proc/meminfo: memFree=1791736/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=3124 CPUtime=0.09
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 578 0 0 0 9 0 0 0 18 0 1 0 132812603 3198976 560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 781 560 131 317 0 460 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3124

[startup+0.301902 s]
/proc/loadavg: 0.80 0.95 0.98 3/77 6272
/proc/meminfo: memFree=1791736/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=6220 CPUtime=0.29
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 1339 0 0 0 29 0 0 0 19 0 1 0 132812603 6369280 1321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385269 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 1555 1321 139 317 0 1234 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6220

[startup+0.701945 s]
/proc/loadavg: 0.80 0.95 0.98 3/77 6272
/proc/meminfo: memFree=1791736/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=7792 CPUtime=0.69
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 1714 0 0 0 69 0 0 0 23 0 1 0 132812603 7979008 1696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 1948 1696 139 317 0 1627 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7792

[startup+1.50103 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 6273
/proc/meminfo: memFree=1784560/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=9876 CPUtime=1.49
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 2238 0 0 0 148 1 0 0 25 0 1 0 132812603 10113024 2220 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710772 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 2469 2220 139 317 0 2148 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9876

[startup+3.10121 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 6273
/proc/meminfo: memFree=1781552/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=13848 CPUtime=3.09
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 3243 0 0 0 308 1 0 0 25 0 1 0 132812603 14180352 3225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 3462 3225 139 317 0 3141 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13848

[startup+6.30156 s]
/proc/loadavg: 0.81 0.95 0.98 2/78 6273
/proc/meminfo: memFree=1775600/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=18548 CPUtime=6.28
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 4379 0 0 0 626 2 0 0 25 0 1 0 132812603 18993152 4361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 4637 4361 170 317 0 4316 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18548

[startup+12.7023 s]
/proc/loadavg: 0.83 0.95 0.98 2/78 6273
/proc/meminfo: memFree=1769712/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=24332 CPUtime=12.68
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 5687 0 0 0 1265 3 0 0 25 0 1 0 132812603 24915968 5669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 6083 5669 170 317 0 5762 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24332

[startup+25.5017 s]
/proc/loadavg: 0.86 0.95 0.98 2/78 6273
/proc/meminfo: memFree=1762736/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=30944 CPUtime=25.48
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 7460 0 0 0 2543 5 0 0 25 0 1 0 132812603 31686656 7385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 7736 7385 170 317 0 7415 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30944

[startup+51.1014 s]
/proc/loadavg: 0.91 0.96 0.98 2/78 6273
/proc/meminfo: memFree=1752048/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=42828 CPUtime=51.08
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 10139 0 0 0 5101 7 0 0 25 0 1 0 132812603 43855872 10064 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 10707 10064 170 317 0 10386 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 42828

[startup+102.305 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 6273
/proc/meminfo: memFree=1738864/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=55372 CPUtime=102.27
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 13476 0 0 0 10217 10 0 0 25 0 1 0 132812603 56700928 13288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 13843 13288 170 317 0 13522 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 55372

[startup+162.302 s]
/proc/loadavg: 0.98 0.97 0.98 2/78 6273
/proc/meminfo: memFree=1725872/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=72284 CPUtime=162.25
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 17683 0 0 0 16212 13 0 0 25 0 1 0 132812603 74018816 16571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 18071 16571 170 317 0 17750 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 72284

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6273
/proc/meminfo: memFree=1712560/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=84468 CPUtime=222.23
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 21018 0 0 0 22208 15 0 0 25 0 1 0 132812603 86495232 19840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 21117 19840 170 317 0 20796 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 84468

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6273
/proc/meminfo: memFree=1699760/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=97000 CPUtime=282.22
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 24422 0 0 0 28203 19 0 0 25 0 1 0 132812603 99328000 22985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 24250 22985 170 317 0 23929 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 97000

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6273
/proc/meminfo: memFree=1688560/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=108060 CPUtime=342.2
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 27337 0 0 0 34198 22 0 0 25 0 1 0 132812603 110653440 25834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 27015 25834 170 317 0 26694 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 108060

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6273
/proc/meminfo: memFree=1678768/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=116936 CPUtime=402.18
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 29854 0 0 0 40194 24 0 0 25 0 1 0 132812603 119742464 28285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 29234 28285 170 317 0 28913 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 116936

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6273
/proc/meminfo: memFree=1669424/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=126100 CPUtime=462.17
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 32174 0 0 0 46189 28 0 0 25 0 1 0 132812603 129126400 30605 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 31525 30605 170 317 0 31204 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 126100

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6273
/proc/meminfo: memFree=1659888/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=146932 CPUtime=522.15
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 37304 0 0 0 52183 32 0 0 25 0 1 0 132812603 150458368 33002 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 36733 33002 170 317 0 36412 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 146932

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6275
/proc/meminfo: memFree=1652464/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=154364 CPUtime=582.13
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 39356 0 0 0 58179 34 0 0 25 0 1 0 132812603 158068736 34824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 38591 34824 170 317 0 38270 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 154364

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6275
/proc/meminfo: memFree=1648496/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=157520 CPUtime=642.13
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 40326 0 0 0 64177 36 0 0 25 0 1 0 132812603 161300480 35794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 39380 35794 170 317 0 39059 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 157520


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6275
/proc/meminfo: memFree=1631664/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=171580 CPUtime=882.05
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 44544 0 0 0 88164 41 0 0 25 0 1 0 132812603 175697920 40012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 42895 40012 170 317 0 42574 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 171580

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6275
/proc/meminfo: memFree=1627248/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=175656 CPUtime=942.03
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 45721 0 0 0 94160 43 0 0 25 0 1 0 132812603 179871744 41124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 43914 41124 170 317 0 43593 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 175656

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6275
/proc/meminfo: memFree=1622768/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=179744 CPUtime=1002.02
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 46905 0 0 0 100158 44 0 0 25 0 1 0 132812603 184057856 42243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 44936 42243 170 317 0 44615 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 179744

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6275
/proc/meminfo: memFree=1618608/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=183152 CPUtime=1062
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 47948 0 0 0 106154 46 0 0 25 0 1 0 132812603 187547648 43286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 45788 43286 170 317 0 45467 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 183152

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6275
/proc/meminfo: memFree=1615280/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=186172 CPUtime=1121.98
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 48840 0 0 0 112151 47 0 0 25 0 1 0 132812603 190640128 44113 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 46543 44113 170 317 0 46222 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 186172

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6275
/proc/meminfo: memFree=1612144/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=189052 CPUtime=1181.98
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 49685 0 0 0 118149 49 0 0 25 0 1 0 132812603 193589248 44893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 47263 44893 170 317 0 46942 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 189052

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6275
/proc/meminfo: memFree=1608496/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=192060 CPUtime=1241.95
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 50591 0 0 0 124145 50 0 0 25 0 1 0 132812603 196669440 45799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 48015 45799 170 317 0 47694 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 192060

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6275
/proc/meminfo: memFree=1604912/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=195208 CPUtime=1301.95
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 51474 0 0 0 130143 52 0 0 25 0 1 0 132812603 199892992 46682 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 48802 46682 170 317 0 48481 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 195208

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6275
/proc/meminfo: memFree=1601072/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=198616 CPUtime=1361.93
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 52496 0 0 0 136140 53 0 0 25 0 1 0 132812603 203382784 47639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 49654 47639 170 317 0 49333 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 198616

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6275
/proc/meminfo: memFree=1597488/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=203576 CPUtime=1421.91
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 53852 0 0 0 142137 54 0 0 25 0 1 0 132812603 208461824 48544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 50894 48544 170 317 0 50573 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 203576

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6275
/proc/meminfo: memFree=1593712/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=206988 CPUtime=1481.89
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 54860 0 0 0 148134 55 0 0 25 0 1 0 132812603 211955712 49487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 51747 49487 170 317 0 51426 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 206988

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6275
/proc/meminfo: memFree=1590128/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=210292 CPUtime=1541.88
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 55754 0 0 0 154131 57 0 0 25 0 1 0 132812603 215339008 50381 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711188 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 52573 50381 170 317 0 52252 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 210292

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6275
/proc/meminfo: memFree=1586672/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=213480 CPUtime=1601.86
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 56630 0 0 0 160128 58 0 0 25 0 1 0 132812603 218603520 51257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 53370 51257 170 317 0 53049 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 213480

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6275
/proc/meminfo: memFree=1584240/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=215848 CPUtime=1661.84
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 57258 0 0 0 166125 59 0 0 25 0 1 0 132812603 221028352 51885 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 53962 51885 170 317 0 53641 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 215848

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6275
/proc/meminfo: memFree=1581232/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=218344 CPUtime=1721.83
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 58036 0 0 0 172123 60 0 0 25 0 1 0 132812603 223584256 52663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 54586 52663 170 317 0 54265 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 218344

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6275
/proc/meminfo: memFree=1578224/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=220712 CPUtime=1781.82
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 58736 0 0 0 178121 61 0 0 25 0 1 0 132812603 226009088 53363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 55178 53363 170 317 0 54857 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 220712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6275
/proc/meminfo: memFree=1577264/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=221500 CPUtime=1800.01
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 58956 0 0 0 179940 61 0 0 25 0 1 0 132812603 226816000 53583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 55375 53583 170 317 0 55054 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 221500

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

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

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 6275
/proc/meminfo: memFree=1577264/2055920 swapFree=4157744/4192956
[pid=6272] ppid=6270 vsize=221500 CPUtime=1800.01
/proc/6272/stat : 6272 (oree) R 6270 6272 6215 0 -1 4194304 58956 0 0 0 179940 61 0 0 25 0 1 0 132812603 226816000 53583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6272/statm: 55375 53583 170 317 0 55054 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 221500

Child status: 0
Real time (s): 1800.56
CPU time (s): 1800.08
CPU user time (s): 1799.43
CPU system time (s): 0.6519
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 221500

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

runsolver used 2.09668 second user time and 4.47632 second system time

The end

Launcher Data (download as text)

Begin job on node21 on Tue Apr 17 22:29:13 UTC 2007

IDJOB= 356943
IDBENCH= 1667
IDSOLVER= 172
FILE ID= node21/356943-1176848953

PBS_JOBID= 4590232

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  ceb2e4b71eb9bdf9c63b27bfd911be00

RANDOM SEED= 810580695

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node21.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.232
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.232
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:       1792144 kB
Buffers:         35940 kB
Cached:         156384 kB
SwapCached:      14328 kB
Active:          84376 kB
Inactive:       137340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1792144 kB
SwapTotal:     4192956 kB
SwapFree:      4157744 kB
Dirty:            2224 kB
Writeback:           0 kB
Mapped:          29668 kB
Slab:            27544 kB
Committed_AS:   997380 kB
PageTables:       1784 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= 66444 MiB

End job on node21 on Tue Apr 17 22:59:16 UTC 2007