Trace number 3725218

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.05 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 

34.88/34.98	c 2012-06-02T13:35:41+0200
34.88/34.98	c arch = x86_64
34.88/34.98	c os = linux
34.88/34.98	c compiler = ghc 7.4
34.88/34.98	c packages:
34.88/34.98	c   OptDir-0.0.1
34.88/34.98	c   array-0.4.0.0
34.88/34.98	c   base-4.5.0.0
34.88/34.98	c   bytestring-0.9.2.1
34.88/34.98	c   containers-0.4.2.1
34.88/34.98	c   deepseq-1.3.0.0
34.88/34.98	c   mtl-2.1.1
34.88/34.98	c   old_locale-1.0.0.4
34.88/34.98	c   parse_dimacs-1.2
34.88/34.98	c   parsec-3.1.2
34.88/34.98	c   queue-0.1.2
34.88/34.98	c   stm-2.3
34.88/34.98	c   time-1.4
34.88/34.98	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725218-1338636939.opb"]
34.88/34.98	c #vars 27027
34.88/34.98	c #constraints 1883063
34.88/34.98	c Solving starts ...
35.48/35.53	c solving time = 0.530s
35.48/35.53	c #decision = 9707
35.48/35.53	c #conflict = 511
35.48/35.53	c #restart = 3
35.48/35.53	o 125
35.48/35.53	c Solving starts ...
35.58/35.62	c solving time = 0.085s
35.58/35.62	c #decision = 11192
35.58/35.62	c #conflict = 511
35.58/35.62	c #restart = 3
35.58/35.62	o 124
35.58/35.62	c Solving starts ...
35.68/35.72	c solving time = 0.082s
35.68/35.72	c #decision = 12803
35.68/35.72	c #conflict = 511
35.68/35.72	c #restart = 3
35.68/35.72	o 123
35.68/35.72	c Solving starts ...
35.78/35.82	c solving time = 0.083s
35.78/35.82	c #decision = 14343
35.78/35.82	c #conflict = 513
35.78/35.82	c #restart = 3
35.78/35.82	o 122
35.78/35.82	c Solving starts ...
35.98/36.03	c solving time = 0.203s
35.98/36.03	c #decision = 18425
35.98/36.03	c #conflict = 522
35.98/36.03	c #restart = 3
35.98/36.03	o 121
35.98/36.03	c Solving starts ...
36.08/36.16	c solving time = 0.107s
36.08/36.16	c #decision = 20605
36.08/36.16	c #conflict = 523
36.08/36.16	c #restart = 3
36.08/36.16	o 120
36.08/36.16	c Solving starts ...
36.28/36.31	c solving time = 0.144s
36.28/36.31	c #decision = 23283
36.28/36.31	c #conflict = 524
36.28/36.31	c #restart = 3
36.28/36.31	o 119
36.28/36.31	c Solving starts ...
36.39/36.47	c solving time = 0.139s
36.39/36.47	c #decision = 25831
36.39/36.47	c #conflict = 537
36.39/36.47	c #restart = 3
36.39/36.47	o 118
36.39/36.47	c Solving starts ...
36.58/36.60	c solving time = 0.122s
36.58/36.60	c #decision = 28144
36.58/36.60	c #conflict = 573
36.58/36.60	c #restart = 3
36.58/36.60	o 117
36.58/36.60	c Solving starts ...
36.78/36.80	c solving time = 0.186s
36.78/36.80	c #decision = 31058
36.78/36.80	c #conflict = 758
36.78/36.80	c #restart = 4
36.78/36.80	o 116
36.78/36.80	c Solving starts ...
36.88/36.99	c solving time = 0.178s
36.88/36.99	c #decision = 33136
36.88/36.99	c #conflict = 884
36.88/36.99	c #restart = 5
36.88/36.99	o 115
36.88/36.99	c Solving starts ...
37.08/37.16	c solving time = 0.149s
37.08/37.16	c #decision = 34779
37.08/37.16	c #conflict = 1001
37.08/37.16	c #restart = 6
37.08/37.16	o 114
37.08/37.16	c Solving starts ...
37.18/37.29	c solving time = 0.119s
37.18/37.29	c #decision = 36338
37.18/37.29	c #conflict = 1078
37.18/37.29	c #restart = 6
37.18/37.29	o 113
37.18/37.29	c Solving starts ...
37.38/37.46	c solving time = 0.152s
37.38/37.46	c #decision = 38806
37.38/37.46	c #conflict = 1132
37.38/37.46	c #restart = 6
37.38/37.46	o 112
37.38/37.46	c Solving starts ...
37.49/37.60	c solving time = 0.128s
37.49/37.60	c #decision = 40689
37.49/37.60	c #conflict = 1181
37.49/37.60	c #restart = 6
37.49/37.60	o 111
37.49/37.60	c Solving starts ...
37.68/37.72	c solving time = 0.112s
37.68/37.72	c #decision = 42336
37.68/37.72	c #conflict = 1227
37.68/37.72	c #restart = 6
37.68/37.72	o 110
37.68/37.72	c Solving starts ...
37.78/37.88	c solving time = 0.149s
37.78/37.88	c #decision = 44158
37.78/37.88	c #conflict = 1314
37.78/37.88	c #restart = 6
37.78/37.88	o 109
37.78/37.88	c Solving starts ...
37.98/38.06	c solving time = 0.162s
37.98/38.06	c #decision = 46141
37.98/38.06	c #conflict = 1388
37.98/38.06	c #restart = 6
37.98/38.06	o 108
37.98/38.06	c Solving starts ...
38.38/38.43	c solving time = 0.357s
38.38/38.43	c #decision = 50946
38.38/38.43	c #conflict = 1634
38.38/38.43	c #restart = 7
38.38/38.43	o 107
38.38/38.43	c Solving starts ...
38.98/39.01	c solving time = 0.567s
38.98/39.01	c #decision = 55039
38.98/39.01	c #conflict = 2181
38.98/39.01	c #restart = 10
38.98/39.01	o 106
38.98/39.01	c Solving starts ...
39.28/39.38	c solving time = 0.358s
39.28/39.38	c #decision = 56935
39.28/39.38	c #conflict = 2496
39.28/39.38	c #restart = 12
39.28/39.38	o 105
39.28/39.38	c Solving starts ...
39.69/39.79	c solving time = 0.390s
39.69/39.79	c #decision = 59644
39.69/39.79	c #conflict = 2811
39.69/39.79	c #restart = 14
39.69/39.79	o 104
39.69/39.79	c Solving starts ...
40.19/40.24	c solving time = 0.440s
40.19/40.24	c #decision = 62861
40.19/40.24	c #conflict = 3159
40.19/40.24	c #restart = 16
40.19/40.24	o 103
40.19/40.24	c Solving starts ...
40.58/40.68	c solving time = 0.422s
40.58/40.68	c #decision = 65383
40.58/40.68	c #conflict = 3529
40.58/40.68	c #restart = 18
40.58/40.68	o 102
40.58/40.68	c Solving starts ...
41.08/41.15	c solving time = 0.462s
41.08/41.15	c #decision = 68428
41.08/41.15	c #conflict = 3874
41.08/41.15	c #restart = 20
41.08/41.15	o 101
41.08/41.15	c Solving starts ...
41.78/41.86	c solving time = 0.694s
41.78/41.86	c #decision = 70861
41.78/41.86	c #conflict = 4776
41.78/41.86	c #restart = 24
41.78/41.86	o 100
41.78/41.86	c Solving starts ...
42.49/42.55	c solving time = 0.682s
42.49/42.55	c #decision = 73314
42.49/42.55	c #conflict = 5710
42.49/42.55	c #restart = 28
42.49/42.55	o 99
42.49/42.55	c Solving starts ...
44.99/45.08	c solving time = 2.510s
44.99/45.08	c #decision = 80632
44.99/45.08	c #conflict = 9119
44.99/45.08	c #restart = 35
44.99/45.08	o 98
44.99/45.08	c Solving starts ...
46.18/46.26	c solving time = 1.173s
46.18/46.26	c #decision = 85814
46.18/46.26	c #conflict = 10633
46.18/46.26	c #restart = 40
46.18/46.26	o 97
46.18/46.26	c Solving starts ...
48.78/48.84	c solving time = 2.563s
48.78/48.84	c #decision = 94035
48.78/48.84	c #conflict = 14242
48.78/48.84	c #restart = 47
48.78/48.84	o 96
48.78/48.84	c Solving starts ...
51.18/51.24	c solving time = 2.383s
51.18/51.24	c #decision = 104329
51.18/51.24	c #conflict = 18165
51.18/51.24	c #restart = 54
51.18/51.24	o 95
51.18/51.24	c Solving starts ...
52.08/52.14	c solving time = 0.895s
52.08/52.14	c #decision = 109551
52.08/52.14	c #conflict = 19900
52.08/52.14	c #restart = 59
52.08/52.14	o 94
52.08/52.14	c Solving starts ...
53.38/53.43	c solving time = 1.272s
53.38/53.43	c #decision = 115771
53.38/53.43	c #conflict = 21647
53.38/53.43	c #restart = 64
53.38/53.43	o 93
53.38/53.43	c Solving starts ...
54.28/54.37	c solving time = 0.929s
54.28/54.37	c #decision = 120613
54.28/54.37	c #conflict = 23452
54.28/54.37	c #restart = 69
54.28/54.37	o 92
54.28/54.37	c Solving starts ...
56.48/56.50	c solving time = 2.118s
56.48/56.50	c #decision = 132668
56.48/56.50	c #conflict = 27136
56.48/56.50	c #restart = 76
56.48/56.50	o 91
56.48/56.50	c Solving starts ...
57.48/57.52	c solving time = 1.004s
57.48/57.52	c #decision = 138416
57.48/57.52	c #conflict = 28508
57.48/57.52	c #restart = 81
57.48/57.52	o 90
57.48/57.52	c Solving starts ...
58.48/58.54	c solving time = 1.007s
58.48/58.54	c #decision = 144382
58.48/58.54	c #conflict = 30197
58.48/58.54	c #restart = 86
58.48/58.54	o 89
58.48/58.54	c Solving starts ...
59.68/59.75	c solving time = 1.199s
59.68/59.75	c #decision = 149775
59.68/59.75	c #conflict = 32124
59.68/59.75	c #restart = 91
59.68/59.75	o 88
59.68/59.75	c Solving starts ...
60.18/60.27	c solving time = 0.512s
60.18/60.27	c #decision = 153221
60.18/60.27	c #conflict = 33062
60.18/60.27	c #restart = 95
60.18/60.27	o 87
60.18/60.27	c Solving starts ...
60.69/60.70	c solving time = 0.417s
60.69/60.70	c #decision = 156842
60.69/60.70	c #conflict = 33639
60.69/60.70	c #restart = 98
60.69/60.70	o 86
60.69/60.70	c Solving starts ...
62.38/62.46	c solving time = 1.743s
62.38/62.46	c #decision = 165096
62.38/62.46	c #conflict = 36897
62.38/62.46	c #restart = 105
62.38/62.46	o 85
62.38/62.46	c Solving starts ...
63.58/63.63	c solving time = 1.160s
63.58/63.63	c #decision = 173914
63.58/63.63	c #conflict = 38706
63.58/63.63	c #restart = 110
63.58/63.63	o 84
63.58/63.63	c Solving starts ...
63.68/63.72	c solving time = 0.074s
63.68/63.72	c #decision = 175079
63.68/63.72	c #conflict = 38710
63.68/63.72	c #restart = 110
63.68/63.72	o 83
63.68/63.72	c Solving starts ...
65.48/65.53	c solving time = 1.793s
65.48/65.53	c #decision = 184920
65.48/65.53	c #conflict = 41380
65.48/65.53	c #restart = 116
65.48/65.53	o 82
65.48/65.53	c Solving starts ...
65.58/65.64	c solving time = 0.096s
65.58/65.64	c #decision = 186365
65.58/65.64	c #conflict = 41405
65.58/65.64	c #restart = 116
65.58/65.64	o 81
65.58/65.64	c Solving starts ...
71.98/72.01	c solving time = 6.363s
71.98/72.01	c #decision = 214889
71.98/72.01	c #conflict = 53324
71.98/72.01	c #restart = 126
71.98/72.01	o 80
71.98/72.01	c Solving starts ...
73.28/73.31	c solving time = 1.286s
73.28/73.31	c #decision = 220811
73.28/73.31	c #conflict = 55192
73.28/73.31	c #restart = 131
73.28/73.31	o 79
73.28/73.31	c Solving starts ...
179.35/179.46	c solving time = 106.097s
179.35/179.46	c #decision = 466098
179.35/179.46	c #conflict = 210610
179.35/179.46	c #restart = 147
179.35/179.46	o 78
179.35/179.46	c Solving starts ...
182.54/182.67	c learnt constraints deletion: 210460 -> 105230
183.85/183.95	c learnt constraints deletion: 105230 -> 52615
230.72/230.82	c solving time = 51.329s
230.72/230.82	c #decision = 467494
230.72/230.82	c #conflict = 210640
230.72/230.82	c #restart = 147
230.72/230.82	o 77
230.72/230.82	c Solving starts ...
232.32/232.42	c solving time = 1.588s
232.32/232.42	c #decision = 477088
232.32/232.42	c #conflict = 211841
232.32/232.42	c #restart = 151
232.32/232.42	o 76
232.32/232.42	c Solving starts ...
275.32/275.44	c solving time = 42.996s
275.32/275.44	c #decision = 562267
275.32/275.44	c #conflict = 256682
275.32/275.44	c #restart = 164
275.32/275.44	o 75
275.32/275.44	c Solving starts ...
275.91/276.08	c learnt constraints deletion: 98669 -> 49335
276.12/276.24	c solving time = 0.790s
276.12/276.24	c #decision = 563799
276.12/276.24	c #conflict = 256697
276.12/276.24	c #restart = 164
276.12/276.24	o 74
276.12/276.24	c Solving starts ...
279.92/280.06	c solving time = 3.803s
279.92/280.06	c #decision = 574726
279.92/280.06	c #conflict = 260215
279.92/280.06	c #restart = 171
279.92/280.06	o 73
279.92/280.06	c Solving starts ...
281.92/282.04	c solving time = 1.966s
281.92/282.04	c #decision = 578526
281.92/282.04	c #conflict = 261514
281.92/282.04	c #restart = 175
281.92/282.04	o 72
281.92/282.04	c Solving starts ...
289.51/289.61	c solving time = 7.554s
289.51/289.61	c #decision = 594002
289.51/289.61	c #conflict = 269958
289.51/289.61	c #restart = 184
289.51/289.61	o 71
289.51/289.61	c Solving starts ...
341.51/341.60	c solving time = 51.975s
341.51/341.60	c #decision = 694167
341.51/341.60	c #conflict = 328508
341.51/341.60	c #restart = 198
341.51/341.60	o 70
341.51/341.60	c Solving starts ...
351.49/351.60	c learnt constraints deletion: 121127 -> 60564
638.12/638.32	c solving time = 296.618s
638.12/638.32	c #decision = 967039
638.12/638.32	c #conflict = 475512
638.12/638.32	c #restart = 214
638.12/638.32	o 69
638.12/638.32	c Solving starts ...
638.62/638.87	c learnt constraints deletion: 207551 -> 103776
642.72/642.91	c learnt constraints deletion: 103776 -> 51888
824.08/824.32	c solving time = 185.959s
824.08/824.32	c #decision = 973595
824.08/824.32	c #conflict = 477992
824.08/824.32	c #restart = 220
824.08/824.32	o 68
824.08/824.32	c Solving starts ...
854.47/854.70	c solving time = 30.363s
854.47/854.70	c #decision = 1011339
854.47/854.70	c #conflict = 496990
854.47/854.70	c #restart = 231
854.47/854.70	o 67
854.47/854.70	c Solving starts ...
854.58/854.83	c solving time = 0.114s
854.58/854.83	c #decision = 1012713
854.58/854.83	c #conflict = 497036
854.58/854.83	c #restart = 231
854.58/854.83	o 66
854.58/854.83	c Solving starts ...
855.98/856.20	c solving time = 1.356s
855.98/856.20	c #decision = 1017706
855.98/856.20	c #conflict = 497772
855.98/856.20	c #restart = 234
855.98/856.20	o 65
855.98/856.20	c Solving starts ...
856.17/856.49	c learnt constraints deletion: 74128 -> 37064
870.98/871.29	c solving time = 15.082s
870.98/871.29	c #decision = 1029516
870.98/871.29	c #conflict = 502046
870.98/871.29	c #restart = 241
870.98/871.29	o 64
870.98/871.29	c Solving starts ...
871.18/871.43	c solving time = 0.125s
871.18/871.43	c #decision = 1030882
871.18/871.43	c #conflict = 502143
871.18/871.43	c #restart = 241
871.18/871.43	o 63
871.18/871.43	c Solving starts ...
901.07/901.35	c solving time = 29.901s
901.07/901.35	c #decision = 1109588
901.07/901.35	c #conflict = 541041
901.07/901.35	c #restart = 254
901.07/901.35	o 62
901.07/901.35	c Solving starts ...
902.98/903.22	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-3725218-1338636939/watcher-3725218-1338636939 -o /tmp/evaluation-result-3725218-1338636939/solver-3725218-1338636939 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725218-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: 1.99 2.00 1.95 3/178 2738
/proc/meminfo: memFree=29148928/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 838 0 0 0 0 0 0 0 20 0 1 0 329818829 7421952 758 33554432000 4194304 8989770 140735704690320 140735683907576 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 1812 759 429 1171 0 589 0

[startup+0.010347 s]
/proc/loadavg: 1.99 2.00 1.95 3/178 2738
/proc/meminfo: memFree=29148928/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 920 0 0 0 0 0 0 0 20 0 1 0 329818829 7421952 840 33554432000 4194304 8989770 140735704690320 140735704689816 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 1812 840 429 1171 0 589 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7248

[startup+0.100245 s]
/proc/loadavg: 1.99 2.00 1.95 3/178 2738
/proc/meminfo: memFree=29148928/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=13392 CPUtime=0.09 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 2503 0 0 0 9 0 0 0 20 0 1 0 329818829 13713408 2423 33554432000 4194304 8989770 140735704690320 140735704689816 4208840 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 3348 2423 431 1171 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13392

[startup+0.300304 s]
/proc/loadavg: 1.99 2.00 1.95 3/178 2738
/proc/meminfo: memFree=29148928/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=23632 CPUtime=0.28 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 5186 0 0 0 28 0 0 0 20 0 1 0 329818829 24199168 5106 33554432000 4194304 8989770 140735704690320 140735704689816 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 5908 5106 431 1171 0 4685 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 23632

[startup+0.700305 s]
/proc/loadavg: 1.99 2.00 1.95 3/178 2738
/proc/meminfo: memFree=29148928/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=49232 CPUtime=0.69 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 11586 0 0 0 67 2 0 0 20 0 1 0 329818829 50413568 11506 33554432000 4194304 8989770 140735704690320 140735704689816 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 12308 11506 431 1171 0 11085 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49232

[startup+1.50028 s]
/proc/loadavg: 1.99 2.00 1.95 3/179 2739
/proc/meminfo: memFree=29067452/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=110672 CPUtime=1.49 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 26946 0 0 0 144 5 0 0 20 0 1 0 329818829 113328128 26866 33554432000 4194304 8989770 140735704690320 140735704688256 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 27668 26866 431 1171 0 26445 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 110672

[startup+3.10027 s]
/proc/loadavg: 2.15 2.03 1.96 3/179 2739
/proc/meminfo: memFree=29008436/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=193616 CPUtime=3.09 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 47682 0 0 0 298 11 0 0 20 0 1 0 329818829 198262784 47602 33554432000 4194304 8989770 140735704690320 140735704689816 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 48404 47602 431 1171 0 47181 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 193616

[startup+6.30025 s]
/proc/loadavg: 2.15 2.03 1.96 3/179 2739
/proc/meminfo: memFree=28810160/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=455760 CPUtime=6.29 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 113218 0 0 0 605 24 0 0 20 0 1 0 329818829 466698240 113138 33554432000 4194304 8989770 140735704690320 140735704689816 7415762 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 113940 113138 431 1171 0 112717 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 455760

[startup+12.7002 s]
/proc/loadavg: 2.13 2.03 1.96 3/179 2739
/proc/meminfo: memFree=28339984/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=810064 CPUtime=12.69 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 201794 0 0 0 1223 46 0 0 20 0 1 0 329818829 829505536 201714 33554432000 4194304 8989770 140735704690320 140735704689816 5799404 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 202516 201714 431 1171 0 201293 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 810064

[startup+25.507 s]
/proc/loadavg: 2.11 2.03 1.96 3/179 2739
/proc/meminfo: memFree=27702112/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=1444944 CPUtime=25.49 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 360515 0 0 0 2463 86 0 0 20 0 1 0 329818829 1479622656 360435 33554432000 4194304 8989770 140735704690320 140735704689816 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 361236 360435 431 1171 0 360013 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1444944

[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 1.96 3/179 2739
/proc/meminfo: memFree=26843364/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=2296912 CPUtime=51.08 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 573553 0 0 0 4977 131 0 0 20 0 1 0 329818829 2352037888 573473 33554432000 4194304 8989770 140735704690320 140735704689816 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 574228 573473 471 1171 0 573005 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2296912

[startup+102.3 s]
/proc/loadavg: 2.03 2.02 1.96 3/179 2740
/proc/meminfo: memFree=28676640/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=476240 CPUtime=102.27 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 611448 0 0 0 10057 170 0 0 20 0 1 0 329818829 487669760 118305 33554432000 4194304 8989770 140735704690320 140735704689160 7732715 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 119060 118305 471 1171 0 117837 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 476240

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/179 2740
/proc/meminfo: memFree=28428048/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=708688 CPUtime=162.25 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 669587 0 0 0 16029 196 0 0 20 0 1 0 329818829 725696512 176417 33554432000 4194304 8989770 140735704690320 140735704688256 7696030 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 177172 176417 471 1171 0 175949 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 708688

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 2740
/proc/meminfo: memFree=28312260/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=820304 CPUtime=222.24 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 697504 0 0 0 22014 210 0 0 20 0 1 0 329818829 839991296 204323 33554432000 4194304 8989770 140735704690320 140735704689816 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 205076 204323 473 1171 0 203853 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 820304

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 2743
/proc/meminfo: memFree=28236144/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=893008 CPUtime=282.22 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 715686 0 0 0 27992 230 0 0 20 0 1 0 329818829 914440192 222499 33554432000 4194304 8989770 140735704690320 140735704689584 7688479 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 223252 222499 473 1171 0 222029 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 893008

[startup+342.307 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 2743
/proc/meminfo: memFree=28075540/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=1057872 CPUtime=342.21 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 756910 0 0 0 33967 254 0 0 20 0 1 0 329818829 1083260928 263715 33554432000 4194304 8989770 140735704690320 140735704689816 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 264468 263715 473 1171 0 263245 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1057872

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 2744
/proc/meminfo: memFree=28051388/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=1081424 CPUtime=402.19 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 762806 0 0 0 39954 265 0 0 20 0 1 0 329818829 1107378176 269603 33554432000 4194304 8989770 140735704690320 140735704689584 4204592 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 270356 269603 473 1171 0 269133 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1081424

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 2744
/proc/meminfo: memFree=28050920/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=1081424 CPUtime=462.18 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 762810 0 0 0 45946 272 0 0 20 0 1 0 329818829 1107378176 269603 33554432000 4194304 8989770 140735704690320 140735704688256 4214448 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 270356 269603 473 1171 0 269133 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 1081424

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 2744
/proc/meminfo: memFree=28012632/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=1119312 CPUtime=522.16 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 772293 0 0 0 51930 286 0 0 20 0 1 0 329818829 1146175488 279075 33554432000 4194304 8989770 140735704690320 140735704689816 4204638 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 279828 279075 473 1171 0 278605 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1119312

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 2744
/proc/meminfo: memFree=27872168/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=1258576 CPUtime=582.13 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 807127 0 0 0 57905 308 0 0 20 0 1 0 329818829 1288781824 313891 33554432000 4194304 8989770 140735704690320 140735704689816 4438180 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 314644 313891 473 1171 0 313421 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1258576

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 2745
/proc/meminfo: memFree=27731292/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=1391696 CPUtime=822.09 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 840419 0 0 0 81861 348 0 0 20 0 1 0 329818829 1425096704 347171 33554432000 4194304 8989770 140735704690320 140735704689816 7688546 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 347924 347171 473 1171 0 346701 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 1391696

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 2748
/proc/meminfo: memFree=27731312/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=1391696 CPUtime=882.08 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 840427 0 0 0 87849 359 0 0 20 0 1 0 329818829 1425096704 347171 33554432000 4194304 8989770 140735704690320 140735704688256 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 347924 347171 473 1171 0 346701 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 1391696

[startup+942.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/180 2748
/proc/meminfo: memFree=27731316/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=1391696 CPUtime=942.06 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 840427 0 0 0 93835 371 0 0 20 0 1 0 329818829 1425096704 347171 33554432000 4194304 8989770 140735704690320 140735704688256 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 347924 347171 473 1171 0 346701 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 1391696

[startup+1002.31 s]
/proc/loadavg: 2.02 2.01 1.97 3/179 2748
/proc/meminfo: memFree=27726352/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=1391696 CPUtime=1002.06 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 840427 0 0 0 99828 378 0 0 20 0 1 0 329818829 1425096704 347171 33554432000 4194304 8989770 140735704690320 140735704689584 4208857 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 347924 347171 473 1171 0 346701 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 1391696

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 2749
/proc/meminfo: memFree=27726648/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=1391696 CPUtime=1062.05 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 840427 0 0 0 105819 386 0 0 20 0 1 0 329818829 1425096704 347171 33554432000 4194304 8989770 140735704690320 140735704689816 6855384 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 347924 347171 473 1171 0 346701 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 1391696

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 2749
/proc/meminfo: memFree=27726648/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=1391696 CPUtime=1122.03 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 840427 0 0 0 111807 396 0 0 20 0 1 0 329818829 1425096704 347171 33554432000 4194304 8989770 140735704690320 140735704689584 4204350 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 347924 347171 473 1171 0 346701 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 1391696

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/179 2749
/proc/meminfo: memFree=27726648/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=1391696 CPUtime=1182.02 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 840427 0 0 0 117801 401 0 0 20 0 1 0 329818829 1425096704 347171 33554432000 4194304 8989770 140735704690320 140735704689584 6855713 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 347924 347171 473 1171 0 346701 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 1391696

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/179 2749
/proc/meminfo: memFree=27726400/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=1391696 CPUtime=1242.01 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 840427 0 0 0 123795 406 0 0 20 0 1 0 329818829 1425096704 347171 33554432000 4194304 8989770 140735704690320 140735704689816 4208857 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 347924 347171 473 1171 0 346701 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1391696

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 2749
/proc/meminfo: memFree=27723300/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=1391696 CPUtime=1302 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 840427 0 0 0 129788 412 0 0 20 0 1 0 329818829 1425096704 347171 33554432000 4194304 8989770 140735704690320 140735704689584 4204320 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 347924 347171 473 1171 0 346701 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1391696

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 2750
/proc/meminfo: memFree=27723424/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=1391696 CPUtime=1362 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 840427 0 0 0 135782 418 0 0 20 0 1 0 329818829 1425096704 347171 33554432000 4194304 8989770 140735704690320 140735704689816 7686777 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 347924 347171 473 1171 0 346701 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 1391696

[startup+1422.3 s]
/proc/loadavg: 2.06 2.02 1.98 3/179 2750
/proc/meminfo: memFree=27723548/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=1391696 CPUtime=1421.99 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 840427 0 0 0 141775 424 0 0 20 0 1 0 329818829 1425096704 347171 33554432000 4194304 8989770 140735704690320 140735704688256 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 347924 347171 473 1171 0 346701 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 1391696

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/180 2753
/proc/meminfo: memFree=27722920/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=1391696 CPUtime=1481.98 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 840427 0 0 0 147768 430 0 0 20 0 1 0 329818829 1425096704 347171 33554432000 4194304 8989770 140735704690320 140735704689816 7686217 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 347924 347171 473 1171 0 346701 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 1391696

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 2776
/proc/meminfo: memFree=27723292/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=1391696 CPUtime=1541.97 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 840427 0 0 0 153761 436 0 0 20 0 1 0 329818829 1425096704 347171 33554432000 4194304 8989770 140735704690320 140735704689584 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 347924 347171 473 1171 0 346701 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 1391696

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 2776
/proc/meminfo: memFree=27723300/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=1391696 CPUtime=1601.96 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 840427 0 0 0 159754 442 0 0 20 0 1 0 329818829 1425096704 347171 33554432000 4194304 8989770 140735704690320 140735704689584 4208816 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 347924 347171 473 1171 0 346701 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 1391696

[startup+1662.31 s]
/proc/loadavg: 2.03 2.01 1.98 3/179 2777
/proc/meminfo: memFree=27722184/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=1391696 CPUtime=1661.95 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 840427 0 0 0 165747 448 0 0 20 0 1 0 329818829 1425096704 347171 33554432000 4194304 8989770 140735704690320 140735704689584 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 347924 347171 473 1171 0 346701 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1391696

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/179 2777
/proc/meminfo: memFree=27713008/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=1391696 CPUtime=1721.94 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 840427 0 0 0 171734 460 0 0 20 0 1 0 329818829 1425096704 347171 33554432000 4194304 8989770 140735704690320 140735704688256 7687056 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 347924 347171 473 1171 0 346701 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 1391696

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 2777
/proc/meminfo: memFree=27713388/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=1391696 CPUtime=1781.93 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 840427 0 0 0 177728 465 0 0 20 0 1 0 329818829 1425096704 347171 33554432000 4194304 8989770 140735704690320 140735704689816 4208833 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 347924 347171 473 1171 0 346701 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 1391696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.93 1.98 1.98 3/179 2817
/proc/meminfo: memFree=27830324/32873844 swapFree=7620/7620
[pid=2738] ppid=2736 vsize=1391696 CPUtime=1800.04 cores=1,3,5,7
/proc/2738/stat : 2738 (toysat) R 2736 2738 2201 0 -1 4202496 840427 0 0 0 179537 467 0 0 20 0 1 0 329818829 1425096704 347171 33554432000 4194304 8989770 140735704690320 140735704689584 7670185 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/2738/statm: 347924 347171 473 1171 0 346701 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1391696

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.05
CPU user time (s): 1795.38
CPU system time (s): 4.67629
CPU usage (%): 99.98
Max. virtual memory (cumulated for all children) (KiB): 2296912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.38
system time used= 4.67629
maximum resident set size= 2293892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 840427
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= 123
involuntary context switches= 1852

runsolver used 5.9191 second user time and 8.38573 second system time

The end

Launcher Data 

Begin job on node135 at 2012-06-02 13:35:40
IDJOB=3725218
IDBENCH=2950
IDSOLVER=2308
FILE ID=node135/3725218-1338636939
RUNJOBID= node135-1338631508-2218
PBS_JOBID= 14636445
Free space on /tmp= 70928 MiB

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

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

MD5SUM BENCH= f304ba5324add428c73c7022630c48ee
RANDOM SEED=1987482118

node135.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.820
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	: 5333.64
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.820
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	: 5332.57
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.820
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	: 5332.55
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.820
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	: 5332.55
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.820
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	: 5332.54
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.820
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	: 5332.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.820
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	: 5238.35
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.820
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29149200 kB
Buffers:          335004 kB
Cached:          2456292 kB
SwapCached:         1676 kB
Active:          1230104 kB
Inactive:        1652480 kB
Active(anon):      81620 kB
Inactive(anon):    12048 kB
Active(file):    1148484 kB
Inactive(file):  1640432 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67105796 kB
Dirty:             83128 kB
Writeback:             0 kB
AnonPages:         97632 kB
Mapped:            12320 kB
Shmem:               132 kB
Slab:             700964 kB
SReclaimable:     142236 kB
SUnreclaim:       558728 kB
KernelStack:        1464 kB
PageTables:         4156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     204804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 70924 MiB
End job on node135 at 2012-06-02 14:05:43