Trace number 3725217

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.07.opb
MD5SUM7a51facc2b0ceeb02915874508a30079
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark37
Best CPU time to get the best result obtained on this benchmark5.63214
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 37
Optimality of the best value was proved YES
Number of variables21756
Total number of constraints1266468
Number of constraints which are clauses1262688
Number of constraints which are cardinality constraints (but not clauses)3780
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint168
Number of terms in the objective function 168
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 168
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 166
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 334
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 

22.99/23.09	c 2012-06-02T13:35:41+0200
22.99/23.09	c arch = x86_64
22.99/23.09	c os = linux
22.99/23.09	c compiler = ghc 7.4
22.99/23.09	c packages:
22.99/23.09	c   OptDir-0.0.1
22.99/23.09	c   array-0.4.0.0
22.99/23.09	c   base-4.5.0.0
22.99/23.09	c   bytestring-0.9.2.1
22.99/23.09	c   containers-0.4.2.1
22.99/23.09	c   deepseq-1.3.0.0
22.99/23.09	c   mtl-2.1.1
22.99/23.09	c   old_locale-1.0.0.4
22.99/23.09	c   parse_dimacs-1.2
22.99/23.09	c   parsec-3.1.2
22.99/23.09	c   queue-0.1.2
22.99/23.09	c   stm-2.3
22.99/23.09	c   time-1.4
22.99/23.09	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725217-1338636939.opb"]
22.99/23.09	c #vars 21756
22.99/23.09	c #constraints 1266468
22.99/23.09	c Solving starts ...
23.58/23.60	c solving time = 0.497s
23.58/23.60	c #decision = 6726
23.58/23.60	c #conflict = 456
23.58/23.60	c #restart = 2
23.58/23.60	o 101
23.58/23.60	c Solving starts ...
23.58/23.69	c solving time = 0.078s
23.58/23.69	c #decision = 8048
23.58/23.69	c #conflict = 456
23.58/23.69	c #restart = 2
23.58/23.69	o 100
23.58/23.69	c Solving starts ...
23.68/23.78	c solving time = 0.074s
23.68/23.78	c #decision = 9401
23.68/23.78	c #conflict = 456
23.68/23.78	c #restart = 2
23.68/23.78	o 99
23.68/23.78	c Solving starts ...
23.78/23.86	c solving time = 0.074s
23.78/23.86	c #decision = 10764
23.78/23.86	c #conflict = 456
23.78/23.86	c #restart = 2
23.78/23.86	o 98
23.78/23.86	c Solving starts ...
23.88/23.95	c solving time = 0.074s
23.88/23.95	c #decision = 12086
23.88/23.95	c #conflict = 456
23.88/23.95	c #restart = 2
23.88/23.95	o 97
23.88/23.95	c Solving starts ...
23.98/24.04	c solving time = 0.074s
23.98/24.04	c #decision = 13426
23.98/24.04	c #conflict = 456
23.98/24.04	c #restart = 2
23.98/24.04	o 96
23.98/24.04	c Solving starts ...
24.09/24.13	c solving time = 0.075s
24.09/24.13	c #decision = 14750
24.09/24.13	c #conflict = 456
24.09/24.13	c #restart = 2
24.09/24.13	o 95
24.09/24.13	c Solving starts ...
24.19/24.21	c solving time = 0.074s
24.19/24.21	c #decision = 16117
24.19/24.21	c #conflict = 457
24.19/24.21	c #restart = 2
24.19/24.21	o 94
24.19/24.21	c Solving starts ...
24.28/24.30	c solving time = 0.075s
24.28/24.30	c #decision = 17466
24.28/24.30	c #conflict = 457
24.28/24.30	c #restart = 2
24.28/24.30	o 93
24.28/24.30	c Solving starts ...
24.28/24.39	c solving time = 0.074s
24.28/24.39	c #decision = 18803
24.28/24.39	c #conflict = 457
24.28/24.39	c #restart = 2
24.28/24.39	o 92
24.28/24.39	c Solving starts ...
24.38/24.47	c solving time = 0.074s
24.38/24.47	c #decision = 20113
24.38/24.47	c #conflict = 457
24.38/24.47	c #restart = 2
24.38/24.47	o 91
24.38/24.47	c Solving starts ...
24.48/24.56	c solving time = 0.074s
24.48/24.56	c #decision = 21413
24.48/24.56	c #conflict = 457
24.48/24.56	c #restart = 2
24.48/24.56	o 90
24.48/24.56	c Solving starts ...
24.58/24.65	c solving time = 0.082s
24.58/24.65	c #decision = 22758
24.58/24.65	c #conflict = 465
24.58/24.65	c #restart = 2
24.58/24.65	o 89
24.58/24.65	c Solving starts ...
24.68/24.74	c solving time = 0.079s
24.68/24.74	c #decision = 23951
24.68/24.74	c #conflict = 469
24.68/24.74	c #restart = 2
24.68/24.74	o 88
24.68/24.74	c Solving starts ...
24.88/24.90	c solving time = 0.149s
24.88/24.90	c #decision = 26029
24.88/24.90	c #conflict = 482
24.88/24.90	c #restart = 2
24.88/24.90	o 87
24.88/24.90	c Solving starts ...
25.08/25.16	c solving time = 0.247s
25.08/25.16	c #decision = 29672
25.08/25.16	c #conflict = 541
25.08/25.16	c #restart = 2
25.08/25.16	o 86
25.08/25.16	c Solving starts ...
25.29/25.38	c solving time = 0.205s
25.29/25.38	c #decision = 31335
25.29/25.38	c #conflict = 838
25.29/25.38	c #restart = 4
25.29/25.38	o 85
25.29/25.38	c Solving starts ...
25.58/25.60	c solving time = 0.205s
25.58/25.60	c #decision = 33633
25.58/25.60	c #conflict = 1070
25.58/25.60	c #restart = 5
25.58/25.60	o 84
25.58/25.60	c Solving starts ...
25.58/25.69	c solving time = 0.084s
25.58/25.69	c #decision = 34784
25.58/25.69	c #conflict = 1079
25.58/25.69	c #restart = 5
25.58/25.69	o 83
25.58/25.69	c Solving starts ...
25.89/25.92	c solving time = 0.219s
25.89/25.92	c #decision = 36569
25.89/25.92	c #conflict = 1306
25.89/25.92	c #restart = 6
25.89/25.92	o 82
25.89/25.92	c Solving starts ...
26.09/26.19	c solving time = 0.260s
26.09/26.19	c #decision = 39460
26.09/26.19	c #conflict = 1610
26.09/26.19	c #restart = 8
26.09/26.19	o 81
26.09/26.19	c Solving starts ...
26.29/26.31	c solving time = 0.101s
26.29/26.31	c #decision = 40621
26.29/26.31	c #conflict = 1677
26.29/26.31	c #restart = 8
26.29/26.31	o 80
26.29/26.31	c Solving starts ...
26.79/26.84	c solving time = 0.520s
26.79/26.84	c #decision = 43600
26.79/26.84	c #conflict = 2586
26.79/26.84	c #restart = 12
26.79/26.84	o 79
26.79/26.84	c Solving starts ...
27.18/27.23	c solving time = 0.383s
27.18/27.23	c #decision = 46113
27.18/27.23	c #conflict = 3366
27.18/27.23	c #restart = 15
27.18/27.23	o 78
27.18/27.23	c Solving starts ...
27.88/27.95	c solving time = 0.701s
27.88/27.95	c #decision = 48847
27.88/27.95	c #conflict = 4500
27.88/27.95	c #restart = 19
27.88/27.95	o 77
27.88/27.95	c Solving starts ...
28.39/28.45	c solving time = 0.490s
28.39/28.45	c #decision = 51819
28.39/28.45	c #conflict = 5609
28.39/28.45	c #restart = 23
28.39/28.45	o 76
28.39/28.45	c Solving starts ...
28.89/28.97	c solving time = 0.509s
28.89/28.97	c #decision = 54223
28.89/28.97	c #conflict = 6421
28.89/28.97	c #restart = 26
28.89/28.97	o 75
28.89/28.97	c Solving starts ...
29.39/29.46	c solving time = 0.474s
29.39/29.46	c #decision = 57753
29.39/29.46	c #conflict = 7310
29.39/29.46	c #restart = 30
29.39/29.46	o 74
29.39/29.46	c Solving starts ...
29.49/29.57	c solving time = 0.102s
29.49/29.57	c #decision = 58989
29.49/29.57	c #conflict = 7384
29.49/29.57	c #restart = 30
29.49/29.57	o 73
29.49/29.57	c Solving starts ...
39.38/39.44	c solving time = 9.853s
39.38/39.44	c #decision = 92701
39.38/39.44	c #conflict = 24770
39.38/39.44	c #restart = 41
39.38/39.44	o 72
39.38/39.44	c Solving starts ...
39.49/39.56	c solving time = 0.115s
39.49/39.56	c #decision = 93882
39.49/39.56	c #conflict = 24842
39.49/39.56	c #restart = 41
39.49/39.56	o 71
39.49/39.56	c Solving starts ...
41.58/41.62	c solving time = 2.043s
41.58/41.62	c #decision = 101314
41.58/41.62	c #conflict = 28353
41.58/41.62	c #restart = 48
41.58/41.62	o 70
41.58/41.62	c Solving starts ...
43.17/43.24	c solving time = 1.610s
43.17/43.24	c #decision = 107657
43.17/43.24	c #conflict = 31865
43.17/43.24	c #restart = 55
43.17/43.24	o 69
43.17/43.24	c Solving starts ...
43.68/43.75	c solving time = 0.507s
43.68/43.75	c #decision = 111527
43.68/43.75	c #conflict = 32761
43.68/43.75	c #restart = 59
43.68/43.75	o 68
43.68/43.75	c Solving starts ...
64.27/64.31	c solving time = 20.540s
64.27/64.31	c #decision = 173475
64.27/64.31	c #conflict = 68677
64.27/64.31	c #restart = 71
64.27/64.31	o 67
64.27/64.31	c Solving starts ...
65.18/65.23	c learnt constraints deletion: 68605 -> 34303
65.28/65.30	c solving time = 0.984s
65.28/65.30	c #decision = 174564
65.28/65.30	c #conflict = 68677
65.28/65.30	c #restart = 71
65.28/65.30	o 66
65.28/65.30	c Solving starts ...
65.28/65.37	c solving time = 0.059s
65.28/65.37	c #decision = 175667
65.28/65.37	c #conflict = 68677
65.28/65.37	c #restart = 71
65.28/65.37	o 65
65.28/65.37	c Solving starts ...
78.97/79.03	c solving time = 13.639s
78.97/79.03	c #decision = 191259
78.97/79.03	c #conflict = 74742
78.97/79.03	c #restart = 79
78.97/79.03	o 64
78.97/79.03	c Solving starts ...
81.47/81.54	c solving time = 2.504s
81.47/81.54	c #decision = 203017
81.47/81.54	c #conflict = 78944
81.47/81.54	c #restart = 86
81.47/81.54	o 63
81.47/81.54	c Solving starts ...
81.57/81.62	c solving time = 0.064s
81.57/81.62	c #decision = 204347
81.57/81.62	c #conflict = 78944
81.57/81.62	c #restart = 86
81.57/81.62	o 62
81.57/81.62	c Solving starts ...
81.57/81.69	c solving time = 0.060s
81.57/81.69	c #decision = 205680
81.57/81.69	c #conflict = 78944
81.57/81.69	c #restart = 86
81.57/81.69	o 61
81.57/81.69	c Solving starts ...
81.87/81.97	c solving time = 0.274s
81.87/81.97	c #decision = 207147
81.87/81.97	c #conflict = 78950
81.87/81.97	c #restart = 86
81.87/81.97	o 60
81.87/81.97	c Solving starts ...
82.27/82.37	c solving time = 0.386s
82.27/82.37	c #decision = 211075
82.27/82.37	c #conflict = 79366
82.27/82.37	c #restart = 88
82.27/82.37	o 59
82.27/82.37	c Solving starts ...
82.38/82.47	c solving time = 0.084s
82.38/82.47	c #decision = 212376
82.38/82.47	c #conflict = 79392
82.38/82.47	c #restart = 88
82.38/82.47	o 58
82.38/82.47	c Solving starts ...
89.56/89.66	c solving time = 7.183s
89.56/89.66	c #decision = 225938
89.56/89.66	c #conflict = 80683
89.56/89.66	c #restart = 92
89.56/89.66	o 57
89.56/89.66	c Solving starts ...
89.67/89.76	c solving time = 0.085s
89.67/89.76	c #decision = 227254
89.67/89.76	c #conflict = 80686
89.67/89.76	c #restart = 92
89.67/89.76	o 56
89.67/89.76	c Solving starts ...
91.97/92.06	c solving time = 2.290s
91.97/92.06	c #decision = 240711
91.97/92.06	c #conflict = 81757
91.97/92.06	c #restart = 96
91.97/92.06	o 55
91.97/92.06	c Solving starts ...
92.07/92.15	c solving time = 0.085s
92.07/92.15	c #decision = 241781
92.07/92.15	c #conflict = 81769
92.07/92.15	c #restart = 96
92.07/92.15	o 54
92.07/92.15	c Solving starts ...
93.17/93.20	c solving time = 1.036s
93.17/93.20	c #decision = 247549
93.17/93.20	c #conflict = 82776
93.17/93.20	c #restart = 100
93.17/93.20	o 53
93.17/93.20	c Solving starts ...
93.17/93.29	c solving time = 0.082s
93.17/93.29	c #decision = 248777
93.17/93.29	c #conflict = 82793
93.17/93.29	c #restart = 100
93.17/93.29	o 52
93.17/93.29	c Solving starts ...
93.57/93.66	c solving time = 0.362s
93.57/93.66	c #decision = 252007
93.57/93.66	c #conflict = 83094
93.57/93.66	c #restart = 102
93.57/93.66	o 51
93.57/93.66	c Solving starts ...
99.46/99.55	c solving time = 5.864s
99.46/99.55	c #decision = 272195
99.46/99.55	c #conflict = 94284
99.46/99.55	c #restart = 111
99.46/99.55	o 50
99.46/99.55	c Solving starts ...
99.66/99.77	c solving time = 0.213s
99.66/99.77	c #decision = 273703
99.66/99.77	c #conflict = 94422
99.66/99.77	c #restart = 112
99.66/99.77	o 49
99.66/99.77	c Solving starts ...
100.86/100.99	c solving time = 1.213s
100.86/100.99	c #decision = 278691
100.86/100.99	c #conflict = 96328
100.86/100.99	c #restart = 117
100.86/100.99	o 48
100.86/100.99	c Solving starts ...
101.07/101.16	c learnt constraints deletion: 61908 -> 30954
111.95/112.01	c solving time = 10.993s
111.95/112.01	c #decision = 326016
111.95/112.01	c #conflict = 120984
111.95/112.01	c #restart = 128
111.95/112.01	o 47
111.95/112.01	c Solving starts ...
115.84/115.91	c solving time = 3.888s
115.84/115.91	c #decision = 342728
115.84/115.91	c #conflict = 125627
115.84/115.91	c #restart = 135
115.84/115.91	o 46
115.84/115.91	c Solving starts ...
115.94/116.05	c solving time = 0.127s
115.94/116.05	c #decision = 344357
115.94/116.05	c #conflict = 125686
115.94/116.05	c #restart = 135
115.94/116.05	o 45
115.94/116.05	c Solving starts ...
126.25/126.34	c solving time = 10.270s
126.25/126.34	c #decision = 372284
126.25/126.34	c #conflict = 138067
126.25/126.34	c #restart = 145
126.25/126.34	o 44
126.25/126.34	c Solving starts ...
126.75/126.87	c learnt constraints deletion: 72664 -> 36332
126.85/126.98	c solving time = 0.634s
126.85/126.98	c #decision = 373609
126.85/126.98	c #conflict = 138142
126.85/126.98	c #restart = 145
126.85/126.98	o 43
126.85/126.98	c Solving starts ...
127.34/127.45	c solving time = 0.455s
127.34/127.45	c #decision = 378592
127.34/127.45	c #conflict = 138706
127.34/127.45	c #restart = 148
127.34/127.45	o 42
127.34/127.45	c Solving starts ...
127.74/127.80	c solving time = 0.346s
127.74/127.80	c #decision = 380747
127.74/127.80	c #conflict = 139224
127.74/127.80	c #restart = 151
127.74/127.80	o 41
127.74/127.80	c Solving starts ...
496.13/496.34	c learnt constraints deletion: 276144 -> 138072
1183.62/1183.93	c solving time = 1055.888s
1183.62/1183.93	c #decision = 826058
1183.62/1183.93	c #conflict = 445209
1183.62/1183.93	c #restart = 169
1183.62/1183.93	o 40
1183.62/1183.93	c Solving starts ...
1203.91/1204.28	c learnt constraints deletion: 205378 -> 102689
1204.01/1204.40	c learnt constraints deletion: 102689 -> 51345

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 1.94 3/174 15054
/proc/meminfo: memFree=28090408/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 818 0 0 0 0 0 0 0 20 0 1 0 329819956 6373376 738 33554432000 4194304 8989770 140734548376112 140734725921656 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 1556 738 429 1171 0 333 0

[startup+0.00774095 s]
/proc/loadavg: 2.00 2.01 1.94 3/174 15054
/proc/meminfo: memFree=28090408/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 863 0 0 0 0 0 0 0 20 0 1 0 329819956 7421952 783 33554432000 4194304 8989770 140734548376112 140734725921656 4209325 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 1812 789 429 1171 0 589 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7248

[startup+0.100307 s]
/proc/loadavg: 2.00 2.01 1.94 3/174 15054
/proc/meminfo: memFree=28090408/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=13392 CPUtime=0.09 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 2527 0 0 0 9 0 0 0 20 0 1 0 329819956 13713408 2447 33554432000 4194304 8989770 140734548376112 140734725921656 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 3348 2447 431 1171 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13392

[startup+0.300305 s]
/proc/loadavg: 2.00 2.01 1.94 3/174 15054
/proc/meminfo: memFree=28090408/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=24656 CPUtime=0.28 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 5441 0 0 0 28 0 0 0 20 0 1 0 329819956 25247744 5361 33554432000 4194304 8989770 140734548376112 140734548374952 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 6164 5361 431 1171 0 4941 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 24656

[startup+0.700355 s]
/proc/loadavg: 2.00 2.01 1.94 3/174 15054
/proc/meminfo: memFree=28090408/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=50256 CPUtime=0.69 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 11841 0 0 0 67 2 0 0 20 0 1 0 329819956 51462144 11761 33554432000 4194304 8989770 140734548376112 140734548374952 7953280 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 12564 11761 431 1171 0 11341 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50256

[startup+1.50037 s]
/proc/loadavg: 2.00 2.01 1.94 3/175 15055
/proc/meminfo: memFree=28030912/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=111696 CPUtime=1.49 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 27201 0 0 0 144 5 0 0 20 0 1 0 329819956 114376704 27121 33554432000 4194304 8989770 140734548376112 140734548375608 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 27924 27121 431 1171 0 26701 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 111696

[startup+3.10032 s]
/proc/loadavg: 2.00 2.01 1.94 3/175 15055
/proc/meminfo: memFree=27947576/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=195664 CPUtime=3.09 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 48193 0 0 0 298 11 0 0 20 0 1 0 329819956 200359936 48113 33554432000 4194304 8989770 140734548376112 140734548375608 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 48916 48113 431 1171 0 47693 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 195664

[startup+6.30035 s]
/proc/loadavg: 2.00 2.01 1.94 3/175 15055
/proc/meminfo: memFree=27749284/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=455760 CPUtime=6.29 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 113197 0 0 0 604 25 0 0 20 0 1 0 329819956 466698240 113117 33554432000 4194304 8989770 140734548376112 140734548374952 4209325 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 113940 113125 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: 2.00 2.01 1.94 3/175 15055
/proc/meminfo: memFree=27273512/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=821328 CPUtime=12.69 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 204609 0 0 0 1227 42 0 0 20 0 1 0 329819956 841039872 204529 33554432000 4194304 8989770 140734548376112 140734548375608 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 205332 204529 431 1171 0 204109 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 821328

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.94 3/175 15055
/proc/meminfo: memFree=26627488/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=1466448 CPUtime=25.48 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 365935 0 0 0 2472 76 0 0 20 0 1 0 329819956 1501642752 365855 33554432000 4194304 8989770 140734548376112 140734548375608 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 366612 365855 471 1171 0 365389 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1466448

[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 1.94 3/175 15056
/proc/meminfo: memFree=27824428/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=271440 CPUtime=51.08 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 378227 0 0 0 5011 97 0 0 20 0 1 0 329819956 277954560 67103 33554432000 4194304 8989770 140734548376112 140734548375608 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 67860 67103 471 1171 0 66637 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 271440

[startup+102.307 s]
/proc/loadavg: 1.94 1.99 1.94 3/175 15095
/proc/meminfo: memFree=27711132/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=358480 CPUtime=102.27 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 400001 0 0 0 10112 115 0 0 20 0 1 0 329819956 367083520 88865 33554432000 4194304 8989770 140734548376112 140734548375608 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 89620 88865 473 1171 0 88397 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 358480

[startup+162.3 s]
/proc/loadavg: 1.97 1.99 1.94 3/175 15095
/proc/meminfo: memFree=27546124/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=506960 CPUtime=162.24 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 437068 0 0 0 16086 138 0 0 20 0 1 0 329819956 519127040 125911 33554432000 4194304 8989770 140734548376112 140734548375376 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 126740 125911 473 1171 0 125517 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 506960

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/176 15096
/proc/meminfo: memFree=27408628/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=624720 CPUtime=222.2 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 466543 0 0 0 22065 155 0 0 20 0 1 0 329819956 639713280 155368 33554432000 4194304 8989770 140734548376112 140734548374080 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 156180 155368 473 1171 0 154957 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 624720

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/176 15098
/proc/meminfo: memFree=27319376/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=707664 CPUtime=282.18 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 487209 0 0 0 28050 168 0 0 20 0 1 0 329819956 724647936 176021 33554432000 4194304 8989770 140734548376112 140734548375608 4371792 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 176916 176021 473 1171 0 175693 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 707664

[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/175 15098
/proc/meminfo: memFree=27216492/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=788560 CPUtime=342.17 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 507583 0 0 0 34034 183 0 0 20 0 1 0 329819956 807485440 196385 33554432000 4194304 8989770 140734548376112 140734548358080 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 197140 196385 473 1171 0 195917 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 788560

[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/175 15099
/proc/meminfo: memFree=27098348/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=899152 CPUtime=402.16 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 535243 0 0 0 40021 195 0 0 20 0 1 0 329819956 920731648 224033 33554432000 4194304 8989770 140734548376112 140734548374080 7688482 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 224788 224033 473 1171 0 223565 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 899152

[startup+462.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/175 15099
/proc/meminfo: memFree=27097384/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=900176 CPUtime=462.14 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 535507 0 0 0 46012 202 0 0 20 0 1 0 329819956 921780224 224289 33554432000 4194304 8989770 140734548376112 140734548375608 7697332 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 225044 224289 473 1171 0 223821 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 900176

[startup+522.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/175 15099
/proc/meminfo: memFree=27097536/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=900176 CPUtime=522.12 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 535512 0 0 0 52003 209 0 0 20 0 1 0 329819956 921780224 224289 33554432000 4194304 8989770 140734548376112 140734548375376 4209278 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 225044 224289 473 1171 0 223821 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 900176

[startup+582.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/175 15099
/proc/meminfo: memFree=27093348/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=900176 CPUtime=582.11 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 535516 0 0 0 57995 216 0 0 20 0 1 0 329819956 921780224 224289 33554432000 4194304 8989770 140734548376112 140734548374080 7675353 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 225044 224289 473 1171 0 223821 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 900176

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.02 2.00 1.94 3/175 15100
/proc/meminfo: memFree=27077764/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=909392 CPUtime=822.07 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 537820 0 0 0 81961 246 0 0 20 0 1 0 329819956 931217408 226593 33554432000 4194304 8989770 140734548376112 140734548375608 7686163 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 227348 226593 473 1171 0 226125 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 909392

[startup+882.3 s]
/proc/loadavg: 2.12 2.03 1.95 3/176 15103
/proc/meminfo: memFree=27077012/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=909392 CPUtime=882.06 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 537820 0 0 0 87954 252 0 0 20 0 1 0 329819956 931217408 226593 33554432000 4194304 8989770 140734548376112 140734548374080 4209212 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 227348 226593 473 1171 0 226125 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 909392

[startup+942.3 s]
/proc/loadavg: 2.04 2.02 1.95 3/175 15103
/proc/meminfo: memFree=27068712/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=909392 CPUtime=942.06 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 537820 0 0 0 93946 260 0 0 20 0 1 0 329819956 931217408 226593 33554432000 4194304 8989770 140734548376112 140734548374080 4213876 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 227348 226593 473 1171 0 226125 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 909392

[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/175 15104
/proc/meminfo: memFree=27068836/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=909392 CPUtime=1002.05 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 537820 0 0 0 99937 268 0 0 20 0 1 0 329819956 931217408 226593 33554432000 4194304 8989770 140734548376112 140734548375376 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 227348 226593 473 1171 0 226125 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 909392

[startup+1062.3 s]
/proc/loadavg: 2.08 2.04 1.97 3/175 15104
/proc/meminfo: memFree=27077708/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=909392 CPUtime=1062.03 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 537820 0 0 0 105929 274 0 0 20 0 1 0 329819956 931217408 226593 33554432000 4194304 8989770 140734548376112 140734548374080 4209376 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 227348 226593 473 1171 0 226125 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 909392

[startup+1122.3 s]
/proc/loadavg: 2.03 2.03 1.97 3/175 15104
/proc/meminfo: memFree=27076468/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=910416 CPUtime=1122.02 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 538076 0 0 0 111919 283 0 0 20 0 1 0 329819956 932265984 226849 33554432000 4194304 8989770 140734548376112 140734548375608 4209367 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 227604 226849 473 1171 0 226381 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 910416

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/175 15104
/proc/meminfo: memFree=27051792/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=934992 CPUtime=1182.02 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 544220 0 0 0 117911 291 0 0 20 0 1 0 329819956 957431808 232993 33554432000 4194304 8989770 140734548376112 140734548375608 7696100 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 233748 232993 473 1171 0 232525 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 934992

[startup+1242.3 s]
/proc/loadavg: 2.12 2.05 1.98 3/175 15104
/proc/meminfo: memFree=27003248/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=968784 CPUtime=1242.01 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 552674 0 0 0 123901 300 0 0 20 0 1 0 329819956 992034816 241441 33554432000 4194304 8989770 140734548376112 140734548375376 7686653 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 242196 241441 473 1171 0 240973 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 968784

[startup+1302.3 s]
/proc/loadavg: 2.04 2.04 1.98 3/175 15105
/proc/meminfo: memFree=27002496/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=968784 CPUtime=1302.01 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 552674 0 0 0 129895 306 0 0 20 0 1 0 329819956 992034816 241441 33554432000 4194304 8989770 140734548376112 140734548374080 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 242196 241441 473 1171 0 240973 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 968784

[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/175 15105
/proc/meminfo: memFree=27009160/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=968784 CPUtime=1361.99 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 552674 0 0 0 135887 312 0 0 20 0 1 0 329819956 992034816 241441 33554432000 4194304 8989770 140734548376112 140734548375608 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 242196 241441 473 1171 0 240973 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 968784

[startup+1422.31 s]
/proc/loadavg: 2.04 2.03 1.98 3/175 15105
/proc/meminfo: memFree=27009408/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=968784 CPUtime=1421.99 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 552674 0 0 0 141883 316 0 0 20 0 1 0 329819956 992034816 241441 33554432000 4194304 8989770 140734548376112 140734548374080 4512536 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 242196 241441 473 1171 0 240973 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 968784

[startup+1482.3 s]
/proc/loadavg: 2.13 2.06 1.99 3/176 15108
/proc/meminfo: memFree=27007788/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=968784 CPUtime=1481.97 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 552674 0 0 0 147875 322 0 0 20 0 1 0 329819956 992034816 241441 33554432000 4194304 8989770 140734548376112 140734548375376 4512536 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 242196 241441 473 1171 0 240973 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 968784

[startup+1542.3 s]
/proc/loadavg: 2.05 2.04 1.99 3/176 15131
/proc/meminfo: memFree=27008036/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=968784 CPUtime=1541.96 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 552674 0 0 0 153868 328 0 0 20 0 1 0 329819956 992034816 241441 33554432000 4194304 8989770 140734548376112 140734548375608 4209357 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 242196 241441 473 1171 0 240973 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 968784

[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 1.99 3/175 15132
/proc/meminfo: memFree=27014068/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=968784 CPUtime=1601.95 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 552674 0 0 0 159861 334 0 0 20 0 1 0 329819956 992034816 241441 33554432000 4194304 8989770 140734548376112 140734548375376 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 242196 241441 473 1171 0 240973 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 968784

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/175 15132
/proc/meminfo: memFree=27014068/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=968784 CPUtime=1661.94 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 552674 0 0 0 165853 341 0 0 20 0 1 0 329819956 992034816 241441 33554432000 4194304 8989770 140734548376112 140734548375376 4512536 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 242196 241441 473 1171 0 240973 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 968784

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/175 15132
/proc/meminfo: memFree=27007248/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=968784 CPUtime=1721.93 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 552674 0 0 0 171845 348 0 0 20 0 1 0 329819956 992034816 241441 33554432000 4194304 8989770 140734548376112 140734548375376 4209168 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 242196 241441 473 1171 0 240973 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 968784

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/175 15132
/proc/meminfo: memFree=27006008/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=968784 CPUtime=1781.92 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 552674 0 0 0 177838 354 0 0 20 0 1 0 329819956 992034816 241441 33554432000 4194304 8989770 140734548376112 140734548374080 4209212 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 242196 241441 473 1171 0 240973 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 968784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 1.99 3/175 15132
/proc/meminfo: memFree=27006256/32873852 swapFree=6856/6856
[pid=15054] ppid=15052 vsize=968784 CPUtime=1800.03 cores=1,3,5,7
/proc/15054/stat : 15054 (toysat) R 15052 15054 14594 0 -1 4202496 552674 0 0 0 179647 356 0 0 20 0 1 0 329819956 992034816 241441 33554432000 4194304 8989770 140734548376112 140734548375376 4512536 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/15054/statm: 242196 241441 473 1171 0 240973 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 968784

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.04
CPU user time (s): 1796.47
CPU system time (s): 3.56946
CPU usage (%): 99.9794
Max. virtual memory (cumulated for all children) (KiB): 1466448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.47
system time used= 3.56946
maximum resident set size= 1463420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 552674
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= 116
involuntary context switches= 1850

runsolver used 3.74243 second user time and 10.1825 second system time

The end

Launcher Data 

Begin job on node128 at 2012-06-02 13:35:40
IDJOB=3725217
IDBENCH=2953
IDSOLVER=2308
FILE ID=node128/3725217-1338636939
RUNJOBID= node128-1338631507-14612
PBS_JOBID= 14636452
Free space on /tmp= 70456 MiB

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

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

MD5SUM BENCH= 7a51facc2b0ceeb02915874508a30079
RANDOM SEED=324374026

node128.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.389
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.77
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.389
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.389
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	: 5438.56
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.389
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.389
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.389
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
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.91
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.389
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:       32873852 kB
MemFree:        28090688 kB
Buffers:          518860 kB
Cached:          3353944 kB
SwapCached:          784 kB
Active:          1762972 kB
Inactive:        2128068 kB
Active(anon):       9280 kB
Inactive(anon):    11368 kB
Active(file):    1753692 kB
Inactive(file):  2116700 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67106552 kB
Dirty:             52256 kB
Writeback:             0 kB
AnonPages:         26416 kB
Mapped:            15988 kB
Shmem:               200 kB
Slab:             753344 kB
SReclaimable:     195348 kB
SUnreclaim:       557996 kB
KernelStack:        1432 kB
PageTables:         4012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     131596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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= 70452 MiB
End job on node128 at 2012-06-02 14:05:43