Trace number 3706659

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
toysat 2012-05-17? (TO) 1800.01 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32b1.opb
MD5SUMeb2e849a72ed563d78cdb83a394edb27
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark191
Best CPU time to get the best result obtained on this benchmark9.32758
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 191
Optimality of the best value was proved YES
Number of variables456
Total number of constraints1602
Number of constraints which are clauses1602
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 constraint2
Maximum length of a constraint32
Number of terms in the objective function 456
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 456
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 456
Number of bits of the biggest sum of numbers9
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

0.00/0.06	c 2012-05-27T13:04:14+0200
0.00/0.06	c arch = x86_64
0.00/0.06	c os = linux
0.00/0.06	c compiler = ghc 7.4
0.00/0.06	c packages:
0.00/0.06	c   OptDir-0.0.1
0.00/0.06	c   array-0.4.0.0
0.00/0.06	c   base-4.5.0.0
0.00/0.06	c   bytestring-0.9.2.1
0.00/0.06	c   containers-0.4.2.1
0.00/0.06	c   deepseq-1.3.0.0
0.00/0.06	c   mtl-2.1.1
0.00/0.06	c   old_locale-1.0.0.4
0.00/0.06	c   parse_dimacs-1.2
0.00/0.06	c   parsec-3.1.2
0.00/0.06	c   queue-0.1.2
0.00/0.06	c   stm-2.3
0.00/0.06	c   time-1.4
0.00/0.06	c command line = ["--pb","HOME/instance-3706659-1338116654.opb"]
0.00/0.06	c #vars 456
0.00/0.06	c #constraints 1602
0.00/0.06	c Solving starts ...
0.06/0.08	c solving time = 0.027s
0.06/0.08	c #decision = 179
0.06/0.08	c #conflict = 99
0.06/0.08	c #restart = 0
0.06/0.08	o 226
0.06/0.08	c Solving starts ...
0.06/0.09	c solving time = 0.002s
0.06/0.09	c #decision = 244
0.06/0.09	c #conflict = 99
0.06/0.09	c #restart = 0
0.06/0.09	o 225
0.06/0.09	c Solving starts ...
0.06/0.09	c solving time = 0.002s
0.06/0.09	c #decision = 313
0.06/0.09	c #conflict = 100
0.06/0.09	c #restart = 0
0.06/0.09	o 224
0.06/0.09	c Solving starts ...
0.06/0.09	c solving time = 0.001s
0.06/0.09	c #decision = 384
0.06/0.09	c #conflict = 100
0.06/0.09	c #restart = 0
0.06/0.09	o 223
0.06/0.09	c Solving starts ...
0.06/0.09	c solving time = 0.001s
0.06/0.09	c #decision = 454
0.06/0.09	c #conflict = 100
0.06/0.09	c #restart = 0
0.06/0.09	o 222
0.06/0.09	c Solving starts ...
0.06/0.09	c solving time = 0.001s
0.06/0.09	c #decision = 523
0.06/0.09	c #conflict = 100
0.06/0.09	c #restart = 0
0.06/0.09	o 221
0.06/0.09	c Solving starts ...
0.06/0.10	c solving time = 0.001s
0.06/0.10	c #decision = 591
0.06/0.10	c #conflict = 100
0.06/0.10	c #restart = 0
0.06/0.10	o 220
0.09/0.10	c Solving starts ...
0.09/0.10	c solving time = 0.002s
0.09/0.10	c #decision = 658
0.09/0.10	c #conflict = 100
0.09/0.10	c #restart = 0
0.09/0.10	o 219
0.09/0.10	c Solving starts ...
0.09/0.10	c solving time = 0.002s
0.09/0.10	c #decision = 724
0.09/0.10	c #conflict = 101
0.09/0.10	c #restart = 0
0.09/0.10	o 218
0.09/0.10	c Solving starts ...
0.09/0.10	c solving time = 0.002s
0.09/0.10	c #decision = 791
0.09/0.10	c #conflict = 103
0.09/0.10	c #restart = 0
0.09/0.10	o 217
0.09/0.10	c Solving starts ...
0.09/0.10	c solving time = 0.001s
0.09/0.10	c #decision = 846
0.09/0.10	c #conflict = 104
0.09/0.10	c #restart = 0
0.09/0.10	o 216
0.09/0.11	c Solving starts ...
0.09/0.11	c solving time = 0.004s
0.09/0.11	c #decision = 892
0.09/0.11	c #conflict = 108
0.09/0.11	c #restart = 0
0.09/0.11	o 215
0.09/0.11	c Solving starts ...
0.19/0.21	c solving time = 0.100s
0.19/0.21	c #decision = 1219
0.19/0.21	c #conflict = 285
0.19/0.21	c #restart = 1
0.19/0.21	o 214
0.19/0.21	c Solving starts ...
0.19/0.21	c solving time = 0.003s
0.19/0.21	c #decision = 1255
0.19/0.21	c #conflict = 286
0.19/0.21	c #restart = 1
0.19/0.21	o 213
0.19/0.22	c Solving starts ...
0.19/0.24	c solving time = 0.023s
0.19/0.24	c #decision = 1328
0.19/0.24	c #conflict = 322
0.19/0.24	c #restart = 1
0.19/0.24	o 212
0.19/0.24	c Solving starts ...
0.19/0.26	c solving time = 0.020s
0.19/0.26	c #decision = 1405
0.19/0.26	c #conflict = 354
0.19/0.26	c #restart = 1
0.19/0.26	o 211
0.19/0.26	c Solving starts ...
0.19/0.27	c solving time = 0.009s
0.19/0.27	c #decision = 1453
0.19/0.27	c #conflict = 365
0.19/0.27	c #restart = 1
0.19/0.27	o 210
0.19/0.27	c Solving starts ...
0.29/0.30	c solving time = 0.035s
0.29/0.30	c #decision = 1539
0.29/0.30	c #conflict = 409
0.29/0.30	c #restart = 1
0.29/0.30	o 209
0.29/0.30	c Solving starts ...
0.29/0.31	c solving time = 0.008s
0.29/0.31	c #decision = 1584
0.29/0.31	c #conflict = 419
0.29/0.31	c #restart = 1
0.29/0.31	o 208
0.29/0.31	c Solving starts ...
0.29/0.34	c solving time = 0.029s
0.29/0.34	c #decision = 1662
0.29/0.34	c #conflict = 455
0.29/0.34	c #restart = 1
0.29/0.34	o 207
0.29/0.34	c Solving starts ...
0.29/0.38	c solving time = 0.035s
0.29/0.38	c #decision = 1748
0.29/0.38	c #conflict = 496
0.29/0.38	c #restart = 1
0.29/0.38	o 206
0.29/0.38	c Solving starts ...
0.39/0.41	c solving time = 0.037s
0.39/0.41	c #decision = 1839
0.39/0.41	c #conflict = 534
0.39/0.41	c #restart = 1
0.39/0.41	o 205
0.39/0.41	c Solving starts ...
0.39/0.44	c solving time = 0.021s
0.39/0.44	c #decision = 1902
0.39/0.44	c #conflict = 555
0.39/0.44	c #restart = 1
0.39/0.44	o 204
0.39/0.44	c Solving starts ...
0.39/0.48	c solving time = 0.043s
0.39/0.48	c #decision = 1985
0.39/0.48	c #conflict = 603
0.39/0.48	c #restart = 1
0.39/0.48	o 203
0.39/0.48	c Solving starts ...
0.49/0.53	c solving time = 0.054s
0.49/0.53	c #decision = 2096
0.49/0.53	c #conflict = 666
0.49/0.53	c #restart = 1
0.49/0.53	o 202
0.49/0.53	c Solving starts ...
0.49/0.60	c solving time = 0.061s
0.49/0.60	c #decision = 2203
0.49/0.60	c #conflict = 732
0.49/0.60	c #restart = 1
0.49/0.60	o 201
0.58/0.60	c Solving starts ...
0.58/0.60	c learnt constraints deletion: 731 -> 366
0.58/0.63	c solving time = 0.039s
0.58/0.63	c #decision = 2281
0.58/0.63	c #conflict = 768
0.58/0.63	c #restart = 1
0.58/0.63	o 200
0.58/0.63	c Solving starts ...
0.68/0.71	c solving time = 0.077s
0.68/0.71	c #decision = 2409
0.68/0.71	c #conflict = 844
0.68/0.71	c #restart = 1
0.68/0.71	o 199
0.68/0.71	c Solving starts ...
0.78/0.87	c solving time = 0.160s
0.78/0.87	c #decision = 2696
0.78/0.87	c #conflict = 989
0.78/0.87	c #restart = 2
0.78/0.87	o 198
0.78/0.87	c Solving starts ...
0.88/0.98	c learnt constraints deletion: 721 -> 361
1.10/1.14	c solving time = 0.268s
1.10/1.14	c #decision = 3269
1.10/1.14	c #conflict = 1256
1.10/1.14	c #restart = 4
1.10/1.14	o 197
1.10/1.14	c Solving starts ...
1.39/1.43	c learnt constraints deletion: 775 -> 388
1.99/2.02	c solving time = 0.879s
1.99/2.02	c #decision = 4686
1.99/2.02	c #conflict = 2053
1.99/2.02	c #restart = 7
1.99/2.02	o 196
1.99/2.02	c Solving starts ...
1.99/2.02	c learnt constraints deletion: 934 -> 467
2.49/2.54	c learnt constraints deletion: 939 -> 470
3.48/3.53	c learnt constraints deletion: 1313 -> 657
4.40/4.45	c learnt constraints deletion: 1417 -> 709
5.59/5.65	c learnt constraints deletion: 1605 -> 806
7.39/7.48	c learnt constraints deletion: 1759 -> 885
8.80/8.83	c learnt constraints deletion: 1769 -> 889
10.09/10.10	c learnt constraints deletion: 1867 -> 934
11.49/11.52	c learnt constraints deletion: 1895 -> 951
12.48/12.55	c learnt constraints deletion: 1701 -> 851
14.39/14.41	c learnt constraints deletion: 2042 -> 1023
15.99/16.07	c learnt constraints deletion: 2046 -> 1026
17.69/17.76	c learnt constraints deletion: 2050 -> 1025
19.48/19.59	c learnt constraints deletion: 2200 -> 1103
21.18/21.21	c learnt constraints deletion: 2203 -> 1106
22.88/22.94	c learnt constraints deletion: 2218 -> 1115
24.48/24.52	c learnt constraints deletion: 2211 -> 1112
26.18/26.20	c learnt constraints deletion: 2215 -> 1114
28.08/28.17	c learnt constraints deletion: 2397 -> 1200
29.69/29.75	c learnt constraints deletion: 2371 -> 1186
31.78/31.87	c learnt constraints deletion: 2363 -> 1182
34.18/34.21	c learnt constraints deletion: 2388 -> 1194
35.98/36.09	c learnt constraints deletion: 2382 -> 1195
37.98/38.00	c learnt constraints deletion: 2387 -> 1195
39.88/39.95	c learnt constraints deletion: 2395 -> 1201
41.58/41.69	c learnt constraints deletion: 2270 -> 1135
43.68/43.76	c learnt constraints deletion: 2599 -> 1301
45.38/45.43	c learnt constraints deletion: 2594 -> 1303
47.28/47.35	c learnt constraints deletion: 2600 -> 1301
49.18/49.22	c learnt constraints deletion: 2603 -> 1303
50.77/50.89	c learnt constraints deletion: 2598 -> 1302
52.58/52.64	c learnt constraints deletion: 2599 -> 1301
54.57/54.69	c learnt constraints deletion: 2600 -> 1303
56.38/56.45	c learnt constraints deletion: 2605 -> 1307
58.18/58.23	c learnt constraints deletion: 2592 -> 1301
59.77/59.83	c learnt constraints deletion: 2479 -> 1240
62.18/62.23	c learnt constraints deletion: 2820 -> 1411
64.37/64.44	c learnt constraints deletion: 2810 -> 1407
66.17/66.20	c learnt constraints deletion: 2807 -> 1404
68.08/68.13	c learnt constraints deletion: 2817 -> 1410
70.58/70.63	c learnt constraints deletion: 2821 -> 1413
73.27/73.34	c learnt constraints deletion: 2811 -> 1408
75.88/75.98	c learnt constraints deletion: 2815 -> 1411
78.17/78.25	c learnt constraints deletion: 2819 -> 1412
80.17/80.28	c learnt constraints deletion: 2815 -> 1410
82.38/82.43	c learnt constraints deletion: 2812 -> 1408
84.68/84.72	c learnt constraints deletion: 2816 -> 1411
86.57/86.63	c learnt constraints deletion: 2815 -> 1412
88.67/88.70	c learnt constraints deletion: 2813 -> 1410
91.18/91.22	c learnt constraints deletion: 3056 -> 1532
93.87/93.91	c learnt constraints deletion: 3062 -> 1531
95.87/95.93	c learnt constraints deletion: 3056 -> 1530
97.97/98.02	c learnt constraints deletion: 3061 -> 1534
100.17/100.22	c learnt constraints deletion: 3063 -> 1535
101.97/102.03	c learnt constraints deletion: 3050 -> 1529
103.76/103.89	c learnt constraints deletion: 3062 -> 1533
105.77/105.89	c learnt constraints deletion: 3048 -> 1527
107.97/108.09	c learnt constraints deletion: 3062 -> 1535
110.17/110.27	c learnt constraints deletion: 3070 -> 1539
112.27/112.32	c learnt constraints deletion: 3061 -> 1535
114.67/114.74	c learnt constraints deletion: 3054 -> 1528
116.57/116.67	c learnt constraints deletion: 3054 -> 1530
119.27/119.39	c learnt constraints deletion: 3055 -> 1532
121.67/121.71	c learnt constraints deletion: 3054 -> 1530
123.66/123.74	c learnt constraints deletion: 3050 -> 1529
125.96/126.01	c learnt constraints deletion: 3052 -> 1531
128.57/128.60	c learnt constraints deletion: 3057 -> 1533
131.06/131.19	c learnt constraints deletion: 3052 -> 1531
134.36/134.43	c learnt constraints deletion: 3320 -> 1661
136.76/136.86	c learnt constraints deletion: 3319 -> 1662
139.17/139.26	c learnt constraints deletion: 3321 -> 1664
141.47/141.52	c learnt constraints deletion: 3321 -> 1664
143.86/143.95	c learnt constraints deletion: 3327 -> 1668
146.27/146.38	c learnt constraints deletion: 3322 -> 1664
148.76/148.87	c learnt constraints deletion: 3335 -> 1672
150.96/151.09	c learnt constraints deletion: 3327 -> 1667
153.46/153.52	c learnt constraints deletion: 3328 -> 1668
155.76/155.84	c learnt constraints deletion: 3329 -> 1670
158.55/158.65	c learnt constraints deletion: 3319 -> 1662
161.36/161.46	c learnt constraints deletion: 3331 -> 1675
163.66/163.72	c learnt constraints deletion: 3328 -> 1670
165.35/165.41	c learnt constraints deletion: 3326 -> 1670
167.16/167.22	c learnt constraints deletion: 3321 -> 1667
169.06/169.13	c learnt constraints deletion: 3313 -> 1664
171.16/171.22	c learnt constraints deletion: 3318 -> 1666
173.16/173.25	c learnt constraints deletion: 3329 -> 1673
175.16/175.29	c learnt constraints deletion: 3303 -> 1657
177.65/177.72	c learnt constraints deletion: 3321 -> 1667
179.76/179.81	c learnt constraints deletion: 3323 -> 1669
182.06/182.17	c learnt constraints deletion: 3320 -> 1667
184.36/184.44	c learnt constraints deletion: 3324 -> 1668
186.96/187.08	c learnt constraints deletion: 3324 -> 1669
189.26/189.37	c learnt constraints deletion: 3320 -> 1667
191.56/191.66	c learnt constraints deletion: 3333 -> 1675
194.35/194.49	c learnt constraints deletion: 3553 -> 1777
198.25/198.36	c learnt constraints deletion: 3607 -> 1807
201.95/202.01	c learnt constraints deletion: 3617 -> 1815
204.65/204.79	c learnt constraints deletion: 3608 -> 1814
207.65/207.77	c learnt constraints deletion: 3619 -> 1821
210.95/211.01	c learnt constraints deletion: 3618 -> 1820
214.05/214.17	c learnt constraints deletion: 3591 -> 1806
217.14/217.26	c learnt constraints deletion: 3596 -> 1809
220.14/220.22	c learnt constraints deletion: 3623 -> 1824
223.25/223.31	c learnt constraints deletion: 3613 -> 1819
226.05/226.16	c learnt constraints deletion: 3622 -> 1824
228.94/229.08	c learnt constraints deletion: 3619 -> 1821
232.24/232.36	c learnt constraints deletion: 3620 -> 1821
235.65/235.78	c learnt constraints deletion: 3625 -> 1825
238.65/238.79	c learnt constraints deletion: 3611 -> 1817
241.45/241.50	c learnt constraints deletion: 3611 -> 1818
244.44/244.54	c learnt constraints deletion: 3612 -> 1818
247.24/247.33	c learnt constraints deletion: 3619 -> 1823
250.24/250.35	c learnt constraints deletion: 3616 -> 1817
253.04/253.18	c learnt constraints deletion: 3610 -> 1815
256.25/256.35	c learnt constraints deletion: 3607 -> 1814
259.14/259.20	c learnt constraints deletion: 3615 -> 1819
261.65/261.76	c learnt constraints deletion: 3617 -> 1819
264.24/264.36	c learnt constraints deletion: 3627 -> 1825
267.25/267.32	c learnt constraints deletion: 3630 -> 1826
269.74/269.88	c learnt constraints deletion: 3626 -> 1825
272.14/272.29	c learnt constraints deletion: 3623 -> 1825
274.73/274.89	c learnt constraints deletion: 3621 -> 1822
277.54/277.64	c learnt constraints deletion: 3609 -> 1817
280.24/280.40	c learnt constraints deletion: 3621 -> 1823
283.14/283.20	c learnt constraints deletion: 3623 -> 1825
285.95/286.08	c learnt constraints deletion: 3622 -> 1823
288.84/288.92	c learnt constraints deletion: 3611 -> 1818
291.53/291.61	c learnt constraints deletion: 3622 -> 1824
294.64/294.74	c learnt constraints deletion: 3628 -> 1828
297.84/297.94	c learnt constraints deletion: 3624 -> 1820
301.14/301.24	c learnt constraints deletion: 3936 -> 1980
304.43/304.57	c learnt constraints deletion: 3936 -> 1976
307.34/307.46	c learnt constraints deletion: 3860 -> 1930
310.43/310.51	c learnt constraints deletion: 3933 -> 1974
313.64/313.78	c learnt constraints deletion: 3938 -> 1977
316.83/316.96	c learnt constraints deletion: 3935 -> 1978
320.23/320.32	c learnt constraints deletion: 3926 -> 1972
323.53/323.65	c learnt constraints deletion: 3936 -> 1978
326.93/327.05	c learnt constraints deletion: 3950 -> 1985
330.13/330.21	c learnt constraints deletion: 3940 -> 1982
332.43/332.59	c learnt constraints deletion: 3786 -> 1893
335.53/335.63	c learnt constraints deletion: 3940 -> 1970
338.63/338.73	c learnt constraints deletion: 3939 -> 1975
342.03/342.17	c learnt constraints deletion: 3937 -> 1980
345.33/345.48	c learnt constraints deletion: 3938 -> 1981
349.82/349.90	c learnt constraints deletion: 3939 -> 1983
354.03/354.12	c learnt constraints deletion: 3938 -> 1980
357.82/357.90	c learnt constraints deletion: 3936 -> 1980
361.02/361.12	c learnt constraints deletion: 3944 -> 1985
364.43/364.54	c learnt constraints deletion: 3941 -> 1983
367.72/367.83	c learnt constraints deletion: 3945 -> 1986
371.22/371.30	c learnt constraints deletion: 3934 -> 1980
374.13/374.26	c learnt constraints deletion: 3937 -> 1981
377.42/377.57	c learnt constraints deletion: 3933 -> 1980
380.62/380.73	c learnt constraints deletion: 3947 -> 1987
383.52/383.64	c learnt constraints deletion: 3940 -> 1984
386.52/386.69	c learnt constraints deletion: 3938 -> 1969
390.22/390.37	c learnt constraints deletion: 3938 -> 1979
394.41/394.56	c learnt constraints deletion: 3935 -> 1984
398.02/398.18	c learnt constraints deletion: 3941 -> 1988
401.42/401.59	c learnt constraints deletion: 3930 -> 1977
404.82/404.94	c learnt constraints deletion: 3944 -> 1986
408.12/408.25	c learnt constraints deletion: 3944 -> 1986
411.22/411.39	c learnt constraints deletion: 3937 -> 1984
415.02/415.13	c learnt constraints deletion: 3936 -> 1980
418.42/418.50	c learnt constraints deletion: 3939 -> 1985
421.62/421.72	c learnt constraints deletion: 3944 -> 1987
424.31/424.44	c learnt constraints deletion: 3948 -> 1988
426.91/427.06	c learnt constraints deletion: 3935 -> 1983
429.92/430.07	c learnt constraints deletion: 3938 -> 1984
433.42/433.50	c learnt constraints deletion: 3936 -> 1984
437.11/437.27	c learnt constraints deletion: 3937 -> 1972
440.71/440.83	c learnt constraints deletion: 3936 -> 1983
443.91/444.06	c learnt constraints deletion: 3938 -> 1984
447.52/447.61	c learnt constraints deletion: 3939 -> 1984
451.11/451.25	c learnt constraints deletion: 3934 -> 1982
454.51/454.68	c learnt constraints deletion: 3942 -> 1986
457.71/457.80	c learnt constraints deletion: 3943 -> 1988
460.82/460.94	c learnt constraints deletion: 3935 -> 1982
464.70/464.81	c learnt constraints deletion: 3935 -> 1983
468.91/469.06	c learnt constraints deletion: 4292 -> 2161
473.11/473.22	c learnt constraints deletion: 4290 -> 2145
476.70/476.86	c learnt constraints deletion: 4297 -> 2153
480.20/480.36	c learnt constraints deletion: 4288 -> 2149
484.20/484.33	c learnt constraints deletion: 4287 -> 2148
488.22/488.33	c learnt constraints deletion: 4289 -> 2150
491.70/491.83	c learnt constraints deletion: 4295 -> 2154
495.11/495.21	c learnt constraints deletion: 4297 -> 2153
498.71/498.81	c learnt constraints deletion: 4293 -> 2152
502.51/502.68	c learnt constraints deletion: 4292 -> 2151
506.20/506.37	c learnt constraints deletion: 4291 -> 2152
509.50/509.65	c learnt constraints deletion: 4299 -> 2157
512.00/512.17	c learnt constraints deletion: 4294 -> 2151
514.60/514.76	c learnt constraints deletion: 4293 -> 2152
517.40/517.55	c learnt constraints deletion: 4283 -> 2147
520.79/520.94	c learnt constraints deletion: 4289 -> 2150
524.00/524.13	c learnt constraints deletion: 4293 -> 2153
527.29/527.46	c learnt constraints deletion: 4291 -> 2152
530.60/530.79	c learnt constraints deletion: 4298 -> 2156
534.10/534.25	c learnt constraints deletion: 4297 -> 2155
537.60/537.74	c learnt constraints deletion: 4286 -> 2149
541.11/541.22	c learnt constraints deletion: 4282 -> 2148
544.60/544.76	c learnt constraints deletion: 4295 -> 2155
547.61/547.77	c learnt constraints deletion: 4295 -> 2155
550.60/550.74	c learnt constraints deletion: 4292 -> 2154
554.20/554.35	c learnt constraints deletion: 4289 -> 2145
557.39/557.50	c learnt constraints deletion: 4302 -> 2158
560.39/560.52	c learnt constraints deletion: 4296 -> 2155
563.69/563.85	c learnt constraints deletion: 4286 -> 2149
566.99/567.18	c learnt constraints deletion: 4295 -> 2155
570.19/570.38	c learnt constraints deletion: 4279 -> 2147
573.49/573.63	c learnt constraints deletion: 4304 -> 2160
576.29/576.47	c learnt constraints deletion: 4295 -> 2155
579.29/579.49	c learnt constraints deletion: 4288 -> 2152
582.59/582.72	c learnt constraints deletion: 4299 -> 2158
585.79/585.94	c learnt constraints deletion: 4294 -> 2156
589.40/589.53	c learnt constraints deletion: 4292 -> 2154
592.88/593.08	c learnt constraints deletion: 4294 -> 2155
596.39/596.58	c learnt constraints deletion: 4294 -> 2156
600.08/600.25	c learnt constraints deletion: 4294 -> 2155
603.89/604.09	c learnt constraints deletion: 4289 -> 2154
607.68/607.83	c learnt constraints deletion: 4290 -> 2153
610.98/611.11	c learnt constraints deletion: 4296 -> 2157
614.58/614.74	c learnt constraints deletion: 4286 -> 2153
619.09/619.22	c learnt constraints deletion: 4290 -> 2153
622.79/622.93	c learnt constraints deletion: 4296 -> 2157
627.28/627.43	c learnt constraints deletion: 4301 -> 2161
630.68/630.80	c learnt constraints deletion: 4291 -> 2156
634.18/634.33	c learnt constraints deletion: 4291 -> 2156
637.58/637.78	c learnt constraints deletion: 4290 -> 2151
641.48/641.65	c learnt constraints deletion: 4296 -> 2156
644.98/645.19	c learnt constraints deletion: 4295 -> 2156
648.78/649.00	c learnt constraints deletion: 4287 -> 2152
652.78/652.95	c learnt constraints deletion: 4293 -> 2156
656.38/656.57	c learnt constraints deletion: 4301 -> 2161
659.97/660.14	c learnt constraints deletion: 4292 -> 2155
664.68/664.85	c learnt constraints deletion: 4294 -> 2156
668.38/668.59	c learnt constraints deletion: 4295 -> 2157
671.68/671.85	c learnt constraints deletion: 4301 -> 2161
674.88/675.00	c learnt constraints deletion: 4292 -> 2157
678.58/678.78	c learnt constraints deletion: 4290 -> 2153
682.77/682.98	c learnt constraints deletion: 4298 -> 2158
687.08/687.27	c learnt constraints deletion: 4291 -> 2155
690.78/690.93	c learnt constraints deletion: 4286 -> 2153
694.87/695.05	c learnt constraints deletion: 4293 -> 2156
699.17/699.37	c learnt constraints deletion: 4287 -> 2154
703.17/703.37	c learnt constraints deletion: 4296 -> 2159
707.67/707.84	c learnt constraints deletion: 4294 -> 2157
712.68/712.81	c learnt constraints deletion: 4294 -> 2158
717.87/718.00	c learnt constraints deletion: 4681 -> 2341
723.07/723.27	c learnt constraints deletion: 4678 -> 2343
728.47/728.63	c learnt constraints deletion: 4678 -> 2339
732.47/732.65	c learnt constraints deletion: 4679 -> 2342
736.87/737.07	c learnt constraints deletion: 4691 -> 2349
741.56/741.73	c learnt constraints deletion: 4680 -> 2344
745.57/745.79	c learnt constraints deletion: 4678 -> 2345
749.77/749.98	c learnt constraints deletion: 4634 -> 2317
753.46/753.69	c learnt constraints deletion: 4679 -> 2340
757.67/757.86	c learnt constraints deletion: 4681 -> 2348
761.46/761.67	c learnt constraints deletion: 4694 -> 2363
765.26/765.46	c learnt constraints deletion: 4682 -> 2358
769.26/769.48	c learnt constraints deletion: 4673 -> 2353
773.86/774.05	c learnt constraints deletion: 4674 -> 2353
778.16/778.36	c learnt constraints deletion: 4680 -> 2356
782.56/782.75	c learnt constraints deletion: 4679 -> 2357
787.47/787.66	c learnt constraints deletion: 4679 -> 2355
791.46/791.63	c learnt constraints deletion: 4689 -> 2361
796.16/796.37	c learnt constraints deletion: 4689 -> 2361
800.56/800.73	c learnt constraints deletion: 4685 -> 2359
805.46/805.62	c learnt constraints deletion: 4675 -> 2355
810.96/811.17	c learnt constraints deletion: 4684 -> 2360
814.66/814.81	c learnt constraints deletion: 4681 -> 2342
818.75/818.91	c learnt constraints deletion: 4677 -> 2350
822.15/822.37	c learnt constraints deletion: 4678 -> 2357
826.05/826.22	c learnt constraints deletion: 4692 -> 2363
829.25/829.49	c learnt constraints deletion: 4670 -> 2353
832.75/832.93	c learnt constraints deletion: 4689 -> 2364
836.25/836.46	c learnt constraints deletion: 4680 -> 2357
840.75/840.91	c learnt constraints deletion: 4671 -> 2354
844.95/845.15	c learnt constraints deletion: 4682 -> 2359
849.25/849.45	c learnt constraints deletion: 4680 -> 2359
853.35/853.51	c learnt constraints deletion: 4677 -> 2359
857.55/857.70	c learnt constraints deletion: 4675 -> 2355
862.35/862.59	c learnt constraints deletion: 4682 -> 2359
866.55/866.75	c learnt constraints deletion: 4684 -> 2360
871.24/871.41	c learnt constraints deletion: 4682 -> 2360
875.84/876.03	c learnt constraints deletion: 4684 -> 2361
880.04/880.24	c learnt constraints deletion: 4673 -> 2356
884.84/885.08	c learnt constraints deletion: 4683 -> 2361
888.35/888.58	c learnt constraints deletion: 4692 -> 2367
892.04/892.25	c learnt constraints deletion: 4673 -> 2358
895.84/896.00	c learnt constraints deletion: 4678 -> 2339
901.44/901.65	c learnt constraints deletion: 4677 -> 2346
905.54/905.74	c learnt constraints deletion: 4698 -> 2364
909.55/909.78	c learnt constraints deletion: 4684 -> 2357
913.63/913.89	c learnt constraints deletion: 4680 -> 2355
918.24/918.47	c learnt constraints deletion: 4684 -> 2358
922.14/922.30	c learnt constraints deletion: 4679 -> 2356
925.94/926.17	c learnt constraints deletion: 4690 -> 2362
930.34/930.54	c learnt constraints deletion: 4685 -> 2357
934.44/934.67	c learnt constraints deletion: 4678 -> 2355
938.53/938.78	c learnt constraints deletion: 4691 -> 2362
942.73/942.97	c learnt constraints deletion: 4679 -> 2355
946.63/946.83	c learnt constraints deletion: 4677 -> 2355
950.43/950.64	c learnt constraints deletion: 4672 -> 2352
954.13/954.39	c learnt constraints deletion: 4676 -> 2355
957.94/958.14	c learnt constraints deletion: 4675 -> 2352
961.93/962.11	c learnt constraints deletion: 4686 -> 2358
965.64/965.86	c learnt constraints deletion: 4675 -> 2353
970.83/971.09	c learnt constraints deletion: 4678 -> 2354
975.12/975.39	c learnt constraints deletion: 4686 -> 2359
979.43/979.62	c learnt constraints deletion: 4681 -> 2357
983.42/983.65	c learnt constraints deletion: 4682 -> 2358
987.13/987.37	c learnt constraints deletion: 4680 -> 2355
991.52/991.71	c learnt constraints deletion: 4686 -> 2359
995.63/995.87	c learnt constraints deletion: 4681 -> 2358
999.52/999.79	c learnt constraints deletion: 4680 -> 2357
1003.82/1004.01	c learnt constraints deletion: 4691 -> 2363
1007.82/1008.01	c learnt constraints deletion: 4684 -> 2360
1011.83/1012.09	c learnt constraints deletion: 4675 -> 2352
1017.02/1017.27	c learnt constraints deletion: 4683 -> 2357
1022.02/1022.21	c learnt constraints deletion: 4676 -> 2353
1027.32/1027.55	c learnt constraints deletion: 4677 -> 2355
1031.32/1031.56	c learnt constraints deletion: 4688 -> 2361
1035.82/1036.01	c learnt constraints deletion: 4679 -> 2356
1040.52/1040.73	c learnt constraints deletion: 4686 -> 2359
1045.11/1045.35	c learnt constraints deletion: 4686 -> 2359
1049.41/1049.64	c learnt constraints deletion: 4676 -> 2355
1054.11/1054.35	c learnt constraints deletion: 4689 -> 2362
1058.51/1058.76	c learnt constraints deletion: 4688 -> 2359
1063.01/1063.20	c learnt constraints deletion: 4675 -> 2354
1067.61/1067.88	c learnt constraints deletion: 4684 -> 2359
1072.32/1072.59	c learnt constraints deletion: 4687 -> 2361
1076.51/1076.76	c learnt constraints deletion: 4691 -> 2363
1081.01/1081.29	c learnt constraints deletion: 4682 -> 2359
1084.81/1085.02	c learnt constraints deletion: 4677 -> 2356
1088.60/1088.80	c learnt constraints deletion: 4685 -> 2360
1092.41/1092.62	c learnt constraints deletion: 4678 -> 2357
1096.60/1096.89	c learnt constraints deletion: 4683 -> 2359
1101.41/1101.62	c learnt constraints deletion: 4684 -> 2360
1106.20/1106.44	c learnt constraints deletion: 4692 -> 2365
1109.30/1109.53	c learnt constraints deletion: 4602 -> 2302
1112.91/1113.16	c learnt constraints deletion: 4683 -> 2342
1116.81/1117.09	c learnt constraints deletion: 4683 -> 2359
1121.10/1121.35	c learnt constraints deletion: 5107 -> 2575
1125.40/1125.61	c learnt constraints deletion: 5114 -> 2579
1129.50/1129.71	c learnt constraints deletion: 5105 -> 2566
1133.81/1134.03	c learnt constraints deletion: 5109 -> 2568
1138.00/1138.26	c learnt constraints deletion: 5119 -> 2574
1142.00/1142.23	c learnt constraints deletion: 5112 -> 2568
1145.60/1145.85	c learnt constraints deletion: 5114 -> 2570
1149.70/1149.98	c learnt constraints deletion: 5116 -> 2571
1154.10/1154.30	c learnt constraints deletion: 5108 -> 2567
1158.60/1158.88	c learnt constraints deletion: 5110 -> 2569
1162.80/1163.07	c learnt constraints deletion: 5112 -> 2570
1167.00/1167.22	c learnt constraints deletion: 5100 -> 2562
1171.39/1171.65	c learnt constraints deletion: 5112 -> 2569
1175.79/1176.01	c learnt constraints deletion: 5113 -> 2570
1180.10/1180.31	c learnt constraints deletion: 5112 -> 2569
1185.19/1185.41	c learnt constraints deletion: 5111 -> 2570
1190.09/1190.33	c learnt constraints deletion: 5108 -> 2569
1194.39/1194.62	c learnt constraints deletion: 5109 -> 2569
1199.29/1199.51	c learnt constraints deletion: 5108 -> 2568
1203.79/1204.02	c learnt constraints deletion: 5109 -> 2569
1207.69/1207.99	c learnt constraints deletion: 5110 -> 2570
1211.79/1212.04	c learnt constraints deletion: 5112 -> 2571
1215.89/1216.14	c learnt constraints deletion: 5112 -> 2573
1220.59/1220.87	c learnt constraints deletion: 5093 -> 2560
1224.89/1225.17	c learnt constraints deletion: 5109 -> 2569
1229.98/1230.20	c learnt constraints deletion: 5113 -> 2571
1234.38/1234.67	c learnt constraints deletion: 5110 -> 2570
1238.78/1239.00	c learnt constraints deletion: 5108 -> 2568
1244.38/1244.65	c learnt constraints deletion: 5119 -> 2574
1249.29/1249.50	c learnt constraints deletion: 5116 -> 2572
1252.78/1253.03	c learnt constraints deletion: 5115 -> 2573
1256.18/1256.42	c learnt constraints deletion: 5122 -> 2577
1260.18/1260.42	c learnt constraints deletion: 5108 -> 2568
1264.68/1264.91	c learnt constraints deletion: 5122 -> 2575
1269.67/1269.93	c learnt constraints deletion: 5115 -> 2573
1273.97/1274.29	c learnt constraints deletion: 5123 -> 2577
1278.48/1278.72	c learnt constraints deletion: 5126 -> 2578
1282.57/1282.86	c learnt constraints deletion: 5111 -> 2572
1286.27/1286.54	c learnt constraints deletion: 5110 -> 2569
1290.28/1290.57	c learnt constraints deletion: 5113 -> 2572
1294.38/1294.68	c learnt constraints deletion: 5122 -> 2577
1299.38/1299.65	c learnt constraints deletion: 5103 -> 2567
1303.98/1304.21	c learnt constraints deletion: 5111 -> 2572
1308.87/1309.11	c learnt constraints deletion: 5105 -> 2554
1313.67/1313.90	c learnt constraints deletion: 5106 -> 2557
1317.87/1318.12	c learnt constraints deletion: 5107 -> 2558
1321.47/1321.70	c learnt constraints deletion: 5107 -> 2559
1325.77/1326.02	c learnt constraints deletion: 5109 -> 2560
1329.37/1329.65	c learnt constraints deletion: 5098 -> 2553
1332.67/1332.99	c learnt constraints deletion: 5111 -> 2561
1336.77/1337.01	c learnt constraints deletion: 5117 -> 2565
1341.07/1341.37	c learnt constraints deletion: 5112 -> 2561
1345.07/1345.38	c learnt constraints deletion: 5111 -> 2563
1349.37/1349.63	c learnt constraints deletion: 5118 -> 2566
1353.36/1353.63	c learnt constraints deletion: 5106 -> 2557
1357.36/1357.62	c learnt constraints deletion: 5111 -> 2561
1361.37/1361.61	c learnt constraints deletion: 5110 -> 2561
1366.06/1366.39	c learnt constraints deletion: 5103 -> 2557
1369.97/1370.21	c learnt constraints deletion: 5112 -> 2562
1374.36/1374.65	c learnt constraints deletion: 5110 -> 2562
1378.56/1378.89	c learnt constraints deletion: 5109 -> 2560
1383.26/1383.58	c learnt constraints deletion: 5105 -> 2559
1387.97/1388.29	c learnt constraints deletion: 5117 -> 2565
1392.16/1392.50	c learnt constraints deletion: 5116 -> 2565
1395.96/1396.20	c learnt constraints deletion: 5108 -> 2562
1399.86/1400.12	c learnt constraints deletion: 5109 -> 2559
1405.46/1405.72	c learnt constraints deletion: 5103 -> 2559
1410.86/1411.12	c learnt constraints deletion: 5121 -> 2568
1415.36/1415.67	c learnt constraints deletion: 5113 -> 2565
1419.77/1420.03	c learnt constraints deletion: 5115 -> 2567
1424.36/1424.60	c learnt constraints deletion: 5123 -> 2570
1428.56/1428.88	c learnt constraints deletion: 5112 -> 2564
1433.06/1433.33	c learnt constraints deletion: 5104 -> 2561
1437.26/1437.59	c learnt constraints deletion: 5115 -> 2567
1441.15/1441.43	c learnt constraints deletion: 5112 -> 2565
1445.16/1445.44	c learnt constraints deletion: 5107 -> 2564
1449.56/1449.84	c learnt constraints deletion: 5100 -> 2558
1453.75/1454.01	c learnt constraints deletion: 5115 -> 2566
1457.16/1457.50	c learnt constraints deletion: 5107 -> 2562
1461.35/1461.65	c learnt constraints deletion: 5117 -> 2568
1466.45/1466.78	c learnt constraints deletion: 5111 -> 2566
1472.25/1472.59	c learnt constraints deletion: 5107 -> 2563
1478.34/1478.61	c learnt constraints deletion: 5104 -> 2561
1484.05/1484.34	c learnt constraints deletion: 5118 -> 2569
1489.05/1489.40	c learnt constraints deletion: 5103 -> 2556
1493.74/1494.02	c learnt constraints deletion: 5104 -> 2560
1498.04/1498.37	c learnt constraints deletion: 5115 -> 2566
1502.35/1502.62	c learnt constraints deletion: 5109 -> 2562
1507.25/1507.51	c learnt constraints deletion: 5113 -> 2565
1511.94/1512.28	c learnt constraints deletion: 5115 -> 2568
1516.55/1516.83	c learnt constraints deletion: 5115 -> 2566
1520.54/1520.81	c learnt constraints deletion: 5118 -> 2567
1525.14/1525.40	c learnt constraints deletion: 5111 -> 2564
1530.04/1530.35	c learnt constraints deletion: 5120 -> 2570
1534.54/1534.86	c learnt constraints deletion: 5113 -> 2567
1538.74/1539.09	c learnt constraints deletion: 5107 -> 2561
1543.13/1543.41	c learnt constraints deletion: 5113 -> 2565
1547.13/1547.42	c learnt constraints deletion: 5124 -> 2571
1551.04/1551.38	c learnt constraints deletion: 5115 -> 2566
1555.04/1555.34	c learnt constraints deletion: 5111 -> 2565
1558.93/1559.29	c learnt constraints deletion: 5118 -> 2568
1563.54/1563.81	c learnt constraints deletion: 5111 -> 2566
1568.24/1568.51	c learnt constraints deletion: 5105 -> 2562
1572.64/1572.94	c learnt constraints deletion: 5115 -> 2567
1577.33/1577.64	c learnt constraints deletion: 5110 -> 2564
1581.53/1581.81	c learnt constraints deletion: 5114 -> 2567
1585.63/1585.94	c learnt constraints deletion: 5106 -> 2563
1590.03/1590.33	c learnt constraints deletion: 5113 -> 2569
1594.33/1594.64	c learnt constraints deletion: 5112 -> 2564
1598.73/1599.00	c learnt constraints deletion: 5107 -> 2562
1602.92/1603.21	c learnt constraints deletion: 5114 -> 2565
1606.93/1607.25	c learnt constraints deletion: 5112 -> 2565
1611.24/1611.56	c learnt constraints deletion: 5116 -> 2568
1615.73/1616.06	c learnt constraints deletion: 5118 -> 2567
1619.63/1619.99	c learnt constraints deletion: 5110 -> 2564
1624.43/1624.71	c learnt constraints deletion: 5111 -> 2566
1628.83/1629.13	c learnt constraints deletion: 5104 -> 2561
1633.23/1633.59	c learnt constraints deletion: 5114 -> 2567
1637.13/1637.47	c learnt constraints deletion: 5107 -> 2565
1641.02/1641.35	c learnt constraints deletion: 5119 -> 2568
1645.42/1645.70	c learnt constraints deletion: 5111 -> 2565
1649.52/1649.83	c learnt constraints deletion: 5103 -> 2561
1654.22/1654.58	c learnt constraints deletion: 5113 -> 2566
1658.72/1659.00	c learnt constraints deletion: 5108 -> 2564
1662.71/1663.04	c learnt constraints deletion: 5114 -> 2568
1667.02/1667.36	c learnt constraints deletion: 5121 -> 2570
1670.82/1671.19	c learnt constraints deletion: 5111 -> 2566
1674.81/1675.16	c learnt constraints deletion: 5114 -> 2567
1679.02/1679.38	c learnt constraints deletion: 5117 -> 2570
1683.32/1683.60	c learnt constraints deletion: 5122 -> 2572
1689.12/1689.45	c learnt constraints deletion: 5585 -> 2804
1693.81/1694.18	c learnt constraints deletion: 5583 -> 2793
1698.22/1698.58	c learnt constraints deletion: 5582 -> 2795
1702.61/1702.96	c learnt constraints deletion: 5592 -> 2801
1707.42/1707.78	c learnt constraints deletion: 5569 -> 2790
1711.32/1711.66	c learnt constraints deletion: 5574 -> 2792
1716.31/1716.66	c learnt constraints deletion: 5581 -> 2791
1721.71/1722.05	c learnt constraints deletion: 5581 -> 2793
1726.62/1726.92	c learnt constraints deletion: 5584 -> 2802
1730.80/1731.11	c learnt constraints deletion: 5589 -> 2806
1735.52/1735.85	c learnt constraints deletion: 5588 -> 2805
1739.61/1739.91	c learnt constraints deletion: 5586 -> 2805
1745.91/1746.29	c learnt constraints deletion: 5578 -> 2789
1753.81/1754.14	c learnt constraints deletion: 5577 -> 2793
1761.20/1761.55	c learnt constraints deletion: 5576 -> 2794
1765.81/1766.18	c learnt constraints deletion: 5591 -> 2804
1770.30/1770.69	c learnt constraints deletion: 5576 -> 2797
1774.51/1774.84	c learnt constraints deletion: 5588 -> 2802
1778.70/1779.08	c learnt constraints deletion: 5580 -> 2799
1783.00/1783.37	c learnt constraints deletion: 5585 -> 2803
1787.50/1787.83	c learnt constraints deletion: 5579 -> 2798
1792.30/1792.64	c learnt constraints deletion: 5590 -> 2804
1796.40/1796.75	c learnt constraints deletion: 5588 -> 2804

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3706659-1338116654/watcher-3706659-1338116654 -o /tmp/evaluation-result-3706659-1338116654/solver-3706659-1338116654 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706659-1338116654.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.01 1.97 3/176 11229
/proc/meminfo: memFree=30560744/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 807 0 0 0 0 0 0 0 20 0 1 0 277793973 6356992 728 33554432000 4194304 8973514 140736174786096 140737455061000 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 1552 728 415 1167 0 333 0

[startup+0.0693009 s]
/proc/loadavg: 2.02 2.01 1.97 3/176 11229
/proc/meminfo: memFree=30560744/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=9280 CPUtime=0.06 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 1382 0 0 0 6 0 0 0 20 0 1 0 277793973 9502720 1303 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 2320 1303 442 1167 0 1101 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9280

[startup+0.100285 s]
/proc/loadavg: 2.02 2.01 1.97 3/176 11229
/proc/meminfo: memFree=30560744/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=9280 CPUtime=0.09 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 1399 0 0 0 9 0 0 0 20 0 1 0 277793973 9502720 1320 33554432000 4194304 8973514 140736174786096 140736174785592 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 2320 1320 455 1167 0 1101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9280

[startup+0.300224 s]
/proc/loadavg: 2.02 2.01 1.97 3/176 11229
/proc/meminfo: memFree=30560744/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=10304 CPUtime=0.29 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 1701 0 0 0 29 0 0 0 20 0 1 0 277793973 10551296 1622 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 2576 1622 455 1167 0 1357 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10304

[startup+0.700238 s]
/proc/loadavg: 2.02 2.01 1.97 3/176 11229
/proc/meminfo: memFree=30560744/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=11328 CPUtime=0.68 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 2144 0 0 0 68 0 0 0 20 0 1 0 277793973 11599872 2065 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 2832 2065 456 1167 0 1613 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11328

[startup+1.50024 s]
/proc/loadavg: 2.02 2.01 1.97 3/173 11235
/proc/meminfo: memFree=30568804/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=11328 CPUtime=1.49 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 2145 0 0 0 148 1 0 0 20 0 1 0 277793973 11599872 2066 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 2832 2066 456 1167 0 1613 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11328

[startup+3.10026 s]
/proc/loadavg: 2.02 2.01 1.97 3/176 11268
/proc/meminfo: memFree=30560448/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=13376 CPUtime=3.09 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 2657 0 0 0 308 1 0 0 20 0 1 0 277793973 13697024 2578 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 3344 2578 456 1167 0 2125 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13376

[startup+6.3003 s]
/proc/loadavg: 2.02 2.01 1.97 3/176 11344
/proc/meminfo: memFree=30551868/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=16448 CPUtime=6.29 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 3425 0 0 0 626 3 0 0 20 0 1 0 277793973 16842752 3346 33554432000 4194304 8973514 140736174786096 140736174785592 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 4112 3346 456 1167 0 2893 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16448

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 1.97 3/177 11345
/proc/meminfo: memFree=30539020/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=18496 CPUtime=12.68 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 3937 0 0 0 1264 4 0 0 20 0 1 0 277793973 18939904 3858 33554432000 4194304 8973514 140736174786096 140736174785360 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 4624 3858 456 1167 0 3405 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18496

[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 1.97 3/177 11345
/proc/meminfo: memFree=30515048/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=25664 CPUtime=25.48 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 5734 0 0 0 2538 10 0 0 20 0 1 0 277793973 26279936 5650 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 6416 5650 456 1167 0 5197 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25664

[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 1.97 3/177 11345
/proc/meminfo: memFree=30481596/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=25664 CPUtime=51.07 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 5990 0 0 0 5090 17 0 0 20 0 1 0 277793973 26279936 5650 33554432000 4194304 8973514 140736174786096 140736174785592 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 6416 5650 456 1167 0 5197 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 25664

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 11345
/proc/meminfo: memFree=30462076/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=22592 CPUtime=102.27 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 6248 0 0 0 10196 31 0 0 20 0 1 0 277793973 23134208 4882 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 5648 4882 456 1167 0 4429 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 22592

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 11345
/proc/meminfo: memFree=30440312/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=21568 CPUtime=162.26 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 6504 0 0 0 16177 49 0 0 20 0 1 0 277793973 22085632 4626 33554432000 4194304 8973514 140736174786096 140736174785360 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 5392 4626 456 1167 0 4173 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 21568

[startup+222.3 s]
/proc/loadavg: 2.07 2.02 1.97 3/177 11345
/proc/meminfo: memFree=30390108/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=36928 CPUtime=222.25 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 11117 0 0 0 22156 69 0 0 20 0 1 0 277793973 37814272 8466 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 9232 8466 456 1167 0 8013 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 36928

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/176 11345
/proc/meminfo: memFree=30367728/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=33856 CPUtime=282.23 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 11117 0 0 0 28134 89 0 0 20 0 1 0 277793973 34668544 7698 33554432000 4194304 8973514 140736174786096 140736174784064 4208879 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 8464 7698 456 1167 0 7245 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 33856

[startup+342.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/177 11347
/proc/meminfo: memFree=30352840/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=26688 CPUtime=342.23 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 12141 0 0 0 34112 111 0 0 20 0 1 0 277793973 27328512 5906 33554432000 4194304 8973514 140736174786096 140736174785592 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 6672 5906 456 1167 0 5453 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 26688

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 11350
/proc/meminfo: memFree=30350776/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=25664 CPUtime=402.22 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 13169 0 0 0 40091 131 0 0 20 0 1 0 277793973 26279936 5650 33554432000 4194304 8973514 140736174786096 140736174785360 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 6416 5650 456 1167 0 5197 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 25664

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 11350
/proc/meminfo: memFree=30345700/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=25664 CPUtime=462.21 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 13169 0 0 0 46070 151 0 0 20 0 1 0 277793973 26279936 5650 33554432000 4194304 8973514 140736174786096 140736174784064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 6416 5650 456 1167 0 5197 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 25664

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 11350
/proc/meminfo: memFree=30345504/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=25664 CPUtime=522.2 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 13426 0 0 0 52050 170 0 0 20 0 1 0 277793973 26279936 5650 33554432000 4194304 8973514 140736174786096 140736174785592 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 6416 5650 456 1167 0 5197 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 25664

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 11350
/proc/meminfo: memFree=30345504/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=25664 CPUtime=582.19 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 13682 0 0 0 58026 193 0 0 20 0 1 0 277793973 26279936 5650 33554432000 4194304 8973514 140736174786096 140736174784064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 6416 5650 456 1167 0 5197 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 25664

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/177 11351
/proc/meminfo: memFree=30328248/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=33856 CPUtime=882.14 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 18295 0 0 0 87926 288 0 0 20 0 1 0 277793973 34668544 7698 33554432000 4194304 8973514 140736174786096 140736174784064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 8464 7698 456 1167 0 7245 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 33856

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 11352
/proc/meminfo: memFree=30331848/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=29760 CPUtime=942.13 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 19831 0 0 0 93903 310 0 0 20 0 1 0 277793973 30474240 6674 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 7440 6674 456 1167 0 6221 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 29760

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 11355
/proc/meminfo: memFree=30331092/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=30784 CPUtime=1002.13 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 20089 0 0 0 99882 331 0 0 20 0 1 0 277793973 31522816 6930 33554432000 4194304 8973514 140736174786096 140736174785592 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 7696 6930 456 1167 0 6477 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 30784

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 11355
/proc/meminfo: memFree=30329980/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=31808 CPUtime=1062.12 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 20346 0 0 0 105864 348 0 0 20 0 1 0 277793973 32571392 7186 33554432000 4194304 8973514 140736174786096 140736174785360 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 7952 7186 456 1167 0 6733 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 31808

[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 1.98 3/177 11355
/proc/meminfo: memFree=30319072/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=43072 CPUtime=1122.1 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 24698 0 0 0 111843 367 0 0 20 0 1 0 277793973 44105728 10002 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 10768 10002 456 1167 0 9549 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 43072

[startup+1182.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/177 11355
/proc/meminfo: memFree=30311048/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=50240 CPUtime=1182.09 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 28029 0 0 0 117821 388 0 0 20 0 1 0 277793973 51445760 11794 33554432000 4194304 8973514 140736174786096 140736174785592 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 12560 11794 456 1167 0 11341 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 50240

[startup+1242.3 s]
/proc/loadavg: 2.12 2.06 2.00 3/177 11356
/proc/meminfo: memFree=30310924/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=50240 CPUtime=1242.08 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 28029 0 0 0 123800 408 0 0 20 0 1 0 277793973 51445760 11794 33554432000 4194304 8973514 140736174786096 140736174785360 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 12560 11794 456 1167 0 11341 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 50240

[startup+1302.3 s]
/proc/loadavg: 2.23 2.10 2.02 3/177 11356
/proc/meminfo: memFree=30309808/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=50240 CPUtime=1302.08 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 28029 0 0 0 129780 428 0 0 20 0 1 0 277793973 51445760 11794 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 12560 11794 456 1167 0 11341 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 50240

[startup+1362.3 s]
/proc/loadavg: 2.08 2.08 2.01 3/177 11356
/proc/meminfo: memFree=30304040/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=52288 CPUtime=1362.06 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 28541 0 0 0 135760 446 0 0 20 0 1 0 277793973 53542912 12306 33554432000 4194304 8973514 140736174786096 140736174785360 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 13072 12306 456 1167 0 11853 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 52288

[startup+1422.31 s]
/proc/loadavg: 2.03 2.06 2.01 3/177 11356
/proc/meminfo: memFree=30289532/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=57408 CPUtime=1422.06 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 29821 0 0 0 141739 467 0 0 20 0 1 0 277793973 58785792 13586 33554432000 4194304 8973514 140736174786096 140736174785360 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 14352 13586 456 1167 0 13133 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 57408

[startup+1482.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/177 11356
/proc/meminfo: memFree=30292452/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=54336 CPUtime=1482.04 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 31101 0 0 0 147718 486 0 0 20 0 1 0 277793973 55640064 12818 33554432000 4194304 8973514 140736174786096 140736174785592 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 13584 12818 456 1167 0 12365 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 54336

[startup+1542.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/177 11357
/proc/meminfo: memFree=30291996/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=55360 CPUtime=1542.03 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 31358 0 0 0 153699 504 0 0 20 0 1 0 277793973 56688640 13074 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 13840 13074 456 1167 0 12621 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 55360

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 11360
/proc/meminfo: memFree=30291924/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=55360 CPUtime=1602.03 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 31614 0 0 0 159678 525 0 0 20 0 1 0 277793973 56688640 13074 33554432000 4194304 8973514 140736174786096 140736174785592 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 13840 13074 456 1167 0 12621 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 55360

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11360
/proc/meminfo: memFree=30291560/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=54336 CPUtime=1662.01 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 31614 0 0 0 165657 544 0 0 20 0 1 0 277793973 55640064 12818 33554432000 4194304 8973514 140736174786096 140736174785360 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 13584 12818 456 1167 0 12365 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 54336

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11360
/proc/meminfo: memFree=30308064/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=37952 CPUtime=1722.01 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 31614 0 0 0 171637 564 0 0 20 0 1 0 277793973 38862848 8722 33554432000 4194304 8973514 140736174786096 140736174785592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 9488 8722 456 1167 0 8269 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 37952

[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 11360
/proc/meminfo: memFree=30310296/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=35904 CPUtime=1782 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 32127 0 0 0 177618 582 0 0 20 0 1 0 277793973 36765696 8210 33554432000 4194304 8973514 140736174786096 140736174785360 4208818 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 8976 8210 456 1167 0 7757 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 35904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 11360
/proc/meminfo: memFree=30310296/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=35904 CPUtime=1800.01 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 32127 0 0 0 179413 588 0 0 20 0 1 0 277793973 36765696 8210 33554432000 4194304 8973514 140736174786096 140736174785360 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 8976 8210 456 1167 0 7757 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 35904

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

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

[startup+1800.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 11360
/proc/meminfo: memFree=30310296/32873844 swapFree=7108/7108
[pid=11229] ppid=11227 vsize=35904 CPUtime=1800.01 cores=1,3,5,7
/proc/11229/stat : 11229 (toysat) R 11227 11229 7054 0 -1 4202496 32127 0 0 0 179413 588 0 0 20 0 1 0 277793973 36765696 8210 33554432000 4194304 8973514 140736174786096 140736174785360 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11229/statm: 8976 8210 456 1167 0 7757 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 35904

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.01
CPU user time (s): 1794.13
CPU system time (s): 5.8821
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 62528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.13
system time used= 5.88211
maximum resident set size= 59464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32127
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= 33
involuntary context switches= 1847

runsolver used 3.90441 second user time and 9.28059 second system time

The end

Launcher Data

Begin job on node102 at 2012-05-27 13:04:14
IDJOB=3706659
IDBENCH=2171
IDSOLVER=2285
FILE ID=node102/3706659-1338116654
RUNJOBID= node102-1338113043-10917
PBS_JOBID= 14624443
Free space on /tmp= 71532 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b1.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706659-1338116654/watcher-3706659-1338116654 -o /tmp/evaluation-result-3706659-1338116654/solver-3706659-1338116654 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706659-1338116654.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= eb2e849a72ed563d78cdb83a394edb27
RANDOM SEED=1133375946

node102.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30560992 kB
Buffers:          336704 kB
Cached:          1119516 kB
SwapCached:            0 kB
Active:           882796 kB
Inactive:         598744 kB
Active(anon):      16816 kB
Inactive(anon):    11040 kB
Active(file):     865980 kB
Inactive(file):   587704 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14704 kB
Writeback:             0 kB
AnonPages:         32400 kB
Mapped:            16124 kB
Shmem:               200 kB
Slab:             690900 kB
SReclaimable:     132488 kB
SUnreclaim:       558412 kB
KernelStack:        1448 kB
PageTables:         4136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     138684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71524 MiB
End job on node102 at 2012-05-27 13:34:17