Trace number 356982

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.24 1800.87

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-dfl001.opb
MD5SUM7b9d3fef35f44b9f29a1eccedaaa362f
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 variables366703
Total number of constraints6084
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 constraints6084
Minimum length of a constraint13
Maximum length of a constraint6840
Number of terms in the objective function 187033
Biggest coefficient in the objective function 1278
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 704610
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 704610
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...
3.89/3.97	c ...done
3.89/3.97	c #vars=366703 #constraints=12156 hasObjective=yes
7.09/7.17	c res. mode=mod
7.09/7.17	c VSIDS like heuristics
7.09/7.17	c complete search running
12.29/12.34	c restart after 401 decisions
13.29/13.32	c nbDecision=500 #constraints=12231
16.39/16.47	c restart after 801 decisions
18.49/18.56	c nbDecision=1000 #constraints=12300
23.88/23.93	c nbDecision=1500 #constraints=12386
24.88/24.99	c restart after 1601 decisions
29.08/29.16	c nbDecision=2000 #constraints=12451
34.27/34.31	c nbDecision=2500 #constraints=12502
39.48/39.55	c nbDecision=3000 #constraints=12569
41.46/41.57	c restart after 3201 decisions
44.66/44.76	c nbDecision=3500 #constraints=12630
49.96/50.06	c nbDecision=4000 #constraints=12707
55.16/55.23	c nbDecision=4500 #constraints=12743
60.25/60.38	c nbDecision=5000 #constraints=12780
65.36/65.47	c nbDecision=5500 #constraints=12816
70.46/70.55	c nbDecision=6000 #constraints=12838
74.66/74.73	c restart after 6401 decisions
75.66/75.74	c nbDecision=6500 #constraints=12892
80.75/80.87	c nbDecision=7000 #constraints=12921
85.95/86.09	c nbDecision=7500 #constraints=12971
91.15/91.27	c nbDecision=8000 #constraints=13008
96.25/96.32	c nbDecision=8500 #constraints=13023
101.25/101.35	c nbDecision=9000 #constraints=13035
106.34/106.49	c nbDecision=9500 #constraints=13067
111.54/111.69	c nbDecision=10000 #constraints=13109
116.94/117.08	c nbDecision=10500 #constraints=13199
122.14/122.28	c nbDecision=11000 #constraints=13245
127.54/127.61	c nbDecision=11500 #constraints=13313
132.73/132.85	c nbDecision=12000 #constraints=13349
137.93/138.07	c nbDecision=12500 #constraints=13399
141.03/141.19	c restart after 12801 decisions
143.13/143.21	c nbDecision=13000 #constraints=13435
148.23/148.40	c nbDecision=13500 #constraints=13484
153.53/153.66	c nbDecision=14000 #constraints=13534
158.83/158.90	c nbDecision=14500 #constraints=13581
164.13/164.26	c nbDecision=15000 #constraints=13655
169.23/169.32	c nbDecision=15500 #constraints=13673
174.32/174.44	c nbDecision=16000 #constraints=13694
179.42/179.54	c nbDecision=16500 #constraints=13715
184.52/184.62	c nbDecision=17000 #constraints=13733
189.62/189.77	c nbDecision=17500 #constraints=13770
194.81/194.93	c nbDecision=18000 #constraints=13801
199.91/200.05	c nbDecision=18500 #constraints=13828
205.12/205.22	c nbDecision=19000 #constraints=13864
210.22/210.34	c nbDecision=19500 #constraints=13890
215.42/215.56	c nbDecision=20000 #constraints=13922
220.51/220.68	c nbDecision=20500 #constraints=13941
225.61/225.76	c nbDecision=21000 #constraints=13957
230.81/230.95	c nbDecision=21500 #constraints=13985
235.91/236.03	c nbDecision=22000 #constraints=13995
241.01/241.15	c nbDecision=22500 #constraints=14017
246.00/246.18	c nbDecision=23000 #constraints=14024
251.10/251.29	c nbDecision=23500 #constraints=14045
256.30/256.48	c nbDecision=24000 #constraints=14078
261.50/261.62	c nbDecision=24500 #constraints=14100
266.69/266.80	c nbDecision=25000 #constraints=14140
271.79/271.96	c nbDecision=25500 #constraints=14162
272.79/272.98	c restart after 25601 decisions
276.89/277.06	c nbDecision=26000 #constraints=14182
282.19/282.31	c nbDecision=26500 #constraints=14242
287.30/287.41	c nbDecision=27000 #constraints=14273
292.40/292.52	c nbDecision=27500 #constraints=14294
297.59/297.77	c nbDecision=28000 #constraints=14338
302.69/302.82	c nbDecision=28500 #constraints=14355
307.79/307.92	c nbDecision=29000 #constraints=14376
312.99/313.14	c nbDecision=29500 #constraints=14410
318.29/318.40	c nbDecision=30000 #constraints=14448
323.48/323.61	c nbDecision=30500 #constraints=14484
328.57/328.71	c nbDecision=31000 #constraints=14501
333.87/334.01	c nbDecision=31500 #constraints=14554
338.96/339.18	c nbDecision=32000 #constraints=14573
344.04/344.29	c nbDecision=32500 #constraints=14597
349.23/349.45	c nbDecision=33000 #constraints=14619
354.42/354.68	c nbDecision=33500 #constraints=14658
359.80/360.02	c nbDecision=34000 #constraints=14699
364.91/365.19	c nbDecision=34500 #constraints=14727
370.10/370.35	c nbDecision=35000 #constraints=14746
375.30/375.55	c nbDecision=35500 #constraints=14776
380.50/380.71	c nbDecision=36000 #constraints=14802
385.68/385.91	c nbDecision=36500 #constraints=14835
390.67/390.99	c nbDecision=37000 #constraints=14844
395.87/396.16	c nbDecision=37500 #constraints=14870
401.18/401.42	c nbDecision=38000 #constraints=14906
406.47/406.74	c nbDecision=38500 #constraints=14952
411.77/412.09	c nbDecision=39000 #constraints=14992
417.57/417.85	c nbDecision=39500 #constraints=15071
423.17/423.42	c nbDecision=40000 #constraints=15137
429.56/429.83	c nbDecision=40500 #constraints=15276
434.66/434.94	c nbDecision=41000 #constraints=15283
439.76/440.06	c nbDecision=41500 #constraints=15297
444.86/445.15	c nbDecision=42000 #constraints=15310
449.96/450.23	c nbDecision=42500 #constraints=15318
455.06/455.39	c nbDecision=43000 #constraints=15336
460.25/460.52	c nbDecision=43500 #constraints=15352
465.46/465.77	c nbDecision=44000 #constraints=15393
470.76/471.02	c nbDecision=44500 #constraints=15422
475.96/476.21	c nbDecision=45000 #constraints=15444
481.06/481.35	c nbDecision=45500 #constraints=15457
486.15/486.41	c nbDecision=46000 #constraints=15463
491.36/491.62	c nbDecision=46500 #constraints=15492
496.45/496.77	c nbDecision=47000 #constraints=15506
501.75/502.00	c nbDecision=47500 #constraints=15530
506.85/507.13	c nbDecision=48000 #constraints=15547
512.04/512.31	c nbDecision=48500 #constraints=15561
517.24/517.54	c nbDecision=49000 #constraints=15579
522.34/522.68	c nbDecision=49500 #constraints=15605
527.44/527.74	c nbDecision=50000 #constraints=15611
532.53/532.88	c nbDecision=50500 #constraints=15620
537.73/538.02	c nbDecision=51000 #constraints=15636
539.73/540.09	c restart after 51201 decisions
542.93/543.21	c nbDecision=51500 #constraints=15672
548.04/548.35	c nbDecision=52000 #constraints=15704
553.43/553.73	c nbDecision=52500 #constraints=15787
558.53/558.81	c nbDecision=53000 #constraints=15802
563.83/564.16	c nbDecision=53500 #constraints=15852
569.02/569.37	c nbDecision=54000 #constraints=15881
574.32/574.67	c nbDecision=54500 #constraints=15909
579.62/579.92	c nbDecision=55000 #constraints=15935
584.82/585.16	c nbDecision=55500 #constraints=15956
590.21/590.53	c nbDecision=56000 #constraints=15998
595.51/595.84	c nbDecision=56500 #constraints=16043
600.72/601.09	c nbDecision=57000 #constraints=16064
605.92/606.25	c nbDecision=57500 #constraints=16078
611.12/611.42	c nbDecision=58000 #constraints=16091
616.61/616.95	c nbDecision=58500 #constraints=16144
621.91/622.23	c nbDecision=59000 #constraints=16178
627.11/627.48	c nbDecision=59500 #constraints=16203
632.30/632.66	c nbDecision=60000 #constraints=16217
637.51/637.82	c nbDecision=60500 #constraints=16234
642.81/643.19	c nbDecision=61000 #constraints=16280
648.11/648.40	c nbDecision=61500 #constraints=16317
653.30/653.65	c nbDecision=62000 #constraints=16336
658.51/658.88	c nbDecision=62500 #constraints=16353
663.60/663.98	c nbDecision=63000 #constraints=16362
668.80/669.14	c nbDecision=63500 #constraints=16380
674.30/674.66	c nbDecision=64000 #constraints=16426
679.50/679.85	c nbDecision=64500 #constraints=16438
684.69/685.03	c nbDecision=65000 #constraints=16457
689.79/690.18	c nbDecision=65500 #constraints=16468
694.99/695.34	c nbDecision=66000 #constraints=16484
700.29/700.63	c nbDecision=66500 #constraints=16513
705.58/705.90	c nbDecision=67000 #constraints=16539
710.89/711.21	c nbDecision=67500 #constraints=16568
716.09/716.45	c nbDecision=68000 #constraints=16582
721.19/721.56	c nbDecision=68500 #constraints=16590
726.28/726.63	c nbDecision=69000 #constraints=16596
731.48/731.87	c nbDecision=69500 #constraints=16630
736.68/737.08	c nbDecision=70000 #constraints=16643
741.88/742.25	c nbDecision=70500 #constraints=16659
747.08/747.42	c nbDecision=71000 #constraints=16678
752.17/752.57	c nbDecision=71500 #constraints=16694
757.48/757.85	c nbDecision=72000 #constraints=16709
763.07/763.47	c nbDecision=72500 #constraints=16760
768.47/768.85	c nbDecision=73000 #constraints=16797
773.67/774.10	c nbDecision=73500 #constraints=16818
778.86/779.29	c nbDecision=74000 #constraints=16835
784.16/784.50	c nbDecision=74500 #constraints=16852
789.26/789.68	c nbDecision=75000 #constraints=16871
794.56/794.90	c nbDecision=75500 #constraints=16890
799.86/800.22	c nbDecision=76000 #constraints=16908
804.96/805.35	c nbDecision=76500 #constraints=16916
810.86/811.25	c nbDecision=77000 #constraints=16967
816.35/816.79	c nbDecision=77500 #constraints=16997
821.55/821.97	c nbDecision=78000 #constraints=17008
826.75/827.14	c nbDecision=78500 #constraints=17024
831.85/832.26	c nbDecision=79000 #constraints=17030
837.05/837.40	c nbDecision=79500 #constraints=17037
842.34/842.71	c nbDecision=80000 #constraints=17056
847.65/848.06	c nbDecision=80500 #constraints=17083
853.44/853.86	c nbDecision=81000 #constraints=17122
859.14/859.53	c nbDecision=81500 #constraints=17166
865.24/865.66	c nbDecision=82000 #constraints=17227
870.44/870.87	c nbDecision=82500 #constraints=17239
875.84/876.26	c nbDecision=83000 #constraints=17259
880.94/881.39	c nbDecision=83500 #constraints=17266
886.54/886.97	c nbDecision=84000 #constraints=17303
892.03/892.46	c nbDecision=84500 #constraints=17327
897.43/897.88	c nbDecision=85000 #constraints=17348
903.03/903.46	c nbDecision=85500 #constraints=17378
909.13/909.59	c nbDecision=86000 #constraints=17436
916.33/916.71	c nbDecision=86500 #constraints=17542
924.82/925.21	c nbDecision=87000 #constraints=17711
930.13/930.55	c nbDecision=87500 #constraints=17741
935.42/935.80	c nbDecision=88000 #constraints=17765
940.62/941.08	c nbDecision=88500 #constraints=17790
945.82/946.23	c nbDecision=89000 #constraints=17810
951.02/951.42	c nbDecision=89500 #constraints=17828
956.32/956.73	c nbDecision=90000 #constraints=17844
961.61/962.09	c nbDecision=90500 #constraints=17863
967.11/967.60	c nbDecision=91000 #constraints=17900
972.71/973.14	c nbDecision=91500 #constraints=17930
978.51/978.96	c nbDecision=92000 #constraints=17983
984.20/984.63	c nbDecision=92500 #constraints=18039
989.60/990.04	c nbDecision=93000 #constraints=18073
994.80/995.23	c nbDecision=93500 #constraints=18091
1000.00/1000.48	c nbDecision=94000 #constraints=18105
1005.40/1005.87	c nbDecision=94500 #constraints=18127
1011.30/1011.71	c nbDecision=95000 #constraints=18185
1016.89/1017.38	c nbDecision=95500 #constraints=18234
1022.29/1022.71	c nbDecision=96000 #constraints=18258
1027.39/1027.83	c nbDecision=96500 #constraints=18268
1032.69/1033.18	c nbDecision=97000 #constraints=18297
1038.19/1038.60	c nbDecision=97500 #constraints=18325
1043.69/1044.18	c nbDecision=98000 #constraints=18373
1049.38/1049.82	c nbDecision=98500 #constraints=18427
1054.88/1055.34	c nbDecision=99000 #constraints=18469
1060.18/1060.68	c nbDecision=99500 #constraints=18501
1065.58/1066.00	c nbDecision=100000 #constraints=18531
1071.27/1071.78	c nbDecision=100500 #constraints=18596
1076.78/1077.22	c nbDecision=101000 #constraints=18626
1082.08/1082.57	c nbDecision=101500 #constraints=18654
1087.27/1087.78	c nbDecision=102000 #constraints=18682
1091.97/1092.42	c restart after 102401 decisions
1092.98/1093.50	c nbDecision=102500 #constraints=18735
1098.47/1098.95	c nbDecision=103000 #constraints=18773
1104.56/1105.02	c nbDecision=103500 #constraints=18842
1110.47/1110.92	c nbDecision=104000 #constraints=18914
1116.37/1116.84	c nbDecision=104500 #constraints=18973
1121.97/1122.44	c nbDecision=105000 #constraints=19021
1127.36/1127.84	c nbDecision=105500 #constraints=19053
1132.66/1133.14	c nbDecision=106000 #constraints=19078
1138.56/1139.06	c nbDecision=106500 #constraints=19148
1144.36/1144.80	c nbDecision=107000 #constraints=19198
1149.75/1150.26	c nbDecision=107500 #constraints=19227
1155.25/1155.80	c nbDecision=108000 #constraints=19262
1160.66/1161.14	c nbDecision=108500 #constraints=19294
1165.85/1166.36	c nbDecision=109000 #constraints=19308
1171.15/1171.63	c nbDecision=109500 #constraints=19319
1176.85/1177.31	c nbDecision=110000 #constraints=19354
1182.25/1182.71	c nbDecision=110500 #constraints=19377
1187.74/1188.22	c nbDecision=111000 #constraints=19406
1193.05/1193.53	c nbDecision=111500 #constraints=19421
1198.44/1198.91	c nbDecision=112000 #constraints=19450
1203.74/1204.30	c nbDecision=112500 #constraints=19473
1209.33/1209.81	c nbDecision=113000 #constraints=19502
1214.74/1215.22	c nbDecision=113500 #constraints=19532
1220.24/1220.70	c nbDecision=114000 #constraints=19562
1225.43/1225.97	c nbDecision=114500 #constraints=19576
1230.73/1231.23	c nbDecision=115000 #constraints=19592
1236.23/1236.71	c nbDecision=115500 #constraints=19624
1241.53/1242.01	c nbDecision=116000 #constraints=19645
1246.83/1247.38	c nbDecision=116500 #constraints=19669
1252.12/1252.68	c nbDecision=117000 #constraints=19692
1257.52/1258.06	c nbDecision=117500 #constraints=19710
1262.93/1263.41	c nbDecision=118000 #constraints=19732
1268.12/1268.61	c nbDecision=118500 #constraints=19750
1273.42/1273.98	c nbDecision=119000 #constraints=19772
1278.82/1279.35	c nbDecision=119500 #constraints=19797
1284.11/1284.61	c nbDecision=120000 #constraints=19815
1289.21/1289.79	c nbDecision=120500 #constraints=19832
1294.51/1295.09	c nbDecision=121000 #constraints=19852
1299.91/1300.41	c nbDecision=121500 #constraints=19884
1305.11/1305.69	c nbDecision=122000 #constraints=19911
1310.71/1311.28	c nbDecision=122500 #constraints=19948
1316.30/1316.87	c nbDecision=123000 #constraints=19983
1321.60/1322.12	c nbDecision=123500 #constraints=19993
1327.00/1327.58	c nbDecision=124000 #constraints=20017
1332.30/1332.87	c nbDecision=124500 #constraints=20042
1337.70/1338.27	c nbDecision=125000 #constraints=20060
1343.00/1343.51	c nbDecision=125500 #constraints=20073
1348.20/1348.73	c nbDecision=126000 #constraints=20091
1353.69/1354.23	c nbDecision=126500 #constraints=20112
1358.99/1359.51	c nbDecision=127000 #constraints=20126
1364.19/1364.76	c nbDecision=127500 #constraints=20141
1369.59/1370.11	c nbDecision=128000 #constraints=20160
1374.79/1375.38	c nbDecision=128500 #constraints=20171
1380.08/1380.66	c nbDecision=129000 #constraints=20193
1385.38/1385.98	c nbDecision=129500 #constraints=20216
1390.69/1391.26	c nbDecision=130000 #constraints=20234
1395.98/1396.56	c nbDecision=130500 #constraints=20247
1401.18/1401.79	c nbDecision=131000 #constraints=20261
1406.48/1407.07	c nbDecision=131500 #constraints=20285
1412.17/1412.76	c nbDecision=132000 #constraints=20317
1417.47/1418.07	c nbDecision=132500 #constraints=20330
1422.77/1423.33	c nbDecision=133000 #constraints=20353
1428.37/1428.94	c nbDecision=133500 #constraints=20388
1433.67/1434.24	c nbDecision=134000 #constraints=20408
1438.96/1439.54	c nbDecision=134500 #constraints=20423
1444.36/1444.98	c nbDecision=135000 #constraints=20447
1449.57/1450.15	c nbDecision=135500 #constraints=20459
1454.87/1455.48	c nbDecision=136000 #constraints=20479
1460.27/1460.86	c nbDecision=136500 #constraints=20505
1465.46/1466.05	c nbDecision=137000 #constraints=20515
1470.86/1471.43	c nbDecision=137500 #constraints=20537
1476.06/1476.68	c nbDecision=138000 #constraints=20557
1481.46/1482.03	c nbDecision=138500 #constraints=20574
1486.75/1487.33	c nbDecision=139000 #constraints=20595
1491.95/1492.58	c nbDecision=139500 #constraints=20611
1497.25/1497.81	c nbDecision=140000 #constraints=20625
1502.45/1503.06	c nbDecision=140500 #constraints=20641
1508.15/1508.74	c nbDecision=141000 #constraints=20678
1513.35/1513.94	c nbDecision=141500 #constraints=20685
1518.75/1519.37	c nbDecision=142000 #constraints=20711
1524.05/1524.65	c nbDecision=142500 #constraints=20727
1529.24/1529.84	c nbDecision=143000 #constraints=20736
1534.64/1535.26	c nbDecision=143500 #constraints=20762
1540.04/1540.68	c nbDecision=144000 #constraints=20784
1545.34/1545.91	c nbDecision=144500 #constraints=20796
1550.53/1551.18	c nbDecision=145000 #constraints=20809
1555.84/1556.45	c nbDecision=145500 #constraints=20823
1561.13/1561.74	c nbDecision=146000 #constraints=20839
1566.33/1566.95	c nbDecision=146500 #constraints=20850
1571.63/1572.21	c nbDecision=147000 #constraints=20863
1576.93/1577.54	c nbDecision=147500 #constraints=20883
1582.23/1582.83	c nbDecision=148000 #constraints=20909
1587.62/1588.24	c nbDecision=148500 #constraints=20937
1593.02/1593.64	c nbDecision=149000 #constraints=20965
1598.42/1599.04	c nbDecision=149500 #constraints=20986
1603.62/1604.29	c nbDecision=150000 #constraints=21002
1608.92/1609.58	c nbDecision=150500 #constraints=21023
1614.31/1614.92	c nbDecision=151000 #constraints=21044
1619.62/1620.22	c nbDecision=151500 #constraints=21062
1625.02/1625.69	c nbDecision=152000 #constraints=21096
1630.31/1630.97	c nbDecision=152500 #constraints=21110
1635.61/1636.23	c nbDecision=153000 #constraints=21123
1640.91/1641.54	c nbDecision=153500 #constraints=21143
1646.31/1646.91	c nbDecision=154000 #constraints=21165
1651.61/1652.30	c nbDecision=154500 #constraints=21183
1657.01/1657.67	c nbDecision=155000 #constraints=21198
1662.40/1663.04	c nbDecision=155500 #constraints=21224
1667.80/1668.47	c nbDecision=156000 #constraints=21256
1673.20/1673.84	c nbDecision=156500 #constraints=21277
1678.69/1679.38	c nbDecision=157000 #constraints=21307
1684.30/1684.99	c nbDecision=157500 #constraints=21353
1689.50/1690.19	c nbDecision=158000 #constraints=21360
1694.99/1695.69	c nbDecision=158500 #constraints=21379
1700.79/1701.46	c nbDecision=159000 #constraints=21420
1706.19/1706.89	c nbDecision=159500 #constraints=21442
1711.59/1712.29	c nbDecision=160000 #constraints=21457
1717.18/1717.89	c nbDecision=160500 #constraints=21480
1722.48/1723.10	c nbDecision=161000 #constraints=21489
1727.88/1728.56	c nbDecision=161500 #constraints=21508
1733.28/1733.93	c nbDecision=162000 #constraints=21521
1738.78/1739.45	c nbDecision=162500 #constraints=21547
1744.18/1744.85	c nbDecision=163000 #constraints=21569
1749.58/1750.25	c nbDecision=163500 #constraints=21586
1754.88/1755.54	c nbDecision=164000 #constraints=21596
1760.18/1760.88	c nbDecision=164500 #constraints=21618
1765.67/1766.38	c nbDecision=165000 #constraints=21639
1771.17/1771.89	c nbDecision=165500 #constraints=21670
1776.57/1777.27	c nbDecision=166000 #constraints=21687
1781.77/1782.47	c nbDecision=166500 #constraints=21695
1787.26/1787.90	c nbDecision=167000 #constraints=21717
1792.46/1793.14	c nbDecision=167500 #constraints=21725
1797.86/1798.56	c nbDecision=168000 #constraints=21743
1800.07/1800.71	Received signal 15
1800.07/1800.71	
1800.07/1800.71	s UNKNOWN
1800.07/1800.72	
1800.07/1800.72	c user time= 1799.58 s
1800.07/1800.72	c system time= 0.507922 s
1800.07/1800.72	c wall clock time=1800.72

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/node17/watcher-356982-1176850531 -o ROOT/results/node17/solver-356982-1176850531 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356982-1176850531/instance-356982-1176850531.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 3/77 17835
/proc/meminfo: memFree=1693496/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=1620 CPUtime=0
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132970727 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 405 176 126 317 0 84 0

[startup+0.0995931 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17835
/proc/meminfo: memFree=1693496/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=3440 CPUtime=0.09
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 895 0 0 0 9 0 0 0 18 0 1 0 132970727 3522560 650 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 860 651 126 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.101592 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17835
/proc/meminfo: memFree=1693496/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=5624 CPUtime=0.09
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 957 0 0 0 9 0 0 0 18 0 1 0 132970727 5758976 712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 1406 714 126 317 0 1085 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5624

[startup+0.301612 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17835
/proc/meminfo: memFree=1693496/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=9548 CPUtime=0.29
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 2912 0 0 0 29 0 0 0 19 0 1 0 132970727 9777152 1897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134591248 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 2387 1897 127 317 0 2066 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9548

[startup+0.701655 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17835
/proc/meminfo: memFree=1693496/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=16908 CPUtime=0.69
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 4687 0 0 0 68 1 0 0 22 0 1 0 132970727 17313792 3672 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 4227 3672 131 317 0 3906 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16908

[startup+1.50174 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 17836
/proc/meminfo: memFree=1671984/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=36820 CPUtime=1.49
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 9590 0 0 0 145 4 0 0 25 0 1 0 132970727 37703680 8575 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 9205 8575 131 317 0 8884 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36820

[startup+3.10191 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 17836
/proc/meminfo: memFree=1644592/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=76680 CPUtime=3.09
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 19396 0 0 0 299 10 0 0 25 0 1 0 132970727 78520320 18381 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 19170 18382 131 317 0 18849 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76680

[startup+6.30124 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 17836
/proc/meminfo: memFree=1557104/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=147192 CPUtime=6.29
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 36984 0 0 0 611 18 0 0 25 0 1 0 132970727 150724608 35969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 36798 35969 137 317 0 36477 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 147192

[startup+12.7019 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 17836
/proc/meminfo: memFree=1545840/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=151352 CPUtime=12.69
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 37999 0 0 0 1251 18 0 0 25 0 1 0 132970727 154984448 36900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194612 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 37838 36900 139 317 0 37517 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 151352

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 17836
/proc/meminfo: memFree=1545648/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=151748 CPUtime=25.48
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 38115 0 0 0 2530 18 0 0 25 0 1 0 132970727 155389952 37016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606670 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 37937 37016 139 317 0 37616 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 151748

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 17836
/proc/meminfo: memFree=1544752/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=152804 CPUtime=51.06
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 38364 0 0 0 5087 19 0 0 25 0 1 0 132970727 156471296 37265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194613 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 38201 37265 139 317 0 37880 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 152804

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 17836
/proc/meminfo: memFree=1543344/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=154120 CPUtime=102.25
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 38706 0 0 0 10205 20 0 0 25 0 1 0 132970727 157818880 37607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 38530 37607 139 317 0 38209 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 154120

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17836
/proc/meminfo: memFree=1539376/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=158180 CPUtime=162.23
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 39744 0 0 0 16202 21 0 0 25 0 1 0 132970727 161976320 38645 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 39545 38645 170 317 0 39224 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 158180

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17836
/proc/meminfo: memFree=1536368/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=160896 CPUtime=222.21
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 40456 0 0 0 22199 22 0 0 25 0 1 0 132970727 164757504 39357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 40224 39357 170 317 0 39903 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 160896

[startup+282.301 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 17836
/proc/meminfo: memFree=1534256/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=163132 CPUtime=282.19
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 40993 0 0 0 28197 22 0 0 25 0 1 0 132970727 167047168 39894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384506 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 40783 39894 170 317 0 40462 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 163132

[startup+342.301 s]
/proc/loadavg: 1.12 1.03 1.01 2/84 17918
/proc/meminfo: memFree=1529280/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=166856 CPUtime=342.15
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 41922 0 0 0 34191 24 0 0 25 0 1 0 132970727 170860544 40823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 41714 40823 170 317 0 41393 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 166856

[startup+402.302 s]
/proc/loadavg: 1.12 1.04 1.00 2/78 18034
/proc/meminfo: memFree=1527472/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=169644 CPUtime=402.07
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 42638 0 0 0 40182 25 0 0 25 0 1 0 132970727 173715456 41539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 42411 41539 170 317 0 42090 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 169644

[startup+462.302 s]
/proc/loadavg: 1.11 1.04 1.00 2/78 18034
/proc/meminfo: memFree=1519024/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=178796 CPUtime=462.05
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 44773 0 0 0 46179 26 0 0 25 0 1 0 132970727 183087104 43674 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 44699 43674 170 317 0 44378 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 178796

[startup+522.301 s]
/proc/loadavg: 1.10 1.05 1.00 2/78 18034
/proc/meminfo: memFree=1516592/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=181288 CPUtime=522.04
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 45406 0 0 0 52177 27 0 0 25 0 1 0 132970727 185638912 44307 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 45322 44307 170 317 0 45001 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 181288

[startup+582.301 s]
/proc/loadavg: 1.09 1.05 1.00 2/78 18034
/proc/meminfo: memFree=1514096/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=183532 CPUtime=582.02
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 46023 0 0 0 58174 28 0 0 25 0 1 0 132970727 187936768 44924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 45883 44924 170 317 0 45562 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 183532

[startup+642.302 s]
/proc/loadavg: 1.03 1.04 1.00 2/78 18034
/proc/meminfo: memFree=1510640/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=186560 CPUtime=642.01
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 46876 0 0 0 64171 30 0 0 25 0 1 0 132970727 191037440 45777 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 46640 45777 170 317 0 46319 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 186560


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 18034
/proc/meminfo: memFree=1495728/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=202792 CPUtime=881.94
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 50592 0 0 0 88161 33 0 0 25 0 1 0 132970727 207659008 49493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 50698 49493 170 317 0 50377 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 202792

[startup+942.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 18034
/proc/meminfo: memFree=1486384/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=212116 CPUtime=941.92
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 52935 0 0 0 94157 35 0 0 25 0 1 0 132970727 217206784 51836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 53029 51836 170 317 0 52708 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 212116

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18034
/proc/meminfo: memFree=1482160/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=216092 CPUtime=1001.9
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 53976 0 0 0 100154 36 0 0 25 0 1 0 132970727 221278208 52877 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 54023 52877 170 317 0 53702 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 216092

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18034
/proc/meminfo: memFree=1476528/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=221156 CPUtime=1061.88
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 55375 0 0 0 106151 37 0 0 25 0 1 0 132970727 226463744 54276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 55289 54276 170 317 0 54968 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 221156

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18034
/proc/meminfo: memFree=1470064/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=227176 CPUtime=1121.87
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 56996 0 0 0 112148 39 0 0 25 0 1 0 132970727 232628224 55897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 56794 55897 170 317 0 56473 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 227176

[startup+1182.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 18034
/proc/meminfo: memFree=1462000/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=238240 CPUtime=1181.85
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 59025 0 0 0 118145 40 0 0 25 0 1 0 132970727 243957760 57926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385198 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 59560 57926 170 317 0 59239 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 238240

[startup+1242.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 18034
/proc/meminfo: memFree=1457776/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=243048 CPUtime=1241.83
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 60045 0 0 0 124142 41 0 0 25 0 1 0 132970727 248881152 58946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 60762 58946 170 317 0 60441 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 243048

[startup+1302.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 18034
/proc/meminfo: memFree=1454448/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=245940 CPUtime=1301.81
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 60890 0 0 0 130139 42 0 0 25 0 1 0 132970727 251842560 59791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 61485 59791 170 317 0 61164 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 245940

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18034
/proc/meminfo: memFree=1451376/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=248960 CPUtime=1361.79
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 61660 0 0 0 136136 43 0 0 25 0 1 0 132970727 254935040 60561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385189 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 62240 60561 170 317 0 61919 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 248960

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18034
/proc/meminfo: memFree=1448560/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=251532 CPUtime=1421.77
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 62331 0 0 0 142133 44 0 0 25 0 1 0 132970727 257568768 61232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 62883 61232 170 317 0 62562 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 251532

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18034
/proc/meminfo: memFree=1445488/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=254124 CPUtime=1481.76
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 63093 0 0 0 148131 45 0 0 25 0 1 0 132970727 260222976 61994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712494 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 63531 61994 170 317 0 63210 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 254124

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18034
/proc/meminfo: memFree=1442928/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=256768 CPUtime=1541.74
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 63759 0 0 0 154128 46 0 0 25 0 1 0 132970727 262930432 62660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385272 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 64192 62660 170 317 0 63871 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 256768

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18034
/proc/meminfo: memFree=1440432/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=259160 CPUtime=1601.72
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 64392 0 0 0 160125 47 0 0 25 0 1 0 132970727 265379840 63293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 64790 63293 170 317 0 64469 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 259160

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18034
/proc/meminfo: memFree=1436592/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=263268 CPUtime=1661.7
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 65355 0 0 0 166122 48 0 0 25 0 1 0 132970727 269586432 64256 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 65817 64256 170 317 0 65496 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 263268

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18034
/proc/meminfo: memFree=1433264/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=266632 CPUtime=1721.68
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 66191 0 0 0 172119 49 0 0 25 0 1 0 132970727 273031168 65092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 66658 65092 170 317 0 66337 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 266632

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18034
/proc/meminfo: memFree=1429680/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=270200 CPUtime=1781.67
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 67075 0 0 0 178117 50 0 0 25 0 1 0 132970727 276684800 65976 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 67550 65976 170 317 0 67229 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 270200



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18034
/proc/meminfo: memFree=1428784/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=270828 CPUtime=1800.07
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 67276 0 0 0 179957 50 0 0 25 0 1 0 132970727 277327872 66177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 67707 66177 170 317 0 67386 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 270828

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18034
/proc/meminfo: memFree=1428784/2055920 swapFree=4123136/4192956
[pid=17835] ppid=17833 vsize=262984 CPUtime=1800.16
/proc/17835/stat : 17835 (oree) R 17833 17835 17492 0 -1 4194304 67292 0 0 0 179966 50 0 0 25 0 1 0 132970727 269295616 64249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135138633 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17835/statm: 65746 64249 186 317 0 65425 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 262984

Child status: 0
Real time (s): 1800.87
CPU time (s): 1800.24
CPU user time (s): 1799.68
CPU system time (s): 0.553915
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (KiB): 270828

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

runsolver used 2.18067 second user time and 4.36134 second system time

The end

Launcher Data (download as text)

Begin job on node17 on Tue Apr 17 22:55:32 UTC 2007

IDJOB= 356982
IDBENCH= 1721
IDSOLVER= 172
FILE ID= node17/356982-1176850531

PBS_JOBID= 4590198

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  7b9d3fef35f44b9f29a1eccedaaa362f

RANDOM SEED= 531381130

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node17.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.240
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.240
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:       1693968 kB
Buffers:         35588 kB
Cached:         216468 kB
SwapCached:      32524 kB
Active:         111088 kB
Inactive:       183136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1693968 kB
SwapTotal:     4192956 kB
SwapFree:      4123136 kB
Dirty:           15492 kB
Writeback:           0 kB
Mapped:          34528 kB
Slab:            53240 kB
Committed_AS:  7032932 kB
PageTables:       1796 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= 66456 MiB

End job on node17 on Tue Apr 17 23:25:35 UTC 2007