Trace number 373217

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 alphaSAT (TO)29 1800.43 1801.18

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir06_area_partials.opb
MD5SUM65718755a88a1589573221eda1549993
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark0.061989
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables572
Total number of constraints1850
Number of constraints which are clauses1850
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 160
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 160
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 160
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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.00/0.01	c ...done
0.00/0.01	c #vars=572 #constraints=1851 hasObjective=yes
0.00/0.02	c res. mode=mod
0.00/0.02	c VSIDS like heuristics
0.00/0.02	c complete search running
0.00/0.02	c nbDecision=131 #constraints=1851
0.00/0.02	c linear search for optimum
0.00/0.02	o 145
0.00/0.02	c nbDecision=131 #constraints=1852
0.00/0.02	o 144
0.00/0.02	c nbDecision=131 #constraints=1853
0.00/0.02	o 143
0.00/0.02	c nbDecision=131 #constraints=1854
0.00/0.02	o 142
0.00/0.03	c nbDecision=131 #constraints=1855
0.00/0.03	o 141
0.00/0.03	c nbDecision=131 #constraints=1856
0.00/0.03	o 140
0.00/0.03	c nbDecision=131 #constraints=1857
0.00/0.03	o 139
0.00/0.03	c nbDecision=131 #constraints=1858
0.00/0.03	o 138
0.00/0.03	c nbDecision=131 #constraints=1859
0.00/0.03	o 137
0.00/0.03	c nbDecision=131 #constraints=1860
0.00/0.03	o 136
0.00/0.03	c nbDecision=131 #constraints=1861
0.00/0.03	o 135
0.00/0.03	c nbDecision=131 #constraints=1862
0.00/0.03	o 134
0.00/0.04	c nbDecision=131 #constraints=1863
0.00/0.04	o 133
0.00/0.04	c nbDecision=131 #constraints=1864
0.00/0.04	o 132
0.00/0.04	c nbDecision=131 #constraints=1865
0.00/0.04	o 131
0.00/0.04	c nbDecision=131 #constraints=1866
0.00/0.04	o 130
0.04/0.04	c nbDecision=131 #constraints=1867
0.04/0.04	o 129
0.04/0.04	c nbDecision=131 #constraints=1868
0.04/0.04	o 128
0.04/0.04	c nbDecision=131 #constraints=1869
0.04/0.04	o 127
0.04/0.04	c nbDecision=131 #constraints=1870
0.04/0.04	o 126
0.04/0.05	c nbDecision=131 #constraints=1871
0.04/0.05	o 125
0.04/0.05	c nbDecision=131 #constraints=1872
0.04/0.05	o 124
0.04/0.05	c nbDecision=131 #constraints=1873
0.04/0.05	o 123
0.04/0.05	c nbDecision=131 #constraints=1874
0.04/0.05	o 122
0.04/0.05	c nbDecision=131 #constraints=1875
0.04/0.05	o 121
0.04/0.05	c nbDecision=131 #constraints=1876
0.04/0.05	o 120
0.04/0.05	c nbDecision=131 #constraints=1877
0.04/0.05	o 119
0.04/0.06	c nbDecision=131 #constraints=1878
0.04/0.06	o 118
0.04/0.06	c nbDecision=131 #constraints=1879
0.04/0.06	o 117
0.04/0.06	c nbDecision=131 #constraints=1880
0.04/0.06	o 116
0.04/0.06	c nbDecision=131 #constraints=1881
0.04/0.06	o 115
0.04/0.06	c nbDecision=131 #constraints=1882
0.04/0.06	o 114
0.04/0.06	c nbDecision=131 #constraints=1883
0.04/0.06	o 113
0.04/0.06	c nbDecision=131 #constraints=1884
0.04/0.07	o 112
0.04/0.07	c nbDecision=131 #constraints=1885
0.04/0.07	o 111
0.04/0.07	c nbDecision=131 #constraints=1886
0.04/0.07	o 110
0.04/0.07	c nbDecision=131 #constraints=1887
0.04/0.07	o 109
0.04/0.07	c nbDecision=131 #constraints=1888
0.04/0.07	o 108
0.04/0.07	c nbDecision=131 #constraints=1889
0.04/0.07	o 107
0.04/0.07	c nbDecision=131 #constraints=1890
0.04/0.07	o 106
0.04/0.08	c nbDecision=131 #constraints=1891
0.04/0.08	o 105
0.04/0.08	c nbDecision=131 #constraints=1892
0.04/0.08	o 104
0.04/0.08	c nbDecision=131 #constraints=1893
0.04/0.08	o 103
0.04/0.08	c nbDecision=131 #constraints=1894
0.04/0.08	o 102
0.04/0.08	c nbDecision=131 #constraints=1895
0.04/0.08	o 101
0.04/0.08	c nbDecision=131 #constraints=1896
0.04/0.08	o 100
0.04/0.09	c nbDecision=131 #constraints=1897
0.04/0.09	o 99
0.04/0.09	c nbDecision=131 #constraints=1898
0.04/0.09	o 98
0.04/0.09	c nbDecision=131 #constraints=1899
0.04/0.09	o 97
0.04/0.09	c nbDecision=131 #constraints=1900
0.04/0.09	o 96
0.04/0.09	c nbDecision=131 #constraints=1901
0.04/0.09	o 95
0.04/0.09	c nbDecision=131 #constraints=1902
0.04/0.09	o 94
0.04/0.10	c nbDecision=131 #constraints=1903
0.04/0.10	o 93
0.09/0.10	c nbDecision=131 #constraints=1904
0.09/0.10	o 92
0.09/0.10	c nbDecision=131 #constraints=1905
0.09/0.10	o 91
0.09/0.10	c nbDecision=131 #constraints=1906
0.09/0.10	o 90
0.09/0.10	c nbDecision=131 #constraints=1907
0.09/0.10	o 89
0.09/0.11	c nbDecision=131 #constraints=1908
0.09/0.11	o 88
0.09/0.11	c nbDecision=131 #constraints=1909
0.09/0.11	o 87
0.09/0.11	c nbDecision=131 #constraints=1910
0.09/0.11	o 86
0.09/0.11	c nbDecision=131 #constraints=1911
0.09/0.11	o 85
0.09/0.11	c nbDecision=131 #constraints=1912
0.09/0.11	o 84
0.09/0.12	c nbDecision=131 #constraints=1913
0.09/0.12	o 83
0.09/0.12	c nbDecision=131 #constraints=1914
0.09/0.12	o 82
0.09/0.12	c nbDecision=131 #constraints=1915
0.09/0.12	o 81
0.09/0.12	c nbDecision=131 #constraints=1916
0.09/0.12	o 80
0.09/0.12	c nbDecision=131 #constraints=1917
0.09/0.12	o 79
0.09/0.13	c nbDecision=131 #constraints=1918
0.09/0.13	o 78
0.09/0.13	c nbDecision=131 #constraints=1919
0.09/0.13	o 77
0.09/0.13	c nbDecision=131 #constraints=1920
0.09/0.13	o 76
0.09/0.13	c nbDecision=131 #constraints=1921
0.09/0.13	o 75
0.09/0.13	c nbDecision=131 #constraints=1922
0.09/0.13	o 74
0.09/0.14	c nbDecision=131 #constraints=1923
0.09/0.14	o 73
0.09/0.14	c nbDecision=131 #constraints=1924
0.09/0.14	o 72
0.09/0.14	c nbDecision=131 #constraints=1925
0.09/0.14	o 71
0.09/0.14	c nbDecision=131 #constraints=1926
0.09/0.14	o 70
0.09/0.15	c nbDecision=131 #constraints=1927
0.09/0.15	o 69
0.09/0.15	c nbDecision=131 #constraints=1928
0.09/0.15	o 68
0.09/0.15	c nbDecision=131 #constraints=1929
0.09/0.15	o 67
0.09/0.15	c nbDecision=131 #constraints=1930
0.09/0.15	o 66
0.09/0.16	c nbDecision=131 #constraints=1931
0.09/0.16	o 65
0.09/0.16	c nbDecision=131 #constraints=1932
0.09/0.16	o 64
0.09/0.16	c nbDecision=131 #constraints=1933
0.09/0.16	o 63
0.09/0.16	c nbDecision=131 #constraints=1934
0.09/0.16	o 62
0.09/0.17	c nbDecision=131 #constraints=1935
0.09/0.17	o 61
0.09/0.17	c nbDecision=131 #constraints=1936
0.09/0.17	o 60
0.09/0.17	c nbDecision=131 #constraints=1937
0.09/0.17	o 59
0.09/0.17	c nbDecision=131 #constraints=1938
0.09/0.17	o 58
0.09/0.18	c nbDecision=131 #constraints=1939
0.09/0.18	o 57
0.09/0.18	c nbDecision=131 #constraints=1940
0.09/0.18	o 56
0.09/0.18	c nbDecision=131 #constraints=1941
0.09/0.18	o 55
0.09/0.18	c nbDecision=131 #constraints=1942
0.09/0.18	o 54
0.09/0.19	c nbDecision=131 #constraints=1943
0.09/0.19	o 53
0.09/0.19	c nbDecision=131 #constraints=1944
0.09/0.19	o 52
0.09/0.19	c nbDecision=131 #constraints=1945
0.09/0.19	o 51
0.09/0.20	c nbDecision=131 #constraints=1946
0.09/0.20	o 50
0.19/0.20	c nbDecision=131 #constraints=1947
0.19/0.20	o 49
0.19/0.20	c nbDecision=131 #constraints=1948
0.19/0.20	o 48
0.19/0.21	c nbDecision=132 #constraints=1950
0.19/0.21	o 47
0.19/0.21	c nbDecision=132 #constraints=1951
0.19/0.21	o 46
0.19/0.21	c nbDecision=132 #constraints=1952
0.19/0.21	o 45
0.19/0.21	c nbDecision=132 #constraints=1953
0.19/0.21	o 44
0.19/0.22	c nbDecision=132 #constraints=1954
0.19/0.22	o 43
0.19/0.22	c nbDecision=132 #constraints=1955
0.19/0.22	o 42
0.19/0.22	c nbDecision=132 #constraints=1956
0.19/0.22	o 41
0.19/0.23	c nbDecision=132 #constraints=1957
0.19/0.23	o 40
0.19/0.23	c nbDecision=132 #constraints=1958
0.19/0.23	o 39
0.19/0.23	c nbDecision=133 #constraints=1960
0.19/0.23	o 38
0.19/0.24	c nbDecision=133 #constraints=1961
0.19/0.24	o 37
0.39/0.48	c nbDecision=284 #constraints=2092
0.39/0.48	o 36
0.39/0.49	c nbDecision=289 #constraints=2097
0.39/0.49	o 35
0.59/0.70	c restart after 401 decisions
0.89/0.91	c nbDecision=500 #constraints=2266
0.89/0.97	c nbDecision=598 #constraints=2321
0.89/0.97	o 34
1.29/1.31	c restart after 801 decisions
1.39/1.46	c nbDecision=847 #constraints=2512
1.39/1.46	o 33
1.69/1.78	c nbDecision=1000 #constraints=2625
2.59/2.63	c nbDecision=1500 #constraints=2974
2.89/2.98	c restart after 1601 decisions
3.49/3.53	c nbDecision=1902 #constraints=3241
3.49/3.53	o 32
3.99/4.06	c nbDecision=2000 #constraints=3327
5.49/5.60	c nbDecision=2500 #constraints=3660
6.29/6.32	c nbDecision=2798 #constraints=3840
6.29/6.32	o 31
7.09/7.17	c nbDecision=3000 #constraints=3975
8.09/8.14	c restart after 3201 decisions
9.19/9.20	c nbDecision=3500 #constraints=4314
12.59/12.63	c nbDecision=4000 #constraints=4696
15.18/15.25	c nbDecision=4500 #constraints=5027
18.18/18.29	c nbDecision=5000 #constraints=5365
22.88/22.97	c nbDecision=5500 #constraints=5726
25.78/25.87	c nbDecision=6000 #constraints=6048
29.08/29.18	c restart after 6401 decisions
31.47/31.51	c nbDecision=6500 #constraints=6396
35.88/35.96	c nbDecision=7000 #constraints=6717
40.38/40.45	c nbDecision=7500 #constraints=7041
45.37/45.48	c nbDecision=8000 #constraints=7376
54.17/54.27	c nbDecision=8500 #constraints=7780
59.37/59.45	c nbDecision=9000 #constraints=8097
65.87/65.95	c nbDecision=9500 #constraints=8443
71.56/71.64	c nbDecision=10000 #constraints=8781
78.56/78.64	c nbDecision=10500 #constraints=9146
83.36/83.41	c nbDecision=11000 #constraints=9461
91.26/91.37	c nbDecision=11500 #constraints=9799
96.15/96.22	c nbDecision=12000 #constraints=10105
102.55/102.68	c nbDecision=12500 #constraints=10415
105.96/106.08	c restart after 12801 decisions
112.45/112.51	c nbDecision=13000 #constraints=10744
123.75/123.84	c nbDecision=13500 #constraints=11074
131.64/131.78	c nbDecision=14000 #constraints=11328
140.34/140.40	c nbDecision=14500 #constraints=11613
152.14/152.24	c nbDecision=15000 #constraints=11971
159.84/159.97	c nbDecision=15500 #constraints=12206
168.03/168.13	c nbDecision=16000 #constraints=12504
177.72/177.86	c nbDecision=16500 #constraints=12783
189.22/189.39	c nbDecision=17000 #constraints=13109
202.72/202.87	c nbDecision=17500 #constraints=13447
212.01/212.16	c nbDecision=18000 #constraints=13762
222.31/222.46	c nbDecision=18500 #constraints=14028
232.50/232.67	c nbDecision=19000 #constraints=14305
240.40/240.52	c nbDecision=19500 #constraints=14613
249.10/249.25	c nbDecision=20000 #constraints=14900
258.90/259.03	c nbDecision=20500 #constraints=15212
267.39/267.57	c nbDecision=21000 #constraints=15520
277.19/277.34	c nbDecision=21500 #constraints=15794
283.89/284.03	c nbDecision=22000 #constraints=16092
289.68/289.80	c nbDecision=22500 #constraints=16334
296.58/296.80	c nbDecision=23000 #constraints=16587
302.68/302.88	c nbDecision=23500 #constraints=16876
305.69/305.80	c nbDecision=24000 #constraints=17091
309.08/309.20	c nbDecision=24500 #constraints=17346
311.78/311.94	c nbDecision=25000 #constraints=17584
314.97/315.16	c nbDecision=25500 #constraints=17851
315.48/315.61	c restart after 25601 decisions
338.96/339.11	c nbDecision=26000 #constraints=18206
366.46/366.60	c nbDecision=26500 #constraints=18559
370.95/371.11	c nbDecision=26705 #constraints=18685
370.95/371.11	o 30
388.45/388.70	c nbDecision=27000 #constraints=18903
412.84/413.06	c nbDecision=27500 #constraints=19257
436.93/437.13	c nbDecision=28000 #constraints=19560
470.22/470.46	c nbDecision=28500 #constraints=19938
491.81/492.06	c nbDecision=29000 #constraints=20272
520.70/520.95	c nbDecision=29500 #constraints=20643
550.90/551.12	c nbDecision=30000 #constraints=20978
572.48/572.75	c nbDecision=30500 #constraints=21321
600.67/600.91	c nbDecision=31000 #constraints=21667
623.76/624.08	c nbDecision=31500 #constraints=21995
648.95/649.24	c nbDecision=32000 #constraints=22297
670.24/670.55	c nbDecision=32500 #constraints=22643
691.44/691.71	c nbDecision=33000 #constraints=22955
724.12/724.46	c nbDecision=33500 #constraints=23348
743.72/744.00	c nbDecision=34000 #constraints=23614
765.01/765.31	c nbDecision=34500 #constraints=23935
784.81/785.18	c nbDecision=35000 #constraints=24210
806.90/807.21	c nbDecision=35500 #constraints=24507
831.19/831.50	c nbDecision=36000 #constraints=24854
852.38/852.77	c nbDecision=36500 #constraints=25182
872.87/873.21	c nbDecision=37000 #constraints=25504
899.06/899.47	c nbDecision=37500 #constraints=25851
914.32/914.73	c nbDecision=38000 #constraints=26207
929.99/930.44	c nbDecision=38500 #constraints=26547
946.47/946.99	c nbDecision=39000 #constraints=26894
960.15/960.65	c nbDecision=39500 #constraints=27269
969.94/970.49	c nbDecision=40000 #constraints=27656
979.44/979.94	c nbDecision=40500 #constraints=28045
984.53/985.08	c nbDecision=41000 #constraints=28453
991.33/991.82	c nbDecision=41500 #constraints=28742
1019.52/1020.01	c nbDecision=42000 #constraints=29113
1034.11/1034.60	c nbDecision=42500 #constraints=29459
1045.01/1045.57	c nbDecision=43000 #constraints=29855
1063.90/1064.48	c nbDecision=43500 #constraints=30284
1098.40/1098.93	c nbDecision=44000 #constraints=30691
1134.69/1135.29	c nbDecision=44500 #constraints=31046
1174.17/1174.73	c nbDecision=45000 #constraints=31394
1206.25/1206.83	c nbDecision=45500 #constraints=31727
1235.75/1236.34	c nbDecision=46000 #constraints=32097
1256.74/1257.36	c nbDecision=46500 #constraints=32502
1269.23/1269.83	c nbDecision=47000 #constraints=32921
1308.92/1309.54	c nbDecision=47500 #constraints=33338
1348.90/1349.57	c nbDecision=48000 #constraints=33749
1375.19/1375.82	c nbDecision=48500 #constraints=34176
1390.38/1391.02	c nbDecision=48798 #constraints=34442
1390.38/1391.02	o 29
1428.18/1428.90	c nbDecision=49000 #constraints=34593
1480.55/1481.20	c nbDecision=49500 #constraints=34913
1521.14/1521.84	c nbDecision=50000 #constraints=35186
1578.31/1579.01	c nbDecision=50500 #constraints=35489
1621.90/1622.61	c nbDecision=51000 #constraints=35759
1648.99/1649.76	c restart after 51201 decisions
1687.58/1688.30	c nbDecision=51500 #constraints=36062
1737.06/1737.82	c nbDecision=52000 #constraints=36384
1786.94/1787.76	c nbDecision=52500 #constraints=36685
1800.04/1800.80	Received signal 15
1800.33/1801.15	
1800.33/1801.15	s SATISFIABLE
1800.33/1801.15	v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31
1800.33/1801.15	v -x32 -x33 -x34 x35 x36 x37 x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58
1800.33/1801.15	v -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84
1800.33/1801.15	v -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 x101 -x102 -x103 x104 -x105 -x106 -x107 -x108
1800.33/1801.15	v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129
1800.33/1801.15	v -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 x143 -x144 x145 x146 x147 -x148 -x149 -x150 -x151
1800.33/1801.15	v x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172
1800.33/1801.15	v x173 -x174 x175 x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194
1800.33/1801.15	v -x195 x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215
1800.33/1801.15	v -x216 x217 -x218 -x219 x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236
1800.33/1801.15	v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257
1800.33/1801.15	v -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278
1800.33/1801.15	v -x279 x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299
1800.33/1801.15	v x300 -x301 -x302 x303 x304 -x305 -x306 x307 -x308 -x309 x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321
1800.33/1801.15	v -x322 x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342
1800.33/1801.15	v -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 x363
1800.33/1801.15	v -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384
1800.33/1801.15	v -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405
1800.33/1801.15	v -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426
1800.33/1801.15	v -x427 x428 -x429 -x430 x431 x432 -x433 -x434 -x435 x436 x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 x445 -x446 -x447 -x448
1800.33/1801.15	v -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469
1800.33/1801.15	v -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
1800.33/1801.15	v -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511
1800.33/1801.15	v -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532
1800.33/1801.15	v -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553
1800.33/1801.15	v -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 x566 x567 x568 -x569 -x570 -x571 -x572
1800.33/1801.15	
1800.33/1801.15	c user time= 1800.05 s
1800.33/1801.15	c system time= 0.348946 s
1800.33/1801.15	c wall clock time=1801.16

Verifier Data (download as text)

OK	29

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node13/watcher-373217-1177173959 -o ROOT/results/node13/solver-373217-1177173959 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373217-1177173959/instance-373217-1177173959.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.93 0.99 0.99 3/77 29292
/proc/meminfo: memFree=1787800/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=1468 CPUtime=0
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 165313735 1503232 166 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 367 166 130 317 0 46 0

[startup+0.044384 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 29292
/proc/meminfo: memFree=1787800/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=2132 CPUtime=0.04
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 381 0 0 0 4 0 0 0 18 0 1 0 165313735 2183168 363 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 533 364 170 317 0 212 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2132

[startup+0.101397 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 29292
/proc/meminfo: memFree=1787800/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=2388 CPUtime=0.09
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 432 0 0 0 9 0 0 0 18 0 1 0 165313735 2445312 414 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 597 414 170 317 0 276 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2388

[startup+0.301439 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 29292
/proc/meminfo: memFree=1787800/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=2648 CPUtime=0.29
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 498 0 0 0 29 0 0 0 19 0 1 0 165313735 2711552 480 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563761 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 662 480 170 317 0 341 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2648

[startup+0.701546 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 29292
/proc/meminfo: memFree=1787800/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=3296 CPUtime=0.69
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 652 0 0 0 69 0 0 0 23 0 1 0 165313735 3375104 634 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 824 634 170 317 0 503 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3296

[startup+1.5027 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 29293
/proc/meminfo: memFree=1785488/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=4212 CPUtime=1.49
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 891 0 0 0 149 0 0 0 25 0 1 0 165313735 4313088 873 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 1053 873 170 317 0 732 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4212

[startup+3.10104 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 29293
/proc/meminfo: memFree=1784208/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=5660 CPUtime=3.09
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 1261 0 0 0 309 0 0 0 25 0 1 0 165313735 5795840 1243 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604210 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 1415 1243 170 317 0 1094 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5660

[startup+6.30172 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 29293
/proc/meminfo: memFree=1781904/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=7708 CPUtime=6.29
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 1742 0 0 0 629 0 0 0 25 0 1 0 165313735 7892992 1724 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 1927 1724 170 317 0 1606 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7708

[startup+12.7011 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 29293
/proc/meminfo: memFree=1779168/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=10204 CPUtime=12.69
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 2343 0 0 0 1268 1 0 0 25 0 1 0 165313735 10448896 2325 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 2551 2325 170 317 0 2230 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10204

[startup+25.5018 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 29293
/proc/meminfo: memFree=1775968/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=14240 CPUtime=25.48
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 3267 0 0 0 2546 2 0 0 25 0 1 0 165313735 14581760 3249 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 3560 3249 170 317 0 3239 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14240

[startup+51.1013 s]
/proc/loadavg: 0.97 0.99 0.99 2/78 29293
/proc/meminfo: memFree=1771360/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=18484 CPUtime=51.07
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 4362 0 0 0 5104 3 0 0 25 0 1 0 165313735 18927616 4294 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 4621 4294 170 317 0 4300 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 18484

[startup+102.305 s]
/proc/loadavg: 0.98 0.99 0.99 2/78 29293
/proc/meminfo: memFree=1763616/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=26804 CPUtime=102.25
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 6277 0 0 0 10220 5 0 0 25 0 1 0 165313735 27447296 6209 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 6701 6209 170 317 0 6380 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 26804

[startup+162.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 29293
/proc/meminfo: memFree=1758560/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=31708 CPUtime=162.23
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 7529 0 0 0 16216 7 0 0 25 0 1 0 165313735 32468992 7461 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 7927 7461 170 317 0 7606 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 31708

[startup+222.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 29293
/proc/meminfo: memFree=1754208/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=35788 CPUtime=222.21
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 8613 0 0 0 22212 9 0 0 25 0 1 0 165313735 36646912 8545 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 8947 8545 170 317 0 8626 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 35788

[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 29293
/proc/meminfo: memFree=1748832/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=41384 CPUtime=282.19
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 10108 0 0 0 28208 11 0 0 25 0 1 0 165313735 42377216 9941 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 10346 9941 170 317 0 10025 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 41384

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 29293
/proc/meminfo: memFree=1742496/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=47868 CPUtime=342.17
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 11697 0 0 0 34204 13 0 0 25 0 1 0 165313735 49016832 11431 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 11967 11431 170 317 0 11646 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 47868

[startup+402.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 29293
/proc/meminfo: memFree=1740192/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=52400 CPUtime=402.14
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 12677 0 0 0 40200 14 0 0 25 0 1 0 165313735 53657600 12015 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 13100 12015 170 317 0 12779 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 52400

[startup+462.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 29293
/proc/meminfo: memFree=1738016/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=54656 CPUtime=462.12
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 13253 0 0 0 46197 15 0 0 25 0 1 0 165313735 55967744 12591 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 13664 12591 170 317 0 13343 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 54656

[startup+522.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 29293
/proc/meminfo: memFree=1736032/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=56500 CPUtime=522.1
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 13759 0 0 0 52195 15 0 0 25 0 1 0 165313735 57856000 13097 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 14125 13097 170 317 0 13804 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 56500

[startup+582.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 29293
/proc/meminfo: memFree=1734048/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=58204 CPUtime=582.08
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 14243 0 0 0 58191 17 0 0 25 0 1 0 165313735 59600896 13581 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 14551 13581 170 317 0 14230 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 58204

[startup+642.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 29293
/proc/meminfo: memFree=1731872/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=60500 CPUtime=642.06
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 14799 0 0 0 64189 17 0 0 25 0 1 0 165313735 61952000 14137 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 15125 14137 170 317 0 14804 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 60500


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

[startup+942.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/84 29463
/proc/meminfo: memFree=1717992/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=72380 CPUtime=941.87
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 17948 0 0 0 94165 22 0 0 25 0 1 0 165313735 74117120 17286 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 18095 17286 170 317 0 17774 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 72380

[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 29491
/proc/meminfo: memFree=1711456/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=80248 CPUtime=1001.83
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 20009 0 0 0 100159 24 0 0 25 0 1 0 165313735 82173952 19149 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 20062 19149 170 317 0 19741 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 80248

[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 29491
/proc/meminfo: memFree=1708000/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=83812 CPUtime=1061.8
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 21008 0 0 0 106155 25 0 0 25 0 1 0 165313735 85823488 20082 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 20953 20082 170 317 0 20632 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 83812

[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 29491
/proc/meminfo: memFree=1705504/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=86112 CPUtime=1121.78
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 21598 0 0 0 112152 26 0 0 25 0 1 0 165313735 88178688 20672 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 21528 20672 170 317 0 21207 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 86112

[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 29491
/proc/meminfo: memFree=1704032/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=87692 CPUtime=1181.76
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 21995 0 0 0 118149 27 0 0 25 0 1 0 165313735 89796608 21069 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 21923 21069 170 317 0 21602 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 87692

[startup+1242.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 29491
/proc/meminfo: memFree=1701472/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=90148 CPUtime=1241.74
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 22629 0 0 0 124146 28 0 0 25 0 1 0 165313735 92311552 21703 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 22537 21703 170 317 0 22216 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 90148

[startup+1302.3 s]
/proc/loadavg: 1.04 1.00 1.00 2/78 29491
/proc/meminfo: memFree=1697888/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=93692 CPUtime=1301.72
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 23524 0 0 0 130143 29 0 0 25 0 1 0 165313735 95940608 22565 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 23423 22565 170 317 0 23102 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 93692

[startup+1362.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 29491
/proc/meminfo: memFree=1696032/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=95528 CPUtime=1361.7
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 24036 0 0 0 136140 30 0 0 25 0 1 0 165313735 97820672 23077 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 23882 23077 170 317 0 23561 0
Current children cumulated CPU time (s) 1361.7
Current children cumulated vsize (KiB) 95528

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29491
/proc/meminfo: memFree=1693856/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=97848 CPUtime=1421.68
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 24577 0 0 0 142137 31 0 0 25 0 1 0 165313735 100196352 23618 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 24462 23618 170 317 0 24141 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 97848

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29491
/proc/meminfo: memFree=1692512/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=104936 CPUtime=1481.65
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 26267 0 0 0 148134 31 0 0 25 0 1 0 165313735 107454464 23943 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 26234 23943 170 317 0 25913 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 104936

[startup+1542.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 29491
/proc/meminfo: memFree=1691424/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=106032 CPUtime=1541.63
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 26543 0 0 0 154131 32 0 0 25 0 1 0 165313735 108576768 24219 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 26508 24219 170 317 0 26187 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 106032

[startup+1602.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 29491
/proc/meminfo: memFree=1690336/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=107868 CPUtime=1601.61
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 26910 0 0 0 160128 33 0 0 25 0 1 0 165313735 110456832 24488 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 26967 24488 170 317 0 26646 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 107868

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29491
/proc/meminfo: memFree=1690080/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=108132 CPUtime=1661.58
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 26974 0 0 0 166125 33 0 0 25 0 1 0 165313735 110727168 24552 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 27033 24552 170 317 0 26712 0
Current children cumulated CPU time (s) 1661.58
Current children cumulated vsize (KiB) 108132

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29491
/proc/meminfo: memFree=1689184/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=109188 CPUtime=1721.57
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 27195 0 0 0 172123 34 0 0 25 0 1 0 165313735 111808512 24773 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 27297 24773 170 317 0 26976 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 109188

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29491
/proc/meminfo: memFree=1688480/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=109980 CPUtime=1781.54
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 27380 0 0 0 178120 34 0 0 25 0 1 0 165313735 112619520 24958 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 27495 24958 170 317 0 27174 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 109980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29491
/proc/meminfo: memFree=1688032/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=110240 CPUtime=1800.04
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 27486 0 0 0 179970 34 0 0 25 0 1 0 165313735 112885760 25064 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 27560 25064 170 317 0 27239 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 110240

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29491
/proc/meminfo: memFree=1688032/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=110240 CPUtime=1800.23
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 27486 0 0 0 179989 34 0 0 25 0 1 0 165313735 112885760 25064 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 27560 25064 170 317 0 27239 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 110240

[startup+1801.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29491
/proc/meminfo: memFree=1688032/2055920 swapFree=4159428/4192956
[pid=29292] ppid=29290 vsize=110240 CPUtime=1800.33
/proc/29292/stat : 29292 (oree) R 29290 29292 28304 0 -1 4194304 27486 0 0 0 179999 34 0 0 25 0 1 0 165313735 112885760 25064 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29292/statm: 27560 25064 170 317 0 27239 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 110240

Child status: 0
Real time (s): 1801.18
CPU time (s): 1800.43
CPU user time (s): 1800.06
CPU system time (s): 0.366944
CPU usage (%): 99.958
Max. virtual memory (cumulated for all children) (KiB): 110240

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

runsolver used 2.04069 second user time and 4.52531 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Sat Apr 21 16:45:59 UTC 2007

IDJOB= 373217
IDBENCH= 25027
IDSOLVER= 172
FILE ID= node13/373217-1177173959

PBS_JOBID= 4648980

Free space on /tmp= 66358 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  65718755a88a1589573221eda1549993

RANDOM SEED= 383133722

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.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.259
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.259
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:       1788272 kB
Buffers:         39076 kB
Cached:         162272 kB
SwapCached:      12716 kB
Active:         129872 kB
Inactive:        94776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1788272 kB
SwapTotal:     4192956 kB
SwapFree:      4159428 kB
Dirty:            1600 kB
Writeback:           0 kB
Mapped:          30352 kB
Slab:            28404 kB
Committed_AS:  6804372 kB
PageTables:       1872 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= 66358 MiB

End job on node13 on Sat Apr 21 17:16:02 UTC 2007