Trace number 356980

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) 1801.01 1801.6

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-grow7.opb
MD5SUM8d33b9e58f24eb64e3fc155c85c275f1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1782.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables7994
Total number of constraints420
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints420
Minimum length of a constraint22
Maximum length of a constraint491
Number of terms in the objective function 623
Biggest coefficient in the objective function 28673
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 524874
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 256781
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524874
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.17	c ...done
0.10/0.17	c #vars=7994 #constraints=561 hasObjective=yes
0.19/0.20	c res. mode=mod
0.19/0.20	c VSIDS like heuristics
0.19/0.20	c complete search running
0.29/0.33	c restart after 401 decisions
0.29/0.36	c nbDecision=500 #constraints=567
0.39/0.47	c restart after 801 decisions
0.49/0.54	c nbDecision=1000 #constraints=602
0.69/0.72	c nbDecision=1500 #constraints=674
0.69/0.76	c restart after 1601 decisions
0.89/0.90	c nbDecision=2000 #constraints=730
1.00/1.08	c nbDecision=2500 #constraints=798
1.29/1.31	c nbDecision=3000 #constraints=927
1.39/1.40	c restart after 3201 decisions
1.49/1.50	c nbDecision=3500 #constraints=981
1.69/1.71	c nbDecision=4000 #constraints=1052
1.89/1.91	c nbDecision=4500 #constraints=1126
2.09/2.11	c nbDecision=5000 #constraints=1199
2.29/2.32	c nbDecision=5500 #constraints=1264
2.49/2.54	c nbDecision=6000 #constraints=1333
2.59/2.70	c restart after 6401 decisions
2.69/2.74	c nbDecision=6500 #constraints=1372
2.89/2.93	c nbDecision=7000 #constraints=1418
3.09/3.15	c nbDecision=7500 #constraints=1486
3.49/3.51	c nbDecision=8000 #constraints=1636
3.69/3.76	c nbDecision=8500 #constraints=1714
3.99/4.00	c nbDecision=9000 #constraints=1776
4.19/4.25	c nbDecision=9500 #constraints=1859
4.59/4.60	c nbDecision=10000 #constraints=1986
4.89/4.95	c nbDecision=10500 #constraints=2056
5.19/5.20	c nbDecision=11000 #constraints=2103
5.49/5.59	c nbDecision=11500 #constraints=2204
6.28/6.39	c nbDecision=12000 #constraints=2381
7.29/7.37	c nbDecision=12500 #constraints=2650
7.79/7.83	c restart after 12801 decisions
7.89/7.96	c nbDecision=13000 #constraints=2749
8.19/8.23	c nbDecision=13500 #constraints=2779
8.69/8.71	c nbDecision=14000 #constraints=2879
9.18/9.22	c nbDecision=14500 #constraints=2984
9.79/9.86	c nbDecision=15000 #constraints=3102
10.19/10.29	c nbDecision=15500 #constraints=3175
10.59/10.65	c nbDecision=16000 #constraints=3215
11.00/11.01	c nbDecision=16500 #constraints=3251
11.39/11.43	c nbDecision=17000 #constraints=3301
11.69/11.78	c nbDecision=17500 #constraints=3326
12.10/12.17	c nbDecision=18000 #constraints=3375
12.49/12.57	c nbDecision=18500 #constraints=3413
12.99/13.02	c nbDecision=19000 #constraints=3482
13.59/13.61	c nbDecision=19500 #constraints=3556
14.09/14.19	c nbDecision=20000 #constraints=3651
14.59/14.62	c nbDecision=20500 #constraints=3691
15.29/15.33	c nbDecision=21000 #constraints=3802
15.79/15.80	c nbDecision=21500 #constraints=3834
16.29/16.32	c nbDecision=22000 #constraints=3884
16.69/16.74	c nbDecision=22500 #constraints=3917
17.19/17.21	c nbDecision=23000 #constraints=3953
17.59/17.67	c nbDecision=23500 #constraints=3982
18.69/18.72	c nbDecision=24000 #constraints=4090
19.18/19.29	c nbDecision=24500 #constraints=4149
19.98/20.06	c nbDecision=25000 #constraints=4202
20.79/20.90	c nbDecision=25500 #constraints=4278
20.98/21.07	c restart after 25601 decisions
21.38/21.40	c nbDecision=26000 #constraints=4322
22.08/22.17	c nbDecision=26500 #constraints=4407
22.99/23.00	c nbDecision=27000 #constraints=4518
23.88/23.91	c nbDecision=27500 #constraints=4622
24.68/24.74	c nbDecision=28000 #constraints=4763
25.48/25.53	c nbDecision=28500 #constraints=4889
27.39/27.41	c nbDecision=29000 #constraints=5067
28.59/28.60	c nbDecision=29500 #constraints=5145
29.59/29.68	c nbDecision=30000 #constraints=5202
30.59/30.62	c nbDecision=30500 #constraints=5234
31.49/31.59	c nbDecision=31000 #constraints=5300
32.28/32.38	c nbDecision=31500 #constraints=5344
33.68/33.75	c nbDecision=32000 #constraints=5426
34.48/34.58	c nbDecision=32500 #constraints=5492
35.68/35.70	c nbDecision=33000 #constraints=5538
36.98/37.01	c nbDecision=33500 #constraints=5624
38.48/38.54	c nbDecision=34000 #constraints=5701
39.58/39.69	c nbDecision=34500 #constraints=5756
41.48/41.58	c nbDecision=35000 #constraints=5995
42.88/42.98	c nbDecision=35500 #constraints=6140
44.58/44.62	c nbDecision=36000 #constraints=6233
45.88/45.99	c nbDecision=36500 #constraints=6293
47.87/47.99	c nbDecision=37000 #constraints=6381
49.67/49.78	c nbDecision=37500 #constraints=6477
51.17/51.21	c nbDecision=38000 #constraints=6538
52.57/52.68	c nbDecision=38500 #constraints=6595
53.87/53.98	c nbDecision=39000 #constraints=6651
55.07/55.15	c nbDecision=39500 #constraints=6691
56.38/56.49	c nbDecision=40000 #constraints=6747
57.78/57.86	c nbDecision=40500 #constraints=6799
59.38/59.47	c nbDecision=41000 #constraints=6860
61.37/61.46	c nbDecision=41500 #constraints=6974
63.47/63.52	c nbDecision=42000 #constraints=7052
67.67/67.72	c nbDecision=42500 #constraints=7265
69.77/69.82	c nbDecision=43000 #constraints=7308
71.37/71.46	c nbDecision=43500 #constraints=7343
73.47/73.51	c nbDecision=44000 #constraints=7392
74.97/75.01	c nbDecision=44500 #constraints=7503
76.27/76.32	c nbDecision=45000 #constraints=7580
77.66/77.74	c nbDecision=45500 #constraints=7662
79.26/79.38	c nbDecision=46000 #constraints=7753
80.57/80.65	c nbDecision=46500 #constraints=7789
82.38/82.42	c nbDecision=47000 #constraints=7865
83.67/83.77	c nbDecision=47500 #constraints=7895
85.17/85.24	c nbDecision=48000 #constraints=7933
86.67/86.71	c nbDecision=48500 #constraints=7961
88.07/88.18	c nbDecision=49000 #constraints=8017
89.57/89.68	c nbDecision=49500 #constraints=8081
91.17/91.24	c nbDecision=50000 #constraints=8155
92.66/92.75	c nbDecision=50500 #constraints=8222
94.06/94.14	c nbDecision=51000 #constraints=8249
94.66/94.76	c restart after 51201 decisions
95.26/95.38	c nbDecision=51500 #constraints=8275
96.67/96.78	c nbDecision=52000 #constraints=8311
98.86/98.99	c nbDecision=52500 #constraints=8419
101.26/101.31	c nbDecision=53000 #constraints=8489
103.76/103.83	c nbDecision=53500 #constraints=8592
105.46/105.58	c nbDecision=54000 #constraints=8652
107.37/107.47	c nbDecision=54500 #constraints=8675
109.27/109.38	c nbDecision=55000 #constraints=8708
111.86/111.97	c nbDecision=55500 #constraints=8754
114.86/114.94	c nbDecision=56000 #constraints=8838
117.36/117.49	c nbDecision=56500 #constraints=8892
120.56/120.61	c nbDecision=57000 #constraints=8997
123.06/123.14	c nbDecision=57500 #constraints=9048
125.66/125.73	c nbDecision=58000 #constraints=9092
128.56/128.68	c nbDecision=58500 #constraints=9153
130.76/130.85	c nbDecision=59000 #constraints=9185
133.46/133.53	c nbDecision=59500 #constraints=9253
136.16/136.21	c nbDecision=60000 #constraints=9306
138.46/138.57	c nbDecision=60500 #constraints=9358
141.25/141.39	c nbDecision=61000 #constraints=9410
144.25/144.30	c nbDecision=61500 #constraints=9464
146.85/146.96	c nbDecision=62000 #constraints=9514
149.46/149.51	c nbDecision=62500 #constraints=9568
152.25/152.36	c nbDecision=63000 #constraints=9631
154.55/154.66	c nbDecision=63500 #constraints=9659
157.75/157.87	c nbDecision=64000 #constraints=9706
160.85/160.94	c nbDecision=64500 #constraints=9747
163.25/163.33	c nbDecision=65000 #constraints=9783
165.95/166.09	c nbDecision=65500 #constraints=9828
168.34/168.44	c nbDecision=66000 #constraints=9878
171.04/171.14	c nbDecision=66500 #constraints=9932
174.44/174.54	c nbDecision=67000 #constraints=9998
177.05/177.12	c nbDecision=67500 #constraints=10040
180.04/180.18	c nbDecision=68000 #constraints=10124
183.44/183.53	c nbDecision=68500 #constraints=10180
186.34/186.43	c nbDecision=69000 #constraints=10220
188.94/189.01	c nbDecision=69500 #constraints=10248
192.03/192.15	c nbDecision=70000 #constraints=10291
195.33/195.50	c nbDecision=70500 #constraints=10349
198.44/198.54	c nbDecision=71000 #constraints=10411
201.64/201.78	c nbDecision=71500 #constraints=10471
204.44/204.58	c nbDecision=72000 #constraints=10533
206.24/206.30	c nbDecision=72500 #constraints=10590
208.34/208.48	c nbDecision=73000 #constraints=10648
211.14/211.21	c nbDecision=73500 #constraints=10791
214.93/215.07	c nbDecision=74000 #constraints=10865
218.93/219.06	c nbDecision=74500 #constraints=10939
221.83/221.92	c nbDecision=75000 #constraints=10982
224.73/224.81	c nbDecision=75500 #constraints=11028
227.43/227.50	c nbDecision=76000 #constraints=11068
229.33/229.41	c nbDecision=76500 #constraints=11111
231.63/231.76	c nbDecision=77000 #constraints=11153
235.33/235.46	c nbDecision=77500 #constraints=11220
238.53/238.70	c nbDecision=78000 #constraints=11256
242.02/242.16	c nbDecision=78500 #constraints=11318
245.62/245.71	c nbDecision=79000 #constraints=11378
248.43/248.52	c nbDecision=79500 #constraints=11415
251.03/251.14	c nbDecision=80000 #constraints=11460
254.92/255.09	c nbDecision=80500 #constraints=11568
258.22/258.39	c nbDecision=81000 #constraints=11673
262.12/262.23	c nbDecision=81500 #constraints=11762
268.52/268.63	c nbDecision=82000 #constraints=11932
274.52/274.67	c nbDecision=82500 #constraints=12073
280.21/280.35	c nbDecision=83000 #constraints=12168
287.92/288.05	c nbDecision=83500 #constraints=12357
294.01/294.19	c nbDecision=84000 #constraints=12496
298.71/298.86	c nbDecision=84500 #constraints=12597
302.71/302.87	c nbDecision=85000 #constraints=12683
306.90/307.07	c nbDecision=85500 #constraints=12765
311.80/311.91	c nbDecision=86000 #constraints=12859
317.11/317.23	c nbDecision=86500 #constraints=12939
330.90/331.00	c nbDecision=87000 #constraints=13168
346.10/346.27	c nbDecision=87500 #constraints=13429
347.80/347.91	c nbDecision=88000 #constraints=13463
349.80/349.91	c nbDecision=88500 #constraints=13526
351.80/352.00	c nbDecision=89000 #constraints=13587
354.39/354.56	c nbDecision=89500 #constraints=13663
356.79/356.96	c nbDecision=90000 #constraints=13737
358.58/358.78	c nbDecision=90500 #constraints=13787
360.37/360.53	c nbDecision=91000 #constraints=13833
361.97/362.19	c nbDecision=91500 #constraints=13875
363.67/363.88	c nbDecision=92000 #constraints=13917
365.47/365.66	c nbDecision=92500 #constraints=13966
367.36/367.56	c nbDecision=93000 #constraints=14015
369.95/370.11	c nbDecision=93500 #constraints=14081
374.95/375.17	c nbDecision=94000 #constraints=14218
377.54/377.74	c nbDecision=94500 #constraints=14291
379.34/379.55	c nbDecision=95000 #constraints=14330
381.32/381.55	c nbDecision=95500 #constraints=14377
383.63/383.85	c nbDecision=96000 #constraints=14447
385.41/385.60	c nbDecision=96500 #constraints=14487
388.60/388.90	c nbDecision=97000 #constraints=14588
391.00/391.27	c nbDecision=97500 #constraints=14637
392.80/393.00	c nbDecision=98000 #constraints=14673
394.40/394.63	c nbDecision=98500 #constraints=14707
396.09/396.36	c nbDecision=99000 #constraints=14748
398.09/398.35	c nbDecision=99500 #constraints=14796
399.90/400.12	c nbDecision=100000 #constraints=14830
401.90/402.16	c nbDecision=100500 #constraints=14890
403.90/404.15	c nbDecision=101000 #constraints=14944
405.79/406.05	c nbDecision=101500 #constraints=14990
407.80/408.10	c nbDecision=102000 #constraints=15031
409.39/409.69	c restart after 102401 decisions
410.49/410.80	c nbDecision=102500 #constraints=15078
411.78/412.00	c nbDecision=103000 #constraints=15089
415.87/416.19	c nbDecision=103500 #constraints=15155
419.87/420.16	c nbDecision=104000 #constraints=15219
423.67/423.90	c nbDecision=104500 #constraints=15269
427.37/427.64	c nbDecision=105000 #constraints=15321
430.16/430.46	c nbDecision=105500 #constraints=15375
432.56/432.87	c nbDecision=106000 #constraints=15412
435.27/435.56	c nbDecision=106500 #constraints=15454
438.26/438.55	c nbDecision=107000 #constraints=15497
440.16/440.48	c nbDecision=107500 #constraints=15509
443.06/443.34	c nbDecision=108000 #constraints=15542
447.06/447.38	c nbDecision=108500 #constraints=15613
449.46/449.75	c nbDecision=109000 #constraints=15656
452.26/452.53	c nbDecision=109500 #constraints=15696
455.56/455.86	c nbDecision=110000 #constraints=15725
460.26/460.54	c nbDecision=110500 #constraints=15808
462.56/462.80	c nbDecision=111000 #constraints=15867
465.76/466.04	c nbDecision=111500 #constraints=15910
469.46/469.76	c nbDecision=112000 #constraints=15969
471.56/471.80	c nbDecision=112500 #constraints=15991
472.15/472.49	c nbDecision=113000 #constraints=15997
474.65/474.98	c nbDecision=113500 #constraints=16038
476.65/476.93	c nbDecision=114000 #constraints=16058
478.55/478.89	c nbDecision=114500 #constraints=16074
480.75/481.02	c nbDecision=115000 #constraints=16108
484.15/484.42	c nbDecision=115500 #constraints=16154
487.25/487.59	c nbDecision=116000 #constraints=16199
490.85/491.19	c nbDecision=116500 #constraints=16237
493.84/494.13	c nbDecision=117000 #constraints=16280
496.34/496.68	c nbDecision=117500 #constraints=16299
498.75/499.07	c nbDecision=118000 #constraints=16335
501.75/502.08	c nbDecision=118500 #constraints=16371
506.65/506.90	c nbDecision=119000 #constraints=16437
509.65/509.95	c nbDecision=119500 #constraints=16452
514.65/514.95	c nbDecision=120000 #constraints=16509
518.04/518.38	c nbDecision=120500 #constraints=16577
521.34/521.63	c nbDecision=121000 #constraints=16602
524.74/525.04	c nbDecision=121500 #constraints=16635
527.74/528.06	c nbDecision=122000 #constraints=16667
531.74/532.01	c nbDecision=122500 #constraints=16712
533.04/533.38	c nbDecision=123000 #constraints=16727
536.04/536.35	c nbDecision=123500 #constraints=16777
539.44/539.79	c nbDecision=124000 #constraints=16831
542.14/542.47	c nbDecision=124500 #constraints=16862
544.73/545.02	c nbDecision=125000 #constraints=16884
547.13/547.48	c nbDecision=125500 #constraints=16909
552.23/552.59	c nbDecision=126000 #constraints=16981
554.33/554.64	c nbDecision=126500 #constraints=16997
557.63/558.00	c nbDecision=127000 #constraints=17046
561.73/562.00	c nbDecision=127500 #constraints=17092
564.04/564.35	c nbDecision=128000 #constraints=17116
568.03/568.31	c nbDecision=128500 #constraints=17169
571.33/571.60	c nbDecision=129000 #constraints=17194
574.63/574.92	c nbDecision=129500 #constraints=17230
577.53/577.88	c nbDecision=130000 #constraints=17273
578.53/578.88	c nbDecision=130500 #constraints=17315
580.93/581.25	c nbDecision=131000 #constraints=17351
583.02/583.31	c nbDecision=131500 #constraints=17371
585.22/585.59	c nbDecision=132000 #constraints=17393
587.72/588.01	c nbDecision=132500 #constraints=17418
590.12/590.40	c nbDecision=133000 #constraints=17438
595.42/595.72	c nbDecision=133500 #constraints=17509
597.52/597.82	c nbDecision=134000 #constraints=17519
599.92/600.21	c nbDecision=134500 #constraints=17553
602.92/603.20	c nbDecision=135000 #constraints=17615
604.92/605.26	c nbDecision=135500 #constraints=17630
607.31/607.61	c nbDecision=136000 #constraints=17677
609.61/609.98	c nbDecision=136500 #constraints=17720
611.81/612.14	c nbDecision=137000 #constraints=17740
616.21/616.58	c nbDecision=137500 #constraints=17781
617.51/617.81	c nbDecision=138000 #constraints=17784
620.91/621.27	c nbDecision=138500 #constraints=17827
627.02/627.30	c nbDecision=139000 #constraints=17914
630.42/630.72	c nbDecision=139500 #constraints=17945
633.41/633.77	c nbDecision=140000 #constraints=17984
635.42/635.72	c nbDecision=140500 #constraints=17996
637.81/638.16	c nbDecision=141000 #constraints=18019
640.01/640.30	c nbDecision=141500 #constraints=18036
642.41/642.78	c nbDecision=142000 #constraints=18074
646.11/646.40	c nbDecision=142500 #constraints=18101
648.51/648.83	c nbDecision=143000 #constraints=18134
649.31/649.69	c nbDecision=143500 #constraints=18176
651.61/651.92	c nbDecision=144000 #constraints=18195
653.71/654.05	c nbDecision=144500 #constraints=18210
655.11/655.49	c nbDecision=145000 #constraints=18227
658.81/659.14	c nbDecision=145500 #constraints=18269
660.10/660.49	c nbDecision=146000 #constraints=18280
663.30/663.67	c nbDecision=146500 #constraints=18317
665.30/665.64	c nbDecision=147000 #constraints=18325
667.60/667.94	c nbDecision=147500 #constraints=18340
669.90/670.24	c nbDecision=148000 #constraints=18350
670.70/671.05	c nbDecision=148500 #constraints=18364
673.10/673.41	c nbDecision=149000 #constraints=18372
676.10/676.42	c nbDecision=149500 #constraints=18405
678.30/678.61	c nbDecision=150000 #constraints=18425
680.50/680.87	c nbDecision=150500 #constraints=18445
682.59/682.93	c nbDecision=151000 #constraints=18470
685.00/685.33	c nbDecision=151500 #constraints=18500
687.49/687.88	c nbDecision=152000 #constraints=18524
690.79/691.13	c nbDecision=152500 #constraints=18553
692.89/693.26	c nbDecision=153000 #constraints=18574
695.50/695.86	c nbDecision=153500 #constraints=18596
699.00/699.37	c nbDecision=154000 #constraints=18627
702.10/702.48	c nbDecision=154500 #constraints=18650
704.70/705.03	c nbDecision=155000 #constraints=18676
707.89/708.29	c nbDecision=155500 #constraints=18735
710.89/711.24	c nbDecision=156000 #constraints=18757
717.29/717.65	c nbDecision=156500 #constraints=18831
719.39/719.75	c nbDecision=157000 #constraints=18841
721.79/722.17	c nbDecision=157500 #constraints=18858
725.79/726.15	c nbDecision=158000 #constraints=18891
728.09/728.43	c nbDecision=158500 #constraints=18908
731.29/731.61	c nbDecision=159000 #constraints=18937
734.69/735.02	c nbDecision=159500 #constraints=18958
745.98/746.37	c nbDecision=160000 #constraints=19086
751.78/752.17	c nbDecision=160500 #constraints=19137
755.58/755.93	c nbDecision=161000 #constraints=19171
760.88/761.21	c nbDecision=161500 #constraints=19226
766.97/767.30	c nbDecision=162000 #constraints=19300
770.87/771.22	c nbDecision=162500 #constraints=19334
777.17/777.52	c nbDecision=163000 #constraints=19384
784.07/784.43	c nbDecision=163500 #constraints=19444
789.67/790.02	c nbDecision=164000 #constraints=19485
797.87/798.21	c nbDecision=164500 #constraints=19555
802.76/803.13	c nbDecision=165000 #constraints=19616
810.46/810.84	c nbDecision=165500 #constraints=19671
818.56/818.96	c nbDecision=166000 #constraints=19770
824.46/824.82	c nbDecision=166500 #constraints=19833
831.16/831.53	c nbDecision=167000 #constraints=19875
836.45/836.89	c nbDecision=167500 #constraints=19919
846.76/847.13	c nbDecision=168000 #constraints=20014
851.45/851.84	c nbDecision=168500 #constraints=20055
857.85/858.23	c nbDecision=169000 #constraints=20147
864.45/864.85	c nbDecision=169500 #constraints=20221
871.35/871.75	c nbDecision=170000 #constraints=20269
878.55/878.97	c nbDecision=170500 #constraints=20334
883.24/883.65	c nbDecision=171000 #constraints=20363
891.24/891.65	c nbDecision=171500 #constraints=20425
897.44/897.85	c nbDecision=172000 #constraints=20476
902.64/903.04	c nbDecision=172500 #constraints=20511
911.84/912.22	c nbDecision=173000 #constraints=20581
916.34/916.76	c nbDecision=173500 #constraints=20606
919.54/919.95	c nbDecision=174000 #constraints=20628
923.34/923.73	c nbDecision=174500 #constraints=20652
926.73/927.18	c nbDecision=175000 #constraints=20680
929.53/929.99	c nbDecision=175500 #constraints=20700
934.93/935.30	c nbDecision=176000 #constraints=20742
939.63/940.09	c nbDecision=176500 #constraints=20769
944.82/945.23	c nbDecision=177000 #constraints=20816
947.42/947.80	c nbDecision=177500 #constraints=20841
950.12/950.58	c nbDecision=178000 #constraints=20868
953.12/953.54	c nbDecision=178500 #constraints=20896
954.43/954.89	c nbDecision=179000 #constraints=20920
957.73/958.20	c nbDecision=179500 #constraints=20931
959.03/959.45	c nbDecision=180000 #constraints=20957
961.42/961.85	c nbDecision=180500 #constraints=20976
962.72/963.17	c nbDecision=181000 #constraints=20977
964.92/965.30	c nbDecision=181500 #constraints=20995
967.02/967.49	c nbDecision=182000 #constraints=21012
969.82/970.26	c nbDecision=182500 #constraints=21063
972.22/972.64	c nbDecision=183000 #constraints=21099
974.22/974.69	c nbDecision=183500 #constraints=21101
977.22/977.65	c nbDecision=184000 #constraints=21130
980.62/981.03	c nbDecision=184500 #constraints=21142
982.92/983.36	c nbDecision=185000 #constraints=21159
985.31/985.78	c nbDecision=185500 #constraints=21168
988.11/988.53	c nbDecision=186000 #constraints=21188
992.31/992.73	c nbDecision=186500 #constraints=21226
996.02/996.44	c nbDecision=187000 #constraints=21269
1001.42/1001.87	c nbDecision=187500 #constraints=21306
1004.82/1005.24	c nbDecision=188000 #constraints=21321
1008.32/1008.75	c nbDecision=188500 #constraints=21341
1011.52/1011.98	c nbDecision=189000 #constraints=21360
1015.31/1015.76	c nbDecision=189500 #constraints=21385
1022.91/1023.33	c nbDecision=190000 #constraints=21444
1026.31/1026.80	c nbDecision=190500 #constraints=21470
1031.01/1031.47	c nbDecision=191000 #constraints=21507
1050.70/1051.13	c nbDecision=191500 #constraints=21669
1054.00/1054.45	c nbDecision=192000 #constraints=21704
1055.30/1055.74	c nbDecision=192500 #constraints=21727
1061.20/1061.66	c nbDecision=193000 #constraints=21788
1067.10/1067.59	c nbDecision=193500 #constraints=21845
1069.40/1069.87	c nbDecision=194000 #constraints=21850
1072.90/1073.31	c nbDecision=194500 #constraints=21871
1075.90/1076.38	c nbDecision=195000 #constraints=21880
1078.40/1078.81	c nbDecision=195500 #constraints=21904
1081.79/1082.24	c nbDecision=196000 #constraints=21934
1085.49/1085.94	c nbDecision=196500 #constraints=21971
1088.60/1089.09	c nbDecision=197000 #constraints=22012
1090.70/1091.13	c nbDecision=197500 #constraints=22017
1094.39/1094.81	c nbDecision=198000 #constraints=22053
1095.89/1096.35	c nbDecision=198500 #constraints=22068
1100.09/1100.53	c nbDecision=199000 #constraints=22096
1104.99/1105.43	c nbDecision=199500 #constraints=22119
1108.58/1109.06	c nbDecision=200000 #constraints=22152
1111.38/1111.89	c nbDecision=200500 #constraints=22163
1115.08/1115.56	c nbDecision=201000 #constraints=22182
1118.98/1119.44	c nbDecision=201500 #constraints=22228
1121.28/1121.76	c nbDecision=202000 #constraints=22241
1125.68/1126.10	c nbDecision=202500 #constraints=22254
1129.68/1130.14	c nbDecision=203000 #constraints=22295
1132.98/1133.45	c nbDecision=203500 #constraints=22323
1136.57/1137.05	c nbDecision=204000 #constraints=22362
1139.18/1139.62	c nbDecision=204500 #constraints=22380
1140.18/1140.68	c restart after 204801 decisions
1141.67/1142.19	c nbDecision=205000 #constraints=22381
1144.88/1145.34	c nbDecision=205500 #constraints=22421
1151.78/1152.29	c nbDecision=206000 #constraints=22517
1156.48/1156.96	c nbDecision=206500 #constraints=22553
1160.97/1161.43	c nbDecision=207000 #constraints=22590
1168.07/1168.50	c nbDecision=207500 #constraints=22677
1174.67/1175.15	c nbDecision=208000 #constraints=22744
1180.26/1180.79	c nbDecision=208500 #constraints=22797
1184.96/1185.42	c nbDecision=209000 #constraints=22838
1190.26/1190.70	c nbDecision=209500 #constraints=22887
1195.16/1195.69	c nbDecision=210000 #constraints=22929
1201.96/1202.45	c nbDecision=210500 #constraints=22980
1208.76/1209.26	c nbDecision=211000 #constraints=23055
1214.06/1214.59	c nbDecision=211500 #constraints=23090
1220.06/1220.58	c nbDecision=212000 #constraints=23132
1226.46/1226.91	c nbDecision=212500 #constraints=23193
1231.06/1231.51	c nbDecision=213000 #constraints=23214
1237.35/1237.88	c nbDecision=213500 #constraints=23267
1244.35/1244.83	c nbDecision=214000 #constraints=23324
1250.45/1250.94	c nbDecision=214500 #constraints=23366
1257.04/1257.59	c nbDecision=215000 #constraints=23428
1262.64/1263.19	c nbDecision=215500 #constraints=23469
1269.64/1270.18	c nbDecision=216000 #constraints=23545
1275.14/1275.62	c nbDecision=216500 #constraints=23591
1283.24/1283.73	c nbDecision=217000 #constraints=23646
1289.33/1289.82	c nbDecision=217500 #constraints=23696
1295.24/1295.76	c nbDecision=218000 #constraints=23728
1302.44/1302.99	c nbDecision=218500 #constraints=23790
1308.54/1309.05	c nbDecision=219000 #constraints=23834
1314.34/1314.81	c nbDecision=219500 #constraints=23870
1321.43/1321.90	c nbDecision=220000 #constraints=23932
1327.63/1328.10	c nbDecision=220500 #constraints=23986
1333.43/1333.97	c nbDecision=221000 #constraints=24025
1338.43/1338.94	c nbDecision=221500 #constraints=24047
1343.12/1343.67	c nbDecision=222000 #constraints=24079
1348.72/1349.23	c nbDecision=222500 #constraints=24115
1353.92/1354.46	c nbDecision=223000 #constraints=24157
1360.32/1360.82	c nbDecision=223500 #constraints=24222
1366.21/1366.79	c nbDecision=224000 #constraints=24263
1372.01/1372.55	c nbDecision=224500 #constraints=24333
1377.21/1377.79	c nbDecision=225000 #constraints=24381
1385.11/1385.68	c nbDecision=225500 #constraints=24453
1392.21/1392.71	c nbDecision=226000 #constraints=24536
1396.20/1396.77	c nbDecision=226500 #constraints=24565
1399.91/1400.41	c nbDecision=227000 #constraints=24582
1404.11/1404.66	c nbDecision=227500 #constraints=24608
1410.71/1411.28	c nbDecision=228000 #constraints=24662
1416.91/1417.46	c nbDecision=228500 #constraints=24731
1424.70/1425.23	c nbDecision=229000 #constraints=24806
1433.40/1433.94	c nbDecision=229500 #constraints=24880
1438.50/1439.06	c nbDecision=230000 #constraints=24932
1443.40/1443.91	c nbDecision=230500 #constraints=24970
1447.69/1448.24	c nbDecision=231000 #constraints=25003
1453.79/1454.31	c nbDecision=231500 #constraints=25038
1460.49/1461.06	c nbDecision=232000 #constraints=25082
1466.89/1467.49	c nbDecision=232500 #constraints=25116
1473.39/1473.98	c nbDecision=233000 #constraints=25167
1479.58/1480.11	c nbDecision=233500 #constraints=25205
1485.78/1486.30	c nbDecision=234000 #constraints=25251
1491.28/1491.82	c nbDecision=234500 #constraints=25289
1498.89/1499.43	c nbDecision=235000 #constraints=25343
1505.88/1506.48	c nbDecision=235500 #constraints=25422
1513.18/1513.72	c nbDecision=236000 #constraints=25474
1520.18/1520.71	c nbDecision=236500 #constraints=25516
1527.47/1528.07	c nbDecision=237000 #constraints=25600
1534.07/1534.62	c nbDecision=237500 #constraints=25648
1541.37/1541.92	c nbDecision=238000 #constraints=25692
1547.57/1548.11	c nbDecision=238500 #constraints=25725
1553.17/1553.72	c nbDecision=239000 #constraints=25750
1561.87/1562.44	c nbDecision=239500 #constraints=25819
1567.76/1568.30	c nbDecision=240000 #constraints=25878
1574.67/1575.26	c nbDecision=240500 #constraints=25928
1582.36/1582.93	c nbDecision=241000 #constraints=25980
1589.15/1589.76	c nbDecision=241500 #constraints=26034
1596.46/1597.05	c nbDecision=242000 #constraints=26072
1606.25/1606.83	c nbDecision=242500 #constraints=26140
1613.16/1613.76	c nbDecision=243000 #constraints=26196
1620.85/1621.41	c nbDecision=243500 #constraints=26238
1627.45/1628.03	c nbDecision=244000 #constraints=26309
1631.75/1632.36	c nbDecision=244500 #constraints=26334
1639.45/1640.03	c nbDecision=245000 #constraints=26376
1647.54/1648.18	c nbDecision=245500 #constraints=26459
1652.74/1653.37	c nbDecision=246000 #constraints=26501
1660.34/1660.93	c nbDecision=246500 #constraints=26558
1668.93/1669.57	c nbDecision=247000 #constraints=26636
1676.03/1676.66	c nbDecision=247500 #constraints=26693
1682.94/1683.56	c nbDecision=248000 #constraints=26745
1689.43/1690.07	c nbDecision=248500 #constraints=26780
1694.13/1694.76	c nbDecision=249000 #constraints=26826
1700.23/1700.82	c nbDecision=249500 #constraints=26911
1707.22/1707.89	c nbDecision=250000 #constraints=26987
1713.32/1713.98	c nbDecision=250500 #constraints=27024
1719.52/1720.10	c nbDecision=251000 #constraints=27082
1724.43/1725.00	c nbDecision=251500 #constraints=27121
1729.03/1729.65	c nbDecision=252000 #constraints=27142
1735.82/1736.48	c nbDecision=252500 #constraints=27198
1744.22/1744.88	c nbDecision=253000 #constraints=27250
1750.22/1750.83	c nbDecision=253500 #constraints=27282
1756.71/1757.34	c nbDecision=254000 #constraints=27331
1764.31/1764.93	c nbDecision=254500 #constraints=27383
1771.61/1772.28	c nbDecision=255000 #constraints=27432
1778.11/1778.70	c nbDecision=255500 #constraints=27474
1784.61/1785.24	c nbDecision=256000 #constraints=27522
1791.60/1792.21	c nbDecision=256500 #constraints=27557
1798.00/1798.63	c nbDecision=257000 #constraints=27579
1800.01/1800.61	Received signal 15
1800.90/1801.57	
1800.90/1801.57	s UNKNOWN
1800.90/1801.57	
1800.90/1801.57	c user time= 1800.59 s
1800.90/1801.57	c system time= 0.386941 s
1800.90/1801.57	c wall clock time=1801.57

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/node9/watcher-356980-1176850504 -o ROOT/results/node9/solver-356980-1176850504 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356980-1176850504/instance-356980-1176850504.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.95 0.97 3/77 9234
/proc/meminfo: memFree=1776096/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=1468 CPUtime=0
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 161087960 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715362 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 367 161 131 317 0 46 0

[startup+0.06658 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 9234
/proc/meminfo: memFree=1776096/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=2796 CPUtime=0.06
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 519 0 0 0 6 0 0 0 18 0 1 0 161087960 2863104 501 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 699 501 131 317 0 378 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2796

[startup+0.102584 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 9234
/proc/meminfo: memFree=1776096/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=3736 CPUtime=0.1
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 739 0 0 0 10 0 0 0 18 0 1 0 161087960 3825664 721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 934 721 131 317 0 613 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3736

[startup+0.302608 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 9234
/proc/meminfo: memFree=1776096/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=7148 CPUtime=0.29
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 1589 0 0 0 29 0 0 0 20 0 1 0 161087960 7319552 1571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 1787 1571 139 317 0 1466 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7148

[startup+0.701651 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 9234
/proc/meminfo: memFree=1776096/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=7280 CPUtime=0.69
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 1638 0 0 0 69 0 0 0 24 0 1 0 161087960 7454720 1620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 1820 1620 139 317 0 1499 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7280

[startup+1.50174 s]
/proc/loadavg: 0.91 0.95 0.97 2/78 9235
/proc/meminfo: memFree=1769816/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=8332 CPUtime=1.49
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 1948 0 0 0 149 0 0 0 25 0 1 0 161087960 8531968 1930 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 2083 1930 170 317 0 1762 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8332

[startup+3.10192 s]
/proc/loadavg: 0.91 0.95 0.97 2/78 9235
/proc/meminfo: memFree=1768280/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=9912 CPUtime=3.09
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 2317 0 0 0 309 0 0 0 25 0 1 0 161087960 10149888 2299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385271 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 2478 2299 170 317 0 2157 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9912

[startup+6.30128 s]
/proc/loadavg: 0.92 0.95 0.97 2/78 9235
/proc/meminfo: memFree=1762912/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=17604 CPUtime=6.28
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 4249 0 0 0 627 1 0 0 25 0 1 0 161087960 18026496 4231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 4401 4231 170 317 0 4080 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17604

[startup+12.702 s]
/proc/loadavg: 0.93 0.95 0.97 2/78 9235
/proc/meminfo: memFree=1751648/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=26008 CPUtime=12.69
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 6289 0 0 0 1266 3 0 0 25 0 1 0 161087960 26632192 6271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 6502 6271 170 317 0 6181 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26008

[startup+25.5014 s]
/proc/loadavg: 0.94 0.96 0.97 2/78 9235
/proc/meminfo: memFree=1743968/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=34428 CPUtime=25.48
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 8229 0 0 0 2545 3 0 0 25 0 1 0 161087960 35254272 8211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 8607 8211 170 317 0 8286 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34428

[startup+51.1013 s]
/proc/loadavg: 0.96 0.96 0.97 2/78 9235
/proc/meminfo: memFree=1733792/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=44232 CPUtime=51.07
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 10686 0 0 0 5102 5 0 0 25 0 1 0 161087960 45293568 10668 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 11058 10668 170 317 0 10737 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 44232

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.97 2/78 9235
/proc/meminfo: memFree=1722912/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=56084 CPUtime=102.26
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 13442 0 0 0 10219 7 0 0 25 0 1 0 161087960 57430016 13367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 14021 13367 170 317 0 13700 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 56084

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 9235
/proc/meminfo: memFree=1717856/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=61556 CPUtime=162.25
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 14681 0 0 0 16216 9 0 0 25 0 1 0 161087960 63033344 14606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 15389 14606 170 317 0 15068 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 61556

[startup+222.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 9235
/proc/meminfo: memFree=1711520/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=67676 CPUtime=222.23
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 16248 0 0 0 22213 10 0 0 25 0 1 0 161087960 69300224 16173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 16919 16173 170 317 0 16598 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 67676

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 9235
/proc/meminfo: memFree=1704032/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=75028 CPUtime=282.21
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 18123 0 0 0 28209 12 0 0 25 0 1 0 161087960 76828672 18048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 18757 18048 170 317 0 18436 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 75028

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 9235
/proc/meminfo: memFree=1696032/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=83124 CPUtime=342.2
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 20096 0 0 0 34205 15 0 0 25 0 1 0 161087960 85118976 20021 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 20781 20021 170 317 0 20460 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 83124

[startup+402.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/84 9407
/proc/meminfo: memFree=1681312/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=98388 CPUtime=402.1
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 23510 0 0 0 40192 18 0 0 25 0 1 0 161087960 100749312 23435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 24597 23435 170 317 0 24276 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 98388

[startup+462.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 9432
/proc/meminfo: memFree=1677856/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=102764 CPUtime=462.06
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 24607 0 0 0 46187 19 0 0 25 0 1 0 161087960 105230336 24532 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 25691 24532 170 317 0 25370 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 102764

[startup+522.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 9432
/proc/meminfo: memFree=1674464/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=106940 CPUtime=522.04
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 25561 0 0 0 52184 20 0 0 25 0 1 0 161087960 109506560 25373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 26735 25373 170 317 0 26414 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 106940

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 9432
/proc/meminfo: memFree=1671584/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=109756 CPUtime=582.03
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 26323 0 0 0 58182 21 0 0 25 0 1 0 161087960 112390144 26135 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 27439 26135 170 317 0 27118 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 109756

[startup+642.301 s]
/proc/loadavg: 1.07 0.99 0.98 3/78 9432
/proc/meminfo: memFree=1669216/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=112488 CPUtime=642.01
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 26937 0 0 0 64179 22 0 0 25 0 1 0 161087960 115187712 26749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 28122 26749 170 317 0 27801 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 112488


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

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9432
/proc/meminfo: memFree=1655328/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=127480 CPUtime=941.93
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 30381 0 0 0 94167 26 0 0 25 0 1 0 161087960 130539520 30193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 31870 30193 170 317 0 31549 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 127480

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9432
/proc/meminfo: memFree=1653344/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=129496 CPUtime=1001.92
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 30888 0 0 0 100164 28 0 0 25 0 1 0 161087960 132603904 30700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 32374 30700 170 317 0 32053 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 129496

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9432
/proc/meminfo: memFree=1651168/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=131588 CPUtime=1061.9
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 31426 0 0 0 106161 29 0 0 25 0 1 0 161087960 134746112 31238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 32897 31238 170 317 0 32576 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 131588

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9432
/proc/meminfo: memFree=1649248/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=133804 CPUtime=1121.88
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 31895 0 0 0 112159 29 0 0 25 0 1 0 161087960 137015296 31707 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194612 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 33451 31707 170 317 0 33130 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 133804

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9432
/proc/meminfo: memFree=1647136/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=136212 CPUtime=1181.86
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 32428 0 0 0 118156 30 0 0 25 0 1 0 161087960 139481088 32240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 34053 32240 170 317 0 33732 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 136212

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9432
/proc/meminfo: memFree=1645152/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=138204 CPUtime=1241.85
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 32919 0 0 0 124154 31 0 0 25 0 1 0 161087960 141520896 32731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 34551 32731 170 317 0 34230 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 138204

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9432
/proc/meminfo: memFree=1643232/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=140372 CPUtime=1301.84
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 33376 0 0 0 130152 32 0 0 25 0 1 0 161087960 143740928 33188 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 35093 33188 170 317 0 34772 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 140372

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9432
/proc/meminfo: memFree=1641632/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=142620 CPUtime=1361.82
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 33883 0 0 0 136150 32 0 0 25 0 1 0 161087960 146042880 33695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 35655 33695 170 317 0 35334 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 142620

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9432
/proc/meminfo: memFree=1639072/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=145140 CPUtime=1421.81
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 34463 0 0 0 142148 33 0 0 25 0 1 0 161087960 148623360 34242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 36285 34242 170 317 0 35964 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 145140

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9432
/proc/meminfo: memFree=1637088/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=147116 CPUtime=1481.78
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 34955 0 0 0 148145 33 0 0 25 0 1 0 161087960 150646784 34734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 36779 34734 170 317 0 36458 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 147116

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9432
/proc/meminfo: memFree=1635104/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=149080 CPUtime=1541.77
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 35511 0 0 0 154142 35 0 0 25 0 1 0 161087960 152657920 35224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 37270 35224 170 317 0 36949 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 149080

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9432
/proc/meminfo: memFree=1633504/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=150828 CPUtime=1601.76
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 35909 0 0 0 160140 36 0 0 25 0 1 0 161087960 154447872 35622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 37707 35622 170 317 0 37386 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 150828

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9432
/proc/meminfo: memFree=1631776/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=152540 CPUtime=1661.73
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 36344 0 0 0 166137 36 0 0 25 0 1 0 161087960 156200960 36057 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 38135 36057 170 317 0 37814 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 152540

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9432
/proc/meminfo: memFree=1628704/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=156024 CPUtime=1721.73
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 37119 0 0 0 172135 38 0 0 25 0 1 0 161087960 159768576 36832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 39006 36832 170 317 0 38685 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 156024

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 9432
/proc/meminfo: memFree=1626848/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=157732 CPUtime=1781.71
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 37571 0 0 0 178133 38 0 0 25 0 1 0 161087960 161517568 37284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 39433 37284 170 317 0 39112 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 157732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.98 3/78 9432
/proc/meminfo: memFree=1626528/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=157996 CPUtime=1800.01
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 37647 0 0 0 179963 38 0 0 25 0 1 0 161087960 161787904 37360 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 39499 37360 170 317 0 39178 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 157996

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

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

[startup+1801.4 s]
/proc/loadavg: 1.00 0.99 0.98 3/78 9432
/proc/meminfo: memFree=1626528/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=157996 CPUtime=1800.8
/proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 37654 0 0 0 180042 38 0 0 25 0 1 0 161087960 161787904 37367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9234/statm: 39499 37367 170 317 0 39178 0
Current children cumulated CPU time (s) 1800.8
Current children cumulated vsize (KiB) 157996

[startup+1801.6 s]
/proc/loadavg: 1.00 0.99 0.98 3/78 9432
/proc/meminfo: memFree=1626528/2055920 swapFree=4145528/4192956
[pid=9234] ppid=9232 vsize=0 CPUtime=1801.01
/proc/9234/stat : 9234 (oree) D 9232 9234 9132 0 -1 4194308 37671 0 0 0 180060 41 0 0 25 0 1 0 161087960 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100051646 0 0 17 1 0 0
/proc/9234/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.01
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.6
CPU time (s): 1801.01
CPU user time (s): 1800.6
CPU system time (s): 0.411937
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 157996

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

runsolver used 2.22466 second user time and 4.32234 second system time

The end

Launcher Data (download as text)

Begin job on node9 on Tue Apr 17 22:55:04 UTC 2007

IDJOB= 356980
IDBENCH= 1719
IDSOLVER= 172
FILE ID= node9/356980-1176850504

PBS_JOBID= 4590228

Free space on /tmp= 66491 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  8d33b9e58f24eb64e3fc155c85c275f1

RANDOM SEED= 931545903

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node9.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.221
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.221
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:       1776568 kB
Buffers:         33452 kB
Cached:         183800 kB
SwapCached:      16124 kB
Active:         192728 kB
Inactive:        55504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1776568 kB
SwapTotal:     4192956 kB
SwapFree:      4145528 kB
Dirty:            1868 kB
Writeback:           0 kB
Mapped:          29872 kB
Slab:            16636 kB
Committed_AS:  5959468 kB
PageTables:       1784 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= 66491 MiB

End job on node9 on Tue Apr 17 23:25:07 UTC 2007