Trace number 3724682

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-06-01? (TO) 1800.1 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/
datasets/9orless/normalized-tasque.cudf.paranoid.opb
MD5SUMff7cf51d59681038e9bd685a258479a5
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark141990
Best CPU time to get the best result obtained on this benchmark629.259
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19778
Total number of constraints96489
Number of constraints which are clauses94924
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 7257
Biggest coefficient in the objective function 4299
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 12729337
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 4299
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 12729337
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.21	c 2012-06-02T14:41:28+0200
8.19/8.21	c arch = x86_64
8.19/8.21	c os = linux
8.19/8.21	c compiler = ghc 7.4
8.19/8.21	c packages:
8.19/8.21	c   OptDir-0.0.1
8.19/8.21	c   array-0.4.0.0
8.19/8.21	c   base-4.5.0.0
8.19/8.21	c   bytestring-0.9.2.1
8.19/8.21	c   containers-0.4.2.1
8.19/8.21	c   deepseq-1.3.0.0
8.19/8.21	c   mtl-2.1.1
8.19/8.21	c   old_locale-1.0.0.4
8.19/8.21	c   parse_dimacs-1.2
8.19/8.21	c   parsec-3.1.2
8.19/8.21	c   queue-0.1.2
8.19/8.21	c   stm-2.3
8.19/8.21	c   time-1.4
8.19/8.21	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724682-1338640888.opb"]
8.19/8.21	c #vars 19778
8.19/8.21	c #constraints 96489
8.19/8.21	c Solving starts ...
9.59/9.60	c solving time = 1.382s
9.59/9.60	c #decision = 118944
9.59/9.60	c #conflict = 77
9.59/9.60	c #restart = 0
9.59/9.60	o 180757
9.59/9.62	c Solving starts ...
9.99/10.04	c solving time = 0.403s
9.99/10.04	c #decision = 131670
9.99/10.04	c #conflict = 91
9.99/10.04	c #restart = 0
9.99/10.04	o 180756
9.99/10.05	c Solving starts ...
10.38/10.46	c solving time = 0.397s
10.38/10.46	c #decision = 138895
10.38/10.46	c #conflict = 92
10.38/10.46	c #restart = 0
10.38/10.46	o 180754
10.38/10.48	c Solving starts ...
10.99/11.03	c solving time = 0.535s
10.99/11.03	c #decision = 147297
10.99/11.03	c #conflict = 95
10.99/11.03	c #restart = 0
10.99/11.03	o 180752
11.08/11.10	c Solving starts ...
11.28/11.39	c solving time = 0.274s
11.28/11.39	c #decision = 152586
11.28/11.39	c #conflict = 95
11.28/11.39	c #restart = 0
11.28/11.39	o 180751
11.38/11.40	c Solving starts ...
11.88/11.98	c solving time = 0.566s
11.88/11.98	c #decision = 159529
11.88/11.98	c #conflict = 96
11.88/11.98	c #restart = 0
11.88/11.98	o 180749
11.88/12.00	c Solving starts ...
13.09/13.13	c solving time = 1.117s
13.09/13.13	c #decision = 170467
13.09/13.13	c #conflict = 100
13.09/13.13	c #restart = 0
13.09/13.13	o 180747
13.09/13.14	c Solving starts ...
15.18/15.22	c solving time = 2.063s
15.18/15.22	c #decision = 176499
15.18/15.22	c #conflict = 113
15.18/15.22	c #restart = 0
15.18/15.22	o 180746
15.18/15.30	c Solving starts ...
15.78/15.86	c solving time = 0.552s
15.78/15.86	c #decision = 179434
15.78/15.86	c #conflict = 114
15.78/15.86	c #restart = 0
15.78/15.87	o 180745
15.78/15.88	c Solving starts ...
32.68/32.77	c solving time = 16.877s
32.68/32.77	c #decision = 182390
32.68/32.77	c #conflict = 138
32.68/32.77	c #restart = 0
32.68/32.77	o 180744
32.78/32.85	c Solving starts ...
34.48/34.50	c solving time = 1.631s
34.48/34.50	c #decision = 185315
34.48/34.50	c #conflict = 139
34.48/34.50	c #restart = 0
34.48/34.50	o 180743
34.48/34.51	c Solving starts ...
46.78/46.89	c solving time = 12.366s
46.78/46.89	c #decision = 188271
46.78/46.89	c #conflict = 154
46.78/46.89	c #restart = 0
46.78/46.89	o 180742
46.88/46.91	c Solving starts ...
55.98/56.05	c solving time = 9.130s
55.98/56.05	c #decision = 191282
55.98/56.05	c #conflict = 169
55.98/56.05	c #restart = 0
55.98/56.05	o 180741
55.98/56.06	c Solving starts ...
63.78/63.89	c solving time = 7.814s
63.78/63.89	c #decision = 194223
63.78/63.89	c #conflict = 178
63.78/63.89	c #restart = 0
63.78/63.89	o 180740
63.88/63.91	c Solving starts ...
66.58/66.67	c solving time = 2.746s
66.58/66.67	c #decision = 197175
66.58/66.67	c #conflict = 180
66.58/66.67	c #restart = 0
66.58/66.67	o 180739
66.58/66.68	c Solving starts ...
73.59/73.64	c solving time = 6.944s
73.59/73.64	c #decision = 200114
73.59/73.64	c #conflict = 188
73.59/73.64	c #restart = 0
73.59/73.64	o 180738
73.59/73.65	c Solving starts ...
105.66/105.71	c solving time = 32.032s
105.66/105.71	c #decision = 204128
105.66/105.71	c #conflict = 303
105.66/105.71	c #restart = 1
105.66/105.71	o 180737
105.66/105.79	c Solving starts ...
108.87/108.95	c solving time = 3.140s
108.87/108.95	c #decision = 207053
108.87/108.95	c #conflict = 307
108.87/108.95	c #restart = 1
108.87/108.95	o 180736
108.97/109.03	c Solving starts ...
130.06/130.11	c solving time = 21.062s
130.06/130.11	c #decision = 210863
130.06/130.11	c #conflict = 355
130.06/130.11	c #restart = 1
130.06/130.11	o 180735
130.06/130.13	c Solving starts ...
139.56/139.67	c solving time = 9.525s
139.56/139.67	c #decision = 213816
139.56/139.67	c #conflict = 369
139.56/139.67	c #restart = 1
139.56/139.67	o 180734
139.56/139.68	c Solving starts ...
156.36/156.40	c solving time = 16.706s
156.36/156.40	c #decision = 216787
156.36/156.40	c #conflict = 391
156.36/156.40	c #restart = 1
156.36/156.40	o 180733
156.36/156.41	c Solving starts ...
188.65/188.70	c solving time = 32.263s
188.65/188.70	c #decision = 220660
188.65/188.70	c #conflict = 536
188.65/188.70	c #restart = 2
188.65/188.70	o 180732
188.65/188.71	c Solving starts ...
190.95/191.02	c solving time = 2.293s
190.95/191.02	c #decision = 223583
190.95/191.02	c #conflict = 539
190.95/191.02	c #restart = 2
190.95/191.02	o 180731
190.95/191.03	c Solving starts ...
194.05/194.19	c solving time = 3.148s
194.05/194.19	c #decision = 226507
194.05/194.19	c #conflict = 544
194.05/194.19	c #restart = 2
194.05/194.19	o 180730
194.15/194.28	c Solving starts ...
199.14/199.24	c solving time = 4.950s
199.14/199.24	c #decision = 229450
199.14/199.24	c #conflict = 553
199.14/199.24	c #restart = 2
199.14/199.24	o 180729
199.14/199.26	c Solving starts ...
200.64/200.73	c solving time = 1.465s
200.64/200.73	c #decision = 232362
200.64/200.73	c #conflict = 553
200.64/200.73	c #restart = 2
200.64/200.73	o 180728
200.64/200.75	c Solving starts ...
203.15/203.23	c solving time = 2.468s
203.15/203.23	c #decision = 237573
203.15/203.23	c #conflict = 556
203.15/203.23	c #restart = 2
203.15/203.23	o 180724
203.15/203.24	c Solving starts ...
206.85/206.99	c solving time = 3.735s
206.85/206.99	c #decision = 242795
206.85/206.99	c #conflict = 560
206.85/206.99	c #restart = 2
206.85/206.99	o 180722
206.95/207.00	c Solving starts ...
211.15/211.29	c solving time = 4.275s
211.15/211.29	c #decision = 245730
211.15/211.29	c #conflict = 565
211.15/211.29	c #restart = 2
211.15/211.29	o 180721
211.24/211.31	c Solving starts ...
214.35/214.43	c solving time = 3.108s
214.35/214.43	c #decision = 248657
214.35/214.43	c #conflict = 567
214.35/214.43	c #restart = 2
214.35/214.43	o 180720
214.35/214.44	c Solving starts ...
218.64/218.75	c solving time = 4.294s
218.64/218.75	c #decision = 251588
218.64/218.75	c #conflict = 572
218.64/218.75	c #restart = 2
218.64/218.75	o 180719
218.64/218.76	c Solving starts ...
223.14/223.29	c solving time = 4.518s
223.14/223.29	c #decision = 254520
223.14/223.29	c #conflict = 577
223.14/223.29	c #restart = 2
223.14/223.29	o 180718
223.25/223.31	c Solving starts ...
227.65/227.72	c solving time = 4.396s
227.65/227.72	c #decision = 257449
227.65/227.72	c #conflict = 582
227.65/227.72	c #restart = 2
227.65/227.72	o 180717
227.74/227.81	c Solving starts ...
232.24/232.32	c solving time = 4.497s
232.24/232.32	c #decision = 260379
232.24/232.32	c #conflict = 587
232.24/232.32	c #restart = 2
232.24/232.32	o 180716
232.24/232.33	c Solving starts ...
236.74/236.86	c solving time = 4.507s
236.74/236.86	c #decision = 263310
236.74/236.86	c #conflict = 592
236.74/236.86	c #restart = 2
236.74/236.86	o 180715
236.74/236.87	c Solving starts ...
250.64/250.77	c solving time = 13.883s
250.64/250.77	c #decision = 266268
250.64/250.77	c #conflict = 614
250.64/250.77	c #restart = 2
250.64/250.77	o 180714
250.64/250.78	c Solving starts ...
295.93/296.06	c solving time = 45.257s
295.93/296.06	c #decision = 279464
295.93/296.06	c #conflict = 811
295.93/296.06	c #restart = 3
295.93/296.06	o 176466
295.93/296.07	c Solving starts ...
298.33/298.49	c solving time = 2.402s
298.33/298.49	c #decision = 282415
298.33/298.49	c #conflict = 811
298.33/298.49	c #restart = 3
298.33/298.49	o 176465
298.43/298.50	c Solving starts ...
300.83/300.98	c solving time = 2.465s
300.83/300.98	c #decision = 285342
300.83/300.98	c #conflict = 811
300.83/300.98	c #restart = 3
300.83/300.98	o 176464
300.83/300.99	c Solving starts ...
308.43/308.55	c solving time = 7.544s
308.43/308.55	c #decision = 290558
308.43/308.55	c #conflict = 821
308.43/308.55	c #restart = 3
308.43/308.55	o 176461
308.53/308.65	c Solving starts ...
314.93/315.07	c solving time = 6.401s
314.93/315.07	c #decision = 293491
314.93/315.07	c #conflict = 825
314.93/315.07	c #restart = 3
314.93/315.07	o 176460
314.93/315.08	c Solving starts ...
321.42/321.52	c solving time = 6.420s
321.42/321.52	c #decision = 296426
321.42/321.52	c #conflict = 829
321.42/321.52	c #restart = 3
321.42/321.52	o 176459
321.42/321.53	c Solving starts ...
328.02/328.11	c solving time = 6.561s
328.02/328.11	c #decision = 301634
328.02/328.11	c #conflict = 835
328.02/328.11	c #restart = 3
328.02/328.11	o 176457
328.02/328.12	c Solving starts ...
334.42/334.57	c solving time = 6.440s
334.42/334.57	c #decision = 304576
334.42/334.57	c #conflict = 840
334.42/334.57	c #restart = 3
334.42/334.58	o 176456
334.42/334.59	c Solving starts ...
341.83/341.90	c solving time = 7.297s
341.83/341.90	c #decision = 309786
341.83/341.90	c #conflict = 845
341.83/341.90	c #restart = 3
341.83/341.90	o 176454
341.83/341.91	c Solving starts ...
348.43/348.53	c solving time = 6.604s
348.43/348.53	c #decision = 312729
348.43/348.53	c #conflict = 850
348.43/348.53	c #restart = 3
348.43/348.53	o 176453
348.43/348.55	c Solving starts ...
357.52/357.65	c solving time = 9.090s
357.52/357.65	c #decision = 319019
357.52/357.65	c #conflict = 872
357.52/357.65	c #restart = 3
357.52/357.65	o 176452
357.52/357.66	c Solving starts ...
364.03/364.11	c solving time = 6.429s
364.03/364.11	c #decision = 324299
364.03/364.11	c #conflict = 883
364.03/364.11	c #restart = 3
364.03/364.11	o 176449
364.03/364.12	c Solving starts ...
370.12/370.28	c solving time = 6.144s
370.12/370.28	c #decision = 327269
370.12/370.28	c #conflict = 888
370.12/370.28	c #restart = 3
370.12/370.28	o 176448
370.22/370.30	c Solving starts ...
376.32/376.43	c solving time = 6.117s
376.32/376.43	c #decision = 330232
376.32/376.43	c #conflict = 893
376.32/376.43	c #restart = 3
376.32/376.43	o 176447
376.32/376.44	c Solving starts ...
382.51/382.65	c solving time = 6.189s
382.51/382.65	c #decision = 333194
382.51/382.65	c #conflict = 898
382.51/382.65	c #restart = 3
382.51/382.65	o 176446
382.51/382.66	c Solving starts ...
388.82/388.93	c solving time = 6.255s
388.82/388.93	c #decision = 336155
388.82/388.93	c #conflict = 903
388.82/388.93	c #restart = 3
388.82/388.93	o 176445
388.82/388.94	c Solving starts ...
395.11/395.28	c solving time = 6.319s
395.11/395.28	c #decision = 339121
395.11/395.28	c #conflict = 908
395.11/395.28	c #restart = 3
395.11/395.28	o 176444
395.11/395.29	c Solving starts ...
401.52/401.66	c solving time = 6.357s
401.52/401.66	c #decision = 342080
401.52/401.66	c #conflict = 913
401.52/401.66	c #restart = 3
401.52/401.66	o 176443
401.52/401.68	c Solving starts ...
408.02/408.12	c solving time = 6.430s
408.02/408.12	c #decision = 345039
408.02/408.12	c #conflict = 918
408.02/408.12	c #restart = 3
408.02/408.12	o 176442
408.02/408.14	c Solving starts ...
414.52/414.66	c solving time = 6.504s
414.52/414.66	c #decision = 347995
414.52/414.66	c #conflict = 923
414.52/414.66	c #restart = 3
414.52/414.66	o 176441
414.52/414.67	c Solving starts ...
421.01/421.19	c solving time = 6.508s
421.01/421.19	c #decision = 350948
421.01/421.19	c #conflict = 928
421.01/421.19	c #restart = 3
421.01/421.19	o 176440
421.12/421.21	c Solving starts ...
427.51/427.66	c solving time = 6.443s
427.51/427.66	c #decision = 353893
427.51/427.66	c #conflict = 933
427.51/427.66	c #restart = 3
427.51/427.66	o 176439
427.51/427.68	c Solving starts ...
434.11/434.23	c solving time = 6.540s
434.11/434.23	c #decision = 356838
434.11/434.23	c #conflict = 938
434.11/434.23	c #restart = 3
434.11/434.23	o 176438
434.11/434.25	c Solving starts ...
440.71/440.84	c solving time = 6.576s
440.71/440.84	c #decision = 359778
440.71/440.84	c #conflict = 943
440.71/440.84	c #restart = 3
440.71/440.84	o 176437
440.71/440.85	c Solving starts ...
447.21/447.37	c solving time = 6.508s
447.21/447.37	c #decision = 362720
447.21/447.37	c #conflict = 948
447.21/447.37	c #restart = 3
447.21/447.37	o 176436
447.21/447.39	c Solving starts ...
461.20/461.38	c solving time = 13.974s
461.20/461.38	c #decision = 367970
461.20/461.38	c #conflict = 964
461.20/461.38	c #restart = 3
461.20/461.38	o 176434
461.30/461.50	c Solving starts ...
465.50/465.62	c solving time = 4.105s
465.50/465.62	c #decision = 370902
465.50/465.62	c #conflict = 965
465.50/465.62	c #restart = 3
465.50/465.62	o 176433
465.50/465.63	c Solving starts ...
496.89/497.00	c solving time = 31.355s
496.89/497.00	c #decision = 374334
496.89/497.00	c #conflict = 1049
496.89/497.00	c #restart = 3
496.89/497.01	o 176432
496.89/497.02	c Solving starts ...
502.69/502.86	c solving time = 5.824s
502.69/502.86	c #decision = 377369
502.69/502.86	c #conflict = 1058
502.69/502.86	c #restart = 3
502.69/502.86	o 176431
502.69/502.87	c Solving starts ...
506.60/506.72	c solving time = 3.835s
506.60/506.72	c #decision = 380353
506.60/506.72	c #conflict = 1059
506.60/506.72	c #restart = 3
506.60/506.72	o 176430
506.60/506.73	c Solving starts ...
510.69/510.89	c solving time = 4.139s
510.69/510.89	c #decision = 383335
510.69/510.89	c #conflict = 1062
510.69/510.89	c #restart = 3
510.69/510.89	o 176429
510.79/510.90	c Solving starts ...
515.29/515.40	c solving time = 4.486s
515.29/515.40	c #decision = 386307
515.29/515.40	c #conflict = 1066
515.29/515.40	c #restart = 3
515.29/515.40	o 176428
515.29/515.42	c Solving starts ...
521.69/521.85	c solving time = 6.419s
521.69/521.85	c #decision = 389305
521.69/521.85	c #conflict = 1073
521.69/521.85	c #restart = 3
521.69/521.85	o 176427
521.79/521.97	c Solving starts ...
526.59/526.74	c solving time = 4.756s
526.59/526.74	c #decision = 392262
526.59/526.74	c #conflict = 1078
526.59/526.74	c #restart = 3
526.59/526.74	o 176426
526.59/526.75	c Solving starts ...
532.69/532.85	c solving time = 6.088s
532.69/532.85	c #decision = 395202
532.69/532.85	c #conflict = 1083
532.69/532.85	c #restart = 3
532.69/532.85	o 176425
532.69/532.87	c Solving starts ...
538.79/538.98	c solving time = 6.092s
538.79/538.98	c #decision = 398139
538.79/538.98	c #conflict = 1088
538.79/538.98	c #restart = 3
538.79/538.98	o 176424
538.79/538.99	c Solving starts ...
544.98/545.14	c solving time = 6.140s
544.98/545.14	c #decision = 401080
544.98/545.14	c #conflict = 1093
544.98/545.14	c #restart = 3
544.98/545.14	o 176423
544.98/545.16	c Solving starts ...
551.09/551.20	c solving time = 6.026s
551.09/551.20	c #decision = 404018
551.09/551.20	c #conflict = 1098
551.09/551.20	c #restart = 3
551.09/551.20	o 176422
551.09/551.21	c Solving starts ...
557.29/557.44	c solving time = 6.217s
557.29/557.44	c #decision = 406959
557.29/557.44	c #conflict = 1103
557.29/557.44	c #restart = 3
557.29/557.44	o 176421
557.29/557.46	c Solving starts ...
563.49/563.63	c solving time = 6.158s
563.49/563.63	c #decision = 409898
563.49/563.63	c #conflict = 1108
563.49/563.63	c #restart = 3
563.49/563.63	o 176420
563.49/563.64	c Solving starts ...
569.78/569.90	c solving time = 6.244s
569.78/569.90	c #decision = 412835
569.78/569.90	c #conflict = 1113
569.78/569.90	c #restart = 3
569.78/569.90	o 176419
569.78/569.91	c Solving starts ...
576.08/576.22	c solving time = 6.290s
576.08/576.22	c #decision = 415769
576.08/576.22	c #conflict = 1118
576.08/576.22	c #restart = 3
576.08/576.22	o 176418
576.08/576.23	c Solving starts ...
588.68/588.88	c solving time = 12.624s
588.68/588.88	c #decision = 420998
588.68/588.88	c #conflict = 1130
588.68/588.88	c #restart = 3
588.68/588.88	o 176416
588.68/588.89	c Solving starts ...
592.78/592.95	c solving time = 4.046s
592.78/592.95	c #decision = 423913
592.78/592.95	c #conflict = 1130
592.78/592.95	c #restart = 3
592.78/592.95	o 176415
592.78/592.96	c Solving starts ...
597.48/597.63	c solving time = 4.649s
597.48/597.63	c #decision = 426831
597.48/597.63	c #conflict = 1131
597.48/597.63	c #restart = 3
597.48/597.63	o 176414
597.48/597.64	c Solving starts ...
762.06/762.21	c solving time = 164.531s
762.06/762.21	c #decision = 446697
762.06/762.21	c #conflict = 1438
762.06/762.21	c #restart = 5
762.06/762.21	o 172208
762.06/762.23	c Solving starts ...
768.35/768.50	c solving time = 6.259s
768.35/768.50	c #decision = 450705
768.35/768.50	c #conflict = 1439
768.35/768.50	c #restart = 5
768.35/768.50	o 172207
768.35/768.51	c Solving starts ...
777.46/777.65	c solving time = 9.123s
777.46/777.65	c #decision = 455939
777.46/777.65	c #conflict = 1443
777.46/777.65	c #restart = 5
777.46/777.65	o 172203
777.46/777.67	c Solving starts ...
791.05/791.29	c solving time = 13.606s
791.05/791.29	c #decision = 458938
791.05/791.29	c #conflict = 1452
791.05/791.29	c #restart = 5
791.05/791.29	o 172202
791.15/791.30	c Solving starts ...
802.35/802.53	c solving time = 11.205s
802.35/802.53	c #decision = 461902
802.35/802.53	c #conflict = 1459
802.35/802.53	c #restart = 5
802.35/802.53	o 172201
802.35/802.54	c Solving starts ...
817.35/817.55	c solving time = 14.997s
817.35/817.55	c #decision = 464880
817.35/817.55	c #conflict = 1470
817.35/817.55	c #restart = 5
817.35/817.55	o 172200
817.35/817.57	c Solving starts ...
830.15/830.39	c solving time = 12.804s
830.15/830.39	c #decision = 467824
830.15/830.39	c #conflict = 1476
830.15/830.39	c #restart = 5
830.15/830.39	o 172199
830.15/830.40	c Solving starts ...
845.14/845.32	c solving time = 14.903s
845.14/845.32	c #decision = 470757
845.14/845.32	c #conflict = 1484
845.14/845.32	c #restart = 5
845.14/845.32	o 172198
845.14/845.34	c Solving starts ...
855.65/855.89	c solving time = 10.536s
855.65/855.89	c #decision = 473691
855.65/855.89	c #conflict = 1489
855.65/855.89	c #restart = 5
855.65/855.89	o 172197
855.84/856.02	c Solving starts ...
866.24/866.48	c solving time = 10.451s
866.24/866.48	c #decision = 476620
866.24/866.48	c #conflict = 1492
866.24/866.48	c #restart = 5
866.24/866.49	o 172196
866.34/866.50	c Solving starts ...
877.14/877.36	c solving time = 10.844s
877.14/877.36	c #decision = 479546
877.14/877.36	c #conflict = 1495
877.14/877.36	c #restart = 5
877.14/877.36	o 172195
877.14/877.37	c Solving starts ...
887.74/887.99	c solving time = 10.601s
887.74/887.99	c #decision = 482471
887.74/887.99	c #conflict = 1498
887.74/887.99	c #restart = 5
887.74/887.99	o 172194
887.84/888.00	c Solving starts ...
899.34/899.52	c solving time = 11.500s
899.34/899.52	c #decision = 487687
899.34/899.52	c #conflict = 1502
899.34/899.52	c #restart = 5
899.34/899.52	o 172186
899.34/899.54	c Solving starts ...
911.74/911.93	c solving time = 12.374s
911.74/911.93	c #decision = 490640
911.74/911.93	c #conflict = 1508
911.74/911.93	c #restart = 5
911.74/911.93	o 172185
911.74/911.94	c Solving starts ...
924.43/924.62	c solving time = 12.667s
924.43/924.62	c #decision = 493596
924.43/924.62	c #conflict = 1514
924.43/924.62	c #restart = 5
924.43/924.63	o 172184
924.43/924.64	c Solving starts ...
933.23/933.49	c solving time = 8.837s
933.23/933.49	c #decision = 496549
933.23/933.49	c #conflict = 1517
933.23/933.49	c #restart = 5
933.23/933.49	o 172183
933.33/933.50	c Solving starts ...
943.72/943.96	c solving time = 10.443s
943.72/943.96	c #decision = 499503
943.72/943.96	c #conflict = 1521
943.72/943.96	c #restart = 5
943.72/943.96	o 172182
943.92/944.10	c Solving starts ...
954.82/955.03	c solving time = 10.912s
954.82/955.03	c #decision = 504723
954.82/955.03	c #conflict = 1527
954.82/955.03	c #restart = 5
954.82/955.03	o 172180
954.82/955.04	c Solving starts ...
965.53/965.76	c solving time = 10.701s
965.53/965.76	c #decision = 507682
965.53/965.76	c #conflict = 1532
965.53/965.76	c #restart = 5
965.53/965.76	o 172179
965.53/965.77	c Solving starts ...
976.53/976.75	c solving time = 10.954s
976.53/976.75	c #decision = 510638
976.53/976.75	c #conflict = 1537
976.53/976.75	c #restart = 5
976.53/976.75	o 172178
976.53/976.76	c Solving starts ...
987.42/987.63	c solving time = 10.848s
987.42/987.63	c #decision = 513590
987.42/987.63	c #conflict = 1542
987.42/987.63	c #restart = 5
987.42/987.63	o 172177
987.42/987.64	c Solving starts ...
998.62/998.85	c solving time = 11.190s
998.62/998.85	c #decision = 516542
998.62/998.85	c #conflict = 1549
998.62/998.85	c #restart = 5
998.62/998.85	o 172176
998.62/998.86	c Solving starts ...
1010.02/1010.29	c solving time = 11.417s
1010.02/1010.29	c #decision = 519497
1010.02/1010.29	c #conflict = 1555
1010.02/1010.29	c #restart = 5
1010.02/1010.29	o 172175
1010.12/1010.31	c Solving starts ...
1021.22/1021.43	c solving time = 11.105s
1021.22/1021.43	c #decision = 522448
1021.22/1021.43	c #conflict = 1560
1021.22/1021.43	c #restart = 5
1021.22/1021.43	o 172174
1021.22/1021.44	c Solving starts ...
1032.11/1032.36	c solving time = 10.898s
1032.11/1032.36	c #decision = 525398
1032.11/1032.36	c #conflict = 1565
1032.11/1032.36	c #restart = 5
1032.11/1032.36	o 172173
1032.31/1032.50	c Solving starts ...
1043.31/1043.53	c solving time = 11.016s
1043.31/1043.53	c #decision = 528351
1043.31/1043.53	c #conflict = 1570
1043.31/1043.53	c #restart = 5
1043.31/1043.53	o 172172
1043.31/1043.54	c Solving starts ...
1054.61/1054.83	c solving time = 11.267s
1054.61/1054.83	c #decision = 531296
1054.61/1054.83	c #conflict = 1575
1054.61/1054.83	c #restart = 5
1054.61/1054.83	o 172171
1054.61/1054.84	c Solving starts ...
1066.01/1066.26	c solving time = 11.398s
1066.01/1066.26	c #decision = 534247
1066.01/1066.26	c #conflict = 1580
1066.01/1066.26	c #restart = 5
1066.01/1066.26	o 172170
1066.01/1066.27	c Solving starts ...
1086.00/1086.25	c solving time = 19.960s
1086.00/1086.25	c #decision = 537261
1086.00/1086.25	c #conflict = 1599
1086.00/1086.25	c #restart = 5
1086.00/1086.25	o 172169
1086.00/1086.26	c Solving starts ...
1097.20/1097.42	c solving time = 11.144s
1097.20/1097.42	c #decision = 542460
1097.20/1097.42	c #conflict = 1604
1097.20/1097.42	c #restart = 5
1097.20/1097.42	o 172167
1097.20/1097.44	c Solving starts ...
1117.41/1117.64	c solving time = 20.186s
1117.41/1117.64	c #decision = 545445
1117.41/1117.64	c #conflict = 1624
1117.41/1117.64	c #restart = 5
1117.41/1117.64	o 172166
1117.41/1117.65	c Solving starts ...
1125.80/1126.00	c solving time = 8.331s
1125.80/1126.00	c #decision = 548375
1125.80/1126.00	c #conflict = 1625
1125.80/1126.00	c #restart = 5
1125.80/1126.00	o 172165
1125.80/1126.02	c Solving starts ...
1159.10/1159.40	c solving time = 33.359s
1159.10/1159.40	c #decision = 551359
1159.10/1159.40	c #conflict = 1650
1159.10/1159.40	c #restart = 5
1159.10/1159.40	o 172164
1159.20/1159.41	c Solving starts ...
1167.39/1167.68	c solving time = 8.260s
1167.39/1167.68	c #decision = 554381
1167.39/1167.68	c #conflict = 1662
1167.39/1167.68	c #restart = 5
1167.39/1167.68	o 172163
1167.49/1167.70	c Solving starts ...
1213.78/1214.09	c solving time = 46.363s
1213.78/1214.09	c #decision = 560178
1213.78/1214.09	c #conflict = 1696
1213.78/1214.09	c #restart = 5
1213.78/1214.09	o 172161
1213.88/1214.10	c Solving starts ...
1222.88/1223.15	c solving time = 8.883s
1222.88/1223.15	c #decision = 563112
1222.88/1223.15	c #conflict = 1701
1222.88/1223.15	c #restart = 5
1222.88/1223.15	o 172160
1222.88/1223.16	c Solving starts ...
1232.97/1233.28	c solving time = 10.097s
1232.97/1233.28	c #decision = 566047
1232.97/1233.28	c #conflict = 1710
1232.97/1233.28	c #restart = 5
1232.97/1233.28	o 172159
1232.97/1233.29	c Solving starts ...
1241.17/1241.41	c solving time = 8.103s
1241.17/1241.41	c #decision = 568976
1241.17/1241.41	c #conflict = 1713
1241.17/1241.41	c #restart = 5
1241.17/1241.41	o 172158
1241.17/1241.42	c Solving starts ...
1250.07/1250.34	c solving time = 8.902s
1250.07/1250.34	c #decision = 571905
1250.07/1250.34	c #conflict = 1717
1250.07/1250.34	c #restart = 5
1250.07/1250.34	o 172157
1250.07/1250.36	c Solving starts ...
1265.56/1265.80	c solving time = 15.428s
1265.56/1265.80	c #decision = 574871
1265.56/1265.80	c #conflict = 1735
1265.56/1265.80	c #restart = 5
1265.56/1265.80	o 172156
1265.56/1265.81	c Solving starts ...
1286.77/1287.08	c solving time = 21.245s
1286.77/1287.08	c #decision = 578129
1286.77/1287.08	c #conflict = 1772
1286.77/1287.08	c #restart = 5
1286.77/1287.08	o 172155
1286.77/1287.09	c Solving starts ...
1303.96/1304.28	c solving time = 17.177s
1303.96/1304.28	c #decision = 581322
1303.96/1304.28	c #conflict = 1801
1303.96/1304.28	c #restart = 5
1303.96/1304.28	o 172154
1304.06/1304.30	c Solving starts ...
1311.76/1312.00	c solving time = 7.683s
1311.76/1312.00	c #decision = 584335
1311.76/1312.00	c #conflict = 1804
1311.76/1312.00	c #restart = 5
1311.76/1312.00	o 172153
1311.76/1312.01	c Solving starts ...
1331.15/1331.40	c solving time = 19.376s
1331.15/1331.40	c #decision = 587534
1331.15/1331.40	c #conflict = 1819
1331.15/1331.40	c #restart = 5
1331.15/1331.40	o 172152
1331.15/1331.41	c Solving starts ...
1340.66/1340.95	c solving time = 9.522s
1340.66/1340.95	c #decision = 590535
1340.66/1340.95	c #conflict = 1839
1340.66/1340.95	c #restart = 5
1340.66/1340.95	o 172151
1340.66/1340.97	c Solving starts ...
1348.45/1348.73	c solving time = 7.750s
1348.45/1348.73	c #decision = 593522
1348.45/1348.73	c #conflict = 1844
1348.45/1348.73	c #restart = 5
1348.45/1348.73	o 172150
1348.45/1348.74	c Solving starts ...
1356.95/1357.26	c solving time = 8.497s
1356.95/1357.26	c #decision = 596514
1356.95/1357.26	c #conflict = 1854
1356.95/1357.26	c #restart = 5
1356.95/1357.26	o 172149
1356.95/1357.27	c Solving starts ...
1365.25/1365.57	c solving time = 8.285s
1365.25/1365.57	c #decision = 599500
1365.25/1365.57	c #conflict = 1864
1365.25/1365.57	c #restart = 5
1365.25/1365.57	o 172148
1365.25/1365.58	c Solving starts ...
1373.35/1373.65	c solving time = 8.051s
1373.35/1373.65	c #decision = 602481
1373.35/1373.65	c #conflict = 1869
1373.35/1373.65	c #restart = 5
1373.35/1373.65	o 172147
1373.35/1373.66	c Solving starts ...
1382.75/1383.01	c solving time = 9.339s
1382.75/1383.01	c #decision = 605481
1382.75/1383.01	c #conflict = 1889
1382.75/1383.01	c #restart = 5
1382.75/1383.02	o 172146
1382.75/1383.03	c Solving starts ...
1391.15/1391.40	c solving time = 8.361s
1391.15/1391.40	c #decision = 608474
1391.15/1391.40	c #conflict = 1896
1391.15/1391.40	c #restart = 5
1391.15/1391.41	o 172145
1391.15/1391.42	c Solving starts ...
1398.54/1398.81	c solving time = 7.377s
1398.54/1398.81	c #decision = 611459
1398.54/1398.81	c #conflict = 1896
1398.54/1398.81	c #restart = 5
1398.54/1398.81	o 172144
1398.54/1398.82	c Solving starts ...
1405.95/1406.24	c solving time = 7.398s
1405.95/1406.24	c #decision = 614434
1405.95/1406.24	c #conflict = 1896
1405.95/1406.24	c #restart = 5
1405.95/1406.24	o 172143
1405.95/1406.25	c Solving starts ...
1414.45/1414.72	c solving time = 8.456s
1414.45/1414.72	c #decision = 617418
1414.45/1414.72	c #conflict = 1906
1414.45/1414.72	c #restart = 5
1414.45/1414.72	o 172142
1414.45/1414.74	c Solving starts ...
1426.54/1426.82	c solving time = 12.071s
1426.54/1426.82	c #decision = 620441
1426.54/1426.82	c #conflict = 1922
1426.54/1426.82	c #restart = 5
1426.54/1426.82	o 172141
1426.54/1426.84	c Solving starts ...
1434.54/1434.86	c solving time = 8.005s
1434.54/1434.86	c #decision = 623413
1434.54/1434.86	c #conflict = 1927
1434.54/1434.86	c #restart = 5
1434.54/1434.86	o 172140
1434.54/1434.87	c Solving starts ...
1444.34/1444.66	c solving time = 9.776s
1444.34/1444.66	c #decision = 626404
1444.34/1444.66	c #conflict = 1947
1444.34/1444.66	c #restart = 5
1444.34/1444.66	o 172139
1444.34/1444.68	c Solving starts ...
1470.83/1471.16	c solving time = 26.468s
1470.83/1471.16	c #decision = 629521
1470.83/1471.16	c #conflict = 1978
1470.83/1471.16	c #restart = 5
1470.83/1471.16	o 172138
1470.83/1471.18	c Solving starts ...
1478.84/1479.17	c solving time = 7.979s
1478.84/1479.17	c #decision = 632449
1478.84/1479.17	c #conflict = 1981
1478.84/1479.17	c #restart = 5
1478.84/1479.17	o 172137
1478.84/1479.18	c Solving starts ...
1488.84/1489.15	c solving time = 9.947s
1488.84/1489.15	c #decision = 635400
1488.84/1489.15	c #conflict = 2001
1488.84/1489.15	c #restart = 5
1488.84/1489.15	o 172136
1488.84/1489.16	c Solving starts ...
1530.73/1531.04	c solving time = 41.860s
1530.73/1531.04	c #decision = 638684
1530.73/1531.04	c #conflict = 2034
1530.73/1531.04	c #restart = 5
1530.73/1531.04	o 172135
1530.73/1531.06	c Solving starts ...
1540.42/1540.72	c solving time = 9.645s
1540.42/1540.72	c #decision = 641665
1540.42/1540.72	c #conflict = 2047
1540.42/1540.72	c #restart = 5
1540.42/1540.72	o 172134
1540.42/1540.73	c Solving starts ...
1574.42/1574.75	c solving time = 34.000s
1574.42/1574.75	c #decision = 644847
1574.42/1574.75	c #conflict = 2081
1574.42/1574.75	c #restart = 5
1574.42/1574.75	o 172133
1574.42/1574.76	c Solving starts ...
1666.21/1666.53	c solving time = 91.736s
1666.21/1666.53	c #decision = 648496
1666.21/1666.53	c #conflict = 2172
1666.21/1666.53	c #restart = 5
1666.21/1666.53	o 172132
1666.21/1666.54	c Solving starts ...
1677.91/1678.26	c solving time = 11.699s
1677.91/1678.26	c #decision = 651416
1677.91/1678.26	c #conflict = 2177
1677.91/1678.26	c #restart = 5
1677.91/1678.26	o 172131
1677.91/1678.27	c Solving starts ...
1688.90/1689.28	c solving time = 10.979s
1688.90/1689.28	c #decision = 654336
1688.90/1689.28	c #conflict = 2182
1688.90/1689.28	c #restart = 5
1688.90/1689.28	o 172130
1688.90/1689.29	c Solving starts ...
1699.70/1700.05	c solving time = 10.737s
1699.70/1700.05	c #decision = 659522
1699.70/1700.05	c #conflict = 2187
1699.70/1700.05	c #restart = 5
1699.70/1700.05	o 172128
1699.70/1700.06	c Solving starts ...
1710.79/1711.13	c solving time = 11.054s
1710.79/1711.13	c #decision = 664717
1710.79/1711.13	c #conflict = 2193
1710.79/1711.13	c #restart = 5
1710.79/1711.13	o 172124
1710.79/1711.14	c Solving starts ...
1724.59/1724.94	c solving time = 13.773s
1724.59/1724.94	c #decision = 669923
1724.59/1724.94	c #conflict = 2198
1724.59/1724.94	c #restart = 5
1724.59/1724.94	o 172122
1724.59/1724.95	c Solving starts ...
1735.19/1735.52	c solving time = 10.548s
1735.19/1735.52	c #decision = 672854
1735.19/1735.52	c #conflict = 2203
1735.19/1735.52	c #restart = 5
1735.19/1735.52	o 172121
1735.19/1735.53	c Solving starts ...
1744.58/1744.94	c solving time = 9.395s
1744.58/1744.94	c #decision = 675780
1744.58/1744.94	c #conflict = 2206
1744.58/1744.94	c #restart = 5
1744.58/1744.94	o 172120
1744.58/1744.95	c Solving starts ...
1755.19/1755.57	c solving time = 10.597s
1755.19/1755.57	c #decision = 678709
1755.19/1755.57	c #conflict = 2211
1755.19/1755.57	c #restart = 5
1755.19/1755.57	o 172119
1755.19/1755.58	c Solving starts ...
1765.98/1766.39	c solving time = 10.795s
1765.98/1766.39	c #decision = 681635
1765.98/1766.39	c #conflict = 2216
1765.98/1766.39	c #restart = 5
1765.98/1766.39	o 172118
1766.08/1766.41	c Solving starts ...
1776.58/1776.99	c solving time = 10.568s
1776.58/1776.99	c #decision = 684564
1776.58/1776.99	c #conflict = 2221
1776.58/1776.99	c #restart = 5
1776.58/1776.99	o 172117
1776.68/1777.01	c Solving starts ...
1787.98/1788.34	c solving time = 11.321s
1787.98/1788.34	c #decision = 687491
1787.98/1788.34	c #conflict = 2228
1787.98/1788.34	c #restart = 5
1787.98/1788.34	o 172116
1787.98/1788.36	c Solving starts ...
1799.38/1799.75	c solving time = 11.373s
1799.38/1799.75	c #decision = 690428
1799.38/1799.75	c #conflict = 2236
1799.38/1799.75	c #restart = 5
1799.38/1799.75	o 172115
1799.38/1799.76	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-3724682-1338640888/watcher-3724682-1338640888 -o /tmp/evaluation-result-3724682-1338640888/solver-3724682-1338640888 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724682-1338640888.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.96 1.99 1.99 3/176 20330
/proc/meminfo: memFree=28160916/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 817 0 0 0 0 0 0 0 20 0 1 0 330217382 6373376 738 33554432000 4194304 8989770 140736826717232 140735137256136 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 1556 738 424 1171 0 333 0

[startup+0.095935 s]
/proc/loadavg: 1.96 1.99 1.99 3/176 20330
/proc/meminfo: memFree=28160916/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=12368 CPUtime=0.09 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 2289 0 0 0 9 0 0 0 20 0 1 0 330217382 12664832 2210 33554432000 4194304 8989770 140736826717232 140735137256136 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 3092 2210 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368

[startup+0.1003 s]
/proc/loadavg: 1.96 1.99 1.99 3/176 20330
/proc/meminfo: memFree=28160916/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=12368 CPUtime=0.09 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 2370 0 0 0 9 0 0 0 20 0 1 0 330217382 12664832 2291 33554432000 4194304 8989770 140736826717232 140735137256136 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 3092 2291 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368

[startup+0.30027 s]
/proc/loadavg: 1.96 1.99 1.99 3/176 20330
/proc/meminfo: memFree=28160916/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=23632 CPUtime=0.29 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 5016 0 0 0 29 0 0 0 20 0 1 0 330217382 24199168 4938 33554432000 4194304 8989770 140736826717232 140735137256136 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 5908 4945 431 1171 0 4685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23632

[startup+0.700264 s]
/proc/loadavg: 1.96 1.99 1.99 3/176 20330
/proc/meminfo: memFree=28160916/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=47184 CPUtime=0.69 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 11074 0 0 0 67 2 0 0 20 0 1 0 330217382 48316416 10995 33554432000 4194304 8989770 140736826717232 140735137256136 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 11796 10995 431 1171 0 10573 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47184

[startup+1.50029 s]
/proc/loadavg: 1.96 1.99 1.99 3/177 20331
/proc/meminfo: memFree=28104116/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=110672 CPUtime=1.49 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 26946 0 0 0 144 5 0 0 20 0 1 0 330217382 113328128 26867 33554432000 4194304 8989770 140736826717232 140736826716496 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 27668 26867 431 1171 0 26445 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 110672

[startup+3.10022 s]
/proc/loadavg: 1.96 1.99 1.99 3/177 20331
/proc/meminfo: memFree=28025004/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=140368 CPUtime=3.08 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 34392 0 0 0 302 6 0 0 20 0 1 0 330217382 143736832 34313 33554432000 4194304 8989770 140736826717232 140736826716728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 35092 34313 447 1171 0 33869 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 140368

[startup+6.30024 s]
/proc/loadavg: 1.96 1.99 1.99 3/177 20331
/proc/meminfo: memFree=28024756/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=140368 CPUtime=6.29 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 34392 0 0 0 621 8 0 0 20 0 1 0 330217382 143736832 34313 33554432000 4194304 8989770 140736826717232 140736826716496 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 35092 34313 447 1171 0 33869 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 140368

[startup+12.7003 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 20331
/proc/meminfo: memFree=28024408/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=140368 CPUtime=12.68 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 34418 0 0 0 1259 9 0 0 20 0 1 0 330217382 143736832 34339 33554432000 4194304 8989770 140736826717232 140736826716496 4209198 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 35092 34339 473 1171 0 33869 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 140368

[startup+25.5003 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 20331
/proc/meminfo: memFree=28021812/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=143440 CPUtime=25.48 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 35186 0 0 0 2535 13 0 0 20 0 1 0 330217382 146882560 35107 33554432000 4194304 8989770 140736826717232 140736826716496 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 35860 35107 473 1171 0 34637 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 143440

[startup+51.1003 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 20331
/proc/meminfo: memFree=28014744/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=150608 CPUtime=51.08 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 36978 0 0 0 5087 21 0 0 20 0 1 0 330217382 154222592 36899 33554432000 4194304 8989770 140736826717232 140736826715200 4209187 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 37652 36899 473 1171 0 36429 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 150608

[startup+102.306 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 20331
/proc/meminfo: memFree=28000796/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=159824 CPUtime=102.28 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 39287 0 0 0 10191 37 0 0 20 0 1 0 330217382 163659776 39203 33554432000 4194304 8989770 140736826717232 140736826715200 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 39956 39203 473 1171 0 38733 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 159824

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 20331
/proc/meminfo: memFree=27982224/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=171088 CPUtime=162.25 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 42111 0 0 0 16171 54 0 0 20 0 1 0 330217382 175194112 42019 33554432000 4194304 8989770 140736826717232 140736826715200 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 42772 42019 473 1171 0 41549 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 171088

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 20331
/proc/meminfo: memFree=27939668/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=195664 CPUtime=222.24 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 48257 0 0 0 22148 76 0 0 20 0 1 0 330217382 200359936 48163 33554432000 4194304 8989770 140736826717232 140736826716728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 48916 48163 473 1171 0 47693 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 195664

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 20332
/proc/meminfo: memFree=27929432/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=206928 CPUtime=282.23 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 51073 0 0 0 28124 99 0 0 20 0 1 0 330217382 211894272 50979 33554432000 4194304 8989770 140736826717232 140736826716496 4209591 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 51732 50979 473 1171 0 50509 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 206928

[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 20332
/proc/meminfo: memFree=27899464/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=226384 CPUtime=342.23 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 55937 0 0 0 34100 123 0 0 20 0 1 0 330217382 231817216 55843 33554432000 4194304 8989770 140736826717232 140736826716728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 56596 55843 473 1171 0 55373 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 226384

[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 20332
/proc/meminfo: memFree=27866604/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=246864 CPUtime=402.21 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 61057 0 0 0 40073 148 0 0 20 0 1 0 330217382 252788736 60963 33554432000 4194304 8989770 140736826717232 140736826716728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 61716 60963 473 1171 0 60493 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 246864

[startup+462.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 20332
/proc/meminfo: memFree=27847420/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=266320 CPUtime=462.2 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 65931 0 0 0 46047 173 0 0 20 0 1 0 330217382 272711680 65827 33554432000 4194304 8989770 140736826717232 140736826716728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 66580 65827 473 1171 0 65357 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 266320

[startup+522.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 20335
/proc/meminfo: memFree=27831148/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=280656 CPUtime=522.19 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 69515 0 0 0 52019 200 0 0 20 0 1 0 330217382 287391744 69411 33554432000 4194304 8989770 140736826717232 140736826715200 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 70164 69411 473 1171 0 68941 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 280656

[startup+582.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 20336
/proc/meminfo: memFree=27799552/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=304208 CPUtime=582.18 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 75403 0 0 0 57992 226 0 0 20 0 1 0 330217382 311508992 75299 33554432000 4194304 8989770 140736826717232 140736826716728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 76052 75299 473 1171 0 74829 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 304208

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 20336
/proc/meminfo: memFree=27745640/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=323664 CPUtime=822.15 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 80268 0 0 0 81871 344 0 0 20 0 1 0 330217382 331431936 80163 33554432000 4194304 8989770 140736826717232 140736826716728 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 80916 80163 473 1171 0 79693 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 323664

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20337
/proc/meminfo: memFree=27728156/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=334928 CPUtime=882.14 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 83084 0 0 0 87843 371 0 0 20 0 1 0 330217382 342966272 82979 33554432000 4194304 8989770 140736826717232 140736826716728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 83732 82979 473 1171 0 82509 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 334928

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20337
/proc/meminfo: memFree=27715136/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=348240 CPUtime=942.12 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 86412 0 0 0 93816 396 0 0 20 0 1 0 330217382 356597760 86307 33554432000 4194304 8989770 140736826717232 140736826716496 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 87060 86307 473 1171 0 85837 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 348240

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20337
/proc/meminfo: memFree=27691792/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=360528 CPUtime=1002.12 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 89484 0 0 0 99787 425 0 0 20 0 1 0 330217382 369180672 89379 33554432000 4194304 8989770 140736826717232 140736826716728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 90132 89379 473 1171 0 88909 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 360528

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20337
/proc/meminfo: memFree=27680632/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=371792 CPUtime=1062.1 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 92300 0 0 0 105760 450 0 0 20 0 1 0 330217382 380715008 92195 33554432000 4194304 8989770 140736826717232 140736826716728 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 92948 92195 473 1171 0 91725 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 371792

[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 20340
/proc/meminfo: memFree=27658924/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=382032 CPUtime=1122.1 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 94860 0 0 0 111737 473 0 0 20 0 1 0 330217382 391200768 94755 33554432000 4194304 8989770 140736826717232 140736826716728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 95508 94755 473 1171 0 94285 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 382032

[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 20364
/proc/meminfo: memFree=27651332/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=386128 CPUtime=1182.09 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 95884 0 0 0 117710 499 0 0 20 0 1 0 330217382 395395072 95779 33554432000 4194304 8989770 140736826717232 140736826716728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 96532 95779 473 1171 0 95309 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 386128

[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 20364
/proc/meminfo: memFree=27643300/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=394320 CPUtime=1242.07 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 97949 0 0 0 123680 527 0 0 20 0 1 0 330217382 403783680 97827 33554432000 4194304 8989770 140736826717232 140736826716728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 98580 97827 473 1171 0 97357 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 394320

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 20364
/proc/meminfo: memFree=27635116/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=402512 CPUtime=1302.06 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 99997 0 0 0 129650 556 0 0 20 0 1 0 330217382 412172288 99875 33554432000 4194304 8989770 140736826717232 140736826716728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 100628 99875 473 1171 0 99405 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 402512

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 20364
/proc/meminfo: memFree=27622840/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=410704 CPUtime=1362.05 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 102045 0 0 0 135614 591 0 0 20 0 1 0 330217382 420560896 101923 33554432000 4194304 8989770 140736826717232 140736826716728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 102676 101923 473 1171 0 101453 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 410704

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20364
/proc/meminfo: memFree=27610476/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=422992 CPUtime=1422.05 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 105117 0 0 0 141578 627 0 0 20 0 1 0 330217382 433143808 104995 33554432000 4194304 8989770 140736826717232 140736826716728 4209168 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 105748 104995 473 1171 0 104525 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 422992

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20365
/proc/meminfo: memFree=27594108/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=439376 CPUtime=1482.03 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 109213 0 0 0 147543 660 0 0 20 0 1 0 330217382 449921024 109091 33554432000 4194304 8989770 140736826717232 140736826716728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 109844 109091 473 1171 0 108621 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 439376

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20594
/proc/meminfo: memFree=27498456/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=450640 CPUtime=1542.03 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 112029 0 0 0 153508 695 0 0 20 0 1 0 330217382 461455360 111907 33554432000 4194304 8989770 140736826717232 140736826716728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 112660 111907 473 1171 0 111437 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 450640

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20594
/proc/meminfo: memFree=27491760/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=455760 CPUtime=1602.01 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 113309 0 0 0 159474 727 0 0 20 0 1 0 330217382 466698240 113187 33554432000 4194304 8989770 140736826717232 140736826716728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 113940 113187 473 1171 0 112717 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 455760

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20594
/proc/meminfo: memFree=27432468/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=457808 CPUtime=1662.01 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 113821 0 0 0 165444 757 0 0 20 0 1 0 330217382 468795392 113699 33554432000 4194304 8989770 140736826717232 140736826716728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 114452 113699 473 1171 0 113229 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 457808

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20597
/proc/meminfo: memFree=27397264/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=469072 CPUtime=1721.99 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 116647 0 0 0 171412 787 0 0 20 0 1 0 330217382 480329728 116515 33554432000 4194304 8989770 140736826717232 140736826716728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 117268 116515 473 1171 0 116045 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 469072

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20598
/proc/meminfo: memFree=27355784/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=479312 CPUtime=1781.98 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 119207 0 0 0 177380 818 0 0 20 0 1 0 330217382 490815488 119075 33554432000 4194304 8989770 140736826717232 140736826716728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 119828 119075 473 1171 0 118605 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 479312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20598
/proc/meminfo: memFree=27340748/32873844 swapFree=7116/7116
[pid=20330] ppid=20328 vsize=485456 CPUtime=1800.09 cores=0,2,4,6
/proc/20330/stat : 20330 (toysat) R 20328 20330 19272 0 -1 4202496 120743 0 0 0 179182 827 0 0 20 0 1 0 330217382 497106944 120611 33554432000 4194304 8989770 140736826717232 140736826716728 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/20330/statm: 121364 120611 473 1171 0 120141 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 485456

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.1
CPU user time (s): 1791.82
CPU system time (s): 8.27474
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 485456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.82
system time used= 8.27474
maximum resident set size= 482444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120743
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= 56
involuntary context switches= 2272

runsolver used 3.19951 second user time and 9.32558 second system time

The end

Launcher Data 

Begin job on node108 at 2012-06-02 14:41:28
IDJOB=3724682
IDBENCH=72256
IDSOLVER=2308
FILE ID=node108/3724682-1338640888
RUNJOBID= node108-1338631508-19288
PBS_JOBID= 14636472
Free space on /tmp= 71476 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-tasque.cudf.paranoid.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724682-1338640888/watcher-3724682-1338640888 -o /tmp/evaluation-result-3724682-1338640888/solver-3724682-1338640888 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724682-1338640888.opb

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

MD5SUM BENCH= ff7cf51d59681038e9bd685a258479a5
RANDOM SEED=1849367107

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:        28161064 kB
Buffers:          310472 kB
Cached:          3446076 kB
SwapCached:           52 kB
Active:          1990108 kB
Inactive:        1922792 kB
Active(anon):     143700 kB
Inactive(anon):    13032 kB
Active(file):    1846408 kB
Inactive(file):  1909760 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108544 kB
Dirty:             10840 kB
Writeback:            16 kB
AnonPages:        163040 kB
Mapped:            16380 kB
Shmem:               172 kB
Slab:             663016 kB
SReclaimable:     104396 kB
SUnreclaim:       558620 kB
KernelStack:        1448 kB
PageTables:         4492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     266400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 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= 71460 MiB
End job on node108 at 2012-06-02 15:11:30