Trace number 356999

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.4 1801.07

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-dcmulti.opb
MD5SUM99a4e5b0ce7b98bffc278cf1f6704eb9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14265
Total number of constraints290
Number of constraints which are clauses27
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint2
Maximum length of a constraint420
Number of terms in the objective function 14235
Biggest coefficient in the objective function 5488
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 535829
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262125
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 535829
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.10/0.13	c ...done
0.10/0.13	c #vars=14265 #constraints=369 hasObjective=yes
0.19/0.26	c res. mode=mod
0.19/0.26	c VSIDS like heuristics
0.19/0.26	c complete search running
0.29/0.37	c restart after 401 decisions
0.39/0.41	c nbDecision=500 #constraints=379
0.39/0.43	c restart after 801 decisions
0.39/0.49	c nbDecision=1000 #constraints=380
0.49/0.57	c nbDecision=1500 #constraints=419
0.59/0.65	c restart after 1601 decisions
0.69/0.71	c nbDecision=2000 #constraints=479
1.28/1.33	c nbDecision=2500 #constraints=894
2.39/2.42	c nbDecision=3000 #constraints=1394
2.89/2.98	c restart after 3201 decisions
2.99/3.06	c nbDecision=3500 #constraints=1596
4.09/4.14	c nbDecision=4000 #constraints=1911
6.19/6.22	c nbDecision=4500 #constraints=2415
8.09/8.12	c nbDecision=5000 #constraints=2772
11.19/11.28	c nbDecision=5500 #constraints=3275
13.89/13.97	c nbDecision=6000 #constraints=3636
16.08/16.17	c restart after 6401 decisions
16.28/16.34	c nbDecision=6500 #constraints=3899
17.08/17.19	c nbDecision=7000 #constraints=3978
18.29/18.35	c nbDecision=7500 #constraints=4103
18.89/18.93	c nbDecision=8000 #constraints=4154
19.19/19.24	c nbDecision=8500 #constraints=4181
26.38/26.43	c nbDecision=9000 #constraints=4553
31.28/31.31	c nbDecision=9500 #constraints=4784
32.08/32.17	c nbDecision=10000 #constraints=4925
32.98/33.07	c nbDecision=10500 #constraints=5425
34.37/34.44	c nbDecision=11000 #constraints=5928
36.28/36.32	c nbDecision=11500 #constraints=6431
38.27/38.39	c nbDecision=12000 #constraints=6859
40.98/41.00	c nbDecision=12500 #constraints=7291
42.98/43.09	c restart after 12801 decisions
43.37/43.48	c nbDecision=13000 #constraints=7597
45.07/45.20	c nbDecision=13500 #constraints=7790
48.27/48.39	c nbDecision=14000 #constraints=8166
50.58/50.67	c nbDecision=14500 #constraints=8392
52.07/52.18	c nbDecision=15000 #constraints=8533
52.88/52.97	c nbDecision=15500 #constraints=8574
54.07/54.15	c nbDecision=16000 #constraints=8631
62.96/63.08	c nbDecision=16500 #constraints=9071
66.66/66.79	c nbDecision=17000 #constraints=9209
68.06/68.12	c nbDecision=17500 #constraints=9497
69.26/69.37	c nbDecision=18000 #constraints=9998
70.97/71.09	c nbDecision=18500 #constraints=10497
73.26/73.32	c nbDecision=19000 #constraints=10997
75.36/75.47	c nbDecision=19500 #constraints=11365
78.66/78.77	c nbDecision=20000 #constraints=11863
81.66/81.75	c nbDecision=20500 #constraints=12229
85.26/85.33	c nbDecision=21000 #constraints=12622
88.16/88.24	c nbDecision=21500 #constraints=12888
89.35/89.40	c nbDecision=22000 #constraints=12957
90.45/90.59	c nbDecision=22500 #constraints=12999
95.15/95.25	c nbDecision=23000 #constraints=13227
103.55/103.65	c nbDecision=23500 #constraints=13576
105.75/105.87	c nbDecision=24000 #constraints=13652
107.25/107.38	c nbDecision=24500 #constraints=13944
108.75/108.89	c nbDecision=25000 #constraints=14248
110.25/110.33	c nbDecision=25500 #constraints=14496
110.35/110.40	c restart after 25601 decisions
111.45/111.54	c nbDecision=26000 #constraints=14506
112.15/112.23	c nbDecision=26500 #constraints=14600
113.14/113.21	c nbDecision=27000 #constraints=14763
113.75/113.87	c nbDecision=27500 #constraints=14872
114.65/114.70	c nbDecision=28000 #constraints=15008
115.14/115.28	c nbDecision=28500 #constraints=15094
115.75/115.82	c nbDecision=29000 #constraints=15170
116.25/116.38	c nbDecision=29500 #constraints=15247
116.75/116.80	c nbDecision=30000 #constraints=15302
117.35/117.42	c nbDecision=30500 #constraints=15380
117.75/117.88	c nbDecision=31000 #constraints=15441
118.24/118.39	c nbDecision=31500 #constraints=15504
118.85/118.91	c nbDecision=32000 #constraints=15566
119.45/119.59	c nbDecision=32500 #constraints=15650
120.04/120.13	c nbDecision=33000 #constraints=15713
120.54/120.67	c nbDecision=33500 #constraints=15774
121.34/121.40	c nbDecision=34000 #constraints=15859
121.95/122.09	c nbDecision=34500 #constraints=15934
122.55/122.64	c nbDecision=35000 #constraints=15992
123.05/123.19	c nbDecision=35500 #constraints=16049
123.85/123.94	c nbDecision=36000 #constraints=16128
124.45/124.59	c nbDecision=36500 #constraints=16194
125.64/125.76	c nbDecision=37000 #constraints=16313
126.24/126.34	c nbDecision=37500 #constraints=16369
126.84/126.98	c nbDecision=38000 #constraints=16430
127.54/127.64	c nbDecision=38500 #constraints=16491
128.44/128.56	c nbDecision=39000 #constraints=16575
129.44/129.59	c nbDecision=39500 #constraints=16670
130.14/130.29	c nbDecision=40000 #constraints=16731
131.74/131.83	c nbDecision=40500 #constraints=16868
132.34/132.49	c nbDecision=41000 #constraints=16924
133.14/133.21	c nbDecision=41500 #constraints=16985
133.84/133.97	c nbDecision=42000 #constraints=17046
134.94/135.00	c nbDecision=42500 #constraints=17130
136.04/136.18	c nbDecision=43000 #constraints=17225
136.84/136.98	c nbDecision=43500 #constraints=17286
138.24/138.30	c nbDecision=44000 #constraints=17392
139.64/139.74	c nbDecision=44500 #constraints=17501
141.34/141.41	c nbDecision=45000 #constraints=17625
142.04/142.17	c nbDecision=45500 #constraints=17681
142.95/143.08	c nbDecision=46000 #constraints=17744
143.84/143.99	c nbDecision=46500 #constraints=17805
145.14/145.23	c nbDecision=47000 #constraints=17889
146.54/146.62	c nbDecision=47500 #constraints=17982
147.63/147.79	c nbDecision=48000 #constraints=18057
149.13/149.21	c nbDecision=48500 #constraints=18151
150.94/151.08	c nbDecision=49000 #constraints=18271
152.63/152.72	c nbDecision=49500 #constraints=18376
154.73/154.81	c nbDecision=50000 #constraints=18508
156.63/156.77	c nbDecision=50500 #constraints=18628
157.53/157.69	c nbDecision=51000 #constraints=18684
158.03/158.15	c restart after 51201 decisions
160.33/160.41	c nbDecision=51500 #constraints=18709
160.83/160.94	c nbDecision=52000 #constraints=18718
161.93/162.03	c nbDecision=52500 #constraints=18779
163.43/163.52	c nbDecision=53000 #constraints=18863
164.83/164.92	c nbDecision=53500 #constraints=18938
166.43/166.56	c nbDecision=54000 #constraints=19028
168.33/168.49	c nbDecision=54500 #constraints=19134
170.23/170.33	c nbDecision=55000 #constraints=19229
172.23/172.32	c nbDecision=55500 #constraints=19338
174.53/174.67	c nbDecision=56000 #constraints=19458
176.92/177.01	c nbDecision=56500 #constraints=19584
179.33/179.43	c nbDecision=57000 #constraints=19704
182.53/182.62	c nbDecision=57500 #constraints=19865
184.03/184.15	c nbDecision=58000 #constraints=19940
185.22/185.32	c nbDecision=58500 #constraints=19998
186.62/186.77	c nbDecision=59000 #constraints=20066
188.22/188.30	c nbDecision=59500 #constraints=20134
189.82/189.97	c nbDecision=60000 #constraints=20211
191.81/191.96	c nbDecision=60500 #constraints=20299
194.52/194.70	c nbDecision=61000 #constraints=20419
195.92/196.09	c nbDecision=61500 #constraints=20480
199.12/199.27	c nbDecision=62000 #constraints=20621
200.91/201.08	c nbDecision=62500 #constraints=20696
204.91/205.01	c nbDecision=63000 #constraints=20867
206.72/206.89	c nbDecision=63500 #constraints=20942
210.61/210.78	c nbDecision=64000 #constraints=21104
212.81/212.94	c nbDecision=64500 #constraints=21196
215.91/216.02	c nbDecision=65000 #constraints=21316
220.31/220.47	c nbDecision=65500 #constraints=21499
225.70/225.86	c nbDecision=66000 #constraints=21664
232.90/233.03	c nbDecision=66500 #constraints=21892
240.30/240.43	c nbDecision=67000 #constraints=22120
246.90/247.05	c nbDecision=67500 #constraints=22310
254.00/254.18	c nbDecision=68000 #constraints=22511
262.20/262.33	c nbDecision=68500 #constraints=22739
265.69/265.83	c nbDecision=69000 #constraints=22847
273.69/273.90	c nbDecision=69500 #constraints=23055
277.58/277.71	c nbDecision=70000 #constraints=23174
281.08/281.26	c nbDecision=70500 #constraints=23282
284.58/284.72	c nbDecision=71000 #constraints=23387
293.77/293.94	c nbDecision=71500 #constraints=23617
297.68/297.82	c nbDecision=72000 #constraints=23726
302.38/302.53	c nbDecision=72500 #constraints=23861
306.17/306.38	c nbDecision=73000 #constraints=23967
309.97/310.14	c nbDecision=73500 #constraints=24073
316.07/316.27	c nbDecision=74000 #constraints=24201
321.47/321.68	c nbDecision=74500 #constraints=24350
326.77/326.90	c nbDecision=75000 #constraints=24486
330.66/330.86	c nbDecision=75500 #constraints=24592
334.86/335.04	c nbDecision=76000 #constraints=24700
338.87/339.01	c nbDecision=76500 #constraints=24804
341.86/342.00	c nbDecision=77000 #constraints=24881
345.96/346.14	c nbDecision=77500 #constraints=24987
350.16/350.32	c nbDecision=78000 #constraints=25092
351.96/352.12	c nbDecision=78500 #constraints=25145
361.45/361.64	c nbDecision=79000 #constraints=25344
366.05/366.28	c nbDecision=79500 #constraints=25452
371.85/372.09	c nbDecision=80000 #constraints=25588
376.45/376.63	c nbDecision=80500 #constraints=25695
380.84/381.04	c nbDecision=81000 #constraints=25801
383.94/384.12	c nbDecision=81500 #constraints=25876
388.64/388.88	c nbDecision=82000 #constraints=25984
393.14/393.38	c nbDecision=82500 #constraints=26088
396.64/396.87	c nbDecision=83000 #constraints=26172
398.64/398.82	c nbDecision=83500 #constraints=26219
404.64/404.84	c nbDecision=84000 #constraints=26354
408.23/408.44	c nbDecision=84500 #constraints=26438
411.54/411.71	c nbDecision=85000 #constraints=26513
414.73/414.97	c nbDecision=85500 #constraints=26588
416.84/417.07	c nbDecision=86000 #constraints=26642
420.33/420.55	c nbDecision=86500 #constraints=26702
431.22/431.44	c nbDecision=87000 #constraints=26917
436.52/436.74	c nbDecision=87500 #constraints=27026
442.92/443.18	c nbDecision=88000 #constraints=27161
448.22/448.41	c nbDecision=88500 #constraints=27267
453.22/453.49	c nbDecision=89000 #constraints=27373
456.92/457.19	c nbDecision=89500 #constraints=27449
462.41/462.61	c nbDecision=90000 #constraints=27564
466.11/466.31	c nbDecision=90500 #constraints=27640
469.61/469.84	c nbDecision=91000 #constraints=27714
474.61/474.82	c nbDecision=91500 #constraints=27808
480.11/480.32	c nbDecision=92000 #constraints=27920
484.30/484.56	c nbDecision=92500 #constraints=28010
486.70/486.92	c nbDecision=93000 #constraints=28064
490.40/490.65	c nbDecision=93500 #constraints=28139
492.80/493.03	c nbDecision=94000 #constraints=28193
498.40/498.63	c nbDecision=94500 #constraints=28299
503.90/504.11	c nbDecision=95000 #constraints=28405
507.69/507.91	c nbDecision=95500 #constraints=28480
510.09/510.36	c nbDecision=96000 #constraints=28534
513.90/514.19	c nbDecision=96500 #constraints=28609
516.39/516.63	c nbDecision=97000 #constraints=28663
520.29/520.50	c nbDecision=97500 #constraints=28738
522.69/522.97	c nbDecision=98000 #constraints=28792
525.18/525.44	c nbDecision=98500 #constraints=28846
536.79/537.01	c nbDecision=99000 #constraints=29015
543.58/543.89	c nbDecision=99500 #constraints=29143
549.68/549.98	c nbDecision=100000 #constraints=29251
555.77/556.02	c nbDecision=100500 #constraints=29358
563.38/563.65	c nbDecision=101000 #constraints=29493
567.87/568.18	c nbDecision=101500 #constraints=29577
574.17/574.45	c nbDecision=102000 #constraints=29685
579.37/579.64	c restart after 102401 decisions
584.37/584.60	c nbDecision=102500 #constraints=29772
585.57/585.82	c nbDecision=103000 #constraints=29772
587.47/587.71	c nbDecision=103500 #constraints=29807
592.07/592.36	c nbDecision=104000 #constraints=29891
596.46/596.79	c nbDecision=104500 #constraints=29968
602.66/602.91	c nbDecision=105000 #constraints=30074
606.96/607.22	c nbDecision=105500 #constraints=30149
611.47/611.79	c nbDecision=106000 #constraints=30232
615.76/616.06	c nbDecision=106500 #constraints=30307
618.45/618.79	c nbDecision=107000 #constraints=30361
623.05/623.39	c nbDecision=107500 #constraints=30438
629.45/629.73	c nbDecision=108000 #constraints=30544
635.45/635.79	c nbDecision=108500 #constraints=30642
638.55/638.81	c nbDecision=109000 #constraints=30702
643.35/643.66	c nbDecision=109500 #constraints=30786
645.74/646.05	c nbDecision=110000 #constraints=30831
650.74/651.02	c nbDecision=110500 #constraints=30915
653.15/653.41	c nbDecision=111000 #constraints=30960
655.94/656.22	c nbDecision=111500 #constraints=31014
660.74/661.01	c nbDecision=112000 #constraints=31091
667.33/667.62	c nbDecision=112500 #constraints=31197
673.33/673.60	c nbDecision=113000 #constraints=31289
676.74/677.07	c nbDecision=113500 #constraints=31355
681.34/681.67	c nbDecision=114000 #constraints=31430
684.23/684.58	c nbDecision=114500 #constraints=31484
688.93/689.27	c nbDecision=115000 #constraints=31559
691.93/692.20	c nbDecision=115500 #constraints=31613
694.82/695.12	c nbDecision=116000 #constraints=31667
699.43/699.77	c nbDecision=116500 #constraints=31742
702.42/702.79	c nbDecision=117000 #constraints=31796
705.42/705.79	c nbDecision=117500 #constraints=31850
708.02/708.34	c nbDecision=118000 #constraints=31895
719.52/719.81	c nbDecision=118500 #constraints=32036
728.62/728.93	c nbDecision=119000 #constraints=32172
737.91/738.21	c nbDecision=119500 #constraints=32308
744.90/745.22	c nbDecision=120000 #constraints=32414
752.31/752.65	c nbDecision=120500 #constraints=32522
759.30/759.65	c nbDecision=121000 #constraints=32626
764.60/764.92	c nbDecision=121500 #constraints=32703
771.80/772.19	c nbDecision=122000 #constraints=32809
779.40/779.73	c nbDecision=122500 #constraints=32922
782.09/782.41	c nbDecision=123000 #constraints=32967
789.59/789.98	c nbDecision=123500 #constraints=33073
796.88/797.29	c nbDecision=124000 #constraints=33179
802.49/802.86	c nbDecision=124500 #constraints=33263
805.69/806.06	c nbDecision=125000 #constraints=33317
810.88/811.25	c nbDecision=125500 #constraints=33392
814.08/814.45	c nbDecision=126000 #constraints=33446
821.88/822.25	c nbDecision=126500 #constraints=33554
829.27/829.69	c nbDecision=127000 #constraints=33658
834.48/834.85	c nbDecision=127500 #constraints=33733
837.88/838.30	c nbDecision=128000 #constraints=33788
842.97/843.40	c nbDecision=128500 #constraints=33862
846.27/846.69	c nbDecision=129000 #constraints=33916
851.57/851.97	c nbDecision=129500 #constraints=33991
854.97/855.30	c nbDecision=130000 #constraints=34045
858.27/858.60	c nbDecision=130500 #constraints=34099
865.87/866.22	c nbDecision=131000 #constraints=34196
874.06/874.46	c nbDecision=131500 #constraints=34311
879.36/879.78	c nbDecision=132000 #constraints=34386
882.96/883.35	c nbDecision=132500 #constraints=34441
888.26/888.64	c nbDecision=133000 #constraints=34515
891.66/892.04	c nbDecision=133500 #constraints=34569
897.05/897.44	c nbDecision=134000 #constraints=34644
900.45/900.88	c nbDecision=134500 #constraints=34698
903.45/903.80	c nbDecision=135000 #constraints=34743
909.45/909.87	c nbDecision=135500 #constraints=34827
912.44/912.85	c nbDecision=136000 #constraints=34872
915.84/916.26	c nbDecision=136500 #constraints=34926
919.35/919.76	c nbDecision=137000 #constraints=34980
927.74/928.12	c nbDecision=137500 #constraints=35086
935.84/936.20	c nbDecision=138000 #constraints=35192
941.35/941.74	c nbDecision=138500 #constraints=35267
944.94/945.32	c nbDecision=139000 #constraints=35321
950.53/950.96	c nbDecision=139500 #constraints=35396
954.13/954.53	c nbDecision=140000 #constraints=35450
959.73/960.18	c nbDecision=140500 #constraints=35525
963.33/963.77	c nbDecision=141000 #constraints=35579
966.92/967.37	c nbDecision=141500 #constraints=35633
972.72/973.13	c nbDecision=142000 #constraints=35708
976.33/976.73	c nbDecision=142500 #constraints=35762
979.33/979.74	c nbDecision=143000 #constraints=35807
982.92/983.39	c nbDecision=143500 #constraints=35861
988.82/989.21	c nbDecision=144000 #constraints=35936
992.52/992.93	c nbDecision=144500 #constraints=35990
996.12/996.52	c nbDecision=145000 #constraints=36044
999.21/999.62	c nbDecision=145500 #constraints=36089
1002.91/1003.34	c nbDecision=146000 #constraints=36143
1006.11/1006.60	c nbDecision=146500 #constraints=36188
1027.80/1028.28	c nbDecision=147000 #constraints=36418
1037.10/1037.51	c nbDecision=147500 #constraints=36527
1047.80/1048.23	c nbDecision=148000 #constraints=36654
1057.20/1057.64	c nbDecision=148500 #constraints=36768
1065.89/1066.36	c nbDecision=149000 #constraints=36874
1072.19/1072.67	c nbDecision=149500 #constraints=36950
1080.89/1081.38	c nbDecision=150000 #constraints=37056
1087.08/1087.50	c nbDecision=150500 #constraints=37131
1093.78/1094.29	c nbDecision=151000 #constraints=37215
1100.28/1100.72	c nbDecision=151500 #constraints=37292
1109.18/1109.68	c nbDecision=152000 #constraints=37398
1116.97/1117.43	c nbDecision=152500 #constraints=37485
1121.97/1122.44	c nbDecision=153000 #constraints=37556
1128.17/1128.68	c nbDecision=153500 #constraints=37631
1132.16/1132.63	c nbDecision=154000 #constraints=37685
1138.76/1139.22	c nbDecision=154500 #constraints=37762
1147.96/1148.40	c nbDecision=155000 #constraints=37868
1157.55/1158.01	c nbDecision=155500 #constraints=37981
1160.86/1161.38	c nbDecision=156000 #constraints=38026
1167.86/1168.37	c nbDecision=156500 #constraints=38110
1171.25/1171.77	c nbDecision=157000 #constraints=38155
1178.25/1178.77	c nbDecision=157500 #constraints=38239
1181.65/1182.16	c nbDecision=158000 #constraints=38284
1185.64/1186.19	c nbDecision=158500 #constraints=38338
1192.54/1193.05	c nbDecision=159000 #constraints=38415
1201.84/1202.36	c nbDecision=159500 #constraints=38521
1210.93/1211.42	c nbDecision=160000 #constraints=38619
1215.24/1215.79	c nbDecision=160500 #constraints=38679
1222.43/1222.92	c nbDecision=161000 #constraints=38763
1225.93/1226.42	c nbDecision=161500 #constraints=38808
1233.12/1233.65	c nbDecision=162000 #constraints=38892
1236.63/1237.13	c nbDecision=162500 #constraints=38937
1240.73/1241.22	c nbDecision=163000 #constraints=38991
1247.33/1247.84	c nbDecision=163500 #constraints=39066
1251.52/1252.09	c nbDecision=164000 #constraints=39120
1255.73/1256.28	c nbDecision=164500 #constraints=39174
1259.22/1259.80	c nbDecision=165000 #constraints=39219
1266.31/1266.88	c nbDecision=165500 #constraints=39295
1276.71/1277.27	c nbDecision=166000 #constraints=39411
1283.41/1283.92	c nbDecision=166500 #constraints=39486
1290.01/1290.51	c nbDecision=167000 #constraints=39560
1297.31/1297.88	c nbDecision=167500 #constraints=39644
1300.91/1301.47	c nbDecision=168000 #constraints=39689
1308.30/1308.89	c nbDecision=168500 #constraints=39773
1312.00/1312.57	c nbDecision=169000 #constraints=39818
1316.30/1316.82	c nbDecision=169500 #constraints=39872
1323.00/1323.58	c nbDecision=170000 #constraints=39947
1327.40/1327.93	c nbDecision=170500 #constraints=40001
1331.79/1332.31	c nbDecision=171000 #constraints=40055
1335.39/1335.95	c nbDecision=171500 #constraints=40100
1342.99/1343.50	c nbDecision=172000 #constraints=40184
1346.58/1347.19	c nbDecision=172500 #constraints=40229
1351.08/1351.63	c nbDecision=173000 #constraints=40283
1355.38/1355.97	c nbDecision=173500 #constraints=40337
1359.09/1359.70	c nbDecision=174000 #constraints=40382
1363.49/1364.06	c nbDecision=174500 #constraints=40436
1374.17/1374.71	c nbDecision=175000 #constraints=40544
1384.07/1384.69	c nbDecision=175500 #constraints=40648
1391.08/1391.69	c nbDecision=176000 #constraints=40723
1395.77/1396.33	c nbDecision=176500 #constraints=40778
1402.56/1403.18	c nbDecision=177000 #constraints=40852
1407.07/1407.60	c nbDecision=177500 #constraints=40906
1414.07/1414.68	c nbDecision=178000 #constraints=40981
1418.56/1419.15	c nbDecision=178500 #constraints=41035
1423.06/1423.64	c nbDecision=179000 #constraints=41089
1430.25/1430.80	c nbDecision=179500 #constraints=41164
1434.75/1435.30	c nbDecision=180000 #constraints=41218
1438.46/1439.07	c nbDecision=180500 #constraints=41263
1443.05/1443.62	c nbDecision=181000 #constraints=41317
1450.25/1450.89	c nbDecision=181500 #constraints=41392
1454.85/1455.43	c nbDecision=182000 #constraints=41446
1459.34/1459.94	c nbDecision=182500 #constraints=41500
1463.14/1463.78	c nbDecision=183000 #constraints=41545
1467.84/1468.42	c nbDecision=183500 #constraints=41599
1475.14/1475.73	c nbDecision=184000 #constraints=41674
1479.74/1480.31	c nbDecision=184500 #constraints=41728
1483.64/1484.24	c nbDecision=185000 #constraints=41773
1488.23/1488.86	c nbDecision=185500 #constraints=41827
1492.93/1493.53	c nbDecision=186000 #constraints=41881
1496.73/1497.39	c nbDecision=186500 #constraints=41926
1501.43/1502.06	c nbDecision=187000 #constraints=41980
1522.22/1522.85	c nbDecision=187500 #constraints=42150
1535.42/1536.07	c nbDecision=188000 #constraints=42271
1547.01/1547.60	c nbDecision=188500 #constraints=42384
1558.71/1559.35	c nbDecision=189000 #constraints=42500
1570.61/1571.25	c nbDecision=189500 #constraints=42606
1580.50/1581.17	c nbDecision=190000 #constraints=42711
1591.80/1592.49	c nbDecision=190500 #constraints=42817
1602.79/1603.45	c nbDecision=191000 #constraints=42923
1610.39/1611.04	c nbDecision=191500 #constraints=42998
1615.18/1615.85	c nbDecision=192000 #constraints=43052
1626.78/1627.46	c nbDecision=192500 #constraints=43160
1637.78/1638.43	c nbDecision=193000 #constraints=43264
1645.37/1646.08	c nbDecision=193500 #constraints=43339
1650.58/1651.21	c nbDecision=194000 #constraints=43394
1658.17/1658.81	c nbDecision=194500 #constraints=43468
1662.88/1663.53	c nbDecision=195000 #constraints=43522
1674.67/1675.37	c nbDecision=195500 #constraints=43630
1685.86/1686.51	c nbDecision=196000 #constraints=43734
1694.46/1695.15	c nbDecision=196500 #constraints=43818
1698.75/1699.46	c nbDecision=197000 #constraints=43864
1707.26/1707.91	c nbDecision=197500 #constraints=43947
1711.36/1712.05	c nbDecision=198000 #constraints=43992
1720.05/1720.77	c nbDecision=198500 #constraints=44076
1724.25/1724.94	c nbDecision=199000 #constraints=44121
1729.24/1729.91	c nbDecision=199500 #constraints=44175
1741.24/1741.97	c nbDecision=200000 #constraints=44283
1752.74/1753.40	c nbDecision=200500 #constraints=44387
1761.44/1762.17	c nbDecision=201000 #constraints=44471
1765.94/1766.62	c nbDecision=201500 #constraints=44517
1774.53/1775.25	c nbDecision=202000 #constraints=44600
1778.72/1779.45	c nbDecision=202500 #constraints=44645
1787.73/1788.40	c nbDecision=203000 #constraints=44729
1791.92/1792.62	c nbDecision=203500 #constraints=44774
1797.02/1797.71	c nbDecision=204000 #constraints=44828
1800.03/1800.71	Received signal 15
1800.22/1800.94	
1800.22/1800.94	s UNKNOWN
1800.22/1800.94	
1800.22/1800.94	c user time= 1799.28 s
1800.22/1800.94	c system time= 0.995848 s
1800.22/1800.94	c wall clock time=1800.95

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/node10/watcher-356999-1176850983 -o ROOT/results/node10/solver-356999-1176850983 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356999-1176850983/instance-356999-1176850983.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: 1.07 1.02 1.00 3/77 15633
/proc/meminfo: memFree=1808704/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=1620 CPUtime=0
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 161135809 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 405 175 126 317 0 84 0

[startup+0.105034 s]
/proc/loadavg: 1.07 1.02 1.00 3/77 15633
/proc/meminfo: memFree=1808704/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=3504 CPUtime=0.1
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 699 0 0 0 10 0 0 0 18 0 1 0 161135809 3588096 648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 876 649 131 317 0 555 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3504

[startup+0.201055 s]
/proc/loadavg: 1.07 1.02 1.00 3/77 15633
/proc/meminfo: memFree=1808704/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=5868 CPUtime=0.19
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 1303 0 0 0 19 0 0 0 18 0 1 0 161135809 6008832 1252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 1467 1252 137 317 0 1146 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5868

[startup+0.301076 s]
/proc/loadavg: 1.07 1.02 1.00 3/77 15633
/proc/meminfo: memFree=1808704/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=5996 CPUtime=0.29
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 1331 0 0 0 29 0 0 0 19 0 1 0 161135809 6139904 1280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 1499 1280 138 317 0 1178 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5996

[startup+0.701162 s]
/proc/loadavg: 1.07 1.02 1.00 3/77 15633
/proc/meminfo: memFree=1808704/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=6772 CPUtime=0.69
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 1582 0 0 0 69 0 0 0 23 0 1 0 161135809 6934528 1531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 1693 1531 170 317 0 1372 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6772

[startup+1.50133 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 15634
/proc/meminfo: memFree=1801272/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=10436 CPUtime=1.49
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 2474 0 0 0 148 1 0 0 25 0 1 0 161135809 10686464 2423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 2609 2423 170 317 0 2288 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10436

[startup+3.10168 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 15634
/proc/meminfo: memFree=1797816/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=14584 CPUtime=3.09
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 3494 0 0 0 308 1 0 0 25 0 1 0 161135809 14934016 3443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 3646 3443 170 317 0 3325 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14584

[startup+6.30137 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 15634
/proc/meminfo: memFree=1791872/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=20244 CPUtime=6.29
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 4800 0 0 0 627 2 0 0 25 0 1 0 161135809 20729856 4749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 5061 4749 170 317 0 4740 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20244

[startup+12.7017 s]
/proc/loadavg: 1.05 1.02 1.00 2/78 15634
/proc/meminfo: memFree=1784384/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=26280 CPUtime=12.69
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 6356 0 0 0 1266 3 0 0 25 0 1 0 161135809 26910720 6305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 6570 6305 170 317 0 6249 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26280

[startup+25.5015 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 15634
/proc/meminfo: memFree=1776192/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=34988 CPUtime=25.48
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 8299 0 0 0 2544 4 0 0 25 0 1 0 161135809 35827712 8248 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271317 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 8747 8248 170 317 0 8426 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34988

[startup+51.102 s]
/proc/loadavg: 1.03 1.02 1.00 2/78 15634
/proc/meminfo: memFree=1750848/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=60508 CPUtime=51.07
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 14676 0 0 0 5098 9 0 0 25 0 1 0 161135809 61960192 14568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 15127 14568 170 317 0 14806 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 60508

[startup+102.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 15634
/proc/meminfo: memFree=1714176/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=98920 CPUtime=102.26
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 23824 0 0 0 10211 15 0 0 25 0 1 0 161135809 101294080 23716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 24730 23716 170 317 0 24409 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 98920

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15634
/proc/meminfo: memFree=1609344/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=207676 CPUtime=162.23
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 50251 0 0 0 16195 28 0 0 25 0 1 0 161135809 212660224 50029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 51919 50029 170 317 0 51598 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 207676

[startup+222.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15634
/proc/meminfo: memFree=1552320/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=262392 CPUtime=222.21
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 64293 0 0 0 22187 34 0 0 25 0 1 0 161135809 268689408 64071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 65598 64071 170 317 0 65277 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 262392

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15634
/proc/meminfo: memFree=1515200/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=307404 CPUtime=282.19
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 73651 0 0 0 28180 39 0 0 25 0 1 0 161135809 314781696 73429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 76851 73429 170 317 0 76530 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 307404

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15634
/proc/meminfo: memFree=1487872/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=332064 CPUtime=342.16
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 80369 0 0 0 34173 43 0 0 25 0 1 0 161135809 340033536 80147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 83016 80147 170 317 0 82695 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 332064

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15634
/proc/meminfo: memFree=1463680/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=354224 CPUtime=402.13
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 86462 0 0 0 40167 46 0 0 25 0 1 0 161135809 362725376 86240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 88556 86240 170 317 0 88235 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 354224

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15634
/proc/meminfo: memFree=1439744/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=383080 CPUtime=462.11
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 93645 0 0 0 46161 50 0 0 25 0 1 0 161135809 392273920 92136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 95770 92136 170 317 0 95449 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 383080

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15634
/proc/meminfo: memFree=1418816/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=403520 CPUtime=522.09
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 99226 0 0 0 52156 53 0 0 25 0 1 0 161135809 413204480 97420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 100880 97420 170 317 0 100559 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 403520

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15634
/proc/meminfo: memFree=1401152/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=419360 CPUtime=582.07
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 103599 0 0 0 58151 56 0 0 25 0 1 0 161135809 429424640 101727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 104840 101727 170 317 0 104519 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 419360

[startup+642.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 15634
/proc/meminfo: memFree=1384256/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=434956 CPUtime=642.04
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 107924 0 0 0 64146 58 0 0 25 0 1 0 161135809 445394944 106019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 108739 106019 170 317 0 108418 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 434956


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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15634
/proc/meminfo: memFree=1292416/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=545800 CPUtime=941.94
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 135677 0 0 0 94122 72 0 0 25 0 1 0 161135809 558899200 128827 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 136450 128827 170 317 0 136129 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 545800

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15634
/proc/meminfo: memFree=1277248/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=559288 CPUtime=1001.91
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 139481 0 0 0 100118 73 0 0 25 0 1 0 161135809 572710912 132565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 139822 132565 170 317 0 139501 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 559288

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15634
/proc/meminfo: memFree=1264704/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=570196 CPUtime=1061.89
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 142652 0 0 0 106114 75 0 0 25 0 1 0 161135809 583880704 135736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 142549 135736 170 317 0 142228 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 570196

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15634
/proc/meminfo: memFree=1251584/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=581616 CPUtime=1121.87
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 145933 0 0 0 112111 76 0 0 25 0 1 0 161135809 595574784 138984 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 145404 138984 170 317 0 145083 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 581616

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15634
/proc/meminfo: memFree=1238720/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=593168 CPUtime=1181.85
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 149168 0 0 0 118107 78 0 0 25 0 1 0 161135809 607404032 142186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 148292 142186 170 317 0 147971 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 593168

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15634
/proc/meminfo: memFree=1225728/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=604600 CPUtime=1241.83
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 152421 0 0 0 124102 81 0 0 25 0 1 0 161135809 619110400 145406 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 151150 145406 170 317 0 150829 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 604600

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15634
/proc/meminfo: memFree=1213312/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=615364 CPUtime=1301.8
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 155527 0 0 0 130098 82 0 0 25 0 1 0 161135809 630132736 148512 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 153841 148512 170 317 0 153520 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 615364

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15634
/proc/meminfo: memFree=1200192/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=626664 CPUtime=1361.78
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 158823 0 0 0 136094 84 0 0 25 0 1 0 161135809 641703936 151775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 156666 151775 170 317 0 156345 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 626664

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15634
/proc/meminfo: memFree=1188416/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=636792 CPUtime=1421.76
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 161715 0 0 0 142090 86 0 0 25 0 1 0 161135809 652075008 154667 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 159198 154667 170 317 0 158877 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 636792

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15634
/proc/meminfo: memFree=1176128/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=647444 CPUtime=1481.74
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 164810 0 0 0 148086 88 0 0 25 0 1 0 161135809 662982656 157762 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 161861 157762 170 317 0 161540 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 647444

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15634
/proc/meminfo: memFree=1165504/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=656476 CPUtime=1541.72
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 167426 0 0 0 154082 90 0 0 25 0 1 0 161135809 672231424 160378 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 164119 160378 170 317 0 163798 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 656476

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15634
/proc/meminfo: memFree=1153856/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=684096 CPUtime=1601.69
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 174085 0 0 0 160076 93 0 0 25 0 1 0 161135809 700514304 163299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 171024 163299 170 317 0 170703 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 684096

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15634
/proc/meminfo: memFree=1142784/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=693404 CPUtime=1661.68
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 176822 0 0 0 166073 95 0 0 25 0 1 0 161135809 710045696 166036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 173351 166036 170 317 0 173030 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 693404

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15634
/proc/meminfo: memFree=1132480/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=702444 CPUtime=1721.65
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 179410 0 0 0 172069 96 0 0 25 0 1 0 161135809 719302656 168624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 175611 168624 170 317 0 175290 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 702444

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15636
/proc/meminfo: memFree=1121984/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=711396 CPUtime=1781.63
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 181929 0 0 0 178064 99 0 0 25 0 1 0 161135809 728469504 171143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 177849 171143 170 317 0 177528 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 711396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15636
/proc/meminfo: memFree=1118528/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=715084 CPUtime=1800.03
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 182963 0 0 0 179904 99 0 0 25 0 1 0 161135809 732246016 171982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 178771 171982 170 317 0 178450 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 715084

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

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

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15636
/proc/meminfo: memFree=1118528/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=715084 CPUtime=1800.22
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 182969 0 0 0 179923 99 0 0 25 0 1 0 161135809 732246016 171988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 178771 171988 170 317 0 178450 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 715084

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15636
/proc/meminfo: memFree=1118528/2055920 swapFree=4152288/4192956
[pid=15633] ppid=15631 vsize=0 CPUtime=1800.32
/proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194308 182985 0 0 0 179928 104 0 0 25 0 1 0 161135809 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15633/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.07
CPU time (s): 1800.4
CPU user time (s): 1799.29
CPU system time (s): 1.11083
CPU usage (%): 99.9627
Max. virtual memory (cumulated for all children) (KiB): 715084

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

runsolver used 2.14567 second user time and 4.41633 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Tue Apr 17 23:03:03 UTC 2007

IDJOB= 356999
IDBENCH= 1758
IDSOLVER= 172
FILE ID= node10/356999-1176850983

PBS_JOBID= 4590181

Free space on /tmp= 66300 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  99a4e5b0ce7b98bffc278cf1f6704eb9

RANDOM SEED= 764049384

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node10.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.259
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.259
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:       1809112 kB
Buffers:         18368 kB
Cached:         163240 kB
SwapCached:       8656 kB
Active:          38348 kB
Inactive:       166488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1809112 kB
SwapTotal:     4192956 kB
SwapFree:      4152288 kB
Dirty:            1928 kB
Writeback:           0 kB
Mapped:          30220 kB
Slab:            27628 kB
Committed_AS:  3507936 kB
PageTables:       1708 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= 66300 MiB

End job on node10 on Tue Apr 17 23:33:06 UTC 2007