Trace number 356948

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.12 1800.71

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-standata.opb
MD5SUMc8622f62aab23c6f6a5a29143b44f7fa
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 variables30004
Total number of constraints455
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 constraints455
Minimum length of a constraint11
Maximum length of a constraint22350
Number of terms in the objective function 210
Biggest coefficient in the objective function 86232
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 524437
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 542229
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.29/0.30	c ...done
0.29/0.30	c #vars=30004 #constraints=616 hasObjective=yes
0.29/0.35	c res. mode=mod
0.29/0.35	c VSIDS like heuristics
0.29/0.35	c complete search running
1.00/1.04	c restart after 401 decisions
1.19/1.23	c nbDecision=500 #constraints=1072
1.69/1.72	c restart after 801 decisions
2.10/2.11	c nbDecision=1000 #constraints=1537
2.69/2.75	c nbDecision=1500 #constraints=2026
2.79/2.88	c restart after 1601 decisions
3.39/3.49	c nbDecision=2000 #constraints=2484
4.19/4.24	c nbDecision=2500 #constraints=2976
4.79/4.88	c nbDecision=3000 #constraints=3445
5.09/5.12	c restart after 3201 decisions
5.78/5.87	c nbDecision=3500 #constraints=3926
6.50/6.59	c nbDecision=4000 #constraints=4400
7.39/7.45	c nbDecision=4500 #constraints=4888
8.49/8.59	c nbDecision=5000 #constraints=5365
9.39/9.45	c nbDecision=5500 #constraints=5815
10.39/10.46	c nbDecision=6000 #constraints=6276
11.59/11.62	c restart after 6401 decisions
11.89/11.94	c nbDecision=6500 #constraints=6723
12.79/12.86	c nbDecision=7000 #constraints=7175
13.58/13.67	c nbDecision=7500 #constraints=7628
14.68/14.79	c nbDecision=8000 #constraints=8074
15.78/15.80	c nbDecision=8500 #constraints=8542
17.09/17.18	c nbDecision=9000 #constraints=8994
18.59/18.60	c nbDecision=9500 #constraints=9419
19.89/19.94	c nbDecision=10000 #constraints=9848
21.59/21.65	c nbDecision=10500 #constraints=10303
22.79/22.87	c nbDecision=11000 #constraints=10710
24.19/24.21	c nbDecision=11500 #constraints=11165
26.09/26.17	c nbDecision=12000 #constraints=11577
27.49/27.55	c nbDecision=12500 #constraints=12008
28.49/28.59	c restart after 12801 decisions
29.48/29.52	c nbDecision=13000 #constraints=12440
31.28/31.34	c nbDecision=13500 #constraints=12864
32.78/32.88	c nbDecision=14000 #constraints=13308
34.68/34.74	c nbDecision=14500 #constraints=13719
35.98/36.01	c nbDecision=15000 #constraints=14193
37.68/37.75	c nbDecision=15500 #constraints=14607
39.78/39.82	c nbDecision=16000 #constraints=15013
42.07/42.13	c nbDecision=16500 #constraints=15457
43.77/43.88	c nbDecision=17000 #constraints=15853
45.87/45.90	c nbDecision=17500 #constraints=16260
47.68/47.73	c nbDecision=18000 #constraints=16658
49.58/49.63	c nbDecision=18500 #constraints=17096
50.98/51.06	c nbDecision=19000 #constraints=17499
53.17/53.21	c nbDecision=19500 #constraints=17943
54.77/54.87	c nbDecision=20000 #constraints=18401
57.27/57.33	c nbDecision=20500 #constraints=18836
59.08/59.17	c nbDecision=21000 #constraints=19247
61.28/61.32	c nbDecision=21500 #constraints=19667
64.28/64.34	c nbDecision=22000 #constraints=20045
67.17/67.21	c nbDecision=22500 #constraints=20421
68.87/68.97	c nbDecision=23000 #constraints=20872
71.38/71.40	c nbDecision=23500 #constraints=21282
73.37/73.48	c nbDecision=24000 #constraints=21689
75.07/75.18	c nbDecision=24500 #constraints=22137
77.66/77.78	c nbDecision=25000 #constraints=22519
80.07/80.13	c nbDecision=25500 #constraints=22948
80.77/80.86	c restart after 25601 decisions
83.97/84.01	c nbDecision=26000 #constraints=23347
86.77/86.85	c nbDecision=26500 #constraints=23813
89.87/89.93	c nbDecision=27000 #constraints=24249
92.96/93.05	c nbDecision=27500 #constraints=24611
95.46/95.51	c nbDecision=28000 #constraints=24988
98.26/98.33	c nbDecision=28500 #constraints=25322
103.16/103.28	c nbDecision=29000 #constraints=25538
106.26/106.36	c nbDecision=29500 #constraints=25937
108.36/108.49	c nbDecision=30000 #constraints=26385
111.76/111.80	c nbDecision=30500 #constraints=26664
114.96/115.02	c nbDecision=31000 #constraints=27060
118.95/119.01	c nbDecision=31500 #constraints=27483
123.85/123.94	c nbDecision=32000 #constraints=27826
127.65/127.74	c nbDecision=32500 #constraints=28153
132.45/132.56	c nbDecision=33000 #constraints=28497
135.55/135.63	c nbDecision=33500 #constraints=28877
140.05/140.12	c nbDecision=34000 #constraints=29223
144.55/144.68	c nbDecision=34500 #constraints=29421
147.45/147.52	c nbDecision=35000 #constraints=29820
151.34/151.49	c nbDecision=35500 #constraints=30252
155.34/155.43	c nbDecision=36000 #constraints=30638
157.74/157.84	c nbDecision=36500 #constraints=31082
161.25/161.31	c nbDecision=37000 #constraints=31413
166.35/166.42	c nbDecision=37500 #constraints=31687
169.44/169.52	c nbDecision=38000 #constraints=32080
172.74/172.85	c nbDecision=38500 #constraints=32462
175.44/175.53	c nbDecision=39000 #constraints=32878
179.24/179.34	c nbDecision=39500 #constraints=33243
184.43/184.59	c nbDecision=40000 #constraints=33553
189.14/189.27	c nbDecision=40500 #constraints=33952
194.14/194.26	c nbDecision=41000 #constraints=34306
199.13/199.21	c nbDecision=41500 #constraints=34643
202.24/202.40	c nbDecision=42000 #constraints=35108
206.23/206.31	c nbDecision=42500 #constraints=35552
210.63/210.71	c nbDecision=43000 #constraints=35957
214.52/214.67	c nbDecision=43500 #constraints=36338
221.23/221.38	c nbDecision=44000 #constraints=36585
227.13/227.28	c nbDecision=44500 #constraints=36927
231.33/231.48	c nbDecision=45000 #constraints=37307
234.02/234.11	c nbDecision=45500 #constraints=37744
234.82/234.95	c nbDecision=46000 #constraints=38228
235.52/235.66	c nbDecision=46500 #constraints=38704
236.32/236.48	c nbDecision=47000 #constraints=39177
237.22/237.34	c nbDecision=47500 #constraints=39666
238.12/238.22	c nbDecision=48000 #constraints=40139
239.02/239.12	c nbDecision=48500 #constraints=40618
240.02/240.16	c nbDecision=49000 #constraints=41099
240.92/241.08	c nbDecision=49500 #constraints=41568
242.02/242.16	c nbDecision=50000 #constraints=42018
243.12/243.28	c nbDecision=50500 #constraints=42476
244.02/244.16	c nbDecision=51000 #constraints=42957
244.52/244.60	c restart after 51201 decisions
248.12/248.26	c nbDecision=51500 #constraints=43424
254.51/254.64	c nbDecision=52000 #constraints=43791
259.01/259.13	c nbDecision=52500 #constraints=44257
263.11/263.29	c nbDecision=53000 #constraints=44650
267.82/267.98	c nbDecision=53500 #constraints=45063
273.01/273.17	c nbDecision=54000 #constraints=45462
279.11/279.20	c nbDecision=54500 #constraints=45805
283.71/283.82	c nbDecision=55000 #constraints=46223
289.41/289.60	c nbDecision=55500 #constraints=46522
294.90/295.03	c nbDecision=56000 #constraints=46899
300.40/300.54	c nbDecision=56500 #constraints=47234
306.00/306.13	c nbDecision=57000 #constraints=47592
309.90/310.02	c nbDecision=57500 #constraints=48009
319.59/319.73	c nbDecision=58000 #constraints=48036
327.49/327.70	c nbDecision=58500 #constraints=48391
335.19/335.39	c nbDecision=59000 #constraints=48690
342.79/342.90	c nbDecision=59500 #constraints=48887
351.29/351.45	c nbDecision=60000 #constraints=49105
358.69/358.87	c nbDecision=60500 #constraints=49334
360.69/360.83	c nbDecision=61000 #constraints=49796
361.88/362.05	c nbDecision=61500 #constraints=50252
363.18/363.30	c nbDecision=62000 #constraints=50717
364.38/364.54	c nbDecision=62500 #constraints=51173
365.58/365.73	c nbDecision=63000 #constraints=51625
366.78/366.95	c nbDecision=63500 #constraints=52075
367.98/368.16	c nbDecision=64000 #constraints=52523
369.39/369.55	c nbDecision=64500 #constraints=52944
370.79/370.93	c nbDecision=65000 #constraints=53406
372.09/372.24	c nbDecision=65500 #constraints=53826
373.68/373.82	c nbDecision=66000 #constraints=54263
375.28/375.44	c nbDecision=66500 #constraints=54708
376.58/376.78	c nbDecision=67000 #constraints=55170
377.88/378.09	c nbDecision=67500 #constraints=55646
379.88/380.06	c nbDecision=68000 #constraints=55984
381.28/381.48	c nbDecision=68500 #constraints=56404
382.78/382.92	c nbDecision=69000 #constraints=56846
384.78/384.98	c nbDecision=69500 #constraints=57254
387.38/387.55	c nbDecision=70000 #constraints=57613
389.68/389.84	c nbDecision=70500 #constraints=58066
391.57/391.70	c nbDecision=71000 #constraints=58502
393.27/393.43	c nbDecision=71500 #constraints=58955
395.08/395.21	c nbDecision=72000 #constraints=59420
397.18/397.39	c nbDecision=72500 #constraints=59866
399.27/399.48	c nbDecision=73000 #constraints=60264
401.77/401.97	c nbDecision=73500 #constraints=60650
403.67/403.83	c nbDecision=74000 #constraints=61072
405.37/405.55	c nbDecision=74500 #constraints=61524
407.38/407.57	c nbDecision=75000 #constraints=61933
408.98/409.15	c nbDecision=75500 #constraints=62396
410.87/411.05	c nbDecision=76000 #constraints=62833
413.87/414.01	c nbDecision=76500 #constraints=63235
416.27/416.40	c nbDecision=77000 #constraints=63687
418.88/419.05	c nbDecision=77500 #constraints=64023
421.47/421.60	c nbDecision=78000 #constraints=64461
424.17/424.31	c nbDecision=78500 #constraints=64893
426.16/426.38	c nbDecision=79000 #constraints=65269
428.37/428.52	c nbDecision=79500 #constraints=65689
431.26/431.49	c nbDecision=80000 #constraints=66128
434.56/434.72	c nbDecision=80500 #constraints=66465
437.86/438.07	c nbDecision=81000 #constraints=66848
440.56/440.78	c nbDecision=81500 #constraints=67269
442.76/442.91	c nbDecision=82000 #constraints=67673
446.66/446.88	c nbDecision=82500 #constraints=67996
450.06/450.23	c nbDecision=83000 #constraints=68372
453.26/453.49	c nbDecision=83500 #constraints=68766
455.55/455.76	c nbDecision=84000 #constraints=69195
459.56/459.78	c nbDecision=84500 #constraints=69600
463.56/463.79	c nbDecision=85000 #constraints=69946
466.26/466.45	c nbDecision=85500 #constraints=70370
469.35/469.50	c nbDecision=86000 #constraints=70750
472.95/473.11	c nbDecision=86500 #constraints=71131
476.16/476.31	c nbDecision=87000 #constraints=71524
479.75/479.92	c nbDecision=87500 #constraints=71941
482.75/482.96	c nbDecision=88000 #constraints=72394
485.95/486.16	c nbDecision=88500 #constraints=72792
489.25/489.41	c nbDecision=89000 #constraints=73177
493.14/493.38	c nbDecision=89500 #constraints=73552
498.64/498.83	c nbDecision=90000 #constraints=73831
501.25/501.42	c nbDecision=90500 #constraints=74256
504.75/504.97	c nbDecision=91000 #constraints=74691
507.04/507.23	c nbDecision=91500 #constraints=75120
507.95/508.18	c nbDecision=92000 #constraints=75589
508.94/509.14	c nbDecision=92500 #constraints=76080
510.14/510.30	c nbDecision=93000 #constraints=76580
511.34/511.58	c nbDecision=93500 #constraints=77080
512.74/512.97	c nbDecision=94000 #constraints=77580
514.34/514.55	c nbDecision=94500 #constraints=78080
516.04/516.26	c nbDecision=95000 #constraints=78578
517.74/518.00	c nbDecision=95500 #constraints=79078
519.64/519.86	c nbDecision=96000 #constraints=79578
521.63/521.88	c nbDecision=96500 #constraints=80079
523.94/524.11	c nbDecision=97000 #constraints=80580
526.24/526.46	c nbDecision=97500 #constraints=81078
528.64/528.87	c nbDecision=98000 #constraints=81578
531.23/531.44	c nbDecision=98500 #constraints=82078
533.93/534.14	c nbDecision=99000 #constraints=82578
536.84/537.04	c nbDecision=99500 #constraints=83078
539.84/540.10	c nbDecision=100000 #constraints=83578
543.03/543.25	c nbDecision=100500 #constraints=84077
546.43/546.60	c nbDecision=101000 #constraints=84577
549.93/550.12	c nbDecision=101500 #constraints=85077
553.52/553.77	c nbDecision=102000 #constraints=85577
556.63/556.87	c restart after 102401 decisions
558.83/559.01	c nbDecision=102500 #constraints=86059
566.82/567.05	c nbDecision=103000 #constraints=86501
578.42/578.66	c nbDecision=103500 #constraints=86847
585.42/585.60	c nbDecision=104000 #constraints=87186
591.42/591.64	c nbDecision=104500 #constraints=87539
598.11/598.38	c nbDecision=105000 #constraints=87804
605.01/605.21	c nbDecision=105500 #constraints=88185
611.41/611.63	c nbDecision=106000 #constraints=88571
617.30/617.59	c nbDecision=106500 #constraints=89017
623.01/623.29	c nbDecision=107000 #constraints=89415
628.61/628.84	c nbDecision=107500 #constraints=89740
633.11/633.36	c nbDecision=108000 #constraints=90112
640.70/640.94	c nbDecision=108500 #constraints=90414
647.20/647.48	c nbDecision=109000 #constraints=90786
653.50/653.72	c nbDecision=109500 #constraints=91067
659.09/659.33	c nbDecision=110000 #constraints=91453
664.49/664.78	c nbDecision=110500 #constraints=91848
669.09/669.37	c nbDecision=111000 #constraints=92326
675.79/676.09	c nbDecision=111500 #constraints=92664
681.39/681.61	c nbDecision=112000 #constraints=93126
688.69/688.92	c nbDecision=112500 #constraints=93444
693.68/693.95	c nbDecision=113000 #constraints=93870
700.28/700.57	c nbDecision=113500 #constraints=94197
705.38/705.68	c nbDecision=114000 #constraints=94532
711.78/712.06	c nbDecision=114500 #constraints=94867
718.97/719.23	c nbDecision=115000 #constraints=95204
726.87/727.11	c nbDecision=115500 #constraints=95500
733.97/734.22	c nbDecision=116000 #constraints=95790
739.47/739.78	c nbDecision=116500 #constraints=96170
746.17/746.49	c nbDecision=117000 #constraints=96560
754.27/754.54	c nbDecision=117500 #constraints=96911
760.87/761.19	c nbDecision=118000 #constraints=97314
769.56/769.82	c nbDecision=118500 #constraints=97641
777.36/777.63	c nbDecision=119000 #constraints=97995
783.97/784.28	c nbDecision=119500 #constraints=98393
791.96/792.24	c nbDecision=120000 #constraints=98760
798.45/798.77	c nbDecision=120500 #constraints=99173
806.05/806.36	c nbDecision=121000 #constraints=99496
814.55/814.87	c nbDecision=121500 #constraints=99813
823.66/823.97	c nbDecision=122000 #constraints=100069
833.25/833.59	c nbDecision=122500 #constraints=100296
835.75/836.02	c nbDecision=123000 #constraints=100782
838.04/838.37	c nbDecision=123500 #constraints=101252
841.94/842.27	c nbDecision=124000 #constraints=101751
846.04/846.36	c nbDecision=124500 #constraints=102249
850.23/850.58	c nbDecision=125000 #constraints=102748
854.64/854.91	c nbDecision=125500 #constraints=103248
859.14/859.46	c nbDecision=126000 #constraints=103748
863.83/864.18	c nbDecision=126500 #constraints=104248
868.83/869.19	c nbDecision=127000 #constraints=104748
873.93/874.26	c nbDecision=127500 #constraints=105248
879.02/879.38	c nbDecision=128000 #constraints=105745
884.33/884.65	c nbDecision=128500 #constraints=106245
889.73/890.01	c nbDecision=129000 #constraints=106745
895.23/895.56	c nbDecision=129500 #constraints=107245
901.02/901.32	c nbDecision=130000 #constraints=107745
907.02/907.39	c nbDecision=130500 #constraints=108245
913.12/913.49	c nbDecision=131000 #constraints=108745
919.32/919.68	c nbDecision=131500 #constraints=109244
925.62/925.97	c nbDecision=132000 #constraints=109743
932.11/932.41	c nbDecision=132500 #constraints=110243
938.71/939.00	c nbDecision=133000 #constraints=110743
945.51/945.87	c nbDecision=133500 #constraints=111243
952.71/953.00	c nbDecision=134000 #constraints=111743
959.61/959.93	c nbDecision=134500 #constraints=112243
966.71/967.04	c nbDecision=135000 #constraints=112741
974.10/974.49	c nbDecision=135500 #constraints=113241
981.70/982.04	c nbDecision=136000 #constraints=113741
989.49/989.84	c nbDecision=136500 #constraints=114241
997.60/997.94	c nbDecision=137000 #constraints=114742
1005.39/1005.71	c nbDecision=137500 #constraints=115241
1013.49/1013.87	c nbDecision=138000 #constraints=115740
1021.79/1022.12	c nbDecision=138500 #constraints=116240
1030.29/1030.64	c nbDecision=139000 #constraints=116740
1038.98/1039.37	c nbDecision=139500 #constraints=117240
1047.78/1048.11	c nbDecision=140000 #constraints=117741
1056.47/1056.85	c nbDecision=140500 #constraints=118239
1065.58/1065.94	c nbDecision=141000 #constraints=118739
1074.87/1075.29	c nbDecision=141500 #constraints=119240
1084.47/1084.86	c nbDecision=142000 #constraints=119740
1094.17/1094.53	c nbDecision=142500 #constraints=120239
1103.56/1103.98	c nbDecision=143000 #constraints=120740
1113.66/1114.03	c nbDecision=143500 #constraints=121239
1123.55/1123.98	c nbDecision=144000 #constraints=121739
1133.85/1134.29	c nbDecision=144500 #constraints=122239
1144.05/1144.49	c nbDecision=145000 #constraints=122739
1154.55/1154.95	c nbDecision=145500 #constraints=123239
1165.25/1165.67	c nbDecision=146000 #constraints=123739
1176.44/1176.83	c nbDecision=146500 #constraints=124239
1187.04/1187.49	c nbDecision=147000 #constraints=124739
1198.23/1198.66	c nbDecision=147500 #constraints=125239
1209.73/1210.14	c nbDecision=148000 #constraints=125739
1221.53/1221.92	c nbDecision=148500 #constraints=126239
1232.92/1233.35	c nbDecision=149000 #constraints=126739
1244.92/1245.33	c nbDecision=149500 #constraints=127239
1257.21/1257.63	c nbDecision=150000 #constraints=127740
1269.21/1269.65	c nbDecision=150500 #constraints=128239
1281.61/1282.02	c nbDecision=151000 #constraints=128739
1294.40/1294.83	c nbDecision=151500 #constraints=129239
1307.10/1307.53	c nbDecision=152000 #constraints=129739
1320.30/1320.74	c nbDecision=152500 #constraints=130239
1333.59/1334.01	c nbDecision=153000 #constraints=130739
1347.09/1347.53	c nbDecision=153500 #constraints=131239
1360.59/1361.00	c nbDecision=154000 #constraints=131739
1374.58/1375.07	c nbDecision=154500 #constraints=132239
1388.88/1389.38	c nbDecision=155000 #constraints=132739
1402.87/1403.34	c nbDecision=155500 #constraints=133239
1417.17/1417.62	c nbDecision=156000 #constraints=133740
1431.97/1432.47	c nbDecision=156500 #constraints=134239
1446.66/1447.16	c nbDecision=157000 #constraints=134740
1460.86/1461.33	c nbDecision=157500 #constraints=135239
1474.74/1475.22	c nbDecision=158000 #constraints=135739
1488.25/1488.72	c nbDecision=158500 #constraints=136238
1503.64/1504.17	c nbDecision=159000 #constraints=136738
1519.43/1519.90	c nbDecision=159500 #constraints=137238
1535.43/1535.96	c nbDecision=160000 #constraints=137738
1551.72/1552.22	c nbDecision=160500 #constraints=138238
1568.02/1568.58	c nbDecision=161000 #constraints=138738
1585.02/1585.57	c nbDecision=161500 #constraints=139239
1601.21/1601.77	c nbDecision=162000 #constraints=139737
1617.90/1618.40	c nbDecision=162500 #constraints=140236
1634.80/1635.39	c nbDecision=163000 #constraints=140735
1651.89/1652.40	c nbDecision=163500 #constraints=141235
1669.20/1669.76	c nbDecision=164000 #constraints=141735
1686.79/1687.40	c nbDecision=164500 #constraints=142235
1704.87/1705.44	c nbDecision=165000 #constraints=142735
1722.27/1722.83	c nbDecision=165500 #constraints=143234
1740.17/1740.76	c nbDecision=166000 #constraints=143734
1757.96/1758.54	c nbDecision=166500 #constraints=144234
1776.05/1776.63	c nbDecision=167000 #constraints=144734
1794.63/1795.28	c nbDecision=167500 #constraints=145235
1800.01/1800.61	Received signal 15
1800.01/1800.62	
1800.01/1800.62	s UNKNOWN
1800.01/1800.62	
1800.01/1800.62	c user time= 1799.39 s
1800.01/1800.62	c system time= 0.6559 s
1800.01/1800.62	c wall clock time=1800.63

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/node5/watcher-356948-1176849077 -o ROOT/results/node5/solver-356948-1176849077 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356948-1176849077/instance-356948-1176849077.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.99 0.97 0.97 3/77 16613
/proc/meminfo: memFree=1831360/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=1468 CPUtime=0
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 160945344 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134569659 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 367 161 131 317 0 46 0

[startup+0.0696389 s]
/proc/loadavg: 0.99 0.97 0.97 3/77 16613
/proc/meminfo: memFree=1831360/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=2936 CPUtime=0.06
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 549 0 0 0 6 0 0 0 18 0 1 0 160945344 3006464 531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 734 531 131 317 0 413 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2936

[startup+0.101642 s]
/proc/loadavg: 0.99 0.97 0.97 3/77 16613
/proc/meminfo: memFree=1831360/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=3604 CPUtime=0.09
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 726 0 0 0 9 0 0 0 18 0 1 0 160945344 3690496 708 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 901 708 131 317 0 580 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3604

[startup+0.301665 s]
/proc/loadavg: 0.99 0.97 0.97 3/77 16613
/proc/meminfo: memFree=1831360/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=7648 CPUtime=0.29
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 1797 0 0 0 29 0 0 0 19 0 1 0 160945344 7831552 1583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 1912 1584 132 317 0 1591 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7648

[startup+0.70171 s]
/proc/loadavg: 0.99 0.97 0.97 3/77 16613
/proc/meminfo: memFree=1831360/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=11528 CPUtime=0.69
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 2774 0 0 0 68 1 0 0 22 0 1 0 160945344 11804672 2560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 2882 2560 139 317 0 2561 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11528

[startup+1.5018 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16614
/proc/meminfo: memFree=1821432/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=11792 CPUtime=1.49
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 2858 0 0 0 148 1 0 0 25 0 1 0 160945344 12075008 2644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 2948 2644 139 317 0 2627 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11792

[startup+3.10198 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16614
/proc/meminfo: memFree=1820920/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=12752 CPUtime=3.09
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 3079 0 0 0 308 1 0 0 25 0 1 0 160945344 13058048 2865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385255 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 3188 2865 139 317 0 2867 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12752

[startup+6.30134 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16614
/proc/meminfo: memFree=1818744/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=14600 CPUtime=6.28
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 3532 0 0 0 627 1 0 0 25 0 1 0 160945344 14950400 3318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 3650 3318 139 317 0 3329 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14600

[startup+12.7011 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16614
/proc/meminfo: memFree=1816120/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=17204 CPUtime=12.69
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 4191 0 0 0 1267 2 0 0 25 0 1 0 160945344 17616896 3977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 4301 3977 139 317 0 3980 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17204

[startup+25.5015 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16616
/proc/meminfo: memFree=1810744/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=22648 CPUtime=25.49
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 5481 0 0 0 2546 3 0 0 25 0 1 0 160945344 23191552 5210 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 5662 5210 139 317 0 5341 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22648

[startup+51.1014 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16616
/proc/meminfo: memFree=1804280/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=29508 CPUtime=51.08
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 7209 0 0 0 5103 5 0 0 25 0 1 0 160945344 30216192 6824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563957 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 7377 6824 139 317 0 7056 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29508

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16616
/proc/meminfo: memFree=1795512/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=38392 CPUtime=102.26
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 9394 0 0 0 10219 7 0 0 25 0 1 0 160945344 39313408 9009 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 9598 9009 139 317 0 9277 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 38392

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16616
/proc/meminfo: memFree=1789048/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=45084 CPUtime=162.25
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 10998 0 0 0 16216 9 0 0 25 0 1 0 160945344 46166016 10613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 11271 10613 139 317 0 10950 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 45084

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16616
/proc/meminfo: memFree=1782328/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=52660 CPUtime=222.23
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 12908 0 0 0 22212 11 0 0 25 0 1 0 160945344 53923840 12264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 13165 12264 139 317 0 12844 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 52660

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16616
/proc/meminfo: memFree=1773432/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=61176 CPUtime=282.21
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 15132 0 0 0 28208 13 0 0 25 0 1 0 160945344 62644224 14488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 15294 14488 139 317 0 14973 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 61176

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16616
/proc/meminfo: memFree=1770104/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=64208 CPUtime=342.19
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 15949 0 0 0 34205 14 0 0 25 0 1 0 160945344 65748992 15305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 16052 15305 139 317 0 15731 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 64208

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16616
/proc/meminfo: memFree=1757880/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=76800 CPUtime=402.17
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 19089 0 0 0 40200 17 0 0 25 0 1 0 160945344 78643200 18445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 19200 18445 139 317 0 18879 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 76800

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16616
/proc/meminfo: memFree=1746296/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=90024 CPUtime=462.15
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 22411 0 0 0 46194 21 0 0 25 0 1 0 160945344 92184576 21251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 22506 21251 139 317 0 22185 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 90024

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16616
/proc/meminfo: memFree=1725240/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=111912 CPUtime=522.13
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 27829 0 0 0 52188 25 0 0 25 0 1 0 160945344 114597888 26669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 27978 26669 139 317 0 27657 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 111912

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16616
/proc/meminfo: memFree=1702520/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=136412 CPUtime=582.12
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 33630 0 0 0 58184 28 0 0 25 0 1 0 160945344 139685888 32206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 34103 32206 139 317 0 33782 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 136412

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16616
/proc/meminfo: memFree=1699128/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=139484 CPUtime=642.11
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 34448 0 0 0 64182 29 0 0 25 0 1 0 160945344 142831616 33024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 34871 33024 139 317 0 34550 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 139484


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16616
/proc/meminfo: memFree=1688632/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=151224 CPUtime=822.05
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 37349 0 0 0 82171 34 0 0 25 0 1 0 160945344 154853376 35661 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562660 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 37806 35661 139 317 0 37485 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 151224

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16616
/proc/meminfo: memFree=1672056/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=166456 CPUtime=882.03
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 41460 0 0 0 88166 37 0 0 25 0 1 0 160945344 170450944 39772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 41614 39772 139 317 0 41293 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 166456

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16616
/proc/meminfo: memFree=1653496/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=188180 CPUtime=942.01
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 46480 0 0 0 94162 39 0 0 25 0 1 0 160945344 192696320 44429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 47045 44429 139 317 0 46724 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 188180

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16616
/proc/meminfo: memFree=1639736/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=200792 CPUtime=1001.99
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 50024 0 0 0 100158 41 0 0 25 0 1 0 160945344 205611008 47874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 50198 47874 139 317 0 49877 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 200792

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16616
/proc/meminfo: memFree=1628792/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=211292 CPUtime=1061.98
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 52870 0 0 0 106155 43 0 0 25 0 1 0 160945344 216363008 50588 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 52823 50588 139 317 0 52502 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 211292

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16616
/proc/meminfo: memFree=1618552/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=220240 CPUtime=1121.95
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 55390 0 0 0 112151 44 0 0 25 0 1 0 160945344 225525760 53108 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710969 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 55060 53108 139 317 0 54739 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 220240

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16616
/proc/meminfo: memFree=1609080/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=232996 CPUtime=1181.94
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 58687 0 0 0 118147 47 0 0 25 0 1 0 160945344 238587904 55495 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 58249 55495 139 317 0 57928 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 232996

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16616
/proc/meminfo: memFree=1594104/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=251876 CPUtime=1241.91
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 62392 0 0 0 124143 48 0 0 25 0 1 0 160945344 257921024 59200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 62969 59200 139 317 0 62648 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 251876

[startup+1302.3 s]
/proc/loadavg: 1.04 0.99 0.98 2/78 16616
/proc/meminfo: memFree=1584824/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=260444 CPUtime=1301.9
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 64697 0 0 0 130140 50 0 0 25 0 1 0 160945344 266694656 61505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 65111 61505 139 317 0 64790 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 260444

[startup+1362.3 s]
/proc/loadavg: 1.01 0.99 0.98 2/78 16616
/proc/meminfo: memFree=1572152/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=277316 CPUtime=1361.89
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 69089 0 0 0 136136 53 0 0 25 0 1 0 160945344 283971584 64607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 69329 64607 139 317 0 69008 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 277316

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 16616
/proc/meminfo: memFree=1566776/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=281612 CPUtime=1421.87
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 70473 0 0 0 142133 54 0 0 25 0 1 0 160945344 288370688 65991 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 70403 65991 139 317 0 70082 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 281612

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 16616
/proc/meminfo: memFree=1555512/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=293044 CPUtime=1481.85
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 73631 0 0 0 148128 57 0 0 25 0 1 0 160945344 300077056 68889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 73261 68889 139 317 0 72940 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 293044

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 16616
/proc/meminfo: memFree=1549752/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=297992 CPUtime=1541.83
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 74994 0 0 0 154125 58 0 0 25 0 1 0 160945344 305143808 70252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 74498 70252 139 317 0 74177 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 297992

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 16616
/proc/meminfo: memFree=1543288/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=303632 CPUtime=1601.81
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 76625 0 0 0 160122 59 0 0 25 0 1 0 160945344 310919168 71883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 75908 71883 139 317 0 75587 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 303632

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 16616
/proc/meminfo: memFree=1538104/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=308488 CPUtime=1661.79
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 77909 0 0 0 166119 60 0 0 25 0 1 0 160945344 315891712 73167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 77122 73167 139 317 0 76801 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 308488

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 16616
/proc/meminfo: memFree=1531640/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=313756 CPUtime=1721.77
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 79513 0 0 0 172115 62 0 0 25 0 1 0 160945344 321286144 74771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 78439 74771 139 317 0 78118 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 313756

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 16616
/proc/meminfo: memFree=1526968/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=317976 CPUtime=1781.76
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 80651 0 0 0 178113 63 0 0 25 0 1 0 160945344 325607424 75909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 79494 75909 139 317 0 79173 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 317976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.98 2/84 16724
/proc/meminfo: memFree=1524168/2055920 swapFree=4127688/4192956
[pid=16613] ppid=16611 vsize=319296 CPUtime=1800.01
/proc/16613/stat : 16613 (oree) R 16611 16613 16387 0 -1 4194304 81037 0 0 0 179936 65 0 0 25 0 1 0 160945344 326959104 76295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16613/statm: 79824 76295 139 317 0 79503 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 319296

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

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

Child status: 0
Real time (s): 1800.71
CPU time (s): 1800.12
CPU user time (s): 1799.41
CPU system time (s): 0.706892
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 319296

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

runsolver used 2.03169 second user time and 4.54731 second system time

The end

Launcher Data (download as text)

Begin job on node5 on Tue Apr 17 22:31:17 UTC 2007

IDJOB= 356948
IDBENCH= 1675
IDSOLVER= 172
FILE ID= node5/356948-1176849077

PBS_JOBID= 4590208

Free space on /tmp= 66472 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-standata.opb
COMMAND LINE= oree /tmp/evaluation/356948-1176849077/instance-356948-1176849077.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-356948-1176849077 -o ROOT/results/node5/solver-356948-1176849077 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356948-1176849077/instance-356948-1176849077.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  c8622f62aab23c6f6a5a29143b44f7fa

RANDOM SEED= 902732687

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node5.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.232
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.232
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:       1831768 kB
Buffers:         33188 kB
Cached:         108684 kB
SwapCached:      33908 kB
Active:         110460 kB
Inactive:        78696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1831768 kB
SwapTotal:     4192956 kB
SwapFree:      4127688 kB
Dirty:            2264 kB
Writeback:           0 kB
Mapped:          29700 kB
Slab:            20588 kB
Committed_AS:  8581288 kB
PageTables:       1720 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= 66472 MiB

End job on node5 on Tue Apr 17 23:01:20 UTC 2007