Trace number 357399

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.35 1800.99

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-stp3d.opb
MD5SUMaf54d857fe3562002a714e0fbd74a69a
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 variables204880
Total number of constraints159488
Number of constraints which are clauses129232
Number of constraints which are cardinality constraints (but not clauses)5805
Number of constraints which are nor clauses,nor cardinality constraints24451
Minimum length of a constraint2
Maximum length of a constraint120
Number of terms in the objective function 75648
Biggest coefficient in the objective function 100303
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 7576279200
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 100303
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 7576279200
Number of bits of the biggest sum of numbers33
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...
2.39/2.49	c ...done
2.39/2.49	c #vars=204880 #constraints=187574 hasObjective=yes
3.69/3.72	c res. mode=mod
3.69/3.72	c VSIDS like heuristics
3.69/3.72	c complete search running
8.59/8.61	c restart after 401 decisions
10.09/10.19	c nbDecision=500 #constraints=187722
13.09/13.17	c restart after 801 decisions
15.68/15.72	c nbDecision=1000 #constraints=187830
19.98/20.00	c nbDecision=1500 #constraints=187882
20.68/20.71	c restart after 1601 decisions
24.88/24.90	c nbDecision=2000 #constraints=187948
29.58/29.66	c nbDecision=2500 #constraints=188019
33.78/33.81	c nbDecision=3000 #constraints=188064
35.68/35.75	c restart after 3201 decisions
40.18/40.20	c nbDecision=3500 #constraints=188214
45.08/45.18	c nbDecision=4000 #constraints=188303
51.17/51.28	c nbDecision=4500 #constraints=188444
56.37/56.43	c nbDecision=5000 #constraints=188542
61.07/61.15	c nbDecision=5500 #constraints=188609
65.87/65.91	c nbDecision=6000 #constraints=188695
69.17/69.27	c restart after 6401 decisions
70.07/70.17	c nbDecision=6500 #constraints=188748
74.36/74.41	c nbDecision=7000 #constraints=188784
79.17/79.23	c nbDecision=7500 #constraints=188859
83.76/83.80	c nbDecision=8000 #constraints=188931
89.16/89.28	c nbDecision=8500 #constraints=189052
94.46/94.51	c nbDecision=9000 #constraints=189156
98.87/98.91	c nbDecision=9500 #constraints=189209
104.06/104.12	c nbDecision=10000 #constraints=189320
107.96/108.00	c nbDecision=10500 #constraints=189344
112.86/112.96	c nbDecision=11000 #constraints=189416
117.16/117.21	c nbDecision=11500 #constraints=189460
121.35/121.46	c nbDecision=12000 #constraints=189503
126.46/126.59	c nbDecision=12500 #constraints=189591
128.85/128.96	c restart after 12801 decisions
130.95/131.08	c nbDecision=13000 #constraints=189643
137.85/137.90	c nbDecision=13500 #constraints=189819
143.95/144.03	c nbDecision=14000 #constraints=189963
150.24/150.35	c nbDecision=14500 #constraints=190100
155.54/155.66	c nbDecision=15000 #constraints=190186
161.24/161.30	c nbDecision=15500 #constraints=190303
166.24/166.34	c nbDecision=16000 #constraints=190375
173.53/173.63	c nbDecision=16500 #constraints=190596
180.03/180.12	c nbDecision=17000 #constraints=190769
184.83/184.91	c nbDecision=17500 #constraints=190836
189.73/189.83	c nbDecision=18000 #constraints=190891
193.94/194.08	c nbDecision=18500 #constraints=190926
198.14/198.23	c nbDecision=19000 #constraints=190948
202.13/202.23	c nbDecision=19500 #constraints=190980
206.13/206.22	c nbDecision=20000 #constraints=191014
210.83/210.92	c nbDecision=20500 #constraints=191077
215.53/215.67	c nbDecision=21000 #constraints=191150
220.23/220.32	c nbDecision=21500 #constraints=191213
225.23/225.32	c nbDecision=22000 #constraints=191272
229.83/229.99	c nbDecision=22500 #constraints=191341
234.13/234.27	c nbDecision=23000 #constraints=191375
238.52/238.65	c nbDecision=23500 #constraints=191410
242.72/242.80	c nbDecision=24000 #constraints=191432
247.02/247.15	c nbDecision=24500 #constraints=191467
251.32/251.47	c nbDecision=25000 #constraints=191498
255.51/255.63	c nbDecision=25500 #constraints=191521
256.51/256.67	c restart after 25601 decisions
259.61/259.70	c nbDecision=26000 #constraints=191552
263.81/263.94	c nbDecision=26500 #constraints=191593
267.61/267.70	c nbDecision=27000 #constraints=191607
271.31/271.46	c nbDecision=27500 #constraints=191622
275.61/275.72	c nbDecision=28000 #constraints=191662
280.81/280.97	c nbDecision=28500 #constraints=191756
287.50/287.68	c nbDecision=29000 #constraints=191918
291.90/292.00	c nbDecision=29500 #constraints=191966
295.90/296.04	c nbDecision=30000 #constraints=191999
300.71/300.87	c nbDecision=30500 #constraints=192082
304.70/304.85	c nbDecision=31000 #constraints=192114
309.20/309.34	c nbDecision=31500 #constraints=192175
313.31/313.49	c nbDecision=32000 #constraints=192212
317.50/317.61	c nbDecision=32500 #constraints=192251
321.50/321.66	c nbDecision=33000 #constraints=192285
326.30/326.42	c nbDecision=33500 #constraints=192349
331.19/331.35	c nbDecision=34000 #constraints=192424
335.19/335.30	c nbDecision=34500 #constraints=192454
339.29/339.43	c nbDecision=35000 #constraints=192491
343.89/344.06	c nbDecision=35500 #constraints=192559
347.99/348.12	c nbDecision=36000 #constraints=192594
352.39/352.56	c nbDecision=36500 #constraints=192655
356.29/356.49	c nbDecision=37000 #constraints=192684
360.18/360.33	c nbDecision=37500 #constraints=192709
363.98/364.16	c nbDecision=38000 #constraints=192733
367.88/368.09	c nbDecision=38500 #constraints=192758
373.38/373.51	c nbDecision=39000 #constraints=192867
378.48/378.64	c nbDecision=39500 #constraints=192958
384.67/384.83	c nbDecision=40000 #constraints=193090
391.57/391.73	c nbDecision=40500 #constraints=193250
395.27/395.42	c nbDecision=41000 #constraints=193263
400.87/401.09	c nbDecision=41500 #constraints=193370
405.37/405.53	c nbDecision=42000 #constraints=193426
409.96/410.15	c nbDecision=42500 #constraints=193483
413.86/414.01	c nbDecision=43000 #constraints=193509
419.17/419.34	c nbDecision=43500 #constraints=193607
423.97/424.13	c nbDecision=44000 #constraints=193673
428.07/428.21	c nbDecision=44500 #constraints=193698
432.57/432.75	c nbDecision=45000 #constraints=193763
436.26/436.41	c nbDecision=45500 #constraints=193776
441.46/441.67	c nbDecision=46000 #constraints=193863
447.16/447.35	c nbDecision=46500 #constraints=193981
452.16/452.32	c nbDecision=47000 #constraints=194077
455.96/456.19	c nbDecision=47500 #constraints=194108
460.26/460.42	c nbDecision=48000 #constraints=194150
464.15/464.34	c nbDecision=48500 #constraints=194176
468.25/468.45	c nbDecision=49000 #constraints=194220
472.86/473.01	c nbDecision=49500 #constraints=194289
476.95/477.14	c nbDecision=50000 #constraints=194333
481.55/481.72	c nbDecision=50500 #constraints=194398
486.25/486.40	c nbDecision=51000 #constraints=194456
488.04/488.30	c restart after 51201 decisions
491.45/491.67	c nbDecision=51500 #constraints=194528
496.14/496.39	c nbDecision=52000 #constraints=194593
499.95/500.12	c nbDecision=52500 #constraints=194612
503.75/503.99	c nbDecision=53000 #constraints=194637
507.95/508.16	c nbDecision=53500 #constraints=194669
512.15/512.38	c nbDecision=54000 #constraints=194704
516.44/516.63	c nbDecision=54500 #constraints=194747
521.24/521.46	c nbDecision=55000 #constraints=194812
525.44/525.63	c nbDecision=55500 #constraints=194846
530.94/531.11	c nbDecision=56000 #constraints=194935
534.93/535.16	c nbDecision=56500 #constraints=194964
539.23/539.40	c nbDecision=57000 #constraints=194999
544.43/544.66	c nbDecision=57500 #constraints=195077
548.73/548.96	c nbDecision=58000 #constraints=195111
553.13/553.37	c nbDecision=58500 #constraints=195147
557.33/557.55	c nbDecision=59000 #constraints=195180
562.82/563.07	c nbDecision=59500 #constraints=195298
567.02/567.20	c nbDecision=60000 #constraints=195331
571.52/571.72	c nbDecision=60500 #constraints=195378
575.52/575.77	c nbDecision=61000 #constraints=195407
579.82/580.06	c nbDecision=61500 #constraints=195445
584.92/585.12	c nbDecision=62000 #constraints=195522
589.51/589.74	c nbDecision=62500 #constraints=195569
594.51/594.74	c nbDecision=63000 #constraints=195639
598.72/598.94	c nbDecision=63500 #constraints=195664
603.62/603.90	c nbDecision=64000 #constraints=195751
609.22/609.48	c nbDecision=64500 #constraints=195862
615.31/615.52	c nbDecision=65000 #constraints=195966
621.41/621.62	c nbDecision=65500 #constraints=196074
627.00/627.29	c nbDecision=66000 #constraints=196166
632.50/632.71	c nbDecision=66500 #constraints=196249
637.70/638.00	c nbDecision=67000 #constraints=196328
642.70/642.98	c nbDecision=67500 #constraints=196391
648.19/648.45	c nbDecision=68000 #constraints=196446
653.69/653.97	c nbDecision=68500 #constraints=196545
659.29/659.52	c nbDecision=69000 #constraints=196642
664.20/664.44	c nbDecision=69500 #constraints=196687
669.50/669.75	c nbDecision=70000 #constraints=196744
674.39/674.70	c nbDecision=70500 #constraints=196788
679.09/679.39	c nbDecision=71000 #constraints=196825
683.59/683.89	c nbDecision=71500 #constraints=196849
688.09/688.30	c nbDecision=72000 #constraints=196869
692.58/692.85	c nbDecision=72500 #constraints=196896
697.98/698.27	c nbDecision=73000 #constraints=196978
705.28/705.52	c nbDecision=73500 #constraints=197104
710.18/710.41	c nbDecision=74000 #constraints=197161
715.38/715.64	c nbDecision=74500 #constraints=197236
719.58/719.84	c nbDecision=75000 #constraints=197259
723.48/723.79	c nbDecision=75500 #constraints=197271
727.37/727.60	c nbDecision=76000 #constraints=197280
731.27/731.53	c nbDecision=76500 #constraints=197291
735.07/735.37	c nbDecision=77000 #constraints=197302
739.17/739.44	c nbDecision=77500 #constraints=197327
743.37/743.65	c nbDecision=78000 #constraints=197354
747.56/747.84	c nbDecision=78500 #constraints=197378
751.86/752.16	c nbDecision=79000 #constraints=197404
755.86/756.17	c nbDecision=79500 #constraints=197420
759.96/760.28	c nbDecision=80000 #constraints=197439
764.07/764.36	c nbDecision=80500 #constraints=197459
768.57/768.85	c nbDecision=81000 #constraints=197494
772.76/773.07	c nbDecision=81500 #constraints=197518
777.76/778.10	c nbDecision=82000 #constraints=197579
782.16/782.41	c nbDecision=82500 #constraints=197607
787.86/788.20	c nbDecision=83000 #constraints=197684
793.45/793.79	c nbDecision=83500 #constraints=197755
799.86/800.13	c nbDecision=84000 #constraints=197860
805.55/805.84	c nbDecision=84500 #constraints=197948
809.95/810.25	c nbDecision=85000 #constraints=197976
815.35/815.63	c nbDecision=85500 #constraints=198042
820.75/821.06	c nbDecision=86000 #constraints=198088
828.44/828.73	c nbDecision=86500 #constraints=198223
834.04/834.33	c nbDecision=87000 #constraints=198277
843.04/843.34	c nbDecision=87500 #constraints=198487
850.94/851.30	c nbDecision=88000 #constraints=198612
855.84/856.13	c nbDecision=88500 #constraints=198637
867.33/867.62	c nbDecision=89000 #constraints=198908
877.13/877.47	c nbDecision=89500 #constraints=199109
882.43/882.76	c nbDecision=90000 #constraints=199151
888.32/888.63	c nbDecision=90500 #constraints=199209
893.93/894.26	c nbDecision=91000 #constraints=199255
898.93/899.28	c nbDecision=91500 #constraints=199310
903.53/903.83	c nbDecision=92000 #constraints=199352
908.73/909.01	c nbDecision=92500 #constraints=199395
914.32/914.63	c nbDecision=93000 #constraints=199440
921.52/921.88	c nbDecision=93500 #constraints=199550
928.62/928.93	c nbDecision=94000 #constraints=199669
935.21/935.51	c nbDecision=94500 #constraints=199818
942.41/942.74	c nbDecision=95000 #constraints=199994
947.61/947.90	c nbDecision=95500 #constraints=200058
953.61/953.97	c nbDecision=96000 #constraints=200165
958.71/959.05	c nbDecision=96500 #constraints=200226
965.00/965.32	c nbDecision=97000 #constraints=200286
971.41/971.78	c nbDecision=97500 #constraints=200350
976.21/976.56	c nbDecision=98000 #constraints=200373
982.50/982.83	c nbDecision=98500 #constraints=200453
988.70/989.04	c nbDecision=99000 #constraints=200546
995.30/995.60	c nbDecision=99500 #constraints=200658
1000.70/1001.05	c nbDecision=100000 #constraints=200718
1005.29/1005.64	c nbDecision=100500 #constraints=200733
1009.99/1010.32	c nbDecision=101000 #constraints=200747
1015.99/1016.31	c nbDecision=101500 #constraints=200800
1021.49/1021.82	c nbDecision=102000 #constraints=200868
1025.18/1025.54	c restart after 102401 decisions
1026.08/1026.45	c nbDecision=102500 #constraints=200887
1031.08/1031.47	c nbDecision=103000 #constraints=200950
1037.69/1038.09	c nbDecision=103500 #constraints=201072
1042.69/1043.05	c nbDecision=104000 #constraints=201126
1048.58/1048.95	c nbDecision=104500 #constraints=201236
1054.28/1054.69	c nbDecision=105000 #constraints=201306
1059.68/1060.00	c nbDecision=105500 #constraints=201378
1069.27/1069.61	c nbDecision=106000 #constraints=201636
1075.48/1075.83	c nbDecision=106500 #constraints=201749
1080.97/1081.39	c nbDecision=107000 #constraints=201838
1086.37/1086.76	c nbDecision=107500 #constraints=201906
1092.46/1092.85	c nbDecision=108000 #constraints=202014
1098.07/1098.47	c nbDecision=108500 #constraints=202092
1103.97/1104.32	c nbDecision=109000 #constraints=202177
1108.97/1109.34	c nbDecision=109500 #constraints=202226
1114.97/1115.31	c nbDecision=110000 #constraints=202317
1120.46/1120.83	c nbDecision=110500 #constraints=202394
1125.96/1126.39	c nbDecision=111000 #constraints=202470
1131.06/1131.40	c nbDecision=111500 #constraints=202523
1135.96/1136.31	c nbDecision=112000 #constraints=202568
1141.15/1141.52	c nbDecision=112500 #constraints=202632
1147.05/1147.43	c nbDecision=113000 #constraints=202714
1152.65/1153.06	c nbDecision=113500 #constraints=202804
1158.45/1158.82	c nbDecision=114000 #constraints=202901
1163.84/1164.26	c nbDecision=114500 #constraints=202968
1168.14/1168.54	c nbDecision=115000 #constraints=202989
1172.74/1173.16	c nbDecision=115500 #constraints=203013
1178.65/1179.03	c nbDecision=116000 #constraints=203111
1184.54/1184.95	c nbDecision=116500 #constraints=203206
1190.24/1190.64	c nbDecision=117000 #constraints=203296
1196.64/1197.08	c nbDecision=117500 #constraints=203427
1201.84/1202.24	c nbDecision=118000 #constraints=203467
1208.33/1208.72	c nbDecision=118500 #constraints=203587
1213.63/1214.00	c nbDecision=119000 #constraints=203653
1221.13/1221.55	c nbDecision=119500 #constraints=203832
1227.02/1227.41	c nbDecision=120000 #constraints=203901
1232.22/1232.64	c nbDecision=120500 #constraints=203964
1236.32/1236.71	c nbDecision=121000 #constraints=203976
1240.83/1241.26	c nbDecision=121500 #constraints=203999
1245.53/1245.95	c nbDecision=122000 #constraints=204023
1250.52/1250.94	c nbDecision=122500 #constraints=204045
1255.52/1255.92	c nbDecision=123000 #constraints=204075
1261.72/1262.15	c nbDecision=123500 #constraints=204167
1267.12/1267.57	c nbDecision=124000 #constraints=204233
1274.52/1274.98	c nbDecision=124500 #constraints=204350
1281.41/1281.80	c nbDecision=125000 #constraints=204437
1286.61/1287.03	c nbDecision=125500 #constraints=204473
1291.61/1292.02	c nbDecision=126000 #constraints=204508
1296.51/1296.99	c nbDecision=126500 #constraints=204542
1300.71/1301.13	c nbDecision=127000 #constraints=204561
1304.81/1305.29	c nbDecision=127500 #constraints=204580
1309.71/1310.11	c nbDecision=128000 #constraints=204601
1314.11/1314.55	c nbDecision=128500 #constraints=204616
1318.61/1319.04	c nbDecision=129000 #constraints=204630
1323.00/1323.45	c nbDecision=129500 #constraints=204646
1327.40/1327.84	c nbDecision=130000 #constraints=204659
1331.90/1332.35	c nbDecision=130500 #constraints=204678
1336.60/1337.06	c nbDecision=131000 #constraints=204699
1342.70/1343.12	c nbDecision=131500 #constraints=204774
1347.89/1348.40	c nbDecision=132000 #constraints=204822
1353.70/1354.14	c nbDecision=132500 #constraints=204896
1358.49/1358.97	c nbDecision=133000 #constraints=204921
1362.99/1363.49	c nbDecision=133500 #constraints=204934
1367.69/1368.18	c nbDecision=134000 #constraints=204951
1372.58/1373.04	c nbDecision=134500 #constraints=204977
1377.68/1378.18	c nbDecision=135000 #constraints=205006
1382.68/1383.15	c nbDecision=135500 #constraints=205030
1388.48/1388.95	c nbDecision=136000 #constraints=205088
1396.78/1397.29	c nbDecision=136500 #constraints=205228
1406.68/1407.16	c nbDecision=137000 #constraints=205417
1412.08/1412.52	c nbDecision=137500 #constraints=205448
1417.67/1418.13	c nbDecision=138000 #constraints=205487
1423.97/1424.41	c nbDecision=138500 #constraints=205536
1429.77/1430.29	c nbDecision=139000 #constraints=205580
1436.37/1436.86	c nbDecision=139500 #constraints=205620
1440.87/1441.37	c nbDecision=140000 #constraints=205628
1445.77/1446.24	c nbDecision=140500 #constraints=205637
1450.37/1450.82	c nbDecision=141000 #constraints=205644
1454.96/1455.42	c nbDecision=141500 #constraints=205654
1460.46/1460.98	c nbDecision=142000 #constraints=205671
1466.76/1467.24	c nbDecision=142500 #constraints=205742
1474.06/1474.59	c nbDecision=143000 #constraints=205990
1480.26/1480.70	c nbDecision=143500 #constraints=206130
1486.66/1487.11	c nbDecision=144000 #constraints=206254
1492.75/1493.22	c nbDecision=144500 #constraints=206339
1499.75/1500.24	c nbDecision=145000 #constraints=206421
1506.95/1507.42	c nbDecision=145500 #constraints=206562
1511.75/1512.24	c nbDecision=146000 #constraints=206618
1516.85/1517.32	c nbDecision=146500 #constraints=206645
1522.04/1522.59	c nbDecision=147000 #constraints=206676
1526.54/1527.09	c nbDecision=147500 #constraints=206687
1531.44/1531.94	c nbDecision=148000 #constraints=206701
1535.74/1536.29	c nbDecision=148500 #constraints=206710
1540.34/1540.88	c nbDecision=149000 #constraints=206727
1544.94/1545.43	c nbDecision=149500 #constraints=206738
1549.80/1550.30	c nbDecision=150000 #constraints=206762
1553.99/1554.55	c nbDecision=150500 #constraints=206772
1558.59/1559.11	c nbDecision=151000 #constraints=206790
1562.77/1563.32	c nbDecision=151500 #constraints=206803
1566.96/1567.52	c nbDecision=152000 #constraints=206812
1571.25/1571.84	c nbDecision=152500 #constraints=206824
1575.73/1576.40	c nbDecision=153000 #constraints=206834
1580.13/1580.71	c nbDecision=153500 #constraints=206844
1584.63/1585.20	c nbDecision=154000 #constraints=206854
1588.93/1589.58	c nbDecision=154500 #constraints=206865
1593.63/1594.24	c nbDecision=155000 #constraints=206876
1598.02/1598.67	c nbDecision=155500 #constraints=206886
1603.01/1603.60	c nbDecision=156000 #constraints=206911
1608.81/1609.43	c nbDecision=156500 #constraints=206939
1614.31/1614.93	c nbDecision=157000 #constraints=206982
1619.90/1620.54	c nbDecision=157500 #constraints=207057
1624.40/1625.09	c nbDecision=158000 #constraints=207074
1629.00/1629.61	c nbDecision=158500 #constraints=207090
1633.40/1634.05	c nbDecision=159000 #constraints=207102
1638.20/1638.89	c nbDecision=159500 #constraints=207122
1642.99/1643.67	c nbDecision=160000 #constraints=207146
1649.29/1649.92	c nbDecision=160500 #constraints=207191
1653.69/1654.37	c nbDecision=161000 #constraints=207203
1658.39/1659.08	c nbDecision=161500 #constraints=207215
1662.89/1663.51	c nbDecision=162000 #constraints=207227
1667.19/1667.83	c nbDecision=162500 #constraints=207243
1671.39/1672.02	c nbDecision=163000 #constraints=207254
1675.69/1676.35	c nbDecision=163500 #constraints=207273
1679.88/1680.53	c nbDecision=164000 #constraints=207286
1684.48/1685.15	c nbDecision=164500 #constraints=207313
1688.88/1689.53	c nbDecision=165000 #constraints=207328
1694.38/1695.09	c nbDecision=165500 #constraints=207370
1699.38/1700.05	c nbDecision=166000 #constraints=207388
1703.88/1704.58	c nbDecision=166500 #constraints=207397
1708.08/1708.77	c nbDecision=167000 #constraints=207409
1712.88/1713.58	c nbDecision=167500 #constraints=207424
1717.48/1718.12	c nbDecision=168000 #constraints=207439
1723.27/1723.92	c nbDecision=168500 #constraints=207479
1729.67/1730.33	c nbDecision=169000 #constraints=207535
1736.66/1737.38	c nbDecision=169500 #constraints=207633
1741.77/1742.50	c nbDecision=170000 #constraints=207692
1747.16/1747.87	c nbDecision=170500 #constraints=207720
1752.66/1753.37	c nbDecision=171000 #constraints=207743
1758.16/1758.83	c nbDecision=171500 #constraints=207765
1763.77/1764.42	c nbDecision=172000 #constraints=207838
1768.96/1769.65	c nbDecision=172500 #constraints=207882
1774.96/1775.64	c nbDecision=173000 #constraints=207912
1783.46/1784.20	c nbDecision=173500 #constraints=207989
1789.25/1789.97	c nbDecision=174000 #constraints=208052
1793.65/1794.36	c nbDecision=174500 #constraints=208077
1799.85/1800.55	c nbDecision=175000 #constraints=208162
1800.06/1800.71	Received signal 15
1800.06/1800.80	
1800.06/1800.80	s UNKNOWN
1800.06/1800.80	
1800.06/1800.80	c user time= 1799.8 s
1800.06/1800.80	c system time= 0.354946 s
1800.06/1800.80	c wall clock time=1800.8

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-357399-1176996915 -o ROOT/results/node17/solver-357399-1176996915 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357399-1176996915/instance-357399-1176996915.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 1660
/proc/meminfo: memFree=1528240/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=1468 CPUtime=0
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 147609024 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 367 160 126 317 0 46 0

[startup+0.0652361 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 1660
/proc/meminfo: memFree=1528240/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=2400 CPUtime=0.06
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 486 0 0 0 6 0 0 0 18 0 1 0 147609024 2457600 370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 600 370 126 317 0 279 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2400

[startup+0.102204 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 1660
/proc/meminfo: memFree=1528240/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=3440 CPUtime=0.09
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 798 0 0 0 9 0 0 0 18 0 1 0 147609024 3522560 553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 860 553 126 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301225 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 1660
/proc/meminfo: memFree=1528240/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=5520 CPUtime=0.29
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 1456 0 0 0 29 0 0 0 19 0 1 0 147609024 5652480 954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134569718 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 1380 954 131 317 0 1059 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5520

[startup+0.701267 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 1660
/proc/meminfo: memFree=1528240/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=14552 CPUtime=0.69
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 3719 0 0 0 68 1 0 0 22 0 1 0 147609024 14901248 3184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 3638 3184 131 317 0 3317 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14552

[startup+1.50135 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 1661
/proc/meminfo: memFree=1507816/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=36192 CPUtime=1.49
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 9183 0 0 0 145 4 0 0 25 0 1 0 147609024 37060608 8583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 9048 8583 131 317 0 8727 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36192

[startup+3.10152 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 1661
/proc/meminfo: memFree=1481256/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=91620 CPUtime=3.09
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 23159 0 0 0 299 10 0 0 25 0 1 0 147609024 93818880 22430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602696 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 22905 22430 137 317 0 22584 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 91620

[startup+6.30185 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 1661
/proc/meminfo: memFree=1428584/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=106516 CPUtime=6.29
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 26868 0 0 0 617 12 0 0 25 0 1 0 147609024 109072384 24856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562700 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 26629 24856 139 317 0 26308 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 106516

[startup+12.7015 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 1661
/proc/meminfo: memFree=1428712/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=106516 CPUtime=12.69
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 26868 0 0 0 1257 12 0 0 25 0 1 0 147609024 109072384 24856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 26629 24856 139 317 0 26308 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 106516

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 1661
/proc/meminfo: memFree=1428840/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=106516 CPUtime=25.48
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 26869 0 0 0 2536 12 0 0 25 0 1 0 147609024 109072384 24857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 26629 24857 139 317 0 26308 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 106516

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 1661
/proc/meminfo: memFree=1428904/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=106516 CPUtime=51.07
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 26874 0 0 0 5095 12 0 0 25 0 1 0 147609024 109072384 24862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 26629 24862 139 317 0 26308 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 106516

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 1661
/proc/meminfo: memFree=1428904/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=106516 CPUtime=102.27
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 26879 0 0 0 10214 13 0 0 25 0 1 0 147609024 109072384 24867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 26629 24867 139 317 0 26308 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 106516

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1661
/proc/meminfo: memFree=1428968/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=106516 CPUtime=162.24
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 26887 0 0 0 16211 13 0 0 25 0 1 0 147609024 109072384 24875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 26629 24875 139 317 0 26308 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 106516

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1663
/proc/meminfo: memFree=1428968/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=106516 CPUtime=222.23
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 26895 0 0 0 22209 14 0 0 25 0 1 0 147609024 109072384 24883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 26629 24883 139 317 0 26308 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 106516

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1663
/proc/meminfo: memFree=1428904/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=106516 CPUtime=282.2
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 26900 0 0 0 28206 14 0 0 25 0 1 0 147609024 109072384 24888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 26629 24888 139 317 0 26308 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 106516

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1663
/proc/meminfo: memFree=1428904/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=106516 CPUtime=342.19
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 26906 0 0 0 34204 15 0 0 25 0 1 0 147609024 109072384 24894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 26629 24894 139 317 0 26308 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 106516

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1663
/proc/meminfo: memFree=1428968/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=106516 CPUtime=402.17
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 26911 0 0 0 40202 15 0 0 25 0 1 0 147609024 109072384 24899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 26629 24899 139 317 0 26308 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 106516

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1663
/proc/meminfo: memFree=1428904/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=106516 CPUtime=462.15
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 26917 0 0 0 46199 16 0 0 25 0 1 0 147609024 109072384 24905 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 26629 24905 139 317 0 26308 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 106516

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1663
/proc/meminfo: memFree=1428584/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=106772 CPUtime=522.14
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 26997 0 0 0 52197 17 0 0 25 0 1 0 147609024 109334528 24985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715604 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 26693 24985 139 317 0 26372 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 106772

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1663
/proc/meminfo: memFree=1427112/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=108204 CPUtime=582.12
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 27343 0 0 0 58195 17 0 0 25 0 1 0 147609024 110800896 25331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712584 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 27051 25331 139 317 0 26730 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 108204

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1663
/proc/meminfo: memFree=1424360/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=110948 CPUtime=642.1
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 28036 0 0 0 64192 18 0 0 25 0 1 0 147609024 113610752 26024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 27737 26024 139 317 0 27416 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 110948


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

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1663
/proc/meminfo: memFree=1416936/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=118240 CPUtime=942.01
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 29881 0 0 0 94178 23 0 0 25 0 1 0 147609024 121077760 27869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 29560 27869 139 317 0 29239 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 118240

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1663
/proc/meminfo: memFree=1415272/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=119808 CPUtime=1001.99
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 30284 0 0 0 100175 24 0 0 25 0 1 0 147609024 122683392 28272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 29952 28272 139 317 0 29631 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 119808

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1663
/proc/meminfo: memFree=1414056/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=120972 CPUtime=1061.98
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 30594 0 0 0 106173 25 0 0 25 0 1 0 147609024 123875328 28582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 30243 28582 139 317 0 29922 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 120972

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1663
/proc/meminfo: memFree=1413352/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=121756 CPUtime=1121.96
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 30776 0 0 0 112170 26 0 0 25 0 1 0 147609024 124678144 28764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 30439 28764 139 317 0 30118 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 121756

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1663
/proc/meminfo: memFree=1412584/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=122528 CPUtime=1181.94
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 30969 0 0 0 118167 27 0 0 25 0 1 0 147609024 125468672 28957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 30632 28957 139 317 0 30311 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 122528

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1663
/proc/meminfo: memFree=1411560/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=123428 CPUtime=1241.93
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 31203 0 0 0 124165 28 0 0 25 0 1 0 147609024 126390272 29191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 30857 29191 139 317 0 30536 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 123428

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1663
/proc/meminfo: memFree=1409768/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=125272 CPUtime=1301.92
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 31657 0 0 0 130163 29 0 0 25 0 1 0 147609024 128278528 29645 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385343 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 31318 29645 139 317 0 30997 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 125272

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1663
/proc/meminfo: memFree=1408552/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=126460 CPUtime=1361.89
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 31950 0 0 0 136160 29 0 0 25 0 1 0 147609024 129495040 29938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 31615 29938 139 317 0 31294 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 126460

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1663
/proc/meminfo: memFree=1404904/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=129992 CPUtime=1421.87
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 32845 0 0 0 142157 30 0 0 25 0 1 0 147609024 133111808 30833 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 32498 30833 139 317 0 32177 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 129992

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1663
/proc/meminfo: memFree=1403944/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=130912 CPUtime=1481.86
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 33075 0 0 0 148155 31 0 0 25 0 1 0 147609024 134053888 31063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 32728 31063 139 317 0 32407 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 130912

[startup+1542.3 s]
/proc/loadavg: 1.07 1.00 1.00 2/78 1663
/proc/meminfo: memFree=1403496/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=131444 CPUtime=1541.83
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 33215 0 0 0 154151 32 0 0 25 0 1 0 147609024 134598656 31203 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 32861 31203 139 317 0 32540 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 131444

[startup+1602.3 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 1874
/proc/meminfo: memFree=1402848/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=131984 CPUtime=1601.71
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 33318 0 0 0 160138 33 0 0 25 0 1 0 147609024 135151616 31306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 32996 31306 139 317 0 32675 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 131984

[startup+1662.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 1874
/proc/meminfo: memFree=1402408/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=132548 CPUtime=1661.69
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 33468 0 0 0 166136 33 0 0 25 0 1 0 147609024 135729152 31456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 33137 31456 139 317 0 32816 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 132548

[startup+1722.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 1874
/proc/meminfo: memFree=1401896/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=133188 CPUtime=1721.68
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 33624 0 0 0 172134 34 0 0 25 0 1 0 147609024 136384512 31612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 33297 31612 139 317 0 32976 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 133188

[startup+1782.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 1874
/proc/meminfo: memFree=1400616/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=134364 CPUtime=1781.66
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 33936 0 0 0 178131 35 0 0 25 0 1 0 147609024 137588736 31924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 33591 31924 139 317 0 33270 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 134364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.05 1.02 1.00 2/78 1874
/proc/meminfo: memFree=1400360/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=134572 CPUtime=1800.06
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 33995 0 0 0 179971 35 0 0 25 0 1 0 147609024 137801728 31983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 33643 31983 139 317 0 33322 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 134572

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.05 1.02 1.00 2/78 1874
/proc/meminfo: memFree=1400360/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=134572 CPUtime=1800.15
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 34011 0 0 0 179980 35 0 0 25 0 1 0 147609024 137801728 31999 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284166 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 33643 31999 155 317 0 33322 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 134572

[startup+1800.9 s]
/proc/loadavg: 1.05 1.02 1.00 2/78 1874
/proc/meminfo: memFree=1400360/2055920 swapFree=4141660/4192956
[pid=1660] ppid=1658 vsize=120296 CPUtime=1800.25
/proc/1660/stat : 1660 (oree) R 1658 1660 986 0 -1 4194304 34011 0 0 0 179990 35 0 0 25 0 1 0 147609024 123183104 29570 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284166 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1660/statm: 30074 29570 155 317 0 29753 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 120296

Child status: 0
Real time (s): 1800.99
CPU time (s): 1800.35
CPU user time (s): 1799.98
CPU system time (s): 0.374943
CPU usage (%): 99.9643
Max. virtual memory (cumulated for all children) (KiB): 134608

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

runsolver used 2.17067 second user time and 4.35034 second system time

The end

Launcher Data (download as text)

Begin job on node17 on Thu Apr 19 15:35:15 UTC 2007

IDJOB= 357399
IDBENCH= 2522
IDSOLVER= 172
FILE ID= node17/357399-1176996915

PBS_JOBID= 4630469

Free space on /tmp= 66383 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-stp3d.opb
COMMAND LINE= oree /tmp/evaluation/357399-1176996915/instance-357399-1176996915.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-357399-1176996915 -o ROOT/results/node17/solver-357399-1176996915 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357399-1176996915/instance-357399-1176996915.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  af54d857fe3562002a714e0fbd74a69a

RANDOM SEED= 609312090

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:       1528648 kB
Buffers:         37252 kB
Cached:         397696 kB
SwapCached:      14192 kB
Active:         226328 kB
Inactive:       243960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1528648 kB
SwapTotal:     4192956 kB
SwapFree:      4141660 kB
Dirty:           10340 kB
Writeback:           0 kB
Mapped:          41524 kB
Slab:            42528 kB
Committed_AS:  7119008 kB
PageTables:       1824 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= 66383 MiB

End job on node17 on Thu Apr 19 16:05:18 UTC 2007