Trace number 3712076

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-45-40--soft-66-100-0.wbo
MD5SUMa455ffab78a89665145255f789204852
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark0.441932
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1800
Total number of constraints85
Number of soft constraints24
Number of constraints which are clauses45
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 constraint45
Top cost 1255
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 1254
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
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-28T06:34:59+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-3712076-1338179699.wbo"]
0.00/0.02	c #vars 1800
0.00/0.02	c #constraints 85
0.00/0.02	c Solving starts ...
0.69/0.78	c solving time = 0.757s
0.69/0.78	c #decision = 3772
0.69/0.78	c #conflict = 489
0.69/0.78	c #restart = 3
0.69/0.78	o 90
0.69/0.78	c Solving starts ...
0.69/0.78	c solving time = 0.008s
0.69/0.78	c #decision = 4614
0.69/0.78	c #conflict = 492
0.69/0.78	c #restart = 3
0.69/0.78	o 27
0.69/0.78	c Solving starts ...
0.99/1.06	c solving time = 0.277s
0.99/1.06	c #decision = 6813
0.99/1.06	c #conflict = 635
0.99/1.06	c #restart = 4
0.99/1.06	o 24
0.99/1.06	c Solving starts ...
0.99/1.07	c solving time = 0.003s
0.99/1.07	c #decision = 7687
0.99/1.07	c #conflict = 635
0.99/1.07	c #restart = 4
0.99/1.07	o 23
0.99/1.07	c Solving starts ...
1.19/1.21	c learnt constraints deletion: 730 -> 365
2.09/2.19	c learnt constraints deletion: 1075 -> 538
2.79/2.82	c learnt constraints deletion: 1044 -> 522
4.18/4.24	c learnt constraints deletion: 1282 -> 641
6.19/6.24	c learnt constraints deletion: 1782 -> 891
9.09/9.10	c learnt constraints deletion: 2603 -> 1302
13.28/13.31	c learnt constraints deletion: 3106 -> 1559
15.69/15.76	c learnt constraints deletion: 2324 -> 1162
20.29/20.31	c learnt constraints deletion: 3260 -> 1637
25.08/25.19	c learnt constraints deletion: 3276 -> 1646
25.39/25.47	c learnt constraints deletion: 1763 -> 882
30.38/30.40	c learnt constraints deletion: 3432 -> 1721
33.88/33.95	c learnt constraints deletion: 3423 -> 1717
37.48/37.53	c learnt constraints deletion: 3247 -> 1624
40.78/40.86	c learnt constraints deletion: 3602 -> 1811
44.08/44.19	c learnt constraints deletion: 3584 -> 1802
47.57/47.69	c learnt constraints deletion: 3590 -> 1805
51.47/51.53	c learnt constraints deletion: 3598 -> 1811
54.37/54.44	c learnt constraints deletion: 3153 -> 1577
58.48/58.54	c learnt constraints deletion: 3767 -> 1895
62.37/62.45	c learnt constraints deletion: 3713 -> 1868
68.18/68.28	c learnt constraints deletion: 3720 -> 1884
74.27/74.33	c learnt constraints deletion: 3706 -> 1893
81.17/81.21	c learnt constraints deletion: 3723 -> 1902
86.88/86.99	c learnt constraints deletion: 3698 -> 1889
92.47/92.57	c learnt constraints deletion: 3593 -> 1797
97.57/97.63	c learnt constraints deletion: 3958 -> 1989
103.37/103.48	c learnt constraints deletion: 3935 -> 1987
109.76/109.83	c learnt constraints deletion: 3943 -> 1991
115.37/115.48	c learnt constraints deletion: 3973 -> 2005
121.37/121.46	c learnt constraints deletion: 3955 -> 1997
127.07/127.11	c learnt constraints deletion: 3949 -> 1991
132.16/132.25	c learnt constraints deletion: 3953 -> 1995
137.26/137.37	c learnt constraints deletion: 3947 -> 1991
142.56/142.61	c learnt constraints deletion: 3955 -> 1995
147.06/147.19	c learnt constraints deletion: 3689 -> 1845
151.77/151.82	c learnt constraints deletion: 4114 -> 2064
157.06/157.12	c learnt constraints deletion: 4127 -> 2071
161.95/162.07	c learnt constraints deletion: 4149 -> 2082
167.44/167.54	c learnt constraints deletion: 4117 -> 2066
172.44/172.52	c learnt constraints deletion: 4073 -> 2044
177.54/177.65	c learnt constraints deletion: 4119 -> 2068
183.34/183.47	c learnt constraints deletion: 4076 -> 2044
189.24/189.31	c learnt constraints deletion: 4068 -> 2041
195.15/195.23	c learnt constraints deletion: 4057 -> 2036
200.84/200.93	c learnt constraints deletion: 4089 -> 2056
206.94/207.01	c learnt constraints deletion: 4091 -> 2054
212.94/213.09	c learnt constraints deletion: 4062 -> 2038
219.44/219.58	c learnt constraints deletion: 4041 -> 2029
227.04/227.15	c learnt constraints deletion: 4346 -> 2182
232.44/232.58	c learnt constraints deletion: 4400 -> 2202
238.43/238.58	c learnt constraints deletion: 4400 -> 2202
244.34/244.43	c learnt constraints deletion: 4387 -> 2196
250.14/250.24	c learnt constraints deletion: 4390 -> 2198
256.14/256.23	c learnt constraints deletion: 4370 -> 2187
262.93/263.06	c learnt constraints deletion: 4395 -> 2202
269.23/269.33	c learnt constraints deletion: 4361 -> 2185
275.93/276.10	c learnt constraints deletion: 4393 -> 2200
282.93/283.03	c learnt constraints deletion: 4381 -> 2195
289.23/289.39	c learnt constraints deletion: 4406 -> 2207
296.02/296.10	c learnt constraints deletion: 4393 -> 2201
303.03/303.14	c learnt constraints deletion: 4382 -> 2195
310.03/310.16	c learnt constraints deletion: 4395 -> 2202
316.63/316.77	c learnt constraints deletion: 4380 -> 2194
323.52/323.63	c learnt constraints deletion: 4379 -> 2195
331.12/331.21	c learnt constraints deletion: 4385 -> 2200
338.12/338.24	c learnt constraints deletion: 4364 -> 2185
345.11/345.26	c learnt constraints deletion: 4381 -> 2195
351.62/351.76	c learnt constraints deletion: 4401 -> 2204
358.52/358.65	c learnt constraints deletion: 4644 -> 2327
363.71/363.89	c learnt constraints deletion: 4651 -> 2329
370.51/370.69	c learnt constraints deletion: 4638 -> 2329
376.81/377.00	c learnt constraints deletion: 4640 -> 2330
384.31/384.47	c learnt constraints deletion: 4624 -> 2323
392.01/392.16	c learnt constraints deletion: 4699 -> 2363
399.21/399.39	c learnt constraints deletion: 4644 -> 2333
406.51/406.61	c learnt constraints deletion: 4619 -> 2321
413.00/413.12	c learnt constraints deletion: 4630 -> 2325
419.80/419.94	c learnt constraints deletion: 4665 -> 2344
427.21/427.30	c learnt constraints deletion: 4662 -> 2342
434.31/434.50	c learnt constraints deletion: 4652 -> 2335
440.20/440.31	c learnt constraints deletion: 4662 -> 2340
447.00/447.15	c learnt constraints deletion: 4621 -> 2321
455.00/455.13	c learnt constraints deletion: 4615 -> 2321
464.20/464.31	c learnt constraints deletion: 4596 -> 2311
472.59/472.70	c learnt constraints deletion: 4614 -> 2318
480.19/480.37	c learnt constraints deletion: 4635 -> 2331
486.99/487.11	c learnt constraints deletion: 4616 -> 2321
493.59/493.79	c learnt constraints deletion: 4679 -> 2352
500.69/500.82	c learnt constraints deletion: 4615 -> 2318
506.90/507.06	c learnt constraints deletion: 4620 -> 2321
513.60/513.78	c learnt constraints deletion: 4637 -> 2329
520.79/520.92	c learnt constraints deletion: 4665 -> 2345
528.08/528.29	c learnt constraints deletion: 4622 -> 2324
536.49/536.60	c learnt constraints deletion: 4605 -> 2314
545.99/546.12	c learnt constraints deletion: 4635 -> 2330
554.88/555.02	c learnt constraints deletion: 4628 -> 2327
563.18/563.38	c learnt constraints deletion: 4652 -> 2338
569.18/569.39	c learnt constraints deletion: 3747 -> 1874
578.98/579.14	c learnt constraints deletion: 4972 -> 2491
587.98/588.14	c learnt constraints deletion: 4939 -> 2476
595.28/595.48	c learnt constraints deletion: 4967 -> 2489
603.38/603.54	c learnt constraints deletion: 4937 -> 2474
611.88/612.00	c learnt constraints deletion: 4961 -> 2487
621.67/621.86	c learnt constraints deletion: 4936 -> 2476
632.98/633.15	c learnt constraints deletion: 4947 -> 2481
646.17/646.39	c learnt constraints deletion: 4931 -> 2473
657.57/657.80	c learnt constraints deletion: 4964 -> 2491
669.56/669.74	c learnt constraints deletion: 4952 -> 2483
681.26/681.42	c learnt constraints deletion: 4951 -> 2483
693.26/693.42	c learnt constraints deletion: 4948 -> 2480
702.66/702.88	c learnt constraints deletion: 4936 -> 2473
712.46/712.60	c learnt constraints deletion: 4951 -> 2482
721.75/721.93	c learnt constraints deletion: 4933 -> 2474
731.55/731.78	c learnt constraints deletion: 4926 -> 2471
740.46/740.66	c learnt constraints deletion: 4948 -> 2479
750.36/750.56	c learnt constraints deletion: 4953 -> 2483
760.55/760.75	c learnt constraints deletion: 4911 -> 2461
768.55/768.76	c learnt constraints deletion: 4947 -> 2480
776.15/776.32	c learnt constraints deletion: 4916 -> 2464
783.34/783.53	c learnt constraints deletion: 4916 -> 2465
790.95/791.19	c learnt constraints deletion: 4949 -> 2482
799.35/799.56	c learnt constraints deletion: 4932 -> 2473
807.54/807.76	c learnt constraints deletion: 4923 -> 2469
815.95/816.17	c learnt constraints deletion: 4928 -> 2471
823.94/824.18	c learnt constraints deletion: 4931 -> 2473
834.44/834.64	c learnt constraints deletion: 4949 -> 2482
844.43/844.68	c learnt constraints deletion: 4942 -> 2480
855.84/856.05	c learnt constraints deletion: 4917 -> 2467
868.14/868.31	c learnt constraints deletion: 4929 -> 2474
880.13/880.30	c learnt constraints deletion: 4921 -> 2467
890.53/890.77	c learnt constraints deletion: 4964 -> 2489
900.53/900.73	c learnt constraints deletion: 4929 -> 2472
913.13/913.31	c learnt constraints deletion: 4926 -> 2471
922.83/923.06	c learnt constraints deletion: 4926 -> 2470
933.32/933.56	c learnt constraints deletion: 4925 -> 2471
945.02/945.23	c learnt constraints deletion: 4929 -> 2475
959.72/959.99	c learnt constraints deletion: 4936 -> 2478
969.32/969.56	c learnt constraints deletion: 4675 -> 2338
978.62/978.81	c learnt constraints deletion: 5309 -> 2660
987.21/987.46	c learnt constraints deletion: 5298 -> 2663
995.22/995.47	c learnt constraints deletion: 5268 -> 2648
1002.92/1003.11	c learnt constraints deletion: 5286 -> 2657
1011.31/1011.56	c learnt constraints deletion: 5298 -> 2664
1021.31/1021.56	c learnt constraints deletion: 5289 -> 2660
1031.62/1031.84	c learnt constraints deletion: 5269 -> 2650
1041.81/1042.06	c learnt constraints deletion: 5307 -> 2669
1051.81/1052.08	c learnt constraints deletion: 5306 -> 2668
1061.40/1061.66	c learnt constraints deletion: 5273 -> 2652
1070.21/1070.42	c learnt constraints deletion: 5264 -> 2648
1078.81/1079.06	c learnt constraints deletion: 5258 -> 2645
1088.40/1088.66	c learnt constraints deletion: 5272 -> 2653
1099.00/1099.29	c learnt constraints deletion: 5290 -> 2662
1108.70/1108.90	c learnt constraints deletion: 5310 -> 2673
1117.80/1118.06	c learnt constraints deletion: 5276 -> 2656
1127.39/1127.60	c learnt constraints deletion: 5286 -> 2659
1137.20/1137.43	c learnt constraints deletion: 5271 -> 2653
1147.10/1147.34	c learnt constraints deletion: 5260 -> 2647
1156.00/1156.28	c learnt constraints deletion: 5276 -> 2655
1165.39/1165.64	c learnt constraints deletion: 5293 -> 2664
1174.79/1175.08	c learnt constraints deletion: 5303 -> 2669
1183.69/1183.94	c learnt constraints deletion: 5299 -> 2667
1191.59/1191.83	c learnt constraints deletion: 5293 -> 2664
1200.38/1200.67	c learnt constraints deletion: 5292 -> 2664
1209.38/1209.68	c learnt constraints deletion: 5278 -> 2656
1218.59/1218.84	c learnt constraints deletion: 5293 -> 2663
1228.19/1228.41	c learnt constraints deletion: 5272 -> 2652
1236.88/1237.20	c learnt constraints deletion: 5283 -> 2659
1246.18/1246.42	c learnt constraints deletion: 5274 -> 2653
1255.38/1255.62	c learnt constraints deletion: 5273 -> 2654
1264.27/1264.51	c learnt constraints deletion: 5255 -> 2645
1273.48/1273.76	c learnt constraints deletion: 5310 -> 2670
1282.07/1282.39	c learnt constraints deletion: 5294 -> 2663
1291.27/1291.51	c learnt constraints deletion: 5295 -> 2667
1301.27/1301.59	c learnt constraints deletion: 5302 -> 2671
1310.88/1311.18	c learnt constraints deletion: 5284 -> 2658
1319.57/1319.86	c learnt constraints deletion: 5300 -> 2665
1329.86/1330.14	c learnt constraints deletion: 5297 -> 2666
1340.26/1340.50	c learnt constraints deletion: 5277 -> 2655
1349.86/1350.12	c learnt constraints deletion: 5306 -> 2669
1359.06/1359.37	c learnt constraints deletion: 5265 -> 2649
1368.46/1368.75	c learnt constraints deletion: 5289 -> 2661
1376.97/1377.28	c learnt constraints deletion: 5291 -> 2662
1385.86/1386.18	c learnt constraints deletion: 5287 -> 2659
1395.25/1395.54	c learnt constraints deletion: 5279 -> 2656
1404.25/1404.58	c learnt constraints deletion: 5284 -> 2658
1413.16/1413.42	c learnt constraints deletion: 5309 -> 2670
1422.45/1422.72	c learnt constraints deletion: 5311 -> 2672
1431.75/1432.08	c learnt constraints deletion: 5308 -> 2671
1440.45/1440.76	c learnt constraints deletion: 5281 -> 2657
1448.46/1448.78	c learnt constraints deletion: 5239 -> 2635
1457.55/1457.85	c learnt constraints deletion: 5282 -> 2657
1466.64/1466.95	c learnt constraints deletion: 5267 -> 2649
1475.35/1475.68	c learnt constraints deletion: 5302 -> 2667
1486.34/1486.68	c learnt constraints deletion: 5624 -> 2828
1493.64/1493.99	c learnt constraints deletion: 5628 -> 2819
1501.03/1501.37	c learnt constraints deletion: 5637 -> 2824
1508.74/1509.04	c learnt constraints deletion: 5615 -> 2813
1516.34/1516.69	c learnt constraints deletion: 5618 -> 2814
1524.04/1524.38	c learnt constraints deletion: 5613 -> 2812
1531.73/1532.00	c learnt constraints deletion: 5622 -> 2816
1539.23/1539.50	c learnt constraints deletion: 5627 -> 2819
1547.03/1547.30	c learnt constraints deletion: 5623 -> 2816
1554.33/1554.67	c learnt constraints deletion: 5583 -> 2796
1562.63/1562.91	c learnt constraints deletion: 5612 -> 2811
1570.33/1570.68	c learnt constraints deletion: 5647 -> 2830
1577.82/1578.16	c learnt constraints deletion: 5617 -> 2815
1585.33/1585.64	c learnt constraints deletion: 5638 -> 2824
1592.62/1592.90	c learnt constraints deletion: 5638 -> 2825
1600.82/1601.13	c learnt constraints deletion: 5596 -> 2808
1609.83/1610.19	c learnt constraints deletion: 5638 -> 2825
1618.12/1618.49	c learnt constraints deletion: 5629 -> 2822
1627.92/1628.26	c learnt constraints deletion: 5605 -> 2811
1637.91/1638.21	c learnt constraints deletion: 5567 -> 2794
1647.71/1648.02	c learnt constraints deletion: 5583 -> 2802
1657.12/1657.45	c learnt constraints deletion: 5586 -> 2799
1666.52/1666.86	c learnt constraints deletion: 5623 -> 2819
1674.92/1675.20	c learnt constraints deletion: 5625 -> 2821
1683.01/1683.33	c learnt constraints deletion: 5585 -> 2799
1689.71/1690.04	c learnt constraints deletion: 5624 -> 2819
1697.41/1697.78	c learnt constraints deletion: 5629 -> 2822
1705.51/1705.80	c learnt constraints deletion: 5633 -> 2826
1713.81/1714.15	c learnt constraints deletion: 5631 -> 2823
1722.80/1723.12	c learnt constraints deletion: 5615 -> 2816
1731.31/1731.69	c learnt constraints deletion: 5614 -> 2815
1740.31/1740.65	c learnt constraints deletion: 5608 -> 2812
1749.20/1749.52	c learnt constraints deletion: 5608 -> 2809
1757.60/1757.91	c learnt constraints deletion: 5582 -> 2798
1766.10/1766.48	c learnt constraints deletion: 5600 -> 2806
1774.89/1775.22	c learnt constraints deletion: 5636 -> 2824
1783.30/1783.60	c learnt constraints deletion: 5586 -> 2798
1791.29/1791.63	c learnt constraints deletion: 5607 -> 2810
1799.20/1799.56	c learnt constraints deletion: 5645 -> 2830

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-3712076-1338179699/watcher-3712076-1338179699 -o /tmp/evaluation-result-3712076-1338179699/solver-3712076-1338179699 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712076-1338179699.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.00 2.00 1.97 3/176 9905
/proc/meminfo: memFree=31369608/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 823 0 0 0 0 0 0 0 20 0 1 0 284094221 6356992 744 33554432000 4194304 8973514 140737342287216 140733758277512 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 1552 744 422 1167 0 333 0

[startup+0.053016 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 9905
/proc/meminfo: memFree=31369608/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=9280 CPUtime=0.04 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 1398 0 0 0 4 0 0 0 20 0 1 0 284094221 9502720 1319 33554432000 4194304 8973514 140737342287216 140737342286712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 2320 1319 454 1167 0 1101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9280

[startup+0.100267 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 9905
/proc/meminfo: memFree=31369608/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=9280 CPUtime=0.09 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 1427 0 0 0 9 0 0 0 20 0 1 0 284094221 9502720 1348 33554432000 4194304 8973514 140737342287216 140737342286712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 2320 1348 454 1167 0 1101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9280

[startup+0.300227 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 9905
/proc/meminfo: memFree=31369608/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=9280 CPUtime=0.29 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 1629 0 0 0 29 0 0 0 20 0 1 0 284094221 9502720 1550 33554432000 4194304 8973514 140737342287216 140737342286712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 2320 1550 454 1167 0 1101 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9280

[startup+0.700236 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 9905
/proc/meminfo: memFree=31369608/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=11328 CPUtime=0.69 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 2141 0 0 0 69 0 0 0 20 0 1 0 284094221 11599872 2062 33554432000 4194304 8973514 140737342287216 140737342286712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 2832 2062 454 1167 0 1613 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11328

[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9906
/proc/meminfo: memFree=31360176/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=13376 CPUtime=1.49 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 2665 0 0 0 148 1 0 0 20 0 1 0 284094221 13697024 2586 33554432000 4194304 8973514 140737342287216 140737342286712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 3344 2586 466 1167 0 2125 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13376

[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9906
/proc/meminfo: memFree=31355092/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=16448 CPUtime=3.08 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 3433 0 0 0 306 2 0 0 20 0 1 0 284094221 16842752 3354 33554432000 4194304 8973514 140737342287216 140737342286712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 4112 3354 466 1167 0 2893 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 16448

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9906
/proc/meminfo: memFree=31345288/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=23616 CPUtime=6.29 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 4978 0 0 0 624 5 0 0 20 0 1 0 284094221 24182784 4899 33554432000 4194304 8973514 140737342287216 140737342286712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 5904 4899 466 1167 0 4685 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23616

[startup+12.7001 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9906
/proc/meminfo: memFree=31318816/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=38976 CPUtime=12.69 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 9065 0 0 0 1260 9 0 0 20 0 1 0 284094221 39911424 8986 33554432000 4194304 8973514 140737342287216 140737342286712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 9744 8986 466 1167 0 8525 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38976

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9906
/proc/meminfo: memFree=31299712/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=52288 CPUtime=25.48 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 12395 0 0 0 2532 16 0 0 20 0 1 0 284094221 53542912 12314 33554432000 4194304 8973514 140737342287216 140737342286712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 13072 12314 466 1167 0 11853 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52288

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9906
/proc/meminfo: memFree=31273084/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=51264 CPUtime=51.08 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 15725 0 0 0 5077 31 0 0 20 0 1 0 284094221 52494336 12058 33554432000 4194304 8973514 140737342287216 140737342286712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 12816 12058 466 1167 0 11597 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 51264

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9907
/proc/meminfo: memFree=31220224/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=76864 CPUtime=102.27 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 22139 0 0 0 10170 57 0 0 20 0 1 0 284094221 78708736 18213 33554432000 4194304 8973514 140737342287216 140737342286712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 19216 18213 466 1167 0 17997 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 76864

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9907
/proc/meminfo: memFree=31182720/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=83008 CPUtime=162.25 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 23927 0 0 0 16135 90 0 0 20 0 1 0 284094221 85000192 19994 33554432000 4194304 8973514 140737342287216 140737342286712 7688728 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 20752 19994 466 1167 0 19533 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 83008

[startup+222.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/177 9907
/proc/meminfo: memFree=31174456/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=83008 CPUtime=222.23 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 23933 0 0 0 22102 121 0 0 20 0 1 0 284094221 85000192 19994 33554432000 4194304 8973514 140737342287216 140737342286712 7613704 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 20752 19994 466 1167 0 19533 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 83008

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/177 9907
/proc/meminfo: memFree=31147824/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=87104 CPUtime=282.23 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 24957 0 0 0 28071 152 0 0 20 0 1 0 284094221 89194496 21018 33554432000 4194304 8973514 140737342287216 140737342286712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 21776 21018 466 1167 0 20557 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 87104

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 9910
/proc/meminfo: memFree=31132812/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=91200 CPUtime=342.21 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 25984 0 0 0 34038 183 0 0 20 0 1 0 284094221 93388800 22042 33554432000 4194304 8973514 140737342287216 140737342286712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 22800 22042 466 1167 0 21581 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 91200

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9911
/proc/meminfo: memFree=31105664/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=95296 CPUtime=402.21 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 27008 0 0 0 40005 216 0 0 20 0 1 0 284094221 97583104 23066 33554432000 4194304 8973514 140737342287216 140737342286480 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 23824 23066 466 1167 0 22605 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 95296

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9911
/proc/meminfo: memFree=31069572/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=98368 CPUtime=462.2 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 27776 0 0 0 45974 246 0 0 20 0 1 0 284094221 100728832 23834 33554432000 4194304 8973514 140737342287216 140737342286480 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 24592 23834 466 1167 0 23373 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 98368

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9911
/proc/meminfo: memFree=31068200/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=98368 CPUtime=522.19 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 27777 0 0 0 51941 278 0 0 20 0 1 0 284094221 100728832 23834 33554432000 4194304 8973514 140737342287216 140737342286712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 24592 23834 466 1167 0 23373 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 98368

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9911
/proc/meminfo: memFree=31066092/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=98368 CPUtime=582.18 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 27777 0 0 0 57912 306 0 0 20 0 1 0 284094221 100728832 23834 33554432000 4194304 8973514 140737342287216 140737342286712 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 24592 23834 466 1167 0 23373 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 98368

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/177 9912
/proc/meminfo: memFree=31046364/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=106560 CPUtime=822.15 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 29826 0 0 0 81800 415 0 0 20 0 1 0 284094221 109117440 25882 33554432000 4194304 8973514 140737342287216 140737342286480 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 26640 25882 466 1167 0 25421 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 106560

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 9912
/proc/meminfo: memFree=31040272/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=106560 CPUtime=882.14 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 29826 0 0 0 87771 443 0 0 20 0 1 0 284094221 109117440 25882 33554432000 4194304 8973514 140737342287216 140737342286712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 26640 25882 466 1167 0 25421 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 106560

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 9915
/proc/meminfo: memFree=31040260/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=106560 CPUtime=942.13 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 29826 0 0 0 93747 466 0 0 20 0 1 0 284094221 109117440 25882 33554432000 4194304 8973514 140737342287216 140737342286480 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 26640 25882 466 1167 0 25421 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 106560

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 9915
/proc/meminfo: memFree=31042872/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=103488 CPUtime=1002.12 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 29826 0 0 0 99716 496 0 0 20 0 1 0 284094221 105971712 25114 33554432000 4194304 8973514 140737342287216 140737342286712 4447548 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 25872 25114 466 1167 0 24653 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 103488

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 9916
/proc/meminfo: memFree=31042748/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=103488 CPUtime=1062.11 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 29826 0 0 0 105689 522 0 0 20 0 1 0 284094221 105971712 25114 33554432000 4194304 8973514 140737342287216 140737342286712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 25872 25114 466 1167 0 24653 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 103488

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 9916
/proc/meminfo: memFree=31041012/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=105536 CPUtime=1122.1 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 30338 0 0 0 111659 551 0 0 20 0 1 0 284094221 108068864 25626 33554432000 4194304 8973514 140737342287216 140737342286712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 26384 25626 466 1167 0 25165 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 105536

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 9916
/proc/meminfo: memFree=31040948/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=105536 CPUtime=1182.09 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 30339 0 0 0 117627 582 0 0 20 0 1 0 284094221 108068864 25626 33554432000 4194304 8973514 140737342287216 140737342286712 4204256 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 26384 25626 466 1167 0 25165 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 105536

[startup+1242.3 s]
/proc/loadavg: 2.08 2.03 1.99 3/177 9916
/proc/meminfo: memFree=31040700/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=105536 CPUtime=1242.08 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 30339 0 0 0 123597 611 0 0 20 0 1 0 284094221 108068864 25626 33554432000 4194304 8973514 140737342287216 140737342286480 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 26384 25626 466 1167 0 25165 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 105536

[startup+1302.3 s]
/proc/loadavg: 2.03 2.02 1.99 3/177 9916
/proc/meminfo: memFree=31040700/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=105536 CPUtime=1302.07 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 30339 0 0 0 129561 646 0 0 20 0 1 0 284094221 108068864 25626 33554432000 4194304 8973514 140737342287216 140737342286480 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 26384 25626 466 1167 0 25165 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 105536

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/177 9917
/proc/meminfo: memFree=31040824/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=105536 CPUtime=1362.06 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 30339 0 0 0 135531 675 0 0 20 0 1 0 284094221 108068864 25626 33554432000 4194304 8973514 140737342287216 140737342286480 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 26384 25626 466 1167 0 25165 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 105536

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 1.99 3/177 9917
/proc/meminfo: memFree=31040824/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=105536 CPUtime=1422.05 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 30339 0 0 0 141501 704 0 0 20 0 1 0 284094221 108068864 25626 33554432000 4194304 8973514 140737342287216 140737342286712 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 26384 25626 466 1167 0 25165 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 105536

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 9917
/proc/meminfo: memFree=31040700/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=105536 CPUtime=1482.05 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 30339 0 0 0 147470 735 0 0 20 0 1 0 284094221 108068864 25626 33554432000 4194304 8973514 140737342287216 140737342286712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 26384 25626 466 1167 0 25165 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 105536

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 9920
/proc/meminfo: memFree=31040568/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=105536 CPUtime=1542.03 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 30339 0 0 0 153438 765 0 0 20 0 1 0 284094221 108068864 25626 33554432000 4194304 8973514 140737342287216 140737342286712 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 26384 25626 466 1167 0 25165 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 105536

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 9943
/proc/meminfo: memFree=31037220/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=108608 CPUtime=1602.02 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 31107 0 0 0 159405 797 0 0 20 0 1 0 284094221 111214592 26394 33554432000 4194304 8973514 140737342287216 140737342286712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 27152 26394 466 1167 0 25933 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 108608

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 9944
/proc/meminfo: memFree=31037228/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=108608 CPUtime=1662.02 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 31107 0 0 0 165379 823 0 0 20 0 1 0 284094221 111214592 26394 33554432000 4194304 8973514 140737342287216 140737342286480 4362943 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 27152 26394 466 1167 0 25933 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 108608

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.99 3/177 9944
/proc/meminfo: memFree=31037104/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=108608 CPUtime=1722.01 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 31107 0 0 0 171348 853 0 0 20 0 1 0 284094221 111214592 26394 33554432000 4194304 8973514 140737342287216 140737342286712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 27152 26394 466 1167 0 25933 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 108608

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/177 9944
/proc/meminfo: memFree=31036296/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=108608 CPUtime=1781.99 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 31107 0 0 0 177319 880 0 0 20 0 1 0 284094221 111214592 26394 33554432000 4194304 8973514 140737342287216 140737342286712 4390490 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 27152 26394 466 1167 0 25933 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 108608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 1.99 2/175 9945
/proc/meminfo: memFree=31270696/32873844 swapFree=7632/7632
[pid=9905] ppid=9903 vsize=108608 CPUtime=1800.1 cores=1,3,5,7
/proc/9905/stat : 9905 (toysat) R 9903 9905 7805 0 -1 4202496 31107 0 0 0 179119 891 0 0 20 0 1 0 284094221 111214592 26394 33554432000 4194304 8973514 140737342287216 140737342286712 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 27152 26394 466 1167 0 25933 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 108608

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.11
CPU user time (s): 1791.19
CPU system time (s): 8.92064
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 108608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.19
system time used= 8.92064
maximum resident set size= 105576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31107
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= 29
involuntary context switches= 1852

runsolver used 3.43148 second user time and 9.04363 second system time

The end

Launcher Data

Begin job on node141 at 2012-05-28 06:34:59
IDJOB=3712076
IDBENCH=78715
IDSOLVER=2291
FILE ID=node141/3712076-1338179699
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-45-40--soft-66-100-0.wbo
COMMAND LINE= HOME/toysat --wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712076-1338179699/watcher-3712076-1338179699 -o /tmp/evaluation-result-3712076-1338179699/solver-3712076-1338179699 -C 1800 -W 1900 -M 15500  HOME/toysat --wbo HOME/instance-3712076-1338179699.wbo

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

MD5SUM BENCH= a455ffab78a89665145255f789204852
RANDOM SEED=1965740297

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:        31370136 kB
Buffers:          272152 kB
Cached:           371132 kB
SwapCached:          220 kB
Active:           211072 kB
Inactive:         452624 kB
Active(anon):      10564 kB
Inactive(anon):    11292 kB
Active(file):     200508 kB
Inactive(file):   441332 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108636 kB
Dirty:             14800 kB
Writeback:             4 kB
AnonPages:         26320 kB
Mapped:            12576 kB
Shmem:               172 kB
Slab:             696904 kB
SReclaimable:     139388 kB
SUnreclaim:       557516 kB
KernelStack:        1448 kB
PageTables:         3712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     133932 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= 71536 MiB
End job on node141 at 2012-05-28 07:05:01