Trace number 3725220

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

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.12.opb
MD5SUMb1eab2cf935e923f8f1ff9f24be23d02
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark41
Best CPU time to get the best result obtained on this benchmark7.43787
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 41
Optimality of the best value was proved YES
Number of variables25484
Total number of constraints1553328
Number of constraints which are clauses1549096
Number of constraints which are cardinality constraints (but not clauses)4232
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint184
Number of terms in the objective function 184
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 184
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 182
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 366
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

27.58/27.63	c 2012-06-02T13:35:41+0200
27.58/27.63	c arch = x86_64
27.58/27.63	c os = linux
27.58/27.63	c compiler = ghc 7.4
27.58/27.63	c packages:
27.58/27.63	c   OptDir-0.0.1
27.58/27.63	c   array-0.4.0.0
27.58/27.63	c   base-4.5.0.0
27.58/27.63	c   bytestring-0.9.2.1
27.58/27.63	c   containers-0.4.2.1
27.58/27.63	c   deepseq-1.3.0.0
27.58/27.63	c   mtl-2.1.1
27.58/27.63	c   old_locale-1.0.0.4
27.58/27.63	c   parse_dimacs-1.2
27.58/27.63	c   parsec-3.1.2
27.58/27.63	c   queue-0.1.2
27.58/27.63	c   stm-2.3
27.58/27.63	c   time-1.4
27.58/27.63	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725220-1338636940.opb"]
27.58/27.63	c #vars 25484
27.58/27.63	c #constraints 1553328
27.58/27.63	c Solving starts ...
28.19/28.28	c solving time = 0.640s
28.19/28.28	c #decision = 8975
28.19/28.28	c #conflict = 624
28.19/28.28	c #restart = 3
28.19/28.28	o 114
28.19/28.28	c Solving starts ...
28.29/28.36	c solving time = 0.069s
28.29/28.36	c #decision = 10024
28.29/28.36	c #conflict = 624
28.29/28.36	c #restart = 3
28.29/28.36	o 113
28.29/28.36	c Solving starts ...
28.39/28.44	c solving time = 0.066s
28.39/28.44	c #decision = 11066
28.39/28.44	c #conflict = 624
28.39/28.44	c #restart = 3
28.39/28.44	o 112
28.39/28.44	c Solving starts ...
28.49/28.52	c solving time = 0.066s
28.49/28.52	c #decision = 12102
28.49/28.52	c #conflict = 624
28.49/28.52	c #restart = 3
28.49/28.52	o 111
28.49/28.52	c Solving starts ...
28.49/28.60	c solving time = 0.070s
28.49/28.60	c #decision = 13209
28.49/28.60	c #conflict = 627
28.49/28.60	c #restart = 3
28.49/28.60	o 110
28.49/28.60	c Solving starts ...
28.69/28.70	c solving time = 0.091s
28.69/28.70	c #decision = 14489
28.69/28.70	c #conflict = 631
28.69/28.70	c #restart = 3
28.69/28.70	o 109
28.69/28.70	c Solving starts ...
28.69/28.78	c solving time = 0.071s
28.69/28.78	c #decision = 15440
28.69/28.78	c #conflict = 636
28.69/28.78	c #restart = 3
28.69/28.78	o 108
28.69/28.78	c Solving starts ...
28.79/28.89	c solving time = 0.099s
28.79/28.89	c #decision = 16772
28.79/28.89	c #conflict = 666
28.79/28.89	c #restart = 3
28.79/28.89	o 107
28.79/28.89	c Solving starts ...
28.99/29.01	c solving time = 0.104s
28.99/29.01	c #decision = 18165
28.99/29.01	c #conflict = 679
28.99/29.01	c #restart = 3
28.99/29.01	o 106
28.99/29.01	c Solving starts ...
29.29/29.31	c solving time = 0.289s
29.29/29.31	c #decision = 20363
29.29/29.31	c #conflict = 1038
29.29/29.31	c #restart = 5
29.29/29.31	o 105
29.29/29.31	c Solving starts ...
29.59/29.67	c solving time = 0.347s
29.59/29.67	c #decision = 23242
29.59/29.67	c #conflict = 1461
29.59/29.67	c #restart = 7
29.59/29.67	o 104
29.59/29.67	c Solving starts ...
29.79/29.84	c solving time = 0.165s
29.79/29.84	c #decision = 25140
29.79/29.84	c #conflict = 1532
29.79/29.84	c #restart = 7
29.79/29.84	o 103
29.79/29.84	c Solving starts ...
29.99/30.04	c solving time = 0.182s
29.99/30.04	c #decision = 26378
29.99/30.04	c #conflict = 1657
29.99/30.04	c #restart = 8
29.99/30.04	o 102
29.99/30.04	c Solving starts ...
30.19/30.24	c solving time = 0.192s
30.19/30.24	c #decision = 27568
30.19/30.24	c #conflict = 1809
30.19/30.24	c #restart = 9
30.19/30.24	o 101
30.19/30.24	c Solving starts ...
30.49/30.54	c solving time = 0.289s
30.49/30.54	c #decision = 28915
30.49/30.54	c #conflict = 2057
30.49/30.54	c #restart = 10
30.49/30.54	o 100
30.49/30.54	c Solving starts ...
30.99/31.08	c solving time = 0.531s
30.99/31.08	c #decision = 30889
30.99/31.08	c #conflict = 2601
30.99/31.08	c #restart = 13
30.99/31.08	o 99
30.99/31.08	c Solving starts ...
31.58/31.61	c solving time = 0.517s
31.58/31.61	c #decision = 33114
31.58/31.61	c #conflict = 3078
31.58/31.61	c #restart = 16
31.58/31.61	o 98
31.58/31.61	c Solving starts ...
31.99/32.10	c solving time = 0.474s
31.99/32.10	c #decision = 34955
31.99/32.10	c #conflict = 3581
31.99/32.10	c #restart = 19
31.99/32.10	o 97
31.99/32.10	c Solving starts ...
32.59/32.62	c solving time = 0.516s
32.59/32.62	c #decision = 36913
32.59/32.62	c #conflict = 4093
32.59/32.62	c #restart = 22
32.59/32.62	o 96
32.59/32.62	c Solving starts ...
33.09/33.17	c solving time = 0.534s
33.09/33.17	c #decision = 38724
33.09/33.17	c #conflict = 4582
33.09/33.17	c #restart = 25
33.09/33.17	o 95
33.09/33.17	c Solving starts ...
33.59/33.63	c solving time = 0.453s
33.59/33.63	c #decision = 40524
33.59/33.63	c #conflict = 5069
33.59/33.63	c #restart = 28
33.59/33.63	o 94
33.59/33.63	c Solving starts ...
34.09/34.17	c solving time = 0.530s
34.09/34.17	c #decision = 42365
34.09/34.17	c #conflict = 5570
34.09/34.17	c #restart = 31
34.09/34.17	o 93
34.09/34.17	c Solving starts ...
34.58/34.69	c solving time = 0.506s
34.58/34.69	c #decision = 44178
34.58/34.69	c #conflict = 6069
34.58/34.69	c #restart = 34
34.58/34.69	o 92
34.58/34.69	c Solving starts ...
35.19/35.20	c solving time = 0.504s
35.19/35.20	c #decision = 45854
35.19/35.20	c #conflict = 6522
35.19/35.20	c #restart = 36
35.19/35.20	o 91
35.19/35.20	c Solving starts ...
35.78/35.81	c solving time = 0.599s
35.78/35.81	c #decision = 49115
35.78/35.81	c #conflict = 7050
35.78/35.81	c #restart = 39
35.78/35.81	o 90
35.78/35.81	c Solving starts ...
37.78/37.84	c solving time = 2.011s
37.78/37.84	c #decision = 52327
37.78/37.84	c #conflict = 8840
37.78/37.84	c #restart = 44
37.78/37.84	o 89
37.78/37.84	c Solving starts ...
38.78/38.82	c solving time = 0.976s
38.78/38.82	c #decision = 54592
38.78/38.82	c #conflict = 9759
38.78/38.82	c #restart = 48
38.78/38.82	o 88
38.78/38.82	c Solving starts ...
41.98/42.04	c solving time = 3.204s
41.98/42.04	c #decision = 60522
41.98/42.04	c #conflict = 13466
41.98/42.04	c #restart = 55
41.98/42.04	o 87
41.98/42.04	c Solving starts ...
47.29/47.36	c solving time = 5.306s
47.29/47.36	c #decision = 68472
47.29/47.36	c #conflict = 18892
47.29/47.36	c #restart = 63
47.29/47.36	o 86
47.29/47.36	c Solving starts ...
51.59/51.61	c solving time = 4.244s
51.59/51.61	c #decision = 75762
51.59/51.61	c #conflict = 22531
51.59/51.61	c #restart = 70
51.59/51.61	o 85
51.59/51.61	c Solving starts ...
52.78/52.85	c solving time = 1.228s
52.78/52.85	c #decision = 80166
52.78/52.85	c #conflict = 23474
52.78/52.85	c #restart = 74
52.78/52.85	o 84
52.78/52.85	c Solving starts ...
65.78/65.86	c solving time = 12.996s
65.78/65.86	c #decision = 96165
65.78/65.86	c #conflict = 35460
65.78/65.86	c #restart = 84
65.78/65.86	o 83
65.78/65.86	c Solving starts ...
67.97/68.07	c solving time = 2.204s
67.97/68.07	c #decision = 99773
67.97/68.07	c #conflict = 37234
67.97/68.07	c #restart = 89
67.97/68.07	o 82
67.97/68.07	c Solving starts ...
71.78/71.83	c solving time = 3.749s
71.78/71.83	c #decision = 109720
71.78/71.83	c #conflict = 41175
71.78/71.83	c #restart = 96
71.78/71.83	o 81
71.78/71.83	c Solving starts ...
71.88/71.90	c solving time = 0.062s
71.88/71.90	c #decision = 110845
71.88/71.90	c #conflict = 41183
71.88/71.90	c #restart = 96
71.88/71.90	o 80
71.88/71.90	c Solving starts ...
77.18/77.28	c solving time = 5.366s
77.18/77.28	c #decision = 124292
77.18/77.28	c #conflict = 47739
77.18/77.28	c #restart = 104
77.18/77.28	o 79
77.18/77.28	c Solving starts ...
77.27/77.39	c solving time = 0.098s
77.27/77.39	c #decision = 125744
77.27/77.39	c #conflict = 47783
77.27/77.39	c #restart = 104
77.27/77.39	o 78
77.27/77.39	c Solving starts ...
78.77/78.81	c solving time = 1.410s
78.77/78.81	c #decision = 134460
78.77/78.81	c #conflict = 49470
78.77/78.81	c #restart = 109
78.77/78.81	o 77
78.77/78.81	c Solving starts ...
79.47/79.56	c solving time = 0.743s
79.47/79.56	c #decision = 137418
79.47/79.56	c #conflict = 50677
79.47/79.56	c #restart = 113
79.47/79.56	o 76
79.47/79.56	c Solving starts ...
81.17/81.22	c solving time = 1.651s
81.17/81.22	c #decision = 143491
81.17/81.22	c #conflict = 54799
81.17/81.22	c #restart = 120
81.17/81.22	o 75
81.17/81.22	c Solving starts ...
82.88/82.97	c solving time = 1.737s
82.88/82.97	c #decision = 149806
82.88/82.97	c #conflict = 58338
82.88/82.97	c #restart = 127
82.88/82.97	o 74
82.88/82.97	c Solving starts ...
83.37/83.47	c solving time = 0.486s
83.37/83.47	c #decision = 152464
83.37/83.47	c #conflict = 59373
83.37/83.47	c #restart = 131
83.37/83.47	o 73
83.37/83.47	c Solving starts ...
84.57/84.62	c solving time = 1.139s
84.57/84.62	c #decision = 156897
84.57/84.62	c #conflict = 61230
84.57/84.62	c #restart = 136
84.57/84.62	o 72
84.57/84.62	c Solving starts ...
86.77/86.87	c solving time = 2.246s
86.77/86.87	c #decision = 164436
86.77/86.87	c #conflict = 64675
86.77/86.87	c #restart = 143
86.77/86.87	o 71
86.77/86.87	c Solving starts ...
98.07/98.17	c solving time = 11.282s
98.07/98.17	c #decision = 201937
98.07/98.17	c #conflict = 83123
98.07/98.17	c #restart = 154
98.07/98.17	o 70
98.07/98.17	c Solving starts ...
98.27/98.37	c learnt constraints deletion: 82967 -> 41484
102.86/102.96	c solving time = 4.781s
102.86/102.96	c #decision = 223343
102.86/102.96	c #conflict = 87209
102.86/102.96	c #restart = 161
102.86/102.96	o 69
102.86/102.97	c Solving starts ...
105.26/105.31	c solving time = 2.333s
105.26/105.31	c #decision = 234180
105.26/105.31	c #conflict = 91256
105.26/105.31	c #restart = 168
105.26/105.31	o 68
105.26/105.31	c Solving starts ...
105.86/105.97	c solving time = 0.652s
105.86/105.97	c #decision = 238998
105.86/105.97	c #conflict = 92565
105.86/105.97	c #restart = 172
105.86/105.97	o 67
105.86/105.97	c Solving starts ...
106.57/106.67	c solving time = 0.688s
106.57/106.67	c #decision = 243365
106.57/106.67	c #conflict = 94081
106.57/106.67	c #restart = 177
106.57/106.67	o 66
106.57/106.67	c Solving starts ...
222.23/222.32	c solving time = 115.607s
222.23/222.32	c #decision = 539682
222.23/222.32	c #conflict = 278065
222.23/222.32	c #restart = 193
222.23/222.32	o 65
222.23/222.32	c Solving starts ...
227.13/227.23	c learnt constraints deletion: 236387 -> 118194
432.80/432.96	c learnt constraints deletion: 118194 -> 59097
432.90/433.02	c solving time = 210.661s
432.90/433.02	c #decision = 540955
432.90/433.02	c #conflict = 278067
432.90/433.02	c #restart = 193
432.90/433.02	o 64
432.90/433.02	c Solving starts ...
457.49/457.62	c solving time = 24.583s
457.49/457.62	c #decision = 548984
457.49/457.62	c #conflict = 279069
457.49/457.62	c #restart = 197
457.49/457.62	o 63
457.49/457.62	c Solving starts ...
458.09/458.25	c solving time = 0.615s
458.09/458.25	c #decision = 552866
458.09/458.25	c #conflict = 279240
458.09/458.25	c #restart = 198
458.09/458.25	o 62
458.09/458.25	c Solving starts ...
458.60/458.73	c solving time = 0.474s
458.60/458.73	c #decision = 555081
458.60/458.73	c #conflict = 279784
458.60/458.73	c #restart = 201
458.60/458.73	o 61
458.60/458.73	c Solving starts ...
460.19/460.36	c solving time = 1.624s
460.19/460.36	c #decision = 560747
460.19/460.36	c #conflict = 281847
460.19/460.36	c #restart = 206
460.19/460.36	o 60
460.19/460.36	c Solving starts ...
464.19/464.39	c solving time = 4.020s
464.19/464.39	c #decision = 574634
464.19/464.39	c #conflict = 287769
464.19/464.39	c #restart = 214
464.19/464.39	o 59
464.19/464.39	c Solving starts ...
469.89/470.06	c solving time = 5.652s
469.89/470.06	c #decision = 589551
469.89/470.06	c #conflict = 296126
469.89/470.06	c #restart = 223
469.89/470.06	o 58
469.89/470.06	c Solving starts ...
470.09/470.21	c learnt constraints deletion: 77128 -> 38564
484.59/484.75	c solving time = 14.686s
484.59/484.75	c #decision = 599404
484.59/484.75	c #conflict = 299985
484.59/484.75	c #restart = 230
484.59/484.75	o 57
484.59/484.75	c Solving starts ...
484.69/484.82	c solving time = 0.059s
484.69/484.82	c #decision = 600554
484.69/484.82	c #conflict = 299987
484.69/484.82	c #restart = 230
484.69/484.82	o 56
484.69/484.82	c Solving starts ...
485.89/486.00	c solving time = 1.167s
485.89/486.00	c #decision = 606482
485.89/486.00	c #conflict = 302186
485.89/486.00	c #restart = 236
485.89/486.00	o 55
485.89/486.00	c Solving starts ...
1190.48/1190.73	c solving time = 704.614s
1190.48/1190.73	c #decision = 624678
1190.48/1190.73	c #conflict = 305622
1190.48/1190.73	c #restart = 243
1190.48/1190.73	o 54
1190.48/1190.73	c Solving starts ...
1190.58/1190.81	c solving time = 0.064s
1190.58/1190.81	c #decision = 625900
1190.58/1190.81	c #conflict = 305623
1190.58/1190.81	c #restart = 243
1190.58/1190.81	o 53
1190.58/1190.81	c Solving starts ...
1190.58/1190.88	c solving time = 0.059s
1190.58/1190.88	c #decision = 626902
1190.58/1190.88	c #conflict = 305624
1190.58/1190.88	c #restart = 243
1190.58/1190.88	o 52
1190.58/1190.88	c Solving starts ...
1190.88/1191.17	c solving time = 0.281s
1190.88/1191.17	c #decision = 629379
1190.88/1191.17	c #conflict = 305912
1190.88/1191.17	c #restart = 245
1190.88/1191.17	o 51
1190.88/1191.17	c Solving starts ...
1200.38/1200.65	c solving time = 9.466s
1200.38/1200.65	c #decision = 642779
1200.38/1200.65	c #conflict = 315400
1200.38/1200.65	c #restart = 254
1200.38/1200.65	o 50
1200.38/1200.65	c Solving starts ...
1213.97/1214.22	c solving time = 13.561s
1213.97/1214.22	c #decision = 646424
1213.97/1214.22	c #conflict = 315594
1213.97/1214.22	c #restart = 255
1213.97/1214.22	o 49
1213.97/1214.22	c Solving starts ...
1213.97/1214.29	c solving time = 0.064s
1213.97/1214.29	c #decision = 647594
1213.97/1214.29	c #conflict = 315604
1213.97/1214.29	c #restart = 255
1213.97/1214.29	o 48
1213.97/1214.29	c Solving starts ...
1214.17/1214.47	c solving time = 0.169s
1214.17/1214.47	c #decision = 649891
1214.17/1214.47	c #conflict = 315691
1214.17/1214.47	c #restart = 255
1214.17/1214.47	o 47
1214.17/1214.47	c Solving starts ...
1229.58/1229.83	c solving time = 15.345s
1229.58/1229.83	c #decision = 651773
1229.58/1229.83	c #conflict = 316363
1229.58/1229.83	c #restart = 258
1229.58/1229.83	o 46
1229.58/1229.83	c Solving starts ...
1242.67/1242.91	c solving time = 13.071s
1242.67/1242.91	c #decision = 673075
1242.67/1242.91	c #conflict = 333930
1242.67/1242.91	c #restart = 269
1242.67/1242.91	o 45
1242.67/1242.91	c Solving starts ...
1242.96/1243.20	c learnt constraints deletion: 76322 -> 38161
1249.07/1249.36	c solving time = 6.441s
1249.07/1249.36	c #decision = 682918
1249.07/1249.36	c #conflict = 342262
1249.07/1249.36	c #restart = 278
1249.07/1249.36	o 44
1249.07/1249.36	c Solving starts ...
1257.07/1257.36	c solving time = 7.983s
1257.07/1257.36	c #decision = 704165
1257.07/1257.36	c #conflict = 359738
1257.07/1257.36	c #restart = 289
1257.07/1257.36	o 43
1257.07/1257.36	c Solving starts ...
1492.93/1493.21	c learnt constraints deletion: 315251 -> 157626

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-3725220-1338636940/watcher-3725220-1338636940 -o /tmp/evaluation-result-3725220-1338636940/solver-3725220-1338636940 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725220-1338636940.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.95 3/176 19848
/proc/meminfo: memFree=27885268/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 832 0 0 0 0 0 0 0 20 0 1 0 329822696 6373376 752 33554432000 4194304 8989770 140734603804384 140737206041240 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 1556 752 429 1171 0 333 0

[startup+0.038339 s]
/proc/loadavg: 1.92 1.98 1.95 3/176 19848
/proc/meminfo: memFree=27885268/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=8272 CPUtime=0.03 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 1345 0 0 0 3 0 0 0 20 0 1 0 329822696 8470528 1265 33554432000 4194304 8989770 140734603804384 140737206041240 4204359 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 2068 1265 430 1171 0 845 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8272

[startup+0.100313 s]
/proc/loadavg: 1.92 1.98 1.95 3/176 19848
/proc/meminfo: memFree=27885268/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=13392 CPUtime=0.09 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 2516 0 0 0 9 0 0 0 20 0 1 0 329822696 13713408 2436 33554432000 4194304 8989770 140734603804384 140737206041240 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 3348 2436 431 1171 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13392

[startup+0.300313 s]
/proc/loadavg: 1.92 1.98 1.95 3/176 19848
/proc/meminfo: memFree=27885268/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=23632 CPUtime=0.28 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 5186 0 0 0 28 0 0 0 20 0 1 0 329822696 24199168 5106 33554432000 4194304 8989770 140734603804384 140737206041240 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 5908 5106 431 1171 0 4685 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 23632

[startup+0.700321 s]
/proc/loadavg: 1.92 1.98 1.95 3/176 19848
/proc/meminfo: memFree=27885268/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=49232 CPUtime=0.69 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 11586 0 0 0 68 1 0 0 20 0 1 0 329822696 50413568 11506 33554432000 4194304 8989770 140734603804384 140737206041240 5796757 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 12308 11506 431 1171 0 11085 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49232

[startup+1.50032 s]
/proc/loadavg: 1.92 1.98 1.95 3/177 19849
/proc/meminfo: memFree=27825368/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=110672 CPUtime=1.49 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 26946 0 0 0 145 4 0 0 20 0 1 0 329822696 113328128 26866 33554432000 4194304 8989770 140734603804384 140734603803880 7732749 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 27668 26866 431 1171 0 26445 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 110672

[startup+3.10031 s]
/proc/loadavg: 1.92 1.98 1.95 3/177 19849
/proc/meminfo: memFree=27743024/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=193616 CPUtime=3.09 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 47682 0 0 0 300 9 0 0 20 0 1 0 329822696 198262784 47602 33554432000 4194304 8989770 140734603804384 140734603803880 7737893 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 48404 47602 431 1171 0 47181 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 193616

[startup+6.30031 s]
/proc/loadavg: 1.85 1.97 1.95 3/177 19888
/proc/meminfo: memFree=27884388/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=455760 CPUtime=6.29 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 113218 0 0 0 607 22 0 0 20 0 1 0 329822696 466698240 113138 33554432000 4194304 8989770 140734603804384 140734603803648 5799472 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 113940 113138 431 1171 0 112717 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 455760

[startup+12.7003 s]
/proc/loadavg: 1.86 1.97 1.95 3/177 19888
/proc/meminfo: memFree=26988364/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=809040 CPUtime=12.69 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 201538 0 0 0 1229 40 0 0 20 0 1 0 329822696 828456960 201458 33554432000 4194304 8989770 140734603804384 140734603803880 7732165 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 202260 201458 431 1171 0 201037 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 809040

[startup+25.5003 s]
/proc/loadavg: 1.89 1.97 1.95 3/177 19888
/proc/meminfo: memFree=26081304/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=1700944 CPUtime=25.49 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 424440 0 0 0 2464 85 0 0 20 0 1 0 329822696 1741766656 424360 33554432000 4194304 8989770 140734603804384 140734603802304 4212523 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 425236 424367 436 1171 0 424013 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1700944

[startup+51.1003 s]
/proc/loadavg: 1.93 1.97 1.95 3/177 19888
/proc/meminfo: memFree=27349980/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=271440 CPUtime=51.08 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 473463 0 0 0 5000 108 0 0 20 0 1 0 329822696 277954560 67104 33554432000 4194304 8989770 140734603804384 140734603803880 6587820 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 67860 67104 471 1171 0 66637 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 271440

[startup+102.306 s]
/proc/loadavg: 1.97 1.97 1.95 3/177 19888
/proc/meminfo: memFree=27193784/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=427088 CPUtime=102.27 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 512392 0 0 0 10093 134 0 0 20 0 1 0 329822696 437338112 106018 33554432000 4194304 8989770 140734603804384 140734603803648 4209187 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 106772 106018 473 1171 0 105549 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 427088

[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/177 19888
/proc/meminfo: memFree=26982888/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=653392 CPUtime=162.24 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 568975 0 0 0 16062 162 0 0 20 0 1 0 329822696 669073408 162594 33554432000 4194304 8989770 140734603804384 140734603803648 4451620 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 163348 162594 473 1171 0 162125 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 653392

[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/177 19889
/proc/meminfo: memFree=26752152/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=870480 CPUtime=222.23 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 623255 0 0 0 22035 188 0 0 20 0 1 0 329822696 891371520 216866 33554432000 4194304 8989770 140734603804384 140734603803880 4437964 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 217620 216866 473 1171 0 216397 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 870480

[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/178 19892
/proc/meminfo: memFree=26697984/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=920656 CPUtime=282.21 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 635805 0 0 0 28026 195 0 0 20 0 1 0 329822696 942751744 229410 33554432000 4194304 8989770 140734603804384 140734603803648 7670207 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 230164 229410 473 1171 0 228941 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 920656

[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/177 19892
/proc/meminfo: memFree=26698020/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=920656 CPUtime=342.21 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 635809 0 0 0 34019 202 0 0 20 0 1 0 329822696 942751744 229410 33554432000 4194304 8989770 140734603804384 140734603803880 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 230164 229410 473 1171 0 228941 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 920656

[startup+402.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/177 19892
/proc/meminfo: memFree=26698172/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=920656 CPUtime=402.2 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 635810 0 0 0 40013 207 0 0 20 0 1 0 329822696 942751744 229410 33554432000 4194304 8989770 140734603804384 140734603803880 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 230164 229410 473 1171 0 228941 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 920656

[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/177 19892
/proc/meminfo: memFree=26698076/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=920656 CPUtime=462.19 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 635811 0 0 0 46006 213 0 0 20 0 1 0 329822696 942751744 229410 33554432000 4194304 8989770 140734603804384 140734603803880 4437073 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 230164 229410 473 1171 0 228941 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 920656

[startup+522.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/177 19892
/proc/meminfo: memFree=26697112/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=920656 CPUtime=522.18 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 635812 0 0 0 51994 224 0 0 20 0 1 0 329822696 942751744 229410 33554432000 4194304 8989770 140734603804384 140734603803880 4208836 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 230164 229410 473 1171 0 228941 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 920656

[startup+582.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/177 19893
/proc/meminfo: memFree=26697140/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=920656 CPUtime=582.17 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 635814 0 0 0 57988 229 0 0 20 0 1 0 329822696 942751744 229410 33554432000 4194304 8989770 140734603804384 140734603803880 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 230164 229410 473 1171 0 228941 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 920656

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.05 2.01 1.96 3/177 19893
/proc/meminfo: memFree=26681772/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=920656 CPUtime=822.14 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 635818 0 0 0 81964 250 0 0 20 0 1 0 329822696 942751744 229410 33554432000 4194304 8989770 140734603804384 140734603803880 4209198 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 230164 229410 473 1171 0 228941 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 920656

[startup+882.3 s]
/proc/loadavg: 2.05 2.02 1.97 3/178 19897
/proc/meminfo: memFree=26680552/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=920656 CPUtime=882.12 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 635818 0 0 0 87956 256 0 0 20 0 1 0 329822696 942751744 229410 33554432000 4194304 8989770 140734603804384 140734603803880 7678791 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 230164 229410 473 1171 0 228941 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 920656

[startup+942.3 s]
/proc/loadavg: 2.11 2.04 1.98 3/177 19897
/proc/meminfo: memFree=26680588/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=920656 CPUtime=942.11 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 635818 0 0 0 93948 263 0 0 20 0 1 0 329822696 942751744 229410 33554432000 4194304 8989770 140734603804384 140734603803880 4204350 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 230164 229410 473 1171 0 228941 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 920656

[startup+1002.3 s]
/proc/loadavg: 2.04 2.03 1.98 3/177 19897
/proc/meminfo: memFree=26680576/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=920656 CPUtime=1002.1 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 635818 0 0 0 99940 270 0 0 20 0 1 0 329822696 942751744 229410 33554432000 4194304 8989770 140734603804384 140734603802304 7686756 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 230164 229410 473 1171 0 228941 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 920656

[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/177 19897
/proc/meminfo: memFree=26679584/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=920656 CPUtime=1062.09 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 635818 0 0 0 105934 275 0 0 20 0 1 0 329822696 942751744 229410 33554432000 4194304 8989770 140734603804384 140734603803880 4209301 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 230164 229410 473 1171 0 228941 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 920656

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/177 19897
/proc/meminfo: memFree=26679832/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=920656 CPUtime=1122.08 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 635818 0 0 0 111927 281 0 0 20 0 1 0 329822696 942751744 229410 33554432000 4194304 8989770 140734603804384 140734603802368 4512528 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 230164 229410 473 1171 0 228941 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 920656

[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 1.98 3/177 19898
/proc/meminfo: memFree=26710112/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=889936 CPUtime=1182.07 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 635818 0 0 0 117919 288 0 0 20 0 1 0 329822696 911294464 221730 33554432000 4194304 8989770 140734603804384 140734603803648 4209332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 222484 221730 473 1171 0 221261 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 889936

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 19898
/proc/meminfo: memFree=26882428/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=717904 CPUtime=1242.07 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 635818 0 0 0 123906 301 0 0 20 0 1 0 329822696 735133696 178722 33554432000 4194304 8989770 140734603804384 140734603803880 6592483 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 179476 178722 473 1171 0 178253 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 717904

[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 1.99 3/177 19898
/proc/meminfo: memFree=26880940/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=717904 CPUtime=1302.06 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 635818 0 0 0 129885 321 0 0 20 0 1 0 329822696 735133696 178722 33554432000 4194304 8989770 140734603804384 140734603802368 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 179476 178722 473 1171 0 178253 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 717904

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/177 19898
/proc/meminfo: memFree=26771324/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=828496 CPUtime=1362.05 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 663466 0 0 0 135862 343 0 0 20 0 1 0 329822696 848379904 206370 33554432000 4194304 8989770 140734603804384 140734603803648 4437916 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 207124 206370 473 1171 0 205901 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 828496

[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 1.99 3/177 19898
/proc/meminfo: memFree=26668528/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=927824 CPUtime=1422.05 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 688298 0 0 0 141844 361 0 0 20 0 1 0 329822696 950091776 231202 33554432000 4194304 8989770 140734603804384 140734603803648 4209332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 231956 231202 473 1171 0 230733 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 927824

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/178 19902
/proc/meminfo: memFree=26533980/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=1060944 CPUtime=1482.04 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 721578 0 0 0 147824 380 0 0 20 0 1 0 329822696 1086406656 264482 33554432000 4194304 8989770 140734603804384 140734603803648 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 265236 264482 473 1171 0 264013 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1060944

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 19925
/proc/meminfo: memFree=26532244/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=1060944 CPUtime=1542.03 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 721578 0 0 0 153815 388 0 0 20 0 1 0 329822696 1086406656 264482 33554432000 4194304 8989770 140734603804384 140734603803880 4209433 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 265236 264482 473 1171 0 264013 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1060944

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 19925
/proc/meminfo: memFree=26529952/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=1060944 CPUtime=1602.01 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 721578 0 0 0 159803 398 0 0 20 0 1 0 329822696 1086406656 264482 33554432000 4194304 8989770 140734603804384 140734603803880 4208857 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 265236 264482 473 1171 0 264013 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1060944

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 19925
/proc/meminfo: memFree=26529864/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=1060944 CPUtime=1662.01 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 721579 0 0 0 165797 404 0 0 20 0 1 0 329822696 1086406656 264482 33554432000 4194304 8989770 140734603804384 140734603802304 4512536 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 265236 264482 473 1171 0 264013 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1060944

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 19926
/proc/meminfo: memFree=26526660/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=1060944 CPUtime=1721.99 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 721586 0 0 0 171787 412 0 0 20 0 1 0 329822696 1086406656 264482 33554432000 4194304 8989770 140734603804384 140734603803880 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 265236 264482 473 1171 0 264013 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1060944

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 19927
/proc/meminfo: memFree=26524352/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=1060944 CPUtime=1781.98 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 721588 0 0 0 177781 417 0 0 20 0 1 0 329822696 1086406656 264482 33554432000 4194304 8989770 140734603804384 140734603802304 4208870 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 265236 264482 473 1171 0 264013 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1060944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 19927
/proc/meminfo: memFree=26524600/32873844 swapFree=7116/7116
[pid=19848] ppid=19846 vsize=1060944 CPUtime=1800.08 cores=0,2,4,6
/proc/19848/stat : 19848 (toysat) R 19846 19848 19272 0 -1 4202496 721588 0 0 0 179589 419 0 0 20 0 1 0 329822696 1086406656 264482 33554432000 4194304 8989770 140734603804384 140734603802304 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19848/statm: 265236 264482 473 1171 0 264013 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1060944

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): 1795.9
CPU system time (s): 4.19736
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 1896528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.9
system time used= 4.19736
maximum resident set size= 1893504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 721588
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= 77
involuntary context switches= 2096

runsolver used 2.77058 second user time and 9.71352 second system time

The end

Launcher Data 

Begin job on node108 at 2012-06-02 13:35:41
IDJOB=3725220
IDBENCH=2954
IDSOLVER=2308
FILE ID=node108/3725220-1338636940
RUNJOBID= node108-1338631508-19288
PBS_JOBID= 14636472
Free space on /tmp= 71424 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.12.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725220-1338636940/watcher-3725220-1338636940 -o /tmp/evaluation-result-3725220-1338636940/solver-3725220-1338636940 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725220-1338636940.opb

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

MD5SUM BENCH= b1eab2cf935e923f8f1ff9f24be23d02
RANDOM SEED=444871470

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:        27885648 kB
Buffers:          308736 kB
Cached:          3494228 kB
SwapCached:           52 kB
Active:          2268748 kB
Inactive:        1918512 kB
Active(anon):     371868 kB
Inactive(anon):    13032 kB
Active(file):    1896880 kB
Inactive(file):  1905480 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108544 kB
Dirty:             62632 kB
Writeback:             0 kB
AnonPages:        391340 kB
Mapped:            16140 kB
Shmem:               172 kB
Slab:             663752 kB
SReclaimable:     105640 kB
SUnreclaim:       558112 kB
KernelStack:        1448 kB
PageTables:         4724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     494908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    370688 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= 71396 MiB
End job on node108 at 2012-06-02 14:05:44