Trace number 373063

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.13 1800.6

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_9.opb
MD5SUMd90f6236f870e45ceb3cd4a6e4593f30
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved NO
Number of variables14352
Total number of constraints53247
Number of constraints which are clauses53237
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints9
Minimum length of a constraint1
Maximum length of a constraint1036
Number of terms in the objective function 1036
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 1036
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1068
Number of bits of the biggest sum of numbers11
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.39/0.44	c ...done
0.39/0.44	c #vars=14352 #constraints=53248 hasObjective=yes
0.69/0.77	c res. mode=mod
0.69/0.77	c VSIDS like heuristics
0.69/0.77	c complete search running
2.19/2.27	c restart after 401 decisions
2.29/2.37	c nbDecision=500 #constraints=53304
2.59/2.69	c restart after 801 decisions
2.79/2.88	c nbDecision=1000 #constraints=53314
3.49/3.53	c nbDecision=1500 #constraints=53331
3.59/3.65	c restart after 1601 decisions
4.19/4.27	c nbDecision=2000 #constraints=53351
7.28/7.36	c nbDecision=2500 #constraints=53425
7.88/7.93	c nbDecision=3000 #constraints=53438
8.08/8.19	c restart after 3201 decisions
9.48/9.52	c nbDecision=3500 #constraints=53494
10.08/10.11	c nbDecision=4000 #constraints=53508
10.68/10.70	c nbDecision=4500 #constraints=53522
11.28/11.35	c nbDecision=5000 #constraints=53539
14.19/14.28	c nbDecision=5500 #constraints=53610
15.08/15.18	c nbDecision=6000 #constraints=53637
15.58/15.63	c restart after 6401 decisions
15.68/15.74	c nbDecision=6500 #constraints=53648
16.28/16.33	c nbDecision=7000 #constraints=53662
17.08/17.11	c nbDecision=7500 #constraints=53685
20.18/20.21	c nbDecision=8000 #constraints=53763
20.68/20.80	c nbDecision=8500 #constraints=53777
21.28/21.39	c nbDecision=9000 #constraints=53791
21.98/22.06	c nbDecision=9500 #constraints=53809
24.29/24.35	c nbDecision=10000 #constraints=53852
24.89/24.96	c nbDecision=10500 #constraints=53867
25.69/25.75	c nbDecision=11000 #constraints=53890
28.69/28.73	c nbDecision=11500 #constraints=53961
29.29/29.33	c nbDecision=12000 #constraints=53975
29.89/29.98	c nbDecision=12500 #constraints=53991
30.29/30.37	c restart after 12801 decisions
30.59/30.63	c nbDecision=13000 #constraints=54006
33.49/33.59	c nbDecision=13500 #constraints=54075
34.38/34.48	c nbDecision=14000 #constraints=54101
34.98/35.06	c nbDecision=14500 #constraints=54114
35.68/35.73	c nbDecision=15000 #constraints=54131
36.48/36.58	c nbDecision=15500 #constraints=54156
39.38/39.48	c nbDecision=16000 #constraints=54225
39.98/40.08	c nbDecision=16500 #constraints=54239
40.58/40.70	c nbDecision=17000 #constraints=54254
41.38/41.45	c nbDecision=17500 #constraints=54275
44.38/44.46	c nbDecision=18000 #constraints=54347
45.08/45.11	c nbDecision=18500 #constraints=54363
45.68/45.71	c nbDecision=19000 #constraints=54377
46.28/46.37	c nbDecision=19500 #constraints=54394
47.28/47.36	c nbDecision=20000 #constraints=54425
49.98/50.09	c nbDecision=20500 #constraints=54483
50.58/50.68	c nbDecision=21000 #constraints=54496
51.28/51.31	c nbDecision=21500 #constraints=54511
51.98/52.03	c nbDecision=22000 #constraints=54530
54.98/55.05	c nbDecision=22500 #constraints=54601
55.68/55.79	c nbDecision=23000 #constraints=54620
56.37/56.42	c nbDecision=23500 #constraints=54635
57.08/57.19	c nbDecision=24000 #constraints=54656
59.97/60.00	c nbDecision=24500 #constraints=54724
60.87/60.95	c nbDecision=25000 #constraints=54752
61.48/61.53	c nbDecision=25500 #constraints=54765
61.58/61.63	c restart after 25601 decisions
62.77/62.82	c nbDecision=26000 #constraints=54805
63.37/63.42	c nbDecision=26500 #constraints=54819
64.78/64.81	c nbDecision=27000 #constraints=54866
65.97/66.00	c nbDecision=27500 #constraints=54904
66.57/66.65	c nbDecision=28000 #constraints=54920
67.97/68.04	c nbDecision=28500 #constraints=54966
69.17/69.23	c nbDecision=29000 #constraints=55003
69.77/69.89	c nbDecision=29500 #constraints=55019
71.07/71.17	c nbDecision=30000 #constraints=55060
72.17/72.28	c nbDecision=30500 #constraints=55094
72.97/73.06	c nbDecision=31000 #constraints=55115
74.16/74.27	c nbDecision=31500 #constraints=55153
75.26/75.30	c nbDecision=32000 #constraints=55184
75.96/76.08	c nbDecision=32500 #constraints=55205
77.27/77.32	c nbDecision=33000 #constraints=55244
78.37/78.42	c nbDecision=33500 #constraints=55278
79.37/79.45	c nbDecision=34000 #constraints=55309
80.27/80.33	c nbDecision=34500 #constraints=55334
81.37/81.49	c nbDecision=35000 #constraints=55370
82.57/82.61	c nbDecision=35500 #constraints=55405
83.77/83.81	c nbDecision=36000 #constraints=55443
84.77/84.89	c nbDecision=36500 #constraints=55476
85.87/85.95	c nbDecision=37000 #constraints=55508
86.87/86.98	c nbDecision=37500 #constraints=55539
88.06/88.10	c nbDecision=38000 #constraints=55573
88.76/88.87	c nbDecision=38500 #constraints=55593
89.77/89.87	c nbDecision=39000 #constraints=55622
90.86/90.94	c nbDecision=39500 #constraints=55654
91.96/92.06	c nbDecision=40000 #constraints=55688
92.86/92.98	c nbDecision=40500 #constraints=55714
94.16/94.23	c nbDecision=41000 #constraints=55753
95.36/95.45	c nbDecision=41500 #constraints=55791
96.56/96.64	c nbDecision=42000 #constraints=55828
97.76/97.87	c nbDecision=42500 #constraints=55867
99.06/99.18	c nbDecision=43000 #constraints=55909
100.36/100.44	c nbDecision=43500 #constraints=55949
101.56/101.63	c nbDecision=44000 #constraints=55986
102.76/102.84	c nbDecision=44500 #constraints=56024
104.06/104.11	c nbDecision=45000 #constraints=56064
105.16/105.29	c nbDecision=45500 #constraints=56101
106.36/106.45	c nbDecision=46000 #constraints=56137
107.06/107.19	c nbDecision=46500 #constraints=56161
107.76/107.82	c nbDecision=47000 #constraints=56176
108.66/108.75	c nbDecision=47500 #constraints=56204
109.76/109.81	c nbDecision=48000 #constraints=56270
110.46/110.56	c nbDecision=48500 #constraints=56347
112.65/112.76	c nbDecision=49000 #constraints=56496
118.26/118.36	c nbDecision=49500 #constraints=56665
119.36/119.46	c nbDecision=50000 #constraints=56689
120.46/120.54	c nbDecision=50500 #constraints=56714
121.26/121.31	c nbDecision=51000 #constraints=56733
121.56/121.69	c restart after 51201 decisions
122.36/122.41	c nbDecision=51500 #constraints=56755
123.16/123.27	c nbDecision=52000 #constraints=56773
124.16/124.24	c nbDecision=52500 #constraints=56794
125.76/125.88	c nbDecision=53000 #constraints=56865
127.06/127.18	c nbDecision=53500 #constraints=56983
129.06/129.19	c nbDecision=54000 #constraints=57098
132.96/133.00	c nbDecision=54500 #constraints=57241
135.95/136.09	c nbDecision=55000 #constraints=57281
137.35/137.41	c nbDecision=55500 #constraints=57304
138.75/138.89	c nbDecision=56000 #constraints=57332
140.65/140.78	c nbDecision=56500 #constraints=57367
142.25/142.30	c nbDecision=57000 #constraints=57432
143.85/143.98	c nbDecision=57500 #constraints=57538
147.36/147.44	c nbDecision=58000 #constraints=57682
151.15/151.26	c nbDecision=58500 #constraints=57830
156.55/156.67	c nbDecision=59000 #constraints=57901
157.55/157.61	c nbDecision=59500 #constraints=57946
158.95/159.07	c nbDecision=60000 #constraints=58026
162.35/162.45	c nbDecision=60500 #constraints=58171
166.94/167.03	c nbDecision=61000 #constraints=58337
171.64/171.71	c nbDecision=61500 #constraints=58421
173.44/173.60	c nbDecision=62000 #constraints=58535
177.34/177.48	c nbDecision=62500 #constraints=58674
184.24/184.35	c nbDecision=63000 #constraints=58832
186.34/186.46	c nbDecision=63500 #constraints=58852
191.94/192.01	c nbDecision=64000 #constraints=58899
193.84/193.92	c nbDecision=64500 #constraints=58917
195.94/196.06	c nbDecision=65000 #constraints=58937
201.44/201.51	c nbDecision=65500 #constraints=58985
203.63/203.70	c nbDecision=66000 #constraints=59005
205.73/205.81	c nbDecision=66500 #constraints=59024
208.23/208.31	c nbDecision=67000 #constraints=59047
210.93/211.07	c nbDecision=67500 #constraints=59074
212.63/212.71	c nbDecision=68000 #constraints=59094
214.53/214.61	c nbDecision=68500 #constraints=59120
217.43/217.57	c nbDecision=69000 #constraints=59152
219.33/219.48	c nbDecision=69500 #constraints=59174
221.53/221.63	c nbDecision=70000 #constraints=59194
223.43/223.52	c nbDecision=70500 #constraints=59212
226.12/226.23	c nbDecision=71000 #constraints=59240
230.23/230.31	c nbDecision=71500 #constraints=59314
233.23/233.39	c nbDecision=72000 #constraints=59417
236.13/236.27	c nbDecision=72500 #constraints=59503
242.82/242.94	c nbDecision=73000 #constraints=59657
245.92/246.08	c nbDecision=73500 #constraints=59689
251.22/251.33	c nbDecision=74000 #constraints=59746
253.22/253.31	c nbDecision=74500 #constraints=59814
257.62/257.73	c nbDecision=75000 #constraints=59964
263.12/263.28	c nbDecision=75500 #constraints=60125
269.61/269.79	c nbDecision=76000 #constraints=60237
277.01/277.10	c nbDecision=76500 #constraints=60310
279.31/279.44	c nbDecision=77000 #constraints=60380
283.32/283.44	c nbDecision=77500 #constraints=60481
287.72/287.83	c nbDecision=78000 #constraints=60626
295.72/295.83	c nbDecision=78500 #constraints=60733
297.92/298.08	c nbDecision=79000 #constraints=60819
300.61/300.75	c nbDecision=79500 #constraints=60907
307.81/307.90	c nbDecision=80000 #constraints=61103
313.90/314.08	c nbDecision=80500 #constraints=61194
317.20/317.34	c nbDecision=81000 #constraints=61212
326.10/326.27	c nbDecision=81500 #constraints=61261
329.00/329.19	c nbDecision=82000 #constraints=61277
334.80/334.91	c nbDecision=82500 #constraints=61310
341.10/341.23	c nbDecision=83000 #constraints=61343
344.59/344.78	c nbDecision=83500 #constraints=61363
354.00/354.10	c nbDecision=84000 #constraints=61416
356.69/356.86	c nbDecision=84500 #constraints=61431
361.89/362.04	c nbDecision=85000 #constraints=61461
369.00/369.19	c nbDecision=85500 #constraints=61499
373.10/373.26	c nbDecision=86000 #constraints=61522
381.29/381.40	c nbDecision=86500 #constraints=61568
385.09/385.28	c nbDecision=87000 #constraints=61590
392.99/393.17	c nbDecision=87500 #constraints=61638
396.29/396.50	c nbDecision=88000 #constraints=61656
400.09/400.29	c nbDecision=88500 #constraints=61678
404.59/404.74	c nbDecision=89000 #constraints=61706
408.18/408.36	c nbDecision=89500 #constraints=61730
411.68/411.88	c nbDecision=90000 #constraints=61751
415.98/416.12	c nbDecision=90500 #constraints=61775
423.97/424.10	c nbDecision=91000 #constraints=61818
427.57/427.72	c nbDecision=91500 #constraints=61842
431.87/432.05	c nbDecision=92000 #constraints=61871
437.47/437.68	c nbDecision=92500 #constraints=61908
443.98/444.19	c nbDecision=93000 #constraints=61976
448.08/448.27	c nbDecision=93500 #constraints=62092
454.08/454.21	c nbDecision=94000 #constraints=62217
461.37/461.50	c nbDecision=94500 #constraints=62370
472.27/472.40	c nbDecision=95000 #constraints=62456
474.97/475.11	c nbDecision=95500 #constraints=62547
483.16/483.31	c nbDecision=96000 #constraints=62691
493.96/494.11	c nbDecision=96500 #constraints=62837
496.45/496.66	c nbDecision=97000 #constraints=62910
501.25/501.46	c nbDecision=97500 #constraints=63015
510.66/510.86	c nbDecision=98000 #constraints=63184
517.56/517.70	c nbDecision=98500 #constraints=63247
522.55/522.76	c nbDecision=99000 #constraints=63268
533.15/533.32	c nbDecision=99500 #constraints=63310
538.05/538.26	c nbDecision=100000 #constraints=63330
543.15/543.39	c nbDecision=100500 #constraints=63351
547.84/548.05	c nbDecision=101000 #constraints=63370
553.74/553.94	c nbDecision=101500 #constraints=63395
559.64/559.84	c nbDecision=102000 #constraints=63428
563.74/563.98	c restart after 102401 decisions
564.44/564.63	c nbDecision=102500 #constraints=63446
568.64/568.85	c nbDecision=103000 #constraints=63464
573.84/574.01	c nbDecision=103500 #constraints=63486
581.74/581.93	c nbDecision=104000 #constraints=63519
587.03/587.28	c nbDecision=104500 #constraints=63542
593.13/593.38	c nbDecision=105000 #constraints=63567
600.44/600.60	c nbDecision=105500 #constraints=63597
606.83/607.08	c nbDecision=106000 #constraints=63626
611.34/611.57	c nbDecision=106500 #constraints=63647
616.03/616.27	c nbDecision=107000 #constraints=63670
620.73/620.95	c nbDecision=107500 #constraints=63693
631.33/631.51	c nbDecision=108000 #constraints=63749
634.12/634.32	c nbDecision=108500 #constraints=63819
641.32/641.57	c nbDecision=109000 #constraints=63958
649.12/649.36	c nbDecision=109500 #constraints=64102
657.01/657.24	c nbDecision=110000 #constraints=64202
664.11/664.34	c nbDecision=110500 #constraints=64232
672.02/672.27	c nbDecision=111000 #constraints=64267
680.62/680.88	c nbDecision=111500 #constraints=64340
685.61/685.87	c nbDecision=112000 #constraints=64425
694.41/694.63	c nbDecision=112500 #constraints=64569
705.20/705.48	c nbDecision=113000 #constraints=64711
715.70/715.96	c nbDecision=113500 #constraints=64788
719.90/720.11	c nbDecision=114000 #constraints=64862
726.10/726.33	c nbDecision=114500 #constraints=64975
735.40/735.62	c nbDecision=115000 #constraints=65141
750.09/750.37	c nbDecision=115500 #constraints=65249
753.20/753.47	c nbDecision=116000 #constraints=65309
761.99/762.25	c nbDecision=116500 #constraints=65432
775.79/776.05	c nbDecision=117000 #constraints=65618
783.28/783.54	c nbDecision=117500 #constraints=65683
795.99/796.26	c nbDecision=118000 #constraints=65722
807.18/807.49	c nbDecision=118500 #constraints=65762
815.68/815.99	c nbDecision=119000 #constraints=65793
824.78/825.06	c nbDecision=119500 #constraints=65831
832.97/833.29	c nbDecision=120000 #constraints=65873
840.07/840.38	c nbDecision=120500 #constraints=65896
847.47/847.71	c nbDecision=121000 #constraints=65918
853.86/854.17	c nbDecision=121500 #constraints=65938
862.56/862.89	c nbDecision=122000 #constraints=65968
868.36/868.65	c nbDecision=122500 #constraints=65985
875.86/876.12	c nbDecision=123000 #constraints=66013
885.45/885.77	c nbDecision=123500 #constraints=66049
892.26/892.50	c nbDecision=124000 #constraints=66069
900.26/900.53	c nbDecision=124500 #constraints=66094
910.15/910.46	c nbDecision=125000 #constraints=66124
917.85/918.16	c nbDecision=125500 #constraints=66147
927.15/927.41	c nbDecision=126000 #constraints=66175
936.14/936.45	c nbDecision=126500 #constraints=66204
944.44/944.77	c nbDecision=127000 #constraints=66236
958.84/959.11	c nbDecision=127500 #constraints=66286
963.14/963.47	c nbDecision=128000 #constraints=66353
971.04/971.36	c nbDecision=128500 #constraints=66462
982.83/983.14	c nbDecision=129000 #constraints=66630
992.33/992.62	c nbDecision=129500 #constraints=66754
1003.63/1003.91	c nbDecision=130000 #constraints=66788
1010.93/1011.28	c nbDecision=130500 #constraints=66827
1021.82/1022.20	c nbDecision=131000 #constraints=66880
1037.92/1038.24	c nbDecision=131500 #constraints=66949
1043.62/1043.99	c nbDecision=132000 #constraints=67021
1050.61/1050.91	c nbDecision=132500 #constraints=67110
1062.91/1063.29	c nbDecision=133000 #constraints=67268
1084.21/1084.59	c nbDecision=133500 #constraints=67375
1089.10/1089.44	c nbDecision=134000 #constraints=67457
1099.20/1099.52	c nbDecision=134500 #constraints=67576
1110.10/1110.45	c nbDecision=135000 #constraints=67731
1123.49/1123.88	c nbDecision=135500 #constraints=67843
1127.50/1127.84	c nbDecision=136000 #constraints=67914
1135.60/1135.97	c nbDecision=136500 #constraints=68036
1144.79/1145.18	c nbDecision=137000 #constraints=68151
1155.99/1156.38	c nbDecision=137500 #constraints=68254
1176.38/1176.76	c nbDecision=138000 #constraints=68304
1187.48/1187.80	c nbDecision=138500 #constraints=68334
1206.37/1206.76	c nbDecision=139000 #constraints=68395
1210.18/1210.50	c nbDecision=139500 #constraints=68441
1219.27/1219.68	c nbDecision=140000 #constraints=68532
1229.57/1229.97	c nbDecision=140500 #constraints=68651
1241.36/1241.73	c nbDecision=141000 #constraints=68794
1267.56/1267.92	c nbDecision=141500 #constraints=68868
1273.36/1273.76	c nbDecision=142000 #constraints=68920
1281.86/1282.22	c nbDecision=142500 #constraints=69004
1293.05/1293.41	c nbDecision=143000 #constraints=69166
1309.84/1310.29	c nbDecision=143500 #constraints=69320
1316.35/1316.76	c nbDecision=144000 #constraints=69385
1330.14/1330.55	c nbDecision=144500 #constraints=69506
1347.54/1347.99	c nbDecision=145000 #constraints=69674
1360.14/1360.52	c nbDecision=145500 #constraints=69719
1384.23/1384.69	c nbDecision=146000 #constraints=69768
1407.53/1408.00	c nbDecision=146500 #constraints=69819
1420.62/1421.02	c nbDecision=147000 #constraints=69846
1431.71/1432.11	c nbDecision=147500 #constraints=69874
1446.12/1446.50	c nbDecision=148000 #constraints=69907
1456.21/1456.69	c nbDecision=148500 #constraints=69939
1469.21/1469.66	c nbDecision=149000 #constraints=69965
1478.01/1478.47	c nbDecision=149500 #constraints=70002
1490.50/1490.99	c nbDecision=150000 #constraints=70037
1504.09/1504.57	c nbDecision=150500 #constraints=70079
1518.99/1519.46	c nbDecision=151000 #constraints=70112
1536.29/1536.79	c nbDecision=151500 #constraints=70149
1552.08/1552.59	c nbDecision=152000 #constraints=70184
1567.48/1567.93	c nbDecision=152500 #constraints=70225
1591.68/1592.19	c nbDecision=153000 #constraints=70296
1596.07/1596.54	c nbDecision=153500 #constraints=70350
1604.17/1604.60	c nbDecision=154000 #constraints=70461
1616.57/1617.07	c nbDecision=154500 #constraints=70574
1628.37/1628.89	c nbDecision=155000 #constraints=70698
1655.16/1655.61	c nbDecision=155500 #constraints=70767
1661.56/1662.08	c nbDecision=156000 #constraints=70832
1673.25/1673.77	c nbDecision=156500 #constraints=70938
1688.05/1688.52	c nbDecision=157000 #constraints=71088
1705.84/1706.39	c nbDecision=157500 #constraints=71209
1710.74/1711.22	c nbDecision=158000 #constraints=71282
1721.14/1721.64	c nbDecision=158500 #constraints=71400
1736.34/1736.90	c nbDecision=159000 #constraints=71544
1758.43/1758.98	c nbDecision=159500 #constraints=71625
1779.93/1780.49	c nbDecision=160000 #constraints=71673
1800.02/1800.50	Received signal 15
1800.02/1800.56	
1800.02/1800.56	s UNKNOWN
1800.02/1800.56	
1800.02/1800.56	c user time= 1799.8 s
1800.02/1800.56	c system time= 0.285956 s
1800.02/1800.56	c wall clock time=1800.56

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/node21/watcher-373063-1177161173 -o ROOT/results/node21/solver-373063-1177161173 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373063-1177161173/instance-373063-1177161173.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 18748
/proc/meminfo: memFree=1777728/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=1468 CPUtime=0
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 164034607 1503232 163 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 367 163 130 317 0 46 0

[startup+0.028897 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 18748
/proc/meminfo: memFree=1777728/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=1996 CPUtime=0.02
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 311 0 0 0 2 0 0 0 18 0 1 0 164034607 2043904 293 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 499 293 130 317 0 178 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1996

[startup+0.101906 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 18748
/proc/meminfo: memFree=1777728/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=3600 CPUtime=0.09
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 692 0 0 0 9 0 0 0 18 0 1 0 164034607 3686400 674 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 900 674 130 317 0 579 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3600

[startup+0.301926 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 18748
/proc/meminfo: memFree=1777728/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=7820 CPUtime=0.29
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 1777 0 0 0 29 0 0 0 19 0 1 0 164034607 8007680 1726 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 1955 1726 130 317 0 1634 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7820

[startup+0.70197 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 18748
/proc/meminfo: memFree=1777728/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=16116 CPUtime=0.69
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 3874 0 0 0 68 1 0 0 22 0 1 0 164034607 16502784 3823 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 4029 3823 137 317 0 3708 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16116

[startup+1.50106 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 18749
/proc/meminfo: memFree=1760760/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=19552 CPUtime=1.49
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 4725 0 0 0 148 1 0 0 25 0 1 0 164034607 20021248 4309 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 4888 4309 139 317 0 4567 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19552

[startup+3.10123 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 18749
/proc/meminfo: memFree=1760696/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=19552 CPUtime=3.09
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 4725 0 0 0 308 1 0 0 25 0 1 0 164034607 20021248 4309 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 4888 4309 139 317 0 4567 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19552

[startup+6.30158 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 18749
/proc/meminfo: memFree=1760632/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=19552 CPUtime=6.29
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 4725 0 0 0 628 1 0 0 25 0 1 0 164034607 20021248 4309 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563919 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 4888 4309 139 317 0 4567 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19552

[startup+12.7023 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 18749
/proc/meminfo: memFree=1760632/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=19552 CPUtime=12.68
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 4727 0 0 0 1267 1 0 0 25 0 1 0 164034607 20021248 4311 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135272621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 4888 4311 139 317 0 4567 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19552

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 18749
/proc/meminfo: memFree=1760696/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=19552 CPUtime=25.49
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 4729 0 0 0 2547 2 0 0 25 0 1 0 164034607 20021248 4313 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 4888 4313 139 317 0 4567 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19552

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 18749
/proc/meminfo: memFree=1759224/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=21188 CPUtime=51.08
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 5119 0 0 0 5106 2 0 0 25 0 1 0 164034607 21696512 4703 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 5297 4703 139 317 0 4976 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 21188

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 18749
/proc/meminfo: memFree=1755960/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=24532 CPUtime=102.26
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 5940 0 0 0 10223 3 0 0 25 0 1 0 164034607 25120768 5524 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 6133 5524 139 317 0 5812 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 24532

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18749
/proc/meminfo: memFree=1745144/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=35980 CPUtime=162.25
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 8696 0 0 0 16220 5 0 0 25 0 1 0 164034607 36843520 8280 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 8995 8280 139 317 0 8674 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 35980

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18749
/proc/meminfo: memFree=1739064/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=41708 CPUtime=222.23
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 10142 0 0 0 22217 6 0 0 25 0 1 0 164034607 42708992 9726 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 10427 9726 139 317 0 10106 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 41708

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18749
/proc/meminfo: memFree=1732792/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=47892 CPUtime=282.22
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 11732 0 0 0 28214 8 0 0 25 0 1 0 164034607 49041408 11316 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 11973 11316 139 317 0 11652 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 47892

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18749
/proc/meminfo: memFree=1726840/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=54416 CPUtime=342.19
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 13179 0 0 0 34211 8 0 0 25 0 1 0 164034607 55721984 12763 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 13604 12763 139 317 0 13283 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 54416

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18749
/proc/meminfo: memFree=1725688/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=56428 CPUtime=402.19
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 13476 0 0 0 40210 9 0 0 25 0 1 0 164034607 57782272 13060 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 14107 13060 139 317 0 13786 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 56428

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18749
/proc/meminfo: memFree=1721976/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=60024 CPUtime=462.17
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 14403 0 0 0 46207 10 0 0 25 0 1 0 164034607 61464576 13987 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 15006 13987 139 317 0 14685 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 60024

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18749
/proc/meminfo: memFree=1716728/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=65156 CPUtime=522.15
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 15713 0 0 0 52204 11 0 0 25 0 1 0 164034607 66719744 15297 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 16289 15297 139 317 0 15968 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 65156

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18749
/proc/meminfo: memFree=1716216/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=65676 CPUtime=582.13
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 15854 0 0 0 58202 11 0 0 25 0 1 0 164034607 67252224 15438 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 16419 15438 139 317 0 16098 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 65676

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18749
/proc/meminfo: memFree=1714808/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=66968 CPUtime=642.12
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 16197 0 0 0 64200 12 0 0 25 0 1 0 164034607 68575232 15781 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604218 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 16742 15781 139 317 0 16421 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 66968


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18749
/proc/meminfo: memFree=1703032/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=78796 CPUtime=882.05
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 19203 0 0 0 88190 15 0 0 25 0 1 0 164034607 80687104 18722 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 19699 18722 139 317 0 19378 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 78796

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18749
/proc/meminfo: memFree=1702712/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=79184 CPUtime=942.04
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 19300 0 0 0 94188 16 0 0 25 0 1 0 164034607 81084416 18819 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 19796 18819 139 317 0 19475 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 79184

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18749
/proc/meminfo: memFree=1699256/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=82492 CPUtime=1002.03
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 20150 0 0 0 100185 18 0 0 25 0 1 0 164034607 84471808 19669 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 20623 19669 139 317 0 20302 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 82492

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18749
/proc/meminfo: memFree=1697656/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=84292 CPUtime=1062.01
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 20604 0 0 0 106182 19 0 0 25 0 1 0 164034607 86315008 20123 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135272576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 21073 20123 139 317 0 20752 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 84292

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18749
/proc/meminfo: memFree=1692856/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=88764 CPUtime=1121.99
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 21743 0 0 0 112180 19 0 0 25 0 1 0 164034607 90894336 21262 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563509 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 22191 21262 139 317 0 21870 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 88764

[startup+1182.3 s]
/proc/loadavg: 1.07 1.00 1.00 2/78 18749
/proc/meminfo: memFree=1690232/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=91400 CPUtime=1181.98
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 22410 0 0 0 118178 20 0 0 25 0 1 0 164034607 93593600 21929 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 22850 21929 139 317 0 22529 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 91400

[startup+1242.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 18749
/proc/meminfo: memFree=1687416/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=94144 CPUtime=1241.96
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 23091 0 0 0 124175 21 0 0 25 0 1 0 164034607 96403456 22610 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 23536 22610 139 317 0 23215 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 94144

[startup+1302.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 18749
/proc/meminfo: memFree=1685048/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=96396 CPUtime=1301.95
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 23670 0 0 0 130173 22 0 0 25 0 1 0 164034607 98709504 23189 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 24099 23189 139 317 0 23778 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 96396

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18749
/proc/meminfo: memFree=1681784/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=103348 CPUtime=1361.93
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 25245 0 0 0 136170 23 0 0 25 0 1 0 164034607 105828352 24005 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 25837 24005 139 317 0 25516 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 103348

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18749
/proc/meminfo: memFree=1681528/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=103612 CPUtime=1421.92
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 25310 0 0 0 142169 23 0 0 25 0 1 0 164034607 106098688 24070 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 25903 24070 139 317 0 25582 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 103612

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18749
/proc/meminfo: memFree=1681080/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=103996 CPUtime=1481.9
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 25428 0 0 0 148166 24 0 0 25 0 1 0 164034607 106491904 24188 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134711017 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 25999 24188 139 317 0 25678 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 103996

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18749
/proc/meminfo: memFree=1680696/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=104256 CPUtime=1541.88
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 25531 0 0 0 154164 24 0 0 25 0 1 0 164034607 106758144 24291 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 26064 24291 139 317 0 25743 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 104256

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18751
/proc/meminfo: memFree=1680056/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=105044 CPUtime=1601.87
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 25713 0 0 0 160162 25 0 0 25 0 1 0 164034607 107565056 24473 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 26261 24473 139 317 0 25940 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 105044

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18751
/proc/meminfo: memFree=1677688/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=107420 CPUtime=1661.85
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 26311 0 0 0 166159 26 0 0 25 0 1 0 164034607 109998080 25071 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 26855 25071 139 317 0 26534 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 107420

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18751
/proc/meminfo: memFree=1674680/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=110260 CPUtime=1721.84
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 27062 0 0 0 172157 27 0 0 25 0 1 0 164034607 112906240 25822 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710975 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 27565 25822 139 317 0 27244 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 110260

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18751
/proc/meminfo: memFree=1672632/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=112108 CPUtime=1781.82
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 27543 0 0 0 178154 28 0 0 25 0 1 0 164034607 114798592 26303 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 28027 26303 139 317 0 27706 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 112108



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18751
/proc/meminfo: memFree=1672504/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=112236 CPUtime=1800.02
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 27571 0 0 0 179974 28 0 0 25 0 1 0 164034607 114929664 26331 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 28059 26331 139 317 0 27738 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 112236

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 18751
/proc/meminfo: memFree=1672504/2055920 swapFree=4163760/4192956
[pid=18748] ppid=18746 vsize=112236 CPUtime=1800.02
/proc/18748/stat : 18748 (oree) R 18746 18748 17745 0 -1 4194304 27571 0 0 0 179974 28 0 0 25 0 1 0 164034607 114929664 26331 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18748/statm: 28059 26331 139 317 0 27738 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 112236

Child status: 0
Real time (s): 1800.6
CPU time (s): 1800.13
CPU user time (s): 1799.82
CPU system time (s): 0.304953
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 112240

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

runsolver used 2.21166 second user time and 4.29435 second system time

The end

Launcher Data (download as text)

Begin job on node21 on Sat Apr 21 13:12:53 UTC 2007

IDJOB= 373063
IDBENCH= 25016
IDSOLVER= 172
FILE ID= node21/373063-1177161173

PBS_JOBID= 4648897

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  d90f6236f870e45ceb3cd4a6e4593f30

RANDOM SEED= 983721451

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node21.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1778136 kB
Buffers:         39864 kB
Cached:         152296 kB
SwapCached:       7624 kB
Active:         132104 kB
Inactive:        83108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1778136 kB
SwapTotal:     4192956 kB
SwapFree:      4163760 kB
Dirty:            2924 kB
Writeback:           0 kB
Mapped:          30108 kB
Slab:            48072 kB
Committed_AS:  1700756 kB
PageTables:       1784 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66388 MiB

End job on node21 on Sat Apr 21 13:42:56 UTC 2007