Trace number 3725175

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2012-06-01? (TO) 1800.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:98.opb
MD5SUM09000b526c4cf3fc454b31cbb57a970b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.181971
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables906
Total number of constraints1039
Number of constraints which are clauses852
Number of constraints which are cardinality constraints (but not clauses)187
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint18
Number of terms in the objective function 906
Biggest coefficient in the objective function 553
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 2526
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 553
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2526
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.10	c 2012-06-02T12:35:54+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 = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725175-1338633354.opb"]
0.09/0.10	c #vars 906
0.09/0.10	c #constraints 1039
0.09/0.10	c Solving starts ...
0.09/0.11	c solving time = 0.002s
0.09/0.11	c #decision = 460
0.09/0.11	c #conflict = 0
0.09/0.11	c #restart = 0
0.09/0.11	o 22
0.09/0.11	c Solving starts ...
6.49/6.55	c learnt constraints deletion: 1315 -> 658
9.79/9.87	c learnt constraints deletion: 1418 -> 709
13.68/13.72	c learnt constraints deletion: 1570 -> 785
17.60/17.62	c learnt constraints deletion: 1712 -> 856
22.00/22.02	c learnt constraints deletion: 1725 -> 867
26.18/26.30	c learnt constraints deletion: 1838 -> 922
29.89/29.93	c learnt constraints deletion: 1846 -> 926
32.79/32.81	c learnt constraints deletion: 1796 -> 898
38.28/38.33	c learnt constraints deletion: 1975 -> 990
42.48/42.52	c learnt constraints deletion: 1967 -> 986
47.38/47.40	c learnt constraints deletion: 1962 -> 982
51.08/51.19	c learnt constraints deletion: 1806 -> 903
57.18/57.27	c learnt constraints deletion: 2127 -> 1064
64.48/64.58	c learnt constraints deletion: 2116 -> 1059
70.28/70.32	c learnt constraints deletion: 2112 -> 1059
77.18/77.23	c learnt constraints deletion: 2111 -> 1060
83.17/83.29	c learnt constraints deletion: 2134 -> 1074
88.77/88.87	c learnt constraints deletion: 2283 -> 1150
94.48/94.51	c learnt constraints deletion: 2293 -> 1149
100.27/100.39	c learnt constraints deletion: 2283 -> 1145
105.87/105.93	c learnt constraints deletion: 2279 -> 1144
111.27/111.38	c learnt constraints deletion: 2300 -> 1154
116.37/116.40	c learnt constraints deletion: 2300 -> 1155
121.37/121.45	c learnt constraints deletion: 2288 -> 1149
126.07/126.12	c learnt constraints deletion: 2095 -> 1048
132.76/132.84	c learnt constraints deletion: 2489 -> 1247
138.66/138.73	c learnt constraints deletion: 2511 -> 1259
144.87/144.97	c learnt constraints deletion: 2482 -> 1247
149.96/150.03	c learnt constraints deletion: 2477 -> 1244
156.46/156.55	c learnt constraints deletion: 2459 -> 1230
164.26/164.36	c learnt constraints deletion: 2456 -> 1230
170.86/170.95	c learnt constraints deletion: 2495 -> 1251
177.76/177.81	c learnt constraints deletion: 2490 -> 1248
185.26/185.32	c learnt constraints deletion: 2488 -> 1250
191.75/191.81	c learnt constraints deletion: 2462 -> 1232
200.75/200.80	c learnt constraints deletion: 2666 -> 1335
207.95/208.08	c learnt constraints deletion: 2679 -> 1345
215.55/215.60	c learnt constraints deletion: 2681 -> 1342
222.35/222.43	c learnt constraints deletion: 2684 -> 1344
229.95/230.02	c learnt constraints deletion: 2678 -> 1344
238.55/238.66	c learnt constraints deletion: 2667 -> 1337
247.35/247.49	c learnt constraints deletion: 2682 -> 1344
256.04/256.12	c learnt constraints deletion: 2693 -> 1351
265.24/265.39	c learnt constraints deletion: 2675 -> 1343
273.44/273.55	c learnt constraints deletion: 2675 -> 1346
280.64/280.79	c learnt constraints deletion: 2687 -> 1354
287.23/287.39	c learnt constraints deletion: 2671 -> 1337
295.24/295.30	c learnt constraints deletion: 2681 -> 1343
301.64/301.78	c learnt constraints deletion: 2678 -> 1342
307.13/307.25	c learnt constraints deletion: 2518 -> 1259
315.43/315.56	c learnt constraints deletion: 2891 -> 1446
322.73/322.80	c learnt constraints deletion: 2901 -> 1451
329.44/329.53	c learnt constraints deletion: 2912 -> 1458
336.83/336.93	c learnt constraints deletion: 2915 -> 1461
344.13/344.26	c learnt constraints deletion: 2891 -> 1448
351.12/351.25	c learnt constraints deletion: 2905 -> 1457
357.82/357.97	c learnt constraints deletion: 2899 -> 1454
364.62/364.71	c learnt constraints deletion: 2899 -> 1458
371.12/371.23	c learnt constraints deletion: 2899 -> 1453
378.52/378.68	c learnt constraints deletion: 2900 -> 1452
385.02/385.19	c learnt constraints deletion: 2891 -> 1449
391.82/391.99	c learnt constraints deletion: 2892 -> 1448
399.91/400.04	c learnt constraints deletion: 2898 -> 1455
407.12/407.23	c learnt constraints deletion: 2894 -> 1451
414.41/414.53	c learnt constraints deletion: 2909 -> 1460
421.51/421.60	c learnt constraints deletion: 2919 -> 1466
428.41/428.58	c learnt constraints deletion: 2895 -> 1452
434.71/434.80	c learnt constraints deletion: 2907 -> 1461
442.41/442.53	c learnt constraints deletion: 2901 -> 1456
449.82/449.96	c learnt constraints deletion: 3056 -> 1528
456.51/456.62	c learnt constraints deletion: 3146 -> 1573
463.61/463.74	c learnt constraints deletion: 3159 -> 1581
470.71/470.83	c learnt constraints deletion: 3157 -> 1581
477.31/477.47	c learnt constraints deletion: 3150 -> 1579
484.71/484.83	c learnt constraints deletion: 3160 -> 1582
491.40/491.51	c learnt constraints deletion: 3147 -> 1577
498.70/498.82	c learnt constraints deletion: 3172 -> 1587
506.30/506.44	c learnt constraints deletion: 3155 -> 1580
513.60/513.71	c learnt constraints deletion: 3169 -> 1592
520.90/521.09	c learnt constraints deletion: 3173 -> 1595
528.30/528.49	c learnt constraints deletion: 3144 -> 1575
535.30/535.48	c learnt constraints deletion: 3154 -> 1581
543.60/543.70	c learnt constraints deletion: 3189 -> 1602
550.79/550.92	c learnt constraints deletion: 3145 -> 1578
557.79/557.93	c learnt constraints deletion: 3140 -> 1570
565.79/565.97	c learnt constraints deletion: 3186 -> 1594
574.29/574.40	c learnt constraints deletion: 3154 -> 1579
582.39/582.56	c learnt constraints deletion: 3177 -> 1595
589.69/589.83	c learnt constraints deletion: 3169 -> 1586
597.98/598.18	c learnt constraints deletion: 3153 -> 1579
605.48/605.62	c learnt constraints deletion: 3149 -> 1579
612.88/613.06	c learnt constraints deletion: 3166 -> 1591
620.29/620.47	c learnt constraints deletion: 3174 -> 1593
627.37/627.50	c learnt constraints deletion: 3151 -> 1585
634.48/634.60	c learnt constraints deletion: 3148 -> 1576
642.29/642.46	c learnt constraints deletion: 3153 -> 1581
648.68/648.86	c learnt constraints deletion: 3148 -> 1577
657.37/657.58	c learnt constraints deletion: 3413 -> 1710
665.97/666.15	c learnt constraints deletion: 3434 -> 1720
674.47/674.60	c learnt constraints deletion: 3435 -> 1724
682.77/682.96	c learnt constraints deletion: 3428 -> 1717
690.57/690.73	c learnt constraints deletion: 3422 -> 1714
697.67/697.80	c learnt constraints deletion: 3421 -> 1716
704.97/705.16	c learnt constraints deletion: 3444 -> 1722
714.06/714.23	c learnt constraints deletion: 3436 -> 1720
722.66/722.84	c learnt constraints deletion: 3443 -> 1725
730.36/730.51	c learnt constraints deletion: 3427 -> 1720
739.46/739.65	c learnt constraints deletion: 3415 -> 1709
747.46/747.62	c learnt constraints deletion: 3430 -> 1718
755.46/755.67	c learnt constraints deletion: 3423 -> 1715
762.86/763.02	c learnt constraints deletion: 3443 -> 1727
770.66/770.87	c learnt constraints deletion: 3425 -> 1716
777.76/777.99	c learnt constraints deletion: 3422 -> 1713
785.86/786.04	c learnt constraints deletion: 3429 -> 1718
793.46/793.66	c learnt constraints deletion: 3422 -> 1717
800.95/801.13	c learnt constraints deletion: 3425 -> 1715
811.66/811.81	c learnt constraints deletion: 3419 -> 1713
822.04/822.25	c learnt constraints deletion: 3429 -> 1718
830.85/831.00	c learnt constraints deletion: 3421 -> 1714
839.64/839.87	c learnt constraints deletion: 3422 -> 1715
847.74/847.91	c learnt constraints deletion: 3441 -> 1726
855.74/855.99	c learnt constraints deletion: 3429 -> 1720
865.13/865.38	c learnt constraints deletion: 3452 -> 1735
873.73/873.91	c learnt constraints deletion: 3448 -> 1736
881.53/881.79	c learnt constraints deletion: 3429 -> 1720
890.33/890.51	c learnt constraints deletion: 3428 -> 1721
899.03/899.29	c learnt constraints deletion: 3428 -> 1718
907.03/907.28	c learnt constraints deletion: 3430 -> 1722
915.33/915.53	c learnt constraints deletion: 3470 -> 1743
923.13/923.34	c learnt constraints deletion: 3422 -> 1720
931.43/931.65	c learnt constraints deletion: 3434 -> 1725
939.83/940.07	c learnt constraints deletion: 3457 -> 1746
947.42/947.63	c learnt constraints deletion: 3453 -> 1741
955.53/955.77	c learnt constraints deletion: 3432 -> 1728
963.62/963.88	c learnt constraints deletion: 3455 -> 1739
973.52/973.73	c learnt constraints deletion: 3718 -> 1864
983.22/983.46	c learnt constraints deletion: 3735 -> 1875
991.92/992.13	c learnt constraints deletion: 3734 -> 1876
1001.52/1001.74	c learnt constraints deletion: 3768 -> 1893
1010.92/1011.18	c learnt constraints deletion: 3757 -> 1890
1020.11/1020.33	c learnt constraints deletion: 3728 -> 1872
1029.71/1029.95	c learnt constraints deletion: 3747 -> 1886
1039.61/1039.83	c learnt constraints deletion: 3750 -> 1885
1048.50/1048.70	c learnt constraints deletion: 3723 -> 1862
1056.21/1056.49	c learnt constraints deletion: 3735 -> 1870
1066.21/1066.49	c learnt constraints deletion: 3731 -> 1868
1075.60/1075.88	c learnt constraints deletion: 3727 -> 1866
1083.10/1083.35	c learnt constraints deletion: 3742 -> 1874
1090.91/1091.16	c learnt constraints deletion: 3723 -> 1866
1099.90/1100.13	c learnt constraints deletion: 3725 -> 1864
1108.10/1108.40	c learnt constraints deletion: 3722 -> 1863
1115.40/1115.68	c learnt constraints deletion: 3721 -> 1865
1124.19/1124.44	c learnt constraints deletion: 3728 -> 1868
1132.80/1133.08	c learnt constraints deletion: 3726 -> 1869
1142.60/1142.81	c learnt constraints deletion: 3729 -> 1868
1151.69/1151.93	c learnt constraints deletion: 3724 -> 1867
1160.49/1160.73	c learnt constraints deletion: 3723 -> 1865
1169.10/1169.35	c learnt constraints deletion: 3735 -> 1874
1178.09/1178.34	c learnt constraints deletion: 3721 -> 1866
1187.48/1187.76	c learnt constraints deletion: 3739 -> 1886
1195.38/1195.65	c learnt constraints deletion: 3718 -> 1864
1204.67/1204.95	c learnt constraints deletion: 3721 -> 1868
1214.09/1214.34	c learnt constraints deletion: 3724 -> 1870
1222.58/1222.83	c learnt constraints deletion: 3728 -> 1876
1231.58/1231.83	c learnt constraints deletion: 3757 -> 1891
1239.97/1240.22	c learnt constraints deletion: 3748 -> 1879
1248.37/1248.60	c learnt constraints deletion: 3749 -> 1882
1256.57/1256.87	c learnt constraints deletion: 3739 -> 1880
1265.57/1265.88	c learnt constraints deletion: 3743 -> 1883
1273.96/1274.25	c learnt constraints deletion: 3756 -> 1891
1282.16/1282.44	c learnt constraints deletion: 3722 -> 1864
1292.46/1292.79	c learnt constraints deletion: 3726 -> 1868
1300.76/1301.05	c learnt constraints deletion: 3736 -> 1874
1309.46/1309.70	c learnt constraints deletion: 3717 -> 1864
1319.56/1319.89	c learnt constraints deletion: 3733 -> 1876
1328.36/1328.64	c learnt constraints deletion: 3723 -> 1868
1338.37/1338.65	c learnt constraints deletion: 3739 -> 1878
1348.06/1348.39	c learnt constraints deletion: 3722 -> 1867
1357.06/1357.32	c learnt constraints deletion: 3729 -> 1871
1366.45/1366.74	c learnt constraints deletion: 3731 -> 1873
1375.15/1375.44	c learnt constraints deletion: 3737 -> 1875
1384.35/1384.68	c learnt constraints deletion: 3729 -> 1872
1393.55/1393.83	c learnt constraints deletion: 3734 -> 1875
1401.95/1402.23	c learnt constraints deletion: 3749 -> 1884
1409.85/1410.12	c learnt constraints deletion: 3726 -> 1873
1419.54/1419.81	c learnt constraints deletion: 3716 -> 1866
1428.55/1428.88	c learnt constraints deletion: 3758 -> 1892
1435.64/1435.95	c learnt constraints deletion: 3732 -> 1867
1443.14/1443.48	c learnt constraints deletion: 4039 -> 2021
1452.24/1452.59	c learnt constraints deletion: 4040 -> 2021
1461.24/1461.51	c learnt constraints deletion: 4059 -> 2031
1469.14/1469.46	c learnt constraints deletion: 4033 -> 2018
1477.43/1477.71	c learnt constraints deletion: 4060 -> 2032
1487.53/1487.81	c learnt constraints deletion: 4044 -> 2025
1497.13/1497.45	c learnt constraints deletion: 4050 -> 2026
1506.23/1506.52	c learnt constraints deletion: 4080 -> 2043
1515.03/1515.33	c learnt constraints deletion: 4056 -> 2032
1525.13/1525.42	c learnt constraints deletion: 4055 -> 2031
1534.43/1534.75	c learnt constraints deletion: 4073 -> 2042
1541.93/1542.29	c learnt constraints deletion: 4058 -> 2034
1550.73/1551.02	c learnt constraints deletion: 4050 -> 2028
1560.52/1560.89	c learnt constraints deletion: 4065 -> 2037
1570.62/1570.98	c learnt constraints deletion: 4066 -> 2040
1580.92/1581.27	c learnt constraints deletion: 4044 -> 2026
1590.62/1590.97	c learnt constraints deletion: 4048 -> 2029
1600.41/1600.71	c learnt constraints deletion: 4052 -> 2031
1609.91/1610.27	c learnt constraints deletion: 4059 -> 2037
1619.81/1620.14	c learnt constraints deletion: 4086 -> 2044
1629.31/1629.66	c learnt constraints deletion: 4080 -> 2041
1639.40/1639.71	c learnt constraints deletion: 4056 -> 2032
1648.41/1648.79	c learnt constraints deletion: 4050 -> 2027
1658.11/1658.47	c learnt constraints deletion: 4048 -> 2030
1668.20/1668.53	c learnt constraints deletion: 4060 -> 2031
1677.90/1678.20	c learnt constraints deletion: 4051 -> 2029
1687.20/1687.58	c learnt constraints deletion: 4062 -> 2033
1696.91/1697.20	c learnt constraints deletion: 4053 -> 2030
1706.90/1707.23	c learnt constraints deletion: 4083 -> 2047
1716.89/1717.21	c learnt constraints deletion: 4056 -> 2031
1725.89/1726.24	c learnt constraints deletion: 4059 -> 2036
1735.50/1735.88	c learnt constraints deletion: 4045 -> 2026
1746.19/1746.55	c learnt constraints deletion: 4052 -> 2027
1755.99/1756.33	c learnt constraints deletion: 4046 -> 2025
1765.88/1766.26	c learnt constraints deletion: 4066 -> 2035
1775.98/1776.33	c learnt constraints deletion: 4045 -> 2027
1787.09/1787.50	c learnt constraints deletion: 4084 -> 2045
1797.09/1797.41	c learnt constraints deletion: 4082 -> 2046

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-3725175-1338633354/watcher-3725175-1338633354 -o /tmp/evaluation-result-3725175-1338633354/solver-3725175-1338633354 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725175-1338633354.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.03 2.04 1.73 3/176 28479
/proc/meminfo: memFree=27444200/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 836 0 0 0 0 0 0 0 20 0 1 0 329460289 7421952 757 33554432000 4194304 8989770 140735836293296 140735699210680 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 1812 757 429 1171 0 589 0

[startup+0.0514229 s]
/proc/loadavg: 2.03 2.04 1.73 3/176 28479
/proc/meminfo: memFree=27444200/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=8272 CPUtime=0.04 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 1247 0 0 0 4 0 0 0 20 0 1 0 329460289 8470528 1168 33554432000 4194304 8989770 140735836293296 140735699210680 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 2068 1168 443 1171 0 845 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8272

[startup+0.100222 s]
/proc/loadavg: 2.03 2.04 1.73 3/176 28479
/proc/meminfo: memFree=27444200/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=8272 CPUtime=0.09 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 1247 0 0 0 9 0 0 0 20 0 1 0 329460289 8470528 1168 33554432000 4194304 8989770 140735836293296 140735699210680 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 2068 1168 443 1171 0 845 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8272

[startup+0.300228 s]
/proc/loadavg: 2.03 2.04 1.73 3/176 28479
/proc/meminfo: memFree=27444200/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=10320 CPUtime=0.29 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 1903 0 0 0 29 0 0 0 20 0 1 0 329460289 10567680 1824 33554432000 4194304 8989770 140735836293296 140735699210680 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 2580 1824 472 1171 0 1357 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10320

[startup+0.700226 s]
/proc/loadavg: 2.03 2.04 1.73 3/176 28479
/proc/meminfo: memFree=27444200/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=11344 CPUtime=0.69 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 2159 0 0 0 68 1 0 0 20 0 1 0 329460289 11616256 2080 33554432000 4194304 8989770 140735836293296 140735699210680 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 2836 2080 472 1171 0 1613 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11344

[startup+1.50024 s]
/proc/loadavg: 2.03 2.04 1.73 3/177 28480
/proc/meminfo: memFree=27436248/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=12368 CPUtime=1.49 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 2415 0 0 0 148 1 0 0 20 0 1 0 329460289 12664832 2336 33554432000 4194304 8989770 140735836293296 140735836291264 4425016 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 3092 2336 472 1171 0 1869 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12368

[startup+3.1003 s]
/proc/loadavg: 2.03 2.04 1.73 3/177 28480
/proc/meminfo: memFree=27433768/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=14416 CPUtime=3.08 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 2927 0 0 0 307 1 0 0 20 0 1 0 329460289 14761984 2848 33554432000 4194304 8989770 140735836293296 140735836275264 4457904 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 3604 2848 472 1171 0 2381 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 14416

[startup+6.30031 s]
/proc/loadavg: 2.03 2.04 1.73 3/177 28480
/proc/meminfo: memFree=27430908/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=17488 CPUtime=6.29 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 3695 0 0 0 626 3 0 0 20 0 1 0 329460289 17907712 3616 33554432000 4194304 8989770 140735836293296 140735836292560 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 4372 3616 472 1171 0 3149 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17488

[startup+12.7003 s]
/proc/loadavg: 2.18 2.07 1.75 3/177 28480
/proc/meminfo: memFree=27427444/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=19536 CPUtime=12.69 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 4209 0 0 0 1264 5 0 0 20 0 1 0 329460289 20004864 4130 33554432000 4194304 8989770 140735836293296 140735836291264 7688479 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 4884 4130 474 1171 0 3661 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19536

[startup+25.5003 s]
/proc/loadavg: 2.15 2.07 1.75 3/177 28480
/proc/meminfo: memFree=27415348/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=26704 CPUtime=25.48 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 6003 0 0 0 2538 10 0 0 20 0 1 0 329460289 27344896 5923 33554432000 4194304 8989770 140735836293296 140735836292560 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 6676 5923 474 1171 0 5453 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26704

[startup+51.1003 s]
/proc/loadavg: 2.10 2.06 1.75 3/177 28480
/proc/meminfo: memFree=27409564/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=28752 CPUtime=51.08 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 6518 0 0 0 5088 20 0 0 20 0 1 0 329460289 29442048 6435 33554432000 4194304 8989770 140735836293296 140735836291072 4361431 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 7188 6435 474 1171 0 5965 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 28752

[startup+102.307 s]
/proc/loadavg: 2.09 2.06 1.77 3/177 28480
/proc/meminfo: memFree=27404408/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=29776 CPUtime=102.27 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 7031 0 0 0 10188 39 0 0 20 0 1 0 329460289 30490624 6691 33554432000 4194304 8989770 140735836293296 140735836292792 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 7444 6691 474 1171 0 6221 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 29776

[startup+162.3 s]
/proc/loadavg: 2.03 2.05 1.78 3/177 28481
/proc/meminfo: memFree=27397396/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=33872 CPUtime=162.26 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 8823 0 0 0 16163 63 0 0 20 0 1 0 329460289 34684928 7715 33554432000 4194304 8989770 140735836293296 140735836292792 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 8468 7715 474 1171 0 7245 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 33872

[startup+222.3 s]
/proc/loadavg: 2.09 2.05 1.80 3/177 28481
/proc/meminfo: memFree=27394968/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=34896 CPUtime=222.25 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 9080 0 0 0 22139 86 0 0 20 0 1 0 329460289 35733504 7971 33554432000 4194304 8989770 140735836293296 140735836275264 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 8724 7971 474 1171 0 7501 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 34896

[startup+282.3 s]
/proc/loadavg: 2.07 2.06 1.81 3/178 28484
/proc/meminfo: memFree=27392292/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=37968 CPUtime=282.23 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 10105 0 0 0 28115 108 0 0 20 0 1 0 329460289 38879232 8739 33554432000 4194304 8989770 140735836293296 140735836275264 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 9492 8739 474 1171 0 8269 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 37968

[startup+342.3 s]
/proc/loadavg: 2.10 2.07 1.83 3/177 28484
/proc/meminfo: memFree=27384492/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=37968 CPUtime=342.23 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 12409 0 0 0 34089 134 0 0 20 0 1 0 329460289 38879232 8739 33554432000 4194304 8989770 140735836293296 140735836275264 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 9492 8739 474 1171 0 8269 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 37968

[startup+402.3 s]
/proc/loadavg: 2.03 2.06 1.84 3/177 28484
/proc/meminfo: memFree=27384600/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=37968 CPUtime=402.22 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 12668 0 0 0 40067 155 0 0 20 0 1 0 329460289 38879232 8739 33554432000 4194304 8989770 140735836293296 140735836292792 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 9492 8739 474 1171 0 8269 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 37968

[startup+462.3 s]
/proc/loadavg: 2.04 2.06 1.85 3/176 28484
/proc/meminfo: memFree=27384420/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=37968 CPUtime=462.21 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 12925 0 0 0 46041 180 0 0 20 0 1 0 329460289 38879232 8739 33554432000 4194304 8989770 140735836293296 140735836292560 6862739 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 9492 8739 474 1171 0 8269 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 37968

[startup+522.3 s]
/proc/loadavg: 2.06 2.06 1.86 3/177 28485
/proc/meminfo: memFree=27383604/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=37968 CPUtime=522.19 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 13950 0 0 0 52016 203 0 0 20 0 1 0 329460289 38879232 8739 33554432000 4194304 8989770 140735836293296 140735836291264 4457904 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 9492 8739 474 1171 0 8269 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 37968

[startup+582.3 s]
/proc/loadavg: 2.02 2.05 1.87 3/177 28485
/proc/meminfo: memFree=27382052/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=40016 CPUtime=582.19 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 14711 0 0 0 57993 226 0 0 20 0 1 0 329460289 40976384 9244 33554432000 4194304 8989770 140735836293296 140735836275264 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 10004 9244 474 1171 0 8781 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 40016

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.05 2.04 1.90 3/177 28486
/proc/meminfo: memFree=27375968/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=42064 CPUtime=822.14 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 17793 0 0 0 81897 317 0 0 20 0 1 0 329460289 43073536 9763 33554432000 4194304 8989770 140735836293296 140735836292792 4204638 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 10516 9763 474 1171 0 9293 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 42064

[startup+882.3 s]
/proc/loadavg: 2.02 2.03 1.91 3/178 28489
/proc/meminfo: memFree=27373472/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=42064 CPUtime=882.13 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 20357 0 0 0 87869 344 0 0 20 0 1 0 329460289 43073536 9763 33554432000 4194304 8989770 140735836293296 140735836292792 4204694 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 10516 9763 474 1171 0 9293 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 42064

[startup+942.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/177 28489
/proc/meminfo: memFree=27377692/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=37968 CPUtime=942.13 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 21383 0 0 0 93845 368 0 0 20 0 1 0 329460289 38879232 8739 33554432000 4194304 8989770 140735836293296 140735836292792 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 9492 8739 474 1171 0 8269 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 37968

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/177 28489
/proc/meminfo: memFree=27373352/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=43088 CPUtime=1002.11 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 23432 0 0 0 99819 392 0 0 20 0 1 0 329460289 44122112 10019 33554432000 4194304 8989770 140735836293296 140735836292792 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 10772 10019 474 1171 0 9549 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 43088

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 28489
/proc/meminfo: memFree=27370868/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=42064 CPUtime=1062.11 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 24714 0 0 0 105794 417 0 0 20 0 1 0 329460289 43073536 9763 33554432000 4194304 8989770 140735836293296 140735836292792 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 10516 9763 474 1171 0 9293 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 42064

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 28490
/proc/meminfo: memFree=27362116/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=42064 CPUtime=1122.09 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 25482 0 0 0 111768 441 0 0 20 0 1 0 329460289 43073536 9763 33554432000 4194304 8989770 140735836293296 140735836292792 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 10516 9763 474 1171 0 9293 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 42064

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 28490
/proc/meminfo: memFree=27362116/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=42064 CPUtime=1182.09 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 27786 0 0 0 117747 462 0 0 20 0 1 0 329460289 43073536 9763 33554432000 4194304 8989770 140735836293296 140735836291264 7732161 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 10516 9763 474 1171 0 9293 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 42064

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 28490
/proc/meminfo: memFree=27361920/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=42064 CPUtime=1242.07 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 29069 0 0 0 123721 486 0 0 20 0 1 0 329460289 43073536 9763 33554432000 4194304 8989770 140735836293296 140735836292792 4469828 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 10516 9763 474 1171 0 9293 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 42064

[startup+1302.3 s]
/proc/loadavg: 2.06 2.01 1.91 3/177 28490
/proc/meminfo: memFree=27357636/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=46160 CPUtime=1302.07 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 31374 0 0 0 129695 512 0 0 20 0 1 0 329460289 47267840 10787 33554432000 4194304 8989770 140735836293296 140735836292560 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 11540 10787 474 1171 0 10317 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 46160

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 28490
/proc/meminfo: memFree=27360552/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=44112 CPUtime=1362.05 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 31886 0 0 0 135669 536 0 0 20 0 1 0 329460289 45170688 10275 33554432000 4194304 8989770 140735836293296 140735836292792 7857787 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 11028 10275 474 1171 0 9805 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 44112

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 28491
/proc/meminfo: memFree=27362228/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=42064 CPUtime=1422.05 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 32654 0 0 0 141643 562 0 0 20 0 1 0 329460289 43073536 9763 33554432000 4194304 8989770 140735836293296 140735836292792 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 10516 9763 474 1171 0 9293 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 42064

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 28494
/proc/meminfo: memFree=27351184/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=53328 CPUtime=1482.04 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 36494 0 0 0 147619 585 0 0 20 0 1 0 329460289 54607872 12579 33554432000 4194304 8989770 140735836293296 140735836291264 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 13332 12579 474 1171 0 12109 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 53328

[startup+1542.3 s]
/proc/loadavg: 2.12 2.03 1.93 3/178 28517
/proc/meminfo: memFree=27350928/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=47184 CPUtime=1542.03 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 36754 0 0 0 153595 608 0 0 20 0 1 0 329460289 48316416 11043 33554432000 4194304 8989770 140735836293296 140735836291456 4209382 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 11796 11043 474 1171 0 10573 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 47184

[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 1.93 3/177 28517
/proc/meminfo: memFree=27351424/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=46160 CPUtime=1602.02 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 38804 0 0 0 159570 632 0 0 20 0 1 0 329460289 47267840 10787 33554432000 4194304 8989770 140735836293296 140735836292792 4425384 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 11540 10787 474 1171 0 10317 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 46160

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/177 28517
/proc/meminfo: memFree=27351672/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=46160 CPUtime=1662 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 38804 0 0 0 165546 654 0 0 20 0 1 0 329460289 47267840 10787 33554432000 4194304 8989770 140735836293296 140735836292792 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 11540 10787 474 1171 0 10317 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 46160

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 28518
/proc/meminfo: memFree=27355332/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=42064 CPUtime=1721.99 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 39572 0 0 0 171519 680 0 0 20 0 1 0 329460289 43073536 9763 33554432000 4194304 8989770 140735836293296 140735836275264 7857787 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 10516 9763 474 1171 0 9293 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 42064

[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 1.93 3/177 28557
/proc/meminfo: memFree=27419284/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=49232 CPUtime=1781.98 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 41366 0 0 0 177493 705 0 0 20 0 1 0 329460289 50413568 11555 33554432000 4194304 8989770 140735836293296 140735836292792 4208818 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 12308 11555 474 1171 0 11085 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 49232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.05 2.02 1.93 3/177 28595
/proc/meminfo: memFree=27419316/32873844 swapFree=6608/6608
[pid=28479] ppid=28477 vsize=53328 CPUtime=1800.09 cores=1,3,5,7
/proc/28479/stat : 28479 (toysat) R 28477 28479 28266 0 -1 4202496 42390 0 0 0 179296 713 0 0 20 0 1 0 329460289 54607872 12579 33554432000 4194304 8989770 140735836293296 140735836291264 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28479/statm: 13332 12579 474 1171 0 12109 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 53328

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): 1792.96
CPU system time (s): 7.13891
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 53328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.96
system time used= 7.13891
maximum resident set size= 50316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42390
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= 39
involuntary context switches= 1843

runsolver used 5.97209 second user time and 7.84281 second system time

The end

Launcher Data

Begin job on node140 at 2012-06-02 12:35:54
IDJOB=3725175
IDBENCH=2229
IDSOLVER=2308
FILE ID=node140/3725175-1338633354
RUNJOBID= node140-1338631508-28283
PBS_JOBID= 14636440
Free space on /tmp= 70620 MiB

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

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

MD5SUM BENCH= 09000b526c4cf3fc454b31cbb57a970b
RANDOM SEED=51034373

node140.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		: 2667.094
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	: 5334.18
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		: 2667.094
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		: 2667.094
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.91
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		: 2667.094
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		: 2667.094
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		: 2667.094
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.88
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		: 2667.094
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.90
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		: 2667.094
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:        27444844 kB
Buffers:          379068 kB
Cached:          4123940 kB
SwapCached:         1664 kB
Active:          1243872 kB
Inactive:        3298784 kB
Active(anon):      31752 kB
Inactive(anon):     9416 kB
Active(file):    1212120 kB
Inactive(file):  3289368 kB
Unevictable:        6608 kB
Mlocked:            6608 kB
SwapTotal:      67108856 kB
SwapFree:       67105156 kB
Dirty:             14936 kB
Writeback:             0 kB
AnonPages:         44080 kB
Mapped:            12180 kB
Shmem:                 8 kB
Slab:             746712 kB
SReclaimable:     188972 kB
SUnreclaim:       557740 kB
KernelStack:        1464 kB
PageTables:         4176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     155228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70612 MiB
End job on node140 at 2012-06-02 13:05:57