Trace number 366922

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.05 1800.78

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_6.opb
MD5SUMda335afc6b5d5727dca7fb9193531871
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark0.053991
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17
Optimality of the best value was proved YES
Number of variables139
Total number of constraints216
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints215
Minimum length of a constraint1
Maximum length of a constraint24
Number of terms in the objective function 6
Biggest coefficient in the objective function 16
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 46
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 64
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 324
Number of bits of the biggest sum of numbers9
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.00/0.01	c ...done
0.00/0.01	c #vars=139 #constraints=217 hasObjective=yes
0.00/0.01	c res. mode=mod
0.00/0.01	c VSIDS like heuristics
0.00/0.01	c complete search running
0.00/0.02	c restart after 401 decisions
0.00/0.02	c nbDecision=500 #constraints=239
0.00/0.03	c restart after 801 decisions
0.00/0.04	c nbDecision=1000 #constraints=285
0.00/0.07	c nbDecision=1500 #constraints=371
0.07/0.08	c restart after 1601 decisions
0.09/0.11	c nbDecision=2000 #constraints=455
0.09/0.17	c nbDecision=2500 #constraints=599
0.19/0.21	c nbDecision=3000 #constraints=668
0.19/0.24	c restart after 3201 decisions
0.19/0.26	c nbDecision=3500 #constraints=768
0.19/0.29	c nbDecision=4000 #constraints=821
0.29/0.33	c nbDecision=4500 #constraints=892
0.29/0.39	c nbDecision=5000 #constraints=986
0.39/0.44	c nbDecision=5500 #constraints=1066
0.49/0.50	c nbDecision=6000 #constraints=1151
0.49/0.57	c restart after 6401 decisions
0.49/0.58	c nbDecision=6500 #constraints=1233
0.59/0.61	c nbDecision=7000 #constraints=1279
0.59/0.66	c nbDecision=7500 #constraints=1339
0.69/0.72	c nbDecision=8000 #constraints=1415
0.69/0.78	c nbDecision=8500 #constraints=1493
0.79/0.84	c nbDecision=9000 #constraints=1551
0.79/0.90	c nbDecision=9500 #constraints=1621
0.89/0.97	c nbDecision=10000 #constraints=1706
0.99/1.07	c nbDecision=10500 #constraints=1807
1.19/1.20	c nbDecision=11000 #constraints=1929
1.39/1.40	c nbDecision=11500 #constraints=2106
1.59/1.60	c nbDecision=12000 #constraints=2252
1.69/1.77	c nbDecision=12500 #constraints=2362
1.79/1.87	c restart after 12801 decisions
1.99/2.01	c nbDecision=13000 #constraints=2477
2.29/2.30	c nbDecision=13500 #constraints=2636
2.49/2.54	c nbDecision=14000 #constraints=2741
2.69/2.79	c nbDecision=14500 #constraints=2855
2.98/3.06	c nbDecision=15000 #constraints=2974
3.39/3.48	c nbDecision=15500 #constraints=3119
3.79/3.80	c nbDecision=16000 #constraints=3247
4.09/4.14	c nbDecision=16500 #constraints=3363
4.59/4.61	c nbDecision=17000 #constraints=3490
4.99/5.05	c nbDecision=17500 #constraints=3624
5.50/5.59	c nbDecision=18000 #constraints=3772
6.29/6.31	c nbDecision=18500 #constraints=3959
7.29/7.32	c nbDecision=19000 #constraints=4156
8.29/8.38	c nbDecision=19500 #constraints=4327
8.99/9.02	c nbDecision=20000 #constraints=4412
9.49/9.53	c nbDecision=20500 #constraints=4465
9.99/10.00	c nbDecision=21000 #constraints=4523
10.59/10.61	c nbDecision=21500 #constraints=4603
11.19/11.29	c nbDecision=22000 #constraints=4679
11.89/11.93	c nbDecision=22500 #constraints=4761
12.69/12.72	c nbDecision=23000 #constraints=4855
13.39/13.43	c nbDecision=23500 #constraints=4933
13.99/14.06	c nbDecision=24000 #constraints=5003
14.79/14.86	c nbDecision=24500 #constraints=5079
15.49/15.52	c nbDecision=25000 #constraints=5144
16.28/16.33	c nbDecision=25500 #constraints=5224
16.49/16.52	c restart after 25601 decisions
17.08/17.14	c nbDecision=26000 #constraints=5301
18.48/18.51	c nbDecision=26500 #constraints=5406
19.69/19.77	c nbDecision=27000 #constraints=5505
20.79/20.81	c nbDecision=27500 #constraints=5571
21.78/21.90	c nbDecision=28000 #constraints=5666
23.28/23.32	c nbDecision=28500 #constraints=5768
24.28/24.32	c nbDecision=29000 #constraints=5873
25.68/25.73	c nbDecision=29500 #constraints=6014
27.08/27.15	c nbDecision=30000 #constraints=6171
28.69/28.75	c nbDecision=30500 #constraints=6328
30.69/30.75	c nbDecision=31000 #constraints=6511
32.58/32.62	c nbDecision=31500 #constraints=6737
33.88/33.97	c nbDecision=32000 #constraints=6835
34.98/35.04	c nbDecision=32500 #constraints=6907
36.08/36.17	c nbDecision=33000 #constraints=6981
37.38/37.44	c nbDecision=33500 #constraints=7068
38.88/38.95	c nbDecision=34000 #constraints=7180
40.48/40.54	c nbDecision=34500 #constraints=7325
42.27/42.30	c nbDecision=35000 #constraints=7473
43.67/43.71	c nbDecision=35500 #constraints=7619
45.37/45.49	c nbDecision=36000 #constraints=7769
47.07/47.14	c nbDecision=36500 #constraints=7923
49.38/49.44	c nbDecision=37000 #constraints=8116
51.17/51.25	c nbDecision=37500 #constraints=8246
53.88/53.91	c nbDecision=38000 #constraints=8392
56.78/56.80	c nbDecision=38500 #constraints=8543
59.38/59.47	c nbDecision=39000 #constraints=8660
61.67/61.75	c nbDecision=39500 #constraints=8776
63.68/63.71	c nbDecision=40000 #constraints=8877
64.97/65.02	c nbDecision=40500 #constraints=8952
66.37/66.41	c nbDecision=41000 #constraints=9031
67.17/67.27	c nbDecision=41500 #constraints=9111
68.97/69.00	c nbDecision=42000 #constraints=9228
71.97/72.01	c nbDecision=42500 #constraints=9390
73.77/73.84	c nbDecision=43000 #constraints=9456
75.37/75.43	c nbDecision=43500 #constraints=9507
77.37/77.40	c nbDecision=44000 #constraints=9561
78.87/78.92	c nbDecision=44500 #constraints=9608
80.47/80.56	c nbDecision=45000 #constraints=9663
82.67/82.78	c nbDecision=45500 #constraints=9741
84.47/84.50	c nbDecision=46000 #constraints=9790
85.77/85.80	c nbDecision=46500 #constraints=9843
86.96/87.04	c nbDecision=47000 #constraints=9882
88.76/88.84	c nbDecision=47500 #constraints=9958
90.56/90.67	c nbDecision=48000 #constraints=10004
92.96/93.05	c nbDecision=48500 #constraints=10059
94.96/95.04	c nbDecision=49000 #constraints=10104
96.77/96.88	c nbDecision=49500 #constraints=10146
98.56/98.61	c nbDecision=50000 #constraints=10181
100.56/100.68	c nbDecision=50500 #constraints=10226
102.26/102.35	c nbDecision=51000 #constraints=10280
102.96/103.08	c restart after 51201 decisions
104.56/104.69	c nbDecision=51500 #constraints=10333
106.66/106.74	c nbDecision=52000 #constraints=10379
108.36/108.46	c nbDecision=52500 #constraints=10421
109.66/109.79	c nbDecision=53000 #constraints=10457
110.86/110.97	c nbDecision=53500 #constraints=10487
113.17/113.24	c nbDecision=54000 #constraints=10580
116.06/116.14	c nbDecision=54500 #constraints=10710
118.86/118.98	c nbDecision=55000 #constraints=10827
121.26/121.40	c nbDecision=55500 #constraints=10923
123.86/123.92	c nbDecision=56000 #constraints=11018
125.46/125.59	c nbDecision=56500 #constraints=11057
127.46/127.59	c nbDecision=57000 #constraints=11096
128.56/128.63	c nbDecision=57500 #constraints=11123
130.16/130.20	c nbDecision=58000 #constraints=11199
132.36/132.44	c nbDecision=58500 #constraints=11290
135.45/135.52	c nbDecision=59000 #constraints=11382
137.55/137.65	c nbDecision=59500 #constraints=11439
140.85/140.92	c nbDecision=60000 #constraints=11521
144.15/144.23	c nbDecision=60500 #constraints=11601
146.55/146.66	c nbDecision=61000 #constraints=11658
149.05/149.17	c nbDecision=61500 #constraints=11713
154.65/154.71	c nbDecision=62000 #constraints=11830
157.65/157.77	c nbDecision=62500 #constraints=11895
163.74/163.90	c nbDecision=63000 #constraints=12018
165.74/165.88	c nbDecision=63500 #constraints=12041
167.94/168.01	c nbDecision=64000 #constraints=12065
170.24/170.36	c nbDecision=64500 #constraints=12097
175.24/175.39	c nbDecision=65000 #constraints=12216
178.44/178.52	c nbDecision=65500 #constraints=12284
183.14/183.27	c nbDecision=66000 #constraints=12428
189.24/189.39	c nbDecision=66500 #constraints=12577
194.41/194.51	c nbDecision=67000 #constraints=12726
201.30/201.46	c nbDecision=67500 #constraints=12917
207.80/207.98	c nbDecision=68000 #constraints=13114
212.98/213.15	c nbDecision=68500 #constraints=13281
220.26/220.41	c nbDecision=69000 #constraints=13513
231.15/231.40	c nbDecision=69500 #constraints=13814
238.35/238.53	c nbDecision=70000 #constraints=14025
247.93/248.19	c nbDecision=70500 #constraints=14272
255.13/255.32	c nbDecision=71000 #constraints=14446
265.63/265.86	c nbDecision=71500 #constraints=14733
274.42/274.63	c nbDecision=72000 #constraints=14923
279.63/279.86	c nbDecision=72500 #constraints=15051
288.13/288.33	c nbDecision=73000 #constraints=15262
297.42/297.60	c nbDecision=73500 #constraints=15475
310.32/310.51	c nbDecision=74000 #constraints=15731
320.22/320.46	c nbDecision=74500 #constraints=15924
331.61/331.85	c nbDecision=75000 #constraints=16170
341.11/341.31	c nbDecision=75500 #constraints=16430
350.01/350.21	c nbDecision=76000 #constraints=16655
363.10/363.30	c nbDecision=76500 #constraints=16907
371.70/371.99	c nbDecision=77000 #constraints=17071
379.40/379.62	c nbDecision=77500 #constraints=17224
391.70/391.98	c nbDecision=78000 #constraints=17476
404.39/404.62	c nbDecision=78500 #constraints=17711
419.89/420.14	c nbDecision=79000 #constraints=18009
431.99/432.23	c nbDecision=79500 #constraints=18225
442.88/443.18	c nbDecision=80000 #constraints=18414
453.18/453.46	c nbDecision=80500 #constraints=18632
463.27/463.53	c nbDecision=81000 #constraints=18787
472.87/473.11	c nbDecision=81500 #constraints=18911
487.37/487.60	c nbDecision=82000 #constraints=19081
496.56/496.82	c nbDecision=82500 #constraints=19213
505.06/505.35	c nbDecision=83000 #constraints=19335
514.06/514.33	c nbDecision=83500 #constraints=19458
528.55/528.81	c nbDecision=84000 #constraints=19609
540.85/541.20	c nbDecision=84500 #constraints=19755
546.25/546.55	c nbDecision=85000 #constraints=19852
553.95/554.28	c nbDecision=85500 #constraints=20024
561.25/561.57	c nbDecision=86000 #constraints=20178
569.35/569.60	c nbDecision=86500 #constraints=20341
574.65/574.90	c nbDecision=87000 #constraints=20459
581.84/582.19	c nbDecision=87500 #constraints=20627
592.14/592.42	c nbDecision=88000 #constraints=20839
598.54/598.81	c nbDecision=88500 #constraints=20990
604.14/604.47	c nbDecision=89000 #constraints=21086
612.13/612.44	c nbDecision=89500 #constraints=21204
619.53/619.80	c nbDecision=90000 #constraints=21346
627.23/627.59	c nbDecision=90500 #constraints=21522
633.83/634.19	c nbDecision=91000 #constraints=21644
642.42/642.70	c nbDecision=91500 #constraints=21802
652.52/652.83	c nbDecision=92000 #constraints=21983
660.12/660.47	c nbDecision=92500 #constraints=22117
669.42/669.78	c nbDecision=93000 #constraints=22292
679.82/680.14	c nbDecision=93500 #constraints=22450
689.12/689.46	c nbDecision=94000 #constraints=22590
697.02/697.38	c nbDecision=94500 #constraints=22693
705.41/705.74	c nbDecision=95000 #constraints=22820
715.21/715.59	c nbDecision=95500 #constraints=22979
726.71/727.03	c nbDecision=96000 #constraints=23154
736.10/736.45	c nbDecision=96500 #constraints=23281
744.90/745.29	c nbDecision=97000 #constraints=23413
754.80/755.19	c nbDecision=97500 #constraints=23539
762.49/762.82	c nbDecision=98000 #constraints=23670
771.99/772.40	c nbDecision=98500 #constraints=23791
781.59/781.97	c nbDecision=99000 #constraints=23961
790.89/791.20	c nbDecision=99500 #constraints=24116
801.18/801.50	c nbDecision=100000 #constraints=24286
810.38/810.73	c nbDecision=100500 #constraints=24439
819.88/820.27	c nbDecision=101000 #constraints=24584
828.57/828.94	c nbDecision=101500 #constraints=24740
841.47/841.83	c nbDecision=102000 #constraints=24903
851.97/852.38	c restart after 102401 decisions
853.87/854.20	c nbDecision=102500 #constraints=25033
861.06/861.41	c nbDecision=103000 #constraints=25102
865.76/866.19	c nbDecision=103500 #constraints=25141
870.56/870.92	c nbDecision=104000 #constraints=25190
875.27/875.62	c nbDecision=104500 #constraints=25240
880.67/881.02	c nbDecision=105000 #constraints=25314
884.96/885.40	c nbDecision=105500 #constraints=25377
889.26/889.67	c nbDecision=106000 #constraints=25437
893.97/894.35	c nbDecision=106500 #constraints=25496
898.37/898.77	c nbDecision=107000 #constraints=25542
900.16/900.57	c nbDecision=107500 #constraints=25565
902.36/902.73	c nbDecision=108000 #constraints=25591
904.96/905.34	c nbDecision=108500 #constraints=25622
907.96/908.37	c nbDecision=109000 #constraints=25661
912.96/913.39	c nbDecision=109500 #constraints=25716
917.45/917.84	c nbDecision=110000 #constraints=25758
920.95/921.30	c nbDecision=110500 #constraints=25825
923.85/924.23	c nbDecision=111000 #constraints=25888
929.15/929.59	c nbDecision=111500 #constraints=25941
933.05/933.44	c nbDecision=112000 #constraints=25988
939.25/939.63	c nbDecision=112500 #constraints=26110
943.54/943.92	c nbDecision=113000 #constraints=26192
949.04/949.45	c nbDecision=113500 #constraints=26280
952.84/953.25	c nbDecision=114000 #constraints=26352
956.64/957.08	c nbDecision=114500 #constraints=26427
963.44/963.86	c nbDecision=115000 #constraints=26536
968.14/968.56	c nbDecision=115500 #constraints=26598
974.73/975.10	c nbDecision=116000 #constraints=26701
981.13/981.55	c nbDecision=116500 #constraints=26794
986.34/986.75	c nbDecision=117000 #constraints=26856
992.73/993.16	c nbDecision=117500 #constraints=26923
997.13/997.51	c nbDecision=118000 #constraints=26975
1002.93/1003.30	c nbDecision=118500 #constraints=27052
1009.33/1009.70	c nbDecision=119000 #constraints=27152
1016.72/1017.14	c nbDecision=119500 #constraints=27250
1022.22/1022.70	c nbDecision=120000 #constraints=27326
1026.32/1026.74	c nbDecision=120500 #constraints=27387
1029.62/1030.05	c nbDecision=121000 #constraints=27450
1034.22/1034.70	c nbDecision=121500 #constraints=27520
1040.61/1041.07	c nbDecision=122000 #constraints=27598
1050.21/1050.63	c nbDecision=122500 #constraints=27709
1055.52/1055.96	c nbDecision=123000 #constraints=27790
1065.52/1066.00	c nbDecision=123500 #constraints=27927
1071.82/1072.28	c nbDecision=124000 #constraints=28045
1079.81/1080.28	c nbDecision=124500 #constraints=28154
1083.81/1084.27	c nbDecision=125000 #constraints=28230
1087.21/1087.60	c nbDecision=125500 #constraints=28288
1092.20/1092.65	c nbDecision=126000 #constraints=28365
1096.60/1097.08	c nbDecision=126500 #constraints=28443
1102.40/1102.85	c nbDecision=127000 #constraints=28530
1107.90/1108.31	c nbDecision=127500 #constraints=28581
1113.90/1114.38	c nbDecision=128000 #constraints=28650
1118.20/1118.63	c nbDecision=128500 #constraints=28726
1124.30/1124.71	c nbDecision=129000 #constraints=28790
1131.99/1132.45	c nbDecision=129500 #constraints=28873
1137.49/1137.99	c nbDecision=130000 #constraints=28938
1142.09/1142.59	c nbDecision=130500 #constraints=28993
1147.49/1147.95	c nbDecision=131000 #constraints=29063
1153.19/1153.60	c nbDecision=131500 #constraints=29112
1160.78/1161.29	c nbDecision=132000 #constraints=29195
1167.48/1167.95	c nbDecision=132500 #constraints=29277
1173.88/1174.39	c nbDecision=133000 #constraints=29353
1181.79/1182.28	c nbDecision=133500 #constraints=29432
1189.48/1189.98	c nbDecision=134000 #constraints=29503
1197.78/1198.26	c nbDecision=134500 #constraints=29589
1206.28/1206.71	c nbDecision=135000 #constraints=29677
1210.08/1210.58	c nbDecision=135500 #constraints=29715
1215.08/1215.58	c nbDecision=136000 #constraints=29767
1221.47/1221.95	c nbDecision=136500 #constraints=29825
1228.97/1229.42	c nbDecision=137000 #constraints=29907
1232.47/1232.96	c nbDecision=137500 #constraints=29961
1235.47/1235.97	c nbDecision=138000 #constraints=30037
1241.47/1241.94	c nbDecision=138500 #constraints=30109
1247.86/1248.31	c nbDecision=139000 #constraints=30177
1252.96/1253.46	c nbDecision=139500 #constraints=30235
1256.86/1257.38	c nbDecision=140000 #constraints=30298
1262.36/1262.81	c nbDecision=140500 #constraints=30363
1268.66/1269.18	c nbDecision=141000 #constraints=30439
1274.36/1274.85	c nbDecision=141500 #constraints=30518
1279.55/1280.05	c nbDecision=142000 #constraints=30607
1287.05/1287.59	c nbDecision=142500 #constraints=30688
1292.95/1293.45	c nbDecision=143000 #constraints=30760
1298.95/1299.48	c nbDecision=143500 #constraints=30831
1305.95/1306.47	c nbDecision=144000 #constraints=30912
1313.04/1313.52	c nbDecision=144500 #constraints=30992
1319.14/1319.66	c nbDecision=145000 #constraints=31066
1326.04/1326.52	c nbDecision=145500 #constraints=31134
1333.24/1333.71	c nbDecision=146000 #constraints=31213
1341.45/1341.98	c nbDecision=146500 #constraints=31307
1349.44/1349.92	c nbDecision=147000 #constraints=31411
1357.64/1358.15	c nbDecision=147500 #constraints=31485
1365.13/1365.64	c nbDecision=148000 #constraints=31576
1375.03/1375.59	c nbDecision=148500 #constraints=31675
1382.82/1383.39	c nbDecision=149000 #constraints=31767
1392.32/1392.90	c nbDecision=149500 #constraints=31865
1399.82/1400.37	c nbDecision=150000 #constraints=31956
1408.82/1409.37	c nbDecision=150500 #constraints=32075
1419.62/1420.20	c nbDecision=151000 #constraints=32180
1429.31/1429.88	c nbDecision=151500 #constraints=32286
1440.31/1440.81	c nbDecision=152000 #constraints=32406
1453.31/1453.86	c nbDecision=152500 #constraints=32563
1462.71/1463.25	c nbDecision=153000 #constraints=32660
1473.70/1474.29	c nbDecision=153500 #constraints=32754
1480.40/1480.92	c nbDecision=154000 #constraints=32830
1492.39/1492.96	c nbDecision=154500 #constraints=32936
1501.29/1501.81	c nbDecision=155000 #constraints=33029
1513.39/1513.92	c nbDecision=155500 #constraints=33159
1525.59/1526.16	c nbDecision=156000 #constraints=33264
1535.39/1535.93	c nbDecision=156500 #constraints=33368
1545.58/1546.12	c nbDecision=157000 #constraints=33487
1558.98/1559.58	c nbDecision=157500 #constraints=33590
1577.78/1578.33	c nbDecision=158000 #constraints=33700
1595.37/1595.98	c nbDecision=158500 #constraints=33892
1608.27/1608.87	c nbDecision=159000 #constraints=34062
1625.66/1626.27	c nbDecision=159500 #constraints=34233
1633.46/1634.07	c nbDecision=160000 #constraints=34347
1645.75/1646.34	c nbDecision=160500 #constraints=34519
1658.56/1659.12	c nbDecision=161000 #constraints=34690
1676.35/1676.98	c nbDecision=161500 #constraints=34836
1694.65/1695.29	c nbDecision=162000 #constraints=35026
1720.44/1721.08	c nbDecision=162500 #constraints=35266
1738.03/1738.68	c nbDecision=163000 #constraints=35417
1748.83/1749.44	c nbDecision=163500 #constraints=35561
1760.53/1761.13	c nbDecision=164000 #constraints=35692
1786.92/1787.55	c nbDecision=164500 #constraints=35895
1800.02/1800.60	Received signal 15
1800.02/1800.60	
1800.02/1800.60	s UNKNOWN
1800.02/1800.60	
1800.02/1800.60	c user time= 1799.83 s
1800.02/1800.60	c system time= 0.198969 s
1800.02/1800.60	c wall clock time=1800.61

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/node62/watcher-366922-1177001873 -o ROOT/results/node62/solver-366922-1177001873 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366922-1177001873/instance-366922-1177001873.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.77 0.92 0.89 3/64 21844
/proc/meminfo: memFree=1682352/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=1468 CPUtime=0
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 175 0 0 0 0 0 0 0 19 0 1 0 18763290 1503232 157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 367 157 131 317 0 46 0

[startup+0.081211 s]
/proc/loadavg: 0.77 0.92 0.89 3/64 21844
/proc/meminfo: memFree=1682352/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=1864 CPUtime=0.07
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 324 0 0 0 7 0 0 0 19 0 1 0 18763290 1908736 306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135132174 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 466 306 170 317 0 145 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1864

[startup+0.101213 s]
/proc/loadavg: 0.77 0.92 0.89 3/64 21844
/proc/meminfo: memFree=1682352/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=1996 CPUtime=0.09
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 334 0 0 0 9 0 0 0 19 0 1 0 18763290 2043904 316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 499 316 170 317 0 178 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1996

[startup+0.301236 s]
/proc/loadavg: 0.77 0.92 0.89 3/64 21844
/proc/meminfo: memFree=1682352/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=2396 CPUtime=0.29
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 463 0 0 0 29 0 0 0 20 0 1 0 18763290 2453504 445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 599 445 170 317 0 278 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2396

[startup+0.701283 s]
/proc/loadavg: 0.77 0.92 0.89 3/64 21844
/proc/meminfo: memFree=1682352/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=3344 CPUtime=0.69
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 667 0 0 0 69 0 0 0 24 0 1 0 18763290 3424256 649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711491 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 836 649 170 317 0 515 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3344

[startup+1.50138 s]
/proc/loadavg: 0.77 0.92 0.89 2/65 21845
/proc/meminfo: memFree=1679848/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=4408 CPUtime=1.49
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 946 0 0 0 149 0 0 0 25 0 1 0 18763290 4513792 928 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 1102 928 170 317 0 781 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4408

[startup+3.10157 s]
/proc/loadavg: 0.77 0.92 0.89 2/65 21845
/proc/meminfo: memFree=1678504/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=5828 CPUtime=3.08
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 1282 0 0 0 308 0 0 0 25 0 1 0 18763290 5967872 1264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 1457 1264 170 317 0 1136 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 5828

[startup+6.30194 s]
/proc/loadavg: 0.79 0.92 0.89 2/65 21845
/proc/meminfo: memFree=1676656/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=7280 CPUtime=6.29
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 1649 0 0 0 628 1 0 0 25 0 1 0 18763290 7454720 1631 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 1820 1631 170 317 0 1499 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7280

[startup+12.7017 s]
/proc/loadavg: 0.81 0.92 0.89 2/65 21845
/proc/meminfo: memFree=1674800/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=9076 CPUtime=12.69
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 2027 0 0 0 1268 1 0 0 25 0 1 0 18763290 9293824 2009 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 2269 2009 170 317 0 1948 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9076

[startup+25.5012 s]
/proc/loadavg: 0.85 0.93 0.90 2/65 21845
/proc/meminfo: memFree=1673008/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=10708 CPUtime=25.48
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 2445 0 0 0 2547 1 0 0 25 0 1 0 18763290 10964992 2427 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 2677 2427 170 317 0 2356 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10708

[startup+51.1012 s]
/proc/loadavg: 0.90 0.93 0.90 2/65 21845
/proc/meminfo: memFree=1669360/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=14140 CPUtime=51.07
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 3354 0 0 0 5105 2 0 0 25 0 1 0 18763290 14479360 3336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 3535 3336 170 317 0 3214 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 14140

[startup+102.304 s]
/proc/loadavg: 0.96 0.94 0.90 2/65 21845
/proc/meminfo: memFree=1665968/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=18496 CPUtime=102.26
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 4249 0 0 0 10223 3 0 0 25 0 1 0 18763290 18939904 4173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 4624 4173 170 317 0 4303 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 18496

[startup+162.301 s]
/proc/loadavg: 0.98 0.95 0.91 2/65 21845
/proc/meminfo: memFree=1663664/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=20596 CPUtime=162.24
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 4834 0 0 0 16220 4 0 0 25 0 1 0 18763290 21090304 4758 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385260 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 5149 4758 170 317 0 4828 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 20596

[startup+222.301 s]
/proc/loadavg: 0.99 0.95 0.91 2/71 22011
/proc/meminfo: memFree=1659832/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=23016 CPUtime=222.16
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 5434 0 0 0 22209 7 0 0 25 0 1 0 18763290 23568384 5358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 5754 5358 170 317 0 5433 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 23016

[startup+282.301 s]
/proc/loadavg: 0.99 0.96 0.91 2/65 22043
/proc/meminfo: memFree=1658608/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=25280 CPUtime=282.13
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 6051 0 0 0 28205 8 0 0 25 0 1 0 18763290 25886720 5975 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 6320 5975 170 317 0 5999 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 25280

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22043
/proc/meminfo: memFree=1656240/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=27668 CPUtime=342.11
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 6633 0 0 0 34203 8 0 0 25 0 1 0 18763290 28332032 6557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604429 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 6917 6557 170 317 0 6596 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 27668

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22043
/proc/meminfo: memFree=1653936/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=31528 CPUtime=402.09
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 7546 0 0 0 40200 9 0 0 25 0 1 0 18763290 32284672 7125 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 7882 7125 170 317 0 7561 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 31528

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22043
/proc/meminfo: memFree=1652016/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=33624 CPUtime=462.07
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 8084 0 0 0 46198 9 0 0 25 0 1 0 18763290 34430976 7597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563527 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 8406 7597 170 317 0 8085 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 33624

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22043
/proc/meminfo: memFree=1650608/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=35104 CPUtime=522.06
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 8441 0 0 0 52197 9 0 0 25 0 1 0 18763290 35946496 7954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716163 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 8776 7954 170 317 0 8455 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 35104

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22043
/proc/meminfo: memFree=1648688/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=36984 CPUtime=582.04
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 8949 0 0 0 58194 10 0 0 25 0 1 0 18763290 37871616 8429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 9246 8429 170 317 0 8925 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 36984

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22043
/proc/meminfo: memFree=1646640/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=38768 CPUtime=642.03
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 9456 0 0 0 64193 10 0 0 25 0 1 0 18763290 39698432 8936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 9692 8936 170 317 0 9371 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 38768


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22043
/proc/meminfo: memFree=1640240/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=45136 CPUtime=881.97
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 11082 0 0 0 88184 13 0 0 25 0 1 0 18763290 46219264 10529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 11284 10529 170 317 0 10963 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 45136

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22043
/proc/meminfo: memFree=1638960/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=46348 CPUtime=941.94
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 11402 0 0 0 94181 13 0 0 25 0 1 0 18763290 47460352 10849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 11587 10849 170 317 0 11266 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 46348

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22043
/proc/meminfo: memFree=1637296/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=47852 CPUtime=1001.93
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 11807 0 0 0 100180 13 0 0 25 0 1 0 18763290 49000448 11254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 11963 11254 170 317 0 11642 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 47852

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22043
/proc/meminfo: memFree=1635824/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=49564 CPUtime=1061.92
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 12229 0 0 0 106178 14 0 0 25 0 1 0 18763290 50753536 11676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 12391 11676 170 317 0 12070 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 49564

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22043
/proc/meminfo: memFree=1634096/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=50924 CPUtime=1121.9
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 12617 0 0 0 112176 14 0 0 25 0 1 0 18763290 52146176 12064 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 12731 12064 170 317 0 12410 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 50924

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22043
/proc/meminfo: memFree=1633008/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=52008 CPUtime=1181.89
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 12898 0 0 0 118174 15 0 0 25 0 1 0 18763290 53256192 12345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 13002 12345 170 317 0 12681 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 52008

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22043
/proc/meminfo: memFree=1631792/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=53088 CPUtime=1241.87
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 13175 0 0 0 124172 15 0 0 25 0 1 0 18763290 54362112 12622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 13272 12622 170 317 0 12951 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 53088

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22043
/proc/meminfo: memFree=1630448/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=54560 CPUtime=1301.85
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 13509 0 0 0 130170 15 0 0 25 0 1 0 18763290 55869440 12956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 13640 12956 170 317 0 13319 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 54560

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22043
/proc/meminfo: memFree=1629232/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=55788 CPUtime=1361.83
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 13811 0 0 0 136167 16 0 0 25 0 1 0 18763290 57126912 13258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 13947 13258 170 317 0 13626 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 55788

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22043
/proc/meminfo: memFree=1627824/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=56856 CPUtime=1421.82
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 14138 0 0 0 142166 16 0 0 25 0 1 0 18763290 58220544 13585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 14214 13585 170 317 0 13893 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 56856

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22043
/proc/meminfo: memFree=1626480/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=58464 CPUtime=1481.8
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 14536 0 0 0 148163 17 0 0 25 0 1 0 18763290 59867136 13917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533544 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 14616 13917 170 317 0 14295 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 58464

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22043
/proc/meminfo: memFree=1624624/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=62248 CPUtime=1541.78
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 15535 0 0 0 154160 18 0 0 25 0 1 0 18763290 63741952 14331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 15562 14331 170 317 0 15241 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 62248

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22043
/proc/meminfo: memFree=1624304/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=62644 CPUtime=1601.77
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 15658 0 0 0 160159 18 0 0 25 0 1 0 18763290 64147456 14454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 15661 14454 170 317 0 15340 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 62644

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22043
/proc/meminfo: memFree=1623088/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=65356 CPUtime=1661.76
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 16348 0 0 0 166157 19 0 0 25 0 1 0 18763290 66924544 14754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 16339 14754 170 317 0 16018 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 65356

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22043
/proc/meminfo: memFree=1622064/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=66912 CPUtime=1721.74
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 16753 0 0 0 172155 19 0 0 25 0 1 0 18763290 68517888 15029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 16728 15029 170 317 0 16407 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 66912

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22043
/proc/meminfo: memFree=1620912/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=67960 CPUtime=1781.72
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 17049 0 0 0 178153 19 0 0 25 0 1 0 18763290 69591040 15292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 16990 15292 170 317 0 16669 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 67960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22043
/proc/meminfo: memFree=1620528/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=68352 CPUtime=1800.02
/proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 17150 0 0 0 179983 19 0 0 25 0 1 0 18763290 69992448 15393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21844/statm: 17088 15393 170 317 0 16767 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 68352

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22043
/proc/meminfo: memFree=1620528/2055920 swapFree=4184556/4192956
[pid=21844] ppid=21842 vsize=0 CPUtime=1800.03
/proc/21844/stat : 21844 (oree) D 21842 21844 21787 0 -1 4194308 17166 0 0 0 179983 20 0 0 25 0 1 0 18763290 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100051646 0 0 17 1 0 0
/proc/21844/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.78
CPU time (s): 1800.05
CPU user time (s): 1799.84
CPU system time (s): 0.210967
CPU usage (%): 99.9593
Max. virtual memory (cumulated for all children) (KiB): 68352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.210967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17166
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= 7
involuntary context switches= 2650

runsolver used 1.21582 second user time and 3.78842 second system time

The end

Launcher Data (download as text)

Begin job on node62 on Thu Apr 19 16:57:53 UTC 2007

IDJOB= 366922
IDBENCH= 2945
IDSOLVER= 172
FILE ID= node62/366922-1177001873

PBS_JOBID= 4630517

Free space on /tmp= 66497 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_6.opb
COMMAND LINE= oree /tmp/evaluation/366922-1177001873/instance-366922-1177001873.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node62/watcher-366922-1177001873 -o ROOT/results/node62/solver-366922-1177001873 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/366922-1177001873/instance-366922-1177001873.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  da335afc6b5d5727dca7fb9193531871

RANDOM SEED= 344065850

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node62.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.216
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.216
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:       1682760 kB
Buffers:          8320 kB
Cached:         295464 kB
SwapCached:       2148 kB
Active:          27660 kB
Inactive:       285288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1682760 kB
SwapTotal:     4192956 kB
SwapFree:      4184556 kB
Dirty:            1568 kB
Writeback:           0 kB
Mapped:          15640 kB
Slab:            46228 kB
Committed_AS:   172616 kB
PageTables:       1460 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= 66497 MiB

End job on node62 on Thu Apr 19 17:27:56 UTC 2007