Trace number 3706801

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
MD5SUMf9ec307a3c8f55679d3b9ab693efbd4c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.182971
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables934
Total number of constraints1063
Number of constraints which are clauses879
Number of constraints which are cardinality constraints (but not clauses)184
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20
Number of terms in the objective function 934
Biggest coefficient in the objective function 546
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 2594
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 546
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2594
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.09/0.11	c 2012-05-27T13:09:01+0200
0.09/0.11	c arch = x86_64
0.09/0.11	c os = linux
0.09/0.11	c compiler = ghc 7.4
0.09/0.11	c packages:
0.09/0.11	c   OptDir-0.0.1
0.09/0.11	c   array-0.4.0.0
0.09/0.11	c   base-4.5.0.0
0.09/0.11	c   bytestring-0.9.2.1
0.09/0.11	c   containers-0.4.2.1
0.09/0.11	c   deepseq-1.3.0.0
0.09/0.11	c   mtl-2.1.1
0.09/0.11	c   old_locale-1.0.0.4
0.09/0.11	c   parse_dimacs-1.2
0.09/0.11	c   parsec-3.1.2
0.09/0.11	c   queue-0.1.2
0.09/0.11	c   stm-2.3
0.09/0.11	c   time-1.4
0.09/0.11	c command line = ["--pb","HOME/instance-3706801-1338116940.opb"]
0.09/0.11	c #vars 934
0.09/0.11	c #constraints 1063
0.09/0.11	c Solving starts ...
0.09/0.11	c solving time = 0.002s
0.09/0.11	c #decision = 491
0.09/0.11	c #conflict = 0
0.09/0.11	c #restart = 0
0.09/0.11	o 11
0.09/0.11	c Solving starts ...
6.69/6.79	c learnt constraints deletion: 1315 -> 658
10.09/10.16	c learnt constraints deletion: 1418 -> 709
14.29/14.33	c learnt constraints deletion: 1605 -> 804
18.19/18.26	c learnt constraints deletion: 1729 -> 866
21.48/21.55	c learnt constraints deletion: 1732 -> 867
25.38/25.47	c learnt constraints deletion: 1847 -> 925
28.88/28.98	c learnt constraints deletion: 1851 -> 930
31.59/31.67	c learnt constraints deletion: 1759 -> 880
36.19/36.25	c learnt constraints deletion: 2004 -> 1009
40.49/40.56	c learnt constraints deletion: 1995 -> 999
44.79/44.87	c learnt constraints deletion: 2005 -> 1005
47.49/47.54	c learnt constraints deletion: 1743 -> 872
53.18/53.20	c learnt constraints deletion: 2168 -> 1087
57.58/57.62	c learnt constraints deletion: 2154 -> 1078
61.78/61.86	c learnt constraints deletion: 2175 -> 1092
66.38/66.45	c learnt constraints deletion: 2176 -> 1091
70.87/70.92	c learnt constraints deletion: 2152 -> 1079
75.38/75.46	c learnt constraints deletion: 2332 -> 1170
79.08/79.16	c learnt constraints deletion: 2323 -> 1162
83.68/83.70	c learnt constraints deletion: 2324 -> 1162
88.37/88.47	c learnt constraints deletion: 2338 -> 1171
93.67/93.73	c learnt constraints deletion: 2337 -> 1173
99.17/99.23	c learnt constraints deletion: 2340 -> 1176
104.87/104.92	c learnt constraints deletion: 2346 -> 1180
110.77/110.85	c learnt constraints deletion: 2541 -> 1281
115.77/115.83	c learnt constraints deletion: 2513 -> 1257
121.57/121.68	c learnt constraints deletion: 2536 -> 1271
127.57/127.63	c learnt constraints deletion: 2549 -> 1276
133.86/133.93	c learnt constraints deletion: 2527 -> 1268
139.46/139.53	c learnt constraints deletion: 2549 -> 1280
145.67/145.74	c learnt constraints deletion: 2537 -> 1275
151.77/151.87	c learnt constraints deletion: 2547 -> 1278
157.56/157.67	c learnt constraints deletion: 2557 -> 1284
163.77/163.90	c learnt constraints deletion: 2532 -> 1273
170.86/170.90	c learnt constraints deletion: 2743 -> 1374
177.45/177.52	c learnt constraints deletion: 2759 -> 1383
184.06/184.17	c learnt constraints deletion: 2736 -> 1373
189.95/190.00	c learnt constraints deletion: 2753 -> 1378
195.86/195.92	c learnt constraints deletion: 2745 -> 1376
202.36/202.42	c learnt constraints deletion: 2733 -> 1369
208.85/208.93	c learnt constraints deletion: 2750 -> 1377
214.65/214.70	c learnt constraints deletion: 2747 -> 1377
220.45/220.50	c learnt constraints deletion: 2738 -> 1372
226.35/226.43	c learnt constraints deletion: 2741 -> 1375
232.65/232.73	c learnt constraints deletion: 2734 -> 1371
238.45/238.58	c learnt constraints deletion: 2739 -> 1376
244.65/244.70	c learnt constraints deletion: 2737 -> 1373
251.45/251.52	c learnt constraints deletion: 2743 -> 1378
258.74/258.87	c learnt constraints deletion: 2968 -> 1485
266.24/266.31	c learnt constraints deletion: 2966 -> 1484
272.14/272.22	c learnt constraints deletion: 2974 -> 1489
278.14/278.29	c learnt constraints deletion: 2977 -> 1490
284.44/284.58	c learnt constraints deletion: 2967 -> 1485
291.34/291.45	c learnt constraints deletion: 2960 -> 1482
298.04/298.19	c learnt constraints deletion: 2976 -> 1491
304.55/304.65	c learnt constraints deletion: 2982 -> 1498
310.64/310.71	c learnt constraints deletion: 2980 -> 1494
316.33/316.44	c learnt constraints deletion: 2988 -> 1500
322.24/322.39	c learnt constraints deletion: 2978 -> 1494
328.53/328.62	c learnt constraints deletion: 2980 -> 1493
333.43/333.52	c learnt constraints deletion: 2980 -> 1495
339.63/339.80	c learnt constraints deletion: 2977 -> 1491
347.72/347.84	c learnt constraints deletion: 2977 -> 1491
354.23/354.32	c learnt constraints deletion: 2984 -> 1496
360.82/360.98	c learnt constraints deletion: 2977 -> 1492
367.23/367.33	c learnt constraints deletion: 2991 -> 1502
373.22/373.37	c learnt constraints deletion: 2974 -> 1491
379.43/379.53	c learnt constraints deletion: 2966 -> 1489
386.62/386.71	c learnt constraints deletion: 3215 -> 1608
394.02/394.18	c learnt constraints deletion: 3239 -> 1621
401.33/401.43	c learnt constraints deletion: 3231 -> 1620
408.92/409.08	c learnt constraints deletion: 3222 -> 1613
416.92/417.04	c learnt constraints deletion: 3255 -> 1629
423.62/423.72	c learnt constraints deletion: 3232 -> 1618
430.62/430.78	c learnt constraints deletion: 3249 -> 1628
437.62/437.77	c learnt constraints deletion: 3230 -> 1618
444.41/444.58	c learnt constraints deletion: 3211 -> 1609
451.92/452.02	c learnt constraints deletion: 3219 -> 1614
459.82/459.93	c learnt constraints deletion: 3235 -> 1624
467.01/467.14	c learnt constraints deletion: 3219 -> 1610
474.41/474.58	c learnt constraints deletion: 3251 -> 1627
482.41/482.55	c learnt constraints deletion: 3219 -> 1611
490.21/490.33	c learnt constraints deletion: 3217 -> 1612
498.20/498.32	c learnt constraints deletion: 3241 -> 1625
505.70/505.82	c learnt constraints deletion: 3217 -> 1612
512.30/512.48	c learnt constraints deletion: 3216 -> 1612
520.11/520.21	c learnt constraints deletion: 3243 -> 1624
526.80/526.99	c learnt constraints deletion: 3233 -> 1618
534.59/534.79	c learnt constraints deletion: 3212 -> 1608
542.79/542.90	c learnt constraints deletion: 3241 -> 1624
549.99/550.19	c learnt constraints deletion: 3235 -> 1621
557.19/557.36	c learnt constraints deletion: 3215 -> 1612
565.29/565.49	c learnt constraints deletion: 3235 -> 1622
572.79/572.98	c learnt constraints deletion: 3210 -> 1608
580.09/580.26	c learnt constraints deletion: 3228 -> 1619
588.98/589.13	c learnt constraints deletion: 3503 -> 1758
596.88/597.08	c learnt constraints deletion: 3490 -> 1747
604.79/604.96	c learnt constraints deletion: 3513 -> 1764
613.38/613.55	c learnt constraints deletion: 3525 -> 1763
621.68/621.83	c learnt constraints deletion: 3504 -> 1753
629.38/629.55	c learnt constraints deletion: 3496 -> 1751
637.18/637.37	c learnt constraints deletion: 3526 -> 1767
645.08/645.28	c learnt constraints deletion: 3526 -> 1769
653.38/653.50	c learnt constraints deletion: 3505 -> 1759
661.67/661.88	c learnt constraints deletion: 3524 -> 1764
669.78/669.92	c learnt constraints deletion: 3500 -> 1753
678.37/678.58	c learnt constraints deletion: 3502 -> 1754
686.48/686.60	c learnt constraints deletion: 3507 -> 1757
694.47/694.69	c learnt constraints deletion: 3506 -> 1757
702.87/703.09	c learnt constraints deletion: 3506 -> 1758
711.07/711.21	c learnt constraints deletion: 3498 -> 1754
719.17/719.40	c learnt constraints deletion: 3538 -> 1773
726.87/727.07	c learnt constraints deletion: 3516 -> 1762
734.86/735.08	c learnt constraints deletion: 3530 -> 1769
742.66/742.85	c learnt constraints deletion: 3509 -> 1760
750.46/750.64	c learnt constraints deletion: 3537 -> 1773
758.46/758.65	c learnt constraints deletion: 3514 -> 1763
767.25/767.44	c learnt constraints deletion: 3506 -> 1758
775.85/776.07	c learnt constraints deletion: 3523 -> 1770
783.45/783.68	c learnt constraints deletion: 3528 -> 1768
791.25/791.45	c learnt constraints deletion: 3508 -> 1759
798.75/798.99	c learnt constraints deletion: 3512 -> 1761
806.65/806.89	c learnt constraints deletion: 3518 -> 1765
813.94/814.14	c learnt constraints deletion: 3518 -> 1765
822.05/822.26	c learnt constraints deletion: 3509 -> 1760
831.15/831.31	c learnt constraints deletion: 3507 -> 1759
839.54/839.79	c learnt constraints deletion: 3514 -> 1763
848.24/848.46	c learnt constraints deletion: 3518 -> 1767
856.54/856.71	c learnt constraints deletion: 3496 -> 1752
864.54/864.74	c learnt constraints deletion: 3503 -> 1752
873.04/873.26	c learnt constraints deletion: 3493 -> 1748
880.64/880.84	c learnt constraints deletion: 3510 -> 1757
887.73/887.95	c learnt constraints deletion: 3602 -> 1801
897.53/897.71	c learnt constraints deletion: 3812 -> 1906
905.84/906.05	c learnt constraints deletion: 3816 -> 1910
914.53/914.71	c learnt constraints deletion: 3804 -> 1902
921.83/922.02	c learnt constraints deletion: 3804 -> 1903
929.43/929.65	c learnt constraints deletion: 3799 -> 1900
936.94/937.14	c learnt constraints deletion: 3816 -> 1911
944.33/944.56	c learnt constraints deletion: 3810 -> 1909
952.33/952.58	c learnt constraints deletion: 3805 -> 1905
961.03/961.26	c learnt constraints deletion: 3811 -> 1909
969.93/970.14	c learnt constraints deletion: 3805 -> 1907
978.23/978.49	c learnt constraints deletion: 3821 -> 1916
987.53/987.74	c learnt constraints deletion: 3828 -> 1920
995.62/995.81	c learnt constraints deletion: 3814 -> 1915
1003.41/1003.67	c learnt constraints deletion: 3807 -> 1906
1011.11/1011.32	c learnt constraints deletion: 3808 -> 1907
1018.01/1018.24	c learnt constraints deletion: 3816 -> 1909
1025.31/1025.57	c learnt constraints deletion: 3820 -> 1912
1032.61/1032.87	c learnt constraints deletion: 3802 -> 1906
1039.91/1040.11	c learnt constraints deletion: 3815 -> 1911
1047.71/1047.95	c learnt constraints deletion: 3819 -> 1914
1054.91/1055.15	c learnt constraints deletion: 3821 -> 1917
1062.10/1062.38	c learnt constraints deletion: 3802 -> 1903
1069.70/1069.93	c learnt constraints deletion: 3817 -> 1914
1077.50/1077.73	c learnt constraints deletion: 3807 -> 1908
1085.41/1085.64	c learnt constraints deletion: 3827 -> 1920
1093.30/1093.58	c learnt constraints deletion: 3809 -> 1911
1101.20/1101.50	c learnt constraints deletion: 3825 -> 1922
1109.30/1109.56	c learnt constraints deletion: 3830 -> 1920
1117.19/1117.49	c learnt constraints deletion: 3807 -> 1912
1124.89/1125.17	c learnt constraints deletion: 3816 -> 1912
1132.99/1133.29	c learnt constraints deletion: 3809 -> 1908
1141.40/1141.63	c learnt constraints deletion: 3823 -> 1917
1149.50/1149.70	c learnt constraints deletion: 3800 -> 1904
1157.19/1157.49	c learnt constraints deletion: 3815 -> 1915
1165.29/1165.54	c learnt constraints deletion: 3804 -> 1906
1172.69/1172.97	c learnt constraints deletion: 3820 -> 1916
1180.99/1181.23	c learnt constraints deletion: 3820 -> 1920
1188.09/1188.37	c learnt constraints deletion: 3821 -> 1918
1194.88/1195.19	c learnt constraints deletion: 3819 -> 1914
1202.98/1203.21	c learnt constraints deletion: 3797 -> 1904
1211.49/1211.72	c learnt constraints deletion: 3815 -> 1913
1219.69/1219.97	c learnt constraints deletion: 3818 -> 1917
1227.39/1227.61	c learnt constraints deletion: 3809 -> 1912
1235.28/1235.58	c learnt constraints deletion: 3827 -> 1922
1242.98/1243.24	c learnt constraints deletion: 3834 -> 1927
1250.38/1250.65	c learnt constraints deletion: 3826 -> 1927
1257.18/1257.48	c learnt constraints deletion: 3827 -> 1930
1264.47/1264.75	c learnt constraints deletion: 3821 -> 1917
1272.57/1272.84	c learnt constraints deletion: 3825 -> 1919
1280.27/1280.56	c learnt constraints deletion: 3815 -> 1914
1289.87/1290.17	c learnt constraints deletion: 4170 -> 2092
1298.47/1298.72	c learnt constraints deletion: 4142 -> 2076
1307.58/1307.87	c learnt constraints deletion: 4157 -> 2086
1315.47/1315.72	c learnt constraints deletion: 4156 -> 2086
1322.87/1323.12	c learnt constraints deletion: 4155 -> 2079
1330.67/1330.99	c learnt constraints deletion: 4136 -> 2071
1339.66/1339.92	c learnt constraints deletion: 4152 -> 2077
1348.26/1348.54	c learnt constraints deletion: 4151 -> 2079
1358.06/1358.37	c learnt constraints deletion: 4148 -> 2078
1366.56/1366.83	c learnt constraints deletion: 4147 -> 2076
1375.15/1375.41	c learnt constraints deletion: 4151 -> 2080
1383.66/1383.97	c learnt constraints deletion: 4144 -> 2073
1392.26/1392.53	c learnt constraints deletion: 4144 -> 2075
1400.65/1400.96	c learnt constraints deletion: 4153 -> 2079
1408.95/1409.28	c learnt constraints deletion: 4140 -> 2074
1417.55/1417.86	c learnt constraints deletion: 4142 -> 2072
1426.04/1426.33	c learnt constraints deletion: 4149 -> 2078
1434.15/1434.42	c learnt constraints deletion: 4143 -> 2075
1442.44/1442.79	c learnt constraints deletion: 4155 -> 2084
1450.84/1451.17	c learnt constraints deletion: 4151 -> 2083
1458.64/1458.96	c learnt constraints deletion: 4150 -> 2078
1466.23/1466.58	c learnt constraints deletion: 4149 -> 2078
1475.24/1475.59	c learnt constraints deletion: 4156 -> 2083
1484.24/1484.58	c learnt constraints deletion: 4163 -> 2092
1493.03/1493.38	c learnt constraints deletion: 4148 -> 2078
1502.13/1502.42	c learnt constraints deletion: 4147 -> 2080
1510.23/1510.52	c learnt constraints deletion: 4146 -> 2078
1518.13/1518.42	c learnt constraints deletion: 4160 -> 2084
1526.32/1526.68	c learnt constraints deletion: 4172 -> 2093
1535.13/1535.49	c learnt constraints deletion: 4158 -> 2084
1543.63/1543.96	c learnt constraints deletion: 4166 -> 2091
1552.42/1552.70	c learnt constraints deletion: 4167 -> 2090
1560.92/1561.20	c learnt constraints deletion: 4149 -> 2082
1569.82/1570.13	c learnt constraints deletion: 4154 -> 2083
1577.93/1578.21	c learnt constraints deletion: 4152 -> 2083
1586.32/1586.69	c learnt constraints deletion: 4186 -> 2101
1595.12/1595.43	c learnt constraints deletion: 4154 -> 2084
1603.42/1603.71	c learnt constraints deletion: 4150 -> 2083
1611.42/1611.77	c learnt constraints deletion: 4153 -> 2085
1619.71/1620.00	c learnt constraints deletion: 4144 -> 2079
1627.91/1628.26	c learnt constraints deletion: 4162 -> 2081
1637.01/1637.39	c learnt constraints deletion: 4166 -> 2085
1645.61/1645.96	c learnt constraints deletion: 4146 -> 2076
1654.41/1654.70	c learnt constraints deletion: 4146 -> 2075
1663.11/1663.44	c learnt constraints deletion: 4160 -> 2082
1672.51/1672.85	c learnt constraints deletion: 4148 -> 2077
1681.81/1682.11	c learnt constraints deletion: 4155 -> 2082
1690.80/1691.14	c learnt constraints deletion: 4157 -> 2082
1698.91/1699.21	c learnt constraints deletion: 4170 -> 2089
1707.70/1708.00	c learnt constraints deletion: 4148 -> 2078
1717.00/1717.33	c learnt constraints deletion: 4160 -> 2086
1725.90/1726.24	c learnt constraints deletion: 4164 -> 2092
1734.50/1734.86	c learnt constraints deletion: 4158 -> 2081
1742.59/1742.99	c learnt constraints deletion: 4154 -> 2079
1750.39/1750.77	c learnt constraints deletion: 4162 -> 2086
1757.89/1758.20	c learnt constraints deletion: 4150 -> 2078
1765.38/1765.78	c learnt constraints deletion: 4156 -> 2081
1773.59/1773.90	c learnt constraints deletion: 4154 -> 2083
1781.98/1782.30	c learnt constraints deletion: 4139 -> 2072
1789.99/1790.37	c learnt constraints deletion: 4144 -> 2076
1797.78/1798.14	c learnt constraints deletion: 4150 -> 2079

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-3706801-1338116940/watcher-3706801-1338116940 -o /tmp/evaluation-result-3706801-1338116940/solver-3706801-1338116940 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706801-1338116940.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.02 2.01 2.00 3/176 8906
/proc/meminfo: memFree=28612064/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 808 0 0 0 0 0 0 0 20 0 1 0 277820818 6356992 729 33554432000 4194304 8973514 140736035629472 140736645822840 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 1552 729 417 1167 0 333 0

[startup+0.015964 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 8906
/proc/meminfo: memFree=28612064/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=7232 CPUtime=0.01 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 1075 0 0 0 1 0 0 0 20 0 1 0 277820818 7405568 996 33554432000 4194304 8973514 140736035629472 140736645822840 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 1808 996 418 1167 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7232

[startup+0.100243 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 8906
/proc/meminfo: memFree=28612064/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=8256 CPUtime=0.09 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 1266 0 0 0 9 0 0 0 20 0 1 0 277820818 8454144 1187 33554432000 4194304 8973514 140736035629472 140736645822840 4481178 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 2064 1187 429 1167 0 845 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8256

[startup+0.300243 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 8906
/proc/meminfo: memFree=28612064/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=10304 CPUtime=0.29 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 1889 0 0 0 29 0 0 0 20 0 1 0 277820818 10551296 1810 33554432000 4194304 8973514 140736035629472 140736645822840 4463452 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 2576 1810 458 1167 0 1357 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10304

[startup+0.700248 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 8906
/proc/meminfo: memFree=28612064/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=11328 CPUtime=0.69 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 2145 0 0 0 69 0 0 0 20 0 1 0 277820818 11599872 2066 33554432000 4194304 8973514 140736035629472 140736035628968 7674096 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 2832 2066 458 1167 0 1613 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11328

[startup+1.50025 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8907
/proc/meminfo: memFree=28596812/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=13376 CPUtime=1.49 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 2657 0 0 0 149 0 0 0 20 0 1 0 277820818 13697024 2578 33554432000 4194304 8973514 140736035629472 140736035628968 6817526 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 3344 2578 458 1167 0 2125 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13376

[startup+3.10025 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8907
/proc/meminfo: memFree=28593092/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=13376 CPUtime=3.09 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 2657 0 0 0 308 1 0 0 20 0 1 0 277820818 13697024 2578 33554432000 4194304 8973514 140736035629472 140736035628968 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 3344 2578 458 1167 0 2125 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13376

[startup+6.30027 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8907
/proc/meminfo: memFree=28586960/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=17472 CPUtime=6.29 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 3681 0 0 0 627 2 0 0 20 0 1 0 277820818 17891328 3602 33554432000 4194304 8973514 140736035629472 140736035628968 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 4368 3602 458 1167 0 3149 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17472

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8907
/proc/meminfo: memFree=28579544/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=20544 CPUtime=12.69 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 4450 0 0 0 1264 5 0 0 20 0 1 0 277820818 21037056 4371 33554432000 4194304 8973514 140736035629472 140736035628736 6563848 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 5136 4371 459 1167 0 3917 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20544

[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8907
/proc/meminfo: memFree=28565544/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=27712 CPUtime=25.49 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 6242 0 0 0 2538 11 0 0 20 0 1 0 277820818 28377088 6163 33554432000 4194304 8973514 140736035629472 140736035628736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 6928 6163 459 1167 0 5709 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27712

[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8907
/proc/meminfo: memFree=28549940/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=28736 CPUtime=51.08 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 6498 0 0 0 5087 21 0 0 20 0 1 0 277820818 29425664 6419 33554432000 4194304 8973514 140736035629472 140736035628968 4209309 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 7184 6419 459 1167 0 5965 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 28736

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8910
/proc/meminfo: memFree=28524332/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=32832 CPUtime=102.28 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 8294 0 0 0 10188 40 0 0 20 0 1 0 277820818 33619968 7448 33554432000 4194304 8973514 140736035629472 140736035628968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 8208 7448 459 1167 0 6989 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 32832

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8910
/proc/meminfo: memFree=28494132/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=35904 CPUtime=162.26 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 9318 0 0 0 16163 63 0 0 20 0 1 0 277820818 36765696 8216 33554432000 4194304 8973514 140736035629472 140736035628968 4459616 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 8976 8216 459 1167 0 7757 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 35904

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8910
/proc/meminfo: memFree=28469524/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=32832 CPUtime=222.25 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 10089 0 0 0 22139 86 0 0 20 0 1 0 277820818 33619968 7448 33554432000 4194304 8973514 140736035629472 140736035628968 7732906 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 8208 7448 459 1167 0 6989 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 32832

[startup+282.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 8910
/proc/meminfo: memFree=28445832/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=33856 CPUtime=282.24 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 11113 0 0 0 28114 110 0 0 20 0 1 0 277820818 34668544 7704 33554432000 4194304 8973514 140736035629472 140736035627392 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 8464 7704 459 1167 0 7245 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 33856

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8911
/proc/meminfo: memFree=28423300/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=33856 CPUtime=342.23 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 13677 0 0 0 34090 133 0 0 20 0 1 0 277820818 34668544 7704 33554432000 4194304 8973514 140736035629472 140736035628968 6842658 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 8464 7704 459 1167 0 7245 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 33856

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8911
/proc/meminfo: memFree=28394692/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=40000 CPUtime=402.22 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 17005 0 0 0 40064 158 0 0 20 0 1 0 277820818 40960000 9240 33554432000 4194304 8973514 140736035629472 140736035627392 7688817 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 10000 9240 459 1167 0 8781 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 40000

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8911
/proc/meminfo: memFree=28373320/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=36928 CPUtime=462.21 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 19053 0 0 0 46038 183 0 0 20 0 1 0 277820818 37814272 8472 33554432000 4194304 8973514 140736035629472 140736035628968 7399125 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 9232 8472 459 1167 0 8013 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 36928

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8911
/proc/meminfo: memFree=28352200/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=37952 CPUtime=522.19 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 21110 0 0 0 52014 205 0 0 20 0 1 0 277820818 38862848 8728 33554432000 4194304 8973514 140736035629472 140736035628968 7717280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 9488 8728 459 1167 0 8269 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 37952

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8911
/proc/meminfo: memFree=28331336/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=37952 CPUtime=582.19 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 21366 0 0 0 57993 226 0 0 20 0 1 0 277820818 38862848 8728 33554432000 4194304 8973514 140736035629472 140736035628968 4213815 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 9488 8728 459 1167 0 8269 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 37952

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8915
/proc/meminfo: memFree=28251524/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=43072 CPUtime=822.15 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 27774 0 0 0 81898 317 0 0 20 0 1 0 277820818 44105728 10008 33554432000 4194304 8973514 140736035629472 140736035628968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 10768 10008 459 1167 0 9549 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 43072

[startup+882.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 8915
/proc/meminfo: memFree=28238792/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=37952 CPUtime=882.14 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 28286 0 0 0 87874 340 0 0 20 0 1 0 277820818 38862848 8728 33554432000 4194304 8973514 140736035629472 140736035628968 7688844 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 9488 8728 459 1167 0 8269 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 37952

[startup+942.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/177 8916
/proc/meminfo: memFree=28219672/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=42048 CPUtime=942.13 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 32126 0 0 0 93851 362 0 0 20 0 1 0 277820818 43057152 9752 33554432000 4194304 8973514 140736035629472 140736035628968 4208906 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 10512 9752 459 1167 0 9293 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 42048

[startup+1002.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 8916
/proc/meminfo: memFree=28198672/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=46144 CPUtime=1002.12 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 34174 0 0 0 99827 385 0 0 20 0 1 0 277820818 47251456 10776 33554432000 4194304 8973514 140736035629472 140736035628736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 11536 10776 459 1167 0 10317 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 46144

[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 8916
/proc/meminfo: memFree=28184388/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=46144 CPUtime=1062.1 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 36739 0 0 0 105803 407 0 0 20 0 1 0 277820818 47251456 10776 33554432000 4194304 8973514 140736035629472 140736035628968 6817049 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 11536 10776 459 1167 0 10317 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 46144

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 8916
/proc/meminfo: memFree=28165176/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=46144 CPUtime=1122.1 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 39299 0 0 0 111780 430 0 0 20 0 1 0 277820818 47251456 10776 33554432000 4194304 8973514 140736035629472 140736035628736 4205089 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 11536 10776 459 1167 0 10317 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 46144

[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 8916
/proc/meminfo: memFree=28148976/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=46144 CPUtime=1182.09 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 42115 0 0 0 117754 455 0 0 20 0 1 0 277820818 47251456 10776 33554432000 4194304 8973514 140736035629472 140736035628736 6842896 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 11536 10776 459 1167 0 10317 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 46144

[startup+1242.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 8917
/proc/meminfo: memFree=28130572/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=45120 CPUtime=1242.08 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 45955 0 0 0 123728 480 0 0 20 0 1 0 277820818 46202880 10520 33554432000 4194304 8973514 140736035629472 140736035628736 6576037 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 11280 10520 459 1167 0 10061 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 45120

[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 8920
/proc/meminfo: memFree=28116880/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=43072 CPUtime=1302.08 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 48515 0 0 0 129704 504 0 0 20 0 1 0 277820818 44105728 10008 33554432000 4194304 8973514 140736035629472 140736035628736 7667362 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 10768 10008 459 1167 0 9549 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 43072

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 8920
/proc/meminfo: memFree=28096164/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=49216 CPUtime=1362.05 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 52365 0 0 0 135679 526 0 0 20 0 1 0 277820818 50397184 11544 33554432000 4194304 8973514 140736035629472 140736035628736 7681187 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 12304 11544 459 1167 0 11085 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 49216

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 8920
/proc/meminfo: memFree=28084832/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=47168 CPUtime=1422.05 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 52621 0 0 0 141656 549 0 0 20 0 1 0 277820818 48300032 11032 33554432000 4194304 8973514 140736035629472 140736035628968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 11792 11032 459 1167 0 10573 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 47168

[startup+1482.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 8921
/proc/meminfo: memFree=28071840/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=51264 CPUtime=1482.04 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 54925 0 0 0 147631 573 0 0 20 0 1 0 277820818 52494336 12056 33554432000 4194304 8973514 140736035629472 140736035628736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 12816 12056 459 1167 0 11597 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 51264

[startup+1542.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 8922
/proc/meminfo: memFree=28056968/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=50240 CPUtime=1542.02 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 55693 0 0 0 153605 597 0 0 20 0 1 0 277820818 51445760 11800 33554432000 4194304 8973514 140736035629472 140736035628968 4415344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 12560 11800 459 1167 0 11341 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 50240

[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/177 8922
/proc/meminfo: memFree=28046100/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=46144 CPUtime=1602.01 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 56973 0 0 0 159581 620 0 0 20 0 1 0 277820818 47251456 10776 33554432000 4194304 8973514 140736035629472 140736035628968 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 11536 10776 459 1167 0 10317 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 46144

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 8922
/proc/meminfo: memFree=28033208/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=46144 CPUtime=1662 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 57997 0 0 0 165558 642 0 0 20 0 1 0 277820818 47251456 10776 33554432000 4194304 8973514 140736035629472 140736035628968 4209344 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 11536 10776 459 1167 0 10317 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 46144

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 8922
/proc/meminfo: memFree=28021472/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=46144 CPUtime=1722 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 59533 0 0 0 171535 665 0 0 20 0 1 0 277820818 47251456 10776 33554432000 4194304 8973514 140736035629472 140736035628968 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 11536 10776 459 1167 0 10317 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 46144

[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 8922
/proc/meminfo: memFree=28012736/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=42048 CPUtime=1781.98 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 61593 0 0 0 177511 687 0 0 20 0 1 0 277820818 43057152 9752 33554432000 4194304 8973514 140736035629472 140736035627456 4208826 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 10512 9752 459 1167 0 9293 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 42048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 8961
/proc/meminfo: memFree=28571836/32873648 swapFree=6844/6844
[pid=8906] ppid=8904 vsize=42048 CPUtime=1800.09 cores=1,3,5,7
/proc/8906/stat : 8906 (toysat) R 8904 8906 5668 0 -1 4202496 61593 0 0 0 179315 694 0 0 20 0 1 0 277820818 43057152 9752 33554432000 4194304 8973514 140736035629472 140736035628968 6661632 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8906/statm: 10512 9752 459 1167 0 9293 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 42048

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.1
CPU user time (s): 1793.16
CPU system time (s): 6.94194
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 55360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.16
system time used= 6.94194
maximum resident set size= 52320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61593
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= 58
involuntary context switches= 1849

runsolver used 2.02169 second user time and 10.8723 second system time

The end

Launcher Data 

Begin job on node115 at 2012-05-27 13:09:00
IDJOB=3706801
IDBENCH=2227
IDSOLVER=2285
FILE ID=node115/3706801-1338116940
RUNJOBID= node115-1338109714-8420
PBS_JOBID= 14624444
Free space on /tmp= 71664 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706801-1338116940/watcher-3706801-1338116940 -o /tmp/evaluation-result-3706801-1338116940/solver-3706801-1338116940 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706801-1338116940.opb

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

MD5SUM BENCH= f9ec307a3c8f55679d3b9ab693efbd4c
RANDOM SEED=486034590

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
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.462
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:        28612484 kB
Buffers:          307376 kB
Cached:          3102596 kB
SwapCached:            0 kB
Active:          1043324 kB
Inactive:        2408292 kB
Active(anon):      43812 kB
Inactive(anon):        0 kB
Active(file):     999512 kB
Inactive(file):  2408292 kB
Unevictable:        6844 kB
Mlocked:            6844 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             15432 kB
Writeback:             0 kB
AnonPages:         47660 kB
Mapped:            16176 kB
Shmem:               200 kB
Slab:             672076 kB
SReclaimable:     116340 kB
SUnreclaim:       555736 kB
KernelStack:        1464 kB
PageTables:         4164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     154924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71656 MiB
End job on node115 at 2012-05-27 13:39:03