Trace number 357259

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.26 1800.72

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-bienst2.opb
MD5SUM0af97c6a7a59a4d1015a4f591401bda7
Bench CategoryOPT-BIGINT (optimisation, big 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 variables13736
Total number of constraints597
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints592
Minimum length of a constraint7
Maximum length of a constraint390
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 13958659059
Number of bits of the biggest sum of numbers34
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.09/0.19	c ...done
0.09/0.19	c #vars=13736 #constraints=726 hasObjective=yes
0.19/0.23	c res. mode=mod
0.19/0.23	c VSIDS like heuristics
0.19/0.23	c complete search running
0.49/0.53	c restart after 401 decisions
0.49/0.60	c nbDecision=500 #constraints=967
0.89/0.90	c restart after 801 decisions
1.00/1.01	c nbDecision=1000 #constraints=1100
1.39/1.42	c nbDecision=1500 #constraints=1268
1.49/1.51	c restart after 1601 decisions
1.69/1.75	c nbDecision=2000 #constraints=1380
2.39/2.44	c nbDecision=2500 #constraints=1678
3.79/3.81	c nbDecision=3000 #constraints=2145
4.49/4.51	c restart after 3201 decisions
4.79/4.86	c nbDecision=3500 #constraints=2360
6.09/6.10	c nbDecision=4000 #constraints=2639
7.69/7.76	c nbDecision=4500 #constraints=3090
9.99/10.08	c nbDecision=5000 #constraints=3570
13.09/13.17	c nbDecision=5500 #constraints=3974
13.99/14.00	c nbDecision=6000 #constraints=4015
15.89/15.94	c restart after 6401 decisions
16.19/16.24	c nbDecision=6500 #constraints=4126
16.89/16.96	c nbDecision=7000 #constraints=4160
17.69/17.78	c nbDecision=7500 #constraints=4182
18.39/18.43	c nbDecision=8000 #constraints=4203
18.49/18.59	c nbDecision=8500 #constraints=4239
22.89/22.96	c nbDecision=9000 #constraints=4550
31.28/31.36	c nbDecision=9500 #constraints=5045
40.59/40.62	c nbDecision=10000 #constraints=5541
52.48/52.55	c nbDecision=10500 #constraints=6034
66.47/66.54	c nbDecision=11000 #constraints=6521
80.97/81.02	c nbDecision=11500 #constraints=7020
97.36/97.48	c nbDecision=12000 #constraints=7510
117.67/117.71	c nbDecision=12500 #constraints=7998
130.15/130.27	c restart after 12801 decisions
131.86/131.92	c nbDecision=13000 #constraints=8304
131.96/132.04	c nbDecision=13500 #constraints=8334
139.96/140.01	c nbDecision=14000 #constraints=8526
157.85/157.95	c nbDecision=14500 #constraints=9016
176.45/176.59	c nbDecision=15000 #constraints=9495
196.34/196.41	c nbDecision=15500 #constraints=9967
215.03/215.10	c nbDecision=16000 #constraints=10404
235.14/235.24	c nbDecision=16500 #constraints=10852
254.63/254.79	c nbDecision=17000 #constraints=11298
276.92/277.09	c nbDecision=17500 #constraints=11745
299.02/299.15	c nbDecision=18000 #constraints=12139
321.11/321.23	c nbDecision=18500 #constraints=12496
336.71/336.84	c nbDecision=19000 #constraints=12857
344.11/344.27	c nbDecision=19500 #constraints=12996
362.00/362.11	c nbDecision=20000 #constraints=13448
380.99/381.12	c nbDecision=20500 #constraints=13906
400.69/400.85	c nbDecision=21000 #constraints=14320
417.48/417.67	c nbDecision=21500 #constraints=14684
433.08/433.27	c nbDecision=22000 #constraints=14966
440.38/440.50	c nbDecision=22500 #constraints=15069
440.48/440.63	c nbDecision=23000 #constraints=15096
440.58/440.77	c nbDecision=23500 #constraints=15121
442.77/442.98	c nbDecision=24000 #constraints=15155
455.88/456.06	c nbDecision=24500 #constraints=15387
481.57/481.75	c nbDecision=25000 #constraints=15867
505.46/505.68	c nbDecision=25500 #constraints=16327
510.16/510.40	c restart after 25601 decisions
534.25/534.43	c nbDecision=26000 #constraints=16729
568.34/568.53	c nbDecision=26500 #constraints=17174
601.64/601.80	c nbDecision=27000 #constraints=17585
632.13/632.38	c nbDecision=27500 #constraints=18021
659.52/659.77	c nbDecision=28000 #constraints=18385
687.42/687.67	c nbDecision=28500 #constraints=18823
710.71/710.93	c nbDecision=29000 #constraints=19277
735.51/735.71	c nbDecision=29500 #constraints=19738
749.30/749.54	c nbDecision=30000 #constraints=19857
753.70/753.90	c nbDecision=30500 #constraints=19931
753.70/753.99	c nbDecision=31000 #constraints=19940
753.80/754.07	c nbDecision=31500 #constraints=19946
753.90/754.18	c nbDecision=32000 #constraints=19959
753.99/754.27	c nbDecision=32500 #constraints=19968
754.09/754.35	c nbDecision=33000 #constraints=19974
754.19/754.46	c nbDecision=33500 #constraints=19991
754.30/754.55	c nbDecision=34000 #constraints=19998
754.40/754.63	c nbDecision=34500 #constraints=20003
754.49/754.72	c nbDecision=35000 #constraints=20013
754.59/754.81	c nbDecision=35500 #constraints=20021
754.69/754.90	c nbDecision=36000 #constraints=20028
754.80/755.00	c nbDecision=36500 #constraints=20041
754.90/755.10	c nbDecision=37000 #constraints=20052
754.90/755.18	c nbDecision=37500 #constraints=20057
755.00/755.26	c nbDecision=38000 #constraints=20060
755.10/755.35	c nbDecision=38500 #constraints=20069
755.30/755.52	c nbDecision=39000 #constraints=20103
755.41/755.63	c nbDecision=39500 #constraints=20118
755.51/755.74	c nbDecision=40000 #constraints=20135
755.60/755.84	c nbDecision=40500 #constraints=20148
755.70/755.99	c nbDecision=41000 #constraints=20179
755.90/756.11	c nbDecision=41500 #constraints=20199
756.00/756.26	c nbDecision=42000 #constraints=20225
756.10/756.37	c nbDecision=42500 #constraints=20242
756.40/756.61	c nbDecision=43000 #constraints=20295
756.80/757.09	c nbDecision=43500 #constraints=20424
757.10/757.34	c nbDecision=44000 #constraints=20472
757.20/757.46	c nbDecision=44500 #constraints=20484
757.40/757.62	c nbDecision=45000 #constraints=20504
757.50/757.73	c nbDecision=45500 #constraints=20514
757.60/757.83	c nbDecision=46000 #constraints=20522
757.70/757.99	c nbDecision=46500 #constraints=20543
757.99/758.27	c nbDecision=47000 #constraints=20589
758.19/758.45	c nbDecision=47500 #constraints=20611
758.39/758.64	c nbDecision=48000 #constraints=20637
758.49/758.75	c nbDecision=48500 #constraints=20646
758.59/758.88	c nbDecision=49000 #constraints=20657
758.70/758.99	c nbDecision=49500 #constraints=20667
759.00/759.22	c nbDecision=50000 #constraints=20700
759.50/759.71	c nbDecision=50500 #constraints=20774
760.90/761.16	c nbDecision=51000 #constraints=21003
761.30/761.53	c restart after 51201 decisions
770.39/770.67	c nbDecision=51500 #constraints=21140
770.49/770.79	c nbDecision=52000 #constraints=21154
770.70/770.99	c nbDecision=52500 #constraints=21188
770.90/771.19	c nbDecision=53000 #constraints=21222
771.10/771.32	c nbDecision=53500 #constraints=21237
771.20/771.45	c nbDecision=54000 #constraints=21252
771.40/771.61	c nbDecision=54500 #constraints=21273
771.60/771.82	c nbDecision=55000 #constraints=21302
771.80/772.00	c nbDecision=55500 #constraints=21324
771.90/772.16	c nbDecision=56000 #constraints=21344
772.09/772.33	c nbDecision=56500 #constraints=21362
772.29/772.52	c nbDecision=57000 #constraints=21384
772.49/772.75	c nbDecision=57500 #constraints=21408
772.59/772.90	c nbDecision=58000 #constraints=21423
772.79/773.05	c nbDecision=58500 #constraints=21438
773.00/773.24	c nbDecision=59000 #constraints=21460
773.09/773.38	c nbDecision=59500 #constraints=21473
773.29/773.55	c nbDecision=60000 #constraints=21491
773.49/773.77	c nbDecision=60500 #constraints=21517
773.69/773.97	c nbDecision=61000 #constraints=21540
773.89/774.14	c nbDecision=61500 #constraints=21558
774.09/774.32	c nbDecision=62000 #constraints=21577
774.19/774.48	c nbDecision=62500 #constraints=21595
774.50/774.71	c nbDecision=63000 #constraints=21616
774.60/774.88	c nbDecision=63500 #constraints=21631
774.90/775.10	c nbDecision=64000 #constraints=21652
775.10/775.32	c nbDecision=64500 #constraints=21673
775.39/775.60	c nbDecision=65000 #constraints=21701
775.59/775.83	c nbDecision=65500 #constraints=21722
777.19/777.47	c nbDecision=66000 #constraints=21740
777.29/777.58	c nbDecision=66500 #constraints=21745
777.50/777.76	c nbDecision=67000 #constraints=21764
777.59/777.88	c nbDecision=67500 #constraints=21769
777.79/778.02	c nbDecision=68000 #constraints=21777
777.89/778.13	c nbDecision=68500 #constraints=21783
777.99/778.25	c nbDecision=69000 #constraints=21787
778.09/778.37	c nbDecision=69500 #constraints=21792
778.39/778.63	c nbDecision=70000 #constraints=21821
778.60/778.82	c nbDecision=70500 #constraints=21836
778.79/779.09	c nbDecision=71000 #constraints=21860
779.89/780.14	c nbDecision=71500 #constraints=21966
780.49/780.73	c nbDecision=72000 #constraints=22034
781.39/781.66	c nbDecision=72500 #constraints=22152
782.00/782.28	c nbDecision=73000 #constraints=22220
783.29/783.57	c nbDecision=73500 #constraints=22359
784.69/784.99	c nbDecision=74000 #constraints=22514
786.30/786.58	c nbDecision=74500 #constraints=22665
788.19/788.45	c nbDecision=75000 #constraints=22834
790.69/790.91	c nbDecision=75500 #constraints=23041
792.99/793.22	c nbDecision=76000 #constraints=23219
794.39/794.62	c nbDecision=76500 #constraints=23312
795.79/796.07	c nbDecision=77000 #constraints=23411
798.09/798.33	c nbDecision=77500 #constraints=23557
800.79/801.02	c nbDecision=78000 #constraints=23776
802.39/802.65	c nbDecision=78500 #constraints=23870
804.29/804.50	c nbDecision=79000 #constraints=23982
805.99/806.29	c nbDecision=79500 #constraints=24088
809.29/809.59	c nbDecision=80000 #constraints=24279
812.39/812.60	c nbDecision=80500 #constraints=24450
814.68/814.94	c nbDecision=81000 #constraints=24579
816.79/817.08	c nbDecision=81500 #constraints=24701
818.88/819.14	c nbDecision=82000 #constraints=24808
821.38/821.69	c nbDecision=82500 #constraints=24929
823.98/824.22	c nbDecision=83000 #constraints=25050
826.58/826.88	c nbDecision=83500 #constraints=25164
829.19/829.44	c nbDecision=84000 #constraints=25281
831.98/832.23	c nbDecision=84500 #constraints=25402
835.18/835.44	c nbDecision=85000 #constraints=25560
836.88/837.16	c nbDecision=85500 #constraints=25623
839.98/840.21	c nbDecision=86000 #constraints=25723
842.68/842.98	c nbDecision=86500 #constraints=25831
845.78/846.01	c nbDecision=87000 #constraints=25944
848.98/849.29	c nbDecision=87500 #constraints=26062
852.07/852.33	c nbDecision=88000 #constraints=26177
855.28/855.53	c nbDecision=88500 #constraints=26306
859.07/859.34	c nbDecision=89000 #constraints=26466
863.28/863.59	c nbDecision=89500 #constraints=26639
867.58/867.83	c nbDecision=90000 #constraints=26807
871.57/871.90	c nbDecision=90500 #constraints=26952
873.37/873.67	c nbDecision=91000 #constraints=26997
877.06/877.35	c nbDecision=91500 #constraints=27108
880.47/880.75	c nbDecision=92000 #constraints=27213
885.27/885.55	c nbDecision=92500 #constraints=27407
890.36/890.64	c nbDecision=93000 #constraints=27595
895.06/895.33	c nbDecision=93500 #constraints=27769
898.96/899.28	c nbDecision=94000 #constraints=27876
901.26/901.52	c nbDecision=94500 #constraints=27926
905.36/905.60	c nbDecision=95000 #constraints=28025
908.76/909.04	c nbDecision=95500 #constraints=28109
912.86/913.10	c nbDecision=96000 #constraints=28212
917.86/918.11	c nbDecision=96500 #constraints=28351
922.86/923.10	c nbDecision=97000 #constraints=28507
928.06/928.33	c nbDecision=97500 #constraints=28662
933.15/933.49	c nbDecision=98000 #constraints=28793
938.46/938.79	c nbDecision=98500 #constraints=28923
944.25/944.57	c nbDecision=99000 #constraints=29070
949.25/949.54	c nbDecision=99500 #constraints=29207
953.74/954.01	c nbDecision=100000 #constraints=29322
958.54/958.86	c nbDecision=100500 #constraints=29431
964.25/964.53	c nbDecision=101000 #constraints=29565
967.94/968.25	c nbDecision=101500 #constraints=29669
972.65/972.97	c nbDecision=102000 #constraints=29785
976.74/977.04	c restart after 102401 decisions
985.74/986.07	c nbDecision=102500 #constraints=29880
986.14/986.47	c nbDecision=103000 #constraints=29894
986.54/986.86	c nbDecision=103500 #constraints=29910
986.94/987.28	c nbDecision=104000 #constraints=29926
987.34/987.61	c nbDecision=104500 #constraints=29939
987.84/988.13	c nbDecision=105000 #constraints=29961
988.14/988.48	c nbDecision=105500 #constraints=29979
988.84/989.14	c nbDecision=106000 #constraints=29995
989.34/989.61	c nbDecision=106500 #constraints=30012
989.84/990.15	c nbDecision=107000 #constraints=30033
990.24/990.51	c nbDecision=107500 #constraints=30052
991.34/991.69	c nbDecision=108000 #constraints=30081
991.94/992.22	c nbDecision=108500 #constraints=30093
992.34/992.69	c nbDecision=109000 #constraints=30113
992.94/993.22	c nbDecision=109500 #constraints=30139
993.24/993.58	c nbDecision=110000 #constraints=30155
993.74/994.05	c nbDecision=110500 #constraints=30174
994.14/994.47	c nbDecision=111000 #constraints=30190
994.54/994.87	c nbDecision=111500 #constraints=30201
994.84/995.14	c nbDecision=112000 #constraints=30213
995.24/995.55	c nbDecision=112500 #constraints=30233
995.63/995.97	c nbDecision=113000 #constraints=30248
995.93/996.29	c nbDecision=113500 #constraints=30260
996.63/996.94	c nbDecision=114000 #constraints=30275
997.44/997.70	c nbDecision=114500 #constraints=30291
998.03/998.39	c nbDecision=115000 #constraints=30302
999.04/999.39	c nbDecision=115500 #constraints=30317
999.54/999.90	c nbDecision=116000 #constraints=30325
1000.24/1000.50	c nbDecision=116500 #constraints=30339
1000.74/1001.04	c nbDecision=117000 #constraints=30349
1001.34/1001.65	c nbDecision=117500 #constraints=30363
1001.64/1001.93	c nbDecision=118000 #constraints=30368
1002.04/1002.36	c nbDecision=118500 #constraints=30376
1002.64/1002.99	c nbDecision=119000 #constraints=30390
1003.64/1003.90	c nbDecision=119500 #constraints=30412
1004.04/1004.39	c nbDecision=120000 #constraints=30427
1004.64/1004.94	c nbDecision=120500 #constraints=30446
1005.14/1005.46	c nbDecision=121000 #constraints=30463
1005.84/1006.14	c nbDecision=121500 #constraints=30484
1006.43/1006.74	c nbDecision=122000 #constraints=30503
1007.03/1007.36	c nbDecision=122500 #constraints=30522
1007.63/1007.91	c nbDecision=123000 #constraints=30538
1008.03/1008.38	c nbDecision=123500 #constraints=30550
1008.84/1009.14	c nbDecision=124000 #constraints=30576
1009.14/1009.47	c nbDecision=124500 #constraints=30586
1009.83/1010.13	c nbDecision=125000 #constraints=30603
1010.43/1010.78	c nbDecision=125500 #constraints=30619
1011.03/1011.32	c nbDecision=126000 #constraints=30628
1011.83/1012.17	c nbDecision=126500 #constraints=30651
1012.23/1012.54	c nbDecision=127000 #constraints=30657
1012.84/1013.18	c nbDecision=127500 #constraints=30671
1013.83/1014.14	c nbDecision=128000 #constraints=30688
1014.63/1014.96	c nbDecision=128500 #constraints=30700
1015.53/1015.86	c nbDecision=129000 #constraints=30712
1017.33/1017.62	c nbDecision=129500 #constraints=30744
1018.03/1018.33	c nbDecision=130000 #constraints=30751
1018.83/1019.10	c nbDecision=130500 #constraints=30760
1019.33/1019.68	c nbDecision=131000 #constraints=30769
1019.93/1020.29	c nbDecision=131500 #constraints=30782
1020.54/1020.85	c nbDecision=132000 #constraints=30793
1021.23/1021.52	c nbDecision=132500 #constraints=30803
1022.13/1022.50	c nbDecision=133000 #constraints=30815
1023.03/1023.32	c nbDecision=133500 #constraints=30825
1023.73/1024.03	c nbDecision=134000 #constraints=30835
1024.63/1024.98	c nbDecision=134500 #constraints=30843
1025.43/1025.79	c nbDecision=135000 #constraints=30856
1026.23/1026.56	c nbDecision=135500 #constraints=30868
1027.53/1027.84	c nbDecision=136000 #constraints=30900
1028.13/1028.44	c nbDecision=136500 #constraints=30914
1029.92/1030.21	c nbDecision=137000 #constraints=30952
1030.33/1030.66	c nbDecision=137500 #constraints=30960
1031.33/1031.63	c nbDecision=138000 #constraints=30974
1032.23/1032.51	c nbDecision=138500 #constraints=30989
1033.13/1033.42	c nbDecision=139000 #constraints=31002
1034.03/1034.30	c nbDecision=139500 #constraints=31017
1034.43/1034.77	c nbDecision=140000 #constraints=31029
1034.93/1035.24	c nbDecision=140500 #constraints=31036
1035.23/1035.51	c nbDecision=141000 #constraints=31042
1035.73/1036.08	c nbDecision=141500 #constraints=31061
1036.13/1036.41	c nbDecision=142000 #constraints=31071
1036.73/1037.09	c nbDecision=142500 #constraints=31085
1037.63/1037.92	c nbDecision=143000 #constraints=31094
1038.23/1038.51	c nbDecision=143500 #constraints=31103
1038.73/1039.00	c nbDecision=144000 #constraints=31119
1039.53/1039.81	c nbDecision=144500 #constraints=31139
1040.03/1040.36	c nbDecision=145000 #constraints=31154
1040.33/1040.68	c nbDecision=145500 #constraints=31162
1041.02/1041.32	c nbDecision=146000 #constraints=31179
1041.43/1041.73	c nbDecision=146500 #constraints=31189
1041.82/1042.16	c nbDecision=147000 #constraints=31199
1042.12/1042.46	c nbDecision=147500 #constraints=31205
1042.43/1042.70	c nbDecision=148000 #constraints=31210
1043.22/1043.58	c nbDecision=148500 #constraints=31233
1043.82/1044.10	c nbDecision=149000 #constraints=31248
1044.32/1044.66	c nbDecision=149500 #constraints=31256
1045.62/1045.90	c nbDecision=150000 #constraints=31280
1046.02/1046.30	c nbDecision=150500 #constraints=31284
1046.62/1046.93	c nbDecision=151000 #constraints=31294
1047.12/1047.46	c nbDecision=151500 #constraints=31300
1048.82/1049.15	c nbDecision=152000 #constraints=31338
1049.43/1049.74	c nbDecision=152500 #constraints=31347
1050.13/1050.44	c nbDecision=153000 #constraints=31358
1050.63/1050.95	c nbDecision=153500 #constraints=31368
1051.43/1051.78	c nbDecision=154000 #constraints=31378
1051.73/1052.08	c nbDecision=154500 #constraints=31385
1052.23/1052.57	c nbDecision=155000 #constraints=31393
1052.83/1053.13	c nbDecision=155500 #constraints=31399
1053.33/1053.63	c nbDecision=156000 #constraints=31406
1053.63/1053.99	c nbDecision=156500 #constraints=31412
1054.22/1054.58	c nbDecision=157000 #constraints=31423
1055.32/1055.61	c nbDecision=157500 #constraints=31433
1055.73/1056.05	c nbDecision=158000 #constraints=31439
1056.22/1056.58	c nbDecision=158500 #constraints=31450
1056.92/1057.21	c nbDecision=159000 #constraints=31464
1057.42/1057.73	c nbDecision=159500 #constraints=31469
1058.12/1058.44	c nbDecision=160000 #constraints=31481
1058.72/1059.00	c nbDecision=160500 #constraints=31485
1059.62/1059.94	c nbDecision=161000 #constraints=31497
1060.02/1060.39	c nbDecision=161500 #constraints=31505
1060.52/1060.86	c nbDecision=162000 #constraints=31513
1061.72/1062.05	c nbDecision=162500 #constraints=31526
1062.12/1062.46	c nbDecision=163000 #constraints=31535
1062.42/1062.73	c nbDecision=163500 #constraints=31541
1062.82/1063.15	c nbDecision=164000 #constraints=31548
1063.62/1063.96	c nbDecision=164500 #constraints=31558
1063.92/1064.27	c nbDecision=165000 #constraints=31565
1064.43/1064.77	c nbDecision=165500 #constraints=31574
1065.12/1065.44	c nbDecision=166000 #constraints=31582
1065.82/1066.17	c nbDecision=166500 #constraints=31599
1066.72/1067.01	c nbDecision=167000 #constraints=31617
1067.32/1067.67	c nbDecision=167500 #constraints=31629
1068.62/1068.90	c nbDecision=168000 #constraints=31643
1069.22/1069.50	c nbDecision=168500 #constraints=31649
1069.52/1069.90	c nbDecision=169000 #constraints=31658
1070.02/1070.33	c nbDecision=169500 #constraints=31667
1070.42/1070.77	c nbDecision=170000 #constraints=31675
1071.02/1071.37	c nbDecision=170500 #constraints=31683
1071.32/1071.70	c nbDecision=171000 #constraints=31688
1072.22/1072.57	c nbDecision=171500 #constraints=31695
1073.12/1073.42	c nbDecision=172000 #constraints=31703
1074.42/1074.72	c nbDecision=172500 #constraints=31725
1075.11/1075.45	c nbDecision=173000 #constraints=31733
1075.81/1076.14	c nbDecision=173500 #constraints=31739
1076.41/1076.75	c nbDecision=174000 #constraints=31743
1077.21/1077.59	c nbDecision=174500 #constraints=31752
1078.01/1078.37	c nbDecision=175000 #constraints=31765
1079.32/1079.63	c nbDecision=175500 #constraints=31786
1080.12/1080.48	c nbDecision=176000 #constraints=31800
1080.92/1081.22	c nbDecision=176500 #constraints=31811
1081.62/1081.91	c nbDecision=177000 #constraints=31816
1082.42/1082.73	c nbDecision=177500 #constraints=31824
1083.32/1083.60	c nbDecision=178000 #constraints=31834
1083.92/1084.28	c nbDecision=178500 #constraints=31840
1084.62/1084.95	c nbDecision=179000 #constraints=31845
1085.32/1085.63	c nbDecision=179500 #constraints=31852
1086.21/1086.51	c nbDecision=180000 #constraints=31864
1086.52/1086.87	c nbDecision=180500 #constraints=31872
1087.01/1087.36	c nbDecision=181000 #constraints=31876
1087.81/1088.16	c nbDecision=181500 #constraints=31889
1088.72/1089.07	c nbDecision=182000 #constraints=31901
1089.51/1089.82	c nbDecision=182500 #constraints=31908
1090.41/1090.75	c nbDecision=183000 #constraints=31923
1091.01/1091.30	c nbDecision=183500 #constraints=31934
1091.81/1092.19	c nbDecision=184000 #constraints=31948
1092.61/1092.95	c nbDecision=184500 #constraints=31958
1093.41/1093.72	c nbDecision=185000 #constraints=31974
1094.21/1094.60	c nbDecision=185500 #constraints=31991
1095.11/1095.47	c nbDecision=186000 #constraints=32002
1095.71/1096.06	c nbDecision=186500 #constraints=32008
1096.31/1096.67	c nbDecision=187000 #constraints=32017
1097.11/1097.41	c nbDecision=187500 #constraints=32028
1097.81/1098.18	c nbDecision=188000 #constraints=32034
1098.41/1098.76	c nbDecision=188500 #constraints=32041
1099.31/1099.61	c nbDecision=189000 #constraints=32054
1100.01/1100.34	c nbDecision=189500 #constraints=32058
1100.41/1100.79	c nbDecision=190000 #constraints=32067
1101.11/1101.47	c nbDecision=190500 #constraints=32079
1102.11/1102.40	c nbDecision=191000 #constraints=32088
1102.71/1103.09	c nbDecision=191500 #constraints=32095
1103.61/1103.94	c nbDecision=192000 #constraints=32104
1104.41/1104.73	c nbDecision=192500 #constraints=32114
1105.11/1105.46	c nbDecision=193000 #constraints=32123
1105.81/1106.17	c nbDecision=193500 #constraints=32130
1106.61/1106.91	c nbDecision=194000 #constraints=32140
1107.01/1107.32	c nbDecision=194500 #constraints=32151
1107.81/1108.10	c nbDecision=195000 #constraints=32165
1108.21/1108.55	c nbDecision=195500 #constraints=32173
1109.01/1109.33	c nbDecision=196000 #constraints=32181
1109.71/1110.06	c nbDecision=196500 #constraints=32192
1110.41/1110.77	c nbDecision=197000 #constraints=32201
1111.31/1111.65	c nbDecision=197500 #constraints=32209
1112.21/1112.58	c nbDecision=198000 #constraints=32222
1112.81/1113.16	c nbDecision=198500 #constraints=32227
1113.50/1113.82	c nbDecision=199000 #constraints=32232
1114.20/1114.57	c nbDecision=199500 #constraints=32240
1115.01/1115.37	c nbDecision=200000 #constraints=32247
1115.80/1116.10	c nbDecision=200500 #constraints=32252
1116.40/1116.70	c nbDecision=201000 #constraints=32257
1116.90/1117.22	c nbDecision=201500 #constraints=32261
1117.60/1117.92	c nbDecision=202000 #constraints=32272
1118.21/1118.57	c nbDecision=202500 #constraints=32288
1119.20/1119.52	c nbDecision=203000 #constraints=32302
1120.00/1120.32	c nbDecision=203500 #constraints=32309
1120.51/1120.87	c nbDecision=204000 #constraints=32313
1121.20/1121.56	c nbDecision=204500 #constraints=32320
1121.80/1122.12	c restart after 204801 decisions
1144.39/1144.77	c nbDecision=205000 #constraints=32428
1146.90/1147.28	c nbDecision=205500 #constraints=32436
1147.89/1148.26	c nbDecision=206000 #constraints=32452
1148.69/1149.08	c nbDecision=206500 #constraints=32460
1149.50/1149.86	c nbDecision=207000 #constraints=32470
1150.40/1150.75	c nbDecision=207500 #constraints=32481
1151.31/1151.61	c nbDecision=208000 #constraints=32494
1152.20/1152.58	c nbDecision=208500 #constraints=32511
1153.10/1153.42	c nbDecision=209000 #constraints=32523
1153.99/1154.38	c nbDecision=209500 #constraints=32538
1154.79/1155.19	c nbDecision=210000 #constraints=32546
1155.99/1156.35	c nbDecision=210500 #constraints=32566
1156.69/1157.08	c nbDecision=211000 #constraints=32577
1157.90/1158.27	c nbDecision=211500 #constraints=32596
1158.69/1159.01	c nbDecision=212000 #constraints=32605
1159.80/1160.15	c nbDecision=212500 #constraints=32624
1160.70/1161.07	c nbDecision=213000 #constraints=32640
1162.00/1162.32	c nbDecision=213500 #constraints=32662
1162.80/1163.17	c nbDecision=214000 #constraints=32674
1163.80/1164.19	c nbDecision=214500 #constraints=32689
1164.50/1164.89	c nbDecision=215000 #constraints=32695
1165.29/1165.62	c nbDecision=215500 #constraints=32704
1166.39/1166.72	c nbDecision=216000 #constraints=32720
1167.19/1167.59	c nbDecision=216500 #constraints=32732
1167.99/1168.38	c nbDecision=217000 #constraints=32741
1169.00/1169.33	c nbDecision=217500 #constraints=32756
1170.29/1170.66	c nbDecision=218000 #constraints=32779
1171.19/1171.54	c nbDecision=218500 #constraints=32793
1172.09/1172.47	c nbDecision=219000 #constraints=32806
1172.89/1173.22	c nbDecision=219500 #constraints=32817
1174.19/1174.59	c nbDecision=220000 #constraints=32840
1174.89/1175.23	c nbDecision=220500 #constraints=32846
1176.19/1176.50	c nbDecision=221000 #constraints=32866
1177.09/1177.47	c nbDecision=221500 #constraints=32881
1178.39/1178.73	c nbDecision=222000 #constraints=32899
1178.99/1179.37	c nbDecision=222500 #constraints=32907
1179.99/1180.33	c nbDecision=223000 #constraints=32919
1180.59/1180.95	c nbDecision=223500 #constraints=32925
1181.59/1181.91	c nbDecision=224000 #constraints=32938
1182.38/1182.77	c nbDecision=224500 #constraints=32949
1183.38/1183.72	c nbDecision=225000 #constraints=32961
1184.08/1184.48	c nbDecision=225500 #constraints=32970
1185.28/1185.66	c nbDecision=226000 #constraints=32987
1186.49/1186.84	c nbDecision=226500 #constraints=33005
1187.28/1187.65	c nbDecision=227000 #constraints=33014
1187.89/1188.22	c nbDecision=227500 #constraints=33020
1188.99/1189.33	c nbDecision=228000 #constraints=33034
1189.90/1190.29	c nbDecision=228500 #constraints=33051
1190.79/1191.11	c nbDecision=229000 #constraints=33061
1191.89/1192.29	c nbDecision=229500 #constraints=33080
1193.19/1193.55	c nbDecision=230000 #constraints=33097
1193.89/1194.22	c nbDecision=230500 #constraints=33103
1194.89/1195.29	c nbDecision=231000 #constraints=33115
1195.59/1195.98	c nbDecision=231500 #constraints=33123
1197.39/1197.74	c nbDecision=232000 #constraints=33152
1198.59/1198.90	c nbDecision=232500 #constraints=33172
1199.39/1199.77	c nbDecision=233000 #constraints=33181
1200.19/1200.55	c nbDecision=233500 #constraints=33193
1201.48/1201.88	c nbDecision=234000 #constraints=33217
1202.68/1203.04	c nbDecision=234500 #constraints=33232
1203.88/1204.21	c nbDecision=235000 #constraints=33249
1204.48/1204.89	c nbDecision=235500 #constraints=33257
1205.38/1205.73	c nbDecision=236000 #constraints=33266
1205.98/1206.38	c nbDecision=236500 #constraints=33274
1206.78/1207.18	c nbDecision=237000 #constraints=33284
1207.68/1208.02	c nbDecision=237500 #constraints=33296
1208.58/1208.94	c nbDecision=238000 #constraints=33306
1209.38/1209.78	c nbDecision=238500 #constraints=33319
1210.08/1210.43	c nbDecision=239000 #constraints=33330
1210.68/1211.06	c nbDecision=239500 #constraints=33339
1211.69/1212.05	c nbDecision=240000 #constraints=33350
1212.69/1213.02	c nbDecision=240500 #constraints=33364
1213.38/1213.76	c nbDecision=241000 #constraints=33375
1214.09/1214.46	c nbDecision=241500 #constraints=33380
1214.88/1215.20	c nbDecision=242000 #constraints=33389
1215.58/1215.94	c nbDecision=242500 #constraints=33399
1216.48/1216.81	c nbDecision=243000 #constraints=33413
1217.18/1217.59	c nbDecision=243500 #constraints=33424
1217.98/1218.36	c nbDecision=244000 #constraints=33434
1218.78/1219.20	c nbDecision=244500 #constraints=33446
1219.59/1219.91	c nbDecision=245000 #constraints=33458
1220.28/1220.64	c nbDecision=245500 #constraints=33467
1221.08/1221.42	c nbDecision=246000 #constraints=33479
1221.78/1222.15	c nbDecision=246500 #constraints=33487
1222.68/1223.01	c nbDecision=247000 #constraints=33499
1223.58/1223.95	c nbDecision=247500 #constraints=33511
1224.28/1224.64	c nbDecision=248000 #constraints=33517
1225.17/1225.51	c nbDecision=248500 #constraints=33527
1226.18/1226.52	c nbDecision=249000 #constraints=33541
1227.37/1227.75	c nbDecision=249500 #constraints=33560
1228.38/1228.71	c nbDecision=250000 #constraints=33573
1228.97/1229.35	c nbDecision=250500 #constraints=33580
1230.08/1230.46	c nbDecision=251000 #constraints=33593
1237.48/1237.86	c nbDecision=251500 #constraints=33768
1254.47/1254.85	c nbDecision=252000 #constraints=34157
1273.17/1273.54	c nbDecision=252500 #constraints=34530
1295.86/1296.24	c nbDecision=253000 #constraints=34890
1317.85/1318.21	c nbDecision=253500 #constraints=35293
1324.96/1325.32	c nbDecision=254000 #constraints=35465
1335.35/1335.74	c nbDecision=254500 #constraints=35753
1352.45/1352.87	c nbDecision=255000 #constraints=36159
1367.74/1368.15	c nbDecision=255500 #constraints=36540
1385.64/1386.04	c nbDecision=256000 #constraints=36877
1410.03/1410.40	c nbDecision=256500 #constraints=37267
1432.13/1432.54	c nbDecision=257000 #constraints=37619
1454.83/1455.29	c nbDecision=257500 #constraints=37954
1479.91/1480.34	c nbDecision=258000 #constraints=38292
1506.01/1506.41	c nbDecision=258500 #constraints=38638
1532.10/1532.57	c nbDecision=259000 #constraints=38957
1566.40/1566.86	c nbDecision=259500 #constraints=39271
1599.68/1600.18	c nbDecision=260000 #constraints=39591
1627.77/1628.27	c nbDecision=260500 #constraints=39914
1660.66/1661.16	c nbDecision=261000 #constraints=40245
1694.06/1694.55	c nbDecision=261500 #constraints=40570
1730.35/1730.88	c nbDecision=262000 #constraints=40878
1768.74/1769.24	c nbDecision=262500 #constraints=41209
1800.03/1800.50	Received signal 15
1800.03/1800.57	
1800.03/1800.57	s UNKNOWN
1800.03/1800.57	
1800.03/1800.57	c user time= 1798.9 s
1800.03/1800.57	c system time= 1.21881 s
1800.03/1800.57	c wall clock time=1800.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/node44/watcher-357259-1176992680 -o ROOT/results/node44/solver-357259-1176992680 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357259-1176992680/instance-357259-1176992680.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.92 0.98 0.99 3/77 4312
/proc/meminfo: memFree=1694072/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=1468 CPUtime=0
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 147179762 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 367 166 131 317 0 46 0

[startup+0.070776 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 4312
/proc/meminfo: memFree=1694072/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=2932 CPUtime=0.06
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 538 0 0 0 6 0 0 0 18 0 1 0 147179762 3002368 520 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 733 520 131 317 0 412 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2932

[startup+0.101778 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 4312
/proc/meminfo: memFree=1694072/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=3460 CPUtime=0.09
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 674 0 0 0 9 0 0 0 18 0 1 0 147179762 3543040 656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 865 656 131 317 0 544 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3460

[startup+0.301799 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 4312
/proc/meminfo: memFree=1694072/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=6952 CPUtime=0.29
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 1557 0 0 0 29 0 0 0 19 0 1 0 147179762 7118848 1539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 1738 1539 139 317 0 1417 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6952

[startup+0.70184 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 4312
/proc/meminfo: memFree=1694072/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=7468 CPUtime=0.69
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 1710 0 0 0 68 1 0 0 23 0 1 0 147179762 7647232 1692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 1867 1692 170 317 0 1546 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7468

[startup+1.50192 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 4313
/proc/meminfo: memFree=1687720/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=8120 CPUtime=1.49
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 1885 0 0 0 148 1 0 0 25 0 1 0 147179762 8314880 1867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712505 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 2030 1867 170 317 0 1709 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8120

[startup+3.10113 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 4313
/proc/meminfo: memFree=1686312/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=10880 CPUtime=3.09
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 2577 0 0 0 308 1 0 0 25 0 1 0 147179762 11141120 2559 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134558551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 2720 2559 170 317 0 2399 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10880

[startup+6.30141 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 4313
/proc/meminfo: memFree=1681896/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=13988 CPUtime=6.29
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 3338 0 0 0 626 3 0 0 25 0 1 0 147179762 14323712 3320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593289 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 3497 3320 170 317 0 3176 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13988

[startup+12.7011 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 4313
/proc/meminfo: memFree=1675752/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=20000 CPUtime=12.68
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 4798 0 0 0 1265 3 0 0 25 0 1 0 147179762 20480000 4780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 5000 4780 170 317 0 4679 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20000

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 4313
/proc/meminfo: memFree=1671720/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=24024 CPUtime=25.49
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 5727 0 0 0 2544 5 0 0 25 0 1 0 147179762 24600576 5709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 6006 5709 170 317 0 5685 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24024

[startup+51.102 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 4313
/proc/meminfo: memFree=1665640/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=30116 CPUtime=51.08
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 7260 0 0 0 5101 7 0 0 25 0 1 0 147179762 30838784 7242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 7529 7242 170 317 0 7208 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30116

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 4313
/proc/meminfo: memFree=1657640/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=38660 CPUtime=102.27
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 9229 0 0 0 10217 10 0 0 25 0 1 0 147179762 39587840 9211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 9665 9211 170 317 0 9344 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 38660

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4313
/proc/meminfo: memFree=1650408/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=46540 CPUtime=162.25
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 11109 0 0 0 16213 12 0 0 25 0 1 0 147179762 47656960 11033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 11635 11033 170 317 0 11314 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 46540

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4313
/proc/meminfo: memFree=1643944/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=52704 CPUtime=222.23
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 12692 0 0 0 22209 14 0 0 25 0 1 0 147179762 53968896 12616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 13176 12616 170 317 0 12855 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 52704

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4313
/proc/meminfo: memFree=1638760/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=59208 CPUtime=282.21
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 13989 0 0 0 28206 15 0 0 25 0 1 0 147179762 60628992 13913 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604226 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 14802 13913 170 317 0 14481 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 59208

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4313
/proc/meminfo: memFree=1634728/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=63260 CPUtime=342.2
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 14983 0 0 0 34203 17 0 0 25 0 1 0 147179762 64778240 14907 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 15815 14907 170 317 0 15494 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 63260

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4313
/proc/meminfo: memFree=1628840/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=69292 CPUtime=402.19
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 16479 0 0 0 40200 19 0 0 25 0 1 0 147179762 70955008 16403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 17323 16403 170 317 0 17002 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 69292

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4313
/proc/meminfo: memFree=1622504/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=74964 CPUtime=462.17
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 18037 0 0 0 46197 20 0 0 25 0 1 0 147179762 76763136 17961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563441 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 18741 17961 170 317 0 18420 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 74964

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4313
/proc/meminfo: memFree=1616296/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=83096 CPUtime=522.15
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 19592 0 0 0 52194 21 0 0 25 0 1 0 147179762 85090304 19516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 20774 19516 170 317 0 20453 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 83096

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4313
/proc/meminfo: memFree=1612392/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=87096 CPUtime=582.14
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 20661 0 0 0 58192 22 0 0 25 0 1 0 147179762 89186304 20471 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 21774 20471 170 317 0 21453 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 87096

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4313
/proc/meminfo: memFree=1607976/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=91336 CPUtime=642.13
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 21779 0 0 0 64189 24 0 0 25 0 1 0 147179762 93528064 21589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 22834 21589 170 317 0 22513 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 91336


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

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4315
/proc/meminfo: memFree=1306728/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=410264 CPUtime=942.05
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 97495 0 0 0 94143 62 0 0 25 0 1 0 147179762 420110336 96876 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 102566 96876 170 317 0 102245 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 410264

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4315
/proc/meminfo: memFree=1257384/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=468872 CPUtime=1002.04
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 109759 0 0 0 100135 69 0 0 25 0 1 0 147179762 480124928 109107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 117218 109107 170 317 0 116897 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 468872

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4315
/proc/meminfo: memFree=1226408/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=502612 CPUtime=1062.02
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 117557 0 0 0 106129 73 0 0 25 0 1 0 147179762 514674688 116905 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 125653 116905 170 317 0 125332 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 502612

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4315
/proc/meminfo: memFree=1201640/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=527716 CPUtime=1122
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 123653 0 0 0 112123 77 0 0 25 0 1 0 147179762 540381184 122968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 131929 122968 170 317 0 131608 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 527716

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4315
/proc/meminfo: memFree=1190248/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=539492 CPUtime=1181.99
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 126586 0 0 0 118119 80 0 0 25 0 1 0 147179762 552439808 125868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 134873 125868 170 317 0 134552 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 539492

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4315
/proc/meminfo: memFree=1169192/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=561540 CPUtime=1241.97
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 132089 0 0 0 124114 83 0 0 25 0 1 0 147179762 575016960 131144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 140385 131144 170 317 0 140064 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 561540

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4315
/proc/meminfo: memFree=1135336/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=598472 CPUtime=1301.97
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 140406 0 0 0 130109 88 0 0 25 0 1 0 147179762 612835328 139461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 149618 139461 170 317 0 149297 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 598472

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4315
/proc/meminfo: memFree=1079080/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=663036 CPUtime=1361.94
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 154647 0 0 0 136099 95 0 0 25 0 1 0 147179762 678948864 153669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 165759 153669 170 317 0 165438 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 663036

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4315
/proc/meminfo: memFree=1037416/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=704888 CPUtime=1421.93
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 165136 0 0 0 142093 100 0 0 25 0 1 0 147179762 721805312 163894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 176222 163894 170 317 0 175901 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 704888

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4315
/proc/meminfo: memFree=998696/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=757104 CPUtime=1481.91
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 177237 0 0 0 148085 106 0 0 25 0 1 0 147179762 775274496 173586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 189276 173586 170 317 0 188955 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 757104

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4315
/proc/meminfo: memFree=968360/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=786612 CPUtime=1541.89
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 184782 0 0 0 154080 109 0 0 25 0 1 0 147179762 805490688 181098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 196653 181098 170 317 0 196332 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 786612

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4315
/proc/meminfo: memFree=947432/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=806036 CPUtime=1601.88
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 190068 0 0 0 160076 112 0 0 25 0 1 0 147179762 825380864 186384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 201509 186384 170 317 0 201188 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 806036

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4315
/proc/meminfo: memFree=915432/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=843840 CPUtime=1661.86
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 198272 0 0 0 166071 115 0 0 25 0 1 0 147179762 864092160 194324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 210960 194324 170 317 0 210639 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 843840

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4315
/proc/meminfo: memFree=893544/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=867044 CPUtime=1721.86
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 204308 0 0 0 172067 119 0 0 25 0 1 0 147179762 887853056 199832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 216761 199832 170 317 0 216440 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 867044

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4315
/proc/meminfo: memFree=871144/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=887624 CPUtime=1781.84
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 209841 0 0 0 178063 121 0 0 25 0 1 0 147179762 908926976 205365 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 221906 205365 170 317 0 221585 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 887624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4315
/proc/meminfo: memFree=865448/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=893468 CPUtime=1800.03
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194304 211239 0 0 0 179882 121 0 0 25 0 1 0 147179762 914911232 206763 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 223367 206763 170 317 0 223046 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 893468

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

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

[startup+1800.61 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 4316
/proc/meminfo: memFree=996512/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=0 CPUtime=1800.14
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194308 211257 0 0 0 179890 124 0 0 25 0 1 0 147179762 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 4316
/proc/meminfo: memFree=996512/2055920 swapFree=4150992/4192956
[pid=4312] ppid=4310 vsize=0 CPUtime=1800.24
/proc/4312/stat : 4312 (oree) R 4310 4312 3969 0 -1 4194308 211257 0 0 0 179890 134 0 0 25 0 1 0 147179762 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4312/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.26
CPU user time (s): 1798.9
CPU system time (s): 1.35479
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 893468

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

runsolver used 2.19667 second user time and 4.34034 second system time

The end

Launcher Data (download as text)

Begin job on node44 on Thu Apr 19 14:24:41 UTC 2007

IDJOB= 357259
IDBENCH= 2322
IDSOLVER= 172
FILE ID= node44/357259-1176992680

PBS_JOBID= 4630462

Free space on /tmp= 66413 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  0af97c6a7a59a4d1015a4f591401bda7

RANDOM SEED= 31709370

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node44.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.234
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.234
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:       1694600 kB
Buffers:         42000 kB
Cached:         226400 kB
SwapCached:      18832 kB
Active:          82644 kB
Inactive:       215028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1694600 kB
SwapTotal:     4192956 kB
SwapFree:      4150992 kB
Dirty:            2080 kB
Writeback:           0 kB
Mapped:          32332 kB
Slab:            49132 kB
Committed_AS:   498744 kB
PageTables:       1736 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= 66413 MiB

End job on node44 on Thu Apr 19 14:54:43 UTC 2007