Trace number 3707359

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

General information on the benchmark

Name/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_10_errors.opb
MD5SUMb561a61efc46169e6f19abce33721598
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark19.745
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 18
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.09/0.10	c 2012-05-27T20:09:07+0200
0.09/0.10	c arch = x86_64
0.09/0.10	c os = linux
0.09/0.10	c compiler = ghc 7.4
0.09/0.10	c packages:
0.09/0.10	c   OptDir-0.0.1
0.09/0.10	c   array-0.4.0.0
0.09/0.10	c   base-4.5.0.0
0.09/0.10	c   bytestring-0.9.2.1
0.09/0.10	c   containers-0.4.2.1
0.09/0.10	c   deepseq-1.3.0.0
0.09/0.10	c   mtl-2.1.1
0.09/0.10	c   old_locale-1.0.0.4
0.09/0.10	c   parse_dimacs-1.2
0.09/0.10	c   parsec-3.1.2
0.09/0.10	c   queue-0.1.2
0.09/0.10	c   stm-2.3
0.09/0.10	c   time-1.4
0.09/0.10	c command line = ["--pb","HOME/instance-3707359-1338142147.opb"]
0.09/0.10	c #vars 584
0.09/0.10	c #constraints 427
0.09/0.10	c Solving starts ...
6.69/6.75	c solving time = 6.654s
6.69/6.75	c #decision = 13363
6.69/6.75	c #conflict = 10912
6.69/6.75	c #restart = 9
6.69/6.75	o 89
6.69/6.75	c Solving starts ...
6.69/6.78	c learnt constraints deletion: 10903 -> 5452
6.79/6.82	c learnt constraints deletion: 5452 -> 2726
6.79/6.84	c solving time = 0.090s
6.79/6.84	c #decision = 13453
6.79/6.84	c #conflict = 10913
6.79/6.84	c #restart = 9
6.79/6.84	o 87
6.79/6.84	c Solving starts ...
6.79/6.85	c solving time = 0.007s
6.79/6.85	c #decision = 13543
6.79/6.85	c #conflict = 10914
6.79/6.85	c #restart = 9
6.79/6.85	o 85
6.79/6.85	c Solving starts ...
6.79/6.86	c solving time = 0.006s
6.79/6.86	c #decision = 13633
6.79/6.86	c #conflict = 10915
6.79/6.86	c #restart = 9
6.79/6.86	o 83
6.79/6.86	c Solving starts ...
6.79/6.87	c solving time = 0.007s
6.79/6.87	c #decision = 13721
6.79/6.87	c #conflict = 10916
6.79/6.87	c #restart = 9
6.79/6.87	o 81
6.79/6.87	c Solving starts ...
6.79/6.87	c solving time = 0.006s
6.79/6.87	c #decision = 13810
6.79/6.87	c #conflict = 10917
6.79/6.87	c #restart = 9
6.79/6.87	o 79
6.79/6.88	c Solving starts ...
6.79/6.88	c solving time = 0.007s
6.79/6.88	c #decision = 13901
6.79/6.88	c #conflict = 10918
6.79/6.88	c #restart = 9
6.79/6.88	o 77
6.79/6.88	c Solving starts ...
6.79/6.89	c solving time = 0.006s
6.79/6.89	c #decision = 13992
6.79/6.89	c #conflict = 10919
6.79/6.89	c #restart = 9
6.79/6.89	o 75
6.79/6.89	c Solving starts ...
6.89/6.90	c solving time = 0.007s
6.89/6.90	c #decision = 14083
6.89/6.90	c #conflict = 10920
6.89/6.90	c #restart = 9
6.89/6.90	o 73
6.89/6.90	c Solving starts ...
6.89/6.95	c solving time = 0.047s
6.89/6.95	c #decision = 14280
6.89/6.95	c #conflict = 10943
6.89/6.95	c #restart = 9
6.89/6.95	o 71
6.89/6.95	c Solving starts ...
8.19/8.23	c solving time = 1.288s
8.19/8.23	c #decision = 21820
8.19/8.23	c #conflict = 16046
8.19/8.23	c #restart = 17
8.19/8.23	o 70
8.19/8.24	c Solving starts ...
8.19/8.27	c learnt constraints deletion: 7852 -> 3926
8.19/8.29	c solving time = 0.050s
8.19/8.29	c #decision = 21914
8.19/8.29	c #conflict = 16047
8.19/8.29	c #restart = 17
8.19/8.29	o 68
8.19/8.29	c Solving starts ...
8.19/8.29	c solving time = 0.007s
8.19/8.29	c #decision = 22006
8.19/8.29	c #conflict = 16048
8.19/8.29	c #restart = 17
8.19/8.29	o 66
8.19/8.29	c Solving starts ...
8.29/8.30	c solving time = 0.006s
8.29/8.30	c #decision = 22098
8.29/8.30	c #conflict = 16049
8.29/8.30	c #restart = 17
8.29/8.30	o 64
8.29/8.30	c Solving starts ...
8.29/8.31	c solving time = 0.007s
8.29/8.31	c #decision = 22189
8.29/8.31	c #conflict = 16050
8.29/8.31	c #restart = 17
8.29/8.31	o 62
8.29/8.31	c Solving starts ...
8.29/8.32	c solving time = 0.013s
8.29/8.32	c #decision = 22363
8.29/8.32	c #conflict = 16060
8.29/8.32	c #restart = 17
8.29/8.32	o 60
8.29/8.32	c Solving starts ...
8.29/8.33	c solving time = 0.007s
8.29/8.33	c #decision = 22445
8.29/8.33	c #conflict = 16061
8.29/8.33	c #restart = 17
8.29/8.33	o 58
8.29/8.33	c Solving starts ...
8.29/8.37	c solving time = 0.039s
8.29/8.37	c #decision = 22540
8.29/8.37	c #conflict = 16067
8.29/8.37	c #restart = 17
8.29/8.37	o 56
8.29/8.37	c Solving starts ...
8.29/8.38	c solving time = 0.008s
8.29/8.38	c #decision = 22623
8.29/8.38	c #conflict = 16068
8.29/8.38	c #restart = 17
8.29/8.38	o 54
8.29/8.38	c Solving starts ...
8.29/8.40	c solving time = 0.012s
8.29/8.40	c #decision = 22704
8.29/8.40	c #conflict = 16070
8.29/8.40	c #restart = 17
8.29/8.40	o 52
8.39/8.40	c Solving starts ...
8.39/8.40	c solving time = 0.006s
8.39/8.40	c #decision = 22780
8.39/8.40	c #conflict = 16071
8.39/8.40	c #restart = 17
8.39/8.40	o 50
8.39/8.40	c Solving starts ...
8.39/8.41	c solving time = 0.006s
8.39/8.41	c #decision = 22858
8.39/8.41	c #conflict = 16072
8.39/8.41	c #restart = 17
8.39/8.41	o 48
8.39/8.41	c Solving starts ...
8.39/8.42	c solving time = 0.013s
8.39/8.42	c #decision = 22942
8.39/8.42	c #conflict = 16074
8.39/8.42	c #restart = 17
8.39/8.42	o 46
8.39/8.42	c Solving starts ...
16.68/16.74	c learnt constraints deletion: 13093 -> 6547
22.89/22.92	c solving time = 14.496s
22.89/22.92	c #decision = 39139
22.89/22.92	c #conflict = 29923
22.89/22.92	c #restart = 27
22.89/22.92	o 45
22.89/22.92	c Solving starts ...
22.89/23.00	c learnt constraints deletion: 11247 -> 5624
22.99/23.02	c learnt constraints deletion: 5624 -> 2812
22.99/23.04	c solving time = 0.110s
22.99/23.04	c #decision = 39242
22.99/23.04	c #conflict = 29924
22.99/23.04	c #restart = 27
22.99/23.04	o 43
22.99/23.04	c Solving starts ...
22.99/23.07	c solving time = 0.031s
22.99/23.07	c #decision = 39345
22.99/23.07	c #conflict = 29925
22.99/23.07	c #restart = 27
22.99/23.07	o 41
22.99/23.07	c Solving starts ...
22.99/23.08	c solving time = 0.007s
22.99/23.08	c #decision = 39448
22.99/23.08	c #conflict = 29926
22.99/23.08	c #restart = 27
22.99/23.08	o 39
22.99/23.08	c Solving starts ...
22.99/23.08	c solving time = 0.007s
22.99/23.08	c #decision = 39551
22.99/23.08	c #conflict = 29927
22.99/23.08	c #restart = 27
22.99/23.08	o 37
22.99/23.08	c Solving starts ...
22.99/23.09	c solving time = 0.006s
22.99/23.09	c #decision = 39654
22.99/23.09	c #conflict = 29928
22.99/23.09	c #restart = 27
22.99/23.09	o 35
22.99/23.09	c Solving starts ...
22.99/23.10	c solving time = 0.006s
22.99/23.10	c #decision = 39757
22.99/23.10	c #conflict = 29929
22.99/23.10	c #restart = 27
22.99/23.10	o 33
22.99/23.10	c Solving starts ...
23.09/23.11	c solving time = 0.006s
23.09/23.11	c #decision = 39860
23.09/23.11	c #conflict = 29930
23.09/23.11	c #restart = 27
23.09/23.11	o 31
23.09/23.11	c Solving starts ...
23.09/23.11	c solving time = 0.006s
23.09/23.11	c #decision = 39963
23.09/23.11	c #conflict = 29931
23.09/23.11	c #restart = 27
23.09/23.11	o 29
23.09/23.11	c Solving starts ...
23.09/23.12	c solving time = 0.006s
23.09/23.12	c #decision = 40067
23.09/23.12	c #conflict = 29932
23.09/23.12	c #restart = 27
23.09/23.12	o 27
23.09/23.12	c Solving starts ...
31.09/31.10	c learnt constraints deletion: 11767 -> 5884
33.58/33.66	c learnt constraints deletion: 12870 -> 6435
37.68/37.70	c learnt constraints deletion: 14081 -> 7042
42.89/42.97	c learnt constraints deletion: 15499 -> 7750
49.28/49.33	c learnt constraints deletion: 16986 -> 8493
51.78/51.80	c learnt constraints deletion: 16978 -> 8489
55.58/55.64	c learnt constraints deletion: 18475 -> 9238
63.58/63.61	c learnt constraints deletion: 19876 -> 9940
72.78/72.85	c learnt constraints deletion: 19928 -> 9968
82.27/82.31	c learnt constraints deletion: 20289 -> 10145
86.88/86.93	c learnt constraints deletion: 20275 -> 10138
92.87/92.99	c learnt constraints deletion: 20267 -> 10135
100.17/100.27	c learnt constraints deletion: 20279 -> 10142
107.46/107.56	c learnt constraints deletion: 22261 -> 11131
112.86/112.94	c learnt constraints deletion: 22290 -> 11145
119.36/119.47	c learnt constraints deletion: 22287 -> 11145
125.85/125.98	c learnt constraints deletion: 22304 -> 11153
132.15/132.23	c learnt constraints deletion: 22290 -> 11146
139.04/139.12	c learnt constraints deletion: 22287 -> 11145
146.44/146.55	c learnt constraints deletion: 24352 -> 12176
152.43/152.50	c learnt constraints deletion: 24351 -> 12176
159.64/159.70	c learnt constraints deletion: 24357 -> 12180
169.94/170.08	c learnt constraints deletion: 24347 -> 12175
181.44/181.51	c learnt constraints deletion: 24350 -> 12177
190.74/190.83	c learnt constraints deletion: 24333 -> 12167
201.84/201.97	c learnt constraints deletion: 24339 -> 12171
210.53/210.67	c learnt constraints deletion: 24337 -> 12171
221.63/221.72	c learnt constraints deletion: 26707 -> 13354
228.43/228.53	c learnt constraints deletion: 26782 -> 13391
235.03/235.11	c learnt constraints deletion: 26669 -> 13335
241.53/241.61	c learnt constraints deletion: 26693 -> 13347
248.03/248.18	c learnt constraints deletion: 26777 -> 13390
259.12/259.27	c learnt constraints deletion: 27975 -> 13992
271.42/271.58	c learnt constraints deletion: 27971 -> 13990
284.52/284.69	c learnt constraints deletion: 28055 -> 14030
296.92/297.04	c learnt constraints deletion: 26811 -> 13416
308.81/308.92	c learnt constraints deletion: 27953 -> 13984
319.41/319.51	c learnt constraints deletion: 26767 -> 13388
329.51/329.67	c learnt constraints deletion: 29349 -> 14675
338.21/338.30	c learnt constraints deletion: 29327 -> 14664
349.71/349.81	c learnt constraints deletion: 29327 -> 14664
363.50/363.69	c learnt constraints deletion: 29355 -> 14678
378.50/378.65	c learnt constraints deletion: 29326 -> 14663
393.61/393.71	c learnt constraints deletion: 29331 -> 14667
402.40/402.56	c learnt constraints deletion: 29332 -> 14668
416.99/417.15	c learnt constraints deletion: 29313 -> 14657
431.29/431.42	c learnt constraints deletion: 29346 -> 14674
442.89/443.06	c learnt constraints deletion: 29319 -> 14660
455.49/455.68	c learnt constraints deletion: 29314 -> 14658
466.48/466.62	c learnt constraints deletion: 29324 -> 14664
479.98/480.17	c learnt constraints deletion: 29334 -> 14668
490.58/490.76	c learnt constraints deletion: 29397 -> 14699
500.78/500.99	c learnt constraints deletion: 29332 -> 14668
513.37/513.53	c learnt constraints deletion: 32222 -> 16111
526.78/526.93	c learnt constraints deletion: 32278 -> 16141
541.27/541.42	c learnt constraints deletion: 32214 -> 16108
557.17/557.30	c learnt constraints deletion: 33549 -> 16787
576.87/577.06	c learnt constraints deletion: 33420 -> 16720
598.46/598.60	c learnt constraints deletion: 32244 -> 16124
615.56/615.70	c learnt constraints deletion: 32187 -> 16096
632.55/632.75	c learnt constraints deletion: 32244 -> 16126
649.65/649.88	c learnt constraints deletion: 32228 -> 16119
665.54/665.77	c learnt constraints deletion: 32247 -> 16128
683.64/683.83	c learnt constraints deletion: 32276 -> 16140
698.94/699.13	c learnt constraints deletion: 32208 -> 16106
717.34/717.54	c learnt constraints deletion: 33461 -> 16738
732.34/732.53	c learnt constraints deletion: 32669 -> 16338
745.73/745.92	c learnt constraints deletion: 32199 -> 16104
757.93/758.16	c learnt constraints deletion: 32246 -> 16126
774.63/774.87	c learnt constraints deletion: 32231 -> 16123
792.02/792.29	c learnt constraints deletion: 32257 -> 16133
810.32/810.60	c learnt constraints deletion: 32230 -> 16123
826.72/826.96	c learnt constraints deletion: 32260 -> 16136
851.41/851.60	c learnt constraints deletion: 35364 -> 17682
871.21/871.46	c learnt constraints deletion: 35361 -> 17681
892.60/892.88	c learnt constraints deletion: 35500 -> 17750
916.20/916.40	c learnt constraints deletion: 35398 -> 17700
938.40/938.63	c learnt constraints deletion: 35410 -> 17708
961.99/962.25	c learnt constraints deletion: 35284 -> 17642
982.00/982.24	c learnt constraints deletion: 35438 -> 17720
1005.08/1005.35	c learnt constraints deletion: 35325 -> 17668
1028.07/1028.30	c learnt constraints deletion: 35392 -> 17702
1046.98/1047.22	c learnt constraints deletion: 35376 -> 17694
1071.37/1071.65	c learnt constraints deletion: 36395 -> 18212
1093.57/1093.88	c learnt constraints deletion: 35372 -> 17689
1113.17/1113.40	c learnt constraints deletion: 35426 -> 17718
1136.76/1137.02	c learnt constraints deletion: 35436 -> 17724
1158.36/1158.61	c learnt constraints deletion: 35375 -> 17712
1178.35/1178.65	c learnt constraints deletion: 35379 -> 17709
1198.65/1198.91	c learnt constraints deletion: 35357 -> 17700
1215.93/1216.23	c learnt constraints deletion: 35339 -> 17670
1238.53/1238.80	c learnt constraints deletion: 35303 -> 17654
1266.23/1266.55	c learnt constraints deletion: 36216 -> 18131
1283.02/1283.34	c learnt constraints deletion: 35335 -> 17671
1306.82/1307.18	c learnt constraints deletion: 36484 -> 18245
1329.42/1329.79	c learnt constraints deletion: 35608 -> 17811
1349.02/1349.37	c learnt constraints deletion: 35386 -> 17696
1362.81/1363.13	c learnt constraints deletion: 35449 -> 17726
1377.81/1378.11	c learnt constraints deletion: 35388 -> 17695
1398.50/1398.84	c learnt constraints deletion: 35388 -> 17697
1412.80/1413.15	c learnt constraints deletion: 35406 -> 17708
1430.40/1430.73	c learnt constraints deletion: 38736 -> 19368
1442.49/1442.84	c learnt constraints deletion: 38754 -> 19377
1465.19/1465.56	c learnt constraints deletion: 38745 -> 19374
1495.28/1495.61	c learnt constraints deletion: 38744 -> 19372
1513.28/1513.66	c learnt constraints deletion: 38756 -> 19378
1531.08/1531.42	c learnt constraints deletion: 38773 -> 19387
1549.17/1549.51	c learnt constraints deletion: 38819 -> 19412
1564.66/1565.04	c learnt constraints deletion: 38777 -> 19390
1581.36/1581.70	c learnt constraints deletion: 38782 -> 19392
1597.96/1598.37	c learnt constraints deletion: 38798 -> 19401
1613.66/1614.09	c learnt constraints deletion: 39375 -> 19691
1635.26/1635.69	c learnt constraints deletion: 39216 -> 19620
1652.75/1653.12	c learnt constraints deletion: 39001 -> 19501
1669.14/1669.50	c learnt constraints deletion: 38802 -> 19402
1685.95/1686.35	c learnt constraints deletion: 39105 -> 19555
1710.15/1710.52	c learnt constraints deletion: 39124 -> 19571
1730.74/1731.16	c learnt constraints deletion: 39157 -> 19582
1753.62/1754.06	c learnt constraints deletion: 39208 -> 19606
1781.91/1782.34	c learnt constraints deletion: 39363 -> 19686

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24377
/proc/meminfo: memFree=29735928/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 828 0 0 0 0 0 0 0 20 0 1 0 280339529 7405568 748 33554432000 4194304 8973514 140736195019280 140734328662888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 1808 748 416 1167 0 589 0

[startup+0.00818611 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24377
/proc/meminfo: memFree=29735928/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 878 0 0 0 0 0 0 0 20 0 1 0 280339529 7405568 798 33554432000 4194304 8973514 140736195019280 140734328662888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 1808 798 416 1167 0 589 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7232

[startup+0.100303 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24377
/proc/meminfo: memFree=29735928/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=17472 CPUtime=0.09 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 3541 0 0 0 9 0 0 0 20 0 1 0 280339529 17891328 3461 33554432000 4194304 8973514 140736195019280 140734328662888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 4368 3461 431 1167 0 3149 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17472

[startup+0.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24377
/proc/meminfo: memFree=29735928/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=22592 CPUtime=0.29 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 4948 0 0 0 29 0 0 0 20 0 1 0 280339529 23134208 4868 33554432000 4194304 8973514 140736195019280 140734328662888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 5648 4868 447 1167 0 4429 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22592

[startup+0.700331 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24377
/proc/meminfo: memFree=29735928/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=22592 CPUtime=0.69 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 4948 0 0 0 69 0 0 0 20 0 1 0 280339529 23134208 4868 33554432000 4194304 8973514 140736195019280 140736195018776 4481824 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 5648 4868 447 1167 0 4429 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22592

[startup+1.50037 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24378
/proc/meminfo: memFree=29718460/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=24640 CPUtime=1.48 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 5460 0 0 0 148 0 0 0 20 0 1 0 280339529 25231360 5380 33554432000 4194304 8973514 140736195019280 140736195018776 4427236 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 6160 5380 447 1167 0 4941 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 24640

[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24378
/proc/meminfo: memFree=29713996/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=29760 CPUtime=3.08 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 6740 0 0 0 307 1 0 0 20 0 1 0 280339529 30474240 6660 33554432000 4194304 8973514 140736195019280 140736195018776 4204592 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 7440 6660 447 1167 0 6221 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 29760

[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24378
/proc/meminfo: memFree=29706664/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=36928 CPUtime=6.29 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 8532 0 0 0 626 3 0 0 20 0 1 0 280339529 37814272 8452 33554432000 4194304 8973514 140736195019280 140736195018776 4372420 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 9232 8452 447 1167 0 8013 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36928

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24378
/proc/meminfo: memFree=29700092/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=40000 CPUtime=12.69 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 9314 0 0 0 1263 6 0 0 20 0 1 0 280339529 40960000 9234 33554432000 4194304 8973514 140736195019280 140736195018776 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 10000 9234 459 1167 0 8781 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40000

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24378
/proc/meminfo: memFree=29691272/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=46144 CPUtime=25.49 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 12386 0 0 0 2539 10 0 0 20 0 1 0 280339529 47251456 10770 33554432000 4194304 8973514 140736195019280 140736195018544 4372480 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 11536 10770 459 1167 0 10317 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 46144

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24378
/proc/meminfo: memFree=29671632/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=66624 CPUtime=51.08 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 17506 0 0 0 5089 19 0 0 20 0 1 0 280339529 68222976 15890 33554432000 4194304 8973514 140736195019280 140736195018544 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 16656 15890 459 1167 0 15437 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 66624

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 24381
/proc/meminfo: memFree=29619900/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=112704 CPUtime=102.27 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 29041 0 0 0 10194 33 0 0 20 0 1 0 280339529 115408896 27412 33554432000 4194304 8973514 140736195019280 140736195018544 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 28176 27412 459 1167 0 26957 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 112704

[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 24381
/proc/meminfo: memFree=29615496/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=114752 CPUtime=162.23 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 29577 0 0 0 16176 47 0 0 20 0 1 0 280339529 117506048 27924 33554432000 4194304 8973514 140736195019280 140736195017216 4204320 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 28688 27924 459 1167 0 27469 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 114752

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 24382
/proc/meminfo: memFree=29614628/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=115776 CPUtime=222.23 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 29833 0 0 0 22166 57 0 0 20 0 1 0 280339529 118554624 28180 33554432000 4194304 8973514 140736195019280 140736195017216 6839464 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 28944 28180 459 1167 0 27725 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 115776

[startup+282.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 24382
/proc/meminfo: memFree=29610292/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=119872 CPUtime=282.22 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 34953 0 0 0 28150 72 0 0 20 0 1 0 280339529 122748928 29204 33554432000 4194304 8973514 140736195019280 140736195018776 4380684 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 29968 29204 459 1167 0 28749 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 119872

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 24382
/proc/meminfo: memFree=29602656/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=123968 CPUtime=342.2 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 41102 0 0 0 34133 87 0 0 20 0 1 0 280339529 126943232 30229 33554432000 4194304 8973514 140736195019280 140736195018776 4208826 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 30992 30229 459 1167 0 29773 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 123968

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 24382
/proc/meminfo: memFree=29604516/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=119872 CPUtime=402.2 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 41102 0 0 0 40123 97 0 0 20 0 1 0 280339529 122748928 29205 33554432000 4194304 8973514 140736195019280 140736195018776 4371061 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 29968 29205 459 1167 0 28749 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 119872

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24382
/proc/meminfo: memFree=29609896/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=111680 CPUtime=462.18 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 42132 0 0 0 46108 110 0 0 20 0 1 0 280339529 114360320 27157 33554432000 4194304 8973514 140736195019280 140736195018776 4425112 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 27920 27157 459 1167 0 26701 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 111680

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24383
/proc/meminfo: memFree=29614104/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=107584 CPUtime=522.17 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 42132 0 0 0 52094 123 0 0 20 0 1 0 280339529 110166016 26133 33554432000 4194304 8973514 140736195019280 140736195018776 4211793 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 26896 26133 459 1167 0 25677 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 107584

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24383
/proc/meminfo: memFree=29594260/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=128064 CPUtime=582.16 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 47252 0 0 0 58076 140 0 0 20 0 1 0 280339529 131137536 31253 33554432000 4194304 8973514 140736195019280 140736195018776 4357460 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 32016 31253 459 1167 0 30797 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 128064

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 24387
/proc/meminfo: memFree=29600432/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=116800 CPUtime=822.12 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 58532 0 0 0 82019 193 0 0 20 0 1 0 280339529 119603200 28437 33554432000 4194304 8973514 140736195019280 140736195018776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 29200 28437 459 1167 0 27981 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 116800

[startup+882.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 24387
/proc/meminfo: memFree=29592868/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=123968 CPUtime=882.1 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 60836 0 0 0 88005 205 0 0 20 0 1 0 280339529 126943232 30229 33554432000 4194304 8973514 140736195019280 140736195018776 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 30992 30229 459 1167 0 29773 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 123968

[startup+942.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 24387
/proc/meminfo: memFree=29589148/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=128064 CPUtime=942.1 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 61860 0 0 0 93994 216 0 0 20 0 1 0 280339529 131137536 31253 33554432000 4194304 8973514 140736195019280 140736195018776 4459072 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 32016 31253 459 1167 0 30797 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 128064

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 24387
/proc/meminfo: memFree=29576784/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=140352 CPUtime=1002.08 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 64936 0 0 0 99979 229 0 0 20 0 1 0 280339529 143720448 34325 33554432000 4194304 8973514 140736195019280 140736195018544 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 35088 34325 459 1167 0 33869 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 140352

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 24387
/proc/meminfo: memFree=29600980/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=115776 CPUtime=1062.08 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 64936 0 0 0 105968 240 0 0 20 0 1 0 280339529 118554624 28181 33554432000 4194304 8973514 140736195019280 140736195018776 4425436 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 28944 28181 459 1167 0 27725 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 115776

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24388
/proc/meminfo: memFree=29573948/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=143424 CPUtime=1122.06 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 71848 0 0 0 111952 254 0 0 20 0 1 0 280339529 146866176 35093 33554432000 4194304 8973514 140736195019280 140736195018776 4441196 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 35856 35093 459 1167 0 34637 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 143424

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24388
/proc/meminfo: memFree=29592908/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=123968 CPUtime=1182.05 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 73141 0 0 0 117941 264 0 0 20 0 1 0 280339529 126943232 30229 33554432000 4194304 8973514 140736195019280 140736195018776 4213915 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 30992 30229 459 1167 0 29773 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 123968

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24388
/proc/meminfo: memFree=29585344/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=128064 CPUtime=1242.03 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 75445 0 0 0 123924 279 0 0 20 0 1 0 280339529 131137536 31253 33554432000 4194304 8973514 140736195019280 140736195018776 4209256 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 32016 31253 459 1167 0 30797 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 128064

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 24391
/proc/meminfo: memFree=29595016/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=118848 CPUtime=1302.03 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 76725 0 0 0 129912 291 0 0 20 0 1 0 280339529 121700352 28949 33554432000 4194304 8973514 140736195019280 140736195018776 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 29712 28949 459 1167 0 28493 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 118848

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24391
/proc/meminfo: memFree=29571880/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=142400 CPUtime=1362.01 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 86717 0 0 0 135897 304 0 0 20 0 1 0 280339529 145817600 34837 33554432000 4194304 8973514 140736195019280 140736195018544 4208827 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 35600 34837 459 1167 0 34381 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 142400

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24392
/proc/meminfo: memFree=29583532/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=128064 CPUtime=1422 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 90819 0 0 0 141883 317 0 0 20 0 1 0 280339529 131137536 31253 33554432000 4194304 8973514 140736195019280 140736195018776 4204641 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 32016 31253 459 1167 0 30797 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 128064

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24392
/proc/meminfo: memFree=29571208/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=140352 CPUtime=1481.98 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 98499 0 0 0 147869 329 0 0 20 0 1 0 280339529 143720448 34325 33554432000 4194304 8973514 140736195019280 140736195018544 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 35088 34325 459 1167 0 33869 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 140352

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24392
/proc/meminfo: memFree=29585032/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=128064 CPUtime=1541.97 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 100555 0 0 0 153857 340 0 0 20 0 1 0 280339529 131137536 31253 33554432000 4194304 8973514 140736195019280 140736195018776 6576046 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 32016 31253 459 1167 0 30797 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 128064

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 24394
/proc/meminfo: memFree=29580140/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=132160 CPUtime=1601.96 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 103119 0 0 0 159844 352 0 0 20 0 1 0 280339529 135331840 32277 33554432000 4194304 8973514 140736195019280 140736195018776 4213673 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 33040 32277 459 1167 0 31821 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 132160

[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 24394
/proc/meminfo: memFree=29579912/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=132160 CPUtime=1661.94 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 109519 0 0 0 165829 365 0 0 20 0 1 0 280339529 135331840 32277 33554432000 4194304 8973514 140736195019280 140736195018544 4208906 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 33040 32277 459 1167 0 31821 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 132160

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 24394
/proc/meminfo: memFree=29568768/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=140352 CPUtime=1721.94 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 117711 0 0 0 171813 381 0 0 20 0 1 0 280339529 143720448 34325 33554432000 4194304 8973514 140736195019280 140736195018776 4208818 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 35088 34325 459 1167 0 33869 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 140352

[startup+1782.3 s]
/proc/loadavg: 1.44 1.85 1.95 2/173 24420
/proc/meminfo: memFree=29744188/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=155712 CPUtime=1781.91 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 121571 0 0 0 177798 393 0 0 20 0 1 0 280339529 159449088 38165 33554432000 4194304 8973514 140736195019280 140736195018776 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 38928 38165 459 1167 0 37709 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 155712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.34 1.81 1.93 2/173 24420
/proc/meminfo: memFree=29737988/32873844 swapFree=7372/7372
[pid=24377] ppid=24375 vsize=158784 CPUtime=1800.02 cores=1,3,5,7
/proc/24377/stat : 24377 (toysat) R 24375 24377 21797 0 -1 4202496 122339 0 0 0 179605 397 0 0 20 0 1 0 280339529 162594816 38933 33554432000 4194304 8973514 140736195019280 140736195018544 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24377/statm: 39696 38933 459 1167 0 38477 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 158784

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.03
CPU user time (s): 1796.05
CPU system time (s): 3.9744
CPU usage (%): 99.9789
Max. virtual memory (cumulated for all children) (KiB): 164928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.05
system time used= 3.97439
maximum resident set size= 161876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122339
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= 131
involuntary context switches= 1846

runsolver used 2.79058 second user time and 11.1843 second system time

The end

Launcher Data 

Begin job on node133 at 2012-05-27 20:09:07
IDJOB=3707359
IDBENCH=72483
IDSOLVER=2285
FILE ID=node133/3707359-1338142147
RUNJOBID= node133-1338109544-21814
PBS_JOBID= 14624470
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= b561a61efc46169e6f19abce33721598
RANDOM SEED=1091738561

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29736448 kB
Buffers:          360156 kB
Cached:          1793308 kB
SwapCached:          104 kB
Active:           776340 kB
Inactive:        1532824 kB
Active(anon):     146476 kB
Inactive(anon):    11368 kB
Active(file):     629864 kB
Inactive(file):  1521456 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108752 kB
Dirty:              7400 kB
Writeback:             0 kB
AnonPages:        164392 kB
Mapped:            16196 kB
Shmem:               212 kB
Slab:             685880 kB
SReclaimable:     128052 kB
SUnreclaim:       557828 kB
KernelStack:        1480 kB
PageTables:         4328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     271576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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= 71720 MiB
End job on node133 at 2012-05-27 20:39:10