Trace number 3706308

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.11 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/
9orless/normalized-r-cran-rodbc.cudf.paranoid.opb
MD5SUM61b485d2fa0a12e6ec3f5e6ce7bc808b
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark146110
Best CPU time to get the best result obtained on this benchmark505.727
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19771
Total number of constraints96413
Number of constraints which are clauses94848
Number of constraints which are cardinality constraints (but not clauses)1565
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint2962
Number of terms in the objective function 7254
Biggest coefficient in the objective function 4296
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 12720454
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 4296
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 12720454
Number of bits of the biggest sum of numbers24
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 

8.19/8.26	c 2012-05-27T19:54:58+0200
8.19/8.26	c arch = x86_64
8.19/8.26	c os = linux
8.19/8.26	c compiler = ghc 7.4
8.19/8.26	c packages:
8.19/8.26	c   OptDir-0.0.1
8.19/8.26	c   array-0.4.0.0
8.19/8.26	c   base-4.5.0.0
8.19/8.26	c   bytestring-0.9.2.1
8.19/8.26	c   containers-0.4.2.1
8.19/8.26	c   deepseq-1.3.0.0
8.19/8.26	c   mtl-2.1.1
8.19/8.26	c   old_locale-1.0.0.4
8.19/8.26	c   parse_dimacs-1.2
8.19/8.26	c   parsec-3.1.2
8.19/8.26	c   queue-0.1.2
8.19/8.26	c   stm-2.3
8.19/8.26	c   time-1.4
8.19/8.26	c command line = ["--pb","HOME/instance-3706308-1338141298.opb"]
8.19/8.26	c #vars 19771
8.19/8.26	c #constraints 96413
8.19/8.26	c Solving starts ...
8.99/9.01	c solving time = 0.732s
8.99/9.01	c #decision = 59734
8.99/9.01	c #conflict = 53
8.99/9.01	c #restart = 0
8.99/9.01	o 180582
8.99/9.02	c Solving starts ...
9.39/9.41	c solving time = 0.368s
9.39/9.41	c #decision = 72513
9.39/9.41	c #conflict = 66
9.39/9.41	c #restart = 0
9.39/9.41	o 180579
9.39/9.42	c Solving starts ...
9.69/9.80	c solving time = 0.363s
9.69/9.80	c #decision = 80007
9.69/9.80	c #conflict = 67
9.69/9.80	c #restart = 0
9.69/9.80	o 180578
9.79/9.81	c Solving starts ...
10.19/10.25	c solving time = 0.428s
10.19/10.25	c #decision = 87800
10.19/10.25	c #conflict = 68
10.19/10.25	c #restart = 0
10.19/10.25	o 180576
10.19/10.27	c Solving starts ...
10.69/10.74	c solving time = 0.460s
10.69/10.74	c #decision = 95494
10.69/10.74	c #conflict = 69
10.69/10.74	c #restart = 0
10.69/10.74	o 180574
10.69/10.75	c Solving starts ...
11.28/11.36	c solving time = 0.591s
11.28/11.36	c #decision = 103329
11.28/11.36	c #conflict = 72
11.28/11.36	c #restart = 0
11.28/11.36	o 180572
11.28/11.37	c Solving starts ...
12.59/12.63	c solving time = 1.237s
12.59/12.63	c #decision = 112096
12.59/12.63	c #conflict = 77
12.59/12.63	c #restart = 0
12.59/12.63	o 180571
12.59/12.64	c Solving starts ...
14.38/14.43	c solving time = 1.776s
14.38/14.43	c #decision = 119341
14.38/14.43	c #conflict = 86
14.38/14.43	c #restart = 0
14.38/14.43	o 180570
14.38/14.44	c Solving starts ...
14.89/14.92	c solving time = 0.460s
14.89/14.92	c #decision = 124553
14.89/14.92	c #conflict = 87
14.89/14.92	c #restart = 0
14.89/14.92	o 180569
14.89/14.93	c Solving starts ...
15.78/15.87	c solving time = 0.927s
15.78/15.87	c #decision = 128939
15.78/15.87	c #conflict = 88
15.78/15.87	c #restart = 0
15.78/15.87	o 180568
15.78/15.88	c Solving starts ...
24.89/24.93	c solving time = 9.035s
24.89/24.93	c #decision = 133262
24.89/24.93	c #conflict = 107
24.89/24.93	c #restart = 0
24.89/24.93	o 180567
24.89/24.95	c Solving starts ...
39.68/39.70	c solving time = 14.736s
39.68/39.70	c #decision = 136265
39.68/39.70	c #conflict = 138
39.68/39.70	c #restart = 0
39.68/39.70	o 180566
39.68/39.71	c Solving starts ...
41.08/41.10	c solving time = 1.373s
41.08/41.10	c #decision = 139199
41.08/41.10	c #conflict = 139
41.08/41.10	c #restart = 0
41.08/41.10	o 180565
41.08/41.11	c Solving starts ...
41.79/41.83	c solving time = 0.708s
41.79/41.83	c #decision = 142124
41.79/41.83	c #conflict = 139
41.79/41.83	c #restart = 0
41.79/41.83	o 180564
41.79/41.84	c Solving starts ...
45.28/45.39	c solving time = 3.532s
45.28/45.39	c #decision = 145055
45.28/45.39	c #conflict = 144
45.28/45.39	c #restart = 0
45.28/45.39	o 180563
45.38/45.40	c Solving starts ...
47.69/47.71	c solving time = 2.286s
47.69/47.71	c #decision = 147985
47.69/47.71	c #conflict = 146
47.69/47.71	c #restart = 0
47.69/47.71	o 180562
47.69/47.72	c Solving starts ...
55.88/55.94	c solving time = 8.210s
55.88/55.94	c #decision = 150927
55.88/55.94	c #conflict = 160
55.88/55.94	c #restart = 0
55.88/55.94	o 180561
55.88/55.96	c Solving starts ...
59.08/59.11	c solving time = 3.135s
59.08/59.11	c #decision = 153854
59.08/59.11	c #conflict = 163
59.08/59.11	c #restart = 0
59.08/59.11	o 180560
59.08/59.12	c Solving starts ...
67.98/68.05	c solving time = 8.917s
67.98/68.05	c #decision = 156826
67.98/68.05	c #conflict = 176
67.98/68.05	c #restart = 0
67.98/68.05	o 180559
67.98/68.06	c Solving starts ...
102.68/102.70	c solving time = 34.623s
102.68/102.70	c #decision = 165755
102.68/102.70	c #conflict = 308
102.68/102.70	c #restart = 1
102.68/102.70	o 180558
102.68/102.71	c Solving starts ...
103.67/103.74	c solving time = 1.012s
103.67/103.74	c #decision = 168725
103.67/103.74	c #conflict = 311
103.67/103.74	c #restart = 1
103.67/103.74	o 180557
103.67/103.75	c Solving starts ...
105.48/105.51	c solving time = 1.744s
105.48/105.51	c #decision = 171754
105.48/105.51	c #conflict = 323
105.48/105.51	c #restart = 1
105.48/105.51	o 180556
105.48/105.60	c Solving starts ...
106.47/106.60	c solving time = 0.985s
106.47/106.60	c #decision = 174725
106.47/106.60	c #conflict = 324
106.47/106.60	c #restart = 1
106.47/106.60	o 180555
106.58/106.61	c Solving starts ...
107.77/107.85	c solving time = 1.227s
107.77/107.85	c #decision = 177699
107.77/107.85	c #conflict = 329
107.77/107.85	c #restart = 1
107.77/107.85	o 180554
107.77/107.86	c Solving starts ...
108.97/109.07	c solving time = 1.191s
108.97/109.07	c #decision = 180673
108.97/109.07	c #conflict = 334
108.97/109.07	c #restart = 1
108.97/109.07	o 180553
108.97/109.08	c Solving starts ...
110.37/110.48	c solving time = 1.386s
110.37/110.48	c #decision = 183651
110.37/110.48	c #conflict = 340
110.37/110.48	c #restart = 1
110.37/110.48	o 180552
110.37/110.49	c Solving starts ...
111.67/111.75	c solving time = 1.249s
111.67/111.75	c #decision = 186625
111.67/111.75	c #conflict = 343
111.67/111.75	c #restart = 1
111.67/111.75	o 180551
111.67/111.76	c Solving starts ...
113.07/113.16	c solving time = 1.383s
113.07/113.16	c #decision = 189600
113.07/113.16	c #conflict = 348
113.07/113.16	c #restart = 1
113.07/113.16	o 180550
113.07/113.17	c Solving starts ...
114.67/114.79	c solving time = 1.610s
114.67/114.79	c #decision = 192581
114.67/114.79	c #conflict = 358
114.67/114.79	c #restart = 1
114.67/114.79	o 180549
114.77/114.81	c Solving starts ...
116.07/116.14	c solving time = 1.325s
116.07/116.14	c #decision = 195548
116.07/116.14	c #conflict = 360
116.07/116.14	c #restart = 1
116.07/116.14	o 180548
116.07/116.16	c Solving starts ...
117.77/117.87	c solving time = 1.705s
117.77/117.87	c #decision = 198529
117.77/117.87	c #conflict = 370
117.77/117.87	c #restart = 1
117.77/117.87	o 180547
117.77/117.89	c Solving starts ...
119.27/119.39	c solving time = 1.487s
119.27/119.39	c #decision = 201501
119.27/119.39	c #conflict = 373
119.27/119.39	c #restart = 1
119.27/119.39	o 180546
119.37/119.40	c Solving starts ...
120.98/121.09	c solving time = 1.682s
120.98/121.09	c #decision = 204485
120.98/121.09	c #conflict = 383
120.98/121.09	c #restart = 1
120.98/121.09	o 180545
121.07/121.10	c Solving starts ...
122.57/122.64	c solving time = 1.527s
122.57/122.64	c #decision = 207451
122.57/122.64	c #conflict = 385
122.57/122.64	c #restart = 1
122.57/122.64	o 180544
122.57/122.66	c Solving starts ...
124.37/124.44	c solving time = 1.775s
124.37/124.44	c #decision = 210433
124.37/124.44	c #conflict = 394
124.37/124.44	c #restart = 1
124.37/124.44	o 180543
124.37/124.46	c Solving starts ...
125.97/126.02	c solving time = 1.553s
125.97/126.02	c #decision = 213407
125.97/126.02	c #conflict = 399
125.97/126.02	c #restart = 1
125.97/126.02	o 180542
125.97/126.03	c Solving starts ...
127.67/127.73	c solving time = 1.682s
127.67/127.73	c #decision = 216377
127.67/127.73	c #conflict = 404
127.67/127.73	c #restart = 1
127.67/127.73	o 180541
127.67/127.74	c Solving starts ...
129.57/129.66	c solving time = 1.900s
129.57/129.66	c #decision = 219347
129.57/129.66	c #conflict = 413
129.57/129.66	c #restart = 1
129.57/129.66	o 180540
129.57/129.67	c Solving starts ...
143.57/143.68	c solving time = 13.996s
143.57/143.68	c #decision = 222685
143.57/143.68	c #conflict = 449
143.57/143.68	c #restart = 1
143.57/143.68	o 180539
143.57/143.69	c Solving starts ...
153.56/153.61	c solving time = 9.897s
153.56/153.61	c #decision = 236595
153.56/153.61	c #conflict = 501
153.56/153.61	c #restart = 1
153.56/153.61	o 176299
153.56/153.62	c Solving starts ...
155.66/155.78	c solving time = 2.152s
155.66/155.78	c #decision = 239567
155.66/155.78	c #conflict = 501
155.66/155.78	c #restart = 1
155.66/155.78	o 176298
155.76/155.80	c Solving starts ...
158.67/158.70	c solving time = 2.890s
158.67/158.70	c #decision = 242549
158.67/158.70	c #conflict = 508
158.67/158.70	c #restart = 1
158.67/158.70	o 176297
158.67/158.71	c Solving starts ...
161.26/161.36	c solving time = 2.631s
161.26/161.36	c #decision = 245532
161.26/161.36	c #conflict = 511
161.26/161.36	c #restart = 1
161.26/161.36	o 176296
161.26/161.37	c Solving starts ...
164.87/164.95	c solving time = 3.568s
164.87/164.95	c #decision = 250801
164.87/164.95	c #conflict = 516
164.87/164.95	c #restart = 1
164.87/164.95	o 176294
164.87/164.97	c Solving starts ...
168.66/168.74	c solving time = 3.763s
168.66/168.74	c #decision = 253790
168.66/168.74	c #conflict = 521
168.66/168.74	c #restart = 1
168.66/168.74	o 176293
168.66/168.76	c Solving starts ...
172.16/172.22	c solving time = 3.443s
172.16/172.22	c #decision = 256782
172.16/172.22	c #conflict = 526
172.16/172.22	c #restart = 1
172.16/172.22	o 176292
172.26/172.32	c Solving starts ...
177.27/177.37	c solving time = 5.034s
177.27/177.37	c #decision = 259772
177.27/177.37	c #conflict = 538
177.27/177.37	c #restart = 1
177.27/177.37	o 176291
177.27/177.38	c Solving starts ...
180.86/180.91	c solving time = 3.514s
180.86/180.91	c #decision = 262752
180.86/180.91	c #conflict = 541
180.86/180.91	c #restart = 1
180.86/180.91	o 176290
180.86/180.92	c Solving starts ...
184.56/184.69	c solving time = 3.758s
184.56/184.69	c #decision = 268056
184.56/184.69	c #conflict = 544
184.56/184.69	c #restart = 1
184.56/184.69	o 176288
184.66/184.71	c Solving starts ...
190.36/190.41	c solving time = 5.693s
190.36/190.41	c #decision = 271270
190.36/190.41	c #conflict = 572
190.36/190.41	c #restart = 1
190.36/190.41	o 176287
190.36/190.42	c Solving starts ...
193.76/193.88	c solving time = 3.441s
193.76/193.88	c #decision = 274287
193.76/193.88	c #conflict = 591
193.76/193.88	c #restart = 1
193.76/193.88	o 176286
193.76/193.89	c Solving starts ...
197.25/197.33	c solving time = 3.427s
197.25/197.33	c #decision = 277303
197.25/197.33	c #conflict = 607
197.25/197.33	c #restart = 1
197.25/197.33	o 176285
197.25/197.35	c Solving starts ...
200.46/200.51	c solving time = 3.148s
200.46/200.51	c #decision = 280301
200.46/200.51	c #conflict = 614
200.46/200.51	c #restart = 1
200.46/200.51	o 176284
200.46/200.52	c Solving starts ...
203.56/203.63	c solving time = 3.095s
203.56/203.63	c #decision = 283299
203.56/203.63	c #conflict = 624
203.56/203.63	c #restart = 1
203.56/203.63	o 176283
203.56/203.64	c Solving starts ...
207.46/207.55	c solving time = 3.890s
207.46/207.55	c #decision = 286304
207.46/207.55	c #conflict = 643
207.46/207.55	c #restart = 1
207.46/207.55	o 176282
207.46/207.56	c Solving starts ...
215.16/215.22	c solving time = 7.649s
215.16/215.22	c #decision = 289489
215.16/215.22	c #conflict = 672
215.16/215.22	c #restart = 1
215.16/215.22	o 176281
215.16/215.23	c Solving starts ...
218.56/218.69	c solving time = 3.443s
218.56/218.69	c #decision = 292471
218.56/218.69	c #conflict = 682
218.56/218.69	c #restart = 1
218.56/218.69	o 176280
218.66/218.70	c Solving starts ...
221.65/221.70	c solving time = 2.978s
221.65/221.70	c #decision = 295448
221.65/221.70	c #conflict = 687
221.65/221.70	c #restart = 1
221.65/221.70	o 176279
221.65/221.71	c Solving starts ...
225.15/225.27	c solving time = 3.543s
225.15/225.27	c #decision = 298436
225.15/225.27	c #conflict = 698
225.15/225.27	c #restart = 1
225.15/225.27	o 176278
225.15/225.28	c Solving starts ...
228.25/228.37	c solving time = 3.078s
228.25/228.37	c #decision = 301409
228.25/228.37	c #conflict = 700
228.25/228.37	c #restart = 1
228.25/228.37	o 176277
228.25/228.38	c Solving starts ...
231.65/231.75	c solving time = 3.355s
231.65/231.75	c #decision = 304394
231.65/231.75	c #conflict = 709
231.65/231.75	c #restart = 1
231.65/231.75	o 176276
231.65/231.77	c Solving starts ...
234.86/234.96	c solving time = 3.177s
234.86/234.96	c #decision = 307374
234.86/234.96	c #conflict = 714
234.86/234.96	c #restart = 1
234.86/234.96	o 176275
234.86/234.97	c Solving starts ...
238.05/238.13	c solving time = 3.148s
238.05/238.13	c #decision = 310348
238.05/238.13	c #conflict = 718
238.05/238.13	c #restart = 1
238.05/238.13	o 176274
238.05/238.14	c Solving starts ...
241.15/241.28	c solving time = 3.128s
241.15/241.28	c #decision = 313327
241.15/241.28	c #conflict = 723
241.15/241.28	c #restart = 1
241.15/241.28	o 176273
241.35/241.40	c Solving starts ...
246.15/246.25	c solving time = 4.841s
246.15/246.25	c #decision = 316325
246.15/246.25	c #conflict = 744
246.15/246.25	c #restart = 1
246.15/246.25	o 176272
246.15/246.26	c Solving starts ...
249.35/249.41	c solving time = 3.134s
249.35/249.41	c #decision = 319292
249.35/249.41	c #conflict = 747
249.35/249.41	c #restart = 1
249.35/249.41	o 176271
249.35/249.42	c Solving starts ...
254.85/254.97	c solving time = 5.525s
254.85/254.97	c #decision = 324595
254.85/254.97	c #conflict = 764
254.85/254.97	c #restart = 1
254.85/254.97	o 176269
254.85/254.98	c Solving starts ...
257.85/257.99	c solving time = 2.997s
257.85/257.99	c #decision = 327553
257.85/257.99	c #conflict = 765
257.85/257.99	c #restart = 1
257.85/257.99	o 176268
257.95/258.00	c Solving starts ...
261.15/261.29	c solving time = 3.275s
261.15/261.29	c #decision = 330511
261.15/261.29	c #conflict = 767
261.15/261.29	c #restart = 1
261.15/261.29	o 176267
261.25/261.30	c Solving starts ...
264.74/264.88	c solving time = 3.565s
264.74/264.88	c #decision = 333481
264.74/264.88	c #conflict = 776
264.74/264.88	c #restart = 1
264.74/264.88	o 176266
264.74/264.89	c Solving starts ...
268.65/268.77	c solving time = 3.867s
268.65/268.77	c #decision = 336439
268.65/268.77	c #conflict = 785
268.65/268.77	c #restart = 1
268.65/268.78	o 176265
268.65/268.79	c Solving starts ...
272.14/272.29	c solving time = 3.490s
272.14/272.29	c #decision = 339387
272.14/272.29	c #conflict = 790
272.14/272.29	c #restart = 1
272.14/272.29	o 176264
272.24/272.30	c Solving starts ...
275.65/275.70	c solving time = 3.384s
275.65/275.70	c #decision = 342346
275.65/275.70	c #conflict = 794
275.65/275.70	c #restart = 1
275.65/275.70	o 176263
275.65/275.71	c Solving starts ...
278.94/279.06	c solving time = 3.331s
278.94/279.06	c #decision = 345302
278.94/279.06	c #conflict = 799
278.94/279.06	c #restart = 1
278.94/279.06	o 176262
279.04/279.18	c Solving starts ...
296.15/296.23	c solving time = 17.028s
296.15/296.23	c #decision = 350793
296.15/296.23	c #conflict = 845
296.15/296.23	c #restart = 1
296.15/296.23	o 176261
296.15/296.24	c Solving starts ...
301.54/301.61	c solving time = 5.352s
301.54/301.61	c #decision = 353760
301.54/301.61	c #conflict = 849
301.54/301.61	c #restart = 1
301.54/301.61	o 176260
301.54/301.62	c Solving starts ...
306.64/306.70	c solving time = 4.942s
306.64/306.70	c #decision = 356718
306.64/306.70	c #conflict = 854
306.64/306.70	c #restart = 1
306.64/306.70	o 176259
306.64/306.71	c Solving starts ...
311.94/312.07	c solving time = 5.347s
311.94/312.07	c #decision = 359681
311.94/312.07	c #conflict = 858
311.94/312.07	c #restart = 1
311.94/312.07	o 176258
311.94/312.08	c Solving starts ...
317.24/317.36	c solving time = 5.259s
317.24/317.36	c #decision = 362650
317.24/317.36	c #conflict = 864
317.24/317.36	c #restart = 1
317.24/317.36	o 176257
317.24/317.37	c Solving starts ...
322.74/322.80	c solving time = 5.411s
322.74/322.80	c #decision = 365601
322.74/322.80	c #conflict = 868
322.74/322.80	c #restart = 1
322.74/322.80	o 176256
322.74/322.81	c Solving starts ...
327.74/327.81	c solving time = 4.982s
327.74/327.81	c #decision = 368555
327.74/327.81	c #conflict = 873
327.74/327.81	c #restart = 1
327.74/327.81	o 176255
327.74/327.82	c Solving starts ...
333.24/333.33	c solving time = 5.486s
333.24/333.33	c #decision = 371504
333.24/333.33	c #conflict = 877
333.24/333.33	c #restart = 1
333.24/333.33	o 176254
333.24/333.34	c Solving starts ...
338.33/338.46	c solving time = 5.108s
338.33/338.46	c #decision = 374452
338.33/338.46	c #conflict = 882
338.33/338.46	c #restart = 1
338.33/338.46	o 176253
338.33/338.47	c Solving starts ...
343.84/343.93	c solving time = 5.439s
343.84/343.93	c #decision = 377396
343.84/343.93	c #conflict = 886
343.84/343.93	c #restart = 1
343.84/343.93	o 176252
343.84/343.94	c Solving starts ...
348.83/348.95	c solving time = 4.998s
348.83/348.95	c #decision = 380341
348.83/348.95	c #conflict = 891
348.83/348.95	c #restart = 1
348.83/348.95	o 176251
348.83/348.97	c Solving starts ...
354.33/354.47	c solving time = 5.490s
354.33/354.47	c #decision = 383281
354.33/354.47	c #conflict = 895
354.33/354.47	c #restart = 1
354.33/354.47	o 176250
354.33/354.48	c Solving starts ...
359.43/359.54	c solving time = 5.038s
359.43/359.54	c #decision = 386218
359.43/359.54	c #conflict = 900
359.43/359.54	c #restart = 1
359.43/359.54	o 176249
359.43/359.55	c Solving starts ...
366.13/366.24	c solving time = 6.676s
366.13/366.24	c #decision = 389166
366.13/366.24	c #conflict = 907
366.13/366.24	c #restart = 1
366.13/366.24	o 176248
366.13/366.25	c Solving starts ...
370.33/370.48	c solving time = 4.211s
370.33/370.48	c #decision = 394385
370.33/370.48	c #conflict = 909
370.33/370.48	c #restart = 1
370.33/370.48	o 176246
370.33/370.49	c Solving starts ...
388.72/388.87	c solving time = 18.359s
388.72/388.87	c #decision = 397549
388.72/388.87	c #conflict = 968
388.72/388.87	c #restart = 1
388.72/388.87	o 176245
388.72/388.88	c Solving starts ...
392.53/392.65	c solving time = 3.757s
392.53/392.65	c #decision = 400494
392.53/392.65	c #conflict = 970
392.53/392.65	c #restart = 1
392.53/392.65	o 176244
392.53/392.67	c Solving starts ...
396.43/396.50	c solving time = 3.818s
396.43/396.50	c #decision = 403440
396.43/396.50	c #conflict = 975
396.43/396.50	c #restart = 1
396.43/396.50	o 176243
396.43/396.51	c Solving starts ...
400.62/400.74	c solving time = 4.214s
400.62/400.74	c #decision = 406385
400.62/400.74	c #conflict = 979
400.62/400.74	c #restart = 1
400.62/400.74	o 176242
400.62/400.75	c Solving starts ...
417.82/417.91	c solving time = 17.140s
417.82/417.91	c #decision = 411753
417.82/417.91	c #conflict = 1030
417.82/417.91	c #restart = 1
417.82/417.91	o 171970
417.82/417.93	c Solving starts ...
421.72/421.87	c solving time = 3.924s
421.72/421.87	c #decision = 414690
421.72/421.87	c #conflict = 1030
421.72/421.87	c #restart = 1
421.72/421.87	o 171969
421.72/421.88	c Solving starts ...
426.42/426.51	c solving time = 4.616s
426.42/426.51	c #decision = 417632
426.42/426.51	c #conflict = 1032
426.42/426.51	c #restart = 1
426.42/426.51	o 171968
426.42/426.52	c Solving starts ...
435.42/435.55	c solving time = 9.015s
435.42/435.55	c #decision = 420592
435.42/435.55	c #conflict = 1043
435.42/435.55	c #restart = 1
435.42/435.55	o 171967
435.42/435.56	c Solving starts ...
440.01/440.15	c solving time = 4.574s
440.01/440.15	c #decision = 423524
440.01/440.15	c #conflict = 1044
440.01/440.15	c #restart = 1
440.01/440.15	o 171966
440.01/440.16	c Solving starts ...
444.71/444.82	c solving time = 4.640s
444.71/444.82	c #decision = 426452
444.71/444.82	c #conflict = 1045
444.71/444.82	c #restart = 1
444.71/444.82	o 171965
444.71/444.83	c Solving starts ...
451.12/451.29	c solving time = 6.446s
451.12/451.29	c #decision = 429377
451.12/451.29	c #conflict = 1049
451.12/451.29	c #restart = 1
451.12/451.29	o 171964
451.22/451.30	c Solving starts ...
457.82/457.99	c solving time = 6.666s
457.82/457.99	c #decision = 432354
457.82/457.99	c #conflict = 1053
457.82/457.99	c #restart = 1
457.82/457.99	o 171963
457.92/458.00	c Solving starts ...
461.81/461.96	c solving time = 3.950s
461.81/461.96	c #decision = 435319
461.81/461.96	c #conflict = 1053
461.81/461.96	c #restart = 1
461.81/461.96	o 171962
461.81/461.97	c Solving starts ...
466.61/466.72	c solving time = 4.736s
466.61/466.72	c #decision = 438288
466.61/466.72	c #conflict = 1062
466.61/466.72	c #restart = 1
466.61/466.73	o 171961
466.71/466.86	c Solving starts ...
473.41/473.50	c solving time = 6.625s
473.41/473.50	c #decision = 441292
473.41/473.50	c #conflict = 1074
473.41/473.50	c #restart = 1
473.41/473.50	o 171960
473.41/473.51	c Solving starts ...
477.81/477.96	c solving time = 4.425s
477.81/477.96	c #decision = 446550
477.81/477.96	c #conflict = 1077
477.81/477.96	c #restart = 1
477.81/477.96	o 171958
477.81/477.97	c Solving starts ...
483.61/483.72	c solving time = 5.738s
483.61/483.72	c #decision = 449547
483.61/483.72	c #conflict = 1088
483.61/483.72	c #restart = 1
483.61/483.72	o 171957
483.61/483.73	c Solving starts ...
487.90/488.03	c solving time = 4.277s
487.90/488.03	c #decision = 452504
487.90/488.03	c #conflict = 1090
487.90/488.03	c #restart = 1
487.90/488.03	o 171956
488.00/488.17	c Solving starts ...
492.90/493.06	c solving time = 4.870s
492.90/493.06	c #decision = 455478
492.90/493.06	c #conflict = 1100
492.90/493.06	c #restart = 1
492.90/493.06	o 171955
492.90/493.07	c Solving starts ...
497.20/497.34	c solving time = 4.264s
497.20/497.34	c #decision = 458437
497.20/497.34	c #conflict = 1103
497.20/497.34	c #restart = 1
497.20/497.35	o 171954
497.20/497.36	c Solving starts ...
502.30/502.47	c solving time = 5.101s
502.30/502.47	c #decision = 461416
502.30/502.47	c #conflict = 1114
502.30/502.47	c #restart = 1
502.30/502.47	o 171953
502.30/502.48	c Solving starts ...
506.60/506.77	c solving time = 4.274s
506.60/506.77	c #decision = 464372
506.60/506.77	c #conflict = 1116
506.60/506.77	c #restart = 1
506.60/506.77	o 171952
506.60/506.78	c Solving starts ...
511.69/511.83	c solving time = 5.033s
511.69/511.83	c #decision = 467342
511.69/511.83	c #conflict = 1126
511.69/511.83	c #restart = 1
511.69/511.83	o 171951
511.69/511.84	c Solving starts ...
515.99/516.13	c solving time = 4.272s
515.99/516.13	c #decision = 470295
515.99/516.13	c #conflict = 1129
515.99/516.13	c #restart = 1
515.99/516.13	o 171950
515.99/516.14	c Solving starts ...
520.50/520.63	c solving time = 4.475s
520.50/520.63	c #decision = 473248
520.50/520.63	c #conflict = 1133
520.50/520.63	c #restart = 1
520.50/520.63	o 171949
520.50/520.64	c Solving starts ...
525.10/525.22	c solving time = 4.563s
525.10/525.22	c #decision = 476203
525.10/525.22	c #conflict = 1138
525.10/525.22	c #restart = 1
525.10/525.22	o 171948
525.10/525.23	c Solving starts ...
529.69/529.89	c solving time = 4.641s
529.69/529.89	c #decision = 479153
529.69/529.89	c #conflict = 1144
529.69/529.89	c #restart = 1
529.69/529.89	o 171947
529.79/529.90	c Solving starts ...
535.60/535.79	c solving time = 5.875s
535.60/535.79	c #decision = 482131
535.60/535.79	c #conflict = 1152
535.60/535.79	c #restart = 1
535.60/535.79	o 171946
535.70/535.80	c Solving starts ...
541.10/541.23	c solving time = 5.417s
541.10/541.23	c #decision = 485085
541.10/541.23	c #conflict = 1163
541.10/541.23	c #restart = 1
541.10/541.23	o 171945
541.10/541.24	c Solving starts ...
600.29/600.42	c solving time = 59.151s
600.29/600.42	c #decision = 490796
600.29/600.42	c #conflict = 1303
600.29/600.42	c #restart = 2
600.29/600.42	o 167717
600.29/600.43	c Solving starts ...
608.09/608.26	c solving time = 7.816s
608.09/608.26	c #decision = 493792
608.09/608.26	c #conflict = 1304
608.09/608.26	c #restart = 2
608.09/608.26	o 167716
608.09/608.27	c Solving starts ...
614.99/615.18	c solving time = 6.895s
614.99/615.18	c #decision = 496716
614.99/615.18	c #conflict = 1305
614.99/615.18	c #restart = 2
614.99/615.19	o 167715
615.09/615.20	c Solving starts ...
624.48/624.65	c solving time = 9.438s
624.48/624.65	c #decision = 501957
624.48/624.65	c #conflict = 1311
624.48/624.65	c #restart = 2
624.48/624.65	o 167713
624.48/624.66	c Solving starts ...
630.88/631.08	c solving time = 6.404s
630.88/631.08	c #decision = 504875
630.88/631.08	c #conflict = 1311
630.88/631.08	c #restart = 2
630.88/631.08	o 167712
630.88/631.09	c Solving starts ...
638.68/638.80	c solving time = 7.684s
638.68/638.80	c #decision = 507807
638.68/638.80	c #conflict = 1312
638.68/638.80	c #restart = 2
638.68/638.80	o 167711
638.68/638.81	c Solving starts ...
645.98/646.13	c solving time = 7.301s
645.98/646.13	c #decision = 513053
645.98/646.13	c #conflict = 1321
645.98/646.13	c #restart = 2
645.98/646.13	o 167692
645.98/646.14	c Solving starts ...
652.48/652.61	c solving time = 6.455s
652.48/652.61	c #decision = 515982
652.48/652.61	c #conflict = 1322
652.48/652.61	c #restart = 2
652.48/652.61	o 167691
652.48/652.62	c Solving starts ...
658.98/659.10	c solving time = 6.464s
658.98/659.10	c #decision = 518911
658.98/659.10	c #conflict = 1323
658.98/659.10	c #restart = 2
658.98/659.10	o 167690
658.98/659.11	c Solving starts ...
665.48/665.61	c solving time = 6.478s
665.48/665.61	c #decision = 521839
665.48/665.61	c #conflict = 1324
665.48/665.61	c #restart = 2
665.48/665.61	o 167689
665.48/665.62	c Solving starts ...
672.78/672.98	c solving time = 7.348s
672.78/672.98	c #decision = 524780
672.78/672.98	c #conflict = 1326
672.78/672.98	c #restart = 2
672.78/672.98	o 167688
672.78/673.00	c Solving starts ...
682.47/682.63	c solving time = 9.619s
682.47/682.63	c #decision = 527733
682.47/682.63	c #conflict = 1333
682.47/682.63	c #restart = 2
682.47/682.63	o 167687
682.47/682.64	c Solving starts ...
690.07/690.28	c solving time = 7.619s
690.07/690.28	c #decision = 530671
690.07/690.28	c #conflict = 1336
690.07/690.28	c #restart = 2
690.07/690.28	o 167686
690.27/690.43	c Solving starts ...
697.87/698.01	c solving time = 7.559s
697.87/698.01	c #decision = 533609
697.87/698.01	c #conflict = 1339
697.87/698.01	c #restart = 2
697.87/698.01	o 167685
697.87/698.02	c Solving starts ...
705.47/705.64	c solving time = 7.601s
705.47/705.64	c #decision = 536546
705.47/705.64	c #conflict = 1342
705.47/705.64	c #restart = 2
705.47/705.64	o 167684
705.47/705.65	c Solving starts ...
714.87/715.09	c solving time = 9.428s
714.87/715.09	c #decision = 539479
714.87/715.09	c #conflict = 1348
714.87/715.09	c #restart = 2
714.87/715.09	o 167683
714.96/715.10	c Solving starts ...
722.06/722.22	c solving time = 7.100s
722.06/722.22	c #decision = 542410
722.06/722.22	c #conflict = 1350
722.06/722.22	c #restart = 2
722.06/722.22	o 167682
722.06/722.23	c Solving starts ...
729.87/730.09	c solving time = 7.840s
729.87/730.09	c #decision = 545337
729.87/730.09	c #conflict = 1353
729.87/730.09	c #restart = 2
729.87/730.09	o 167681
729.97/730.10	c Solving starts ...
748.46/748.69	c solving time = 18.573s
748.46/748.69	c #decision = 548322
748.46/748.69	c #conflict = 1380
748.46/748.69	c #restart = 2
748.46/748.69	o 167680
748.56/748.70	c Solving starts ...
755.06/755.26	c solving time = 6.538s
755.06/755.26	c #decision = 551247
755.06/755.26	c #conflict = 1381
755.06/755.26	c #restart = 2
755.06/755.26	o 167679
755.06/755.27	c Solving starts ...
761.76/761.90	c solving time = 6.620s
761.76/761.90	c #decision = 554170
761.76/761.90	c #conflict = 1382
761.76/761.90	c #restart = 2
761.76/761.90	o 167678
761.76/761.92	c Solving starts ...
769.66/769.85	c solving time = 7.917s
769.66/769.85	c #decision = 557097
769.66/769.85	c #conflict = 1385
769.66/769.85	c #restart = 2
769.66/769.85	o 167677
769.66/769.86	c Solving starts ...
782.86/783.07	c solving time = 13.190s
782.86/783.07	c #decision = 560169
782.86/783.07	c #conflict = 1393
782.86/783.07	c #restart = 2
782.86/783.07	o 167676
782.86/783.08	c Solving starts ...
788.76/788.95	c solving time = 5.854s
788.76/788.95	c #decision = 563140
788.76/788.95	c #conflict = 1393
788.76/788.95	c #restart = 2
788.76/788.95	o 167675
788.76/788.96	c Solving starts ...
795.96/796.16	c solving time = 7.023s
795.96/796.16	c #decision = 566128
795.96/796.16	c #conflict = 1400
795.96/796.16	c #restart = 2
795.96/796.16	o 167674
795.96/796.17	c Solving starts ...
806.46/806.68	c solving time = 10.493s
806.46/806.68	c #decision = 569169
806.46/806.68	c #conflict = 1407
806.46/806.68	c #restart = 2
806.46/806.68	o 167673
806.46/806.70	c Solving starts ...
824.86/825.07	c solving time = 18.355s
824.86/825.07	c #decision = 572157
824.86/825.07	c #conflict = 1438
824.86/825.07	c #restart = 2
824.86/825.07	o 167672
824.86/825.08	c Solving starts ...
831.75/831.94	c solving time = 6.845s
831.75/831.94	c #decision = 575096
831.75/831.94	c #conflict = 1443
831.75/831.94	c #restart = 2
831.75/831.94	o 167671
831.75/831.95	c Solving starts ...
839.05/839.27	c solving time = 7.300s
839.05/839.27	c #decision = 578034
839.05/839.27	c #conflict = 1451
839.05/839.27	c #restart = 2
839.05/839.27	o 167670
839.05/839.28	c Solving starts ...
845.45/845.66	c solving time = 6.361s
845.45/845.66	c #decision = 580959
845.45/845.66	c #conflict = 1453
845.45/845.66	c #restart = 2
845.45/845.66	o 167669
845.45/845.67	c Solving starts ...
852.45/852.62	c solving time = 6.938s
852.45/852.62	c #decision = 583892
852.45/852.62	c #conflict = 1458
852.45/852.62	c #restart = 2
852.45/852.62	o 167668
852.45/852.63	c Solving starts ...
862.65/862.88	c solving time = 10.227s
862.65/862.88	c #decision = 588973
862.65/862.88	c #conflict = 1472
862.65/862.88	c #restart = 2
862.65/862.88	o 167667
862.85/863.05	c Solving starts ...
869.35/869.59	c solving time = 6.526s
869.35/869.59	c #decision = 591958
869.35/869.59	c #conflict = 1476
869.35/869.59	c #restart = 2
869.35/869.59	o 167666
869.45/869.60	c Solving starts ...
877.65/877.80	c solving time = 8.186s
877.65/877.80	c #decision = 594960
877.65/877.80	c #conflict = 1485
877.65/877.80	c #restart = 2
877.65/877.80	o 167665
877.65/877.82	c Solving starts ...
885.35/885.55	c solving time = 7.720s
885.35/885.55	c #decision = 597922
885.35/885.55	c #conflict = 1490
885.35/885.55	c #restart = 2
885.35/885.55	o 167664
885.35/885.56	c Solving starts ...
893.14/893.32	c solving time = 7.745s
893.14/893.32	c #decision = 600874
893.14/893.32	c #conflict = 1494
893.14/893.32	c #restart = 2
893.14/893.32	o 167663
893.14/893.34	c Solving starts ...
900.83/901.08	c solving time = 7.724s
900.83/901.08	c #decision = 603819
900.83/901.08	c #conflict = 1499
900.83/901.08	c #restart = 2
900.83/901.08	o 167662
900.83/901.09	c Solving starts ...
908.63/908.87	c solving time = 7.766s
908.63/908.87	c #decision = 606767
908.63/908.87	c #conflict = 1503
908.63/908.87	c #restart = 2
908.63/908.87	o 167661
908.63/908.88	c Solving starts ...
917.63/917.81	c solving time = 8.914s
917.63/917.81	c #decision = 609717
917.63/917.81	c #conflict = 1511
917.63/917.81	c #restart = 2
917.63/917.81	o 167660
917.63/917.83	c Solving starts ...
924.53/924.79	c solving time = 6.952s
924.53/924.79	c #decision = 612652
924.53/924.79	c #conflict = 1514
924.53/924.79	c #restart = 2
924.53/924.79	o 167659
924.63/924.81	c Solving starts ...
932.43/932.61	c solving time = 7.789s
932.43/932.61	c #decision = 615590
932.43/932.61	c #conflict = 1518
932.43/932.61	c #restart = 2
932.43/932.61	o 167658
932.43/932.62	c Solving starts ...
940.34/940.56	c solving time = 7.927s
940.34/940.56	c #decision = 618528
940.34/940.56	c #conflict = 1523
940.34/940.56	c #restart = 2
940.34/940.57	o 167657
940.34/940.58	c Solving starts ...
948.12/948.38	c solving time = 7.782s
948.12/948.38	c #decision = 621461
948.12/948.38	c #conflict = 1527
948.12/948.38	c #restart = 2
948.12/948.38	o 167656
948.12/948.39	c Solving starts ...
955.63/955.89	c solving time = 7.482s
955.63/955.89	c #decision = 624390
955.63/955.89	c #conflict = 1531
955.63/955.89	c #restart = 2
955.63/955.89	o 167655
955.63/955.90	c Solving starts ...
964.82/965.02	c solving time = 9.103s
964.82/965.02	c #decision = 629606
964.82/965.02	c #conflict = 1535
964.82/965.02	c #restart = 2
964.82/965.02	o 167651
964.82/965.03	c Solving starts ...
972.52/972.74	c solving time = 7.698s
972.52/972.74	c #decision = 632545
972.52/972.74	c #conflict = 1540
972.52/972.74	c #restart = 2
972.52/972.74	o 167650
972.52/972.76	c Solving starts ...
982.13/982.31	c solving time = 9.541s
982.13/982.31	c #decision = 637782
982.13/982.31	c #conflict = 1550
982.13/982.31	c #restart = 2
982.13/982.31	o 167648
982.13/982.33	c Solving starts ...

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-3706308-1338141298/watcher-3706308-1338141298 -o /tmp/evaluation-result-3706308-1338141298/solver-3706308-1338141298 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706308-1338141298.opb 

running on 4 cores: 0,2,4,6

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: 1.92 1.99 1.99 3/174 13938
/proc/meminfo: memFree=29436940/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 807 0 0 0 0 0 0 0 20 0 1 0 280255260 6356992 728 33554432000 4194304 8973514 140735306364528 140733898686312 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 1552 728 411 1167 0 333 0

[startup+0.0958371 s]
/proc/loadavg: 1.92 1.99 1.99 3/174 13938
/proc/meminfo: memFree=29436940/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 2357 0 0 0 9 0 0 0 20 0 1 0 280255260 12648448 2278 33554432000 4194304 8973514 140735306364528 140735306363792 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 3088 2278 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.100304 s]
/proc/loadavg: 1.92 1.99 1.99 3/174 13938
/proc/meminfo: memFree=29436940/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 2357 0 0 0 9 0 0 0 20 0 1 0 280255260 12648448 2278 33554432000 4194304 8973514 140735306364528 140735306363792 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 3088 2278 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.300273 s]
/proc/loadavg: 1.92 1.99 1.99 3/174 13938
/proc/meminfo: memFree=29436940/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=26688 CPUtime=0.29 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 5794 0 0 0 29 0 0 0 20 0 1 0 280255260 27328512 5716 33554432000 4194304 8973514 140735306364528 140735306363792 4209439 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 6672 5723 418 1167 0 5453 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26688

[startup+0.70027 s]
/proc/loadavg: 1.92 1.99 1.99 3/174 13938
/proc/meminfo: memFree=29436940/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=47168 CPUtime=0.68 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 11061 0 0 0 67 1 0 0 20 0 1 0 280255260 48300032 10982 33554432000 4194304 8973514 140735306364528 140735306363792 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 11792 10982 418 1167 0 10573 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 47168

[startup+1.50028 s]
/proc/loadavg: 1.92 1.99 1.99 3/175 13939
/proc/meminfo: memFree=29380248/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=109632 CPUtime=1.48 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 26677 0 0 0 144 4 0 0 20 0 1 0 280255260 112263168 26598 33554432000 4194304 8973514 140735306364528 140735306364024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 27408 26598 418 1167 0 26189 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 109632

[startup+3.10022 s]
/proc/loadavg: 1.92 1.99 1.99 3/175 13939
/proc/meminfo: memFree=29302748/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=138304 CPUtime=3.09 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 33866 0 0 0 303 6 0 0 20 0 1 0 280255260 141623296 33787 33554432000 4194304 8973514 140735306364528 140735306364024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 34576 33787 433 1167 0 33357 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 138304

[startup+6.30024 s]
/proc/loadavg: 1.93 1.99 1.99 3/175 13939
/proc/meminfo: memFree=29301260/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=139328 CPUtime=6.29 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 34122 0 0 0 621 8 0 0 20 0 1 0 280255260 142671872 34043 33554432000 4194304 8973514 140735306364528 140735306364024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 34832 34043 433 1167 0 33613 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 139328

[startup+12.7003 s]
/proc/loadavg: 1.93 1.99 1.99 3/175 13939
/proc/meminfo: memFree=29301136/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=139328 CPUtime=12.69 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 34146 0 0 0 1259 10 0 0 20 0 1 0 280255260 142671872 34067 33554432000 4194304 8973514 140735306364528 140735306362496 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 34832 34067 457 1167 0 33613 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 139328

[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/175 13939
/proc/meminfo: memFree=29294440/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=146496 CPUtime=25.48 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 35938 0 0 0 2534 14 0 0 20 0 1 0 280255260 150011904 35859 33554432000 4194304 8973514 140735306364528 140735306364024 4204220 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 36624 35859 457 1167 0 35405 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 146496

[startup+51.1003 s]
/proc/loadavg: 1.96 1.99 1.99 3/175 13939
/proc/meminfo: memFree=29280428/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=159808 CPUtime=51.08 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 39266 0 0 0 5087 21 0 0 20 0 1 0 280255260 163643392 39187 33554432000 4194304 8973514 140735306364528 140735306364024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 39952 39187 457 1167 0 38733 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 159808

[startup+102.306 s]
/proc/loadavg: 1.98 1.99 1.99 3/175 13939
/proc/meminfo: memFree=29273112/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=166976 CPUtime=102.27 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 41058 0 0 0 10191 36 0 0 20 0 1 0 280255260 170983424 40979 33554432000 4194304 8973514 140735306364528 140735306364024 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 41744 40979 457 1167 0 40525 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 166976

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/175 13939
/proc/meminfo: memFree=29222644/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=217152 CPUtime=162.26 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 53602 0 0 0 16164 62 0 0 20 0 1 0 280255260 222363648 53523 33554432000 4194304 8973514 140735306364528 140735306364024 7841851 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 54288 53523 457 1167 0 53069 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 217152

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/175 13939
/proc/meminfo: memFree=29189784/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=248896 CPUtime=222.25 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 61538 0 0 0 22135 90 0 0 20 0 1 0 280255260 254869504 61459 33554432000 4194304 8973514 140735306364528 140735306364024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 62224 61459 457 1167 0 61005 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 248896

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/174 13939
/proc/meminfo: memFree=29152956/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=285760 CPUtime=282.25 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 70754 0 0 0 28105 120 0 0 20 0 1 0 280255260 292618240 70675 33554432000 4194304 8973514 140735306364528 140735306364024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 71440 70675 457 1167 0 70221 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 285760

[startup+342.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/176 13943
/proc/meminfo: memFree=29126772/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=313408 CPUtime=342.23 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 77679 0 0 0 34076 147 0 0 20 0 1 0 280255260 320929792 77587 33554432000 4194304 8973514 140735306364528 140735306362496 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 78352 77587 457 1167 0 77133 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 313408

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 13966
/proc/meminfo: memFree=29104976/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=333888 CPUtime=402.22 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 82572 0 0 0 40045 177 0 0 20 0 1 0 280255260 341901312 82480 33554432000 4194304 8973514 140735306364528 140735306364024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 83472 82480 457 1167 0 82253 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 333888

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 13966
/proc/meminfo: memFree=29085668/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=352320 CPUtime=462.22 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 87410 0 0 0 46016 206 0 0 20 0 1 0 280255260 360775680 87315 33554432000 4194304 8973514 140735306364528 140735306364024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 88080 87315 457 1167 0 86861 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 352320

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14005
/proc/meminfo: memFree=29385668/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=374848 CPUtime=522.19 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 93049 0 0 0 51979 240 0 0 20 0 1 0 280255260 383844352 92947 33554432000 4194304 8973514 140735306364528 140735306364024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 93712 92947 457 1167 0 92493 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 374848

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14005
/proc/meminfo: memFree=29367964/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=392256 CPUtime=582.19 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 97401 0 0 0 57945 274 0 0 20 0 1 0 280255260 401670144 97299 33554432000 4194304 8973514 140735306364528 140735306364024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 98064 97299 457 1167 0 96845 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 392256

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 14006
/proc/meminfo: memFree=29285636/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=451648 CPUtime=822.15 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 112249 0 0 0 81815 400 0 0 20 0 1 0 280255260 462487552 112147 33554432000 4194304 8973514 140735306364528 140735306364024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 112912 112147 457 1167 0 111693 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 451648

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14006
/proc/meminfo: memFree=29264340/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=464960 CPUtime=882.14 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 115582 0 0 0 87785 429 0 0 20 0 1 0 280255260 476119040 115475 33554432000 4194304 8973514 140735306364528 140735306364024 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 116240 115475 457 1167 0 115021 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 464960

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14010
/proc/meminfo: memFree=29240888/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=488512 CPUtime=942.12 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 121473 0 0 0 93754 458 0 0 20 0 1 0 280255260 500236288 121363 33554432000 4194304 8973514 140735306364528 140735306364024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 122128 121363 457 1167 0 120909 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 488512

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14010
/proc/meminfo: memFree=29226636/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=499776 CPUtime=1002.12 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 124289 0 0 0 99723 489 0 0 20 0 1 0 280255260 511770624 124179 33554432000 4194304 8973514 140735306364528 140735306364024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 124944 124179 457 1167 0 123725 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 499776

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14010
/proc/meminfo: memFree=29226604/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=499776 CPUtime=1062.11 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 124289 0 0 0 105691 520 0 0 20 0 1 0 280255260 511770624 124179 33554432000 4194304 8973514 140735306364528 140735306364024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 124944 124179 457 1167 0 123725 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 499776

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14010
/proc/meminfo: memFree=29224744/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=501824 CPUtime=1122.09 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 124801 0 0 0 111657 552 0 0 20 0 1 0 280255260 513867776 124691 33554432000 4194304 8973514 140735306364528 140735306364024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 125456 124691 457 1167 0 124237 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 501824

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14010
/proc/meminfo: memFree=29223628/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=502848 CPUtime=1182.09 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 125057 0 0 0 117626 583 0 0 20 0 1 0 280255260 514916352 124947 33554432000 4194304 8973514 140735306364528 140735306364024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 125712 124947 457 1167 0 124493 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 502848

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14011
/proc/meminfo: memFree=29223380/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=502848 CPUtime=1242.08 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 125057 0 0 0 123590 618 0 0 20 0 1 0 280255260 514916352 124947 33554432000 4194304 8973514 140735306364528 140735306364024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 125712 124947 457 1167 0 124493 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 502848

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14011
/proc/meminfo: memFree=29223628/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=502848 CPUtime=1302.08 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 125057 0 0 0 129561 647 0 0 20 0 1 0 280255260 514916352 124947 33554432000 4194304 8973514 140735306364528 140735306364024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 125712 124947 457 1167 0 124493 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 502848

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14011
/proc/meminfo: memFree=29221376/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=502848 CPUtime=1362.06 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 125063 0 0 0 135524 682 0 0 20 0 1 0 280255260 514916352 124947 33554432000 4194304 8973514 140735306364528 140735306364024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 125712 124947 457 1167 0 124493 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 502848

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14011
/proc/meminfo: memFree=29220260/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=503872 CPUtime=1422.06 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 125319 0 0 0 141492 714 0 0 20 0 1 0 280255260 515964928 125203 33554432000 4194304 8973514 140735306364528 140735306364024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 125968 125203 457 1167 0 124749 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 503872

[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 14011
/proc/meminfo: memFree=29220320/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=503872 CPUtime=1482.04 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 125319 0 0 0 147458 746 0 0 20 0 1 0 280255260 515964928 125203 33554432000 4194304 8973514 140735306364528 140735306364024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 125968 125203 457 1167 0 124749 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 503872

[startup+1542.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/176 14015
/proc/meminfo: memFree=29216220/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=504896 CPUtime=1542.03 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 125575 0 0 0 153429 774 0 0 20 0 1 0 280255260 517013504 125459 33554432000 4194304 8973514 140735306364528 140735306364024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 126224 125459 457 1167 0 125005 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 504896

[startup+1602.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/175 14015
/proc/meminfo: memFree=29216352/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=504896 CPUtime=1602.02 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 125575 0 0 0 159396 806 0 0 20 0 1 0 280255260 517013504 125459 33554432000 4194304 8973514 140735306364528 140735306364024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 126224 125459 457 1167 0 125005 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 504896

[startup+1662.3 s]
/proc/loadavg: 2.12 2.07 2.02 3/175 14015
/proc/meminfo: memFree=29214492/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=504896 CPUtime=1662.02 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 125575 0 0 0 165361 841 0 0 20 0 1 0 280255260 517013504 125459 33554432000 4194304 8973514 140735306364528 140735306363792 7841851 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 126224 125459 457 1167 0 125005 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 504896

[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/175 14015
/proc/meminfo: memFree=29214616/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=504896 CPUtime=1722.01 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 125575 0 0 0 171327 874 0 0 20 0 1 0 280255260 517013504 125459 33554432000 4194304 8973514 140735306364528 140735306364024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 126224 125459 457 1167 0 125005 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 504896

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/175 14015
/proc/meminfo: memFree=29214368/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=504896 CPUtime=1782 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 125575 0 0 0 177295 905 0 0 20 0 1 0 280255260 517013504 125459 33554432000 4194304 8973514 140735306364528 140735306364024 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 126224 125459 457 1167 0 125005 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 504896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.04 2.00 3/175 14015
/proc/meminfo: memFree=29213064/32873852 swapFree=7624/7624
[pid=13938] ppid=13936 vsize=505920 CPUtime=1800.1 cores=0,2,4,6
/proc/13938/stat : 13938 (toysat) R 13936 13938 12056 0 -1 4202496 125832 0 0 0 179095 915 0 0 20 0 1 0 280255260 518062080 125715 33554432000 4194304 8973514 140735306364528 140735306363792 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/13938/statm: 126480 125715 457 1167 0 125261 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 505920

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1790.96
CPU system time (s): 9.15461
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 505920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.96
system time used= 9.15461
maximum resident set size= 502860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125832
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= 41
involuntary context switches= 1862

runsolver used 3.2915 second user time and 9.2246 second system time

The end

Launcher Data 

Begin job on node131 at 2012-05-27 19:54:58
IDJOB=3706308
IDBENCH=72287
IDSOLVER=2285
FILE ID=node131/3706308-1338141298
RUNJOBID= node131-1338120080-12072
PBS_JOBID= 14624478
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-r-cran-rodbc.cudf.paranoid.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706308-1338141298/watcher-3706308-1338141298 -o /tmp/evaluation-result-3706308-1338141298/solver-3706308-1338141298 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706308-1338141298.opb

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

MD5SUM BENCH= 61b485d2fa0a12e6ec3f5e6ce7bc808b
RANDOM SEED=479710405

node131.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		: 2666.805
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	: 5333.61
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		: 2666.805
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.91
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		: 2666.805
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		: 2666.805
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		: 2666.805
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		: 2666.805
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	: 5331.91
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		: 2666.805
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.92
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		: 2666.805
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        29436948 kB
Buffers:          329756 kB
Cached:          1806452 kB
SwapCached:         2164 kB
Active:          1012916 kB
Inactive:        1590668 kB
Active(anon):     468928 kB
Inactive(anon):      808 kB
Active(file):     543988 kB
Inactive(file):  1589860 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099040 kB
Dirty:             10884 kB
Writeback:             0 kB
AnonPages:        474036 kB
Mapped:            16072 kB
Shmem:                 0 kB
Slab:             693016 kB
SReclaimable:     135600 kB
SUnreclaim:       557416 kB
KernelStack:        1440 kB
PageTables:         4896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     589600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    448512 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= 71708 MiB
End job on node131 at 2012-05-27 20:25:00