Trace number 3706297

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

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/
10orplus/normalized-evolution-dev.cudf.paranoid.opb
MD5SUM936dd9c91ca1d73fea84b29056b5486e
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark197900
Best CPU time to get the best result obtained on this benchmark1130.86
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19789
Total number of constraints96508
Number of constraints which are clauses94939
Number of constraints which are cardinality constraints (but not clauses)1569
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 7258
Biggest coefficient in the objective function 4300
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 12732298
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 4300
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 12732298
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.39/8.41	c 2012-05-27T19:34:55+0200
8.39/8.41	c arch = x86_64
8.39/8.41	c os = linux
8.39/8.41	c compiler = ghc 7.4
8.39/8.41	c packages:
8.39/8.41	c   OptDir-0.0.1
8.39/8.41	c   array-0.4.0.0
8.39/8.41	c   base-4.5.0.0
8.39/8.41	c   bytestring-0.9.2.1
8.39/8.41	c   containers-0.4.2.1
8.39/8.41	c   deepseq-1.3.0.0
8.39/8.41	c   mtl-2.1.1
8.39/8.41	c   old_locale-1.0.0.4
8.39/8.41	c   parse_dimacs-1.2
8.39/8.41	c   parsec-3.1.2
8.39/8.41	c   queue-0.1.2
8.39/8.41	c   stm-2.3
8.39/8.41	c   time-1.4
8.39/8.41	c command line = ["--pb","HOME/instance-3706297-1338140095.opb"]
8.39/8.41	c #vars 19789
8.39/8.41	c #constraints 96508
8.39/8.41	c Solving starts ...
9.69/9.72	c solving time = 1.287s
9.69/9.72	c #decision = 75182
9.69/9.72	c #conflict = 59
9.69/9.72	c #restart = 0
9.69/9.72	o 232394
9.69/9.73	c Solving starts ...
9.89/9.96	c solving time = 0.210s
9.89/9.96	c #decision = 85019
9.89/9.96	c #conflict = 61
9.89/9.96	c #restart = 0
9.89/9.96	o 232391
9.89/9.97	c Solving starts ...
10.38/10.43	c solving time = 0.438s
10.38/10.43	c #decision = 92794
10.38/10.43	c #conflict = 63
10.38/10.43	c #restart = 0
10.38/10.43	o 232388
10.38/10.44	c Solving starts ...
10.99/11.01	c solving time = 0.549s
10.99/11.01	c #decision = 101811
10.99/11.01	c #conflict = 65
10.99/11.01	c #restart = 0
10.99/11.01	o 232386
11.08/11.10	c Solving starts ...
11.58/11.65	c solving time = 0.531s
11.58/11.65	c #decision = 109466
11.58/11.65	c #conflict = 66
11.58/11.65	c #restart = 0
11.58/11.65	o 232384
11.58/11.66	c Solving starts ...
13.58/13.63	c solving time = 1.946s
13.58/13.63	c #decision = 123279
13.58/13.63	c #conflict = 74
13.58/13.63	c #restart = 0
13.58/13.63	o 232383
13.58/13.64	c Solving starts ...
14.38/14.47	c solving time = 0.807s
14.38/14.47	c #decision = 129046
14.38/14.47	c #conflict = 75
14.38/14.47	c #restart = 0
14.38/14.47	o 232382
14.38/14.48	c Solving starts ...
17.49/17.53	c solving time = 3.032s
17.49/17.53	c #decision = 135753
17.49/17.53	c #conflict = 86
17.49/17.53	c #restart = 0
17.49/17.53	o 232381
17.49/17.54	c Solving starts ...
18.99/19.03	c solving time = 1.470s
18.99/19.03	c #decision = 139385
18.99/19.03	c #conflict = 87
18.99/19.03	c #restart = 0
18.99/19.03	o 232380
18.99/19.04	c Solving starts ...
20.48/20.59	c solving time = 1.530s
20.48/20.59	c #decision = 142962
20.48/20.59	c #conflict = 88
20.48/20.59	c #restart = 0
20.48/20.59	o 232379
20.58/20.61	c Solving starts ...
28.78/28.89	c solving time = 8.265s
28.78/28.89	c #decision = 153798
28.78/28.89	c #conflict = 134
28.78/28.89	c #restart = 0
28.78/28.89	o 232378
28.88/28.90	c Solving starts ...
30.38/30.42	c solving time = 1.505s
30.38/30.42	c #decision = 156808
30.38/30.42	c #conflict = 140
30.38/30.42	c #restart = 0
30.38/30.42	o 232377
30.38/30.44	c Solving starts ...
31.28/31.38	c solving time = 0.931s
31.28/31.38	c #decision = 159776
31.28/31.38	c #conflict = 145
31.28/31.38	c #restart = 0
31.28/31.38	o 232376
31.38/31.40	c Solving starts ...
32.18/32.21	c solving time = 0.795s
32.18/32.21	c #decision = 162740
32.18/32.21	c #conflict = 146
32.18/32.21	c #restart = 0
32.18/32.21	o 232375
32.18/32.22	c Solving starts ...
33.18/33.21	c solving time = 0.970s
33.18/33.21	c #decision = 165700
33.18/33.21	c #conflict = 147
33.18/33.21	c #restart = 0
33.18/33.21	o 232374
33.18/33.22	c Solving starts ...
34.09/34.15	c solving time = 0.913s
34.09/34.15	c #decision = 168657
34.09/34.15	c #conflict = 148
34.09/34.15	c #restart = 0
34.09/34.15	o 232373
34.09/34.16	c Solving starts ...
35.08/35.19	c solving time = 1.017s
35.08/35.19	c #decision = 171615
35.08/35.19	c #conflict = 149
35.08/35.19	c #restart = 0
35.08/35.19	o 232372
35.28/35.30	c Solving starts ...
36.29/36.35	c solving time = 1.037s
36.29/36.35	c #decision = 174573
36.29/36.35	c #conflict = 150
36.29/36.35	c #restart = 0
36.29/36.35	o 232371
36.29/36.36	c Solving starts ...
37.38/37.47	c solving time = 1.090s
37.38/37.47	c #decision = 177531
37.38/37.47	c #conflict = 151
37.38/37.47	c #restart = 0
37.38/37.47	o 232370
37.38/37.48	c Solving starts ...
38.78/38.87	c solving time = 1.372s
38.78/38.87	c #decision = 180487
38.78/38.87	c #conflict = 155
38.78/38.87	c #restart = 0
38.78/38.87	o 232369
38.78/38.88	c Solving starts ...
40.18/40.21	c solving time = 1.310s
40.18/40.21	c #decision = 183442
40.18/40.21	c #conflict = 156
40.18/40.21	c #restart = 0
40.18/40.21	o 232368
40.18/40.22	c Solving starts ...
41.57/41.60	c solving time = 1.357s
41.57/41.60	c #decision = 186400
41.57/41.60	c #conflict = 160
41.57/41.60	c #restart = 0
41.57/41.60	o 232367
41.57/41.61	c Solving starts ...
42.97/43.03	c solving time = 1.409s
42.97/43.03	c #decision = 189355
42.97/43.03	c #conflict = 161
42.97/43.03	c #restart = 0
42.97/43.03	o 232366
42.97/43.04	c Solving starts ...
44.48/44.50	c solving time = 1.443s
44.48/44.50	c #decision = 192313
44.48/44.50	c #conflict = 164
44.48/44.50	c #restart = 0
44.48/44.50	o 232365
44.48/44.52	c Solving starts ...
45.98/46.05	c solving time = 1.519s
45.98/46.05	c #decision = 195267
45.98/46.05	c #conflict = 165
45.98/46.05	c #restart = 0
45.98/46.05	o 232364
45.98/46.06	c Solving starts ...
47.57/47.62	c solving time = 1.543s
47.57/47.62	c #decision = 198221
47.57/47.62	c #conflict = 168
47.57/47.62	c #restart = 0
47.57/47.62	o 232363
47.57/47.63	c Solving starts ...
49.18/49.24	c solving time = 1.594s
49.18/49.24	c #decision = 201174
49.18/49.24	c #conflict = 169
49.18/49.24	c #restart = 0
49.18/49.24	o 232362
49.18/49.26	c Solving starts ...
50.87/50.98	c solving time = 1.706s
50.87/50.98	c #decision = 204131
50.87/50.98	c #conflict = 173
50.87/50.98	c #restart = 0
50.87/50.98	o 232361
50.97/51.09	c Solving starts ...
52.58/52.70	c solving time = 1.596s
52.58/52.70	c #decision = 207084
52.58/52.70	c #conflict = 174
52.58/52.70	c #restart = 0
52.58/52.70	o 232360
52.69/52.71	c Solving starts ...
54.47/54.51	c solving time = 1.787s
54.47/54.51	c #decision = 210039
54.47/54.51	c #conflict = 178
54.47/54.51	c #restart = 0
54.47/54.51	o 232359
54.57/54.62	c Solving starts ...
88.97/89.04	c solving time = 34.396s
88.97/89.04	c #decision = 223172
88.97/89.04	c #conflict = 344
88.97/89.04	c #restart = 1
88.97/89.04	o 228112
88.97/89.05	c Solving starts ...
91.67/91.74	c solving time = 2.676s
91.67/91.74	c #decision = 226084
91.67/91.74	c #conflict = 345
91.67/91.74	c #restart = 1
91.67/91.74	o 228111
91.77/91.85	c Solving starts ...
94.58/94.65	c solving time = 2.778s
94.58/94.65	c #decision = 229002
94.58/94.65	c #conflict = 346
94.58/94.65	c #restart = 1
94.58/94.65	o 228110
94.58/94.66	c Solving starts ...
97.67/97.74	c solving time = 3.063s
97.67/97.74	c #decision = 234178
97.67/97.74	c #conflict = 349
97.67/97.74	c #restart = 1
97.67/97.74	o 228108
97.78/97.86	c Solving starts ...
100.77/100.87	c solving time = 2.997s
100.77/100.87	c #decision = 237113
100.77/100.87	c #conflict = 350
100.77/100.87	c #restart = 1
100.77/100.87	o 228107
100.77/100.88	c Solving starts ...
103.87/103.96	c solving time = 3.064s
103.87/103.96	c #decision = 240042
103.87/103.96	c #conflict = 351
103.87/103.96	c #restart = 1
103.87/103.96	o 228106
103.87/103.98	c Solving starts ...
107.06/107.14	c solving time = 3.146s
107.06/107.14	c #decision = 245216
107.06/107.14	c #conflict = 355
107.06/107.14	c #restart = 1
107.06/107.14	o 228104
107.06/107.15	c Solving starts ...
110.27/110.35	c solving time = 3.182s
110.27/110.35	c #decision = 248142
110.27/110.35	c #conflict = 356
110.27/110.35	c #restart = 1
110.27/110.35	o 228103
110.27/110.36	c Solving starts ...
113.56/113.61	c solving time = 3.226s
113.56/113.61	c #decision = 251068
113.56/113.61	c #conflict = 357
113.56/113.61	c #restart = 1
113.56/113.61	o 228102
113.56/113.62	c Solving starts ...
116.86/116.92	c solving time = 3.285s
116.86/116.92	c #decision = 253992
116.86/116.92	c #conflict = 358
116.86/116.92	c #restart = 1
116.86/116.92	o 228101
116.86/116.93	c Solving starts ...
120.06/120.17	c solving time = 3.221s
120.06/120.17	c #decision = 256913
120.06/120.17	c #conflict = 359
120.06/120.17	c #restart = 1
120.06/120.17	o 228100
120.16/120.28	c Solving starts ...
123.47/123.57	c solving time = 3.269s
123.47/123.57	c #decision = 262077
123.47/123.57	c #conflict = 360
123.47/123.57	c #restart = 1
123.47/123.57	o 228098
123.47/123.58	c Solving starts ...
126.96/127.07	c solving time = 3.464s
126.96/127.07	c #decision = 265006
126.96/127.07	c #conflict = 361
126.96/127.07	c #restart = 1
126.96/127.07	o 228097
126.96/127.08	c Solving starts ...
131.87/131.93	c solving time = 4.831s
131.87/131.93	c #decision = 268064
131.87/131.93	c #conflict = 364
131.87/131.93	c #restart = 1
131.87/131.93	o 228096
131.87/131.94	c Solving starts ...
134.55/134.69	c solving time = 2.736s
134.55/134.69	c #decision = 271034
134.55/134.69	c #conflict = 364
134.55/134.69	c #restart = 1
134.55/134.69	o 228095
134.65/134.70	c Solving starts ...
138.96/139.03	c solving time = 4.303s
138.96/139.03	c #decision = 274080
138.96/139.03	c #conflict = 382
138.96/139.03	c #restart = 1
138.96/139.03	o 228094
138.96/139.04	c Solving starts ...
145.75/145.86	c solving time = 6.808s
145.75/145.86	c #decision = 277164
145.75/145.86	c #conflict = 403
145.75/145.86	c #restart = 1
145.75/145.86	o 228093
145.75/145.88	c Solving starts ...
148.85/148.91	c solving time = 3.016s
148.85/148.91	c #decision = 280120
148.85/148.91	c #conflict = 404
148.85/148.91	c #restart = 1
148.85/148.91	o 228092
148.85/148.92	c Solving starts ...
153.55/153.64	c solving time = 4.703s
153.55/153.64	c #decision = 283106
153.55/153.64	c #conflict = 422
153.55/153.64	c #restart = 1
153.55/153.64	o 228091
153.65/153.76	c Solving starts ...
158.75/158.83	c solving time = 5.054s
158.75/158.83	c #decision = 286075
158.75/158.83	c #conflict = 430
158.75/158.83	c #restart = 1
158.75/158.83	o 228090
158.85/158.95	c Solving starts ...
162.55/162.65	c solving time = 3.685s
162.55/162.65	c #decision = 289009
162.55/162.65	c #conflict = 431
162.55/162.65	c #restart = 1
162.55/162.65	o 228089
162.55/162.67	c Solving starts ...
166.25/166.31	c solving time = 3.622s
166.25/166.31	c #decision = 291920
166.25/166.31	c #conflict = 432
166.25/166.31	c #restart = 1
166.25/166.31	o 228088
166.25/166.32	c Solving starts ...
169.84/169.96	c solving time = 3.622s
169.84/169.96	c #decision = 294833
169.84/169.96	c #conflict = 433
169.84/169.96	c #restart = 1
169.84/169.96	o 228087
169.84/169.97	c Solving starts ...
173.55/173.70	c solving time = 3.707s
173.55/173.70	c #decision = 297744
173.55/173.70	c #conflict = 434
173.55/173.70	c #restart = 1
173.55/173.70	o 228086
173.65/173.71	c Solving starts ...
177.35/177.46	c solving time = 3.736s
177.35/177.46	c #decision = 300657
177.35/177.46	c #conflict = 435
177.35/177.46	c #restart = 1
177.35/177.46	o 228085
177.35/177.47	c Solving starts ...
181.14/181.29	c solving time = 3.792s
181.14/181.29	c #decision = 303567
181.14/181.29	c #conflict = 436
181.14/181.29	c #restart = 1
181.14/181.29	o 228084
181.24/181.30	c Solving starts ...
185.04/185.12	c solving time = 3.802s
185.04/185.12	c #decision = 306477
185.04/185.12	c #conflict = 437
185.04/185.12	c #restart = 1
185.04/185.12	o 228083
185.04/185.13	c Solving starts ...
188.95/189.05	c solving time = 3.908s
188.95/189.05	c #decision = 309388
188.95/189.05	c #conflict = 438
188.95/189.05	c #restart = 1
188.95/189.05	o 228082
188.95/189.07	c Solving starts ...
192.84/192.97	c solving time = 3.887s
192.84/192.97	c #decision = 312298
192.84/192.97	c #conflict = 439
192.84/192.97	c #restart = 1
192.84/192.97	o 228081
192.84/192.98	c Solving starts ...
196.85/196.97	c solving time = 3.969s
196.85/196.97	c #decision = 315207
196.85/196.97	c #conflict = 440
196.85/196.97	c #restart = 1
196.85/196.97	o 228080
196.85/196.98	c Solving starts ...
200.84/200.99	c solving time = 3.988s
200.84/200.99	c #decision = 318114
200.84/200.99	c #conflict = 441
200.84/200.99	c #restart = 1
200.84/200.99	o 228079
200.94/201.00	c Solving starts ...
204.95/205.07	c solving time = 4.052s
204.95/205.07	c #decision = 321021
204.95/205.07	c #conflict = 442
204.95/205.07	c #restart = 1
204.95/205.07	o 228078
204.95/205.08	c Solving starts ...
226.64/226.70	c solving time = 21.596s
226.64/226.70	c #decision = 324933
226.64/226.70	c #conflict = 501
226.64/226.70	c #restart = 1
226.64/226.70	o 228077
226.64/226.71	c Solving starts ...
230.43/230.56	c solving time = 3.834s
230.43/230.56	c #decision = 327893
230.43/230.56	c #conflict = 502
230.43/230.56	c #restart = 1
230.43/230.56	o 228076
230.43/230.58	c Solving starts ...
234.64/234.73	c solving time = 4.141s
234.64/234.73	c #decision = 330834
234.64/234.73	c #conflict = 503
234.64/234.73	c #restart = 1
234.64/234.73	o 228075
234.64/234.75	c Solving starts ...
238.84/238.98	c solving time = 4.221s
238.84/238.98	c #decision = 333769
238.84/238.98	c #conflict = 504
238.84/238.98	c #restart = 1
238.84/238.99	o 228074
238.94/239.00	c Solving starts ...
243.14/243.25	c solving time = 4.237s
243.14/243.25	c #decision = 336697
243.14/243.25	c #conflict = 505
243.14/243.25	c #restart = 1
243.14/243.25	o 228073
243.14/243.27	c Solving starts ...
247.44/247.57	c solving time = 4.285s
247.44/247.57	c #decision = 341871
247.44/247.57	c #conflict = 506
247.44/247.57	c #restart = 1
247.44/247.57	o 228069
247.44/247.58	c Solving starts ...
251.74/251.84	c solving time = 4.242s
251.74/251.84	c #decision = 344795
251.74/251.84	c #conflict = 507
251.74/251.84	c #restart = 1
251.74/251.84	o 228068
251.74/251.85	c Solving starts ...
256.03/256.16	c solving time = 4.285s
256.03/256.16	c #decision = 347719
256.03/256.16	c #conflict = 508
256.03/256.16	c #restart = 1
256.03/256.16	o 228067
256.03/256.17	c Solving starts ...
260.43/260.50	c solving time = 4.313s
260.43/260.50	c #decision = 350639
260.43/260.50	c #conflict = 509
260.43/260.50	c #restart = 1
260.43/260.50	o 228066
260.43/260.51	c Solving starts ...
264.73/264.87	c solving time = 4.340s
264.73/264.87	c #decision = 353553
264.73/264.87	c #conflict = 510
264.73/264.87	c #restart = 1
264.73/264.87	o 228065
264.73/264.88	c Solving starts ...
269.23/269.32	c solving time = 4.423s
269.23/269.32	c #decision = 356466
269.23/269.32	c #conflict = 511
269.23/269.32	c #restart = 1
269.23/269.32	o 228064
269.23/269.33	c Solving starts ...
273.74/273.89	c solving time = 4.538s
273.74/273.89	c #decision = 359380
273.74/273.89	c #conflict = 513
273.74/273.89	c #restart = 1
273.74/273.89	o 228063
273.84/273.90	c Solving starts ...
278.24/278.37	c solving time = 4.444s
278.24/278.37	c #decision = 362291
278.24/278.37	c #conflict = 514
278.24/278.37	c #restart = 1
278.24/278.37	o 228062
278.24/278.38	c Solving starts ...
282.73/282.84	c solving time = 4.444s
282.73/282.84	c #decision = 365197
282.73/282.84	c #conflict = 515
282.73/282.84	c #restart = 1
282.73/282.84	o 228061
282.73/282.85	c Solving starts ...
296.42/296.51	c solving time = 13.642s
296.42/296.51	c #decision = 368192
296.42/296.51	c #conflict = 540
296.42/296.51	c #restart = 1
296.42/296.51	o 228060
296.42/296.52	c Solving starts ...
300.92/301.02	c solving time = 4.481s
300.92/301.02	c #decision = 373354
300.92/301.02	c #conflict = 541
300.92/301.02	c #restart = 1
300.92/301.02	o 228058
300.92/301.03	c Solving starts ...
347.82/347.94	c solving time = 46.883s
347.82/347.94	c #decision = 379920
347.82/347.94	c #conflict = 629
347.82/347.94	c #restart = 1
347.82/347.94	o 223779
347.82/347.95	c Solving starts ...
352.82/352.98	c solving time = 5.008s
352.82/352.98	c #decision = 382841
352.82/352.98	c #conflict = 630
352.82/352.98	c #restart = 1
352.82/352.98	o 223778
352.82/352.99	c Solving starts ...
358.02/358.16	c solving time = 5.152s
358.02/358.16	c #decision = 385767
358.02/358.16	c #conflict = 631
358.02/358.16	c #restart = 1
358.02/358.16	o 223777
358.02/358.18	c Solving starts ...
363.12/363.28	c solving time = 5.086s
363.12/363.28	c #decision = 388690
363.12/363.28	c #conflict = 632
363.12/363.28	c #restart = 1
363.12/363.28	o 223776
363.12/363.29	c Solving starts ...
368.22/368.37	c solving time = 5.060s
368.22/368.37	c #decision = 391606
368.22/368.37	c #conflict = 633
368.22/368.37	c #restart = 1
368.22/368.37	o 223775
368.22/368.38	c Solving starts ...
373.52/373.62	c solving time = 5.217s
373.52/373.62	c #decision = 394517
373.52/373.62	c #conflict = 634
373.52/373.62	c #restart = 1
373.52/373.62	o 223774
373.52/373.63	c Solving starts ...
378.72/378.84	c solving time = 5.189s
378.72/378.84	c #decision = 397430
378.72/378.84	c #conflict = 635
378.72/378.84	c #restart = 1
378.72/378.84	o 223773
378.72/378.85	c Solving starts ...
384.02/384.17	c solving time = 5.300s
384.02/384.17	c #decision = 400339
384.02/384.17	c #conflict = 636
384.02/384.17	c #restart = 1
384.02/384.17	o 223772
384.02/384.18	c Solving starts ...
389.42/389.50	c solving time = 5.301s
389.42/389.50	c #decision = 403251
389.42/389.50	c #conflict = 637
389.42/389.50	c #restart = 1
389.42/389.50	o 223771
389.52/389.65	c Solving starts ...
394.73/394.90	c solving time = 5.228s
394.73/394.90	c #decision = 406160
394.73/394.90	c #conflict = 638
394.73/394.90	c #restart = 1
394.73/394.90	o 223770
394.83/394.91	c Solving starts ...
400.11/400.28	c solving time = 5.350s
400.11/400.28	c #decision = 409072
400.11/400.28	c #conflict = 639
400.11/400.28	c #restart = 1
400.11/400.28	o 223769
400.11/400.29	c Solving starts ...
405.50/405.63	c solving time = 5.321s
405.50/405.63	c #decision = 411980
405.50/405.63	c #conflict = 640
405.50/405.63	c #restart = 1
405.50/405.63	o 223768
405.50/405.64	c Solving starts ...
410.91/411.09	c solving time = 5.429s
410.91/411.09	c #decision = 414891
410.91/411.09	c #conflict = 641
410.91/411.09	c #restart = 1
410.91/411.09	o 223767
411.01/411.10	c Solving starts ...
416.41/416.54	c solving time = 5.423s
416.41/416.54	c #decision = 417798
416.41/416.54	c #conflict = 642
416.41/416.54	c #restart = 1
416.41/416.54	o 223766
416.41/416.56	c Solving starts ...
423.01/423.16	c solving time = 6.577s
423.01/423.16	c #decision = 423013
423.01/423.16	c #conflict = 643
423.01/423.16	c #restart = 1
423.01/423.16	o 223764
423.01/423.17	c Solving starts ...
428.20/428.30	c solving time = 5.118s
428.20/428.30	c #decision = 425966
428.20/428.30	c #conflict = 647
428.20/428.30	c #restart = 1
428.20/428.31	o 223763
428.20/428.32	c Solving starts ...
433.40/433.57	c solving time = 5.240s
433.40/433.57	c #decision = 428914
433.40/433.57	c #conflict = 651
433.40/433.57	c #restart = 1
433.40/433.57	o 223762
433.40/433.59	c Solving starts ...
447.39/447.52	c solving time = 13.911s
447.39/447.52	c #decision = 431945
447.39/447.52	c #conflict = 673
447.39/447.52	c #restart = 1
447.39/447.52	o 223761
447.39/447.53	c Solving starts ...
452.50/452.60	c solving time = 5.049s
452.50/452.60	c #decision = 434862
452.50/452.60	c #conflict = 674
452.50/452.60	c #restart = 1
452.50/452.60	o 223760
452.50/452.61	c Solving starts ...
457.79/457.91	c solving time = 5.272s
457.79/457.91	c #decision = 437778
457.79/457.91	c #conflict = 675
457.79/457.91	c #restart = 1
457.79/457.91	o 223759
457.79/457.92	c Solving starts ...
464.19/464.37	c solving time = 6.436s
464.19/464.37	c #decision = 440707
464.19/464.37	c #conflict = 678
464.19/464.37	c #restart = 1
464.19/464.37	o 223758
464.19/464.38	c Solving starts ...
469.68/469.89	c solving time = 5.492s
469.68/469.89	c #decision = 443619
469.68/469.89	c #conflict = 679
469.68/469.89	c #restart = 1
469.68/469.89	o 223757
469.78/469.91	c Solving starts ...
619.96/620.13	c solving time = 150.185s
619.96/620.13	c #decision = 447474
619.96/620.13	c #conflict = 936
619.96/620.13	c #restart = 3
619.96/620.13	o 223756
619.96/620.14	c Solving starts ...
627.36/627.55	c solving time = 7.387s
627.36/627.55	c #decision = 450413
627.36/627.55	c #conflict = 942
627.36/627.55	c #restart = 3
627.36/627.55	o 223755
627.36/627.56	c Solving starts ...
632.96/633.19	c solving time = 5.610s
632.96/633.19	c #decision = 453336
632.96/633.19	c #conflict = 943
632.96/633.19	c #restart = 3
632.96/633.19	o 223754
633.06/633.21	c Solving starts ...
638.87/639.09	c solving time = 5.866s
638.87/639.09	c #decision = 456260
638.87/639.09	c #conflict = 944
638.87/639.09	c #restart = 3
638.87/639.09	o 223753
638.97/639.10	c Solving starts ...
644.66/644.81	c solving time = 5.690s
644.66/644.81	c #decision = 459183
644.66/644.81	c #conflict = 945
644.66/644.81	c #restart = 3
644.66/644.81	o 223752
644.66/644.82	c Solving starts ...
650.35/650.53	c solving time = 5.683s
650.35/650.53	c #decision = 462104
650.35/650.53	c #conflict = 946
650.35/650.53	c #restart = 3
650.35/650.53	o 223751
650.35/650.54	c Solving starts ...
671.46/671.60	c solving time = 21.041s
671.46/671.60	c #decision = 465116
671.46/671.60	c #conflict = 954
671.46/671.60	c #restart = 3
671.46/671.60	o 223750
671.46/671.61	c Solving starts ...
685.06/685.25	c solving time = 13.615s
685.06/685.25	c #decision = 468067
685.06/685.25	c #conflict = 965
685.06/685.25	c #restart = 3
685.06/685.25	o 223749
685.06/685.26	c Solving starts ...
767.24/767.40	c solving time = 82.108s
767.24/767.40	c #decision = 471475
767.24/767.40	c #conflict = 1076
767.24/767.40	c #restart = 4
767.24/767.40	o 223748
767.24/767.41	c Solving starts ...
890.12/890.38	c solving time = 122.924s
890.12/890.38	c #decision = 499291
890.12/890.38	c #conflict = 1193
890.12/890.38	c #restart = 5
890.12/890.38	o 219557
890.12/890.39	c Solving starts ...
899.52/899.72	c solving time = 9.305s
899.52/899.72	c #decision = 502194
899.52/899.72	c #conflict = 1194
899.52/899.72	c #restart = 5
899.52/899.72	o 219556
899.52/899.73	c Solving starts ...
909.81/910.03	c solving time = 10.280s
909.81/910.03	c #decision = 505109
909.81/910.03	c #conflict = 1195
909.81/910.03	c #restart = 5
909.81/910.03	o 219555
909.81/910.04	c Solving starts ...
921.42/921.60	c solving time = 11.534s
921.42/921.60	c #decision = 508048
921.42/921.60	c #conflict = 1197
921.42/921.60	c #restart = 5
921.42/921.60	o 219554
921.42/921.61	c Solving starts ...
934.30/934.53	c solving time = 12.889s
934.30/934.53	c #decision = 522320
934.30/934.53	c #conflict = 1215
934.30/934.53	c #restart = 5
934.30/934.53	o 219553
934.30/934.54	c Solving starts ...
944.72/944.95	c solving time = 10.390s
944.72/944.95	c #decision = 525239
944.72/944.95	c #conflict = 1216
944.72/944.95	c #restart = 5
944.72/944.95	o 219552
944.72/944.96	c Solving starts ...
955.00/955.21	c solving time = 10.227s
955.00/955.21	c #decision = 528156
955.00/955.21	c #conflict = 1217
955.00/955.21	c #restart = 5
955.00/955.21	o 219551
955.00/955.22	c Solving starts ...
965.70/965.91	c solving time = 10.667s
965.70/965.91	c #decision = 531074
965.70/965.91	c #conflict = 1218
965.70/965.91	c #restart = 5
965.70/965.91	o 219550
965.70/965.92	c Solving starts ...
976.00/976.27	c solving time = 10.325s
976.00/976.27	c #decision = 533990
976.00/976.27	c #conflict = 1219
976.00/976.27	c #restart = 5
976.00/976.27	o 219549
976.00/976.28	c Solving starts ...
986.80/987.02	c solving time = 10.717s
986.80/987.02	c #decision = 536905
986.80/987.02	c #conflict = 1220
986.80/987.02	c #restart = 5
986.80/987.02	o 219548
986.80/987.03	c Solving starts ...
997.30/997.56	c solving time = 10.506s
997.30/997.56	c #decision = 539822
997.30/997.56	c #conflict = 1221
997.30/997.56	c #restart = 5
997.30/997.56	o 219547
997.30/997.57	c Solving starts ...
1008.00/1008.22	c solving time = 10.623s
1008.00/1008.22	c #decision = 542744
1008.00/1008.22	c #conflict = 1222
1008.00/1008.22	c #restart = 5
1008.00/1008.22	o 219546
1008.00/1008.23	c Solving starts ...
1024.70/1024.92	c solving time = 16.663s
1024.70/1024.92	c #decision = 545668
1024.70/1024.92	c #conflict = 1227
1024.70/1024.92	c #restart = 5
1024.70/1024.92	o 219545
1024.70/1024.93	c Solving starts ...
1036.00/1036.26	c solving time = 11.309s
1036.00/1036.26	c #decision = 548596
1036.00/1036.26	c #conflict = 1230
1036.00/1036.26	c #restart = 5
1036.00/1036.26	o 219544
1036.00/1036.27	c Solving starts ...
1054.09/1054.33	c solving time = 18.040s
1054.09/1054.33	c #decision = 551521
1054.09/1054.33	c #conflict = 1236
1054.09/1054.33	c #restart = 5
1054.09/1054.33	o 219543
1054.09/1054.35	c Solving starts ...
1064.79/1065.00	c solving time = 10.635s
1064.79/1065.00	c #decision = 554444
1064.79/1065.00	c #conflict = 1237
1064.79/1065.00	c #restart = 5
1064.79/1065.00	o 219542
1064.79/1065.02	c Solving starts ...
1079.89/1080.16	c solving time = 15.118s
1079.89/1080.16	c #decision = 557371
1079.89/1080.16	c #conflict = 1241
1079.89/1080.16	c #restart = 5
1079.89/1080.16	o 219541
1079.89/1080.17	c Solving starts ...
1090.89/1091.20	c solving time = 11.006s
1090.89/1091.20	c #decision = 560287
1090.89/1091.20	c #conflict = 1242
1090.89/1091.20	c #restart = 5
1090.89/1091.20	o 219540
1090.99/1091.21	c Solving starts ...
1101.79/1102.02	c solving time = 10.793s
1101.79/1102.02	c #decision = 565476
1101.79/1102.02	c #conflict = 1243
1101.79/1102.02	c #restart = 5
1101.79/1102.02	o 219536
1101.79/1102.04	c Solving starts ...
1118.49/1118.71	c solving time = 16.646s
1118.49/1118.71	c #decision = 568391
1118.49/1118.71	c #conflict = 1248
1118.49/1118.71	c #restart = 5
1118.49/1118.71	o 219535
1118.49/1118.72	c Solving starts ...
1129.18/1129.49	c solving time = 10.751s
1129.18/1129.49	c #decision = 571306
1129.18/1129.49	c #conflict = 1250
1129.18/1129.49	c #restart = 5
1129.18/1129.49	o 219534
1129.28/1129.50	c Solving starts ...
1146.08/1146.33	c solving time = 16.802s
1146.08/1146.33	c #decision = 574234
1146.08/1146.33	c #conflict = 1256
1146.08/1146.33	c #restart = 5
1146.08/1146.33	o 219533
1146.08/1146.34	c Solving starts ...
1157.08/1157.32	c solving time = 10.953s
1157.08/1157.32	c #decision = 577147
1157.08/1157.32	c #conflict = 1257
1157.08/1157.32	c #restart = 5
1157.08/1157.32	o 219532
1157.08/1157.33	c Solving starts ...
1168.28/1168.52	c solving time = 11.170s
1168.28/1168.52	c #decision = 580058
1168.28/1168.52	c #conflict = 1258
1168.28/1168.52	c #restart = 5
1168.28/1168.52	o 219531
1168.28/1168.53	c Solving starts ...
1179.17/1179.44	c solving time = 10.886s
1179.17/1179.44	c #decision = 582970
1179.17/1179.44	c #conflict = 1259
1179.17/1179.44	c #restart = 5
1179.17/1179.44	o 219530
1179.17/1179.45	c Solving starts ...
1190.07/1190.37	c solving time = 10.891s
1190.07/1190.37	c #decision = 585884
1190.07/1190.37	c #conflict = 1260
1190.07/1190.37	c #restart = 5
1190.07/1190.37	o 219529
1190.07/1190.38	c Solving starts ...
1203.76/1204.01	c solving time = 13.615s
1203.76/1204.01	c #decision = 591108
1203.76/1204.01	c #conflict = 1262
1203.76/1204.01	c #restart = 5
1203.76/1204.02	o 219481
1203.76/1204.03	c Solving starts ...
1211.87/1212.13	c solving time = 8.074s
1211.87/1212.13	c #decision = 596296
1211.87/1212.13	c #conflict = 1265
1211.87/1212.13	c #restart = 5
1211.87/1212.13	o 219478
1211.87/1212.14	c Solving starts ...
1222.06/1222.30	c solving time = 10.142s
1222.06/1222.30	c #decision = 599225
1222.06/1222.30	c #conflict = 1270
1222.06/1222.30	c #restart = 5
1222.06/1222.30	o 219477
1222.06/1222.31	c Solving starts ...
1229.96/1230.22	c solving time = 7.888s
1229.96/1230.22	c #decision = 602149
1229.96/1230.22	c #conflict = 1271
1229.96/1230.22	c #restart = 5
1229.96/1230.22	o 219476
1229.96/1230.23	c Solving starts ...
1237.96/1238.24	c solving time = 7.988s
1237.96/1238.24	c #decision = 605077
1237.96/1238.24	c #conflict = 1274
1237.96/1238.24	c #restart = 5
1237.96/1238.24	o 219475
1237.96/1238.25	c Solving starts ...
1248.55/1248.85	c solving time = 10.579s
1248.55/1248.85	c #decision = 608005
1248.55/1248.85	c #conflict = 1279
1248.55/1248.85	c #restart = 5
1248.55/1248.85	o 219474
1248.55/1248.87	c Solving starts ...
1256.55/1256.88	c solving time = 7.998s
1256.55/1256.88	c #decision = 610928
1256.55/1256.88	c #conflict = 1280
1256.55/1256.88	c #restart = 5
1256.55/1256.89	o 219473
1256.66/1256.90	c Solving starts ...
1268.65/1268.99	c solving time = 12.076s
1268.65/1268.99	c #decision = 613897
1268.65/1268.99	c #conflict = 1284
1268.65/1268.99	c #restart = 5
1268.65/1268.99	o 219472
1268.75/1269.01	c Solving starts ...
1294.05/1294.34	c solving time = 25.310s
1294.05/1294.34	c #decision = 619245
1294.05/1294.34	c #conflict = 1301
1294.05/1294.34	c #restart = 5
1294.05/1294.34	o 219470
1294.05/1294.35	c Solving starts ...
1301.85/1302.12	c solving time = 7.752s
1301.85/1302.12	c #decision = 622166
1301.85/1302.12	c #conflict = 1302
1301.85/1302.12	c #restart = 5
1301.85/1302.12	o 219469
1301.85/1302.14	c Solving starts ...
1309.76/1310.02	c solving time = 7.861s
1309.76/1310.02	c #decision = 625088
1309.76/1310.02	c #conflict = 1303
1309.76/1310.02	c #restart = 5
1309.76/1310.02	o 219468
1309.76/1310.03	c Solving starts ...
1317.56/1317.87	c solving time = 7.817s
1317.56/1317.87	c #decision = 628006
1317.56/1317.87	c #conflict = 1304
1317.56/1317.87	c #restart = 5
1317.56/1317.87	o 219467
1317.56/1317.88	c Solving starts ...
1327.05/1327.37	c solving time = 9.467s
1327.05/1327.37	c #decision = 630927
1327.05/1327.37	c #conflict = 1309
1327.05/1327.37	c #restart = 5
1327.05/1327.37	o 219466
1327.05/1327.38	c Solving starts ...
1384.64/1384.94	c solving time = 57.532s
1384.64/1384.94	c #decision = 634306
1384.64/1384.94	c #conflict = 1378
1384.64/1384.94	c #restart = 5
1384.64/1384.94	o 219465
1384.64/1384.95	c Solving starts ...
1392.34/1392.64	c solving time = 7.671s
1392.34/1392.64	c #decision = 637289
1392.34/1392.64	c #conflict = 1383
1392.34/1392.64	c #restart = 5
1392.34/1392.64	o 219464
1392.34/1392.65	c Solving starts ...
1399.63/1399.91	c solving time = 7.236s
1399.63/1399.91	c #decision = 640262
1399.63/1399.91	c #conflict = 1384
1399.63/1399.91	c #restart = 5
1399.63/1399.91	o 219463
1399.63/1399.92	c Solving starts ...
1408.13/1408.47	c solving time = 8.532s
1408.13/1408.47	c #decision = 643219
1408.13/1408.47	c #conflict = 1389
1408.13/1408.47	c #restart = 5
1408.13/1408.47	o 219462
1408.13/1408.48	c Solving starts ...
1416.93/1417.27	c solving time = 8.772s
1416.93/1417.27	c #decision = 646175
1416.93/1417.27	c #conflict = 1395
1416.93/1417.27	c #restart = 5
1416.93/1417.27	o 219461
1416.93/1417.28	c Solving starts ...
1434.42/1434.75	c solving time = 17.447s
1434.42/1434.75	c #decision = 649255
1434.42/1434.75	c #conflict = 1410
1434.42/1434.75	c #restart = 5
1434.42/1434.75	o 219460
1434.42/1434.76	c Solving starts ...
1444.92/1445.28	c solving time = 10.491s
1444.92/1445.28	c #decision = 652231
1444.92/1445.28	c #conflict = 1414
1444.92/1445.28	c #restart = 5
1444.92/1445.28	o 219459
1444.92/1445.29	c Solving starts ...
1453.72/1454.05	c solving time = 8.745s
1453.72/1454.05	c #decision = 655193
1453.72/1454.05	c #conflict = 1421
1453.72/1454.05	c #restart = 5
1453.72/1454.05	o 219458
1453.72/1454.07	c Solving starts ...
1461.72/1462.02	c solving time = 7.938s
1461.72/1462.02	c #decision = 658135
1461.72/1462.02	c #conflict = 1422
1461.72/1462.02	c #restart = 5
1461.72/1462.02	o 219457
1461.72/1462.04	c Solving starts ...
1471.32/1471.62	c solving time = 9.568s
1471.32/1471.62	c #decision = 661084
1471.32/1471.62	c #conflict = 1429
1471.32/1471.62	c #restart = 5
1471.32/1471.62	o 219456
1471.32/1471.64	c Solving starts ...
1479.23/1479.57	c solving time = 7.912s
1479.23/1479.57	c #decision = 664011
1479.23/1479.57	c #conflict = 1430
1479.23/1479.57	c #restart = 5
1479.23/1479.57	o 219455
1479.23/1479.58	c Solving starts ...
1488.03/1488.35	c solving time = 8.745s
1488.03/1488.35	c #decision = 666945
1488.03/1488.35	c #conflict = 1434
1488.03/1488.35	c #restart = 5
1488.03/1488.35	o 219454
1488.03/1488.36	c Solving starts ...
1496.02/1496.32	c solving time = 7.939s
1496.02/1496.32	c #decision = 669871
1496.02/1496.32	c #conflict = 1435
1496.02/1496.32	c #restart = 5
1496.02/1496.32	o 219453
1496.02/1496.33	c Solving starts ...
1505.02/1505.31	c solving time = 8.960s
1505.02/1505.31	c #decision = 672805
1505.02/1505.31	c #conflict = 1439
1505.02/1505.31	c #restart = 5
1505.02/1505.31	o 219452
1505.02/1505.32	c Solving starts ...
1512.51/1512.86	c solving time = 7.520s
1512.51/1512.86	c #decision = 675728
1512.51/1512.86	c #conflict = 1440
1512.51/1512.86	c #restart = 5
1512.51/1512.86	o 219451
1512.51/1512.87	c Solving starts ...
1521.52/1521.84	c solving time = 8.944s
1521.52/1521.84	c #decision = 678661
1521.52/1521.84	c #conflict = 1444
1521.52/1521.84	c #restart = 5
1521.52/1521.84	o 219450
1521.52/1521.85	c Solving starts ...
1529.11/1529.42	c solving time = 7.556s
1529.11/1529.42	c #decision = 681584
1529.11/1529.42	c #conflict = 1445
1529.11/1529.42	c #restart = 5
1529.11/1529.42	o 219449
1529.11/1529.44	c Solving starts ...
1538.32/1538.65	c solving time = 9.190s
1538.32/1538.65	c #decision = 686775
1538.32/1538.65	c #conflict = 1449
1538.32/1538.65	c #restart = 5
1538.32/1538.65	o 219447
1538.32/1538.66	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-3706297-1338140095/watcher-3706297-1338140095 -o /tmp/evaluation-result-3706297-1338140095/solver-3706297-1338140095 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706297-1338140095.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 2.00 3/176 22904
/proc/meminfo: memFree=27089352/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 793 0 0 0 0 0 0 0 20 0 1 0 280138114 6356992 713 33554432000 4194304 8973514 140734348758560 140733431401656 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 1552 713 411 1167 0 333 0

[startup+0.0122221 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 22904
/proc/meminfo: memFree=27089352/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 967 0 0 0 0 0 0 0 20 0 1 0 280138114 7405568 887 33554432000 4194304 8973514 140734348758560 140733431401656 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 1808 892 411 1167 0 589 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7232

[startup+0.100262 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 22904
/proc/meminfo: memFree=27089352/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 2356 0 0 0 9 0 0 0 20 0 1 0 280138114 12648448 2276 33554432000 4194304 8973514 140734348758560 140733431401656 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 3088 2276 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.300304 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 22904
/proc/meminfo: memFree=27089352/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=25664 CPUtime=0.28 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 5527 0 0 0 28 0 0 0 20 0 1 0 280138114 26279936 5447 33554432000 4194304 8973514 140734348758560 140733431401656 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 6416 5453 418 1167 0 5197 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 25664

[startup+0.700265 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 22904
/proc/meminfo: memFree=27089352/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=47168 CPUtime=0.69 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 11060 0 0 0 67 2 0 0 20 0 1 0 280138114 48300032 10980 33554432000 4194304 8973514 140734348758560 140734348757824 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 11792 10980 418 1167 0 10573 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47168

[startup+1.50028 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22905
/proc/meminfo: memFree=27032668/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=109632 CPUtime=1.49 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 26676 0 0 0 144 5 0 0 20 0 1 0 280138114 112263168 26596 33554432000 4194304 8973514 140734348758560 140734348757824 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 27408 26596 418 1167 0 26189 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 109632

[startup+3.10022 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22905
/proc/meminfo: memFree=26955276/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=138304 CPUtime=3.08 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 33865 0 0 0 302 6 0 0 20 0 1 0 280138114 141623296 33785 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 34576 33785 433 1167 0 33357 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 138304

[startup+6.30023 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22905
/proc/meminfo: memFree=26954160/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=138304 CPUtime=6.29 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 33865 0 0 0 621 8 0 0 20 0 1 0 280138114 141623296 33785 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 34576 33785 433 1167 0 33357 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 138304

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22905
/proc/meminfo: memFree=26954044/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=138304 CPUtime=12.69 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 33889 0 0 0 1259 10 0 0 20 0 1 0 280138114 141623296 33809 33554432000 4194304 8973514 140734348758560 140734348757824 4209272 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 34576 33809 457 1167 0 33357 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 138304

[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 22905
/proc/meminfo: memFree=26943604/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=145472 CPUtime=25.48 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 35687 0 0 0 2533 15 0 0 20 0 1 0 280138114 148963328 35601 33554432000 4194304 8973514 140734348758560 140734348758056 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 36368 35601 457 1167 0 35149 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 145472

[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 22905
/proc/meminfo: memFree=26905132/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=180288 CPUtime=51.07 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 44224 0 0 0 5080 27 0 0 20 0 1 0 280138114 184614912 44136 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 45072 44136 457 1167 0 43853 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 180288

[startup+102.307 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 22905
/proc/meminfo: memFree=26871572/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=201792 CPUtime=102.27 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 49771 0 0 0 10173 54 0 0 20 0 1 0 280138114 206635008 49681 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 50448 49681 457 1167 0 49229 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 201792

[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 22905
/proc/meminfo: memFree=26839760/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=231488 CPUtime=162.25 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 57203 0 0 0 16139 86 0 0 20 0 1 0 280138114 237043712 57105 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 57872 57105 457 1167 0 56653 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 231488

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 22905
/proc/meminfo: memFree=26803056/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=262208 CPUtime=222.24 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 64884 0 0 0 22107 117 0 0 20 0 1 0 280138114 268500992 64786 33554432000 4194304 8973514 140734348758560 140734348757824 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 65552 64786 457 1167 0 64333 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 262208

[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 22905
/proc/meminfo: memFree=26761916/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=290880 CPUtime=282.23 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 72052 0 0 0 28076 147 0 0 20 0 1 0 280138114 297861120 71954 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 72720 71954 457 1167 0 71501 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 290880

[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 22909
/proc/meminfo: memFree=26739588/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=299072 CPUtime=342.22 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 74100 0 0 0 34045 177 0 0 20 0 1 0 280138114 306249728 74002 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 74768 74002 457 1167 0 73549 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 299072

[startup+402.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/177 22909
/proc/meminfo: memFree=26716208/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=322624 CPUtime=402.21 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 79993 0 0 0 40012 209 0 0 20 0 1 0 280138114 330366976 79890 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 80656 79890 457 1167 0 79437 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 322624

[startup+462.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 22909
/proc/meminfo: memFree=26697636/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=341056 CPUtime=462.19 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 84614 0 0 0 45975 244 0 0 20 0 1 0 280138114 349241344 84498 33554432000 4194304 8973514 140734348758560 140734348757824 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 85264 84498 457 1167 0 84045 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 341056

[startup+522.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/176 22909
/proc/meminfo: memFree=26687224/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=349248 CPUtime=522.18 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 86664 0 0 0 51938 280 0 0 20 0 1 0 280138114 357629952 86546 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 87312 86546 457 1167 0 86093 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 349248

[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 22910
/proc/meminfo: memFree=26678824/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=352320 CPUtime=582.17 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 87432 0 0 0 57903 314 0 0 20 0 1 0 280138114 360775680 87314 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 88080 87314 457 1167 0 86861 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 352320

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22911
/proc/meminfo: memFree=26654108/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=373824 CPUtime=822.12 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 92814 0 0 0 81781 431 0 0 20 0 1 0 280138114 382795776 92690 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 93456 92690 457 1167 0 92237 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 373824

[startup+882.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 22911
/proc/meminfo: memFree=26654232/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=373824 CPUtime=882.12 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 92814 0 0 0 87747 465 0 0 20 0 1 0 280138114 382795776 92690 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 93456 92690 457 1167 0 92237 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 373824

[startup+942.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 22915
/proc/meminfo: memFree=26642196/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=385088 CPUtime=942.1 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 95630 0 0 0 93711 499 0 0 20 0 1 0 280138114 394330112 95506 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 96272 95506 457 1167 0 95053 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 385088

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22915
/proc/meminfo: memFree=26628748/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=398400 CPUtime=1002.1 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 98958 0 0 0 99677 533 0 0 20 0 1 0 280138114 407961600 98834 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 99600 98834 457 1167 0 98381 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 398400

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22915
/proc/meminfo: memFree=26619696/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=407616 CPUtime=1062.09 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 101262 0 0 0 105647 562 0 0 20 0 1 0 280138114 417398784 101138 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 101904 101138 457 1167 0 100685 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 407616

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22915
/proc/meminfo: memFree=26607544/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=419904 CPUtime=1122.08 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 104334 0 0 0 111618 590 0 0 20 0 1 0 280138114 429981696 104210 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 104976 104210 457 1167 0 103757 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 419904

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22915
/proc/meminfo: memFree=26597248/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=430144 CPUtime=1182.08 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 106894 0 0 0 117587 621 0 0 20 0 1 0 280138114 440467456 106770 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 107536 106770 457 1167 0 106317 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 430144

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22916
/proc/meminfo: memFree=26586036/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=441408 CPUtime=1242.06 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 109715 0 0 0 123551 655 0 0 20 0 1 0 280138114 452001792 109586 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 110352 109586 457 1167 0 109133 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 441408

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22916
/proc/meminfo: memFree=26576860/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=450624 CPUtime=1302.05 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 112019 0 0 0 129519 686 0 0 20 0 1 0 280138114 461438976 111890 33554432000 4194304 8973514 140734348758560 140734348758056 4434648 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 112656 111890 457 1167 0 111437 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 450624

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22955
/proc/meminfo: memFree=26687128/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=459840 CPUtime=1362.04 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 114323 0 0 0 135485 719 0 0 20 0 1 0 280138114 470876160 114194 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 114960 114194 457 1167 0 113741 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 459840

[startup+1422.31 s]
/proc/loadavg: 2.07 2.03 2.01 3/177 22955
/proc/meminfo: memFree=26685764/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=459840 CPUtime=1422.03 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 114323 0 0 0 141452 751 0 0 20 0 1 0 280138114 470876160 114194 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 114960 114194 457 1167 0 113741 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 459840

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 22955
/proc/meminfo: memFree=26659352/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=483392 CPUtime=1482.02 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 120211 0 0 0 147417 785 0 0 20 0 1 0 280138114 494993408 120082 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 120848 120082 457 1167 0 119629 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 483392

[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 22959
/proc/meminfo: memFree=26640992/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=500800 CPUtime=1542.01 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 124563 0 0 0 153387 814 0 0 20 0 1 0 280138114 512819200 124434 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 125200 124434 457 1167 0 123981 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 500800

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 22982
/proc/meminfo: memFree=26638944/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=500800 CPUtime=1602 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 124563 0 0 0 159354 846 0 0 20 0 1 0 280138114 512819200 124434 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 125200 124434 457 1167 0 123981 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 500800

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22982
/proc/meminfo: memFree=26634968/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=503872 CPUtime=1661.98 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 125339 0 0 0 165317 881 0 0 20 0 1 0 280138114 515964928 125202 33554432000 4194304 8973514 140734348758560 140734348757824 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 125968 125202 457 1167 0 124749 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 503872

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22982
/proc/meminfo: memFree=26634064/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=503872 CPUtime=1721.98 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 125339 0 0 0 171284 914 0 0 20 0 1 0 280138114 515964928 125202 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 125968 125202 457 1167 0 124749 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 503872

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22982
/proc/meminfo: memFree=26633568/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=503872 CPUtime=1781.97 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 125339 0 0 0 177248 949 0 0 20 0 1 0 280138114 515964928 125202 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 125968 125202 457 1167 0 124749 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 503872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22982
/proc/meminfo: memFree=26633940/32873844 swapFree=6088/6088
[pid=22904] ppid=22902 vsize=503872 CPUtime=1800.07 cores=1,3,5,7
/proc/22904/stat : 22904 (toysat) R 22902 22904 21557 0 -1 4202496 125339 0 0 0 179048 959 0 0 20 0 1 0 280138114 515964928 125202 33554432000 4194304 8973514 140734348758560 140734348758056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22904/statm: 125968 125202 457 1167 0 124749 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 503872

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.09
CPU user time (s): 1790.49
CPU system time (s): 9.59954
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 503872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.49
system time used= 9.59954
maximum resident set size= 500808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125339
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= 60
involuntary context switches= 1860

runsolver used 3.35049 second user time and 9.80551 second system time

The end

Launcher Data

Begin job on node108 at 2012-05-27 19:34:55
IDJOB=3706297
IDBENCH=72232
IDSOLVER=2285
FILE ID=node108/3706297-1338140095
RUNJOBID= node108-1338123392-21574
PBS_JOBID= 14624499
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/10orplus/normalized-evolution-dev.cudf.paranoid.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706297-1338140095/watcher-3706297-1338140095 -o /tmp/evaluation-result-3706297-1338140095/solver-3706297-1338140095 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706297-1338140095.opb

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

MD5SUM BENCH= 936dd9c91ca1d73fea84b29056b5486e
RANDOM SEED=1527837938

node108.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.273
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	: 5332.54
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.273
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.273
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.273
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.273
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.273
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.55
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.273
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.90
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.273
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:        27089360 kB
Buffers:          312160 kB
Cached:          4562956 kB
SwapCached:            0 kB
Active:           756536 kB
Inactive:        4233672 kB
Active(anon):     114124 kB
Inactive(anon):        0 kB
Active(file):     642412 kB
Inactive(file):  4233672 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             10564 kB
Writeback:             0 kB
AnonPages:        117404 kB
Mapped:            16228 kB
Shmem:               200 kB
Slab:             655820 kB
SReclaimable:      97980 kB
SUnreclaim:       557840 kB
KernelStack:        1456 kB
PageTables:         4088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     222544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     94208 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 node108 at 2012-05-27 20:04:56