Trace number 3707360

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_15_errors.opb
MD5SUMb155444c97f18a8f3025da7494a3d01e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark49.9814
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables584
Total number of constraints427
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints394
Minimum length of a constraint1
Maximum length of a constraint34
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 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2406
Sum of products size (including duplicates)10572
Number of different products2406
Sum of products size10572

Quality of the solution as a function of time


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

Solver Data 

0.06/0.09	c 2012-05-27T20:10:31+0200
0.06/0.09	c arch = x86_64
0.06/0.09	c os = linux
0.06/0.09	c compiler = ghc 7.4
0.06/0.09	c packages:
0.06/0.09	c   OptDir-0.0.1
0.06/0.09	c   array-0.4.0.0
0.06/0.09	c   base-4.5.0.0
0.06/0.09	c   bytestring-0.9.2.1
0.06/0.09	c   containers-0.4.2.1
0.06/0.09	c   deepseq-1.3.0.0
0.06/0.09	c   mtl-2.1.1
0.06/0.09	c   old_locale-1.0.0.4
0.06/0.09	c   parse_dimacs-1.2
0.06/0.09	c   parsec-3.1.2
0.06/0.09	c   queue-0.1.2
0.06/0.09	c   stm-2.3
0.06/0.09	c   time-1.4
0.06/0.09	c command line = ["--pb","HOME/instance-3707360-1338142231.opb"]
0.06/0.09	c #vars 584
0.06/0.09	c #constraints 427
0.06/0.09	c Solving starts ...
5.29/5.40	c solving time = 5.304s
5.29/5.40	c #decision = 9898
5.29/5.40	c #conflict = 8268
5.29/5.40	c #restart = 9
5.29/5.40	o 107
5.29/5.40	c Solving starts ...
5.40/5.43	c learnt constraints deletion: 8259 -> 4130
5.40/5.45	c solving time = 0.045s
5.40/5.45	c #decision = 9989
5.40/5.45	c #conflict = 8269
5.40/5.45	c #restart = 9
5.40/5.45	o 105
5.40/5.45	c Solving starts ...
5.40/5.45	c solving time = 0.007s
5.40/5.45	c #decision = 10080
5.40/5.45	c #conflict = 8270
5.40/5.45	c #restart = 9
5.40/5.45	o 103
5.40/5.45	c Solving starts ...
5.40/5.46	c solving time = 0.006s
5.40/5.46	c #decision = 10170
5.40/5.46	c #conflict = 8271
5.40/5.46	c #restart = 9
5.40/5.46	o 101
5.40/5.46	c Solving starts ...
5.40/5.47	c solving time = 0.007s
5.40/5.47	c #decision = 10261
5.40/5.47	c #conflict = 8272
5.40/5.47	c #restart = 9
5.40/5.47	o 99
5.40/5.47	c Solving starts ...
5.40/5.47	c solving time = 0.006s
5.40/5.47	c #decision = 10352
5.40/5.47	c #conflict = 8273
5.40/5.47	c #restart = 9
5.40/5.47	o 97
5.40/5.48	c Solving starts ...
5.40/5.48	c solving time = 0.006s
5.40/5.48	c #decision = 10443
5.40/5.48	c #conflict = 8274
5.40/5.48	c #restart = 9
5.40/5.48	o 95
5.40/5.48	c Solving starts ...
5.40/5.49	c solving time = 0.006s
5.40/5.49	c #decision = 10534
5.40/5.49	c #conflict = 8275
5.40/5.49	c #restart = 9
5.40/5.49	o 93
5.40/5.49	c Solving starts ...
5.40/5.50	c solving time = 0.006s
5.40/5.50	c #decision = 10625
5.40/5.50	c #conflict = 8276
5.40/5.50	c #restart = 9
5.40/5.50	o 91
5.40/5.50	c Solving starts ...
5.49/5.50	c solving time = 0.006s
5.49/5.50	c #decision = 10716
5.49/5.50	c #conflict = 8277
5.49/5.50	c #restart = 9
5.49/5.50	o 89
5.49/5.50	c Solving starts ...
5.49/5.51	c solving time = 0.006s
5.49/5.51	c #decision = 10807
5.49/5.51	c #conflict = 8278
5.49/5.51	c #restart = 9
5.49/5.51	o 87
5.49/5.51	c Solving starts ...
5.49/5.52	c solving time = 0.006s
5.49/5.52	c #decision = 10898
5.49/5.52	c #conflict = 8279
5.49/5.52	c #restart = 9
5.49/5.52	o 85
5.49/5.52	c Solving starts ...
5.49/5.54	c solving time = 0.023s
5.49/5.54	c #decision = 10989
5.49/5.54	c #conflict = 8280
5.49/5.54	c #restart = 9
5.49/5.54	o 83
5.49/5.54	c Solving starts ...
5.49/5.55	c solving time = 0.011s
5.49/5.55	c #decision = 11131
5.49/5.55	c #conflict = 8287
5.49/5.55	c #restart = 9
5.49/5.55	o 81
5.49/5.55	c Solving starts ...
5.49/5.56	c solving time = 0.006s
5.49/5.56	c #decision = 11257
5.49/5.56	c #conflict = 8288
5.49/5.56	c #restart = 9
5.49/5.56	o 79
5.49/5.56	c Solving starts ...
5.59/5.61	c solving time = 0.046s
5.59/5.61	c #decision = 11457
5.59/5.61	c #conflict = 8317
5.59/5.61	c #restart = 9
5.59/5.61	o 77
5.59/5.61	c Solving starts ...
5.59/5.63	c solving time = 0.023s
5.59/5.63	c #decision = 11593
5.59/5.63	c #conflict = 8331
5.59/5.63	c #restart = 9
5.59/5.63	o 75
5.59/5.63	c Solving starts ...
5.59/5.64	c solving time = 0.007s
5.59/5.64	c #decision = 11669
5.59/5.64	c #conflict = 8332
5.59/5.64	c #restart = 9
5.59/5.64	o 73
5.59/5.64	c Solving starts ...
5.59/5.65	c solving time = 0.006s
5.59/5.65	c #decision = 11746
5.59/5.65	c #conflict = 8333
5.59/5.65	c #restart = 9
5.59/5.65	o 71
5.59/5.65	c Solving starts ...
5.59/5.66	c solving time = 0.006s
5.59/5.66	c #decision = 11823
5.59/5.66	c #conflict = 8334
5.59/5.66	c #restart = 9
5.59/5.66	o 69
5.59/5.66	c Solving starts ...
5.59/5.68	c solving time = 0.021s
5.59/5.68	c #decision = 11899
5.59/5.68	c #conflict = 8335
5.59/5.68	c #restart = 9
5.59/5.68	o 67
5.59/5.68	c Solving starts ...
5.59/5.69	c solving time = 0.007s
5.59/5.69	c #decision = 11975
5.59/5.69	c #conflict = 8336
5.59/5.69	c #restart = 9
5.59/5.69	o 65
5.59/5.69	c Solving starts ...
5.59/5.69	c solving time = 0.006s
5.59/5.69	c #decision = 12051
5.59/5.69	c #conflict = 8337
5.59/5.69	c #restart = 9
5.59/5.69	o 63
5.59/5.69	c Solving starts ...
5.69/5.70	c solving time = 0.006s
5.69/5.70	c #decision = 12127
5.69/5.70	c #conflict = 8338
5.69/5.70	c #restart = 9
5.69/5.70	o 61
5.69/5.70	c Solving starts ...
5.69/5.71	c solving time = 0.006s
5.69/5.71	c #decision = 12203
5.69/5.71	c #conflict = 8339
5.69/5.71	c #restart = 9
5.69/5.71	o 59
5.69/5.71	c Solving starts ...
5.69/5.71	c solving time = 0.006s
5.69/5.71	c #decision = 12280
5.69/5.71	c #conflict = 8340
5.69/5.71	c #restart = 9
5.69/5.71	o 57
5.69/5.71	c Solving starts ...
5.69/5.72	c solving time = 0.006s
5.69/5.72	c #decision = 12359
5.69/5.72	c #conflict = 8341
5.69/5.72	c #restart = 9
5.69/5.72	o 55
5.69/5.72	c Solving starts ...
5.69/5.73	c solving time = 0.006s
5.69/5.73	c #decision = 12437
5.69/5.73	c #conflict = 8342
5.69/5.73	c #restart = 9
5.69/5.73	o 53
5.69/5.73	c Solving starts ...
5.69/5.73	c solving time = 0.006s
5.69/5.73	c #decision = 12516
5.69/5.73	c #conflict = 8343
5.69/5.73	c #restart = 9
5.69/5.73	o 51
5.69/5.74	c Solving starts ...
5.69/5.74	c solving time = 0.006s
5.69/5.74	c #decision = 12594
5.69/5.74	c #conflict = 8344
5.69/5.74	c #restart = 9
5.69/5.74	o 49
5.69/5.74	c Solving starts ...
5.69/5.75	c solving time = 0.006s
5.69/5.75	c #decision = 12673
5.69/5.75	c #conflict = 8345
5.69/5.75	c #restart = 9
5.69/5.75	o 47
5.69/5.75	c Solving starts ...
5.69/5.77	c solving time = 0.025s
5.69/5.77	c #decision = 12758
5.69/5.77	c #conflict = 8352
5.69/5.77	c #restart = 9
5.69/5.77	o 45
5.69/5.77	c Solving starts ...
11.49/11.58	c learnt constraints deletion: 11711 -> 5856
18.18/18.20	c learnt constraints deletion: 14137 -> 7069
19.59/19.70	c solving time = 13.920s
19.59/19.70	c #decision = 31683
19.59/19.70	c #conflict = 25519
19.59/19.70	c #restart = 20
19.59/19.70	o 44
19.59/19.70	c Solving starts ...
19.69/19.72	c learnt constraints deletion: 8447 -> 4224
19.98/20.07	c solving time = 0.375s
19.98/20.07	c #decision = 32193
19.98/20.07	c #conflict = 25810
19.98/20.07	c #restart = 22
19.98/20.07	o 42
19.98/20.07	c Solving starts ...
23.38/23.45	c learnt constraints deletion: 10737 -> 5369
24.29/24.39	c solving time = 4.309s
24.29/24.39	c #decision = 42758
24.29/24.39	c #conflict = 35549
24.29/24.39	c #restart = 31
24.29/24.39	o 41
24.29/24.39	c Solving starts ...
24.39/24.41	c learnt constraints deletion: 8875 -> 4438
24.39/24.42	c solving time = 0.034s
24.39/24.42	c #decision = 42860
24.39/24.42	c #conflict = 35550
24.39/24.42	c #restart = 31
24.39/24.42	o 39
24.39/24.42	c Solving starts ...
24.49/24.56	c solving time = 0.140s
24.49/24.56	c #decision = 43012
24.49/24.56	c #conflict = 35614
24.49/24.56	c #restart = 31
24.49/24.56	o 38
24.49/24.56	c Solving starts ...
27.88/27.94	c learnt constraints deletion: 10839 -> 5420
33.18/33.27	c learnt constraints deletion: 12941 -> 6471
40.08/40.13	c learnt constraints deletion: 15346 -> 7674
48.39/48.48	c learnt constraints deletion: 15442 -> 7721
58.38/58.49	c learnt constraints deletion: 15452 -> 7728
67.28/67.32	c learnt constraints deletion: 18352 -> 9177
76.08/76.19	c learnt constraints deletion: 18660 -> 9330
80.08/80.14	c learnt constraints deletion: 18528 -> 9264
84.17/84.27	c learnt constraints deletion: 18548 -> 9274
88.98/89.10	c learnt constraints deletion: 18540 -> 9271
97.28/97.36	c learnt constraints deletion: 20472 -> 10236
108.27/108.36	c learnt constraints deletion: 20548 -> 10274
124.97/125.03	c learnt constraints deletion: 20300 -> 10150
140.25/140.36	c learnt constraints deletion: 20242 -> 10121
148.85/148.97	c learnt constraints deletion: 22315 -> 11158
163.76/163.83	c learnt constraints deletion: 22266 -> 11134
181.45/181.58	c learnt constraints deletion: 22969 -> 11486
199.04/199.13	c learnt constraints deletion: 23206 -> 11604
218.64/218.70	c learnt constraints deletion: 23492 -> 11747
230.63/230.79	c solving time = 206.174s
230.63/230.79	c #decision = 273282
230.63/230.79	c #conflict = 229970
230.63/230.79	c #restart = 47
230.63/230.79	o 37
230.63/230.79	c Solving starts ...
231.23/231.34	c learnt constraints deletion: 19625 -> 9813
231.23/231.39	c learnt constraints deletion: 9813 -> 4907
234.04/234.16	c learnt constraints deletion: 10790 -> 5395
237.84/237.96	c learnt constraints deletion: 13815 -> 6908
241.24/241.31	c learnt constraints deletion: 14134 -> 7067
243.04/243.12	c learnt constraints deletion: 15406 -> 7703
248.04/248.12	c learnt constraints deletion: 16940 -> 8470
254.93/255.05	c learnt constraints deletion: 16943 -> 8472
261.53/261.68	c learnt constraints deletion: 16918 -> 8461
272.43/272.57	c learnt constraints deletion: 19710 -> 9856
284.63/284.74	c learnt constraints deletion: 20059 -> 10031
297.02/297.19	c learnt constraints deletion: 20532 -> 10266
303.63/303.76	c learnt constraints deletion: 20798 -> 10399
311.12/311.26	c learnt constraints deletion: 20304 -> 10152
319.61/319.73	c learnt constraints deletion: 20287 -> 10145
326.21/326.38	c learnt constraints deletion: 20305 -> 10154
336.11/336.20	c learnt constraints deletion: 23604 -> 11802
347.11/347.22	c learnt constraints deletion: 23596 -> 11800
360.20/360.39	c learnt constraints deletion: 23498 -> 11756
374.10/374.22	c learnt constraints deletion: 23474 -> 11744
387.90/388.05	c learnt constraints deletion: 23487 -> 11752
398.60/398.72	c learnt constraints deletion: 24409 -> 12205
403.90/404.03	c learnt constraints deletion: 24639 -> 12320
410.80/410.95	c learnt constraints deletion: 24415 -> 12208
418.80/418.92	c learnt constraints deletion: 24422 -> 12213
426.80/426.93	c learnt constraints deletion: 24386 -> 12193
434.50/434.63	c learnt constraints deletion: 24412 -> 12209
441.09/441.24	c learnt constraints deletion: 24446 -> 12225
450.60/450.74	c learnt constraints deletion: 25716 -> 12860
463.50/463.68	c learnt constraints deletion: 27220 -> 13610
477.20/477.33	c learnt constraints deletion: 26768 -> 13386
492.60/492.73	c learnt constraints deletion: 27330 -> 13666
509.68/509.85	c learnt constraints deletion: 26723 -> 13362
528.07/528.26	c learnt constraints deletion: 26729 -> 13365
548.57/548.72	c learnt constraints deletion: 26754 -> 13380
568.06/568.28	c learnt constraints deletion: 28066 -> 14035
589.57/589.73	c learnt constraints deletion: 27674 -> 13849
610.17/610.33	c learnt constraints deletion: 27731 -> 13885
631.36/631.55	c learnt constraints deletion: 27250 -> 13628
654.45/654.61	c learnt constraints deletion: 26746 -> 13378
671.96/672.11	c learnt constraints deletion: 29310 -> 14655
681.95/682.15	c learnt constraints deletion: 29315 -> 14659
691.04/691.21	c learnt constraints deletion: 29310 -> 14656
706.65/706.89	c learnt constraints deletion: 29313 -> 14659
726.54/726.77	c learnt constraints deletion: 29312 -> 14656
749.24/749.44	c learnt constraints deletion: 29309 -> 14656
768.93/769.12	c learnt constraints deletion: 29327 -> 14665
792.13/792.38	c learnt constraints deletion: 29306 -> 14655
813.33/813.58	c learnt constraints deletion: 29320 -> 14662
833.54/833.73	c learnt constraints deletion: 29308 -> 14656
857.22/857.41	c learnt constraints deletion: 29318 -> 14662
872.12/872.38	c learnt constraints deletion: 29311 -> 14659
889.21/889.44	c learnt constraints deletion: 29338 -> 14673
906.61/906.85	c learnt constraints deletion: 29339 -> 14675
920.21/920.48	c learnt constraints deletion: 29267 -> 14634
934.71/934.92	c learnt constraints deletion: 33542 -> 16771
953.41/953.68	c learnt constraints deletion: 33542 -> 16796
975.10/975.31	c learnt constraints deletion: 33683 -> 16845
1000.10/1000.39	c learnt constraints deletion: 33653 -> 16855
1021.60/1021.85	c learnt constraints deletion: 32241 -> 16124
1043.79/1044.01	c learnt constraints deletion: 33463 -> 16740
1065.69/1065.94	c learnt constraints deletion: 33499 -> 16782
1087.08/1087.35	c learnt constraints deletion: 33673 -> 16870
1108.27/1108.51	c learnt constraints deletion: 33720 -> 16862
1132.27/1132.53	c learnt constraints deletion: 33308 -> 16657
1157.87/1158.14	c learnt constraints deletion: 32418 -> 16212
1182.86/1183.10	c learnt constraints deletion: 33344 -> 16677
1206.37/1206.65	c learnt constraints deletion: 33410 -> 16722
1230.15/1230.45	c learnt constraints deletion: 33263 -> 16653
1254.55/1254.84	c learnt constraints deletion: 33239 -> 16645
1280.24/1280.50	c learnt constraints deletion: 33329 -> 16688
1304.44/1304.74	c learnt constraints deletion: 33403 -> 16728
1323.34/1323.63	c learnt constraints deletion: 32202 -> 16103
1347.63/1347.97	c learnt constraints deletion: 33411 -> 16712
1375.63/1376.00	c learnt constraints deletion: 35295 -> 17650
1396.13/1396.44	c learnt constraints deletion: 35313 -> 17658
1416.52/1416.89	c learnt constraints deletion: 36294 -> 18149
1439.02/1439.35	c learnt constraints deletion: 35317 -> 17661
1465.11/1465.42	c learnt constraints deletion: 35339 -> 17673
1491.81/1492.19	c learnt constraints deletion: 35289 -> 17649
1520.70/1521.08	c learnt constraints deletion: 35921 -> 17964
1547.50/1547.81	c learnt constraints deletion: 36047 -> 18028
1572.79/1573.15	c learnt constraints deletion: 36761 -> 18382
1601.29/1601.68	c learnt constraints deletion: 36693 -> 18355
1630.09/1630.45	c learnt constraints deletion: 36760 -> 18388
1656.18/1656.57	c learnt constraints deletion: 35615 -> 17810
1680.48/1680.84	c learnt constraints deletion: 35353 -> 17680
1702.58/1702.92	c learnt constraints deletion: 35615 -> 17811
1725.68/1726.02	c learnt constraints deletion: 36487 -> 18247
1749.77/1750.13	c learnt constraints deletion: 36471 -> 18240
1774.35/1774.77	c learnt constraints deletion: 36712 -> 18356

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-3707360-1338142231/watcher-3707360-1338142231 -o /tmp/evaluation-result-3707360-1338142231/solver-3707360-1338142231 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707360-1338142231.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 16162
/proc/meminfo: memFree=28674960/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 807 0 0 0 0 0 0 0 20 0 1 0 280349132 6356992 729 33554432000 4194304 8973514 140734634032592 140733536170776 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 1552 729 416 1167 0 333 0

[startup+0.069929 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 16162
/proc/meminfo: memFree=28674960/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=12352 CPUtime=0.06 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 2271 0 0 0 6 0 0 0 20 0 1 0 280349132 12648448 2193 33554432000 4194304 8973514 140734634032592 140733536170776 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 3088 2193 430 1167 0 1869 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12352

[startup+0.10026 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 16162
/proc/meminfo: memFree=28674960/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=17472 CPUtime=0.09 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 3551 0 0 0 9 0 0 0 20 0 1 0 280349132 17891328 3473 33554432000 4194304 8973514 140734634032592 140733536170776 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 4368 3473 443 1167 0 3149 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17472

[startup+0.300223 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 16162
/proc/meminfo: memFree=28674960/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=21568 CPUtime=0.29 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 4689 0 0 0 29 0 0 0 20 0 1 0 280349132 22085632 4611 33554432000 4194304 8973514 140734634032592 140733536170776 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 5392 4611 447 1167 0 4173 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21568

[startup+0.700282 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 16162
/proc/meminfo: memFree=28674960/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=21568 CPUtime=0.69 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 4692 0 0 0 69 0 0 0 20 0 1 0 280349132 22085632 4614 33554432000 4194304 8973514 140734634032592 140734634032088 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 5392 4614 447 1167 0 4173 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21568

[startup+1.50017 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 16163
/proc/meminfo: memFree=28658212/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=24640 CPUtime=1.49 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 5224 0 0 0 148 1 0 0 20 0 1 0 280349132 25231360 5146 33554432000 4194304 8973514 140734634032592 140734634031856 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 6160 5146 447 1167 0 4941 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24640

[startup+3.10028 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 16163
/proc/meminfo: memFree=28652384/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=30784 CPUtime=3.09 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 6996 0 0 0 307 2 0 0 20 0 1 0 280349132 31522816 6918 33554432000 4194304 8973514 140734634032592 140734634032088 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 7696 6918 447 1167 0 6477 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30784

[startup+6.30024 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 16163
/proc/meminfo: memFree=28643084/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=37952 CPUtime=6.29 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 8800 0 0 0 627 2 0 0 20 0 1 0 280349132 38862848 8722 33554432000 4194304 8973514 140734634032592 140734634031856 4209573 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 9488 8722 459 1167 0 8269 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37952

[startup+12.7002 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 16163
/proc/meminfo: memFree=28633104/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=46144 CPUtime=12.69 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 10848 0 0 0 1265 4 0 0 20 0 1 0 280349132 47251456 10770 33554432000 4194304 8973514 140734634032592 140734634032088 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 11536 10770 459 1167 0 10317 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46144

[startup+25.5002 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16163
/proc/meminfo: memFree=28637072/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=42048 CPUtime=25.48 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 13408 0 0 0 2540 8 0 0 20 0 1 0 280349132 43057152 9746 33554432000 4194304 8973514 140734634032592 140734634032088 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 10512 9746 459 1167 0 9293 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42048

[startup+51.1002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 16163
/proc/meminfo: memFree=28616868/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=61504 CPUtime=51.08 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 18272 0 0 0 5093 15 0 0 20 0 1 0 280349132 62980096 14610 33554432000 4194304 8973514 140734634032592 140734634032088 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 15376 14610 459 1167 0 14157 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 61504

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16163
/proc/meminfo: memFree=28592128/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=83008 CPUtime=102.28 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 28768 0 0 0 10197 31 0 0 20 0 1 0 280349132 85000192 19986 33554432000 4194304 8973514 140734634032592 140734634032088 4209272 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 20752 19986 459 1167 0 19533 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 83008

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16163
/proc/meminfo: memFree=28595968/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=78912 CPUtime=162.24 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 28792 0 0 0 16178 46 0 0 20 0 1 0 280349132 80805888 18967 33554432000 4194304 8973514 140734634032592 140734634032088 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 19728 18967 459 1167 0 18509 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 78912

[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 16163
/proc/meminfo: memFree=28573776/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=101440 CPUtime=222.24 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 34424 0 0 0 22163 61 0 0 20 0 1 0 280349132 103874560 24599 33554432000 4194304 8973514 140734634032592 140734634032088 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 25360 24599 459 1167 0 24141 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 101440

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 16164
/proc/meminfo: memFree=28588384/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=89152 CPUtime=282.23 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 43128 0 0 0 28147 76 0 0 20 0 1 0 280349132 91291648 21527 33554432000 4194304 8973514 140734634032592 140734634032088 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 22288 21527 459 1167 0 21069 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 89152

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16164
/proc/meminfo: memFree=28577976/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=97344 CPUtime=342.21 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 49030 0 0 0 34129 92 0 0 20 0 1 0 280349132 99680256 23575 33554432000 4194304 8973514 140734634032592 140734634032088 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 24336 23575 459 1167 0 23117 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 97344

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16164
/proc/meminfo: memFree=28563220/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=111680 CPUtime=402.2 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 52870 0 0 0 40116 104 0 0 20 0 1 0 280349132 114360320 27159 33554432000 4194304 8973514 140734634032592 140734634032088 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 27920 27159 459 1167 0 26701 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 111680

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16164
/proc/meminfo: memFree=28576188/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=99392 CPUtime=462.19 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 55174 0 0 0 46103 116 0 0 20 0 1 0 280349132 101777408 24087 33554432000 4194304 8973514 140734634032592 140734634032088 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 24848 24087 459 1167 0 23629 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 99392

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16164
/proc/meminfo: memFree=28556732/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=115776 CPUtime=522.17 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 60815 0 0 0 52086 131 0 0 20 0 1 0 280349132 118554624 28183 33554432000 4194304 8973514 140734634032592 140734634032088 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 28944 28183 459 1167 0 27725 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 115776

[startup+582.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 16168
/proc/meminfo: memFree=28576860/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=95296 CPUtime=582.17 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 61839 0 0 0 58075 142 0 0 20 0 1 0 280349132 97583104 23063 33554432000 4194304 8973514 140734634032592 140734634032088 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 23824 23063 459 1167 0 22605 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 95296

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 16168
/proc/meminfo: memFree=28576520/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=93248 CPUtime=822.13 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 67731 0 0 0 82024 189 0 0 20 0 1 0 280349132 95485952 22551 33554432000 4194304 8973514 140734634032592 140734634031856 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 23312 22551 459 1167 0 22093 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 93248

[startup+882.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 16169
/proc/meminfo: memFree=28573776/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=95296 CPUtime=882.11 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 70551 0 0 0 88013 198 0 0 20 0 1 0 280349132 97583104 23063 33554432000 4194304 8973514 140734634032592 140734634032088 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 23824 23063 459 1167 0 22605 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 95296

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 16170
/proc/meminfo: memFree=28559632/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=112704 CPUtime=942.1 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 74903 0 0 0 93997 213 0 0 20 0 1 0 280349132 115408896 27415 33554432000 4194304 8973514 140734634032592 140734634032088 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 28176 27415 459 1167 0 26957 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 112704

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16170
/proc/meminfo: memFree=28529324/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=140352 CPUtime=1002.09 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 83351 0 0 0 99981 228 0 0 20 0 1 0 280349132 143720448 34327 33554432000 4194304 8973514 140734634032592 140734634032088 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 35088 34327 459 1167 0 33869 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 140352

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16170
/proc/meminfo: memFree=28532876/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=136256 CPUtime=1062.08 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 84379 0 0 0 105967 241 0 0 20 0 1 0 280349132 139526144 33303 33554432000 4194304 8973514 140734634032592 140734634032088 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 34064 33303 459 1167 0 32845 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 136256

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16170
/proc/meminfo: memFree=28540504/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=128064 CPUtime=1122.08 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 85403 0 0 0 111954 254 0 0 20 0 1 0 280349132 131137536 31255 33554432000 4194304 8973514 140734634032592 140734634032088 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 32016 31255 459 1167 0 30797 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 128064

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16174
/proc/meminfo: memFree=28547332/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=122944 CPUtime=1182.07 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 87963 0 0 0 117938 269 0 0 20 0 1 0 280349132 125894656 29975 33554432000 4194304 8973514 140734634032592 140734634032088 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 30736 29975 459 1167 0 29517 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 122944

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16174
/proc/meminfo: memFree=28551760/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=115776 CPUtime=1242.06 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 90011 0 0 0 123924 282 0 0 20 0 1 0 280349132 118554624 28183 33554432000 4194304 8973514 140734634032592 140734634032088 7716772 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 28944 28183 459 1167 0 27725 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 115776

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16174
/proc/meminfo: memFree=28542120/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=123968 CPUtime=1302.04 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 92327 0 0 0 129912 292 0 0 20 0 1 0 280349132 126943232 30231 33554432000 4194304 8973514 140734634032592 140734634032088 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 30992 30231 459 1167 0 29773 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 123968

[startup+1362.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 16669
/proc/meminfo: memFree=28673196/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=126016 CPUtime=1362.03 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 94375 0 0 0 135896 307 0 0 20 0 1 0 280349132 129040384 30743 33554432000 4194304 8973514 140734634032592 140734634032088 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 31504 30743 459 1167 0 30285 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 126016

[startup+1422.31 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 16669
/proc/meminfo: memFree=28624652/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=131136 CPUtime=1422.03 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 101031 0 0 0 141882 321 0 0 20 0 1 0 280349132 134283264 32023 33554432000 4194304 8973514 140734634032592 140734634031856 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 32784 32023 459 1167 0 31565 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 131136

[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 16670
/proc/meminfo: memFree=28591572/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=138304 CPUtime=1482.01 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 102823 0 0 0 147868 333 0 0 20 0 1 0 280349132 141623296 33815 33554432000 4194304 8973514 140734634032592 140734634032088 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 34576 33815 459 1167 0 33357 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 138304

[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 16670
/proc/meminfo: memFree=28587032/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=132160 CPUtime=1542 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 102823 0 0 0 153855 345 0 0 20 0 1 0 280349132 135331840 32279 33554432000 4194304 8973514 140734634032592 140734634032088 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 33040 32279 459 1167 0 31821 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 132160

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 16670
/proc/meminfo: memFree=28567104/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=152640 CPUtime=1601.99 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 107950 0 0 0 159840 359 0 0 20 0 1 0 280349132 156303360 37399 33554432000 4194304 8973514 140734634032592 140734634032088 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 38160 37399 459 1167 0 36941 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 152640

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 16670
/proc/meminfo: memFree=28574416/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=136256 CPUtime=1661.98 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 108718 0 0 0 165827 371 0 0 20 0 1 0 280349132 139526144 33303 33554432000 4194304 8973514 140734634032592 140734634032088 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 34064 33303 459 1167 0 32845 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 136256

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16670
/proc/meminfo: memFree=28586912/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=119872 CPUtime=1721.97 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 109742 0 0 0 171812 385 0 0 20 0 1 0 280349132 122748928 29207 33554432000 4194304 8973514 140734634032592 140734634032088 4441929 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 29968 29207 459 1167 0 28749 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 119872

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16674
/proc/meminfo: memFree=28579668/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=128064 CPUtime=1781.96 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 113845 0 0 0 177794 402 0 0 20 0 1 0 280349132 131137536 31255 33554432000 4194304 8973514 140734634032592 140734634031856 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 32016 31255 459 1167 0 30797 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 128064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16674
/proc/meminfo: memFree=28575648/32873648 swapFree=7372/7372
[pid=16162] ppid=16160 vsize=132160 CPUtime=1800.06 cores=0,2,4,6
/proc/16162/stat : 16162 (toysat) R 16160 16162 12124 0 -1 4202496 114869 0 0 0 179601 405 0 0 20 0 1 0 280349132 135331840 32279 33554432000 4194304 8973514 140734634032592 140734634031856 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/16162/statm: 33040 32279 459 1167 0 31821 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 132160

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.07
CPU user time (s): 1796.02
CPU system time (s): 4.05538
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 152640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.02
system time used= 4.05538
maximum resident set size= 149596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114869
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= 87
involuntary context switches= 1868

runsolver used 3.57945 second user time and 8.87565 second system time

The end

Launcher Data 

Begin job on node122 at 2012-05-27 20:10:31
IDJOB=3707360
IDBENCH=72485
IDSOLVER=2285
FILE ID=node122/3707360-1338142231
RUNJOBID= node122-1338119311-12140
PBS_JOBID= 14624476
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_15_errors.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707360-1338142231/watcher-3707360-1338142231 -o /tmp/evaluation-result-3707360-1338142231/solver-3707360-1338142231 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3707360-1338142231.opb

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

MD5SUM BENCH= b155444c97f18a8f3025da7494a3d01e
RANDOM SEED=1022878227

node122.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.533
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.06
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.533
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.533
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.04
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.533
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.533
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.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
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.533
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.533
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:       32873648 kB
MemFree:        28674852 kB
Buffers:          310604 kB
Cached:          2902900 kB
SwapCached:            0 kB
Active:          1382336 kB
Inactive:        2017432 kB
Active(anon):     177372 kB
Inactive(anon):    11052 kB
Active(file):    1204964 kB
Inactive(file):  2006380 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7096 kB
Writeback:             0 kB
AnonPages:        192740 kB
Mapped:            15468 kB
Shmem:               200 kB
Slab:             660992 kB
SReclaimable:     105036 kB
SUnreclaim:       555956 kB
KernelStack:        1488 kB
PageTables:         4504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     300456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    172032 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71680 MiB
End job on node122 at 2012-05-27 20:40:34