Trace number 357315

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1800.19 1800.95

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-dfl001.opb
MD5SUM82090c0a4adcfdd30e3ab97004b5e93d
Bench CategoryOPT-BIGINT (optimisation, big 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 2150851580428025856
Number of bits for the biggest coefficient in the objective function 61
Sum of the numbers in the objective function 882752655849462510276
Number of bits of the sum of numbers in the objective function 70
Biggest number in a constraint 53687091200000000000
Number of bits of the biggest number in a constraint 66
Biggest sum of numbers in a constraint 4277072243466308763648
Number of bits of the biggest sum of numbers72
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...
4.99/5.02	c ...done
4.99/5.03	c #vars=366703 #constraints=12156 hasObjective=yes
8.18/8.25	c res. mode=mod
8.18/8.25	c VSIDS like heuristics
8.18/8.25	c complete search running
13.59/13.63	c restart after 401 decisions
14.59/14.63	c nbDecision=500 #constraints=12177
17.49/17.57	c restart after 801 decisions
19.49/19.55	c nbDecision=1000 #constraints=12190
24.38/24.40	c nbDecision=1500 #constraints=12194
25.29/25.37	c restart after 1601 decisions
29.28/29.33	c nbDecision=2000 #constraints=12199
34.07/34.15	c nbDecision=2500 #constraints=12202
38.96/39.01	c nbDecision=3000 #constraints=12207
40.86/40.94	c restart after 3201 decisions
43.76/43.86	c nbDecision=3500 #constraints=12208
48.86/48.92	c nbDecision=4000 #constraints=12267
53.76/53.81	c nbDecision=4500 #constraints=12272
58.55/58.67	c nbDecision=5000 #constraints=12280
63.55/63.60	c nbDecision=5500 #constraints=12305
68.25/68.39	c nbDecision=6000 #constraints=12306
72.15/72.25	c restart after 6401 decisions
73.15/73.26	c nbDecision=6500 #constraints=12306
78.05/78.12	c nbDecision=7000 #constraints=12312
82.85/82.93	c nbDecision=7500 #constraints=12316
87.74/87.82	c nbDecision=8000 #constraints=12331
92.54/92.63	c nbDecision=8500 #constraints=12333
97.44/97.52	c nbDecision=9000 #constraints=12339
102.24/102.31	c nbDecision=9500 #constraints=12343
107.03/107.15	c nbDecision=10000 #constraints=12355
111.83/111.96	c nbDecision=10500 #constraints=12358
116.63/116.77	c nbDecision=11000 #constraints=12362
121.63/121.72	c nbDecision=11500 #constraints=12389
126.33/126.50	c nbDecision=12000 #constraints=12389
131.22/131.34	c nbDecision=12500 #constraints=12390
134.13/134.27	c restart after 12801 decisions
136.12/136.25	c nbDecision=13000 #constraints=12392
140.92/141.05	c nbDecision=13500 #constraints=12392
145.62/145.78	c nbDecision=14000 #constraints=12395
150.52/150.67	c nbDecision=14500 #constraints=12413
155.32/155.47	c nbDecision=15000 #constraints=12413
160.11/160.20	c nbDecision=15500 #constraints=12416
164.92/165.07	c nbDecision=16000 #constraints=12428
169.71/169.85	c nbDecision=16500 #constraints=12429
174.61/174.74	c nbDecision=17000 #constraints=12456
179.41/179.59	c nbDecision=17500 #constraints=12461
184.21/184.34	c nbDecision=18000 #constraints=12470
189.21/189.31	c nbDecision=18500 #constraints=12497
194.00/194.15	c nbDecision=19000 #constraints=12497
198.90/199.00	c nbDecision=19500 #constraints=12508
204.01/204.14	c nbDecision=20000 #constraints=12543
208.80/208.91	c nbDecision=20500 #constraints=12544
213.80/213.92	c nbDecision=21000 #constraints=12572
218.50/218.68	c nbDecision=21500 #constraints=12574
223.40/223.59	c nbDecision=22000 #constraints=12587
228.30/228.48	c nbDecision=22500 #constraints=12607
233.29/233.43	c nbDecision=23000 #constraints=12627
238.29/238.41	c nbDecision=23500 #constraints=12648
242.99/243.20	c nbDecision=24000 #constraints=12656
247.79/247.96	c nbDecision=24500 #constraints=12658
252.58/252.80	c nbDecision=25000 #constraints=12658
257.39/257.55	c nbDecision=25500 #constraints=12659
258.39/258.52	c restart after 25601 decisions
262.28/262.43	c nbDecision=26000 #constraints=12660
266.98/267.16	c nbDecision=26500 #constraints=12660
272.08/272.29	c nbDecision=27000 #constraints=12690
277.08/277.21	c nbDecision=27500 #constraints=12705
281.77/281.97	c nbDecision=28000 #constraints=12709
286.87/287.02	c nbDecision=28500 #constraints=12720
291.57/291.75	c nbDecision=29000 #constraints=12721
296.46/296.61	c nbDecision=29500 #constraints=12726
301.27/301.48	c nbDecision=30000 #constraints=12740
306.16/306.37	c nbDecision=30500 #constraints=12758
311.06/311.28	c nbDecision=31000 #constraints=12778
316.06/316.28	c nbDecision=31500 #constraints=12805
321.06/321.24	c nbDecision=32000 #constraints=12831
325.95/326.18	c nbDecision=32500 #constraints=12861
330.75/330.95	c nbDecision=33000 #constraints=12873
335.75/335.95	c nbDecision=33500 #constraints=12878
340.65/340.81	c nbDecision=34000 #constraints=12885
345.45/345.66	c nbDecision=34500 #constraints=12897
350.34/350.54	c nbDecision=35000 #constraints=12911
355.25/355.47	c nbDecision=35500 #constraints=12927
360.14/360.36	c nbDecision=36000 #constraints=12943
364.95/365.17	c nbDecision=36500 #constraints=12952
369.75/369.92	c nbDecision=37000 #constraints=12952
374.54/374.71	c nbDecision=37500 #constraints=12957
379.24/379.47	c nbDecision=38000 #constraints=12960
384.04/384.22	c nbDecision=38500 #constraints=12965
388.84/389.02	c nbDecision=39000 #constraints=12974
393.54/393.79	c nbDecision=39500 #constraints=12974
398.43/398.62	c nbDecision=40000 #constraints=12976
403.23/403.48	c nbDecision=40500 #constraints=12990
407.93/408.19	c nbDecision=41000 #constraints=12991
412.83/413.00	c nbDecision=41500 #constraints=12991
417.53/417.74	c nbDecision=42000 #constraints=12991
422.52/422.70	c nbDecision=42500 #constraints=13034
427.32/427.57	c nbDecision=43000 #constraints=13035
432.12/432.33	c nbDecision=43500 #constraints=13035
436.92/437.17	c nbDecision=44000 #constraints=13036
441.72/441.91	c nbDecision=44500 #constraints=13036
446.42/446.69	c nbDecision=45000 #constraints=13037
451.21/451.46	c nbDecision=45500 #constraints=13037
456.01/456.23	c nbDecision=46000 #constraints=13037
460.91/461.10	c nbDecision=46500 #constraints=13039
465.61/465.86	c nbDecision=47000 #constraints=13039
470.41/470.67	c nbDecision=47500 #constraints=13057
475.30/475.52	c nbDecision=48000 #constraints=13067
480.10/480.33	c nbDecision=48500 #constraints=13068
484.80/485.06	c nbDecision=49000 #constraints=13072
489.60/489.87	c nbDecision=49500 #constraints=13074
494.50/494.71	c nbDecision=50000 #constraints=13074
499.30/499.50	c nbDecision=50500 #constraints=13074
504.09/504.33	c nbDecision=51000 #constraints=13095
506.09/506.32	c restart after 51201 decisions
508.99/509.25	c nbDecision=51500 #constraints=13108
513.79/514.05	c nbDecision=52000 #constraints=13108
518.59/518.81	c nbDecision=52500 #constraints=13112
523.39/523.61	c nbDecision=53000 #constraints=13114
528.18/528.41	c nbDecision=53500 #constraints=13114
532.88/533.16	c nbDecision=54000 #constraints=13114
537.68/537.95	c nbDecision=54500 #constraints=13121
542.48/542.74	c nbDecision=55000 #constraints=13122
547.17/547.48	c nbDecision=55500 #constraints=13123
551.98/552.26	c nbDecision=56000 #constraints=13129
556.77/557.01	c nbDecision=56500 #constraints=13131
561.47/561.70	c nbDecision=57000 #constraints=13132
566.17/566.49	c nbDecision=57500 #constraints=13133
570.97/571.21	c nbDecision=58000 #constraints=13133
575.66/575.98	c nbDecision=58500 #constraints=13134
580.46/580.76	c nbDecision=59000 #constraints=13135
585.26/585.53	c nbDecision=59500 #constraints=13138
589.96/590.27	c nbDecision=60000 #constraints=13138
594.66/594.99	c nbDecision=60500 #constraints=13138
599.66/599.90	c nbDecision=61000 #constraints=13145
604.36/604.66	c nbDecision=61500 #constraints=13145
609.16/609.47	c nbDecision=62000 #constraints=13161
613.96/614.29	c nbDecision=62500 #constraints=13161
618.76/619.06	c nbDecision=63000 #constraints=13165
623.46/623.77	c nbDecision=63500 #constraints=13167
628.35/628.61	c nbDecision=64000 #constraints=13181
633.05/633.36	c nbDecision=64500 #constraints=13181
637.85/638.12	c nbDecision=65000 #constraints=13183
642.55/642.87	c nbDecision=65500 #constraints=13186
647.32/647.62	c nbDecision=66000 #constraints=13186
652.12/652.43	c nbDecision=66500 #constraints=13200
657.01/657.30	c nbDecision=67000 #constraints=13206
661.79/662.13	c nbDecision=67500 #constraints=13207
666.48/666.85	c nbDecision=68000 #constraints=13208
671.16/671.55	c nbDecision=68500 #constraints=13214
675.96/676.39	c nbDecision=69000 #constraints=13231
680.75/681.10	c nbDecision=69500 #constraints=13231
685.55/685.91	c nbDecision=70000 #constraints=13234
690.25/690.69	c nbDecision=70500 #constraints=13234
695.04/695.49	c nbDecision=71000 #constraints=13234
699.82/700.20	c nbDecision=71500 #constraints=13238
704.62/705.05	c nbDecision=72000 #constraints=13242
709.42/709.83	c nbDecision=72500 #constraints=13242
714.12/714.56	c nbDecision=73000 #constraints=13243
718.91/719.34	c nbDecision=73500 #constraints=13252
723.61/724.03	c nbDecision=74000 #constraints=13257
728.31/728.74	c nbDecision=74500 #constraints=13263
733.02/733.49	c nbDecision=75000 #constraints=13270
737.82/738.26	c nbDecision=75500 #constraints=13284
742.71/743.17	c nbDecision=76000 #constraints=13295
747.51/747.95	c nbDecision=76500 #constraints=13295
752.31/752.71	c nbDecision=77000 #constraints=13295
757.01/757.41	c nbDecision=77500 #constraints=13296
761.71/762.19	c nbDecision=78000 #constraints=13315
766.41/766.86	c nbDecision=78500 #constraints=13317
771.50/771.91	c nbDecision=79000 #constraints=13337
776.30/776.72	c nbDecision=79500 #constraints=13350
781.10/781.53	c nbDecision=80000 #constraints=13362
785.70/786.20	c nbDecision=80500 #constraints=13366
790.50/790.93	c nbDecision=81000 #constraints=13371
795.29/795.70	c nbDecision=81500 #constraints=13377
799.99/800.40	c nbDecision=82000 #constraints=13380
804.79/805.26	c nbDecision=82500 #constraints=13398
809.69/810.11	c nbDecision=83000 #constraints=13409
814.39/814.81	c nbDecision=83500 #constraints=13410
819.28/819.70	c nbDecision=84000 #constraints=13433
823.98/824.43	c nbDecision=84500 #constraints=13434
828.68/829.14	c nbDecision=85000 #constraints=13436
833.38/833.88	c nbDecision=85500 #constraints=13443
838.08/838.59	c nbDecision=86000 #constraints=13445
842.77/843.25	c nbDecision=86500 #constraints=13447
847.47/847.93	c nbDecision=87000 #constraints=13450
852.17/852.67	c nbDecision=87500 #constraints=13453
856.87/857.37	c nbDecision=88000 #constraints=13454
861.97/862.43	c nbDecision=88500 #constraints=13482
866.67/867.13	c nbDecision=89000 #constraints=13482
871.36/871.81	c nbDecision=89500 #constraints=13482
876.16/876.65	c nbDecision=90000 #constraints=13502
880.96/881.44	c nbDecision=90500 #constraints=13512
885.86/886.31	c nbDecision=91000 #constraints=13538
890.76/891.25	c nbDecision=91500 #constraints=13549
895.56/896.04	c nbDecision=92000 #constraints=13551
900.26/900.74	c nbDecision=92500 #constraints=13551
904.86/905.40	c nbDecision=93000 #constraints=13552
909.86/910.40	c nbDecision=93500 #constraints=13614
914.86/915.31	c nbDecision=94000 #constraints=13615
919.55/920.08	c nbDecision=94500 #constraints=13616
924.25/924.78	c nbDecision=95000 #constraints=13621
928.95/929.47	c nbDecision=95500 #constraints=13625
933.85/934.38	c nbDecision=96000 #constraints=13642
938.65/939.12	c nbDecision=96500 #constraints=13647
943.35/943.85	c nbDecision=97000 #constraints=13657
948.44/948.97	c nbDecision=97500 #constraints=13688
953.14/953.67	c nbDecision=98000 #constraints=13692
957.94/958.49	c nbDecision=98500 #constraints=13707
962.63/963.20	c nbDecision=99000 #constraints=13709
967.33/967.88	c nbDecision=99500 #constraints=13713
973.13/973.60	c nbDecision=100000 #constraints=13756
977.93/978.42	c nbDecision=100500 #constraints=13770
982.53/983.09	c nbDecision=101000 #constraints=13770
987.22/987.78	c nbDecision=101500 #constraints=13775
991.92/992.49	c nbDecision=102000 #constraints=13779
995.72/996.29	c restart after 102401 decisions
996.82/997.32	c nbDecision=102500 #constraints=13781
1001.72/1002.28	c nbDecision=103000 #constraints=13788
1006.52/1007.02	c nbDecision=103500 #constraints=13793
1011.22/1011.72	c nbDecision=104000 #constraints=13793
1015.92/1016.43	c nbDecision=104500 #constraints=13795
1020.91/1021.42	c nbDecision=105000 #constraints=13824
1025.61/1026.14	c nbDecision=105500 #constraints=13824
1030.31/1030.83	c nbDecision=106000 #constraints=13824
1035.00/1035.54	c nbDecision=106500 #constraints=13825
1039.70/1040.25	c nbDecision=107000 #constraints=13828
1044.80/1045.36	c nbDecision=107500 #constraints=13842
1049.50/1050.08	c nbDecision=108000 #constraints=13842
1054.20/1054.77	c nbDecision=108500 #constraints=13842
1058.90/1059.47	c nbDecision=109000 #constraints=13845
1064.41/1064.92	c nbDecision=109500 #constraints=13870
1069.30/1069.81	c nbDecision=110000 #constraints=13882
1074.10/1074.68	c nbDecision=110500 #constraints=13892
1078.90/1079.43	c nbDecision=111000 #constraints=13892
1083.49/1084.09	c nbDecision=111500 #constraints=13893
1088.19/1088.78	c nbDecision=112000 #constraints=13896
1092.89/1093.48	c nbDecision=112500 #constraints=13899
1098.09/1098.61	c nbDecision=113000 #constraints=13921
1102.79/1103.38	c nbDecision=113500 #constraints=13931
1107.48/1108.04	c nbDecision=114000 #constraints=13931
1112.18/1112.75	c nbDecision=114500 #constraints=13934
1116.98/1117.51	c nbDecision=115000 #constraints=13940
1121.98/1122.51	c nbDecision=115500 #constraints=13971
1126.68/1127.26	c nbDecision=116000 #constraints=13971
1131.48/1132.01	c nbDecision=116500 #constraints=13972
1136.17/1136.75	c nbDecision=117000 #constraints=13973
1140.87/1141.45	c nbDecision=117500 #constraints=13977
1145.77/1146.33	c nbDecision=118000 #constraints=13998
1150.47/1151.08	c nbDecision=118500 #constraints=13998
1155.27/1155.84	c nbDecision=119000 #constraints=13999
1159.97/1160.57	c nbDecision=119500 #constraints=14000
1164.66/1165.28	c nbDecision=120000 #constraints=14006
1169.56/1170.12	c nbDecision=120500 #constraints=14031
1174.26/1174.80	c nbDecision=121000 #constraints=14031
1178.86/1179.49	c nbDecision=121500 #constraints=14033
1183.76/1184.33	c nbDecision=122000 #constraints=14075
1188.35/1188.99	c nbDecision=122500 #constraints=14075
1193.06/1193.68	c nbDecision=123000 #constraints=14078
1197.85/1198.45	c nbDecision=123500 #constraints=14086
1202.55/1203.15	c nbDecision=124000 #constraints=14086
1207.25/1207.80	c nbDecision=124500 #constraints=14087
1211.94/1212.51	c nbDecision=125000 #constraints=14100
1216.94/1217.55	c nbDecision=125500 #constraints=14170
1221.84/1222.45	c nbDecision=126000 #constraints=14173
1226.64/1227.21	c nbDecision=126500 #constraints=14173
1231.34/1231.93	c nbDecision=127000 #constraints=14173
1236.04/1236.64	c nbDecision=127500 #constraints=14173
1240.93/1241.51	c nbDecision=128000 #constraints=14201
1245.84/1246.42	c nbDecision=128500 #constraints=14218
1250.63/1251.21	c nbDecision=129000 #constraints=14219
1255.33/1255.94	c nbDecision=129500 #constraints=14219
1260.03/1260.64	c nbDecision=130000 #constraints=14219
1264.73/1265.37	c nbDecision=130500 #constraints=14223
1270.22/1270.85	c nbDecision=131000 #constraints=14279
1275.02/1275.63	c nbDecision=131500 #constraints=14280
1279.72/1280.35	c nbDecision=132000 #constraints=14281
1284.42/1285.06	c nbDecision=132500 #constraints=14285
1289.21/1289.85	c nbDecision=133000 #constraints=14297
1293.91/1294.55	c nbDecision=133500 #constraints=14299
1298.61/1299.27	c nbDecision=134000 #constraints=14302
1303.61/1304.25	c nbDecision=134500 #constraints=14327
1308.31/1308.94	c nbDecision=135000 #constraints=14328
1313.11/1313.78	c nbDecision=135500 #constraints=14333
1317.91/1318.54	c nbDecision=136000 #constraints=14333
1322.61/1323.27	c nbDecision=136500 #constraints=14333
1327.61/1328.27	c nbDecision=137000 #constraints=14339
1332.31/1333.00	c nbDecision=137500 #constraints=14340
1337.21/1337.87	c nbDecision=138000 #constraints=14344
1342.01/1342.60	c nbDecision=138500 #constraints=14344
1346.60/1347.27	c nbDecision=139000 #constraints=14345
1351.50/1352.14	c nbDecision=139500 #constraints=14349
1356.30/1356.93	c nbDecision=140000 #constraints=14353
1361.10/1361.75	c nbDecision=140500 #constraints=14355
1365.80/1366.47	c nbDecision=141000 #constraints=14357
1370.49/1371.14	c nbDecision=141500 #constraints=14357
1375.39/1376.04	c nbDecision=142000 #constraints=14361
1380.09/1380.75	c nbDecision=142500 #constraints=14361
1384.89/1385.58	c nbDecision=143000 #constraints=14368
1389.69/1390.31	c nbDecision=143500 #constraints=14368
1394.39/1395.01	c nbDecision=144000 #constraints=14368
1399.18/1399.81	c nbDecision=144500 #constraints=14371
1403.88/1404.54	c nbDecision=145000 #constraints=14371
1408.58/1409.23	c nbDecision=145500 #constraints=14371
1413.28/1413.94	c nbDecision=146000 #constraints=14373
1418.08/1418.76	c nbDecision=146500 #constraints=14374
1422.88/1423.58	c nbDecision=147000 #constraints=14387
1427.57/1428.25	c nbDecision=147500 #constraints=14387
1432.37/1433.05	c nbDecision=148000 #constraints=14388
1437.07/1437.78	c nbDecision=148500 #constraints=14388
1441.77/1442.46	c nbDecision=149000 #constraints=14389
1446.57/1447.21	c nbDecision=149500 #constraints=14390
1451.26/1451.94	c nbDecision=150000 #constraints=14390
1455.96/1456.66	c nbDecision=150500 #constraints=14391
1460.76/1461.40	c nbDecision=151000 #constraints=14393
1465.46/1466.14	c nbDecision=151500 #constraints=14393
1470.16/1470.85	c nbDecision=152000 #constraints=14394
1474.86/1475.55	c nbDecision=152500 #constraints=14394
1479.75/1480.43	c nbDecision=153000 #constraints=14397
1484.46/1485.12	c nbDecision=153500 #constraints=14397
1489.25/1489.91	c nbDecision=154000 #constraints=14401
1494.05/1494.70	c nbDecision=154500 #constraints=14401
1498.75/1499.41	c nbDecision=155000 #constraints=14402
1503.64/1504.31	c nbDecision=155500 #constraints=14406
1508.34/1509.00	c nbDecision=156000 #constraints=14406
1513.04/1513.71	c nbDecision=156500 #constraints=14406
1517.74/1518.43	c nbDecision=157000 #constraints=14408
1522.54/1523.23	c nbDecision=157500 #constraints=14410
1527.34/1528.03	c nbDecision=158000 #constraints=14424
1532.03/1532.70	c nbDecision=158500 #constraints=14425
1536.83/1537.55	c nbDecision=159000 #constraints=14437
1541.63/1542.38	c nbDecision=159500 #constraints=14441
1546.33/1547.07	c nbDecision=160000 #constraints=14441
1551.03/1551.80	c nbDecision=160500 #constraints=14443
1555.83/1556.59	c nbDecision=161000 #constraints=14444
1560.62/1561.33	c nbDecision=161500 #constraints=14444
1565.32/1566.01	c nbDecision=162000 #constraints=14444
1570.12/1570.86	c nbDecision=162500 #constraints=14453
1574.92/1575.62	c nbDecision=163000 #constraints=14453
1579.62/1580.30	c nbDecision=163500 #constraints=14453
1584.42/1585.17	c nbDecision=164000 #constraints=14458
1589.11/1589.89	c nbDecision=164500 #constraints=14459
1593.91/1594.64	c nbDecision=165000 #constraints=14460
1598.81/1599.52	c nbDecision=165500 #constraints=14463
1603.51/1604.20	c nbDecision=166000 #constraints=14463
1608.21/1608.98	c nbDecision=166500 #constraints=14466
1612.90/1613.66	c nbDecision=167000 #constraints=14466
1618.10/1618.87	c nbDecision=167500 #constraints=14493
1622.80/1623.58	c nbDecision=168000 #constraints=14496
1627.60/1628.32	c nbDecision=168500 #constraints=14498
1632.81/1633.51	c nbDecision=169000 #constraints=14530
1637.60/1638.30	c nbDecision=169500 #constraints=14530
1642.30/1643.00	c nbDecision=170000 #constraints=14531
1647.00/1647.77	c nbDecision=170500 #constraints=14533
1652.59/1653.40	c nbDecision=171000 #constraints=14594
1657.39/1658.15	c nbDecision=171500 #constraints=14595
1662.19/1662.92	c nbDecision=172000 #constraints=14598
1666.89/1667.62	c nbDecision=172500 #constraints=14603
1671.78/1672.52	c nbDecision=173000 #constraints=14609
1676.48/1677.25	c nbDecision=173500 #constraints=14609
1681.38/1682.13	c nbDecision=174000 #constraints=14613
1686.08/1686.85	c nbDecision=174500 #constraints=14616
1690.88/1691.60	c nbDecision=175000 #constraints=14618
1695.67/1696.49	c nbDecision=175500 #constraints=14620
1700.47/1701.22	c nbDecision=176000 #constraints=14620
1705.27/1706.08	c nbDecision=176500 #constraints=14624
1710.07/1710.81	c nbDecision=177000 #constraints=14624
1714.77/1715.55	c nbDecision=177500 #constraints=14625
1719.57/1720.33	c nbDecision=178000 #constraints=14627
1724.46/1725.23	c nbDecision=178500 #constraints=14630
1729.16/1729.96	c nbDecision=179000 #constraints=14630
1734.06/1734.81	c nbDecision=179500 #constraints=14634
1738.76/1739.56	c nbDecision=180000 #constraints=14634
1743.46/1744.26	c nbDecision=180500 #constraints=14635
1748.16/1748.96	c nbDecision=181000 #constraints=14637
1752.95/1753.70	c nbDecision=181500 #constraints=14640
1757.95/1758.74	c nbDecision=182000 #constraints=14665
1762.65/1763.44	c nbDecision=182500 #constraints=14665
1767.45/1768.24	c nbDecision=183000 #constraints=14667
1772.25/1773.01	c nbDecision=183500 #constraints=14667
1776.95/1777.79	c nbDecision=184000 #constraints=14667
1781.74/1782.52	c nbDecision=184500 #constraints=14669
1786.44/1787.22	c nbDecision=185000 #constraints=14671
1791.34/1792.18	c nbDecision=185500 #constraints=14696
1796.14/1796.91	c nbDecision=186000 #constraints=14697
1800.04/1800.80	Received signal 15
1800.04/1800.81	
1800.04/1800.81	s UNKNOWN
1800.04/1800.81	
1800.04/1800.81	c user time= 1799.77 s
1800.04/1800.81	c system time= 0.289955 s
1800.04/1800.81	c wall clock time=1800.81

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/node66/watcher-357315-1176994217 -o ROOT/results/node66/solver-357315-1176994217 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357315-1176994217/instance-357315-1176994217.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.91 0.95 0.98 3/64 25414
/proc/meminfo: memFree=1425000/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=1468 CPUtime=0
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 175411350 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 367 160 127 317 0 46 0

[startup+0.102909 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 25414
/proc/meminfo: memFree=1425000/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=3440 CPUtime=0.09
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 774 0 0 0 9 0 0 0 18 0 1 0 175411350 3522560 529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 860 529 127 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.202928 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 25414
/proc/meminfo: memFree=1425000/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=5520 CPUtime=0.19
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 1413 0 0 0 19 0 0 0 18 0 1 0 175411350 5652480 911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 1380 911 127 317 0 1059 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5520

[startup+0.302948 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 25414
/proc/meminfo: memFree=1425000/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=5520 CPUtime=0.29
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 1554 0 0 0 29 0 0 0 19 0 1 0 175411350 5652480 1052 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 1380 1052 127 317 0 1059 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5520

[startup+0.702027 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 25414
/proc/meminfo: memFree=1425000/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=9548 CPUtime=0.69
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 2913 0 0 0 68 1 0 0 22 0 1 0 175411350 9777152 1898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 2387 1898 128 317 0 2066 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9548

[startup+1.50119 s]
/proc/loadavg: 0.91 0.95 0.98 2/65 25415
/proc/meminfo: memFree=1412448/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=23628 CPUtime=1.49
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 6320 0 0 0 147 2 0 0 25 0 1 0 175411350 24195072 5305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 5907 5306 131 317 0 5586 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23628

[startup+3.10151 s]
/proc/loadavg: 0.92 0.95 0.98 2/65 25415
/proc/meminfo: memFree=1389408/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=57532 CPUtime=3.08
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 14696 0 0 0 301 7 0 0 25 0 1 0 175411350 58912768 13681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 14383 13681 131 317 0 14062 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 57532

[startup+6.30114 s]
/proc/loadavg: 0.92 0.95 0.98 2/65 25415
/proc/meminfo: memFree=1294752/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=137720 CPUtime=6.29
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 34607 0 0 0 612 17 0 0 25 0 1 0 175411350 141025280 33592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 34430 33592 137 317 0 34109 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 137720

[startup+12.7014 s]
/proc/loadavg: 0.93 0.95 0.98 2/65 25415
/proc/meminfo: memFree=1277224/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=151516 CPUtime=12.69
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 38028 0 0 0 1250 19 0 0 25 0 1 0 175411350 155152384 36929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 37879 36929 139 317 0 37558 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 151516

[startup+25.503 s]
/proc/loadavg: 0.94 0.96 0.98 2/65 25415
/proc/meminfo: memFree=1277416/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=151516 CPUtime=25.48
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 38028 0 0 0 2529 19 0 0 25 0 1 0 175411350 155152384 36929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385190 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 37879 36929 139 317 0 37558 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 151516

[startup+51.1021 s]
/proc/loadavg: 0.96 0.96 0.98 2/65 25415
/proc/meminfo: memFree=1277160/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=151912 CPUtime=51.06
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 38128 0 0 0 5087 19 0 0 25 0 1 0 175411350 155557888 37029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384559 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 37978 37029 139 317 0 37657 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 151912

[startup+102.301 s]
/proc/loadavg: 0.98 0.96 0.98 2/65 25415
/proc/meminfo: memFree=1276456/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=152572 CPUtime=102.24
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 38317 0 0 0 10205 19 0 0 25 0 1 0 175411350 156233728 37218 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 38143 37218 139 317 0 37822 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 152572

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25415
/proc/meminfo: memFree=1275624/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=153504 CPUtime=162.21
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 38527 0 0 0 16202 19 0 0 25 0 1 0 175411350 157188096 37428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 38376 37428 139 317 0 38055 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 153504

[startup+222.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25415
/proc/meminfo: memFree=1272552/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=156724 CPUtime=222.2
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 39312 0 0 0 22200 20 0 0 25 0 1 0 175411350 160485376 38213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 39181 38213 170 317 0 38860 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 156724

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25415
/proc/meminfo: memFree=1269672/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=159624 CPUtime=282.17
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 40027 0 0 0 28197 20 0 0 25 0 1 0 175411350 163454976 38928 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 39906 38928 170 317 0 39585 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 159624

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25415
/proc/meminfo: memFree=1265768/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=163728 CPUtime=342.15
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 41025 0 0 0 34195 20 0 0 25 0 1 0 175411350 167657472 39926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385340 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 40932 39926 170 317 0 40611 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 163728

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25415
/proc/meminfo: memFree=1263976/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=165416 CPUtime=402.13
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 41446 0 0 0 40192 21 0 0 25 0 1 0 175411350 169385984 40347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 41354 40347 170 317 0 41033 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 165416

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25415
/proc/meminfo: memFree=1262952/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=166596 CPUtime=462.11
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 41709 0 0 0 46190 21 0 0 25 0 1 0 175411350 170594304 40610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 41649 40610 170 317 0 41328 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 166596

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25415
/proc/meminfo: memFree=1261288/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=168196 CPUtime=522.08
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 42123 0 0 0 52187 21 0 0 25 0 1 0 175411350 172232704 41024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 42049 41024 170 317 0 41728 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 168196

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25415
/proc/meminfo: memFree=1260968/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=168596 CPUtime=582.06
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 42204 0 0 0 58185 21 0 0 25 0 1 0 175411350 172642304 41105 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 42149 41105 170 317 0 41828 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 168596

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 25415
/proc/meminfo: memFree=1260264/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=169252 CPUtime=642.05
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 42376 0 0 0 64183 22 0 0 25 0 1 0 175411350 173314048 41277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606729 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 42313 41277 170 317 0 41992 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 169252


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

[startup+882.306 s]
/proc/loadavg: 1.01 1.00 0.99 2/65 25613
/proc/meminfo: memFree=1253864/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=175728 CPUtime=881.86
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 43927 0 0 0 88162 24 0 0 25 0 1 0 175411350 179945472 42828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 43932 42828 170 317 0 43611 0
Current children cumulated CPU time (s) 881.86
Current children cumulated vsize (KiB) 175728

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 25613
/proc/meminfo: memFree=1251368/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=178144 CPUtime=941.84
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 44542 0 0 0 94159 25 0 0 25 0 1 0 175411350 182419456 43443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 44536 43443 170 317 0 44215 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 178144

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 25613
/proc/meminfo: memFree=1247400/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=182364 CPUtime=1001.82
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 45542 0 0 0 100157 25 0 0 25 0 1 0 175411350 186740736 44443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385247 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 45591 44443 170 317 0 45270 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 182364

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 25613
/proc/meminfo: memFree=1245608/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=184440 CPUtime=1061.8
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 46053 0 0 0 106154 26 0 0 25 0 1 0 175411350 188866560 44954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279021 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 46110 44954 170 317 0 45789 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 184440

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 25613
/proc/meminfo: memFree=1243176/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=186676 CPUtime=1121.78
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 46614 0 0 0 112152 26 0 0 25 0 1 0 175411350 191156224 45515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 46669 45515 170 317 0 46348 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 186676

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 25613
/proc/meminfo: memFree=1242536/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=187476 CPUtime=1181.76
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 46820 0 0 0 118150 26 0 0 25 0 1 0 175411350 191975424 45721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 46869 45721 170 317 0 46548 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 187476

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 25613
/proc/meminfo: memFree=1240552/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=189344 CPUtime=1241.73
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 47266 0 0 0 124147 26 0 0 25 0 1 0 175411350 193888256 46167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 47336 46167 170 317 0 47015 0
Current children cumulated CPU time (s) 1241.73
Current children cumulated vsize (KiB) 189344

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 25613
/proc/meminfo: memFree=1237992/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=192124 CPUtime=1301.71
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 47936 0 0 0 130145 26 0 0 25 0 1 0 175411350 196734976 46837 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 48031 46837 170 317 0 47710 0
Current children cumulated CPU time (s) 1301.71
Current children cumulated vsize (KiB) 192124

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 25613
/proc/meminfo: memFree=1236776/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=193260 CPUtime=1361.7
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 48216 0 0 0 136143 27 0 0 25 0 1 0 175411350 197898240 47117 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 48315 47117 170 317 0 47994 0
Current children cumulated CPU time (s) 1361.7
Current children cumulated vsize (KiB) 193260

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 25613
/proc/meminfo: memFree=1236072/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=193904 CPUtime=1421.68
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 48380 0 0 0 142141 27 0 0 25 0 1 0 175411350 198557696 47281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 48476 47281 170 317 0 48155 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 193904

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 25613
/proc/meminfo: memFree=1235880/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=194048 CPUtime=1481.65
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 48423 0 0 0 148138 27 0 0 25 0 1 0 175411350 198705152 47324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385270 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 48512 47324 170 317 0 48191 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 194048

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 25613
/proc/meminfo: memFree=1234920/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=194976 CPUtime=1541.63
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 48657 0 0 0 154136 27 0 0 25 0 1 0 175411350 199655424 47558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 48744 47558 170 317 0 48423 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 194976

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 25613
/proc/meminfo: memFree=1234216/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=195764 CPUtime=1601.61
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 48828 0 0 0 160134 27 0 0 25 0 1 0 175411350 200462336 47729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 48941 47729 170 317 0 48620 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 195764

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 25613
/proc/meminfo: memFree=1228392/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=202096 CPUtime=1661.59
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 50321 0 0 0 166131 28 0 0 25 0 1 0 175411350 206946304 49222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 50524 49222 170 317 0 50203 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 202096

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 25613
/proc/meminfo: memFree=1227624/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=202856 CPUtime=1721.57
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 50503 0 0 0 172129 28 0 0 25 0 1 0 175411350 207724544 49404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385185 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 50714 49404 170 317 0 50393 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 202856

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 25613
/proc/meminfo: memFree=1226024/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=204356 CPUtime=1781.54
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 50904 0 0 0 178126 28 0 0 25 0 1 0 175411350 209260544 49805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606864 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 51089 49805 170 317 0 50768 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 204356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 25613
/proc/meminfo: memFree=1225320/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=205156 CPUtime=1800.04
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 51078 0 0 0 179976 28 0 0 25 0 1 0 175411350 210079744 49979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 51289 49979 170 317 0 50968 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 205156

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

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

[startup+1800.91 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 25613
/proc/meminfo: memFree=1225320/2055920 swapFree=4182980/4192956
[pid=25414] ppid=25412 vsize=197312 CPUtime=1800.15
/proc/25414/stat : 25414 (oree) R 25412 25414 25312 0 -1 4194304 51094 0 0 0 179986 29 0 0 25 0 1 0 175411350 202047488 48100 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134557252 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25414/statm: 49328 48100 186 317 0 49007 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 197312

Child status: 0
Real time (s): 1800.95
CPU time (s): 1800.19
CPU user time (s): 1799.87
CPU system time (s): 0.320951
CPU usage (%): 99.9582
Max. virtual memory (cumulated for all children) (KiB): 205156

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

runsolver used 1.35179 second user time and 3.65944 second system time

The end

Launcher Data (download as text)

Begin job on node66 on Thu Apr 19 14:50:18 UTC 2007

IDJOB= 357315
IDBENCH= 2388
IDSOLVER= 172
FILE ID= node66/357315-1176994217

PBS_JOBID= 4630470

Free space on /tmp= 66389 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  82090c0a4adcfdd30e3ab97004b5e93d

RANDOM SEED= 60466172

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node66.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.281
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.281
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:       1425344 kB
Buffers:         29488 kB
Cached:         529176 kB
SwapCached:       3696 kB
Active:         226040 kB
Inactive:       342512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1425344 kB
SwapTotal:     4192956 kB
SwapFree:      4182980 kB
Dirty:           20632 kB
Writeback:           0 kB
Mapped:          15816 kB
Slab:            48032 kB
Committed_AS:   829692 kB
PageTables:       1376 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= 66389 MiB

End job on node66 on Thu Apr 19 15:20:21 UTC 2007