Trace number 373077

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.08 1800.58

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
MD5SUMa6271c60ac3da107dd19024b50d39967
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark1288.62
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved YES
Number of variables4318
Total number of constraints15120
Number of constraints which are clauses15112
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint490
Number of terms in the objective function 490
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 490
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 518
Number of bits of the biggest sum of numbers10
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.12	c ...done
0.09/0.12	c #vars=4318 #constraints=15121 hasObjective=yes
0.19/0.27	c res. mode=mod
0.19/0.27	c VSIDS like heuristics
0.19/0.27	c complete search running
0.69/0.73	c restart after 401 decisions
0.89/0.97	c nbDecision=500 #constraints=15228
1.19/1.20	c restart after 801 decisions
1.39/1.49	c nbDecision=1000 #constraints=15309
1.79/1.81	c nbDecision=1500 #constraints=15372
1.79/1.83	c restart after 1601 decisions
2.29/2.33	c nbDecision=2000 #constraints=15455
2.39/2.49	c nbDecision=2500 #constraints=15486
2.59/2.65	c nbDecision=3000 #constraints=15535
2.69/2.74	c restart after 3201 decisions
2.79/2.83	c nbDecision=3500 #constraints=15582
2.99/3.02	c nbDecision=4000 #constraints=15645
3.19/3.21	c nbDecision=4500 #constraints=15703
3.29/3.33	c nbDecision=5000 #constraints=15749
3.39/3.43	c nbDecision=5500 #constraints=15775
9.08/9.17	c nbDecision=6000 #constraints=15851
11.18/11.23	c restart after 6401 decisions
11.48/11.59	c nbDecision=6500 #constraints=15933
12.09/12.10	c nbDecision=7000 #constraints=15999
12.18/12.25	c nbDecision=7500 #constraints=16026
12.39/12.45	c nbDecision=8000 #constraints=16076
12.59/12.68	c nbDecision=8500 #constraints=16139
12.69/12.76	c nbDecision=9000 #constraints=16158
12.89/12.91	c nbDecision=9500 #constraints=16198
19.49/19.57	c nbDecision=10000 #constraints=16307
19.99/20.06	c nbDecision=10500 #constraints=16360
20.19/20.26	c nbDecision=11000 #constraints=16401
20.49/20.59	c nbDecision=11500 #constraints=16481
20.79/20.81	c nbDecision=12000 #constraints=16531
20.99/21.00	c nbDecision=12500 #constraints=16559
24.28/24.31	c restart after 12801 decisions
24.38/24.44	c nbDecision=13000 #constraints=16604
24.48/24.58	c nbDecision=13500 #constraints=16630
24.68/24.79	c nbDecision=14000 #constraints=16670
31.69/31.79	c nbDecision=14500 #constraints=16772
32.39/32.49	c nbDecision=15000 #constraints=16828
32.69/32.73	c nbDecision=15500 #constraints=16875
32.99/33.01	c nbDecision=16000 #constraints=16918
33.19/33.27	c nbDecision=16500 #constraints=16976
33.39/33.40	c nbDecision=17000 #constraints=16996
33.48/33.58	c nbDecision=17500 #constraints=17025
40.68/40.71	c nbDecision=18000 #constraints=17116
40.88/40.90	c nbDecision=18500 #constraints=17137
41.08/41.15	c nbDecision=19000 #constraints=17180
41.48/41.51	c nbDecision=19500 #constraints=17255
41.68/41.78	c nbDecision=20000 #constraints=17288
42.08/42.19	c nbDecision=20500 #constraints=17343
47.98/48.02	c nbDecision=21000 #constraints=17409
50.88/50.97	c nbDecision=21500 #constraints=17489
51.17/51.22	c nbDecision=22000 #constraints=17518
51.58/51.63	c nbDecision=22500 #constraints=17585
51.98/52.02	c nbDecision=23000 #constraints=17645
52.18/52.21	c nbDecision=23500 #constraints=17673
52.38/52.40	c nbDecision=24000 #constraints=17699
59.68/59.73	c nbDecision=24500 #constraints=17806
60.48/60.52	c nbDecision=25000 #constraints=17855
60.88/60.95	c nbDecision=25500 #constraints=17908
60.98/61.05	c restart after 25601 decisions
61.48/61.58	c nbDecision=26000 #constraints=17963
61.88/61.94	c nbDecision=26500 #constraints=18013
62.08/62.15	c nbDecision=27000 #constraints=18035
62.28/62.39	c nbDecision=27500 #constraints=18072
70.38/70.41	c nbDecision=28000 #constraints=18173
71.38/71.44	c nbDecision=28500 #constraints=18218
71.67/71.72	c nbDecision=29000 #constraints=18261
72.07/72.14	c nbDecision=29500 #constraints=18316
72.47/72.57	c nbDecision=30000 #constraints=18373
72.88/72.97	c nbDecision=30500 #constraints=18413
73.48/73.56	c nbDecision=31000 #constraints=18463
81.28/81.38	c nbDecision=31500 #constraints=18572
81.87/81.92	c nbDecision=32000 #constraints=18597
82.27/82.39	c nbDecision=32500 #constraints=18654
82.77/82.90	c nbDecision=33000 #constraints=18712
83.07/83.16	c nbDecision=33500 #constraints=18759
83.27/83.32	c nbDecision=34000 #constraints=18785
93.27/93.37	c nbDecision=34500 #constraints=18887
94.77/94.80	c nbDecision=35000 #constraints=18931
95.07/95.12	c nbDecision=35500 #constraints=18965
95.67/95.79	c nbDecision=36000 #constraints=19013
96.27/96.39	c nbDecision=36500 #constraints=19074
96.67/96.72	c nbDecision=37000 #constraints=19101
96.77/96.89	c nbDecision=37500 #constraints=19120
106.76/106.85	c nbDecision=38000 #constraints=19225
108.96/109.02	c nbDecision=38500 #constraints=19279
109.26/109.32	c nbDecision=39000 #constraints=19302
109.86/109.93	c nbDecision=39500 #constraints=19357
110.36/110.46	c nbDecision=40000 #constraints=19426
110.66/110.73	c nbDecision=40500 #constraints=19458
110.96/111.08	c nbDecision=41000 #constraints=19497
119.37/119.41	c nbDecision=41500 #constraints=19594
121.26/121.36	c nbDecision=42000 #constraints=19645
121.66/121.80	c nbDecision=42500 #constraints=19692
122.26/122.36	c nbDecision=43000 #constraints=19739
122.96/123.02	c nbDecision=43500 #constraints=19784
123.26/123.37	c nbDecision=44000 #constraints=19819
126.26/126.35	c nbDecision=44500 #constraints=19882
134.86/134.90	c nbDecision=45000 #constraints=19975
136.06/136.15	c nbDecision=45500 #constraints=20016
136.56/136.65	c nbDecision=46000 #constraints=20067
137.25/137.33	c nbDecision=46500 #constraints=20122
137.65/137.70	c nbDecision=47000 #constraints=20158
138.35/138.49	c nbDecision=47500 #constraints=20214
143.66/143.74	c nbDecision=48000 #constraints=20260
150.96/151.06	c nbDecision=48500 #constraints=20359
151.46/151.59	c nbDecision=49000 #constraints=20390
152.25/152.33	c nbDecision=49500 #constraints=20444
153.15/153.29	c nbDecision=50000 #constraints=20527
153.65/153.74	c nbDecision=50500 #constraints=20547
154.15/154.21	c nbDecision=51000 #constraints=20576
154.35/154.40	c restart after 51201 decisions
159.55/159.68	c nbDecision=51500 #constraints=20658
161.05/161.11	c nbDecision=52000 #constraints=20703
161.45/161.60	c nbDecision=52500 #constraints=20747
162.35/162.44	c nbDecision=53000 #constraints=20809
162.85/162.93	c nbDecision=53500 #constraints=20852
163.35/163.40	c nbDecision=54000 #constraints=20881
168.35/168.46	c nbDecision=54500 #constraints=20953
173.35/173.50	c nbDecision=55000 #constraints=21022
174.05/174.15	c nbDecision=55500 #constraints=21075
174.75/174.90	c nbDecision=56000 #constraints=21125
175.15/175.29	c nbDecision=56500 #constraints=21165
175.75/175.90	c nbDecision=57000 #constraints=21186
179.25/179.36	c nbDecision=57500 #constraints=21249
188.84/188.95	c nbDecision=58000 #constraints=21336
190.24/190.33	c nbDecision=58500 #constraints=21371
191.04/191.12	c nbDecision=59000 #constraints=21429
191.74/191.86	c nbDecision=59500 #constraints=21487
192.14/192.24	c nbDecision=60000 #constraints=21516
192.44/192.57	c nbDecision=60500 #constraints=21539
202.14/202.30	c nbDecision=61000 #constraints=21632
207.14/207.21	c nbDecision=61500 #constraints=21709
207.74/207.83	c nbDecision=62000 #constraints=21738
208.74/208.86	c nbDecision=62500 #constraints=21786
209.64/209.73	c nbDecision=63000 #constraints=21853
209.94/210.08	c nbDecision=63500 #constraints=21873
210.34/210.49	c nbDecision=64000 #constraints=21904
220.94/221.06	c nbDecision=64500 #constraints=21998
224.83/224.94	c nbDecision=65000 #constraints=22063
225.63/225.72	c nbDecision=65500 #constraints=22110
226.53/226.62	c nbDecision=66000 #constraints=22163
227.13/227.29	c nbDecision=66500 #constraints=22219
227.93/228.05	c nbDecision=67000 #constraints=22258
228.73/228.89	c nbDecision=67500 #constraints=22308
243.73/243.87	c nbDecision=68000 #constraints=22413
245.93/246.08	c nbDecision=68500 #constraints=22463
246.93/247.08	c nbDecision=69000 #constraints=22523
248.43/248.53	c nbDecision=69500 #constraints=22591
249.02/249.13	c nbDecision=70000 #constraints=22616
249.72/249.81	c nbDecision=70500 #constraints=22648
259.52/259.61	c nbDecision=71000 #constraints=22741
265.72/265.90	c nbDecision=71500 #constraints=22816
266.32/266.49	c nbDecision=72000 #constraints=22837
267.32/267.47	c nbDecision=72500 #constraints=22894
268.01/268.15	c nbDecision=73000 #constraints=22947
268.61/268.79	c nbDecision=73500 #constraints=22981
269.01/269.19	c nbDecision=74000 #constraints=23007
283.72/283.84	c nbDecision=74500 #constraints=23131
287.02/287.20	c nbDecision=75000 #constraints=23179
287.72/287.80	c nbDecision=75500 #constraints=23212
288.61/288.71	c nbDecision=76000 #constraints=23254
289.41/289.55	c nbDecision=76500 #constraints=23311
289.81/289.95	c nbDecision=77000 #constraints=23336
290.41/290.51	c nbDecision=77500 #constraints=23367
302.11/302.29	c nbDecision=78000 #constraints=23453
308.41/308.57	c nbDecision=78500 #constraints=23525
309.21/309.33	c nbDecision=79000 #constraints=23568
310.60/310.75	c nbDecision=79500 #constraints=23631
311.50/311.60	c nbDecision=80000 #constraints=23677
311.90/312.05	c nbDecision=80500 #constraints=23707
316.01/316.13	c nbDecision=81000 #constraints=23759
328.81/328.90	c nbDecision=81500 #constraints=23871
329.50/329.66	c nbDecision=82000 #constraints=23895
330.70/330.80	c nbDecision=82500 #constraints=23951
332.01/332.15	c nbDecision=83000 #constraints=24031
333.00/333.15	c nbDecision=83500 #constraints=24069
334.21/334.39	c nbDecision=84000 #constraints=24114
347.60/347.72	c nbDecision=84500 #constraints=24210
352.60/352.73	c nbDecision=85000 #constraints=24264
353.50/353.65	c nbDecision=85500 #constraints=24312
354.70/354.86	c nbDecision=86000 #constraints=24355
355.69/355.87	c nbDecision=86500 #constraints=24407
356.30/356.42	c nbDecision=87000 #constraints=24432
357.99/358.10	c nbDecision=87500 #constraints=24475
372.39/372.55	c nbDecision=88000 #constraints=24574
375.08/375.21	c nbDecision=88500 #constraints=24618
376.09/376.28	c nbDecision=89000 #constraints=24672
377.68/377.88	c nbDecision=89500 #constraints=24744
377.98/378.14	c nbDecision=90000 #constraints=24762
378.58/378.79	c nbDecision=90500 #constraints=24800
391.69/391.82	c nbDecision=91000 #constraints=24905
396.19/396.33	c nbDecision=91500 #constraints=24956
396.99/397.13	c nbDecision=92000 #constraints=24990
398.19/398.30	c nbDecision=92500 #constraints=25048
399.09/399.24	c nbDecision=93000 #constraints=25097
399.78/399.92	c nbDecision=93500 #constraints=25121
403.59/403.78	c nbDecision=94000 #constraints=25183
416.98/417.14	c nbDecision=94500 #constraints=25273
417.88/418.08	c nbDecision=95000 #constraints=25303
419.48/419.67	c nbDecision=95500 #constraints=25372
420.38/420.59	c nbDecision=96000 #constraints=25432
420.88/421.06	c nbDecision=96500 #constraints=25453
422.08/422.25	c nbDecision=97000 #constraints=25487
434.37/434.50	c nbDecision=97500 #constraints=25564
440.67/440.85	c nbDecision=98000 #constraints=25613
441.77/441.97	c nbDecision=98500 #constraints=25649
443.47/443.60	c nbDecision=99000 #constraints=25704
445.56/445.74	c nbDecision=99500 #constraints=25786
446.96/447.15	c nbDecision=100000 #constraints=25823
452.06/452.25	c nbDecision=100500 #constraints=25915
464.97/465.10	c nbDecision=101000 #constraints=25993
467.37/467.51	c nbDecision=101500 #constraints=26024
468.66/468.84	c nbDecision=102000 #constraints=26081
469.96/470.14	c restart after 102401 decisions
474.16/474.38	c nbDecision=102500 #constraints=26149
481.56/481.80	c nbDecision=103000 #constraints=26204
482.66/482.80	c nbDecision=103500 #constraints=26241
484.06/484.29	c nbDecision=104000 #constraints=26305
485.26/485.42	c nbDecision=104500 #constraints=26374
485.66/485.82	c nbDecision=105000 #constraints=26397
486.26/486.41	c nbDecision=105500 #constraints=26441
486.96/487.20	c nbDecision=106000 #constraints=26479
487.26/487.47	c nbDecision=106500 #constraints=26498
494.76/494.99	c nbDecision=107000 #constraints=26588
498.05/498.21	c nbDecision=107500 #constraints=26638
498.55/498.76	c nbDecision=108000 #constraints=26664
499.35/499.51	c nbDecision=108500 #constraints=26697
518.34/518.53	c nbDecision=109000 #constraints=26798
521.95/522.11	c nbDecision=109500 #constraints=26841
523.05/523.27	c nbDecision=110000 #constraints=26881
524.75/524.93	c nbDecision=110500 #constraints=26938
525.45/525.60	c nbDecision=111000 #constraints=26965
526.05/526.23	c nbDecision=111500 #constraints=26991
533.84/534.08	c nbDecision=112000 #constraints=27095
547.04/547.21	c nbDecision=112500 #constraints=27169
548.14/548.31	c nbDecision=113000 #constraints=27197
549.84/550.09	c nbDecision=113500 #constraints=27253
551.74/551.90	c nbDecision=114000 #constraints=27317
552.84/553.02	c nbDecision=114500 #constraints=27347
553.54/553.79	c nbDecision=115000 #constraints=27385
565.14/565.30	c nbDecision=115500 #constraints=27479
573.53/573.74	c nbDecision=116000 #constraints=27547
574.74/574.99	c nbDecision=116500 #constraints=27593
576.24/576.42	c nbDecision=117000 #constraints=27641
577.54/577.77	c nbDecision=117500 #constraints=27696
578.44/578.65	c nbDecision=118000 #constraints=27723
580.13/580.35	c nbDecision=118500 #constraints=27774
599.63/599.80	c nbDecision=119000 #constraints=27871
600.73/600.94	c nbDecision=119500 #constraints=27896
602.53/602.73	c nbDecision=120000 #constraints=27963
604.42/604.67	c nbDecision=120500 #constraints=28030
605.22/605.49	c nbDecision=121000 #constraints=28056
606.32/606.51	c nbDecision=121500 #constraints=28084
614.72/614.97	c nbDecision=122000 #constraints=28154
627.92/628.18	c nbDecision=122500 #constraints=28230
629.11/629.39	c nbDecision=123000 #constraints=28260
631.12/631.32	c nbDecision=123500 #constraints=28315
632.72/632.97	c nbDecision=124000 #constraints=28374
633.43/633.62	c nbDecision=124500 #constraints=28401
634.02/634.27	c nbDecision=125000 #constraints=28427
646.21/646.41	c nbDecision=125500 #constraints=28506
654.11/654.34	c nbDecision=126000 #constraints=28564
655.42/655.62	c nbDecision=126500 #constraints=28597
657.41/657.68	c nbDecision=127000 #constraints=28664
659.81/660.07	c nbDecision=127500 #constraints=28722
662.01/662.22	c nbDecision=128000 #constraints=28768
663.21/663.40	c nbDecision=128500 #constraints=28809
679.60/679.89	c nbDecision=129000 #constraints=28898
687.30/687.58	c nbDecision=129500 #constraints=28949
688.70/688.94	c nbDecision=130000 #constraints=28993
690.40/690.67	c nbDecision=130500 #constraints=29035
691.50/691.76	c nbDecision=131000 #constraints=29086
692.30/692.50	c nbDecision=131500 #constraints=29115
692.71/692.93	c nbDecision=132000 #constraints=29139
706.70/706.91	c nbDecision=132500 #constraints=29220
712.40/712.69	c nbDecision=133000 #constraints=29260
714.10/714.32	c nbDecision=133500 #constraints=29309
716.10/716.37	c nbDecision=134000 #constraints=29369
717.60/717.86	c nbDecision=134500 #constraints=29423
718.70/718.98	c nbDecision=135000 #constraints=29468
722.79/723.07	c nbDecision=135500 #constraints=29517
740.29/740.55	c nbDecision=136000 #constraints=29605
741.69/741.95	c nbDecision=136500 #constraints=29632
743.39/743.69	c nbDecision=137000 #constraints=29681
745.38/745.64	c nbDecision=137500 #constraints=29762
746.48/746.78	c nbDecision=138000 #constraints=29790
747.49/747.75	c nbDecision=138500 #constraints=29816
755.69/755.93	c nbDecision=139000 #constraints=29910
770.78/771.03	c nbDecision=139500 #constraints=29980
771.98/772.27	c nbDecision=140000 #constraints=30007
774.98/775.22	c nbDecision=140500 #constraints=30072
776.78/777.05	c nbDecision=141000 #constraints=30121
778.38/778.63	c nbDecision=141500 #constraints=30167
781.08/781.34	c nbDecision=142000 #constraints=30216
799.27/799.56	c nbDecision=142500 #constraints=30317
802.37/802.66	c nbDecision=143000 #constraints=30343
804.07/804.31	c nbDecision=143500 #constraints=30389
806.37/806.61	c nbDecision=144000 #constraints=30455
807.97/808.22	c nbDecision=144500 #constraints=30496
810.77/811.05	c nbDecision=145000 #constraints=30563
822.67/822.93	c nbDecision=145500 #constraints=30635
834.86/835.18	c nbDecision=146000 #constraints=30698
836.26/836.54	c nbDecision=146500 #constraints=30737
838.36/838.65	c nbDecision=147000 #constraints=30794
840.86/841.17	c nbDecision=147500 #constraints=30838
842.06/842.30	c nbDecision=148000 #constraints=30876
846.46/846.78	c nbDecision=148500 #constraints=30935
861.15/861.43	c nbDecision=149000 #constraints=31008
866.36/866.68	c nbDecision=149500 #constraints=31050
868.46/868.72	c nbDecision=150000 #constraints=31104
871.36/871.65	c nbDecision=150500 #constraints=31175
872.56/872.83	c nbDecision=151000 #constraints=31211
873.46/873.79	c nbDecision=151500 #constraints=31237
880.95/881.24	c nbDecision=152000 #constraints=31300
894.85/895.12	c nbDecision=152500 #constraints=31369
896.25/896.52	c nbDecision=153000 #constraints=31398
899.15/899.42	c nbDecision=153500 #constraints=31463
902.04/902.32	c nbDecision=154000 #constraints=31524
902.75/903.03	c nbDecision=154500 #constraints=31547
903.74/904.01	c nbDecision=155000 #constraints=31585
920.14/920.47	c nbDecision=155500 #constraints=31670
927.14/927.42	c nbDecision=156000 #constraints=31715
928.44/928.71	c nbDecision=156500 #constraints=31753
931.04/931.35	c nbDecision=157000 #constraints=31799
932.64/932.94	c nbDecision=157500 #constraints=31847
933.65/933.93	c nbDecision=158000 #constraints=31869
935.14/935.43	c nbDecision=158500 #constraints=31898
961.23/961.56	c nbDecision=159000 #constraints=32020
1011.62/1011.97	c nbDecision=159500 #constraints=32213
1049.21/1049.58	c nbDecision=160000 #constraints=32361
1062.90/1063.23	c nbDecision=160500 #constraints=32444
1065.40/1065.74	c nbDecision=161000 #constraints=32505
1067.40/1067.76	c nbDecision=161500 #constraints=32553
1069.30/1069.63	c nbDecision=162000 #constraints=32601
1070.60/1070.93	c nbDecision=162500 #constraints=32633
1073.89/1074.24	c nbDecision=163000 #constraints=32683
1089.80/1090.17	c nbDecision=163500 #constraints=32779
1091.70/1092.02	c nbDecision=164000 #constraints=32817
1094.50/1094.83	c nbDecision=164500 #constraints=32893
1095.69/1096.01	c nbDecision=165000 #constraints=32926
1097.59/1097.95	c nbDecision=165500 #constraints=32965
1102.89/1103.28	c nbDecision=166000 #constraints=33034
1114.89/1115.28	c nbDecision=166500 #constraints=33108
1117.09/1117.47	c nbDecision=167000 #constraints=33163
1119.58/1119.97	c nbDecision=167500 #constraints=33238
1120.78/1121.14	c nbDecision=168000 #constraints=33269
1122.88/1123.29	c nbDecision=168500 #constraints=33324
1125.98/1126.40	c nbDecision=169000 #constraints=33369
1139.48/1139.84	c nbDecision=169500 #constraints=33447
1141.68/1142.08	c nbDecision=170000 #constraints=33501
1145.08/1145.49	c nbDecision=170500 #constraints=33567
1146.58/1146.99	c nbDecision=171000 #constraints=33598
1148.09/1148.40	c nbDecision=171500 #constraints=33639
1152.78/1153.16	c nbDecision=172000 #constraints=33691
1163.08/1163.45	c nbDecision=172500 #constraints=33770
1167.78/1168.14	c nbDecision=173000 #constraints=33813
1170.37/1170.72	c nbDecision=173500 #constraints=33869
1172.57/1172.98	c nbDecision=174000 #constraints=33933
1173.28/1173.66	c nbDecision=174500 #constraints=33952
1177.37/1177.75	c nbDecision=175000 #constraints=34003
1196.37/1196.74	c nbDecision=175500 #constraints=34102
1198.57/1198.95	c nbDecision=176000 #constraints=34144
1201.16/1201.54	c nbDecision=176500 #constraints=34192
1202.76/1203.18	c nbDecision=177000 #constraints=34233
1204.76/1205.16	c nbDecision=177500 #constraints=34280
1206.76/1207.14	c nbDecision=178000 #constraints=34333
1226.25/1226.62	c nbDecision=178500 #constraints=34436
1228.36/1228.70	c nbDecision=179000 #constraints=34485
1231.35/1231.77	c nbDecision=179500 #constraints=34547
1232.35/1232.75	c nbDecision=180000 #constraints=34580
1233.65/1234.05	c nbDecision=180500 #constraints=34615
1240.06/1240.44	c nbDecision=181000 #constraints=34680
1251.95/1252.35	c nbDecision=181500 #constraints=34737
1254.35/1254.74	c nbDecision=182000 #constraints=34789
1257.15/1257.50	c nbDecision=182500 #constraints=34852
1258.55/1258.92	c nbDecision=183000 #constraints=34897
1261.15/1261.52	c nbDecision=183500 #constraints=34935
1272.74/1273.11	c nbDecision=184000 #constraints=35005
1288.44/1288.88	c nbDecision=184500 #constraints=35097
1291.23/1291.67	c nbDecision=185000 #constraints=35163
1293.63/1294.09	c nbDecision=185500 #constraints=35227
1295.34/1295.71	c nbDecision=186000 #constraints=35261
1296.13/1296.58	c nbDecision=186500 #constraints=35280
1312.54/1312.95	c nbDecision=187000 #constraints=35385
1330.03/1330.44	c nbDecision=187500 #constraints=35468
1332.13/1332.58	c nbDecision=188000 #constraints=35512
1335.43/1335.84	c nbDecision=188500 #constraints=35570
1338.03/1338.43	c nbDecision=189000 #constraints=35609
1341.72/1342.10	c nbDecision=189500 #constraints=35658
1347.92/1348.35	c nbDecision=190000 #constraints=35720
1363.82/1364.22	c nbDecision=190500 #constraints=35799
1365.61/1366.10	c nbDecision=191000 #constraints=35831
1369.32/1369.78	c nbDecision=191500 #constraints=35884
1371.92/1372.38	c nbDecision=192000 #constraints=35943
1373.52/1373.98	c nbDecision=192500 #constraints=35963
1375.62/1376.02	c nbDecision=193000 #constraints=35999
1388.71/1389.14	c nbDecision=193500 #constraints=36097
1393.61/1394.04	c nbDecision=194000 #constraints=36137
1397.41/1397.88	c nbDecision=194500 #constraints=36205
1399.51/1399.92	c nbDecision=195000 #constraints=36265
1400.81/1401.25	c nbDecision=195500 #constraints=36296
1402.91/1403.32	c nbDecision=196000 #constraints=36337
1418.30/1418.77	c nbDecision=196500 #constraints=36419
1421.00/1421.47	c nbDecision=197000 #constraints=36463
1424.00/1424.41	c nbDecision=197500 #constraints=36519
1426.40/1426.87	c nbDecision=198000 #constraints=36576
1428.10/1428.57	c nbDecision=198500 #constraints=36621
1439.29/1439.76	c nbDecision=199000 #constraints=36694
1450.20/1450.69	c nbDecision=199500 #constraints=36749
1453.10/1453.55	c nbDecision=200000 #constraints=36804
1456.19/1456.69	c nbDecision=200500 #constraints=36862
1458.29/1458.74	c nbDecision=201000 #constraints=36896
1459.30/1459.76	c nbDecision=201500 #constraints=36913
1462.79/1463.25	c nbDecision=202000 #constraints=36971
1480.78/1481.29	c nbDecision=202500 #constraints=37061
1483.38/1483.80	c nbDecision=203000 #constraints=37105
1486.98/1487.49	c nbDecision=203500 #constraints=37176
1490.48/1490.96	c nbDecision=204000 #constraints=37220
1493.48/1493.91	c nbDecision=204500 #constraints=37252
1493.78/1494.22	c restart after 204801 decisions
1509.18/1509.60	c nbDecision=205000 #constraints=37302
1521.98/1522.45	c nbDecision=205500 #constraints=37356
1524.38/1524.87	c nbDecision=206000 #constraints=37388
1527.57/1528.07	c nbDecision=206500 #constraints=37441
1529.97/1530.43	c nbDecision=207000 #constraints=37505
1531.47/1531.97	c nbDecision=207500 #constraints=37537
1535.87/1536.33	c nbDecision=208000 #constraints=37597
1548.37/1548.82	c nbDecision=208500 #constraints=37673
1578.06/1578.55	c nbDecision=209000 #constraints=37775
1584.76/1585.20	c nbDecision=209500 #constraints=37812
1587.05/1587.50	c nbDecision=210000 #constraints=37857
1591.26/1591.70	c nbDecision=210500 #constraints=37906
1593.85/1594.36	c nbDecision=211000 #constraints=37962
1595.15/1595.65	c nbDecision=211500 #constraints=37983
1601.45/1601.97	c nbDecision=212000 #constraints=38039
1629.05/1629.58	c nbDecision=212500 #constraints=38129
1635.85/1636.34	c nbDecision=213000 #constraints=38168
1639.04/1639.51	c nbDecision=213500 #constraints=38227
1642.34/1642.87	c nbDecision=214000 #constraints=38282
1644.24/1644.74	c nbDecision=214500 #constraints=38332
1645.74/1646.26	c nbDecision=215000 #constraints=38374
1653.04/1653.52	c nbDecision=215500 #constraints=38422
1682.93/1683.49	c nbDecision=216000 #constraints=38508
1685.33/1685.86	c nbDecision=216500 #constraints=38537
1689.33/1689.81	c nbDecision=217000 #constraints=38598
1692.03/1692.58	c nbDecision=217500 #constraints=38656
1694.03/1694.54	c nbDecision=218000 #constraints=38685
1706.42/1706.93	c nbDecision=218500 #constraints=38793
1732.31/1732.88	c nbDecision=219000 #constraints=38874
1739.61/1740.19	c nbDecision=219500 #constraints=38914
1741.61/1742.16	c nbDecision=220000 #constraints=38952
1744.81/1745.33	c nbDecision=220500 #constraints=39005
1748.81/1749.32	c nbDecision=221000 #constraints=39067
1750.81/1751.39	c nbDecision=221500 #constraints=39113
1759.21/1759.73	c nbDecision=222000 #constraints=39198
1788.60/1789.15	c nbDecision=222500 #constraints=39281
1794.20/1794.78	c nbDecision=223000 #constraints=39312
1797.30/1797.82	c nbDecision=223500 #constraints=39360
1800.00/1800.50	Received signal 15
1800.00/1800.54	
1800.00/1800.54	s UNKNOWN
1800.00/1800.54	
1800.00/1800.54	c user time= 1799.73 s
1800.00/1800.54	c system time= 0.32495 s
1800.00/1800.54	c wall clock time=1800.55

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/node7/watcher-373077-1177161917 -o ROOT/results/node7/solver-373077-1177161917 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373077-1177161917/instance-373077-1177161917.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 6704
/proc/meminfo: memFree=1694264/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=1468 CPUtime=0
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 192229355 1503232 164 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 367 165 130 317 0 46 0

[startup+0.0944011 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 6704
/proc/meminfo: memFree=1694264/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=3380 CPUtime=0.09
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 658 0 0 0 9 0 0 0 18 0 1 0 192229355 3461120 640 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 845 640 130 317 0 524 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3380

[startup+0.101401 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 6704
/proc/meminfo: memFree=1694264/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=3512 CPUtime=0.09
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 694 0 0 0 9 0 0 0 18 0 1 0 192229355 3596288 676 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 878 676 130 317 0 557 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3512

[startup+0.30142 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 6704
/proc/meminfo: memFree=1694264/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=6624 CPUtime=0.29
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 1470 0 0 0 29 0 0 0 19 0 1 0 192229355 6782976 1348 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 1656 1348 139 317 0 1335 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6624

[startup+0.701464 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 6704
/proc/meminfo: memFree=1694264/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=6624 CPUtime=0.69
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 1470 0 0 0 69 0 0 0 23 0 1 0 192229355 6782976 1348 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 1656 1348 139 317 0 1335 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6624

[startup+1.50155 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6705
/proc/meminfo: memFree=1689200/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=6624 CPUtime=1.49
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 1471 0 0 0 149 0 0 0 25 0 1 0 192229355 6782976 1349 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 1656 1349 139 317 0 1335 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6624

[startup+3.10172 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6705
/proc/meminfo: memFree=1689072/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=7412 CPUtime=3.09
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 1676 0 0 0 309 0 0 0 25 0 1 0 192229355 7589888 1554 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606729 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 1853 1554 139 317 0 1532 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7412

[startup+6.30105 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6705
/proc/meminfo: memFree=1687664/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=8336 CPUtime=6.29
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 1925 0 0 0 629 0 0 0 25 0 1 0 192229355 8536064 1803 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135279009 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 2084 1803 139 317 0 1763 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8336

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6705
/proc/meminfo: memFree=1686704/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=9572 CPUtime=12.69
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 2190 0 0 0 1268 1 0 0 25 0 1 0 192229355 9801728 2068 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 2393 2068 139 317 0 2072 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9572

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6705
/proc/meminfo: memFree=1683376/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=12572 CPUtime=25.48
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 2937 0 0 0 2547 1 0 0 25 0 1 0 192229355 12873728 2815 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 3143 2815 139 317 0 2822 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 12572

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6705
/proc/meminfo: memFree=1678640/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=17308 CPUtime=51.08
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 4096 0 0 0 5106 2 0 0 25 0 1 0 192229355 17723392 3974 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 4327 3974 139 317 0 4006 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17308

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6705
/proc/meminfo: memFree=1670256/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=25988 CPUtime=102.27
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 6179 0 0 0 10223 4 0 0 25 0 1 0 192229355 26611712 6057 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284496 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 6497 6057 139 317 0 6176 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 25988

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6705
/proc/meminfo: memFree=1662960/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=33476 CPUtime=162.25
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 8031 0 0 0 16219 6 0 0 25 0 1 0 192229355 34279424 7909 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 8369 7909 139 317 0 8048 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 33476

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6705
/proc/meminfo: memFree=1657072/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=39304 CPUtime=222.23
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 9454 0 0 0 22216 7 0 0 25 0 1 0 192229355 40247296 9332 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 9826 9332 139 317 0 9505 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 39304

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6705
/proc/meminfo: memFree=1651760/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=44472 CPUtime=282.22
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 10760 0 0 0 28213 9 0 0 25 0 1 0 192229355 45539328 10638 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 11118 10638 139 317 0 10797 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 44472

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6705
/proc/meminfo: memFree=1645232/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=52288 CPUtime=342.2
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 12413 0 0 0 34209 11 0 0 25 0 1 0 192229355 53542912 12291 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284160 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 13072 12291 139 317 0 12751 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 52288

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6705
/proc/meminfo: memFree=1641008/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=56456 CPUtime=402.18
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 13500 0 0 0 40206 12 0 0 25 0 1 0 192229355 57810944 13378 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135271349 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 14114 13378 139 317 0 13793 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 56456

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 6707
/proc/meminfo: memFree=1636784/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=60488 CPUtime=462.17
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 14515 0 0 0 46204 13 0 0 25 0 1 0 192229355 61939712 14393 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564037 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 15122 14393 139 317 0 14801 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 60488

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6707
/proc/meminfo: memFree=1633328/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=63900 CPUtime=522.15
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 15384 0 0 0 52201 14 0 0 25 0 1 0 192229355 65433600 15262 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 15975 15262 139 317 0 15654 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 63900

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6707
/proc/meminfo: memFree=1629104/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=68176 CPUtime=582.13
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 16460 0 0 0 58198 15 0 0 25 0 1 0 192229355 69812224 16338 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134541590 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 17044 16338 139 317 0 16723 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 68176

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6707
/proc/meminfo: memFree=1625456/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=71760 CPUtime=642.12
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 17336 0 0 0 64196 16 0 0 25 0 1 0 192229355 73482240 17214 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712525 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 17940 17214 139 317 0 17619 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 71760


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6707
/proc/meminfo: memFree=1611760/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=86428 CPUtime=882.05
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 20971 0 0 0 88185 20 0 0 25 0 1 0 192229355 88502272 20643 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 21607 20643 139 317 0 21286 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 86428

[startup+942.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 6707
/proc/meminfo: memFree=1607280/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=93880 CPUtime=942.04
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 22676 0 0 0 94183 21 0 0 25 0 1 0 192229355 96133120 21787 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134713884 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 23470 21787 139 317 0 23149 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 93880

[startup+1002.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 6707
/proc/meminfo: memFree=1606704/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=94112 CPUtime=1002.01
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 22775 0 0 0 100180 21 0 0 25 0 1 0 192229355 96370688 21886 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 23528 21886 139 317 0 23207 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 94112

[startup+1062.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/78 6707
/proc/meminfo: memFree=1606256/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=94756 CPUtime=1062
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 22942 0 0 0 106178 22 0 0 25 0 1 0 192229355 97030144 22020 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563464 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 23689 22020 139 317 0 23368 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 94756

[startup+1122.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/78 6707
/proc/meminfo: memFree=1601392/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=99560 CPUtime=1121.98
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 24179 0 0 0 112175 23 0 0 25 0 1 0 192229355 101949440 23224 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 24890 23224 139 317 0 24569 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 99560

[startup+1182.3 s]
/proc/loadavg: 1.10 1.06 1.01 2/78 6707
/proc/meminfo: memFree=1597488/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=103484 CPUtime=1181.97
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 25181 0 0 0 118173 24 0 0 25 0 1 0 192229355 105967616 24226 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718674 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 25871 24226 139 317 0 25550 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 103484

[startup+1242.3 s]
/proc/loadavg: 1.07 1.06 1.01 2/78 6707
/proc/meminfo: memFree=1593584/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=107352 CPUtime=1241.95
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 26159 0 0 0 124170 25 0 0 25 0 1 0 192229355 109928448 25204 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135270597 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 26838 25204 139 317 0 26517 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 107352

[startup+1302.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/78 6707
/proc/meminfo: memFree=1590128/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=110592 CPUtime=1301.94
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 26966 0 0 0 130168 26 0 0 25 0 1 0 192229355 113246208 26011 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 27648 26011 139 317 0 27327 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 110592

[startup+1362.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 6707
/proc/meminfo: memFree=1587760/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=112832 CPUtime=1361.92
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 27559 0 0 0 136166 26 0 0 25 0 1 0 192229355 115539968 26604 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 28208 26604 139 317 0 27887 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 112832

[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 6707
/proc/meminfo: memFree=1583984/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=116924 CPUtime=1421.9
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 28532 0 0 0 142163 27 0 0 25 0 1 0 192229355 119730176 27544 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 29231 27544 139 317 0 28910 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 116924

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 6707
/proc/meminfo: memFree=1580912/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=119896 CPUtime=1481.88
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 29317 0 0 0 148160 28 0 0 25 0 1 0 192229355 122773504 28329 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 29974 28329 139 317 0 29653 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 119896

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 6707
/proc/meminfo: memFree=1578544/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=122076 CPUtime=1541.87
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 29912 0 0 0 154158 29 0 0 25 0 1 0 192229355 125005824 28924 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712478 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 30519 28924 139 317 0 30198 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 122076

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 6707
/proc/meminfo: memFree=1576368/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=124240 CPUtime=1601.85
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 30491 0 0 0 160156 29 0 0 25 0 1 0 192229355 127221760 29503 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 31060 29503 139 317 0 30739 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 124240

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6707
/proc/meminfo: memFree=1574384/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=126088 CPUtime=1661.83
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 30968 0 0 0 166153 30 0 0 25 0 1 0 192229355 129114112 29980 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 31522 29980 139 317 0 31201 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 126088

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6707
/proc/meminfo: memFree=1572528/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=127984 CPUtime=1721.82
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 31435 0 0 0 172151 31 0 0 25 0 1 0 192229355 131055616 30447 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 31996 30447 139 317 0 31675 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 127984

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6707
/proc/meminfo: memFree=1570544/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=129768 CPUtime=1781.8
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 31913 0 0 0 178148 32 0 0 25 0 1 0 192229355 132882432 30925 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712504 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 32442 30925 139 317 0 32121 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 129768



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6707
/proc/meminfo: memFree=1570288/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=129900 CPUtime=1800
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 31972 0 0 0 179968 32 0 0 25 0 1 0 192229355 133017600 30984 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 32475 30984 139 317 0 32154 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 129900

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6707
/proc/meminfo: memFree=1570288/2055920 swapFree=4159720/4192956
[pid=6704] ppid=6702 vsize=129900 CPUtime=1800
/proc/6704/stat : 6704 (oree) R 6702 6704 5920 0 -1 4194304 31972 0 0 0 179968 32 0 0 25 0 1 0 192229355 133017600 30984 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6704/statm: 32475 30984 139 317 0 32154 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 129900

Child status: 0
Real time (s): 1800.58
CPU time (s): 1800.08
CPU user time (s): 1799.74
CPU system time (s): 0.344947
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 129900

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

runsolver used 2.00169 second user time and 4.5683 second system time

The end

Launcher Data (download as text)

Begin job on node7 on Sat Apr 21 13:25:17 UTC 2007

IDJOB= 373077
IDBENCH= 25017
IDSOLVER= 172
FILE ID= node7/373077-1177161917

PBS_JOBID= 4648909

Free space on /tmp= 66410 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= oree /tmp/evaluation/373077-1177161917/instance-373077-1177161917.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-373077-1177161917 -o ROOT/results/node7/solver-373077-1177161917 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/373077-1177161917/instance-373077-1177161917.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  a6271c60ac3da107dd19024b50d39967

RANDOM SEED= 598880635

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node7.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.231
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.231
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:       1694672 kB
Buffers:         46208 kB
Cached:         247076 kB
SwapCached:      13396 kB
Active:         147056 kB
Inactive:       171104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1694672 kB
SwapTotal:     4192956 kB
SwapFree:      4159720 kB
Dirty:            1780 kB
Writeback:           0 kB
Mapped:          31600 kB
Slab:            28500 kB
Committed_AS:  8811932 kB
PageTables:       1864 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= 66410 MiB

End job on node7 on Sat Apr 21 13:55:20 UTC 2007