Trace number 357290

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.13 1800.81

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-UMTS.opb
MD5SUMc716bc6c519760d619aa6878c926054c
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark54618714
Best CPU time to get the best result obtained on this benchmark1800.48
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 31249460
Optimality of the best value was proved NO
Number of variables6402
Total number of constraints4465
Number of constraints which are clauses2785
Number of constraints which are cardinality constraints (but not clauses)1428
Number of constraints which are nor clauses,nor cardinality constraints252
Minimum length of a constraint1
Maximum length of a constraint511
Number of terms in the objective function 4170
Biggest coefficient in the objective function 23582998528
Number of bits for the biggest coefficient in the objective function 35
Sum of the numbers in the objective function 2904924551250
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 1024000000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2904924551250
Number of bits of the biggest sum of numbers42
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.09/0.13	c ...done
0.09/0.13	c #vars=6402 #constraints=5930 hasObjective=yes
0.69/0.71	c res. mode=mod
0.69/0.71	c VSIDS like heuristics
0.69/0.71	c complete search running
0.69/0.74	c restart after 401 decisions
0.69/0.75	c nbDecision=500 #constraints=5930
0.69/0.77	c restart after 801 decisions
0.69/0.79	c nbDecision=1000 #constraints=5930
1.29/1.39	c nbDecision=1500 #constraints=5966
1.39/1.41	c restart after 1601 decisions
1.39/1.44	c nbDecision=2000 #constraints=5973
1.99/2.00	c nbDecision=2500 #constraints=6019
3.39/3.49	c nbDecision=3000 #constraints=6111
3.79/3.86	c restart after 3201 decisions
3.79/3.89	c nbDecision=3500 #constraints=6123
3.99/4.02	c nbDecision=4000 #constraints=6146
4.59/4.67	c nbDecision=4500 #constraints=6210
4.79/4.85	c nbDecision=5000 #constraints=6296
4.99/5.04	c nbDecision=5500 #constraints=6362
5.09/5.17	c nbDecision=6000 #constraints=6402
5.19/5.28	c restart after 6401 decisions
5.29/5.30	c nbDecision=6500 #constraints=6439
5.29/5.39	c nbDecision=7000 #constraints=6443
5.69/5.73	c nbDecision=7500 #constraints=6493
6.19/6.23	c nbDecision=8000 #constraints=6536
6.59/6.63	c nbDecision=8500 #constraints=6564
6.89/6.95	c nbDecision=9000 #constraints=6601
7.59/7.63	c nbDecision=9500 #constraints=6666
8.09/8.18	c nbDecision=10000 #constraints=6727
8.59/8.61	c nbDecision=10500 #constraints=6774
8.99/9.09	c nbDecision=11000 #constraints=6813
9.59/9.60	c nbDecision=11500 #constraints=6847
9.90/9.93	c nbDecision=12000 #constraints=6871
10.19/10.20	c nbDecision=12500 #constraints=6900
10.39/10.42	c restart after 12801 decisions
10.39/10.47	c nbDecision=13000 #constraints=6921
10.59/10.64	c nbDecision=13500 #constraints=6932
11.00/11.08	c nbDecision=14000 #constraints=6979
11.79/11.88	c nbDecision=14500 #constraints=7042
12.69/12.78	c nbDecision=15000 #constraints=7107
13.19/13.27	c nbDecision=15500 #constraints=7136
13.49/13.56	c nbDecision=16000 #constraints=7155
13.99/14.06	c nbDecision=16500 #constraints=7208
14.88/14.96	c nbDecision=17000 #constraints=7263
15.18/15.22	c nbDecision=17500 #constraints=7276
15.88/15.90	c nbDecision=18000 #constraints=7329
16.98/17.01	c nbDecision=18500 #constraints=7427
17.78/17.87	c nbDecision=19000 #constraints=7506
18.19/18.26	c nbDecision=19500 #constraints=7548
18.79/18.84	c nbDecision=20000 #constraints=7588
19.29/19.38	c nbDecision=20500 #constraints=7629
19.59/19.69	c nbDecision=21000 #constraints=7656
20.69/20.74	c nbDecision=21500 #constraints=7726
21.68/21.75	c nbDecision=22000 #constraints=7786
22.28/22.34	c nbDecision=22500 #constraints=7821
22.78/22.84	c nbDecision=23000 #constraints=7864
23.38/23.41	c nbDecision=23500 #constraints=7893
23.98/24.00	c nbDecision=24000 #constraints=7929
24.28/24.39	c nbDecision=24500 #constraints=7949
24.68/24.79	c nbDecision=25000 #constraints=7970
25.59/25.68	c nbDecision=25500 #constraints=8057
25.89/25.90	c restart after 25601 decisions
25.99/26.07	c nbDecision=26000 #constraints=8073
26.19/26.22	c nbDecision=26500 #constraints=8086
26.39/26.48	c nbDecision=27000 #constraints=8126
26.59/26.66	c nbDecision=27500 #constraints=8151
26.78/26.89	c nbDecision=28000 #constraints=8183
26.98/27.01	c nbDecision=28500 #constraints=8205
28.58/28.65	c nbDecision=29000 #constraints=8398
29.48/29.58	c nbDecision=29500 #constraints=8481
32.98/33.04	c nbDecision=30000 #constraints=8783
38.48/38.52	c nbDecision=30500 #constraints=9202
40.68/40.71	c nbDecision=31000 #constraints=9295
42.58/42.66	c nbDecision=31500 #constraints=9373
45.08/45.11	c nbDecision=32000 #constraints=9462
47.48/47.53	c nbDecision=32500 #constraints=9539
50.38/50.49	c nbDecision=33000 #constraints=9633
52.38/52.49	c nbDecision=33500 #constraints=9695
54.87/55.00	c nbDecision=34000 #constraints=9768
57.28/57.39	c nbDecision=34500 #constraints=9843
59.58/59.64	c nbDecision=35000 #constraints=9913
61.68/61.78	c nbDecision=35500 #constraints=9985
63.97/64.05	c nbDecision=36000 #constraints=10054
66.27/66.37	c nbDecision=36500 #constraints=10132
68.57/68.64	c nbDecision=37000 #constraints=10212
70.97/71.02	c nbDecision=37500 #constraints=10300
73.67/73.71	c nbDecision=38000 #constraints=10392
75.97/76.02	c nbDecision=38500 #constraints=10467
78.87/78.94	c nbDecision=39000 #constraints=10565
81.77/81.84	c nbDecision=39500 #constraints=10665
84.57/84.67	c nbDecision=40000 #constraints=10756
87.86/87.99	c nbDecision=40500 #constraints=10858
91.46/91.50	c nbDecision=41000 #constraints=10933
95.56/95.68	c nbDecision=41500 #constraints=11022
99.46/99.55	c nbDecision=42000 #constraints=11097
103.56/103.65	c nbDecision=42500 #constraints=11172
106.66/106.71	c nbDecision=43000 #constraints=11233
109.56/109.63	c nbDecision=43500 #constraints=11291
112.26/112.39	c nbDecision=44000 #constraints=11349
114.86/114.94	c nbDecision=44500 #constraints=11406
117.66/117.74	c nbDecision=45000 #constraints=11469
123.05/123.18	c nbDecision=45500 #constraints=11557
126.95/127.01	c nbDecision=46000 #constraints=11646
131.25/131.35	c nbDecision=46500 #constraints=11728
136.95/137.06	c nbDecision=47000 #constraints=11820
143.44/143.54	c nbDecision=47500 #constraints=11919
148.75/148.87	c nbDecision=48000 #constraints=11993
155.34/155.46	c nbDecision=48500 #constraints=12085
159.54/159.69	c nbDecision=49000 #constraints=12168
164.94/165.05	c nbDecision=49500 #constraints=12260
169.23/169.36	c nbDecision=50000 #constraints=12326
174.94/175.03	c nbDecision=50500 #constraints=12408
179.83/179.99	c nbDecision=51000 #constraints=12489
180.93/181.07	c restart after 51201 decisions
182.23/182.34	c nbDecision=51500 #constraints=12507
183.33/183.44	c nbDecision=52000 #constraints=12512
185.63/185.76	c nbDecision=52500 #constraints=12555
187.23/187.37	c nbDecision=53000 #constraints=12580
189.23/189.31	c nbDecision=53500 #constraints=12606
190.74/190.81	c nbDecision=54000 #constraints=12627
192.63/192.76	c nbDecision=54500 #constraints=12663
194.13/194.28	c nbDecision=55000 #constraints=12683
198.53/198.61	c nbDecision=55500 #constraints=12774
202.13/202.27	c nbDecision=56000 #constraints=12847
205.82/205.99	c nbDecision=56500 #constraints=12920
207.62/207.77	c nbDecision=57000 #constraints=12949
208.93/209.09	c nbDecision=57500 #constraints=12966
212.52/212.66	c nbDecision=58000 #constraints=13033
215.12/215.21	c nbDecision=58500 #constraints=13071
217.72/217.81	c nbDecision=59000 #constraints=13106
220.22/220.31	c nbDecision=59500 #constraints=13161
222.32/222.44	c nbDecision=60000 #constraints=13191
224.72/224.88	c nbDecision=60500 #constraints=13230
226.82/226.97	c nbDecision=61000 #constraints=13269
230.11/230.29	c nbDecision=61500 #constraints=13347
232.61/232.76	c nbDecision=62000 #constraints=13412
235.22/235.33	c nbDecision=62500 #constraints=13478
237.42/237.58	c nbDecision=63000 #constraints=13534
239.52/239.63	c nbDecision=63500 #constraints=13564
242.42/242.59	c nbDecision=64000 #constraints=13609
246.32/246.42	c nbDecision=64500 #constraints=13682
249.02/249.13	c nbDecision=65000 #constraints=13703
252.21/252.30	c nbDecision=65500 #constraints=13754
255.01/255.18	c nbDecision=66000 #constraints=13799
261.81/261.94	c nbDecision=66500 #constraints=13920
266.11/266.22	c nbDecision=67000 #constraints=14005
269.51/269.61	c nbDecision=67500 #constraints=14070
272.51/272.67	c nbDecision=68000 #constraints=14115
275.21/275.37	c nbDecision=68500 #constraints=14158
277.21/277.33	c nbDecision=69000 #constraints=14188
281.51/281.63	c nbDecision=69500 #constraints=14270
283.20/283.30	c nbDecision=70000 #constraints=14292
285.40/285.59	c nbDecision=70500 #constraints=14330
287.50/287.64	c nbDecision=71000 #constraints=14354
291.40/291.57	c nbDecision=71500 #constraints=14425
296.10/296.22	c nbDecision=72000 #constraints=14511
298.79/298.95	c nbDecision=72500 #constraints=14558
303.19/303.36	c nbDecision=73000 #constraints=14647
306.49/306.62	c nbDecision=73500 #constraints=14694
310.39/310.57	c nbDecision=74000 #constraints=14748
312.59/312.79	c nbDecision=74500 #constraints=14772
315.69/315.84	c nbDecision=75000 #constraints=14832
317.69/317.83	c nbDecision=75500 #constraints=14863
320.59/320.74	c nbDecision=76000 #constraints=14898
322.99/323.16	c nbDecision=76500 #constraints=14932
325.59/325.79	c nbDecision=77000 #constraints=14972
339.98/340.14	c nbDecision=77500 #constraints=15187
344.28/344.42	c nbDecision=78000 #constraints=15248
346.28/346.49	c nbDecision=78500 #constraints=15271
349.38/349.54	c nbDecision=79000 #constraints=15334
351.58/351.74	c nbDecision=79500 #constraints=15358
355.18/355.34	c nbDecision=80000 #constraints=15398
358.77/358.93	c nbDecision=80500 #constraints=15450
361.07/361.29	c nbDecision=81000 #constraints=15482
363.67/363.87	c nbDecision=81500 #constraints=15516
366.77/367.00	c nbDecision=82000 #constraints=15562
369.77/369.95	c nbDecision=82500 #constraints=15601
373.58/373.73	c nbDecision=83000 #constraints=15663
377.28/377.43	c nbDecision=83500 #constraints=15721
379.38/379.57	c nbDecision=84000 #constraints=15744
382.17/382.31	c nbDecision=84500 #constraints=15774
390.37/390.60	c nbDecision=85000 #constraints=15915
396.27/396.42	c nbDecision=85500 #constraints=16012
399.27/399.41	c nbDecision=86000 #constraints=16060
402.06/402.25	c nbDecision=86500 #constraints=16089
404.46/404.68	c nbDecision=87000 #constraints=16109
407.26/407.49	c nbDecision=87500 #constraints=16159
410.66/410.80	c nbDecision=88000 #constraints=16204
413.76/413.99	c nbDecision=88500 #constraints=16263
416.56/416.76	c nbDecision=89000 #constraints=16292
419.86/420.07	c nbDecision=89500 #constraints=16340
422.55/422.75	c nbDecision=90000 #constraints=16372
426.25/426.42	c nbDecision=90500 #constraints=16409
430.45/430.69	c nbDecision=91000 #constraints=16457
435.15/435.36	c nbDecision=91500 #constraints=16517
438.45/438.60	c nbDecision=92000 #constraints=16544
441.35/441.56	c nbDecision=92500 #constraints=16571
444.55/444.72	c nbDecision=93000 #constraints=16608
451.35/451.59	c nbDecision=93500 #constraints=16716
454.45/454.61	c nbDecision=94000 #constraints=16752
456.84/457.02	c nbDecision=94500 #constraints=16782
466.54/466.78	c nbDecision=95000 #constraints=16959
478.54/478.72	c nbDecision=95500 #constraints=17173
481.74/481.98	c nbDecision=96000 #constraints=17201
485.73/485.96	c nbDecision=96500 #constraints=17277
491.93/492.10	c nbDecision=97000 #constraints=17349
494.53/494.77	c nbDecision=97500 #constraints=17375
500.14/500.33	c nbDecision=98000 #constraints=17446
505.84/506.04	c nbDecision=98500 #constraints=17524
509.33/509.57	c nbDecision=99000 #constraints=17552
523.82/524.08	c nbDecision=99500 #constraints=17740
526.72/526.90	c nbDecision=100000 #constraints=17754
537.12/537.35	c nbDecision=100500 #constraints=17914
540.32/540.52	c nbDecision=101000 #constraints=17939
543.52/543.75	c nbDecision=101500 #constraints=17962
547.12/547.35	c nbDecision=102000 #constraints=17991
549.82/550.10	c restart after 102401 decisions
551.61/551.84	c nbDecision=102500 #constraints=18020
553.12/553.36	c nbDecision=103000 #constraints=18020
559.81/560.08	c nbDecision=103500 #constraints=18105
563.21/563.50	c nbDecision=104000 #constraints=18129
568.40/568.64	c nbDecision=104500 #constraints=18182
571.81/572.03	c nbDecision=105000 #constraints=18203
576.00/576.21	c nbDecision=105500 #constraints=18242
579.41/579.63	c nbDecision=106000 #constraints=18304
583.01/583.28	c nbDecision=106500 #constraints=18377
586.10/586.33	c nbDecision=107000 #constraints=18449
589.10/589.38	c nbDecision=107500 #constraints=18505
591.70/591.97	c nbDecision=108000 #constraints=18522
594.80/595.09	c nbDecision=108500 #constraints=18541
598.50/598.71	c nbDecision=109000 #constraints=18567
605.50/605.73	c nbDecision=109500 #constraints=18638
610.10/610.35	c nbDecision=110000 #constraints=18667
613.30/613.53	c nbDecision=110500 #constraints=18683
620.69/620.98	c nbDecision=111000 #constraints=18744
623.99/624.28	c nbDecision=111500 #constraints=18759
638.89/639.14	c nbDecision=112000 #constraints=18928
643.68/643.96	c nbDecision=112500 #constraints=18972
648.78/649.10	c nbDecision=113000 #constraints=19019
663.28/663.53	c nbDecision=113500 #constraints=19175
683.78/684.09	c nbDecision=114000 #constraints=19502
700.57/700.85	c nbDecision=114500 #constraints=19717
704.57/704.81	c nbDecision=115000 #constraints=19752
709.27/709.56	c nbDecision=115500 #constraints=19785
713.16/713.49	c nbDecision=116000 #constraints=19821
718.06/718.30	c nbDecision=116500 #constraints=19856
721.96/722.28	c nbDecision=117000 #constraints=19872
727.16/727.46	c nbDecision=117500 #constraints=19913
730.95/731.29	c nbDecision=118000 #constraints=19942
737.95/738.26	c nbDecision=118500 #constraints=20023
741.85/742.10	c nbDecision=119000 #constraints=20042
750.05/750.31	c nbDecision=119500 #constraints=20131
762.25/762.59	c nbDecision=120000 #constraints=20285
769.24/769.57	c nbDecision=120500 #constraints=20362
775.05/775.33	c nbDecision=121000 #constraints=20416
781.95/782.26	c nbDecision=121500 #constraints=20511
788.44/788.70	c nbDecision=122000 #constraints=20578
794.63/794.97	c nbDecision=122500 #constraints=20637
798.63/798.91	c nbDecision=123000 #constraints=20658
805.43/805.72	c nbDecision=123500 #constraints=20725
810.44/810.71	c nbDecision=124000 #constraints=20767
817.03/817.37	c nbDecision=124500 #constraints=20834
821.23/821.53	c nbDecision=125000 #constraints=20860
831.43/831.71	c nbDecision=125500 #constraints=20963
858.61/858.99	c nbDecision=126000 #constraints=21370
875.51/875.83	c nbDecision=126500 #constraints=21596
879.61/879.95	c nbDecision=127000 #constraints=21625
884.01/884.30	c nbDecision=127500 #constraints=21645
892.71/893.02	c nbDecision=128000 #constraints=21732
898.20/898.51	c nbDecision=128500 #constraints=21765
904.10/904.44	c nbDecision=129000 #constraints=21811
910.20/910.50	c nbDecision=129500 #constraints=21848
915.19/915.54	c nbDecision=130000 #constraints=21880
921.69/922.04	c nbDecision=130500 #constraints=21929
927.59/927.92	c nbDecision=131000 #constraints=21964
931.69/932.00	c nbDecision=131500 #constraints=21980
951.69/952.01	c nbDecision=132000 #constraints=22223
968.48/968.87	c nbDecision=132500 #constraints=22407
972.97/973.32	c nbDecision=133000 #constraints=22434
980.78/981.18	c nbDecision=133500 #constraints=22511
985.88/986.24	c nbDecision=134000 #constraints=22549
994.18/994.57	c nbDecision=134500 #constraints=22648
1001.97/1002.32	c nbDecision=135000 #constraints=22689
1007.07/1007.43	c nbDecision=135500 #constraints=22705
1011.97/1012.32	c nbDecision=136000 #constraints=22745
1015.97/1016.32	c nbDecision=136500 #constraints=22764
1043.66/1044.07	c nbDecision=137000 #constraints=23055
1072.94/1073.30	c nbDecision=137500 #constraints=23409
1085.45/1085.84	c nbDecision=138000 #constraints=23540
1092.05/1092.49	c nbDecision=138500 #constraints=23576
1100.44/1100.85	c nbDecision=139000 #constraints=23637
1107.03/1107.43	c nbDecision=139500 #constraints=23679
1112.23/1112.68	c nbDecision=140000 #constraints=23692
1116.53/1116.99	c nbDecision=140500 #constraints=23720
1122.23/1122.67	c nbDecision=141000 #constraints=23738
1127.63/1128.01	c nbDecision=141500 #constraints=23756
1132.32/1132.76	c nbDecision=142000 #constraints=23773
1141.43/1141.82	c nbDecision=142500 #constraints=23844
1146.52/1146.91	c nbDecision=143000 #constraints=23890
1151.72/1152.20	c nbDecision=143500 #constraints=23979
1155.12/1155.59	c nbDecision=144000 #constraints=24042
1161.32/1161.75	c nbDecision=144500 #constraints=24107
1167.42/1167.82	c nbDecision=145000 #constraints=24133
1175.52/1175.90	c nbDecision=145500 #constraints=24195
1181.02/1181.45	c nbDecision=146000 #constraints=24215
1189.81/1190.27	c nbDecision=146500 #constraints=24262
1200.91/1201.33	c nbDecision=147000 #constraints=24359
1207.50/1207.99	c nbDecision=147500 #constraints=24410
1215.30/1215.75	c nbDecision=148000 #constraints=24477
1221.20/1221.69	c nbDecision=148500 #constraints=24498
1240.50/1240.91	c nbDecision=149000 #constraints=24661
1270.38/1270.90	c nbDecision=149500 #constraints=24917
1278.48/1278.92	c nbDecision=150000 #constraints=24966
1290.98/1291.44	c nbDecision=150500 #constraints=25103
1308.88/1309.30	c nbDecision=151000 #constraints=25281
1317.17/1317.64	c nbDecision=151500 #constraints=25333
1324.67/1325.17	c nbDecision=152000 #constraints=25373
1332.56/1333.06	c nbDecision=152500 #constraints=25443
1344.86/1345.31	c nbDecision=153000 #constraints=25502
1353.02/1353.59	c nbDecision=153500 #constraints=25575
1360.40/1360.99	c nbDecision=154000 #constraints=25626
1366.99/1367.55	c nbDecision=154500 #constraints=25645
1374.37/1374.94	c nbDecision=155000 #constraints=25680
1382.76/1383.31	c nbDecision=155500 #constraints=25722
1389.65/1390.28	c nbDecision=156000 #constraints=25779
1397.64/1398.24	c nbDecision=156500 #constraints=25819
1407.73/1408.32	c nbDecision=157000 #constraints=25924
1416.04/1416.68	c nbDecision=157500 #constraints=25993
1421.63/1422.26	c nbDecision=158000 #constraints=26025
1429.53/1430.19	c nbDecision=158500 #constraints=26064
1437.63/1438.24	c nbDecision=159000 #constraints=26119
1444.12/1444.78	c nbDecision=159500 #constraints=26171
1451.12/1451.80	c nbDecision=160000 #constraints=26201
1457.22/1457.86	c nbDecision=160500 #constraints=26259
1463.42/1464.07	c nbDecision=161000 #constraints=26315
1470.52/1471.17	c nbDecision=161500 #constraints=26372
1477.92/1478.52	c nbDecision=162000 #constraints=26407
1501.50/1502.15	c nbDecision=162500 #constraints=26588
1512.01/1512.65	c nbDecision=163000 #constraints=26661
1519.80/1520.47	c nbDecision=163500 #constraints=26681
1531.59/1532.20	c nbDecision=164000 #constraints=26773
1544.70/1545.34	c nbDecision=164500 #constraints=26894
1551.50/1552.15	c nbDecision=165000 #constraints=26916
1557.39/1558.07	c nbDecision=165500 #constraints=26973
1577.28/1577.93	c nbDecision=166000 #constraints=27146
1590.87/1591.51	c nbDecision=166500 #constraints=27255
1598.07/1598.79	c nbDecision=167000 #constraints=27269
1617.07/1617.79	c nbDecision=167500 #constraints=27379
1623.17/1623.80	c nbDecision=168000 #constraints=27406
1629.16/1629.81	c nbDecision=168500 #constraints=27434
1636.76/1637.46	c nbDecision=169000 #constraints=27478
1683.04/1683.71	c nbDecision=169500 #constraints=27785
1748.93/1749.68	c nbDecision=170000 #constraints=28199
1764.82/1765.51	c nbDecision=170500 #constraints=28292
1772.11/1772.86	c nbDecision=171000 #constraints=28334
1782.22/1782.91	c nbDecision=171500 #constraints=28386
1800.02/1800.70	Received signal 15
1800.02/1800.72	
1800.02/1800.72	s UNKNOWN
1800.02/1800.72	
1800.02/1800.72	c user time= 1799.43 s
1800.02/1800.72	c system time= 0.613906 s
1800.02/1800.72	c wall clock time=1800.73

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/node25/watcher-357290-1176993517 -o ROOT/results/node25/solver-357290-1176993517 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357290-1176993517/instance-357290-1176993517.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/64 30136
/proc/meminfo: memFree=1835488/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=1468 CPUtime=0
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147268772 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 367 161 126 317 0 46 0

[startup+0.103298 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 30136
/proc/meminfo: memFree=1835488/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=3340 CPUtime=0.09
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 632 0 0 0 9 0 0 0 18 0 1 0 147268772 3420160 614 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271339 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 835 614 131 317 0 514 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3340

[startup+0.201314 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 30136
/proc/meminfo: memFree=1835488/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=5212 CPUtime=0.19
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 1119 0 0 0 19 0 0 0 19 0 1 0 147268772 5337088 1101 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 1303 1101 137 317 0 982 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5212

[startup+0.301331 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 30136
/proc/meminfo: memFree=1835488/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=5212 CPUtime=0.29
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 1119 0 0 0 29 0 0 0 20 0 1 0 147268772 5337088 1101 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 1303 1101 137 317 0 982 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5212

[startup+0.701399 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 30136
/proc/meminfo: memFree=1835488/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=5344 CPUtime=0.69
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 1132 0 0 0 69 0 0 0 23 0 1 0 147268772 5472256 1114 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 1336 1114 137 317 0 1015 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5344

[startup+1.50153 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 30137
/proc/meminfo: memFree=1831256/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=6024 CPUtime=1.49
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 1325 0 0 0 149 0 0 0 25 0 1 0 147268772 6168576 1266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713833 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 1506 1266 139 317 0 1185 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6024

[startup+3.10181 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 30137
/proc/meminfo: memFree=1830488/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=7072 CPUtime=3.09
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 1595 0 0 0 309 0 0 0 25 0 1 0 147268772 7241728 1536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715638 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 1768 1536 170 317 0 1447 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7072

[startup+6.30135 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 30137
/proc/meminfo: memFree=1824600/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=13104 CPUtime=6.29
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 3106 0 0 0 628 1 0 0 25 0 1 0 147268772 13418496 3047 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272585 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 3276 3047 170 317 0 2955 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13104

[startup+12.7014 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 30137
/proc/meminfo: memFree=1817624/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=19832 CPUtime=12.69
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 4799 0 0 0 1267 2 0 0 25 0 1 0 147268772 20307968 4740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 4958 4740 170 317 0 4637 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19832

[startup+25.5016 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 30137
/proc/meminfo: memFree=1803416/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=33564 CPUtime=25.49
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 8202 0 0 0 2545 4 0 0 25 0 1 0 147268772 34369536 8143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 8391 8143 170 317 0 8070 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 33564

[startup+51.102 s]
/proc/loadavg: 0.96 0.97 0.99 2/65 30137
/proc/meminfo: memFree=1775064/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=64736 CPUtime=51.08
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 15365 0 0 0 5100 8 0 0 25 0 1 0 147268772 66289664 15306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272650 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 16184 15306 170 317 0 15863 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 64736

[startup+102.302 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 30137
/proc/meminfo: memFree=1734936/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=109436 CPUtime=102.27
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 25259 0 0 0 10215 12 0 0 25 0 1 0 147268772 112062464 25200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 27359 25200 170 317 0 27038 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 109436

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 30137
/proc/meminfo: memFree=1707032/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=140904 CPUtime=162.24
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 32378 0 0 0 16209 15 0 0 25 0 1 0 147268772 144285696 32238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 35226 32238 170 317 0 34905 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 140904

[startup+222.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 30137
/proc/meminfo: memFree=1685912/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=166236 CPUtime=222.22
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 37565 0 0 0 22204 18 0 0 25 0 1 0 147268772 170225664 37425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 41559 37425 170 317 0 41238 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 166236

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 30137
/proc/meminfo: memFree=1668824/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=183488 CPUtime=282.2
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 41844 0 0 0 28200 20 0 0 25 0 1 0 147268772 187891712 41704 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 45872 41704 170 317 0 45551 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 183488

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 30137
/proc/meminfo: memFree=1652184/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=199620 CPUtime=342.18
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 45999 0 0 0 34195 23 0 0 25 0 1 0 147268772 204410880 45859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 49905 45859 170 317 0 49584 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 199620

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 30137
/proc/meminfo: memFree=1635672/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=219472 CPUtime=402.16
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 50105 0 0 0 40191 25 0 0 25 0 1 0 147268772 224739328 49965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 54868 49965 170 317 0 54547 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 219472

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 30137
/proc/meminfo: memFree=1625432/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=229420 CPUtime=462.14
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 52667 0 0 0 46188 26 0 0 25 0 1 0 147268772 234926080 52527 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 57355 52527 170 317 0 57034 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 229420

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 30137
/proc/meminfo: memFree=1608152/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=247792 CPUtime=522.12
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 56988 0 0 0 52184 28 0 0 25 0 1 0 147268772 253739008 56848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 61948 56848 170 317 0 61627 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 247792

[startup+582.302 s]
/proc/loadavg: 1.03 0.99 0.99 2/65 30137
/proc/meminfo: memFree=1596952/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=258416 CPUtime=582.11
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 59774 0 0 0 58181 30 0 0 25 0 1 0 147268772 264617984 59634 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 64604 59634 170 317 0 64283 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 258416

[startup+642.302 s]
/proc/loadavg: 1.04 1.00 1.00 2/65 30137
/proc/meminfo: memFree=1586072/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=269216 CPUtime=642.08
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 62538 0 0 0 64176 32 0 0 25 0 1 0 147268772 275677184 62398 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 67304 62398 170 317 0 66983 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 269216


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

[startup+882.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30137
/proc/meminfo: memFree=1525208/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=332352 CPUtime=882.01
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 77612 0 0 0 88162 39 0 0 25 0 1 0 147268772 340328448 77472 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 83088 77472 170 317 0 82767 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 332352

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30137
/proc/meminfo: memFree=1516120/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=341140 CPUtime=941.98
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 79952 0 0 0 94158 40 0 0 25 0 1 0 147268772 349327360 79812 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 85285 79812 170 317 0 84964 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 341140

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30137
/proc/meminfo: memFree=1499416/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=360976 CPUtime=1001.97
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 84057 0 0 0 100155 42 0 0 25 0 1 0 147268772 369639424 83917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 90244 83917 170 317 0 89923 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 360976

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30137
/proc/meminfo: memFree=1484376/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=375696 CPUtime=1061.95
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 87818 0 0 0 106151 44 0 0 25 0 1 0 147268772 384712704 87678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 93924 87678 170 317 0 93603 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 375696

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30137
/proc/meminfo: memFree=1474712/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=385844 CPUtime=1121.93
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 90367 0 0 0 112148 45 0 0 25 0 1 0 147268772 395104256 90065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 96461 90065 170 317 0 96140 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 385844

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30137
/proc/meminfo: memFree=1467352/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=392704 CPUtime=1181.91
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 92227 0 0 0 118145 46 0 0 25 0 1 0 147268772 402128896 91925 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 98176 91925 170 317 0 97855 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 392704

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30137
/proc/meminfo: memFree=1458648/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=400868 CPUtime=1241.89
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 94416 0 0 0 124142 47 0 0 25 0 1 0 147268772 410488832 94081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 100217 94081 170 317 0 99896 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 400868

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30137
/proc/meminfo: memFree=1443544/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=426924 CPUtime=1301.87
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 100223 0 0 0 130138 49 0 0 25 0 1 0 147268772 437170176 97875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711009 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 106731 97875 170 317 0 106410 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 426924

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 30245
/proc/meminfo: memFree=1436056/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=432944 CPUtime=1361.8
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 101698 0 0 0 136129 51 0 0 25 0 1 0 147268772 443334656 99350 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 108236 99350 170 317 0 107915 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 432944

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30335
/proc/meminfo: memFree=1430544/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=438648 CPUtime=1421.74
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 103341 0 0 0 142122 52 0 0 25 0 1 0 147268772 449175552 100993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 109662 100993 170 317 0 109341 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 438648

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30335
/proc/meminfo: memFree=1423440/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=446188 CPUtime=1481.71
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 105208 0 0 0 148118 53 0 0 25 0 1 0 147268772 456896512 102794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284505 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 111547 102794 170 317 0 111226 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 446188

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30335
/proc/meminfo: memFree=1411088/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=463200 CPUtime=1541.7
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 108295 0 0 0 154115 55 0 0 25 0 1 0 147268772 474316800 105881 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 115800 105881 170 317 0 115479 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 463200

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30335
/proc/meminfo: memFree=1402064/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=474232 CPUtime=1601.68
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 110601 0 0 0 160112 56 0 0 25 0 1 0 147268772 485613568 108154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 118558 108154 170 317 0 118237 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 474232

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30335
/proc/meminfo: memFree=1392208/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=485768 CPUtime=1661.65
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 113103 0 0 0 166109 56 0 0 25 0 1 0 147268772 497426432 110623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 121442 110623 170 317 0 121121 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 485768

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30335
/proc/meminfo: memFree=1379736/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=499244 CPUtime=1721.63
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 116279 0 0 0 172105 58 0 0 25 0 1 0 147268772 511225856 113733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 124811 113733 170 317 0 124490 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 499244

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30335
/proc/meminfo: memFree=1370008/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=509000 CPUtime=1781.62
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 118747 0 0 0 178102 60 0 0 25 0 1 0 147268772 521216000 116168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 127250 116168 170 317 0 126929 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 509000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30335
/proc/meminfo: memFree=1364824/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=513852 CPUtime=1800.02
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194304 120064 0 0 0 179941 61 0 0 25 0 1 0 147268772 526184448 117452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 128463 117452 170 317 0 128142 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 513852

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30335
/proc/meminfo: memFree=1364824/2055920 swapFree=4182972/4192956
[pid=30136] ppid=30134 vsize=0 CPUtime=1800.11
/proc/30136/stat : 30136 (oree) R 30134 30136 29324 0 -1 4194308 120080 0 0 0 179943 68 0 0 25 0 1 0 147268772 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30136/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.81
CPU time (s): 1800.13
CPU user time (s): 1799.44
CPU system time (s): 0.691894
CPU usage (%): 99.9621
Max. virtual memory (cumulated for all children) (KiB): 513852

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

runsolver used 1.39179 second user time and 3.60545 second system time

The end

Launcher Data (download as text)

Begin job on node25 on Thu Apr 19 14:38:37 UTC 2007

IDJOB= 357290
IDBENCH= 2354
IDSOLVER= 172
FILE ID= node25/357290-1176993517

PBS_JOBID= 4630422

Free space on /tmp= 66368 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb
COMMAND LINE= oree /tmp/evaluation/357290-1176993517/instance-357290-1176993517.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-357290-1176993517 -o ROOT/results/node25/solver-357290-1176993517 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357290-1176993517/instance-357290-1176993517.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  c716bc6c519760d619aa6878c926054c

RANDOM SEED= 34921666

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node25.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.261
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.261
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:       1835960 kB
Buffers:         26652 kB
Cached:         145784 kB
SwapCached:       3684 kB
Active:          75660 kB
Inactive:       106796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1835960 kB
SwapTotal:     4192956 kB
SwapFree:      4182972 kB
Dirty:            1732 kB
Writeback:           0 kB
Mapped:          15988 kB
Slab:            23576 kB
Committed_AS:  2176344 kB
PageTables:       1472 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= 66368 MiB

End job on node25 on Thu Apr 19 15:08:40 UTC 2007