Trace number 3712074

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 NameAnswerCPU timeWall clock time
toysat 2012-05-17? (TO) 1800.09 1800.41

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-33-100-0.wbo
MD5SUM821b84a7358221fefacfb8b50c463b59
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.587909
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1640
Total number of constraints81
Number of soft constraints54
Number of constraints which are clauses41
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint41
Top cost 3128
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 3127
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 42
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.02	c 2012-05-28T07:35:04+0200
0.00/0.02	c arch = x86_64
0.00/0.02	c os = linux
0.00/0.02	c compiler = ghc 7.4
0.00/0.02	c packages:
0.00/0.02	c   OptDir-0.0.1
0.00/0.02	c   array-0.4.0.0
0.00/0.02	c   base-4.5.0.0
0.00/0.02	c   bytestring-0.9.2.1
0.00/0.02	c   containers-0.4.2.1
0.00/0.02	c   deepseq-1.3.0.0
0.00/0.02	c   mtl-2.1.1
0.00/0.02	c   old_locale-1.0.0.4
0.00/0.02	c   parse_dimacs-1.2
0.00/0.02	c   parsec-3.1.2
0.00/0.02	c   queue-0.1.2
0.00/0.02	c   stm-2.3
0.00/0.02	c   time-1.4
0.00/0.02	c command line = ["--wbo","HOME/instance-3712074-1338183304.wbo"]
0.00/0.02	c #vars 1640
0.00/0.02	c #constraints 81
0.00/0.02	c Solving starts ...
0.10/0.17	c solving time = 0.157s
0.10/0.17	c #decision = 1303
0.10/0.17	c #conflict = 103
0.10/0.17	c #restart = 1
0.10/0.17	o 57
0.10/0.17	c Solving starts ...
0.89/0.91	c solving time = 0.732s
0.89/0.91	c #decision = 4261
0.89/0.91	c #conflict = 357
0.89/0.91	c #restart = 3
0.89/0.91	o 37
0.89/0.91	c Solving starts ...
0.89/0.92	c solving time = 0.016s
0.89/0.92	c #decision = 5093
0.89/0.92	c #conflict = 366
0.89/0.92	c #restart = 3
0.89/0.92	o 1
0.89/0.92	c Solving starts ...
1.79/1.82	c learnt constraints deletion: 835 -> 418
3.89/3.90	c learnt constraints deletion: 1261 -> 631
5.89/5.95	c learnt constraints deletion: 1391 -> 696
9.28/9.30	c learnt constraints deletion: 1837 -> 919
14.39/14.48	c learnt constraints deletion: 2631 -> 1316
21.08/21.13	c learnt constraints deletion: 2939 -> 1482
25.39/25.48	c learnt constraints deletion: 2428 -> 1214
26.68/26.70	c learnt constraints deletion: 1895 -> 949
33.09/33.14	c learnt constraints deletion: 3003 -> 1508
36.99/37.03	c learnt constraints deletion: 2627 -> 1314
41.58/41.64	c learnt constraints deletion: 3202 -> 1619
46.08/46.13	c learnt constraints deletion: 3208 -> 1624
50.48/50.57	c learnt constraints deletion: 3208 -> 1623
52.78/52.81	c learnt constraints deletion: 2344 -> 1172
59.28/59.37	c learnt constraints deletion: 3360 -> 1692
64.89/64.91	c learnt constraints deletion: 3352 -> 1688
71.18/71.22	c learnt constraints deletion: 3347 -> 1691
77.78/77.85	c learnt constraints deletion: 3355 -> 1693
82.97/83.06	c learnt constraints deletion: 3196 -> 1598
89.67/89.71	c learnt constraints deletion: 3509 -> 1764
98.26/98.36	c learnt constraints deletion: 3509 -> 1767
109.76/109.83	c learnt constraints deletion: 3522 -> 1774
120.16/120.29	c learnt constraints deletion: 3514 -> 1769
127.96/128.00	c learnt constraints deletion: 3536 -> 1780
135.45/135.51	c learnt constraints deletion: 3522 -> 1773
142.25/142.32	c learnt constraints deletion: 3529 -> 1778
144.65/144.77	c learnt constraints deletion: 2374 -> 1187
151.65/151.75	c learnt constraints deletion: 3718 -> 1868
156.95/157.00	c learnt constraints deletion: 3713 -> 1868
162.35/162.48	c learnt constraints deletion: 3716 -> 1869
167.85/167.95	c learnt constraints deletion: 3729 -> 1877
173.05/173.17	c learnt constraints deletion: 3722 -> 1873
178.16/178.25	c learnt constraints deletion: 3721 -> 1873
183.05/183.16	c learnt constraints deletion: 3723 -> 1874
188.05/188.19	c learnt constraints deletion: 3711 -> 1869
193.55/193.60	c learnt constraints deletion: 3714 -> 1868
200.35/200.42	c learnt constraints deletion: 3926 -> 1975
205.44/205.59	c learnt constraints deletion: 3858 -> 1933
211.64/211.79	c learnt constraints deletion: 3841 -> 1928
218.64/218.76	c learnt constraints deletion: 3835 -> 1926
225.94/226.02	c learnt constraints deletion: 3852 -> 1937
233.44/233.58	c learnt constraints deletion: 3820 -> 1919
240.03/240.11	c learnt constraints deletion: 3872 -> 1946
246.83/246.91	c learnt constraints deletion: 3840 -> 1929
253.43/253.51	c learnt constraints deletion: 3848 -> 1933
259.93/260.09	c learnt constraints deletion: 3860 -> 1939
266.13/266.30	c learnt constraints deletion: 3852 -> 1935
272.83/272.93	c learnt constraints deletion: 3847 -> 1931
279.72/279.86	c learnt constraints deletion: 3876 -> 1945
286.13/286.20	c learnt constraints deletion: 3870 -> 1944
291.82/291.93	c learnt constraints deletion: 3857 -> 1938
298.03/298.17	c learnt constraints deletion: 3841 -> 1933
300.52/300.68	c learnt constraints deletion: 2653 -> 1327
308.42/308.54	c learnt constraints deletion: 4110 -> 2061
314.42/314.60	c learnt constraints deletion: 4095 -> 2054
320.92/321.08	c learnt constraints deletion: 4114 -> 2063
328.41/328.51	c learnt constraints deletion: 4100 -> 2057
335.72/335.88	c learnt constraints deletion: 4086 -> 2049
342.21/342.34	c learnt constraints deletion: 4075 -> 2044
349.41/349.55	c learnt constraints deletion: 4054 -> 2035
356.32/356.44	c learnt constraints deletion: 4104 -> 2060
363.52/363.64	c learnt constraints deletion: 4084 -> 2050
370.91/371.05	c learnt constraints deletion: 4043 -> 2029
377.81/377.93	c learnt constraints deletion: 4052 -> 2032
385.70/385.87	c learnt constraints deletion: 4104 -> 2061
392.71/392.87	c learnt constraints deletion: 4067 -> 2043
399.31/399.46	c learnt constraints deletion: 4078 -> 2048
406.50/406.60	c learnt constraints deletion: 4098 -> 2057
413.51/413.67	c learnt constraints deletion: 4054 -> 2035
420.80/420.90	c learnt constraints deletion: 4102 -> 2058
428.19/428.32	c learnt constraints deletion: 4096 -> 2058
435.19/435.31	c learnt constraints deletion: 4048 -> 2030
442.50/442.70	c learnt constraints deletion: 4052 -> 2033
451.40/451.54	c learnt constraints deletion: 4332 -> 2175
457.30/457.41	c learnt constraints deletion: 4339 -> 2171
463.29/463.50	c learnt constraints deletion: 4299 -> 2158
470.29/470.43	c learnt constraints deletion: 4312 -> 2167
477.40/477.53	c learnt constraints deletion: 4330 -> 2175
484.28/484.48	c learnt constraints deletion: 4342 -> 2180
490.99/491.17	c learnt constraints deletion: 4343 -> 2181
497.78/497.98	c learnt constraints deletion: 4312 -> 2166
504.48/504.63	c learnt constraints deletion: 4335 -> 2177
512.59/512.79	c learnt constraints deletion: 4305 -> 2163
521.88/522.02	c learnt constraints deletion: 4316 -> 2167
529.98/530.20	c learnt constraints deletion: 4309 -> 2164
537.48/537.67	c learnt constraints deletion: 4316 -> 2167
546.08/546.26	c learnt constraints deletion: 4313 -> 2167
554.88/555.08	c learnt constraints deletion: 4318 -> 2168
563.27/563.45	c learnt constraints deletion: 4333 -> 2179
571.67/571.88	c learnt constraints deletion: 4306 -> 2162
578.07/578.27	c learnt constraints deletion: 4314 -> 2168
585.18/585.37	c learnt constraints deletion: 4337 -> 2180
592.17/592.37	c learnt constraints deletion: 4323 -> 2173
599.07/599.24	c learnt constraints deletion: 4322 -> 2172
605.97/606.14	c learnt constraints deletion: 4332 -> 2177
612.77/612.98	c learnt constraints deletion: 4306 -> 2163
619.46/619.67	c learnt constraints deletion: 4340 -> 2180
626.16/626.32	c learnt constraints deletion: 4314 -> 2166
632.76/632.96	c learnt constraints deletion: 4316 -> 2168
639.76/639.95	c learnt constraints deletion: 4291 -> 2156
646.66/646.88	c learnt constraints deletion: 4301 -> 2161
652.85/653.00	c learnt constraints deletion: 4276 -> 2148
660.15/660.34	c learnt constraints deletion: 4331 -> 2177
666.65/666.80	c learnt constraints deletion: 4313 -> 2167
671.65/671.87	c learnt constraints deletion: 3833 -> 1917
679.76/679.94	c learnt constraints deletion: 4585 -> 2299
688.55/688.71	c learnt constraints deletion: 4594 -> 2304
697.85/698.05	c learnt constraints deletion: 4607 -> 2311
706.55/706.75	c learnt constraints deletion: 4563 -> 2289
715.55/715.76	c learnt constraints deletion: 4584 -> 2299
724.24/724.47	c learnt constraints deletion: 4566 -> 2290
732.74/732.94	c learnt constraints deletion: 4572 -> 2294
741.85/742.06	c learnt constraints deletion: 4562 -> 2288
751.05/751.21	c learnt constraints deletion: 4571 -> 2293
760.24/760.48	c learnt constraints deletion: 4554 -> 2284
769.03/769.29	c learnt constraints deletion: 4577 -> 2297
777.74/777.95	c learnt constraints deletion: 4564 -> 2290
786.84/787.07	c learnt constraints deletion: 4547 -> 2284
796.13/796.39	c learnt constraints deletion: 4584 -> 2299
805.14/805.32	c learnt constraints deletion: 4560 -> 2288
815.04/815.25	c learnt constraints deletion: 4611 -> 2313
823.74/823.91	c learnt constraints deletion: 4546 -> 2279
831.93/832.14	c learnt constraints deletion: 4594 -> 2304
840.73/840.99	c learnt constraints deletion: 4599 -> 2307
849.73/849.97	c learnt constraints deletion: 4566 -> 2290
858.72/858.93	c learnt constraints deletion: 4558 -> 2286
867.73/867.97	c learnt constraints deletion: 4585 -> 2299
875.53/875.74	c learnt constraints deletion: 4543 -> 2280
884.22/884.47	c learnt constraints deletion: 4579 -> 2301
892.82/893.03	c learnt constraints deletion: 4564 -> 2291
901.93/902.17	c learnt constraints deletion: 4562 -> 2288
911.32/911.55	c learnt constraints deletion: 4582 -> 2298
920.42/920.62	c learnt constraints deletion: 4574 -> 2294
929.51/929.77	c learnt constraints deletion: 4542 -> 2277
937.91/938.17	c learnt constraints deletion: 4586 -> 2301
947.41/947.60	c learnt constraints deletion: 4582 -> 2301
956.51/956.76	c learnt constraints deletion: 4589 -> 2307
965.72/965.97	c learnt constraints deletion: 4578 -> 2298
974.81/975.03	c learnt constraints deletion: 4587 -> 2302
984.10/984.32	c learnt constraints deletion: 4547 -> 2282
993.80/994.05	c learnt constraints deletion: 4572 -> 2294
1003.20/1003.49	c learnt constraints deletion: 4581 -> 2298
1012.91/1013.17	c learnt constraints deletion: 4602 -> 2307
1022.91/1023.19	c learnt constraints deletion: 4576 -> 2296
1034.20/1034.44	c learnt constraints deletion: 4543 -> 2282
1047.60/1047.84	c learnt constraints deletion: 4554 -> 2288
1060.99/1061.29	c learnt constraints deletion: 4578 -> 2298
1074.60/1074.89	c learnt constraints deletion: 4844 -> 2431
1083.10/1083.37	c learnt constraints deletion: 4914 -> 2463
1092.09/1092.37	c learnt constraints deletion: 4916 -> 2475
1101.38/1101.64	c learnt constraints deletion: 4916 -> 2473
1110.58/1110.82	c learnt constraints deletion: 4935 -> 2483
1118.89/1119.13	c learnt constraints deletion: 4952 -> 2490
1126.99/1127.23	c learnt constraints deletion: 4936 -> 2484
1135.48/1135.79	c learnt constraints deletion: 4936 -> 2483
1144.58/1144.81	c learnt constraints deletion: 4914 -> 2471
1152.88/1153.12	c learnt constraints deletion: 4950 -> 2490
1161.18/1161.49	c learnt constraints deletion: 4936 -> 2482
1168.97/1169.23	c learnt constraints deletion: 4896 -> 2464
1176.88/1177.14	c learnt constraints deletion: 4918 -> 2473
1184.37/1184.61	c learnt constraints deletion: 4925 -> 2479
1193.17/1193.42	c learnt constraints deletion: 4901 -> 2466
1202.67/1202.98	c learnt constraints deletion: 4905 -> 2468
1211.16/1211.45	c learnt constraints deletion: 4922 -> 2477
1219.57/1219.87	c learnt constraints deletion: 4901 -> 2467
1228.67/1228.97	c learnt constraints deletion: 4901 -> 2466
1238.27/1238.57	c learnt constraints deletion: 4901 -> 2467
1247.26/1247.52	c learnt constraints deletion: 4919 -> 2476
1256.57/1256.87	c learnt constraints deletion: 4914 -> 2474
1266.76/1267.08	c learnt constraints deletion: 4904 -> 2470
1276.26/1276.54	c learnt constraints deletion: 4916 -> 2477
1285.67/1285.93	c learnt constraints deletion: 4918 -> 2477
1295.16/1295.41	c learnt constraints deletion: 4905 -> 2469
1303.66/1303.93	c learnt constraints deletion: 4899 -> 2466
1312.46/1312.79	c learnt constraints deletion: 4904 -> 2468
1321.25/1321.54	c learnt constraints deletion: 4890 -> 2462
1330.45/1330.73	c learnt constraints deletion: 4902 -> 2469
1339.25/1339.52	c learnt constraints deletion: 4927 -> 2480
1348.35/1348.61	c learnt constraints deletion: 4931 -> 2482
1357.44/1357.78	c learnt constraints deletion: 4878 -> 2455
1367.64/1367.93	c learnt constraints deletion: 4887 -> 2460
1379.15/1379.47	c learnt constraints deletion: 4902 -> 2467
1390.44/1390.71	c learnt constraints deletion: 4926 -> 2481
1402.64/1402.92	c learnt constraints deletion: 4915 -> 2475
1414.13/1414.44	c learnt constraints deletion: 4872 -> 2450
1423.53/1423.81	c learnt constraints deletion: 4912 -> 2472
1432.84/1433.19	c learnt constraints deletion: 4920 -> 2476
1441.94/1442.23	c learnt constraints deletion: 4929 -> 2480
1450.33/1450.68	c learnt constraints deletion: 4914 -> 2472
1459.93/1460.27	c learnt constraints deletion: 4902 -> 2467
1471.02/1471.35	c learnt constraints deletion: 4884 -> 2459
1482.53/1482.83	c learnt constraints deletion: 4907 -> 2470
1493.83/1494.11	c learnt constraints deletion: 4938 -> 2485
1502.03/1502.36	c learnt constraints deletion: 4915 -> 2473
1509.92/1510.26	c learnt constraints deletion: 4898 -> 2464
1518.32/1518.66	c learnt constraints deletion: 4895 -> 2463
1526.82/1527.17	c learnt constraints deletion: 4920 -> 2475
1535.62/1535.96	c learnt constraints deletion: 4918 -> 2476
1543.92/1544.28	c learnt constraints deletion: 4903 -> 2467
1552.72/1553.07	c learnt constraints deletion: 4914 -> 2473
1561.21/1561.51	c learnt constraints deletion: 4909 -> 2472
1569.71/1570.03	c learnt constraints deletion: 4899 -> 2466
1577.31/1577.62	c learnt constraints deletion: 4912 -> 2471
1586.01/1586.36	c learnt constraints deletion: 4905 -> 2469
1595.01/1595.30	c learnt constraints deletion: 4905 -> 2470
1604.21/1604.50	c learnt constraints deletion: 4861 -> 2445
1614.81/1615.14	c learnt constraints deletion: 4895 -> 2463
1629.91/1630.26	c learnt constraints deletion: 5227 -> 2630
1638.90/1639.22	c learnt constraints deletion: 4323 -> 2162
1647.70/1648.03	c learnt constraints deletion: 5219 -> 2612
1657.10/1657.41	c learnt constraints deletion: 5233 -> 2627
1666.30/1666.68	c learnt constraints deletion: 5248 -> 2635
1675.50/1675.82	c learnt constraints deletion: 5234 -> 2625
1684.79/1685.19	c learnt constraints deletion: 5212 -> 2616
1694.69/1695.08	c learnt constraints deletion: 5219 -> 2619
1704.29/1704.61	c learnt constraints deletion: 5201 -> 2610
1713.89/1714.24	c learnt constraints deletion: 5249 -> 2635
1723.49/1723.88	c learnt constraints deletion: 5255 -> 2637
1733.08/1733.41	c learnt constraints deletion: 5228 -> 2624
1742.28/1742.66	c learnt constraints deletion: 5218 -> 2619
1751.68/1752.08	c learnt constraints deletion: 5223 -> 2621
1760.79/1761.11	c learnt constraints deletion: 5238 -> 2629
1770.08/1770.44	c learnt constraints deletion: 5220 -> 2620
1779.48/1779.85	c learnt constraints deletion: 5214 -> 2617
1788.98/1789.37	c learnt constraints deletion: 5219 -> 2621
1798.77/1799.13	c learnt constraints deletion: 5219 -> 2620

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-3712074-1338183304/watcher-3712074-1338183304 -o /tmp/evaluation-result-3712074-1338183304/solver-3712074-1338183304 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712074-1338183304.wbo 

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.07 2.05 2.00 3/176 10114
/proc/meminfo: memFree=31364052/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 815 0 0 0 0 0 0 0 20 0 1 0 284454767 6356992 736 33554432000 4194304 8973514 140735010953696 140735010953192 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 1552 736 422 1167 0 333 0

[startup+0.105906 s]
/proc/loadavg: 2.07 2.05 2.00 3/176 10114
/proc/meminfo: memFree=31364052/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=9280 CPUtime=0.1 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 1451 0 0 0 10 0 0 0 20 0 1 0 284454767 9502720 1372 33554432000 4194304 8973514 140735010953696 140735010952960 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 2320 1372 452 1167 0 1101 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9280

[startup+0.200229 s]
/proc/loadavg: 2.07 2.05 2.00 3/176 10114
/proc/meminfo: memFree=31364052/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=9280 CPUtime=0.19 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 1639 0 0 0 19 0 0 0 20 0 1 0 284454767 9502720 1560 33554432000 4194304 8973514 140735010953696 140735010952960 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 2320 1560 464 1167 0 1101 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9280

[startup+0.30021 s]
/proc/loadavg: 2.07 2.05 2.00 3/176 10114
/proc/meminfo: memFree=31364052/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=9280 CPUtime=0.29 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 1639 0 0 0 29 0 0 0 20 0 1 0 284454767 9502720 1560 33554432000 4194304 8973514 140735010953696 140735010952960 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 2320 1560 464 1167 0 1101 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9280

[startup+0.700184 s]
/proc/loadavg: 2.07 2.05 2.00 3/176 10114
/proc/meminfo: memFree=31364052/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=10304 CPUtime=0.69 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 1856 0 0 0 69 0 0 0 20 0 1 0 284454767 10551296 1777 33554432000 4194304 8973514 140735010953696 140735010952960 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 2576 1777 464 1167 0 1357 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10304

[startup+1.50019 s]
/proc/loadavg: 2.07 2.05 2.00 3/177 10115
/proc/meminfo: memFree=31355736/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=12352 CPUtime=1.49 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 2297 0 0 0 148 1 0 0 20 0 1 0 284454767 12648448 2218 33554432000 4194304 8973514 140735010953696 140735010953192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 3088 2218 465 1167 0 1869 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12352

[startup+3.10023 s]
/proc/loadavg: 2.07 2.05 2.00 3/177 10115
/proc/meminfo: memFree=31350108/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=15424 CPUtime=3.09 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 3009 0 0 0 307 2 0 0 20 0 1 0 284454767 15794176 2930 33554432000 4194304 8973514 140735010953696 140735010953192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 3856 2930 466 1167 0 2637 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15424

[startup+6.30024 s]
/proc/loadavg: 2.07 2.05 2.00 3/177 10115
/proc/meminfo: memFree=31341304/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=19520 CPUtime=6.28 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 4201 0 0 0 625 3 0 0 20 0 1 0 284454767 19988480 4122 33554432000 4194304 8973514 140735010953696 140735010953192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 4880 4122 466 1167 0 3661 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19520

[startup+12.7002 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 10115
/proc/meminfo: memFree=31324528/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=26688 CPUtime=12.69 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 5993 0 0 0 1261 8 0 0 20 0 1 0 284454767 27328512 5914 33554432000 4194304 8973514 140735010953696 140735010953192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 6672 5914 466 1167 0 5453 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26688

[startup+25.5003 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 10115
/proc/meminfo: memFree=31293404/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=40000 CPUtime=25.49 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 9262 0 0 0 2535 14 0 0 20 0 1 0 284454767 40960000 9183 33554432000 4194304 8973514 140735010953696 140735010953192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 10000 9183 466 1167 0 8781 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40000

[startup+51.1003 s]
/proc/loadavg: 2.09 2.05 2.00 3/177 10115
/proc/meminfo: memFree=31256280/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=50240 CPUtime=51.08 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 13417 0 0 0 5078 30 0 0 20 0 1 0 284454767 51445760 11802 33554432000 4194304 8973514 140735010953696 140735010952960 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 12560 11802 466 1167 0 11341 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 50240

[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 10115
/proc/meminfo: memFree=31213196/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=53312 CPUtime=102.27 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 16250 0 0 0 10171 56 0 0 20 0 1 0 284454767 54591488 12570 33554432000 4194304 8973514 140735010953696 140735010953192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 13328 12570 466 1167 0 12109 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 53312

[startup+162.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/177 10116
/proc/meminfo: memFree=31194836/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=56384 CPUtime=162.25 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 18810 0 0 0 16138 87 0 0 20 0 1 0 284454767 57737216 13338 33554432000 4194304 8973514 140735010953696 140735010953192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 14096 13338 466 1167 0 12877 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 56384

[startup+222.307 s]
/proc/loadavg: 2.08 2.05 2.00 3/177 10116
/proc/meminfo: memFree=31162548/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=65600 CPUtime=222.25 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 21115 0 0 0 22105 120 0 0 20 0 1 0 284454767 67174400 15642 33554432000 4194304 8973514 140735010953696 140735010953192 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 16400 15642 466 1167 0 15181 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 65600

[startup+282.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 10116
/proc/meminfo: memFree=31153356/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=73792 CPUtime=282.23 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 23171 0 0 0 28069 154 0 0 20 0 1 0 284454767 75563008 17690 33554432000 4194304 8973514 140735010953696 140735010952960 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 18448 17690 466 1167 0 17229 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 73792

[startup+342.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 10119
/proc/meminfo: memFree=31138404/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=64576 CPUtime=342.21 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 23683 0 0 0 34035 186 0 0 20 0 1 0 284454767 66125824 15386 33554432000 4194304 8973514 140735010953696 140735010953192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 16144 15386 466 1167 0 14925 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 64576

[startup+402.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 10120
/proc/meminfo: memFree=31113192/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=70720 CPUtime=402.2 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 25226 0 0 0 40002 218 0 0 20 0 1 0 284454767 72417280 16922 33554432000 4194304 8973514 140735010953696 140735010953192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 17680 16922 466 1167 0 16461 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 70720

[startup+462.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 10121
/proc/meminfo: memFree=31109596/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=73792 CPUtime=462.19 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 25994 0 0 0 45967 252 0 0 20 0 1 0 284454767 75563008 17690 33554432000 4194304 8973514 140735010953696 140735010952960 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 18448 17690 466 1167 0 17229 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 73792

[startup+522.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 10121
/proc/meminfo: memFree=31091492/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=73792 CPUtime=522.19 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 25994 0 0 0 51931 288 0 0 20 0 1 0 284454767 75563008 17690 33554432000 4194304 8973514 140735010953696 140735010953192 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 18448 17690 466 1167 0 17229 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 73792

[startup+582.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/177 10121
/proc/meminfo: memFree=31058224/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=87104 CPUtime=582.17 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 30602 0 0 0 57898 319 0 0 20 0 1 0 284454767 89194496 21018 33554432000 4194304 8973514 140735010953696 140735010952960 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 21776 21018 466 1167 0 20557 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 87104

[startup+642.3 s]

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

[startup+882.307 s]
/proc/loadavg: 2.06 2.05 2.00 3/177 10122
/proc/meminfo: memFree=30972816/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=90176 CPUtime=882.12 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 34963 0 0 0 87722 490 0 0 20 0 1 0 284454767 92340224 21786 33554432000 4194304 8973514 140735010953696 140735010953192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 22544 21786 466 1167 0 21325 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 90176

[startup+942.3 s]
/proc/loadavg: 2.18 2.08 2.01 3/178 10125
/proc/meminfo: memFree=30959044/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=91200 CPUtime=942.11 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 35987 0 0 0 93690 521 0 0 20 0 1 0 284454767 93388800 22042 33554432000 4194304 8973514 140735010953696 140735010953192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 22800 22042 466 1167 0 21581 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 91200

[startup+1002.3 s]
/proc/loadavg: 2.23 2.11 2.02 3/177 10125
/proc/meminfo: memFree=30958680/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=92224 CPUtime=1002.1 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 36243 0 0 0 99652 558 0 0 20 0 1 0 284454767 94437376 22298 33554432000 4194304 8973514 140735010953696 140735010951616 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 23056 22298 466 1167 0 21837 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 92224

[startup+1062.3 s]
/proc/loadavg: 2.15 2.11 2.02 3/177 10126
/proc/meminfo: memFree=30958408/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=92224 CPUtime=1062.09 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 36243 0 0 0 105615 594 0 0 20 0 1 0 284454767 94437376 22298 33554432000 4194304 8973514 140735010953696 140735010953192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 23056 22298 466 1167 0 21837 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 92224

[startup+1122.3 s]
/proc/loadavg: 2.05 2.08 2.02 3/177 10126
/proc/meminfo: memFree=30958700/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=91200 CPUtime=1122.08 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 36248 0 0 0 111581 627 0 0 20 0 1 0 284454767 93388800 22042 33554432000 4194304 8973514 140735010953696 140735010953192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 22800 22042 466 1167 0 21581 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 91200

[startup+1182.3 s]
/proc/loadavg: 2.02 2.07 2.01 3/177 10126
/proc/meminfo: memFree=30958824/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=91200 CPUtime=1182.08 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 36248 0 0 0 117545 663 0 0 20 0 1 0 284454767 93388800 22042 33554432000 4194304 8973514 140735010953696 140735010953192 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 22800 22042 466 1167 0 21581 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 91200

[startup+1242.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/177 10126
/proc/meminfo: memFree=30958576/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=91200 CPUtime=1242.06 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 36248 0 0 0 123509 697 0 0 20 0 1 0 284454767 93388800 22042 33554432000 4194304 8973514 140735010953696 140735010953192 7937344 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 22800 22042 466 1167 0 21581 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 91200

[startup+1302.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/177 10126
/proc/meminfo: memFree=30956964/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=93248 CPUtime=1302.05 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 36760 0 0 0 129470 735 0 0 20 0 1 0 284454767 95485952 22554 33554432000 4194304 8973514 140735010953696 140735010953192 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 23312 22554 466 1167 0 22093 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 93248

[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/176 10126
/proc/meminfo: memFree=30944068/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=95296 CPUtime=1362.04 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 37272 0 0 0 135437 767 0 0 20 0 1 0 284454767 97583104 23066 33554432000 4194304 8973514 140735010953696 140735010953192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 23824 23066 466 1167 0 22605 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 95296

[startup+1422.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 10127
/proc/meminfo: memFree=30932100/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=95296 CPUtime=1422.05 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 37273 0 0 0 141405 800 0 0 20 0 1 0 284454767 97583104 23066 33554432000 4194304 8973514 140735010953696 140735010953192 4209410 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 23824 23066 466 1167 0 22605 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 95296

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 10127
/proc/meminfo: memFree=30916848/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=98368 CPUtime=1482.03 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 38041 0 0 0 147364 839 0 0 20 0 1 0 284454767 100728832 23834 33554432000 4194304 8973514 140735010953696 140735010953192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 24592 23834 466 1167 0 23373 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 98368

[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 10130
/proc/meminfo: memFree=30902208/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=104512 CPUtime=1542.02 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 39577 0 0 0 153329 873 0 0 20 0 1 0 284454767 107020288 25370 33554432000 4194304 8973514 140735010953696 140735010952960 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 26128 25370 466 1167 0 24909 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 104512

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 10153
/proc/meminfo: memFree=30894412/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=99392 CPUtime=1602.01 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 39577 0 0 0 159296 905 0 0 20 0 1 0 284454767 101777408 24090 33554432000 4194304 8973514 140735010953696 140735010953192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 24848 24090 466 1167 0 23629 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 99392

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10153
/proc/meminfo: memFree=30884296/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=99392 CPUtime=1662 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 39582 0 0 0 165262 938 0 0 20 0 1 0 284454767 101777408 24090 33554432000 4194304 8973514 140735010953696 140735010953192 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 24848 24090 466 1167 0 23629 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 99392

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10154
/proc/meminfo: memFree=30878096/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=99392 CPUtime=1721.98 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 39582 0 0 0 171226 972 0 0 20 0 1 0 284454767 101777408 24090 33554432000 4194304 8973514 140735010953696 140735010953192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 24848 24090 466 1167 0 23629 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 99392

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10154
/proc/meminfo: memFree=30865820/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=101440 CPUtime=1781.97 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 40094 0 0 0 177192 1005 0 0 20 0 1 0 284454767 103874560 24602 33554432000 4194304 8973514 140735010953696 140735010953192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 25360 24602 466 1167 0 24141 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 101440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 10155
/proc/meminfo: memFree=31277376/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=101440 CPUtime=1800.08 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 40094 0 0 0 178992 1016 0 0 20 0 1 0 284454767 103874560 24602 33554432000 4194304 8973514 140735010953696 140735010953192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 25360 24602 466 1167 0 24141 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 101440

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 10155
/proc/meminfo: memFree=31277376/32873844 swapFree=7632/7632
[pid=10114] ppid=10112 vsize=101440 CPUtime=1800.08 cores=1,3,5,7
/proc/10114/stat : 10114 (toysat) R 10112 10114 7805 0 -1 4202496 40094 0 0 0 178992 1016 0 0 20 0 1 0 284454767 103874560 24602 33554432000 4194304 8973514 140735010953696 140735010953192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10114/statm: 25360 24602 466 1167 0 24141 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 101440

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1789.93
CPU system time (s): 10.1655
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 104512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.93
system time used= 10.1655
maximum resident set size= 101480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40094
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= 56
involuntary context switches= 1850

runsolver used 3.3205 second user time and 9.1856 second system time

The end

Launcher Data 

Begin job on node141 at 2012-05-28 07:35:04
IDJOB=3712074
IDBENCH=78738
IDSOLVER=2291
FILE ID=node141/3712074-1338183304
RUNJOBID= node141-1338174290-9575
PBS_JOBID= 14624547
Free space on /tmp= 71536 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-41-40--soft-33-100-0.wbo
COMMAND LINE= HOME/toysat --wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712074-1338183304/watcher-3712074-1338183304 -o /tmp/evaluation-result-3712074-1338183304/solver-3712074-1338183304 -C 1800 -W 1900 -M 15500  HOME/toysat --wbo HOME/instance-3712074-1338183304.wbo

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

MD5SUM BENCH= 821b84a7358221fefacfb8b50c463b59
RANDOM SEED=1496915644

node141.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.744
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.48
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.744
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.744
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.93
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.744
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.92
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.744
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.744
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.744
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.92
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.744
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:        31364696 kB
Buffers:          274596 kB
Cached:           370964 kB
SwapCached:          220 kB
Active:           216348 kB
Inactive:         455220 kB
Active(anon):      15644 kB
Inactive(anon):    11292 kB
Active(file):     200704 kB
Inactive(file):   443928 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108636 kB
Dirty:             14784 kB
Writeback:             0 kB
AnonPages:         31760 kB
Mapped:            12172 kB
Shmem:               172 kB
Slab:             696948 kB
SReclaimable:     139452 kB
SUnreclaim:       557496 kB
KernelStack:        1456 kB
PageTables:         4080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     140040 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= 71528 MiB
End job on node141 at 2012-05-28 08:05:07