Trace number 3706845

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2012-05-17? (TO) 1800.07 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.10.opb
MD5SUMf304ba5324add428c73c7022630c48ee
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark49
Best CPU time to get the best result obtained on this benchmark11.6442
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 49
Optimality of the best value was proved YES
Number of variables27027
Total number of constraints1883063
Number of constraints which are clauses1877876
Number of constraints which are cardinality constraints (but not clauses)5187
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint182
Number of terms in the objective function 182
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 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 180
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 362
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 

33.59/33.66	c 2012-05-27T14:56:34+0200
33.59/33.66	c arch = x86_64
33.59/33.66	c os = linux
33.59/33.66	c compiler = ghc 7.4
33.59/33.66	c packages:
33.59/33.66	c   OptDir-0.0.1
33.59/33.66	c   array-0.4.0.0
33.59/33.66	c   base-4.5.0.0
33.59/33.66	c   bytestring-0.9.2.1
33.59/33.66	c   containers-0.4.2.1
33.59/33.66	c   deepseq-1.3.0.0
33.59/33.66	c   mtl-2.1.1
33.59/33.66	c   old_locale-1.0.0.4
33.59/33.66	c   parse_dimacs-1.2
33.59/33.66	c   parsec-3.1.2
33.59/33.66	c   queue-0.1.2
33.59/33.66	c   stm-2.3
33.59/33.66	c   time-1.4
33.59/33.66	c command line = ["--pb","HOME/instance-3706845-1338123392.opb"]
33.59/33.66	c #vars 27027
33.59/33.66	c #constraints 1883063
33.59/33.66	c Solving starts ...
34.09/34.12	c solving time = 0.452s
34.09/34.12	c #decision = 9707
34.09/34.12	c #conflict = 511
34.09/34.12	c #restart = 3
34.09/34.12	o 125
34.09/34.12	c Solving starts ...
34.09/34.20	c solving time = 0.067s
34.09/34.20	c #decision = 11192
34.09/34.20	c #conflict = 511
34.09/34.20	c #restart = 3
34.09/34.20	o 124
34.09/34.20	c Solving starts ...
34.19/34.27	c solving time = 0.064s
34.19/34.27	c #decision = 12803
34.19/34.27	c #conflict = 511
34.19/34.27	c #restart = 3
34.19/34.27	o 123
34.19/34.28	c Solving starts ...
34.28/34.35	c solving time = 0.064s
34.28/34.35	c #decision = 14343
34.28/34.35	c #conflict = 513
34.28/34.35	c #restart = 3
34.28/34.35	o 122
34.28/34.35	c Solving starts ...
34.48/34.52	c solving time = 0.162s
34.48/34.52	c #decision = 18425
34.48/34.52	c #conflict = 522
34.48/34.52	c #restart = 3
34.48/34.52	o 121
34.48/34.52	c Solving starts ...
34.58/34.62	c solving time = 0.084s
34.58/34.62	c #decision = 20605
34.58/34.62	c #conflict = 523
34.58/34.62	c #restart = 3
34.58/34.62	o 120
34.58/34.62	c Solving starts ...
34.68/34.74	c solving time = 0.114s
34.68/34.74	c #decision = 23283
34.68/34.74	c #conflict = 524
34.68/34.74	c #restart = 3
34.68/34.74	o 119
34.68/34.74	c Solving starts ...
34.78/34.86	c solving time = 0.109s
34.78/34.86	c #decision = 25831
34.78/34.86	c #conflict = 537
34.78/34.86	c #restart = 3
34.78/34.86	o 118
34.78/34.86	c Solving starts ...
34.88/34.97	c solving time = 0.099s
34.88/34.97	c #decision = 28144
34.88/34.97	c #conflict = 573
34.88/34.97	c #restart = 3
34.88/34.97	o 117
34.88/34.97	c Solving starts ...
35.08/35.15	c solving time = 0.163s
35.08/35.15	c #decision = 31058
35.08/35.15	c #conflict = 758
35.08/35.15	c #restart = 4
35.08/35.15	o 116
35.08/35.15	c Solving starts ...
35.29/35.31	c solving time = 0.157s
35.29/35.31	c #decision = 33136
35.29/35.31	c #conflict = 884
35.29/35.31	c #restart = 5
35.29/35.31	o 115
35.29/35.31	c Solving starts ...
35.38/35.46	c solving time = 0.132s
35.38/35.46	c #decision = 34779
35.38/35.46	c #conflict = 1001
35.38/35.46	c #restart = 6
35.38/35.46	o 114
35.38/35.46	c Solving starts ...
35.48/35.57	c solving time = 0.100s
35.48/35.57	c #decision = 36338
35.48/35.57	c #conflict = 1078
35.48/35.57	c #restart = 6
35.48/35.57	o 113
35.48/35.57	c Solving starts ...
35.68/35.70	c solving time = 0.126s
35.68/35.70	c #decision = 38806
35.68/35.70	c #conflict = 1132
35.68/35.70	c #restart = 6
35.68/35.70	o 112
35.68/35.70	c Solving starts ...
35.78/35.82	c solving time = 0.107s
35.78/35.82	c #decision = 40689
35.78/35.82	c #conflict = 1181
35.78/35.82	c #restart = 6
35.78/35.82	o 111
35.78/35.82	c Solving starts ...
35.88/35.92	c solving time = 0.093s
35.88/35.92	c #decision = 42336
35.88/35.92	c #conflict = 1227
35.88/35.92	c #restart = 6
35.88/35.92	o 110
35.88/35.92	c Solving starts ...
35.98/36.06	c solving time = 0.127s
35.98/36.06	c #decision = 44158
35.98/36.06	c #conflict = 1314
35.98/36.06	c #restart = 6
35.98/36.06	o 109
35.98/36.06	c Solving starts ...
36.18/36.21	c solving time = 0.139s
36.18/36.21	c #decision = 46141
36.18/36.21	c #conflict = 1388
36.18/36.21	c #restart = 6
36.18/36.21	o 108
36.18/36.21	c Solving starts ...
36.48/36.53	c solving time = 0.313s
36.48/36.53	c #decision = 50946
36.48/36.53	c #conflict = 1634
36.48/36.53	c #restart = 7
36.48/36.53	o 107
36.48/36.53	c Solving starts ...
36.98/37.07	c solving time = 0.529s
36.98/37.07	c #decision = 55039
36.98/37.07	c #conflict = 2181
36.98/37.07	c #restart = 10
36.98/37.07	o 106
36.98/37.07	c Solving starts ...
37.39/37.42	c solving time = 0.339s
37.39/37.42	c #decision = 56935
37.39/37.42	c #conflict = 2496
37.39/37.42	c #restart = 12
37.39/37.42	o 105
37.39/37.42	c Solving starts ...
37.69/37.79	c solving time = 0.360s
37.69/37.79	c #decision = 59644
37.69/37.79	c #conflict = 2811
37.69/37.79	c #restart = 14
37.69/37.79	o 104
37.69/37.79	c Solving starts ...
38.18/38.21	c solving time = 0.407s
38.18/38.21	c #decision = 62861
38.18/38.21	c #conflict = 3159
38.18/38.21	c #restart = 16
38.18/38.21	o 103
38.18/38.21	c Solving starts ...
38.59/38.61	c solving time = 0.393s
38.59/38.61	c #decision = 65383
38.59/38.61	c #conflict = 3529
38.59/38.61	c #restart = 18
38.59/38.61	o 102
38.59/38.61	c Solving starts ...
38.98/39.04	c solving time = 0.421s
38.98/39.04	c #decision = 68428
38.98/39.04	c #conflict = 3874
38.98/39.04	c #restart = 20
38.98/39.04	o 101
38.98/39.04	c Solving starts ...
39.69/39.73	c solving time = 0.671s
39.69/39.73	c #decision = 70861
39.69/39.73	c #conflict = 4776
39.69/39.73	c #restart = 24
39.69/39.73	o 100
39.69/39.73	c Solving starts ...
40.28/40.39	c solving time = 0.656s
40.28/40.39	c #decision = 73314
40.28/40.39	c #conflict = 5710
40.28/40.39	c #restart = 28
40.28/40.39	o 99
40.28/40.39	c Solving starts ...
42.78/42.85	c solving time = 2.449s
42.78/42.85	c #decision = 80632
42.78/42.85	c #conflict = 9119
42.78/42.85	c #restart = 35
42.78/42.85	o 98
42.78/42.85	c Solving starts ...
43.88/43.99	c solving time = 1.125s
43.88/43.99	c #decision = 85814
43.88/43.99	c #conflict = 10633
43.88/43.99	c #restart = 40
43.88/43.99	o 97
43.88/43.99	c Solving starts ...
46.49/46.51	c solving time = 2.515s
46.49/46.51	c #decision = 94035
46.49/46.51	c #conflict = 14242
46.49/46.51	c #restart = 47
46.49/46.51	o 96
46.49/46.51	c Solving starts ...
48.78/48.83	c solving time = 2.306s
48.78/48.83	c #decision = 104329
48.78/48.83	c #conflict = 18165
48.78/48.83	c #restart = 54
48.78/48.83	o 95
48.78/48.83	c Solving starts ...
49.68/49.70	c solving time = 0.861s
49.68/49.70	c #decision = 109551
49.68/49.70	c #conflict = 19900
49.68/49.70	c #restart = 59
49.68/49.70	o 94
49.68/49.70	c Solving starts ...
50.78/50.88	c solving time = 1.171s
50.78/50.88	c #decision = 115771
50.78/50.88	c #conflict = 21647
50.78/50.88	c #restart = 64
50.78/50.88	o 93
50.78/50.88	c Solving starts ...
51.69/51.78	c solving time = 0.896s
51.69/51.78	c #decision = 120613
51.69/51.78	c #conflict = 23452
51.69/51.78	c #restart = 69
51.69/51.78	o 92
51.69/51.78	c Solving starts ...
53.68/53.78	c solving time = 1.992s
53.68/53.78	c #decision = 132668
53.68/53.78	c #conflict = 27136
53.68/53.78	c #restart = 76
53.68/53.78	o 91
53.68/53.78	c Solving starts ...
54.68/54.72	c solving time = 0.921s
54.68/54.72	c #decision = 138416
54.68/54.72	c #conflict = 28508
54.68/54.72	c #restart = 81
54.68/54.72	o 90
54.68/54.72	c Solving starts ...
55.58/55.67	c solving time = 0.948s
55.58/55.67	c #decision = 144382
55.58/55.67	c #conflict = 30197
55.58/55.67	c #restart = 86
55.58/55.67	o 89
55.58/55.67	c Solving starts ...
56.68/56.79	c solving time = 1.109s
56.68/56.79	c #decision = 149775
56.68/56.79	c #conflict = 32124
56.68/56.79	c #restart = 91
56.68/56.79	o 88
56.68/56.79	c Solving starts ...
57.19/57.27	c solving time = 0.469s
57.19/57.27	c #decision = 153221
57.19/57.27	c #conflict = 33062
57.19/57.27	c #restart = 95
57.19/57.27	o 87
57.19/57.27	c Solving starts ...
57.58/57.65	c solving time = 0.371s
57.58/57.65	c #decision = 156842
57.58/57.65	c #conflict = 33639
57.58/57.65	c #restart = 98
57.58/57.65	o 86
57.58/57.65	c Solving starts ...
59.28/59.30	c solving time = 1.637s
59.28/59.30	c #decision = 165096
59.28/59.30	c #conflict = 36897
59.28/59.30	c #restart = 105
59.28/59.30	o 85
59.28/59.30	c Solving starts ...
60.28/60.39	c solving time = 1.080s
60.28/60.39	c #decision = 173914
60.28/60.39	c #conflict = 38706
60.28/60.39	c #restart = 110
60.28/60.39	o 84
60.28/60.39	c Solving starts ...
60.38/60.46	c solving time = 0.059s
60.38/60.46	c #decision = 175079
60.38/60.46	c #conflict = 38710
60.38/60.46	c #restart = 110
60.38/60.46	o 83
60.38/60.46	c Solving starts ...
61.98/62.09	c solving time = 1.621s
61.98/62.09	c #decision = 184920
61.98/62.09	c #conflict = 41380
61.98/62.09	c #restart = 116
61.98/62.09	o 82
61.98/62.09	c Solving starts ...
62.08/62.17	c solving time = 0.072s
62.08/62.17	c #decision = 186365
62.08/62.17	c #conflict = 41405
62.08/62.17	c #restart = 116
62.08/62.17	o 81
62.08/62.17	c Solving starts ...
68.19/68.25	c solving time = 6.068s
68.19/68.25	c #decision = 214889
68.19/68.25	c #conflict = 53324
68.19/68.25	c #restart = 126
68.19/68.25	o 80
68.19/68.25	c Solving starts ...
69.38/69.43	c solving time = 1.165s
69.38/69.43	c #decision = 220811
69.38/69.43	c #conflict = 55192
69.38/69.43	c #restart = 131
69.38/69.43	o 79
69.38/69.43	c Solving starts ...
168.27/168.38	c solving time = 98.929s
168.27/168.38	c #decision = 466098
168.27/168.38	c #conflict = 210610
168.27/168.38	c #restart = 147
168.27/168.38	o 78
168.27/168.38	c Solving starts ...
171.16/171.29	c learnt constraints deletion: 210460 -> 105230
172.36/172.44	c learnt constraints deletion: 105230 -> 52615
214.76/214.81	c solving time = 46.408s
214.76/214.81	c #decision = 467494
214.76/214.81	c #conflict = 210640
214.76/214.81	c #restart = 147
214.76/214.81	o 77
214.76/214.81	c Solving starts ...
216.06/216.17	c solving time = 1.350s
216.06/216.17	c #decision = 477088
216.06/216.17	c #conflict = 211841
216.06/216.17	c #restart = 151
216.06/216.17	o 76
216.06/216.17	c Solving starts ...
256.25/256.37	c solving time = 40.180s
256.25/256.37	c #decision = 562267
256.25/256.37	c #conflict = 256682
256.25/256.37	c #restart = 164
256.25/256.37	o 75
256.25/256.37	c Solving starts ...
256.84/256.95	c learnt constraints deletion: 98669 -> 49335
256.94/257.09	c solving time = 0.708s
256.94/257.09	c #decision = 563799
256.94/257.09	c #conflict = 256697
256.94/257.09	c #restart = 164
256.94/257.09	o 74
256.94/257.09	c Solving starts ...
260.65/260.73	c solving time = 3.636s
260.65/260.73	c #decision = 574726
260.65/260.73	c #conflict = 260215
260.65/260.73	c #restart = 171
260.65/260.73	o 73
260.65/260.73	c Solving starts ...
262.34/262.46	c solving time = 1.721s
262.34/262.46	c #decision = 578526
262.34/262.46	c #conflict = 261514
262.34/262.46	c #restart = 175
262.34/262.46	o 72
262.34/262.46	c Solving starts ...
269.44/269.56	c solving time = 7.084s
269.44/269.56	c #decision = 594002
269.44/269.56	c #conflict = 269958
269.44/269.56	c #restart = 184
269.44/269.56	o 71
269.44/269.56	c Solving starts ...
317.42/317.53	c solving time = 47.951s
317.42/317.53	c #decision = 694167
317.42/317.53	c #conflict = 328508
317.42/317.53	c #restart = 198
317.42/317.53	o 70
317.42/317.53	c Solving starts ...
326.32/326.48	c learnt constraints deletion: 121127 -> 60564
579.06/579.21	c solving time = 261.602s
579.06/579.21	c #decision = 967039
579.06/579.21	c #conflict = 475512
579.06/579.21	c #restart = 214
579.06/579.21	o 69
579.06/579.21	c Solving starts ...
579.46/579.69	c learnt constraints deletion: 207551 -> 103776
582.97/583.12	c learnt constraints deletion: 103776 -> 51888
739.73/739.99	c solving time = 160.743s
739.73/739.99	c #decision = 973595
739.73/739.99	c #conflict = 477992
739.73/739.99	c #restart = 220
739.73/739.99	o 68
739.73/739.99	c Solving starts ...
767.41/767.62	c solving time = 27.609s
767.41/767.62	c #decision = 1011339
767.41/767.62	c #conflict = 496990
767.41/767.62	c #restart = 231
767.41/767.62	o 67
767.41/767.62	c Solving starts ...
767.51/767.72	c solving time = 0.092s
767.51/767.72	c #decision = 1012713
767.51/767.72	c #conflict = 497036
767.51/767.72	c #restart = 231
767.51/767.72	o 66
767.51/767.73	c Solving starts ...
768.72/768.97	c solving time = 1.235s
768.72/768.97	c #decision = 1017706
768.72/768.97	c #conflict = 497772
768.72/768.97	c #restart = 234
768.72/768.97	o 65
768.72/768.97	c Solving starts ...
769.01/769.23	c learnt constraints deletion: 74128 -> 37064
782.41/782.68	c solving time = 13.702s
782.41/782.68	c #decision = 1029516
782.41/782.68	c #conflict = 502046
782.41/782.68	c #restart = 241
782.41/782.68	o 64
782.41/782.68	c Solving starts ...
782.61/782.80	c solving time = 0.105s
782.61/782.80	c #decision = 1030882
782.61/782.80	c #conflict = 502143
782.61/782.80	c #restart = 241
782.61/782.80	o 63
782.61/782.80	c Solving starts ...
811.11/811.33	c solving time = 28.518s
811.11/811.33	c #decision = 1109588
811.11/811.33	c #conflict = 541041
811.11/811.33	c #restart = 254
811.11/811.33	o 62
811.11/811.33	c Solving starts ...
812.81/813.01	c learnt constraints deletion: 80313 -> 40157

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-3706845-1338123392/watcher-3706845-1338123392 -o /tmp/evaluation-result-3706845-1338123392/solver-3706845-1338123392 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706845-1338123392.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.86 2.02 1.99 2/176 21601
/proc/meminfo: memFree=27030420/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 788 0 0 0 0 0 0 0 20 0 1 0 278467952 6356992 709 33554432000 4194304 8973514 140733200176832 140737459245432 7858672 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21601/statm: 1552 709 416 1167 0 333 0

[startup+0.0927831 s]
/proc/loadavg: 1.86 2.02 1.99 2/176 21601
/proc/meminfo: memFree=27030420/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=11328 CPUtime=0.08 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 2100 0 0 0 8 0 0 0 20 0 1 0 278467952 11599872 2021 33554432000 4194304 8973514 140733200176832 140733200176328 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21601/statm: 2832 2021 418 1167 0 1613 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11328

[startup+0.100178 s]
/proc/loadavg: 1.86 2.02 1.99 2/176 21601
/proc/meminfo: memFree=27030420/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=11328 CPUtime=0.09 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 2100 0 0 0 9 0 0 0 20 0 1 0 278467952 11599872 2021 33554432000 4194304 8973514 140733200176832 140733200176328 7643000 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21601/statm: 2832 2021 418 1167 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11328

[startup+0.300208 s]
/proc/loadavg: 1.86 2.02 1.99 2/176 21601
/proc/meminfo: memFree=27030420/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=23616 CPUtime=0.29 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 5172 0 0 0 28 1 0 0 20 0 1 0 278467952 24182784 5093 33554432000 4194304 8973514 140733200176832 140733200176328 5638131 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21601/statm: 5904 5093 418 1167 0 4685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23616

[startup+0.700259 s]
/proc/loadavg: 1.86 2.02 1.99 2/176 21601
/proc/meminfo: memFree=27030420/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=49216 CPUtime=0.69 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 11572 0 0 0 67 2 0 0 20 0 1 0 278467952 50397184 11493 33554432000 4194304 8973514 140733200176832 140733200176328 4636484 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21601/statm: 12304 11493 418 1167 0 11085 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49216

[startup+1.50022 s]
/proc/loadavg: 1.86 2.02 1.99 3/177 21602
/proc/meminfo: memFree=26890796/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=110656 CPUtime=1.49 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 26760 0 0 0 144 5 0 0 20 0 1 0 278467952 113311744 26681 33554432000 4194304 8973514 140733200176832 140733200176328 4208816 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21601/statm: 27664 26681 418 1167 0 26445 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 110656

[startup+3.10026 s]
/proc/loadavg: 1.86 2.02 1.99 3/177 21602
/proc/meminfo: memFree=26756744/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=193600 CPUtime=3.09 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 47669 0 0 0 301 8 0 0 20 0 1 0 278467952 198246400 47590 33554432000 4194304 8973514 140733200176832 140733200176096 4673845 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/21601/statm: 48400 47590 418 1167 0 47181 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 193600

[startup+6.30027 s]
/proc/loadavg: 1.87 2.02 1.99 3/177 21602
/proc/meminfo: memFree=26539372/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=455744 CPUtime=6.29 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 113205 0 0 0 608 21 0 0 20 0 1 0 278467952 466681856 113126 33554432000 4194304 8973514 140733200176832 140733200175672 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 113936 113126 418 1167 0 112717 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 455744

[startup+12.7003 s]
/proc/loadavg: 1.88 2.02 1.99 3/177 21602
/proc/meminfo: memFree=26071012/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=810048 CPUtime=12.69 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 201781 0 0 0 1230 39 0 0 20 0 1 0 278467952 829489152 201702 33554432000 4194304 8973514 140733200176832 140733200176328 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 202512 201702 418 1167 0 201293 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 810048

[startup+25.5003 s]
/proc/loadavg: 1.91 2.02 1.99 3/177 21602
/proc/meminfo: memFree=25435244/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=1444928 CPUtime=25.49 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 360501 0 0 0 2476 73 0 0 20 0 1 0 278467952 1479606272 360422 33554432000 4194304 8973514 140733200176832 140733200174784 4209278 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 361232 360422 418 1167 0 360013 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1444928

[startup+51.1003 s]
/proc/loadavg: 1.94 2.02 1.99 3/177 21602
/proc/meminfo: memFree=26557288/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=324672 CPUtime=51.08 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 573282 0 0 0 4983 125 0 0 20 0 1 0 278467952 332464128 80403 33554432000 4194304 8973514 140733200176832 140733200174848 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 81168 80403 456 1167 0 79949 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 324672

[startup+102.3 s]
/proc/loadavg: 1.97 2.01 1.99 3/177 21602
/proc/meminfo: memFree=26378648/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=502848 CPUtime=102.28 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 617826 0 0 0 10082 146 0 0 20 0 1 0 278467952 514916352 124947 33554432000 4194304 8973514 140733200176832 140733200176328 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 125712 124947 456 1167 0 124493 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 502848

[startup+162.3 s]
/proc/loadavg: 1.99 2.01 1.99 3/177 21602
/proc/meminfo: memFree=26144688/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=736320 CPUtime=162.27 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 676194 0 0 0 16057 170 0 0 20 0 1 0 278467952 753991680 183315 33554432000 4194304 8973514 140733200176832 140733200176328 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 184080 183315 456 1167 0 182861 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 736320

[startup+222.306 s]
/proc/loadavg: 1.99 2.00 1.99 3/178 21606
/proc/meminfo: memFree=26059660/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=821312 CPUtime=222.26 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 697449 0 0 0 22042 184 0 0 20 0 1 0 278467952 841023488 204564 33554432000 4194304 8973514 140733200176832 140733200176328 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 205328 204564 457 1167 0 204109 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 821312

[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/178 21628
/proc/meminfo: memFree=25948832/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=931904 CPUtime=282.23 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 725111 0 0 0 28020 203 0 0 20 0 1 0 278467952 954269696 232212 33554432000 4194304 8973514 140733200176832 140733200176328 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 232976 232212 457 1167 0 231757 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 931904

[startup+342.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 21628
/proc/meminfo: memFree=25798828/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=1077312 CPUtime=342.22 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 761472 0 0 0 34000 222 0 0 20 0 1 0 278467952 1103167488 268564 33554432000 4194304 8973514 140733200176832 140733200176328 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 269328 268564 457 1167 0 268109 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1077312

[startup+402.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 21628
/proc/meminfo: memFree=25792780/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=1082432 CPUtime=402.21 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 762755 0 0 0 39993 228 0 0 20 0 1 0 278467952 1108410368 269844 33554432000 4194304 8973514 140733200176832 140733200176096 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 270608 269844 457 1167 0 269389 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1082432

[startup+462.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 21628
/proc/meminfo: memFree=25782640/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=1088576 CPUtime=462.19 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 764298 0 0 0 45981 238 0 0 20 0 1 0 278467952 1114701824 271380 33554432000 4194304 8973514 140733200176832 140733200176096 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 272144 271380 457 1167 0 270925 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1088576

[startup+522.3 s]
/proc/loadavg: 2.04 2.01 1.99 3/177 21629
/proc/meminfo: memFree=25620600/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=1247296 CPUtime=522.19 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 803980 0 0 0 51959 260 0 0 20 0 1 0 278467952 1277231104 311060 33554432000 4194304 8973514 140733200176832 140733200176328 4427820 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 311824 311060 457 1167 0 310605 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 1247296

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/177 21629
/proc/meminfo: memFree=25497248/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=1370176 CPUtime=582.16 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 834714 0 0 0 57941 275 0 0 20 0 1 0 278467952 1403060224 341780 33554432000 4194304 8973514 140733200176832 140733200174784 4213703 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 342544 341780 457 1167 0 341325 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 1370176

[startup+642.3 s]

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

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 21633
/proc/meminfo: memFree=25462296/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=1390656 CPUtime=882.1 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 839863 0 0 0 87888 322 0 0 20 0 1 0 278467952 1424031744 346900 33554432000 4194304 8973514 140733200176832 140733200176096 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 347664 346900 457 1167 0 346445 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 1390656

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 21633
/proc/meminfo: memFree=25457984/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=1390656 CPUtime=942.07 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 839870 0 0 0 93880 327 0 0 20 0 1 0 278467952 1424031744 346900 33554432000 4194304 8973514 140733200176832 140733200174784 4209212 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 347664 346900 457 1167 0 346445 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 1390656

[startup+1002.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 21633
/proc/meminfo: memFree=25452060/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=1390656 CPUtime=1002.06 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 839872 0 0 0 99868 338 0 0 20 0 1 0 278467952 1424031744 346900 33554432000 4194304 8973514 140733200176832 140733200176096 4208870 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 347664 346900 457 1167 0 346445 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 1390656

[startup+1062.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 21633
/proc/meminfo: memFree=25451220/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=1390656 CPUtime=1062.06 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 839872 0 0 0 105862 344 0 0 20 0 1 0 278467952 1424031744 346900 33554432000 4194304 8973514 140733200176832 140733200176096 4209256 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 347664 346900 457 1167 0 346445 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 1390656

[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 21633
/proc/meminfo: memFree=25449608/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=1390656 CPUtime=1122.05 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 839872 0 0 0 111855 350 0 0 20 0 1 0 278467952 1424031744 346900 33554432000 4194304 8973514 140733200176832 140733200176096 4214568 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 347664 346900 457 1167 0 346445 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 1390656

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 21634
/proc/meminfo: memFree=25444524/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=1390656 CPUtime=1182.04 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 839872 0 0 0 117848 356 0 0 20 0 1 0 278467952 1424031744 346900 33554432000 4194304 8973514 140733200176832 140733200176096 7671120 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 347664 346900 457 1167 0 346445 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 1390656

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21634
/proc/meminfo: memFree=25439392/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=1390656 CPUtime=1242.03 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 839872 0 0 0 123841 362 0 0 20 0 1 0 278467952 1424031744 346900 33554432000 4194304 8973514 140733200176832 140733200174848 4206133 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 347664 346900 457 1167 0 346445 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 1390656

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21634
/proc/meminfo: memFree=25439392/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=1390656 CPUtime=1302.02 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 839872 0 0 0 129834 368 0 0 20 0 1 0 278467952 1424031744 346900 33554432000 4194304 8973514 140733200176832 140733200176328 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 347664 346900 457 1167 0 346445 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1390656

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21634
/proc/meminfo: memFree=25434184/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=1390656 CPUtime=1362.01 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 839872 0 0 0 135827 374 0 0 20 0 1 0 278467952 1424031744 346900 33554432000 4194304 8973514 140733200176832 140733200176096 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 347664 346900 457 1167 0 346445 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 1390656

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21637
/proc/meminfo: memFree=25434300/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=1390656 CPUtime=1422.01 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 839872 0 0 0 141821 380 0 0 20 0 1 0 278467952 1424031744 346900 33554432000 4194304 8973514 140733200176832 140733200176096 7670230 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 347664 346900 457 1167 0 346445 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 1390656

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 21638
/proc/meminfo: memFree=25430216/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=1390656 CPUtime=1482 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 839872 0 0 0 147806 394 0 0 20 0 1 0 278467952 1424031744 346900 33554432000 4194304 8973514 140733200176832 140733200176096 4494624 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 347664 346900 457 1167 0 346445 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 1390656

[startup+1542.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21638
/proc/meminfo: memFree=25428480/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=1390656 CPUtime=1541.99 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 839872 0 0 0 153799 400 0 0 20 0 1 0 278467952 1424031744 346900 33554432000 4194304 8973514 140733200176832 140733200176096 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 347664 346900 457 1167 0 346445 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 1390656

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21638
/proc/meminfo: memFree=25426372/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=1390656 CPUtime=1601.98 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 839872 0 0 0 159792 406 0 0 20 0 1 0 278467952 1424031744 346900 33554432000 4194304 8973514 140733200176832 140733200176328 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 347664 346900 457 1167 0 346445 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 1390656

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21638
/proc/meminfo: memFree=25424388/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=1390656 CPUtime=1661.97 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 839872 0 0 0 165787 410 0 0 20 0 1 0 278467952 1424031744 346900 33554432000 4194304 8973514 140733200176832 140733200176096 4208830 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 347664 346900 457 1167 0 346445 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 1390656

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21638
/proc/meminfo: memFree=25424388/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=1390656 CPUtime=1721.95 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 839872 0 0 0 171778 417 0 0 20 0 1 0 278467952 1424031744 346900 33554432000 4194304 8973514 140733200176832 140733200176096 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 347664 346900 457 1167 0 346445 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 1390656

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21639
/proc/meminfo: memFree=25423892/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=1390656 CPUtime=1781.94 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 839872 0 0 0 177766 428 0 0 20 0 1 0 278467952 1424031744 346900 33554432000 4194304 8973514 140733200176832 140733200176328 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 347664 346900 457 1167 0 346445 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 1390656



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 21640
/proc/meminfo: memFree=25740896/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=1390656 CPUtime=1800.05 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 839872 0 0 0 179572 433 0 0 20 0 1 0 278467952 1424031744 346900 33554432000 4194304 8973514 140733200176832 140733200176096 5386907 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 347664 346900 457 1167 0 346445 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1390656

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

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

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 21640
/proc/meminfo: memFree=25740896/32873844 swapFree=6088/6088
[pid=21601] ppid=21599 vsize=1390656 CPUtime=1800.05 cores=0,2,4,6
/proc/21601/stat : 21601 (toysat) R 21599 21601 21557 0 -1 4202496 839872 0 0 0 179572 433 0 0 20 0 1 0 278467952 1424031744 346900 33554432000 4194304 8973514 140733200176832 140733200176096 5386907 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/21601/statm: 347664 346900 457 1167 0 346445 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1390656

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1795.73
CPU system time (s): 4.33934
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 2295872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.73
system time used= 4.33934
maximum resident set size= 2292812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 839872
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= 96
involuntary context switches= 2011

runsolver used 3.50047 second user time and 8.72467 second system time

The end

Launcher Data 

Begin job on node108 at 2012-05-27 14:56:34
IDJOB=3706845
IDBENCH=2950
IDSOLVER=2285
FILE ID=node108/3706845-1338123392
RUNJOBID= node108-1338123392-21573
PBS_JOBID= 14624499
Free space on /tmp= 71648 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.10.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706845-1338123392/watcher-3706845-1338123392 -o /tmp/evaluation-result-3706845-1338123392/solver-3706845-1338123392 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706845-1338123392.opb

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

MD5SUM BENCH= f304ba5324add428c73c7022630c48ee
RANDOM SEED=1587414800

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:        27031064 kB
Buffers:          303976 kB
Cached:          4627832 kB
SwapCached:            0 kB
Active:           817288 kB
Inactive:        4229776 kB
Active(anon):     114912 kB
Inactive(anon):        0 kB
Active(file):     702376 kB
Inactive(file):  4229776 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             86524 kB
Writeback:             0 kB
AnonPages:        120556 kB
Mapped:            15984 kB
Shmem:               200 kB
Slab:             658132 kB
SReclaimable:      99892 kB
SUnreclaim:       558240 kB
KernelStack:        1448 kB
PageTables:         4144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     224020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 71648 MiB
End job on node108 at 2012-05-27 15:26:36