Trace number 357036

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.25 1800.72

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-stp3d.opb
MD5SUMf0369b32b392b309903886944ef44b64
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of 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 7
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 529536
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 7
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 529536
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
2.39/2.44	c ...done
2.39/2.44	c #vars=204880 #constraints=187574 hasObjective=yes
3.59/3.67	c res. mode=mod
3.59/3.67	c VSIDS like heuristics
3.59/3.67	c complete search running
8.49/8.51	c restart after 401 decisions
9.99/10.08	c nbDecision=500 #constraints=187722
12.99/13.04	c restart after 801 decisions
15.59/15.62	c nbDecision=1000 #constraints=187830
19.89/19.93	c nbDecision=1500 #constraints=187882
20.59/20.65	c restart after 1601 decisions
24.79/24.84	c nbDecision=2000 #constraints=187948
29.49/29.57	c nbDecision=2500 #constraints=188019
33.58/33.69	c nbDecision=3000 #constraints=188064
35.58/35.65	c restart after 3201 decisions
40.07/40.14	c nbDecision=3500 #constraints=188214
45.08/45.14	c nbDecision=4000 #constraints=188303
51.07/51.19	c nbDecision=4500 #constraints=188444
56.27/56.37	c nbDecision=5000 #constraints=188542
61.07/61.13	c nbDecision=5500 #constraints=188609
65.77/65.87	c nbDecision=6000 #constraints=188695
69.17/69.21	c restart after 6401 decisions
70.06/70.10	c nbDecision=6500 #constraints=188748
74.26/74.33	c nbDecision=7000 #constraints=188784
79.07/79.20	c nbDecision=7500 #constraints=188859
83.76/83.80	c nbDecision=8000 #constraints=188931
89.16/89.23	c nbDecision=8500 #constraints=189052
94.36/94.45	c nbDecision=9000 #constraints=189156
98.76/98.88	c nbDecision=9500 #constraints=189209
104.05/104.12	c nbDecision=10000 #constraints=189320
107.86/107.98	c nbDecision=10500 #constraints=189344
112.86/112.90	c nbDecision=11000 #constraints=189416
117.06/117.17	c nbDecision=11500 #constraints=189460
121.36/121.47	c nbDecision=12000 #constraints=189503
126.46/126.58	c nbDecision=12500 #constraints=189591
128.85/128.93	c restart after 12801 decisions
130.95/131.03	c nbDecision=13000 #constraints=189643
137.75/137.89	c nbDecision=13500 #constraints=189819
143.95/144.06	c nbDecision=14000 #constraints=189963
150.25/150.32	c nbDecision=14500 #constraints=190100
155.55/155.63	c nbDecision=15000 #constraints=190186
161.24/161.33	c nbDecision=15500 #constraints=190303
166.24/166.36	c nbDecision=16000 #constraints=190375
173.54/173.61	c nbDecision=16500 #constraints=190596
180.04/180.16	c nbDecision=17000 #constraints=190769
184.84/184.96	c nbDecision=17500 #constraints=190836
189.73/189.85	c nbDecision=18000 #constraints=190891
193.93/194.07	c nbDecision=18500 #constraints=190926
198.13/198.26	c nbDecision=19000 #constraints=190948
202.13/202.30	c nbDecision=19500 #constraints=190980
206.13/206.26	c nbDecision=20000 #constraints=191014
210.83/210.92	c nbDecision=20500 #constraints=191077
215.53/215.68	c nbDecision=21000 #constraints=191150
220.23/220.38	c nbDecision=21500 #constraints=191213
225.22/225.38	c nbDecision=22000 #constraints=191272
229.92/230.01	c nbDecision=22500 #constraints=191341
234.12/234.28	c nbDecision=23000 #constraints=191375
238.52/238.70	c nbDecision=23500 #constraints=191410
242.72/242.89	c nbDecision=24000 #constraints=191432
247.13/247.21	c nbDecision=24500 #constraints=191467
251.32/251.49	c nbDecision=25000 #constraints=191498
255.52/255.66	c nbDecision=25500 #constraints=191521
256.62/256.72	c restart after 25601 decisions
259.62/259.78	c nbDecision=26000 #constraints=191552
263.92/264.03	c nbDecision=26500 #constraints=191593
267.62/267.75	c nbDecision=27000 #constraints=191607
271.32/271.47	c nbDecision=27500 #constraints=191622
275.62/275.75	c nbDecision=28000 #constraints=191662
280.91/281.04	c nbDecision=28500 #constraints=191756
287.61/287.73	c nbDecision=29000 #constraints=191918
291.91/292.02	c nbDecision=29500 #constraints=191966
295.91/296.07	c nbDecision=30000 #constraints=191999
300.81/300.94	c nbDecision=30500 #constraints=192082
304.81/304.94	c nbDecision=31000 #constraints=192114
309.20/309.38	c nbDecision=31500 #constraints=192175
313.41/313.51	c nbDecision=32000 #constraints=192212
317.50/317.67	c nbDecision=32500 #constraints=192251
321.60/321.77	c nbDecision=33000 #constraints=192285
326.40/326.51	c nbDecision=33500 #constraints=192349
331.30/331.40	c nbDecision=34000 #constraints=192424
335.20/335.35	c nbDecision=34500 #constraints=192454
339.39/339.53	c nbDecision=35000 #constraints=192491
343.99/344.19	c nbDecision=35500 #constraints=192559
348.10/348.20	c nbDecision=36000 #constraints=192594
352.50/352.61	c nbDecision=36500 #constraints=192655
356.40/356.56	c nbDecision=37000 #constraints=192684
360.30/360.44	c nbDecision=37500 #constraints=192709
364.09/364.29	c nbDecision=38000 #constraints=192733
367.99/368.18	c nbDecision=38500 #constraints=192758
373.39/373.57	c nbDecision=39000 #constraints=192867
378.59/378.75	c nbDecision=39500 #constraints=192958
384.79/384.95	c nbDecision=40000 #constraints=193090
391.69/391.80	c nbDecision=40500 #constraints=193250
395.28/395.49	c nbDecision=41000 #constraints=193263
401.08/401.21	c nbDecision=41500 #constraints=193370
405.48/405.65	c nbDecision=42000 #constraints=193426
410.08/410.22	c nbDecision=42500 #constraints=193483
413.88/414.07	c nbDecision=43000 #constraints=193509
419.28/419.45	c nbDecision=43500 #constraints=193607
424.07/424.26	c nbDecision=44000 #constraints=193673
428.17/428.30	c nbDecision=44500 #constraints=193698
432.67/432.80	c nbDecision=45000 #constraints=193763
436.27/436.49	c nbDecision=45500 #constraints=193776
441.67/441.81	c nbDecision=46000 #constraints=193863
447.27/447.47	c nbDecision=46500 #constraints=193981
452.17/452.39	c nbDecision=47000 #constraints=194077
456.06/456.28	c nbDecision=47500 #constraints=194108
460.36/460.54	c nbDecision=48000 #constraints=194150
464.26/464.48	c nbDecision=48500 #constraints=194176
468.37/468.56	c nbDecision=49000 #constraints=194220
472.87/473.09	c nbDecision=49500 #constraints=194289
477.06/477.25	c nbDecision=50000 #constraints=194333
481.67/481.87	c nbDecision=50500 #constraints=194398
486.36/486.54	c nbDecision=51000 #constraints=194456
488.27/488.42	c restart after 51201 decisions
491.57/491.76	c nbDecision=51500 #constraints=194528
496.36/496.51	c nbDecision=52000 #constraints=194593
500.06/500.25	c nbDecision=52500 #constraints=194612
503.96/504.15	c nbDecision=53000 #constraints=194637
508.06/508.29	c nbDecision=53500 #constraints=194669
512.25/512.47	c nbDecision=54000 #constraints=194704
516.55/516.75	c nbDecision=54500 #constraints=194747
521.45/521.62	c nbDecision=55000 #constraints=194812
525.55/525.78	c nbDecision=55500 #constraints=194846
531.06/531.23	c nbDecision=56000 #constraints=194935
535.05/535.28	c nbDecision=56500 #constraints=194964
539.35/539.56	c nbDecision=57000 #constraints=194999
544.65/544.83	c nbDecision=57500 #constraints=195077
548.95/549.11	c nbDecision=58000 #constraints=195111
553.25/553.48	c nbDecision=58500 #constraints=195147
557.55/557.70	c nbDecision=59000 #constraints=195180
563.05/563.27	c nbDecision=59500 #constraints=195298
567.14/567.38	c nbDecision=60000 #constraints=195331
571.64/571.86	c nbDecision=60500 #constraints=195378
575.74/575.92	c nbDecision=61000 #constraints=195407
580.04/580.26	c nbDecision=61500 #constraints=195445
585.14/585.32	c nbDecision=62000 #constraints=195522
589.73/589.91	c nbDecision=62500 #constraints=195569
594.73/594.90	c nbDecision=63000 #constraints=195639
598.93/599.13	c nbDecision=63500 #constraints=195664
603.93/604.12	c nbDecision=64000 #constraints=195751
609.42/609.65	c nbDecision=64500 #constraints=195862
615.43/615.70	c nbDecision=65000 #constraints=195966
621.63/621.86	c nbDecision=65500 #constraints=196074
627.32/627.50	c nbDecision=66000 #constraints=196166
632.62/632.87	c nbDecision=66500 #constraints=196249
638.02/638.21	c nbDecision=67000 #constraints=196328
643.02/643.23	c nbDecision=67500 #constraints=196391
648.42/648.66	c nbDecision=68000 #constraints=196446
653.91/654.15	c nbDecision=68500 #constraints=196545
659.51/659.76	c nbDecision=69000 #constraints=196642
664.51/664.70	c nbDecision=69500 #constraints=196687
669.72/669.97	c nbDecision=70000 #constraints=196744
674.72/674.90	c nbDecision=70500 #constraints=196788
679.41/679.64	c nbDecision=71000 #constraints=196825
683.92/684.17	c nbDecision=71500 #constraints=196849
688.32/688.53	c nbDecision=72000 #constraints=196869
692.81/693.04	c nbDecision=72500 #constraints=196896
698.31/698.50	c nbDecision=73000 #constraints=196978
705.51/705.78	c nbDecision=73500 #constraints=197104
710.41/710.63	c nbDecision=74000 #constraints=197161
715.60/715.87	c nbDecision=74500 #constraints=197236
719.90/720.11	c nbDecision=75000 #constraints=197259
723.80/724.07	c nbDecision=75500 #constraints=197271
727.60/727.86	c nbDecision=76000 #constraints=197280
731.50/731.76	c nbDecision=76500 #constraints=197291
735.40/735.60	c nbDecision=77000 #constraints=197302
739.50/739.71	c nbDecision=77500 #constraints=197327
743.69/743.94	c nbDecision=78000 #constraints=197354
747.80/748.09	c nbDecision=78500 #constraints=197378
752.10/752.38	c nbDecision=79000 #constraints=197404
756.19/756.41	c nbDecision=79500 #constraints=197420
760.29/760.56	c nbDecision=80000 #constraints=197439
764.38/764.66	c nbDecision=80500 #constraints=197459
768.78/769.08	c nbDecision=81000 #constraints=197494
773.00/773.26	c nbDecision=81500 #constraints=197518
778.09/778.34	c nbDecision=82000 #constraints=197579
782.39/782.70	c nbDecision=82500 #constraints=197607
788.19/788.46	c nbDecision=83000 #constraints=197684
793.78/794.02	c nbDecision=83500 #constraints=197755
800.18/800.42	c nbDecision=84000 #constraints=197860
805.88/806.13	c nbDecision=84500 #constraints=197948
810.18/810.48	c nbDecision=85000 #constraints=197976
815.58/815.87	c nbDecision=85500 #constraints=198042
821.07/821.34	c nbDecision=86000 #constraints=198088
828.77/829.00	c nbDecision=86500 #constraints=198223
834.27/834.57	c nbDecision=87000 #constraints=198277
843.38/843.67	c nbDecision=87500 #constraints=198487
851.27/851.57	c nbDecision=88000 #constraints=198612
856.17/856.41	c nbDecision=88500 #constraints=198637
867.67/867.95	c nbDecision=89000 #constraints=198908
877.56/877.80	c nbDecision=89500 #constraints=199109
882.86/883.15	c nbDecision=90000 #constraints=199151
888.65/888.99	c nbDecision=90500 #constraints=199209
894.26/894.59	c nbDecision=91000 #constraints=199255
899.36/899.66	c nbDecision=91500 #constraints=199310
903.96/904.25	c nbDecision=92000 #constraints=199352
909.05/909.38	c nbDecision=92500 #constraints=199395
914.65/914.98	c nbDecision=93000 #constraints=199440
922.05/922.31	c nbDecision=93500 #constraints=199550
929.05/929.32	c nbDecision=94000 #constraints=199669
935.55/935.90	c nbDecision=94500 #constraints=199818
942.94/943.20	c nbDecision=95000 #constraints=199994
948.04/948.33	c nbDecision=95500 #constraints=200058
954.04/954.37	c nbDecision=96000 #constraints=200165
959.14/959.49	c nbDecision=96500 #constraints=200226
965.44/965.79	c nbDecision=97000 #constraints=200286
971.93/972.20	c nbDecision=97500 #constraints=200350
976.63/977.00	c nbDecision=98000 #constraints=200373
983.03/983.33	c nbDecision=98500 #constraints=200453
989.23/989.50	c nbDecision=99000 #constraints=200546
995.73/996.06	c nbDecision=99500 #constraints=200658
1001.23/1001.56	c nbDecision=100000 #constraints=200718
1005.83/1006.14	c nbDecision=100500 #constraints=200733
1010.42/1010.78	c nbDecision=101000 #constraints=200747
1016.42/1016.79	c nbDecision=101500 #constraints=200800
1022.02/1022.35	c nbDecision=102000 #constraints=200868
1025.72/1026.06	c restart after 102401 decisions
1026.62/1026.96	c nbDecision=102500 #constraints=200887
1031.62/1031.94	c nbDecision=103000 #constraints=200950
1038.32/1038.60	c nbDecision=103500 #constraints=201072
1043.31/1043.61	c nbDecision=104000 #constraints=201126
1049.12/1049.47	c nbDecision=104500 #constraints=201236
1054.92/1055.20	c nbDecision=105000 #constraints=201306
1060.22/1060.54	c nbDecision=105500 #constraints=201378
1069.81/1070.14	c nbDecision=106000 #constraints=201636
1076.01/1076.35	c nbDecision=106500 #constraints=201749
1081.61/1081.98	c nbDecision=107000 #constraints=201838
1087.01/1087.33	c nbDecision=107500 #constraints=201906
1093.01/1093.38	c nbDecision=108000 #constraints=202014
1098.70/1099.05	c nbDecision=108500 #constraints=202092
1104.60/1104.94	c nbDecision=109000 #constraints=202177
1109.60/1109.92	c nbDecision=109500 #constraints=202226
1115.50/1115.88	c nbDecision=110000 #constraints=202317
1121.09/1121.46	c nbDecision=110500 #constraints=202394
1126.69/1127.01	c nbDecision=111000 #constraints=202470
1131.60/1131.98	c nbDecision=111500 #constraints=202523
1136.60/1136.91	c nbDecision=112000 #constraints=202568
1141.80/1142.17	c nbDecision=112500 #constraints=202632
1147.70/1148.04	c nbDecision=113000 #constraints=202714
1153.29/1153.62	c nbDecision=113500 #constraints=202804
1159.09/1159.44	c nbDecision=114000 #constraints=202901
1164.59/1164.91	c nbDecision=114500 #constraints=202968
1168.79/1169.15	c nbDecision=115000 #constraints=202989
1173.39/1173.74	c nbDecision=115500 #constraints=203013
1179.28/1179.67	c nbDecision=116000 #constraints=203111
1185.28/1185.62	c nbDecision=116500 #constraints=203206
1190.88/1191.27	c nbDecision=117000 #constraints=203296
1197.38/1197.72	c nbDecision=117500 #constraints=203427
1202.58/1202.93	c nbDecision=118000 #constraints=203467
1208.97/1209.37	c nbDecision=118500 #constraints=203587
1214.27/1214.63	c nbDecision=119000 #constraints=203653
1221.87/1222.25	c nbDecision=119500 #constraints=203832
1227.67/1228.09	c nbDecision=120000 #constraints=203901
1232.87/1233.28	c nbDecision=120500 #constraints=203964
1236.97/1237.38	c nbDecision=121000 #constraints=203976
1241.58/1241.97	c nbDecision=121500 #constraints=203999
1246.27/1246.66	c nbDecision=122000 #constraints=204023
1251.27/1251.61	c nbDecision=122500 #constraints=204045
1256.27/1256.60	c nbDecision=123000 #constraints=204075
1262.47/1262.89	c nbDecision=123500 #constraints=204167
1267.87/1268.28	c nbDecision=124000 #constraints=204233
1275.26/1275.68	c nbDecision=124500 #constraints=204350
1282.16/1282.57	c nbDecision=125000 #constraints=204437
1287.35/1287.78	c nbDecision=125500 #constraints=204473
1292.35/1292.73	c nbDecision=126000 #constraints=204508
1297.36/1297.73	c nbDecision=126500 #constraints=204542
1301.56/1301.91	c nbDecision=127000 #constraints=204561
1305.65/1306.06	c nbDecision=127500 #constraints=204580
1310.45/1310.84	c nbDecision=128000 #constraints=204601
1314.85/1315.27	c nbDecision=128500 #constraints=204616
1319.35/1319.79	c nbDecision=129000 #constraints=204630
1323.85/1324.23	c nbDecision=129500 #constraints=204646
1328.15/1328.58	c nbDecision=130000 #constraints=204659
1332.64/1333.06	c nbDecision=130500 #constraints=204678
1337.44/1337.81	c nbDecision=131000 #constraints=204699
1343.54/1343.93	c nbDecision=131500 #constraints=204774
1348.74/1349.17	c nbDecision=132000 #constraints=204822
1354.44/1354.89	c nbDecision=132500 #constraints=204896
1359.33/1359.76	c nbDecision=133000 #constraints=204921
1363.93/1364.31	c nbDecision=133500 #constraints=204934
1368.53/1368.97	c nbDecision=134000 #constraints=204951
1373.33/1373.78	c nbDecision=134500 #constraints=204977
1378.53/1378.97	c nbDecision=135000 #constraints=205006
1383.53/1383.99	c nbDecision=135500 #constraints=205030
1389.32/1389.74	c nbDecision=136000 #constraints=205088
1397.63/1398.10	c nbDecision=136500 #constraints=205228
1407.53/1407.98	c nbDecision=137000 #constraints=205417
1412.83/1413.29	c nbDecision=137500 #constraints=205448
1418.52/1418.95	c nbDecision=138000 #constraints=205487
1424.82/1425.26	c nbDecision=138500 #constraints=205536
1430.62/1431.10	c nbDecision=139000 #constraints=205580
1437.21/1437.67	c nbDecision=139500 #constraints=205620
1441.81/1442.23	c nbDecision=140000 #constraints=205628
1446.61/1447.09	c nbDecision=140500 #constraints=205637
1451.21/1451.62	c nbDecision=141000 #constraints=205644
1455.81/1456.22	c nbDecision=141500 #constraints=205654
1461.41/1461.85	c nbDecision=142000 #constraints=205671
1467.71/1468.10	c nbDecision=142500 #constraints=205742
1475.01/1475.42	c nbDecision=143000 #constraints=205990
1481.11/1481.59	c nbDecision=143500 #constraints=206130
1487.50/1487.99	c nbDecision=144000 #constraints=206254
1493.60/1494.06	c nbDecision=144500 #constraints=206339
1500.70/1501.15	c nbDecision=145000 #constraints=206421
1507.90/1508.32	c nbDecision=145500 #constraints=206562
1512.59/1513.09	c nbDecision=146000 #constraints=206618
1517.79/1518.21	c nbDecision=146500 #constraints=206645
1523.09/1523.53	c nbDecision=147000 #constraints=206676
1527.59/1528.00	c nbDecision=147500 #constraints=206687
1532.39/1532.81	c nbDecision=148000 #constraints=206701
1536.69/1537.18	c nbDecision=148500 #constraints=206710
1541.38/1541.81	c nbDecision=149000 #constraints=206727
1545.89/1546.36	c nbDecision=149500 #constraints=206738
1550.69/1551.15	c nbDecision=150000 #constraints=206762
1554.89/1555.38	c nbDecision=150500 #constraints=206772
1559.49/1559.96	c nbDecision=151000 #constraints=206790
1563.79/1564.20	c nbDecision=151500 #constraints=206803
1567.89/1568.35	c nbDecision=152000 #constraints=206812
1572.18/1572.62	c nbDecision=152500 #constraints=206824
1576.69/1577.19	c nbDecision=153000 #constraints=206834
1581.09/1581.54	c nbDecision=153500 #constraints=206844
1585.58/1586.03	c nbDecision=154000 #constraints=206854
1589.88/1590.37	c nbDecision=154500 #constraints=206865
1594.57/1595.02	c nbDecision=155000 #constraints=206876
1598.97/1599.48	c nbDecision=155500 #constraints=206886
1603.97/1604.44	c nbDecision=156000 #constraints=206911
1609.77/1610.21	c nbDecision=156500 #constraints=206939
1615.17/1615.70	c nbDecision=157000 #constraints=206982
1620.87/1621.36	c nbDecision=157500 #constraints=207057
1625.46/1625.92	c nbDecision=158000 #constraints=207074
1629.96/1630.40	c nbDecision=158500 #constraints=207090
1634.36/1634.81	c nbDecision=159000 #constraints=207102
1639.16/1639.69	c nbDecision=159500 #constraints=207122
1644.06/1644.51	c nbDecision=160000 #constraints=207146
1650.25/1650.70	c nbDecision=160500 #constraints=207191
1654.66/1655.14	c nbDecision=161000 #constraints=207203
1659.36/1659.89	c nbDecision=161500 #constraints=207215
1663.86/1664.36	c nbDecision=162000 #constraints=207227
1668.16/1668.64	c nbDecision=162500 #constraints=207243
1672.25/1672.79	c nbDecision=163000 #constraints=207254
1676.65/1677.13	c nbDecision=163500 #constraints=207273
1680.85/1681.35	c nbDecision=164000 #constraints=207286
1685.45/1685.98	c nbDecision=164500 #constraints=207313
1689.85/1690.32	c nbDecision=165000 #constraints=207328
1695.35/1695.86	c nbDecision=165500 #constraints=207370
1700.35/1700.88	c nbDecision=166000 #constraints=207388
1704.94/1705.42	c nbDecision=166500 #constraints=207397
1709.04/1709.57	c nbDecision=167000 #constraints=207409
1713.84/1714.35	c nbDecision=167500 #constraints=207424
1718.44/1718.93	c nbDecision=168000 #constraints=207439
1724.24/1724.78	c nbDecision=168500 #constraints=207479
1730.64/1731.14	c nbDecision=169000 #constraints=207535
1737.73/1738.21	c nbDecision=169500 #constraints=207633
1742.83/1743.39	c nbDecision=170000 #constraints=207692
1748.23/1748.73	c nbDecision=170500 #constraints=207720
1753.63/1754.18	c nbDecision=171000 #constraints=207743
1759.13/1759.69	c nbDecision=171500 #constraints=207765
1764.83/1765.31	c nbDecision=172000 #constraints=207838
1769.92/1770.49	c nbDecision=172500 #constraints=207882
1775.93/1776.48	c nbDecision=173000 #constraints=207912
1784.53/1785.10	c nbDecision=173500 #constraints=207989
1790.32/1790.83	c nbDecision=174000 #constraints=208052
1794.72/1795.21	c nbDecision=174500 #constraints=208077
1800.03/1800.51	Received signal 15
1800.03/1800.52	
1800.03/1800.52	s UNKNOWN
1800.03/1800.52	
1800.03/1800.52	c user time= 1799.71 s
1800.03/1800.52	c system time= 0.342947 s
1800.03/1800.52	c wall clock time=1800.52

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/node2/watcher-357036-1176852391 -o ROOT/results/node2/solver-357036-1176852391 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357036-1176852391/instance-357036-1176852391.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.97 0.98 3/77 13387
/proc/meminfo: memFree=1796728/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=1620 CPUtime=0
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 161276943 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827878 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 405 175 126 317 0 84 0

[startup+0.046698 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 13387
/proc/meminfo: memFree=1796728/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=2400 CPUtime=0.04
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 500 0 0 0 4 0 0 0 18 0 1 0 161276943 2457600 384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 600 384 126 317 0 279 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2400

[startup+0.101703 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 13387
/proc/meminfo: memFree=1796728/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=3440 CPUtime=0.09
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 897 0 0 0 9 0 0 0 18 0 1 0 161276943 3522560 652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 860 652 126 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301724 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 13387
/proc/meminfo: memFree=1796728/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=6636 CPUtime=0.29
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 1741 0 0 0 29 0 0 0 19 0 1 0 161276943 6795264 1239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 1659 1240 131 317 0 1338 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6636

[startup+0.701765 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 13387
/proc/meminfo: memFree=1796728/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=16400 CPUtime=0.69
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 4192 0 0 0 68 1 0 0 23 0 1 0 161276943 16793600 3657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 4100 3657 131 317 0 3779 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16400

[startup+1.50185 s]
/proc/loadavg: 0.92 0.97 0.98 2/78 13388
/proc/meminfo: memFree=1774576/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=37776 CPUtime=1.49
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 9584 0 0 0 145 4 0 0 25 0 1 0 161276943 38682624 8984 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134600013 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 9444 8985 131 317 0 9123 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37776

[startup+3.10202 s]
/proc/loadavg: 0.92 0.97 0.98 2/78 13388
/proc/meminfo: memFree=1748656/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=92544 CPUtime=3.09
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 23361 0 0 0 297 12 0 0 25 0 1 0 161276943 94765056 22632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 23136 22633 137 317 0 22815 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 92544

[startup+6.30135 s]
/proc/loadavg: 0.93 0.97 0.98 2/78 13388
/proc/meminfo: memFree=1697264/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=106516 CPUtime=6.29
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 26868 0 0 0 615 14 0 0 25 0 1 0 161276943 109072384 24856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 26629 24856 139 317 0 26308 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 106516

[startup+12.703 s]
/proc/loadavg: 0.93 0.97 0.98 2/78 13388
/proc/meminfo: memFree=1697328/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=106516 CPUtime=12.69
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 26868 0 0 0 1255 14 0 0 25 0 1 0 161276943 109072384 24856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 26629 24856 139 317 0 26308 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 106516

[startup+25.5013 s]
/proc/loadavg: 0.95 0.97 0.98 2/78 13388
/proc/meminfo: memFree=1697392/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=106516 CPUtime=25.49
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 26869 0 0 0 2535 14 0 0 25 0 1 0 161276943 109072384 24857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385185 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 26629 24857 139 317 0 26308 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 106516

[startup+51.102 s]
/proc/loadavg: 0.96 0.97 0.98 2/78 13388
/proc/meminfo: memFree=1697520/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=106516 CPUtime=51.07
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 26874 0 0 0 5093 14 0 0 25 0 1 0 161276943 109072384 24862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 26629 24862 139 317 0 26308 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 106516

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.98 2/78 13388
/proc/meminfo: memFree=1697584/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=106516 CPUtime=102.26
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 26879 0 0 0 10212 14 0 0 25 0 1 0 161276943 109072384 24867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 26629 24867 139 317 0 26308 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 106516

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13388
/proc/meminfo: memFree=1697520/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=106516 CPUtime=162.24
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 26887 0 0 0 16209 15 0 0 25 0 1 0 161276943 109072384 24875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384524 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 26629 24875 139 317 0 26308 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 106516

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13388
/proc/meminfo: memFree=1697456/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=106516 CPUtime=222.23
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 26895 0 0 0 22208 15 0 0 25 0 1 0 161276943 109072384 24883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/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.97 0.98 2/78 13388
/proc/meminfo: memFree=1697392/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=106516 CPUtime=282.21
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 26900 0 0 0 28205 16 0 0 25 0 1 0 161276943 109072384 24888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 26629 24888 139 317 0 26308 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 106516

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13390
/proc/meminfo: memFree=1697328/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=106516 CPUtime=342.19
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 26906 0 0 0 34203 16 0 0 25 0 1 0 161276943 109072384 24894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/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.97 0.98 2/78 13390
/proc/meminfo: memFree=1697392/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=106516 CPUtime=402.18
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 26911 0 0 0 40201 17 0 0 25 0 1 0 161276943 109072384 24899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 26629 24899 139 317 0 26308 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 106516

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13390
/proc/meminfo: memFree=1697392/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=106516 CPUtime=462.16
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 26917 0 0 0 46199 17 0 0 25 0 1 0 161276943 109072384 24905 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384521 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 26629 24905 139 317 0 26308 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 106516

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13390
/proc/meminfo: memFree=1697008/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=106772 CPUtime=522.15
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 26995 0 0 0 52197 18 0 0 25 0 1 0 161276943 109334528 24983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 26693 24983 139 317 0 26372 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 106772

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13390
/proc/meminfo: memFree=1695664/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=108204 CPUtime=582.14
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 27341 0 0 0 58195 19 0 0 25 0 1 0 161276943 110800896 25329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 27051 25329 139 317 0 26730 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 108204

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13390
/proc/meminfo: memFree=1692848/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=110948 CPUtime=642.12
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 28036 0 0 0 64192 20 0 0 25 0 1 0 161276943 113610752 26024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 27737 26024 139 317 0 27416 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 110948


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13390
/proc/meminfo: memFree=1686832/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=116936 CPUtime=882.06
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 29545 0 0 0 88183 23 0 0 25 0 1 0 161276943 119742464 27533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 29234 27533 139 317 0 28913 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 116936

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13390
/proc/meminfo: memFree=1685424/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=118240 CPUtime=942.04
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 29881 0 0 0 94180 24 0 0 25 0 1 0 161276943 121077760 27869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 29560 27869 139 317 0 29239 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 118240

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13390
/proc/meminfo: memFree=1683824/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=119808 CPUtime=1002.03
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 30283 0 0 0 100178 25 0 0 25 0 1 0 161276943 122683392 28271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 29952 28271 139 317 0 29631 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 119808

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13390
/proc/meminfo: memFree=1682544/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=120972 CPUtime=1062.01
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 30594 0 0 0 106175 26 0 0 25 0 1 0 161276943 123875328 28582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 30243 28582 139 317 0 29922 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 120972

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13390
/proc/meminfo: memFree=1681840/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=121756 CPUtime=1121.99
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 30774 0 0 0 112173 26 0 0 25 0 1 0 161276943 124678144 28762 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 30439 28762 139 317 0 30118 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 121756

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13390
/proc/meminfo: memFree=1681136/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=122528 CPUtime=1181.98
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 30966 0 0 0 118171 27 0 0 25 0 1 0 161276943 125468672 28954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 30632 28954 139 317 0 30311 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 122528

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13390
/proc/meminfo: memFree=1680112/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=123428 CPUtime=1241.97
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 31203 0 0 0 124169 28 0 0 25 0 1 0 161276943 126390272 29191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711035 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 30857 29191 139 317 0 30536 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 123428

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13390
/proc/meminfo: memFree=1678256/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=125140 CPUtime=1301.96
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 31653 0 0 0 130167 29 0 0 25 0 1 0 161276943 128143360 29641 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 31285 29641 139 317 0 30964 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 125140

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13390
/proc/meminfo: memFree=1677040/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=126324 CPUtime=1361.93
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 31947 0 0 0 136164 29 0 0 25 0 1 0 161276943 129355776 29935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 31581 29935 139 317 0 31260 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 126324

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13390
/proc/meminfo: memFree=1673456/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=129992 CPUtime=1421.92
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 32841 0 0 0 142162 30 0 0 25 0 1 0 161276943 133111808 30829 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712525 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 32498 30829 139 317 0 32177 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 129992

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13390
/proc/meminfo: memFree=1672496/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=130912 CPUtime=1481.91
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 33075 0 0 0 148160 31 0 0 25 0 1 0 161276943 134053888 31063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 32728 31063 139 317 0 32407 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 130912

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13390
/proc/meminfo: memFree=1672048/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=131444 CPUtime=1541.88
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 33214 0 0 0 154157 31 0 0 25 0 1 0 161276943 134598656 31202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 32861 31202 139 317 0 32540 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 131444

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13390
/proc/meminfo: memFree=1671664/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=131856 CPUtime=1601.87
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 33313 0 0 0 160155 32 0 0 25 0 1 0 161276943 135020544 31301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 32964 31301 139 317 0 32643 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 131856

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13390
/proc/meminfo: memFree=1671088/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=132548 CPUtime=1661.86
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 33468 0 0 0 166153 33 0 0 25 0 1 0 161276943 135729152 31456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 33137 31456 139 317 0 32816 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 132548

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13390
/proc/meminfo: memFree=1670448/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=133060 CPUtime=1721.84
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 33616 0 0 0 172151 33 0 0 25 0 1 0 161276943 136253440 31604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 33265 31604 139 317 0 32944 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 133060

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13390
/proc/meminfo: memFree=1669168/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=134364 CPUtime=1781.83
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 33927 0 0 0 178149 34 0 0 25 0 1 0 161276943 137588736 31915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712505 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 33591 31915 139 317 0 33270 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 134364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.51 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13390
/proc/meminfo: memFree=1668912/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=134572 CPUtime=1800.03
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 33995 0 0 0 179969 34 0 0 25 0 1 0 161276943 137801728 31983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 33643 31983 139 317 0 33322 0
Current children cumulated CPU time (s) 1800.03
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.7 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13390
/proc/meminfo: memFree=1668912/2055920 swapFree=4138452/4192956
[pid=13387] ppid=13385 vsize=112292 CPUtime=1800.22
/proc/13387/stat : 13387 (oree) R 13385 13387 12803 0 -1 4194304 34011 0 0 0 179988 34 0 0 25 0 1 0 161276943 114987008 27569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13387/statm: 28073 27569 289 317 0 27752 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 112292

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.25
CPU user time (s): 1799.89
CPU system time (s): 0.363944
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 134608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.363944
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= 37550

runsolver used 2.20267 second user time and 4.27435 second system time

The end

Launcher Data (download as text)

Begin job on node2 on Tue Apr 17 23:26:32 UTC 2007

IDJOB= 357036
IDBENCH= 1804
IDSOLVER= 172
FILE ID= node2/357036-1176852391

PBS_JOBID= 4590199

Free space on /tmp= 66504 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  f0369b32b392b309903886944ef44b64

RANDOM SEED= 789817987

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node2.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.234
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.234
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:       1797328 kB
Buffers:         32096 kB
Cached:         151672 kB
SwapCached:      22952 kB
Active:          89424 kB
Inactive:       128524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1797328 kB
SwapTotal:     4192956 kB
SwapFree:      4138452 kB
Dirty:            9964 kB
Writeback:           0 kB
Mapped:          30480 kB
Slab:            26156 kB
Committed_AS:  7096016 kB
PageTables:       1860 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= 66504 MiB

End job on node2 on Tue Apr 17 23:56:34 UTC 2007