Trace number 356933

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.9 1801.61

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-tuff.opb
MD5SUMe0d3bc77812df02cd6843b358116eb3f
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 variables17153
Total number of constraints320
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints320
Minimum length of a constraint11
Maximum length of a constraint3360
Number of terms in the objective function 90
Biggest coefficient in the objective function 87382
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 524349
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 527072
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.49/0.52	c ...done
0.49/0.52	c #vars=17153 #constraints=582 hasObjective=yes
0.59/0.62	c res. mode=mod
0.59/0.62	c VSIDS like heuristics
0.59/0.62	c complete search running
0.89/0.91	c restart after 401 decisions
0.99/1.06	c nbDecision=500 #constraints=725
1.19/1.25	c restart after 801 decisions
1.39/1.46	c nbDecision=1000 #constraints=806
1.79/1.83	c nbDecision=1500 #constraints=937
1.89/1.93	c restart after 1601 decisions
2.29/2.32	c nbDecision=2000 #constraints=1068
2.68/2.79	c nbDecision=2500 #constraints=1221
3.09/3.14	c nbDecision=3000 #constraints=1307
3.19/3.26	c restart after 3201 decisions
3.39/3.43	c nbDecision=3500 #constraints=1353
3.79/3.80	c nbDecision=4000 #constraints=1500
4.39/4.46	c nbDecision=4500 #constraints=1651
5.29/5.38	c nbDecision=5000 #constraints=1885
6.19/6.24	c nbDecision=5500 #constraints=2075
6.99/7.01	c nbDecision=6000 #constraints=2232
7.99/8.04	c restart after 6401 decisions
8.19/8.28	c nbDecision=6500 #constraints=2475
8.59/8.64	c nbDecision=7000 #constraints=2538
9.09/9.18	c nbDecision=7500 #constraints=2660
9.68/9.79	c nbDecision=8000 #constraints=2765
10.29/10.30	c nbDecision=8500 #constraints=2850
11.28/11.30	c nbDecision=9000 #constraints=3039
12.29/12.32	c nbDecision=9500 #constraints=3222
13.28/13.30	c nbDecision=10000 #constraints=3407
14.29/14.35	c nbDecision=10500 #constraints=3590
15.48/15.58	c nbDecision=11000 #constraints=3798
16.69/16.75	c nbDecision=11500 #constraints=3990
17.99/18.01	c nbDecision=12000 #constraints=4206
19.08/19.11	c nbDecision=12500 #constraints=4372
19.88/19.91	c restart after 12801 decisions
20.08/20.11	c nbDecision=13000 #constraints=4531
20.89/20.96	c nbDecision=13500 #constraints=4679
22.38/22.49	c nbDecision=14000 #constraints=4990
23.98/24.10	c nbDecision=14500 #constraints=5280
25.68/25.73	c nbDecision=15000 #constraints=5575
27.28/27.35	c nbDecision=15500 #constraints=5839
29.08/29.14	c nbDecision=16000 #constraints=6125
30.87/30.92	c nbDecision=16500 #constraints=6418
32.68/32.70	c nbDecision=17000 #constraints=6661
34.67/34.77	c nbDecision=17500 #constraints=6959
36.38/36.49	c nbDecision=18000 #constraints=7164
38.48/38.55	c nbDecision=18500 #constraints=7416
40.48/40.59	c nbDecision=19000 #constraints=7634
42.78/42.81	c nbDecision=19500 #constraints=7893
44.87/44.91	c nbDecision=20000 #constraints=8114
47.17/47.20	c nbDecision=20500 #constraints=8360
49.57/49.67	c nbDecision=21000 #constraints=8608
52.07/52.10	c nbDecision=21500 #constraints=8843
53.46/53.51	c nbDecision=22000 #constraints=8983
54.57/54.66	c nbDecision=22500 #constraints=9107
56.27/56.39	c nbDecision=23000 #constraints=9314
58.17/58.29	c nbDecision=23500 #constraints=9536
59.17/59.20	c nbDecision=24000 #constraints=9627
60.47/60.58	c nbDecision=24500 #constraints=9774
61.76/61.80	c nbDecision=25000 #constraints=9916
62.77/62.81	c nbDecision=25500 #constraints=9997
63.07/63.15	c restart after 25601 decisions
63.67/63.76	c nbDecision=26000 #constraints=10091
64.26/64.35	c nbDecision=26500 #constraints=10165
64.87/64.98	c nbDecision=27000 #constraints=10239
65.76/65.87	c nbDecision=27500 #constraints=10364
67.07/67.15	c nbDecision=28000 #constraints=10463
68.66/68.76	c nbDecision=28500 #constraints=10655
71.06/71.13	c nbDecision=29000 #constraints=10897
72.76/72.82	c nbDecision=29500 #constraints=11070
74.06/74.10	c nbDecision=30000 #constraints=11197
75.76/75.84	c nbDecision=30500 #constraints=11358
77.46/77.58	c nbDecision=31000 #constraints=11529
78.85/78.90	c nbDecision=31500 #constraints=11688
80.36/80.49	c nbDecision=32000 #constraints=11808
82.06/82.10	c nbDecision=32500 #constraints=11952
83.46/83.59	c nbDecision=33000 #constraints=12089
85.66/85.74	c nbDecision=33500 #constraints=12234
88.46/88.52	c nbDecision=34000 #constraints=12437
91.95/92.04	c nbDecision=34500 #constraints=12660
95.05/95.14	c nbDecision=35000 #constraints=12881
97.55/97.64	c nbDecision=35500 #constraints=13021
99.95/100.00	c nbDecision=36000 #constraints=13167
102.16/102.21	c nbDecision=36500 #constraints=13298
104.05/104.18	c nbDecision=37000 #constraints=13408
106.04/106.19	c nbDecision=37500 #constraints=13521
108.45/108.59	c nbDecision=38000 #constraints=13630
110.55/110.68	c nbDecision=38500 #constraints=13767
113.15/113.28	c nbDecision=39000 #constraints=13901
115.74/115.83	c nbDecision=39500 #constraints=14051
118.75/118.87	c nbDecision=40000 #constraints=14206
121.05/121.15	c nbDecision=40500 #constraints=14341
123.74/123.87	c nbDecision=41000 #constraints=14516
126.04/126.15	c nbDecision=41500 #constraints=14640
128.24/128.36	c nbDecision=42000 #constraints=14757
130.44/130.51	c nbDecision=42500 #constraints=14863
132.44/132.59	c nbDecision=43000 #constraints=14949
134.84/134.93	c nbDecision=43500 #constraints=15086
136.94/137.09	c nbDecision=44000 #constraints=15186
139.24/139.35	c nbDecision=44500 #constraints=15306
141.33/141.47	c nbDecision=45000 #constraints=15383
143.74/143.82	c nbDecision=45500 #constraints=15502
145.73/145.85	c nbDecision=46000 #constraints=15567
147.94/148.06	c nbDecision=46500 #constraints=15654
150.03/150.14	c nbDecision=47000 #constraints=15737
152.13/152.22	c nbDecision=47500 #constraints=15799
154.53/154.62	c nbDecision=48000 #constraints=15897
157.03/157.18	c nbDecision=48500 #constraints=16031
159.43/159.50	c nbDecision=49000 #constraints=16142
161.64/161.77	c nbDecision=49500 #constraints=16246
164.23/164.32	c nbDecision=50000 #constraints=16385
166.53/166.64	c nbDecision=50500 #constraints=16463
168.83/168.91	c nbDecision=51000 #constraints=16565
169.52/169.61	c restart after 51201 decisions
170.02/170.16	c nbDecision=51500 #constraints=16606
172.12/172.22	c nbDecision=52000 #constraints=16758
175.23/175.36	c nbDecision=52500 #constraints=16945
179.32/179.42	c nbDecision=53000 #constraints=17183
182.02/182.12	c nbDecision=53500 #constraints=17341
184.73/184.82	c nbDecision=54000 #constraints=17458
187.62/187.74	c nbDecision=54500 #constraints=17585
190.31/190.44	c nbDecision=55000 #constraints=17698
192.72/192.89	c nbDecision=55500 #constraints=17792
195.42/195.59	c nbDecision=56000 #constraints=17898
197.91/198.06	c nbDecision=56500 #constraints=17986
200.92/201.08	c nbDecision=57000 #constraints=18109
203.91/204.09	c nbDecision=57500 #constraints=18251
206.71/206.86	c nbDecision=58000 #constraints=18376
209.31/209.42	c nbDecision=58500 #constraints=18479
211.71/211.89	c nbDecision=59000 #constraints=18562
214.31/214.40	c nbDecision=59500 #constraints=18657
216.90/217.00	c nbDecision=60000 #constraints=18751
219.51/219.65	c nbDecision=60500 #constraints=18844
222.51/222.63	c nbDecision=61000 #constraints=18921
224.90/225.06	c nbDecision=61500 #constraints=19024
227.91/228.04	c nbDecision=62000 #constraints=19147
230.70/230.83	c nbDecision=62500 #constraints=19261
233.50/233.63	c nbDecision=63000 #constraints=19363
236.70/236.86	c nbDecision=63500 #constraints=19471
239.20/239.38	c nbDecision=64000 #constraints=19543
245.90/246.06	c nbDecision=64500 #constraints=19715
249.10/249.20	c nbDecision=65000 #constraints=19811
252.59/252.72	c nbDecision=65500 #constraints=19937
258.80/258.96	c nbDecision=66000 #constraints=20217
262.20/262.38	c nbDecision=66500 #constraints=20344
266.79/266.91	c nbDecision=67000 #constraints=20453
270.08/270.28	c nbDecision=67500 #constraints=20586
272.88/273.01	c nbDecision=68000 #constraints=20644
275.59/275.72	c nbDecision=68500 #constraints=20713
277.99/278.12	c nbDecision=69000 #constraints=20759
280.48/280.62	c nbDecision=69500 #constraints=20807
283.69/283.83	c nbDecision=70000 #constraints=20905
290.19/290.38	c nbDecision=70500 #constraints=21260
298.28/298.43	c nbDecision=71000 #constraints=21614
306.57/306.73	c nbDecision=71500 #constraints=21984
314.57/314.74	c nbDecision=72000 #constraints=22323
323.47/323.60	c nbDecision=72500 #constraints=22666
332.77/332.91	c nbDecision=73000 #constraints=23029
342.16/342.31	c nbDecision=73500 #constraints=23387
351.87/352.06	c nbDecision=74000 #constraints=23747
362.96/363.14	c nbDecision=74500 #constraints=24099
374.55/374.79	c nbDecision=75000 #constraints=24446
386.15/386.39	c nbDecision=75500 #constraints=24837
399.04/399.21	c nbDecision=76000 #constraints=25221
409.44/409.66	c nbDecision=76500 #constraints=25500
416.74/416.97	c nbDecision=77000 #constraints=25631
420.14/420.37	c nbDecision=77500 #constraints=25691
425.83/426.04	c nbDecision=78000 #constraints=25791
430.43/430.63	c nbDecision=78500 #constraints=25870
435.53/435.74	c nbDecision=79000 #constraints=25964
441.03/441.28	c nbDecision=79500 #constraints=26045
446.22/446.49	c nbDecision=80000 #constraints=26144
450.53/450.72	c nbDecision=80500 #constraints=26199
458.02/458.22	c nbDecision=81000 #constraints=26326
462.02/462.28	c nbDecision=81500 #constraints=26378
470.12/470.37	c nbDecision=82000 #constraints=26466
479.02/479.24	c nbDecision=82500 #constraints=26653
488.81/489.07	c nbDecision=83000 #constraints=26853
493.31/493.59	c nbDecision=83500 #constraints=26919
499.71/499.91	c nbDecision=84000 #constraints=27044
507.10/507.31	c nbDecision=84500 #constraints=27180
514.60/514.88	c nbDecision=85000 #constraints=27319
519.40/519.68	c nbDecision=85500 #constraints=27400
526.00/526.21	c nbDecision=86000 #constraints=27505
535.89/536.17	c nbDecision=86500 #constraints=27720
545.49/545.73	c nbDecision=87000 #constraints=27901
552.38/552.67	c nbDecision=87500 #constraints=28041
562.78/563.01	c nbDecision=88000 #constraints=28235
569.08/569.39	c nbDecision=88500 #constraints=28328
587.57/587.81	c nbDecision=89000 #constraints=28734
606.97/607.22	c nbDecision=89500 #constraints=29159
622.76/623.05	c nbDecision=90000 #constraints=29461
636.06/636.35	c nbDecision=90500 #constraints=29712
642.95/643.29	c nbDecision=91000 #constraints=29816
650.75/651.02	c nbDecision=91500 #constraints=29930
658.25/658.53	c nbDecision=92000 #constraints=30018
663.85/664.11	c nbDecision=92500 #constraints=30088
673.25/673.59	c nbDecision=93000 #constraints=30226
681.44/681.75	c nbDecision=93500 #constraints=30344
687.44/687.71	c nbDecision=94000 #constraints=30447
704.83/705.11	c nbDecision=94500 #constraints=30632
711.63/711.93	c nbDecision=95000 #constraints=30731
723.13/723.47	c nbDecision=95500 #constraints=30924
728.32/728.65	c nbDecision=96000 #constraints=31022
742.82/743.14	c nbDecision=96500 #constraints=31243
753.61/753.95	c nbDecision=97000 #constraints=31403
763.81/764.19	c nbDecision=97500 #constraints=31535
777.31/777.68	c nbDecision=98000 #constraints=31756
798.70/799.04	c nbDecision=98500 #constraints=32141
820.30/820.68	c nbDecision=99000 #constraints=32521
843.98/844.31	c nbDecision=99500 #constraints=32924
870.57/870.90	c nbDecision=100000 #constraints=33295
882.77/883.18	c nbDecision=100500 #constraints=33428
894.76/895.18	c nbDecision=101000 #constraints=33547
900.77/901.11	c nbDecision=101500 #constraints=33614
910.75/911.13	c nbDecision=102000 #constraints=33739
920.26/920.63	c restart after 102401 decisions
921.16/921.58	c nbDecision=102500 #constraints=33883
923.26/923.64	c nbDecision=103000 #constraints=33959
925.45/925.85	c nbDecision=103500 #constraints=34053
929.85/930.24	c nbDecision=104000 #constraints=34264
932.65/933.05	c nbDecision=104500 #constraints=34390
935.15/935.50	c nbDecision=105000 #constraints=34564
936.24/936.65	c nbDecision=105500 #constraints=34672
937.85/938.25	c nbDecision=106000 #constraints=34798
939.35/939.75	c nbDecision=106500 #constraints=34904
941.45/941.84	c nbDecision=107000 #constraints=35046
942.75/943.10	c nbDecision=107500 #constraints=35118
943.65/944.02	c nbDecision=108000 #constraints=35170
945.05/945.43	c nbDecision=108500 #constraints=35267
946.65/947.03	c nbDecision=109000 #constraints=35376
948.34/948.75	c nbDecision=109500 #constraints=35513
949.55/949.96	c nbDecision=110000 #constraints=35591
951.05/951.44	c nbDecision=110500 #constraints=35691
952.74/953.15	c nbDecision=111000 #constraints=35800
953.84/954.29	c nbDecision=111500 #constraints=35854
954.74/955.10	c nbDecision=112000 #constraints=35884
955.54/955.91	c nbDecision=112500 #constraints=35913
956.44/956.88	c nbDecision=113000 #constraints=35953
957.64/958.08	c nbDecision=113500 #constraints=36022
959.14/959.57	c nbDecision=114000 #constraints=36093
960.54/960.98	c nbDecision=114500 #constraints=36176
962.34/962.75	c nbDecision=115000 #constraints=36288
964.74/965.15	c nbDecision=115500 #constraints=36430
965.84/966.27	c nbDecision=116000 #constraints=36481
967.94/968.37	c nbDecision=116500 #constraints=36610
969.74/970.17	c nbDecision=117000 #constraints=36685
971.13/971.51	c nbDecision=117500 #constraints=36745
972.44/972.81	c nbDecision=118000 #constraints=36790
973.84/974.24	c nbDecision=118500 #constraints=36855
975.63/976.07	c nbDecision=119000 #constraints=36942
977.23/977.67	c nbDecision=119500 #constraints=37010
978.83/979.25	c nbDecision=120000 #constraints=37079
980.34/980.71	c nbDecision=120500 #constraints=37146
981.63/982.06	c nbDecision=121000 #constraints=37202
983.13/983.54	c nbDecision=121500 #constraints=37265
984.53/984.93	c nbDecision=122000 #constraints=37312
986.73/987.13	c nbDecision=122500 #constraints=37402
988.53/988.98	c nbDecision=123000 #constraints=37478
989.93/990.37	c nbDecision=123500 #constraints=37524
992.03/992.49	c nbDecision=124000 #constraints=37597
993.23/993.62	c nbDecision=124500 #constraints=37618
994.43/994.87	c nbDecision=125000 #constraints=37649
996.33/996.72	c nbDecision=125500 #constraints=37720
997.83/998.25	c nbDecision=126000 #constraints=37770
999.13/999.59	c nbDecision=126500 #constraints=37813
1000.42/1000.89	c nbDecision=127000 #constraints=37839
1001.92/1002.36	c nbDecision=127500 #constraints=37878
1003.62/1004.06	c nbDecision=128000 #constraints=37928
1005.63/1006.04	c nbDecision=128500 #constraints=38002
1006.83/1007.25	c nbDecision=129000 #constraints=38025
1008.33/1008.79	c nbDecision=129500 #constraints=38071
1009.92/1010.31	c nbDecision=130000 #constraints=38108
1012.42/1012.89	c nbDecision=130500 #constraints=38210
1013.92/1014.30	c nbDecision=131000 #constraints=38256
1015.22/1015.65	c nbDecision=131500 #constraints=38290
1016.52/1016.91	c nbDecision=132000 #constraints=38316
1017.92/1018.37	c nbDecision=132500 #constraints=38354
1019.33/1019.75	c nbDecision=133000 #constraints=38382
1020.92/1021.31	c nbDecision=133500 #constraints=38426
1022.62/1023.09	c nbDecision=134000 #constraints=38492
1024.72/1025.19	c nbDecision=134500 #constraints=38568
1026.12/1026.58	c nbDecision=135000 #constraints=38590
1027.61/1028.05	c nbDecision=135500 #constraints=38631
1029.01/1029.50	c nbDecision=136000 #constraints=38660
1030.31/1030.79	c nbDecision=136500 #constraints=38685
1031.82/1032.22	c nbDecision=137000 #constraints=38717
1033.21/1033.61	c nbDecision=137500 #constraints=38751
1036.92/1037.39	c nbDecision=138000 #constraints=38966
1040.61/1041.05	c nbDecision=138500 #constraints=39062
1043.71/1044.18	c nbDecision=139000 #constraints=39168
1045.71/1046.15	c nbDecision=139500 #constraints=39217
1048.00/1048.45	c nbDecision=140000 #constraints=39276
1050.71/1051.18	c nbDecision=140500 #constraints=39309
1051.71/1052.18	c nbDecision=141000 #constraints=39360
1054.41/1054.86	c nbDecision=141500 #constraints=39439
1058.61/1059.09	c nbDecision=142000 #constraints=39554
1073.00/1073.50	c nbDecision=142500 #constraints=39741
1087.60/1088.07	c nbDecision=143000 #constraints=39929
1092.09/1092.53	c nbDecision=143500 #constraints=40005
1096.99/1097.48	c nbDecision=144000 #constraints=40171
1099.49/1099.97	c nbDecision=144500 #constraints=40314
1101.19/1101.66	c nbDecision=145000 #constraints=40395
1105.59/1106.07	c nbDecision=145500 #constraints=40496
1108.19/1108.68	c nbDecision=146000 #constraints=40604
1110.09/1110.52	c nbDecision=146500 #constraints=40693
1114.28/1114.79	c nbDecision=147000 #constraints=40830
1117.09/1117.54	c nbDecision=147500 #constraints=40924
1120.39/1120.89	c nbDecision=148000 #constraints=41045
1123.38/1123.87	c nbDecision=148500 #constraints=41157
1124.89/1125.36	c nbDecision=149000 #constraints=41219
1126.58/1127.08	c nbDecision=149500 #constraints=41278
1128.08/1128.55	c nbDecision=150000 #constraints=41333
1131.08/1131.53	c nbDecision=150500 #constraints=41415
1136.57/1137.08	c nbDecision=151000 #constraints=41529
1141.58/1142.08	c nbDecision=151500 #constraints=41628
1146.47/1146.97	c nbDecision=152000 #constraints=41718
1152.27/1152.77	c nbDecision=152500 #constraints=41891
1155.27/1155.73	c nbDecision=153000 #constraints=41978
1157.17/1157.62	c nbDecision=153500 #constraints=42061
1160.66/1161.18	c nbDecision=154000 #constraints=42153
1164.86/1165.32	c nbDecision=154500 #constraints=42226
1168.46/1168.92	c nbDecision=155000 #constraints=42336
1173.16/1173.63	c nbDecision=155500 #constraints=42406
1175.46/1175.92	c nbDecision=156000 #constraints=42485
1177.35/1177.89	c nbDecision=156500 #constraints=42570
1179.86/1180.31	c nbDecision=157000 #constraints=42643
1185.75/1186.25	c nbDecision=157500 #constraints=42759
1205.75/1206.28	c nbDecision=158000 #constraints=42976
1221.65/1222.13	c nbDecision=158500 #constraints=43124
1240.14/1240.62	c nbDecision=159000 #constraints=43316
1253.53/1254.09	c nbDecision=159500 #constraints=43487
1270.22/1270.71	c nbDecision=160000 #constraints=43652
1283.02/1283.56	c nbDecision=160500 #constraints=43812
1300.31/1300.83	c nbDecision=161000 #constraints=44026
1319.81/1320.32	c nbDecision=161500 #constraints=44252
1334.00/1334.57	c nbDecision=162000 #constraints=44442
1346.69/1347.22	c nbDecision=162500 #constraints=44638
1364.78/1365.35	c nbDecision=163000 #constraints=44831
1378.79/1379.32	c nbDecision=163500 #constraints=44976
1391.78/1392.38	c nbDecision=164000 #constraints=45105
1405.67/1406.22	c nbDecision=164500 #constraints=45275
1419.37/1419.98	c nbDecision=165000 #constraints=45465
1433.26/1433.82	c nbDecision=165500 #constraints=45661
1443.76/1444.35	c nbDecision=166000 #constraints=45805
1456.46/1457.09	c nbDecision=166500 #constraints=45942
1471.75/1472.36	c nbDecision=167000 #constraints=46086
1489.14/1489.74	c nbDecision=167500 #constraints=46269
1501.52/1502.11	c nbDecision=168000 #constraints=46403
1514.62/1515.25	c nbDecision=168500 #constraints=46572
1527.61/1528.20	c nbDecision=169000 #constraints=46726
1544.71/1545.37	c nbDecision=169500 #constraints=46895
1557.89/1558.58	c nbDecision=170000 #constraints=47071
1570.69/1571.34	c nbDecision=170500 #constraints=47210
1583.38/1584.02	c nbDecision=171000 #constraints=47383
1595.57/1596.27	c nbDecision=171500 #constraints=47524
1606.96/1607.62	c nbDecision=172000 #constraints=47659
1621.35/1622.07	c nbDecision=172500 #constraints=47798
1636.25/1636.95	c nbDecision=173000 #constraints=47934
1647.34/1648.09	c nbDecision=173500 #constraints=48050
1663.24/1663.96	c nbDecision=174000 #constraints=48209
1675.43/1676.14	c nbDecision=174500 #constraints=48314
1689.13/1689.82	c nbDecision=175000 #constraints=48447
1702.13/1702.88	c nbDecision=175500 #constraints=48622
1717.02/1717.78	c nbDecision=176000 #constraints=48834
1731.91/1732.60	c nbDecision=176500 #constraints=48962
1745.01/1745.79	c nbDecision=177000 #constraints=49120
1758.30/1759.04	c nbDecision=177500 #constraints=49269
1772.60/1773.37	c nbDecision=178000 #constraints=49394
1789.89/1790.68	c nbDecision=178500 #constraints=49568
1800.09/1800.80	Received signal 15
1800.59/1801.33	
1800.59/1801.33	s UNKNOWN
1800.59/1801.33	
1800.59/1801.33	c user time= 1798.74 s
1800.59/1801.33	c system time= 1.88571 s
1800.59/1801.33	c wall clock time=1801.33

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/node40/watcher-356933-1176848781 -o ROOT/results/node40/solver-356933-1176848781 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356933-1176848781/instance-356933-1176848781.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 31790
/proc/meminfo: memFree=1520584/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=1468 CPUtime=0
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 13757694 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 367 167 131 317 0 46 0

[startup+0.096705 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 31790
/proc/meminfo: memFree=1520584/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=3368 CPUtime=0.09
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 633 0 0 0 9 0 0 0 18 0 1 0 13757694 3448832 615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 842 615 131 317 0 521 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3368

[startup+0.101706 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 31790
/proc/meminfo: memFree=1520584/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=3520 CPUtime=0.09
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 680 0 0 0 9 0 0 0 18 0 1 0 13757694 3604480 662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 880 662 131 317 0 559 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3520

[startup+0.301747 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 31790
/proc/meminfo: memFree=1520584/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=7416 CPUtime=0.29
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 1608 0 0 0 29 0 0 0 19 0 1 0 13757694 7593984 1590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 1854 1590 131 317 0 1533 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7416

[startup+0.701831 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 31790
/proc/meminfo: memFree=1520584/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=15920 CPUtime=0.69
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 3666 0 0 0 68 1 0 0 22 0 1 0 13757694 16302080 3648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 3980 3648 139 317 0 3659 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15920

[startup+1.502 s]
/proc/loadavg: 0.91 0.97 0.99 2/78 31791
/proc/meminfo: memFree=1506368/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=16712 CPUtime=1.49
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 3880 0 0 0 148 1 0 0 25 0 1 0 13757694 17113088 3862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 4178 3862 139 317 0 3857 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16712

[startup+3.10133 s]
/proc/loadavg: 0.91 0.97 0.99 2/78 31791
/proc/meminfo: memFree=1504320/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=20492 CPUtime=3.09
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 4809 0 0 0 307 2 0 0 25 0 1 0 13757694 20983808 4791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284176 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 5123 4791 139 317 0 4802 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20492

[startup+6.302 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 31791
/proc/meminfo: memFree=1490624/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=37512 CPUtime=6.29
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 8801 0 0 0 625 4 0 0 25 0 1 0 13757694 38412288 8783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273998 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 9378 8783 170 317 0 9057 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37512

[startup+12.7013 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 31791
/proc/meminfo: memFree=1455936/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=73856 CPUtime=12.68
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 17246 0 0 0 1261 7 0 0 25 0 1 0 13757694 75628544 17228 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712891 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 18464 17228 170 317 0 18143 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 73856

[startup+25.502 s]
/proc/loadavg: 0.94 0.97 0.99 2/78 31791
/proc/meminfo: memFree=1389888/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=142124 CPUtime=25.48
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 33026 0 0 0 2535 13 0 0 25 0 1 0 13757694 145534976 33008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 35531 33008 170 317 0 35210 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 142124

[startup+51.1014 s]
/proc/loadavg: 0.96 0.97 0.99 2/78 31791
/proc/meminfo: memFree=1297408/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=245588 CPUtime=51.07
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 56194 0 0 0 5084 23 0 0 25 0 1 0 13757694 251482112 56119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273998 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 61397 56119 170 317 0 61076 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 245588

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/78 31791
/proc/meminfo: memFree=1140928/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=416616 CPUtime=102.26
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 94915 0 0 0 10187 39 0 0 25 0 1 0 13757694 426614784 94840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 104154 94840 170 317 0 103833 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 416616

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=1052160/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=511584 CPUtime=162.23
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 117277 0 0 0 16174 49 0 0 25 0 1 0 13757694 523862016 117202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 127896 117202 170 317 0 127575 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 511584

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=977536/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=585212 CPUtime=222.21
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 135759 0 0 0 22165 56 0 0 25 0 1 0 13757694 599257088 135571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 146303 135571 170 317 0 145982 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 585212

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=921664/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=652764 CPUtime=282.19
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 151595 0 0 0 28156 63 0 0 25 0 1 0 13757694 668430336 149625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 163191 149625 170 317 0 162870 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 652764

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=844416/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=761848 CPUtime=342.16
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 176358 0 0 0 34144 72 0 0 25 0 1 0 13757694 780132352 168811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 190462 168811 170 317 0 190141 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 761848

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=790016/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=820988 CPUtime=402.14
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 191089 0 0 0 40133 81 0 0 25 0 1 0 13757694 840691712 182453 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 205247 182453 170 317 0 204926 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 820988

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=759808/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=849184 CPUtime=462.12
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 198493 0 0 0 46128 84 0 0 25 0 1 0 13757694 869564416 189857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385264 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 212296 189857 170 317 0 211975 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 849184

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=731136/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=877600 CPUtime=522.09
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 205757 0 0 0 52122 87 0 0 25 0 1 0 13757694 898662400 197121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 219400 197121 170 317 0 219079 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 877600

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=697216/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=914924 CPUtime=582.08
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 215020 0 0 0 58117 91 0 0 25 0 1 0 13757694 936882176 205526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 228731 205526 170 317 0 228410 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 914924

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=664000/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=949252 CPUtime=642.06
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 223670 0 0 0 64111 95 0 0 25 0 1 0 13757694 972034048 213747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 237313 213747 170 317 0 236992 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 949252


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

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=501248/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=1113896 CPUtime=941.94
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 265423 0 0 0 94080 114 0 0 25 0 1 0 13757694 1140629504 254845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 278474 254845 170 317 0 278153 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 1113896

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=325056/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=1305540 CPUtime=1001.92
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 308900 0 0 0 100062 130 0 0 25 0 1 0 13757694 1336872960 298322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 326385 298322 170 317 0 326064 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 1305540

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=231104/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=1404064 CPUtime=1061.9
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 332423 0 0 0 106050 140 0 0 25 0 1 0 13757694 1437761536 321845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 351016 321845 170 317 0 350695 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 1404064

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=175232/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=1482204 CPUtime=1121.88
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 351748 0 0 0 112039 149 0 0 25 0 1 0 13757694 1517776896 335710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 370551 335710 170 317 0 370230 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 1482204

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=117568/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=1566352 CPUtime=1181.85
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 372247 0 0 0 118028 157 0 0 25 0 1 0 13757694 1603944448 350164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 391588 350164 170 317 0 391267 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 1566352

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=98304/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=1608992 CPUtime=1241.84
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 382678 0 0 0 124022 162 0 0 25 0 1 0 13757694 1647607808 354940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 402248 354940 170 317 0 401927 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1608992

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=76160/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=1640116 CPUtime=1301.82
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 390488 0 0 0 130017 165 0 0 25 0 1 0 13757694 1679478784 360345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 410029 360345 170 317 0 409708 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1640116

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=51840/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=1666424 CPUtime=1361.79
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 396599 0 0 0 136011 168 0 0 25 0 1 0 13757694 1706418176 366423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 416606 366423 170 317 0 416285 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 1666424

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=31104/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=1693500 CPUtime=1421.77
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 403472 0 0 0 142006 171 0 0 25 0 1 0 13757694 1734144000 371606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 423375 371606 170 317 0 423054 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 1693500

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=15488/2055920 swapFree=4192956/4192956
[pid=31790] ppid=31788 vsize=1712680 CPUtime=1481.75
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 408552 0 0 0 148001 174 0 0 25 0 1 0 13757694 1753784320 376686 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 428170 376686 170 317 0 427849 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1712680

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=15360/2055920 swapFree=4192024/4192956
[pid=31790] ppid=31788 vsize=1729856 CPUtime=1541.71
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 413184 0 0 0 153994 177 0 0 25 0 1 0 13757694 1771372544 381318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 432464 381318 170 317 0 432143 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 1729856

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=14848/2055920 swapFree=4192024/4192956
[pid=31790] ppid=31788 vsize=1752548 CPUtime=1601.66
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 419081 0 0 0 159987 179 0 0 25 0 1 0 13757694 1794609152 386565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 438137 386565 170 317 0 437816 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 1752548

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=15488/2055920 swapFree=4192024/4192956
[pid=31790] ppid=31788 vsize=1774676 CPUtime=1661.64
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 424638 0 0 0 165982 182 0 0 25 0 1 0 13757694 1817268224 390692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 443669 390692 170 317 0 443348 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 1774676

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=15744/2055920 swapFree=4192024/4192956
[pid=31790] ppid=31788 vsize=1798564 CPUtime=1721.62
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 430707 0 0 0 171977 185 0 0 25 0 1 0 13757694 1841729536 395331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 449641 395331 170 317 0 449320 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 1798564

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=15232/2055920 swapFree=4192024/4192956
[pid=31790] ppid=31788 vsize=1815624 CPUtime=1781.59
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 435098 0 0 0 177972 187 0 0 25 0 1 0 13757694 1859198976 399657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 453906 399657 170 317 0 453585 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 1815624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=15424/2055920 swapFree=4192024/4192956
[pid=31790] ppid=31788 vsize=1821080 CPUtime=1800.09
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194304 436552 0 0 0 179821 188 0 0 25 0 1 0 13757694 1864785920 401111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 455270 401111 170 317 0 454949 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1821080

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

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=15424/2055920 swapFree=4192024/4192956
[pid=31790] ppid=31788 vsize=0 CPUtime=1800.69
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194308 436587 0 0 0 179875 194 0 0 25 0 1 0 13757694 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.69
Current children cumulated vsize (KiB) 0

[startup+1801.6 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 31791
/proc/meminfo: memFree=15424/2055920 swapFree=4192024/4192956
[pid=31790] ppid=31788 vsize=0 CPUtime=1800.89
/proc/31790/stat : 31790 (oree) R 31788 31790 30876 0 -1 4194308 436587 0 0 0 179875 214 0 0 25 0 1 0 13757694 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31790/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.89
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.61
CPU time (s): 1800.9
CPU user time (s): 1798.75
CPU system time (s): 2.15067
CPU usage (%): 99.9608
Max. virtual memory (cumulated for all children) (KiB): 1821080

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

runsolver used 2.15067 second user time and 4.40933 second system time

The end

Launcher Data (download as text)

Begin job on node40 on Tue Apr 17 22:26:21 UTC 2007

IDJOB= 356933
IDBENCH= 1657
IDSOLVER= 172
FILE ID= node40/356933-1176848781

PBS_JOBID= 4590176

Free space on /tmp= 66545 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  e0d3bc77812df02cd6843b358116eb3f

RANDOM SEED= 734802331

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node40.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.283
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.283
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:       1521056 kB
Buffers:         41112 kB
Cached:         322416 kB
SwapCached:          0 kB
Active:          77744 kB
Inactive:       388184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1521056 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2552 kB
Writeback:           0 kB
Mapped:         121288 kB
Slab:            54372 kB
Committed_AS:   246888 kB
PageTables:       1864 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= 66545 MiB

End job on node40 on Tue Apr 17 22:56:24 UTC 2007