Trace number 3493706

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
PicoMUS 941No Cert. 1800.08 1800.35

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf
MD5SUM2b5c02650b763b7d13b77ce3fc61aa15
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1414.3
Satisfiable
(Un)Satisfiability was proved
Number of variables116405
Number of clauses346850
Sum of the clauses size809314
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2231232
Number of clauses of size 3115616
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c [picomus] WARNING: no output file given
0.00/0.00	c [picomus] p cnf 116405 346850
34.54/34.69	s UNSATISFIABLE
34.64/34.75	c [picomus] extracted core 1 of size 125352 out of 346850 (36%) after 34.7 sec
46.32/46.49	c [picomus] extracted core 2 of size 92064 out of 346850 (27%) after 46.4 sec
53.22/53.31	c [picomus] extracted core 3 of size 75581 out of 346850 (22%) after 53.3 sec
58.01/58.14	c [picomus] extracted core 4 of size 66706 out of 346850 (19%) after 58.1 sec
61.81/61.98	c [picomus] extracted core 5 of size 61931 out of 346850 (18%) after 61.9 sec
65.10/65.27	c [picomus] extracted core 6 of size 55561 out of 346850 (16%) after 65.2 sec
68.30/68.43	c [picomus] extracted core 7 of size 52033 out of 346850 (15%) after 68.3 sec
71.10/71.23	c [picomus] extracted core 8 of size 49785 out of 346850 (14%) after 71.1 sec
73.89/74.02	c [picomus] extracted core 9 of size 48247 out of 346850 (14%) after 73.9 sec
76.09/76.24	c [picomus] extracted core 10 of size 46584 out of 346850 (13%) after 76.1 sec
78.89/79.01	c [picomus] extracted core 11 of size 45718 out of 346850 (13%) after 78.9 sec
81.38/81.52	c [picomus] extracted core 12 of size 44987 out of 346850 (13%) after 81.4 sec
84.17/84.38	c [picomus] extracted core 13 of size 44011 out of 346850 (13%) after 84.3 sec
86.68/86.84	c [picomus] extracted core 14 of size 43210 out of 346850 (12%) after 86.7 sec
88.98/89.12	c [picomus] extracted core 15 of size 42830 out of 346850 (12%) after 89.0 sec
91.46/91.64	c [picomus] extracted core 16 of size 42559 out of 346850 (12%) after 91.5 sec
94.06/94.24	c [picomus] extracted core 17 of size 42162 out of 346850 (12%) after 94.1 sec
96.45/96.62	c [picomus] extracted core 18 of size 41874 out of 346850 (12%) after 96.5 sec
99.35/99.53	c [picomus] extracted core 19 of size 41666 out of 346850 (12%) after 99.4 sec
101.85/102.07	c [picomus] extracted core 20 of size 41455 out of 346850 (12%) after 101.9 sec
104.64/104.84	c [picomus] extracted core 21 of size 41296 out of 346850 (12%) after 104.7 sec
107.13/107.39	c [picomus] extracted core 22 of size 41158 out of 346850 (12%) after 107.2 sec
110.22/110.42	c [picomus] extracted core 23 of size 40980 out of 346850 (12%) after 110.3 sec
113.41/113.66	c [picomus] extracted core 24 of size 40938 out of 346850 (12%) after 113.5 sec
116.21/116.45	c [picomus] extracted core 25 of size 40857 out of 346850 (12%) after 116.3 sec
119.50/119.73	c [picomus] extracted core 26 of size 40776 out of 346850 (12%) after 119.5 sec
122.40/122.67	c [picomus] extracted core 27 of size 40672 out of 346850 (12%) after 122.5 sec
125.09/125.38	c [picomus] extracted core 28 of size 40576 out of 346850 (12%) after 125.2 sec
127.39/127.68	c [picomus] extracted core 29 of size 40489 out of 346850 (12%) after 127.5 sec
130.68/130.92	c [picomus] extracted core 30 of size 40451 out of 346850 (12%) after 130.7 sec
133.38/133.69	c [picomus] extracted core 31 of size 40370 out of 346850 (12%) after 133.5 sec
136.76/137.06	c [picomus] extracted core 32 of size 40306 out of 346850 (12%) after 136.8 sec
140.15/140.41	c [picomus] extracted core 33 of size 40275 out of 346850 (12%) after 140.2 sec
143.05/143.34	c [picomus] extracted core 34 of size 40233 out of 346850 (12%) after 143.1 sec
145.34/145.64	c [picomus] extracted core 35 of size 40199 out of 346850 (12%) after 145.4 sec
148.14/148.44	c [picomus] extracted core 36 of size 40180 out of 346850 (12%) after 148.2 sec
151.13/151.41	c [picomus] extracted core 37 of size 40163 out of 346850 (12%) after 151.2 sec
154.52/154.82	c [picomus] extracted core 38 of size 40137 out of 346850 (12%) after 154.6 sec
157.82/158.10	c [picomus] extracted core 39 of size 40062 out of 346850 (12%) after 157.8 sec
160.70/161.07	c [picomus] extracted core 40 of size 40039 out of 346850 (12%) after 160.8 sec
164.20/164.59	c [picomus] extracted core 41 of size 40031 out of 346850 (12%) after 164.3 sec
167.29/167.65	c [picomus] extracted core 42 of size 40025 out of 346850 (12%) after 167.4 sec
170.79/171.14	c [picomus] extracted core 43 of size 40022 out of 346850 (12%) after 170.8 sec
174.18/174.54	c [picomus] extracted core 44 of size 40013 out of 346850 (12%) after 174.2 sec
240.86/241.22	c [picomus] reduction 1 to 39876 out of 346850 (11%) after 240.9 sec
277.27/277.67	c [picomus] reduction 2 to 39835 out of 346850 (11%) after 277.3 sec
317.77/318.12	c [picomus] reduction 3 to 39824 out of 346850 (11%) after 317.8 sec
321.27/321.61	c [picomus] reduction 4 to 39822 out of 346850 (11%) after 321.3 sec
322.37/322.70	c [picomus] reduction 5 to 39817 out of 346850 (11%) after 322.4 sec
324.97/325.34	c [picomus] reduction 6 to 39815 out of 346850 (11%) after 325.0 sec
335.37/335.78	c [picomus] reduction 7 to 39775 out of 346850 (11%) after 335.5 sec
339.77/340.17	c [picomus] reduction 8 to 39772 out of 346850 (11%) after 339.8 sec
342.67/343.00	c [picomus] reduction 9 to 39771 out of 346850 (11%) after 342.7 sec
348.57/348.97	c [picomus] reduction 10 to 39768 out of 346850 (11%) after 348.6 sec
361.87/362.26	c [picomus] reduction 11 to 39763 out of 346850 (11%) after 361.9 sec
362.17/362.59	c [picomus] reduction 12 to 39762 out of 346850 (11%) after 362.3 sec
408.07/408.40	c [picomus] reduction 13 to 39761 out of 346850 (11%) after 408.1 sec
413.77/414.11	c [picomus] reduction 14 to 39754 out of 346850 (11%) after 413.8 sec
415.97/416.30	c [picomus] reduction 15 to 39753 out of 346850 (11%) after 416.0 sec
430.67/431.04	c [picomus] reduction 16 to 39752 out of 346850 (11%) after 430.7 sec
446.87/447.21	c [picomus] reduction 17 to 39751 out of 346850 (11%) after 446.9 sec
449.37/449.79	c [picomus] reduction 18 to 39747 out of 346850 (11%) after 449.5 sec
485.67/486.07	c [picomus] reduction 19 to 39746 out of 346850 (11%) after 485.8 sec
502.28/502.62	c [picomus] reduction 20 to 39745 out of 346850 (11%) after 502.3 sec
505.17/505.50	c [picomus] reduction 21 to 39743 out of 346850 (11%) after 505.2 sec
525.67/526.01	c [picomus] reduction 22 to 39742 out of 346850 (11%) after 525.7 sec
559.58/559.99	c [picomus] reduction 23 to 39741 out of 346850 (11%) after 559.7 sec
568.97/569.39	c [picomus] reduction 24 to 39740 out of 346850 (11%) after 569.1 sec
581.97/582.31	c [picomus] reduction 25 to 39739 out of 346850 (11%) after 582.0 sec
587.77/588.17	c [picomus] reduction 26 to 39738 out of 346850 (11%) after 587.9 sec
602.38/602.72	c [picomus] reduction 27 to 39736 out of 346850 (11%) after 602.4 sec
616.78/617.18	c [picomus] reduction 28 to 39730 out of 346850 (11%) after 616.9 sec
628.97/629.39	c [picomus] reduction 29 to 39729 out of 346850 (11%) after 629.1 sec
723.28/723.66	c [picomus] reduction 30 to 39727 out of 346850 (11%) after 723.4 sec
726.48/726.80	c [picomus] reduction 31 to 39726 out of 346850 (11%) after 726.5 sec
748.18/748.54	c [picomus] reduction 32 to 39725 out of 346850 (11%) after 748.2 sec
751.88/752.20	c [picomus] reduction 33 to 39724 out of 346850 (11%) after 751.9 sec
761.18/761.58	c [picomus] reduction 34 to 39722 out of 346850 (11%) after 761.3 sec
762.68/763.02	c [picomus] reduction 35 to 39720 out of 346850 (11%) after 762.7 sec
768.98/769.31	c [picomus] reduction 36 to 39713 out of 346850 (11%) after 769.0 sec
779.59/779.95	c [picomus] reduction 37 to 39712 out of 346850 (11%) after 779.6 sec
830.29/830.65	c [picomus] reduction 38 to 39709 out of 346850 (11%) after 830.3 sec
851.09/851.46	c [picomus] reduction 39 to 39707 out of 346850 (11%) after 851.2 sec
865.39/865.78	c [picomus] reduction 40 to 39705 out of 346850 (11%) after 865.5 sec
877.69/878.06	c [picomus] reduction 41 to 39701 out of 346850 (11%) after 877.8 sec
880.79/881.16	c [picomus] reduction 42 to 39697 out of 346850 (11%) after 880.9 sec
887.09/887.47	c [picomus] reduction 43 to 39695 out of 346850 (11%) after 887.2 sec
888.29/888.69	c [picomus] reduction 44 to 39694 out of 346850 (11%) after 888.4 sec
891.99/892.34	c [picomus] reduction 45 to 39692 out of 346850 (11%) after 892.0 sec
894.09/894.40	c [picomus] reduction 46 to 39690 out of 346850 (11%) after 894.1 sec
897.29/897.62	c [picomus] reduction 47 to 39687 out of 346850 (11%) after 897.3 sec
915.69/916.08	c [picomus] reduction 48 to 39686 out of 346850 (11%) after 915.8 sec
915.99/916.31	c [picomus] reduction 49 to 39685 out of 346850 (11%) after 916.0 sec
921.39/921.79	c [picomus] reduction 50 to 39684 out of 346850 (11%) after 921.5 sec
962.09/962.48	c [picomus] reduction 51 to 39683 out of 346850 (11%) after 962.2 sec
962.19/962.55	c [picomus] reduction 52 to 39682 out of 346850 (11%) after 962.3 sec
999.79/1000.11	c [picomus] reduction 53 to 39680 out of 346850 (11%) after 999.8 sec
1000.49/1000.85	c [picomus] reduction 54 to 39678 out of 346850 (11%) after 1000.6 sec
1010.29/1010.62	c [picomus] reduction 55 to 39674 out of 346850 (11%) after 1010.3 sec
1025.09/1025.49	c [picomus] reduction 56 to 39673 out of 346850 (11%) after 1025.2 sec
1036.89/1037.23	c [picomus] reduction 57 to 39668 out of 346850 (11%) after 1036.9 sec
1038.49/1038.83	c [picomus] reduction 58 to 39666 out of 346850 (11%) after 1038.5 sec
1049.69/1050.08	c [picomus] reduction 59 to 39665 out of 346850 (11%) after 1049.8 sec
1099.39/1099.72	c [picomus] reduction 60 to 39663 out of 346850 (11%) after 1099.4 sec
1117.69/1118.02	c [picomus] reduction 61 to 39662 out of 346850 (11%) after 1117.7 sec
1132.49/1132.86	c [picomus] reduction 62 to 39660 out of 346850 (11%) after 1132.6 sec
1153.89/1154.23	c [picomus] reduction 63 to 39659 out of 346850 (11%) after 1153.9 sec
1154.70/1155.04	c [picomus] reduction 64 to 39657 out of 346850 (11%) after 1154.7 sec
1155.69/1156.06	c [picomus] reduction 65 to 39656 out of 346850 (11%) after 1155.8 sec
1158.29/1158.65	c [picomus] reduction 66 to 39655 out of 346850 (11%) after 1158.4 sec
1158.89/1159.22	c [picomus] reduction 67 to 39650 out of 346850 (11%) after 1158.9 sec
1159.69/1160.09	c [picomus] reduction 68 to 39649 out of 346850 (11%) after 1159.8 sec
1159.99/1160.33	c [picomus] reduction 69 to 39648 out of 346850 (11%) after 1160.0 sec
1160.29/1160.65	c [picomus] reduction 70 to 39647 out of 346850 (11%) after 1160.4 sec
1162.59/1162.99	c [picomus] reduction 71 to 39643 out of 346850 (11%) after 1162.7 sec
1177.60/1177.98	c [picomus] reduction 72 to 39642 out of 346850 (11%) after 1177.7 sec
1180.20/1180.50	c [picomus] reduction 73 to 39641 out of 346850 (11%) after 1180.2 sec
1185.80/1186.17	c [picomus] reduction 74 to 39640 out of 346850 (11%) after 1185.9 sec
1189.80/1190.15	c [picomus] reduction 75 to 39639 out of 346850 (11%) after 1189.9 sec
1189.90/1190.29	c [picomus] reduction 76 to 39638 out of 346850 (11%) after 1190.0 sec
1227.30/1227.60	c [picomus] reduction 77 to 39634 out of 346850 (11%) after 1227.3 sec
1227.90/1228.28	c [picomus] reduction 78 to 39633 out of 346850 (11%) after 1228.0 sec
1266.30/1266.61	c [picomus] reduction 79 to 39631 out of 346850 (11%) after 1266.3 sec
1267.30/1267.64	c [picomus] reduction 80 to 39629 out of 346850 (11%) after 1267.4 sec
1267.40/1267.72	c [picomus] reduction 81 to 39628 out of 346850 (11%) after 1267.4 sec
1277.30/1277.61	c [picomus] reduction 82 to 39627 out of 346850 (11%) after 1277.3 sec
1293.60/1293.96	c [picomus] reduction 83 to 39626 out of 346850 (11%) after 1293.7 sec
1325.00/1325.39	c [picomus] reduction 84 to 39625 out of 346850 (11%) after 1325.1 sec
1325.20/1325.56	c [picomus] reduction 85 to 39623 out of 346850 (11%) after 1325.3 sec
1366.80/1367.11	c [picomus] reduction 86 to 39622 out of 346850 (11%) after 1366.8 sec
1370.20/1370.55	c [picomus] reduction 87 to 39621 out of 346850 (11%) after 1370.3 sec
1388.40/1388.79	c [picomus] reduction 88 to 39619 out of 346850 (11%) after 1388.5 sec
1415.10/1415.44	c [picomus] reduction 89 to 39615 out of 346850 (11%) after 1415.2 sec
1418.50/1418.86	c [picomus] reduction 90 to 39614 out of 346850 (11%) after 1418.6 sec
1419.90/1420.21	c [picomus] reduction 91 to 39612 out of 346850 (11%) after 1419.9 sec
1422.00/1422.36	c [picomus] reduction 92 to 39609 out of 346850 (11%) after 1422.1 sec
1423.20/1423.59	c [picomus] reduction 93 to 39604 out of 346850 (11%) after 1423.3 sec
1424.10/1424.44	c [picomus] reduction 94 to 39602 out of 346850 (11%) after 1424.2 sec
1453.00/1453.36	c [picomus] reduction 95 to 39601 out of 346850 (11%) after 1453.1 sec
1490.11/1490.50	c [picomus] reduction 96 to 39599 out of 346850 (11%) after 1490.2 sec
1491.00/1491.31	c [picomus] reduction 97 to 39598 out of 346850 (11%) after 1491.0 sec
1528.51/1528.82	c [picomus] reduction 98 to 39597 out of 346850 (11%) after 1528.5 sec
1529.41/1529.75	c [picomus] reduction 99 to 39595 out of 346850 (11%) after 1529.5 sec
1529.51/1529.80	c [picomus] reduction 100 to 39594 out of 346850 (11%) after 1529.5 sec
1538.81/1539.11	c [picomus] reduction 101 to 39593 out of 346850 (11%) after 1538.8 sec
1554.61/1554.91	c [picomus] reduction 102 to 39590 out of 346850 (11%) after 1554.6 sec
1567.61/1567.93	c [picomus] reduction 103 to 39588 out of 346850 (11%) after 1567.7 sec
1569.11/1569.41	c [picomus] reduction 104 to 39582 out of 346850 (11%) after 1569.1 sec
1569.21/1569.56	c [picomus] reduction 105 to 39578 out of 346850 (11%) after 1569.3 sec
1571.11/1571.49	c [picomus] reduction 106 to 39576 out of 346850 (11%) after 1571.2 sec
1581.41/1581.79	c [picomus] reduction 107 to 39575 out of 346850 (11%) after 1581.5 sec
1626.21/1626.52	c [picomus] reduction 108 to 39570 out of 346850 (11%) after 1626.2 sec
1671.50/1671.81	c [picomus] reduction 109 to 39563 out of 346850 (11%) after 1671.5 sec
1675.90/1676.26	c [picomus] reduction 110 to 39560 out of 346850 (11%) after 1676.0 sec
1677.21/1677.57	c [picomus] reduction 111 to 39559 out of 346850 (11%) after 1677.3 sec
1679.50/1679.87	c [picomus] reduction 112 to 39558 out of 346850 (11%) after 1679.6 sec
1681.10/1681.45	c [picomus] reduction 113 to 39557 out of 346850 (11%) after 1681.2 sec
1681.61/1681.92	c [picomus] reduction 114 to 39556 out of 346850 (11%) after 1681.6 sec
1701.10/1701.44	c [picomus] reduction 115 to 39553 out of 346850 (11%) after 1701.2 sec
1710.21/1710.55	c [picomus] reduction 116 to 39552 out of 346850 (11%) after 1710.3 sec
1710.21/1710.58	c [picomus] reduction 117 to 39551 out of 346850 (11%) after 1710.3 sec
1747.31/1747.68	c [picomus] reduction 118 to 39547 out of 346850 (11%) after 1747.4 sec
1748.21/1748.56	c [picomus] reduction 119 to 39545 out of 346850 (11%) after 1748.3 sec
1748.31/1748.64	c [picomus] reduction 120 to 39544 out of 346850 (11%) after 1748.4 sec
1785.11/1785.49	c [picomus] reduction 121 to 39542 out of 346850 (11%) after 1785.2 sec
1786.12/1786.40	c [picomus] reduction 122 to 39540 out of 346850 (11%) after 1786.1 sec
1786.41/1786.75	c [picomus] reduction 123 to 39539 out of 346850 (11%) after 1786.5 sec
1795.92/1796.25	c [picomus] reduction 124 to 39536 out of 346850 (11%) after 1796.0 sec

Verifier Data 

ERROR: no value line found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3493706-1307802556/watcher-3493706-1307802556 -o /tmp/evaluation-result-3493706-1307802556/solver-3493706-1307802556 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3493706-1307802556.cnf 

running on 2 cores: 4,6

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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 1.00 0.99 5/181 24347
/proc/meminfo: memFree=31664408/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=5256 CPUtime=0 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 278 0 0 0 0 0 0 0 22 0 1 0 891853810 5382144 232 33554432000 134512640 135072097 4287023520 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 1314 232 53 137 0 1175 0

[startup+0.097327 s]
/proc/loadavg: 0.92 1.00 0.99 5/181 24347
/proc/meminfo: memFree=31664408/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=10800 CPUtime=0.09 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 2571 0 0 0 9 0 0 0 22 0 1 0 891853810 11059200 2525 33554432000 134512640 135072097 4287023520 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 2700 2525 53 137 0 2561 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10800

[startup+0.10033 s]
/proc/loadavg: 0.92 1.00 0.99 5/181 24347
/proc/meminfo: memFree=31664408/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=10932 CPUtime=0.09 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 2637 0 0 0 9 0 0 0 22 0 1 0 891853810 11194368 2591 33554432000 134512640 135072097 4287023520 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 2733 2593 53 137 0 2594 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10932

[startup+0.300243 s]
/proc/loadavg: 0.92 1.00 0.99 5/181 24347
/proc/meminfo: memFree=31664408/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=31272 CPUtime=0.29 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 7534 0 0 0 28 1 0 0 23 0 1 0 891853810 32022528 7487 33554432000 134512640 135072097 4287023520 18446744073709551615 134536379 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/24347/statm: 7818 7487 68 137 0 7679 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31272

[startup+0.700159 s]
/proc/loadavg: 0.92 1.00 0.99 5/181 24347
/proc/meminfo: memFree=31664408/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=31916 CPUtime=0.69 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 7684 0 0 0 68 1 0 0 25 0 1 0 891853810 32681984 7637 33554432000 134512640 135072097 4287023520 18446744073709551615 134543626 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/24347/statm: 7979 7637 69 137 0 7840 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31916

[startup+1.50107 s]
/proc/loadavg: 0.92 1.00 0.99 5/191 24378
/proc/meminfo: memFree=31523284/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=32180 CPUtime=1.49 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 7737 0 0 0 148 1 0 0 25 0 1 0 891853810 32952320 7690 33554432000 134512640 135072097 4287023520 18446744073709551615 134558253 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 8045 7690 69 137 0 7906 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32180

[startup+3.10076 s]
/proc/loadavg: 0.92 1.00 0.99 5/191 24378
/proc/meminfo: memFree=31519264/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=32708 CPUtime=3.08 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 7858 0 0 0 307 1 0 0 25 0 1 0 891853810 33492992 7811 33554432000 134512640 135072097 4287023520 18446744073709551615 134568014 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 8177 7811 69 137 0 8038 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 32708

[startup+6.30115 s]
/proc/loadavg: 1.17 1.04 1.01 5/191 24378
/proc/meminfo: memFree=31512696/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=33960 CPUtime=6.28 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 8179 0 0 0 626 2 0 0 25 0 1 0 891853810 34775040 8132 33554432000 134512640 135072097 4287023520 18446744073709551615 134543466 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/24347/statm: 8490 8132 69 137 0 8351 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 33960

[startup+12.701 s]
/proc/loadavg: 1.39 1.09 1.03 5/191 24378
/proc/meminfo: memFree=31520280/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=37124 CPUtime=12.68 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 8927 0 0 0 1266 2 0 0 25 0 1 0 891853810 38014976 8877 33554432000 134512640 135072097 4287023520 18446744073709551615 134543471 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/24347/statm: 9281 8877 69 137 0 9142 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 37124

[startup+25.5007 s]
/proc/loadavg: 1.97 1.24 1.07 5/191 24379
/proc/meminfo: memFree=31537640/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=46488 CPUtime=25.46 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 11259 0 0 0 2543 3 0 0 25 0 1 0 891853810 47603712 11209 33554432000 134512640 135072097 4287023520 18446744073709551615 134548775 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 11622 11209 69 137 0 11483 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 46488

[startup+51.101 s]
/proc/loadavg: 2.66 1.46 1.15 5/191 24379
/proc/meminfo: memFree=31534824/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=28076 CPUtime=51.03 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 22974 0 0 0 5097 6 0 0 25 0 1 0 891853810 28749824 6656 33554432000 134512640 135072097 4287023520 18446744073709551615 134520064 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/24347/statm: 7019 6656 76 137 0 6880 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 28076

[startup+102.307 s]
/proc/loadavg: 3.42 1.85 1.30 5/191 24381
/proc/meminfo: memFree=31446112/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=22424 CPUtime=102.14 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 84643 0 0 0 10201 13 0 0 25 0 1 0 891853810 22962176 5273 33554432000 134512640 135072097 4287023520 18446744073709551615 134580722 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 5606 5273 76 137 0 5467 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 22424

[startup+162.301 s]
/proc/loadavg: 3.78 2.24 1.46 5/191 24382
/proc/meminfo: memFree=31438220/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=22820 CPUtime=162 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 154948 0 0 0 16174 26 0 0 25 0 1 0 891853810 23367680 5379 33554432000 134512640 135072097 4287023520 18446744073709551615 134568502 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 5705 5379 76 137 0 5566 0
Current children cumulated CPU time (s) 162
Current children cumulated vsize (KiB) 22820

[startup+222.301 s]
/proc/loadavg: 3.96 2.57 1.62 6/191 24384
/proc/meminfo: memFree=30782328/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=691396 CPUtime=221.96 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 335769 0 0 0 22148 48 0 0 25 0 1 0 891853810 707989504 170942 33554432000 134512640 135072097 4287023520 18446744073709551615 134559446 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 172849 170942 76 137 0 172710 0
Current children cumulated CPU time (s) 221.96
Current children cumulated vsize (KiB) 691396

[startup+282.301 s]
/proc/loadavg: 3.98 2.83 1.77 5/191 24386
/proc/meminfo: memFree=30112944/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=1198272 CPUtime=281.97 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 462522 0 0 0 28134 63 0 0 25 0 1 0 891853810 1227030528 297680 33554432000 134512640 135072097 4287023520 18446744073709551615 134518236 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 299568 297680 77 137 0 299429 0
Current children cumulated CPU time (s) 281.97
Current children cumulated vsize (KiB) 1198272

[startup+342.301 s]
/proc/loadavg: 4.09 3.07 1.92 5/191 24387
/proc/meminfo: memFree=30096776/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=1198272 CPUtime=341.97 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 462523 0 0 0 34134 63 0 0 25 0 1 0 891853810 1227030528 297681 33554432000 134512640 135072097 4287023520 18446744073709551615 134518074 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 299568 297681 77 137 0 299429 0
Current children cumulated CPU time (s) 341.97
Current children cumulated vsize (KiB) 1198272

[startup+402.301 s]
/proc/loadavg: 4.03 3.23 2.04 5/191 24389
/proc/meminfo: memFree=30073172/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=1198272 CPUtime=401.97 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 462523 0 0 0 40134 63 0 0 25 0 1 0 891853810 1227030528 297681 33554432000 134512640 135072097 4287023520 18446744073709551615 134562712 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 299568 297681 77 137 0 299429 0
Current children cumulated CPU time (s) 401.97
Current children cumulated vsize (KiB) 1198272

[startup+462.301 s]
/proc/loadavg: 4.10 3.40 2.17 5/191 24390
/proc/meminfo: memFree=30068904/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=1198272 CPUtime=461.97 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 462523 0 0 0 46134 63 0 0 25 0 1 0 891853810 1227030528 297681 33554432000 134512640 135072097 4287023520 18446744073709551615 134565103 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 299568 297681 77 137 0 299429 0
Current children cumulated CPU time (s) 461.97
Current children cumulated vsize (KiB) 1198272

[startup+522.3 s]
/proc/loadavg: 4.03 3.51 2.29 5/191 24392
/proc/meminfo: memFree=30068616/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=1198272 CPUtime=521.97 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 462523 0 0 0 52134 63 0 0 25 0 1 0 891853810 1227030528 297681 33554432000 134512640 135072097 4287023520 18446744073709551615 134584053 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 299568 297681 77 137 0 299429 0
Current children cumulated CPU time (s) 521.97
Current children cumulated vsize (KiB) 1198272

[startup+582.3 s]
/proc/loadavg: 4.01 3.59 2.39 5/191 24394
/proc/meminfo: memFree=30066716/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=1198272 CPUtime=581.97 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 462523 0 0 0 58134 63 0 0 25 0 1 0 891853810 1227030528 297681 33554432000 134512640 135072097 4287023520 18446744073709551615 134541064 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 299568 297681 77 137 0 299429 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 1198272

[startup+642.3 s]

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

[startup+882.301 s]
/proc/loadavg: 4.09 3.88 2.84 5/191 24402
/proc/meminfo: memFree=29986764/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=1198272 CPUtime=881.99 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 462523 0 0 0 88135 64 0 0 25 0 1 0 891853810 1227030528 297681 33554432000 134512640 135072097 4287023520 18446744073709551615 134518236 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 299568 297681 77 137 0 299429 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 1198272

[startup+942.301 s]
/proc/loadavg: 4.10 3.91 2.91 5/191 24403
/proc/meminfo: memFree=29986680/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=1198272 CPUtime=941.99 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 462523 0 0 0 94135 64 0 0 25 0 1 0 891853810 1227030528 297681 33554432000 134512640 135072097 4287023520 18446744073709551615 134565921 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 299568 297681 77 137 0 299429 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 1198272

[startup+1002.3 s]
/proc/loadavg: 4.04 3.93 2.98 5/191 24405
/proc/meminfo: memFree=29983656/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=1198272 CPUtime=1001.99 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 462523 0 0 0 100135 64 0 0 25 0 1 0 891853810 1227030528 297681 33554432000 134512640 135072097 4287023520 18446744073709551615 134568924 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 299568 297681 77 137 0 299429 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 1198272

[startup+1062.3 s]
/proc/loadavg: 4.05 3.95 3.04 5/191 24406
/proc/meminfo: memFree=29983616/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=1198272 CPUtime=1061.99 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 462523 0 0 0 106135 64 0 0 25 0 1 0 891853810 1227030528 297681 33554432000 134512640 135072097 4287023520 18446744073709551615 134583284 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 299568 297681 77 137 0 299429 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 1198272

[startup+1122.3 s]
/proc/loadavg: 4.15 4.00 3.12 5/191 24408
/proc/meminfo: memFree=29983836/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=1198272 CPUtime=1121.99 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 462523 0 0 0 112135 64 0 0 25 0 1 0 891853810 1227030528 297681 33554432000 134512640 135072097 4287023520 18446744073709551615 134583966 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 299568 297681 77 137 0 299429 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1198272

[startup+1182.3 s]
/proc/loadavg: 4.05 4.00 3.17 5/191 24410
/proc/meminfo: memFree=29975356/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=1198272 CPUtime=1182 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 462523 0 0 0 118135 65 0 0 25 0 1 0 891853810 1227030528 297681 33554432000 134512640 135072097 4287023520 18446744073709551615 134548576 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 299568 297681 77 137 0 299429 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 1198272

[startup+1242.3 s]
/proc/loadavg: 4.02 4.00 3.22 5/191 24411
/proc/meminfo: memFree=29956336/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=1198272 CPUtime=1242 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 462523 0 0 0 124135 65 0 0 25 0 1 0 891853810 1227030528 297681 33554432000 134512640 135072097 4287023520 18446744073709551615 134568296 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 299568 297681 77 137 0 299429 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 1198272

[startup+1302.3 s]
/proc/loadavg: 4.00 4.00 3.26 5/191 24413
/proc/meminfo: memFree=29942132/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=1198272 CPUtime=1302 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 462523 0 0 0 130135 65 0 0 25 0 1 0 891853810 1227030528 297681 33554432000 134512640 135072097 4287023520 18446744073709551615 134549174 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 299568 297681 77 137 0 299429 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1198272

[startup+1362.3 s]
/proc/loadavg: 4.04 4.01 3.31 5/191 24414
/proc/meminfo: memFree=29941964/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=1198272 CPUtime=1362 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 462523 0 0 0 136135 65 0 0 25 0 1 0 891853810 1227030528 297681 33554432000 134512640 135072097 4287023520 18446744073709551615 134583792 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 299568 297681 77 137 0 299429 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 1198272

[startup+1422.31 s]
/proc/loadavg: 4.01 4.01 3.35 5/191 24416
/proc/meminfo: memFree=29942028/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=1198272 CPUtime=1422 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 462523 0 0 0 142135 65 0 0 25 0 1 0 891853810 1227030528 297681 33554432000 134512640 135072097 4287023520 18446744073709551615 134541037 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 299568 297681 77 137 0 299429 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 1198272

[startup+1482.3 s]
/proc/loadavg: 4.00 4.00 3.39 5/191 24418
/proc/meminfo: memFree=29941968/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=1198272 CPUtime=1482 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 462523 0 0 0 148134 66 0 0 25 0 1 0 891853810 1227030528 297681 33554432000 134512640 135072097 4287023520 18446744073709551615 134520033 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 299568 297681 77 137 0 299429 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 1198272

[startup+1542.3 s]
/proc/loadavg: 4.03 4.01 3.43 5/191 24419
/proc/meminfo: memFree=29942168/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=1198272 CPUtime=1542.01 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 462523 0 0 0 154135 66 0 0 25 0 1 0 891853810 1227030528 297681 33554432000 134512640 135072097 4287023520 18446744073709551615 134549038 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 299568 297681 77 137 0 299429 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1198272

[startup+1602.3 s]
/proc/loadavg: 4.01 4.01 3.46 5/191 24421
/proc/meminfo: memFree=29942256/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=1198272 CPUtime=1602 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 462523 0 0 0 160134 66 0 0 25 0 1 0 891853810 1227030528 297681 33554432000 134512640 135072097 4287023520 18446744073709551615 134583966 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 299568 297681 77 137 0 299429 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 1198272

[startup+1662.3 s]
/proc/loadavg: 4.06 4.02 3.50 5/191 24422
/proc/meminfo: memFree=29942096/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=1198272 CPUtime=1662 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 462523 0 0 0 166134 66 0 0 25 0 1 0 891853810 1227030528 297681 33554432000 134512640 135072097 4287023520 18446744073709551615 134583966 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 299568 297681 77 137 0 299429 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1198272

[startup+1722.3 s]
/proc/loadavg: 4.06 4.03 3.53 5/191 24424
/proc/meminfo: memFree=29942292/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=1198272 CPUtime=1722.01 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 462523 0 0 0 172135 66 0 0 25 0 1 0 891853810 1227030528 297681 33554432000 134512640 135072097 4287023520 18446744073709551615 134520079 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 299568 297681 77 137 0 299429 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1198272

[startup+1782.3 s]
/proc/loadavg: 4.12 4.05 3.57 5/191 24426
/proc/meminfo: memFree=29936036/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=1198272 CPUtime=1782.01 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 462523 0 0 0 178134 67 0 0 25 0 1 0 891853810 1227030528 297681 33554432000 134512640 135072097 4287023520 18446744073709551615 134583792 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 299568 297681 77 137 0 299429 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1198272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 4.08 4.05 3.58 2/186 24429
/proc/meminfo: memFree=30465052/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=1198272 CPUtime=1800.02 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 462523 0 0 0 179935 67 0 0 25 0 1 0 891853810 1227030528 297681 33554432000 134512640 135072097 4287023520 18446744073709551615 134548919 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 299568 297681 77 137 0 299429 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1198272

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

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

[startup+1800.3 s]
/proc/loadavg: 4.08 4.05 3.58 2/186 24429
/proc/meminfo: memFree=30465052/32951124 swapFree=67063556/67111528
[pid=24347] ppid=24345 vsize=1198272 CPUtime=1800.02 cores=4,6
/proc/24347/stat : 24347 (picomus) R 24345 24347 23765 0 -1 4202496 462523 0 0 0 179935 67 0 0 25 0 1 0 891853810 1227030528 297681 33554432000 134512640 135072097 4287023520 18446744073709551615 134548919 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24347/statm: 299568 297681 77 137 0 299429 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1198272

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.35
CPU time (s): 1800.08
CPU user time (s): 1799.35
CPU system time (s): 0.723889
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 1198272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.723889
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 462523
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= 3
involuntary context switches= 17046

runsolver used 3.16752 second user time and 6.66699 second system time

The end

Launcher Data 

Begin job on node134 at 2011-06-11 16:29:16
IDJOB=3493706
IDBENCH=82471
IDSOLVER=1974
FILE ID=node134/3493706-1307802556
RUNJOBID= node134-1307802556-24320
PBS_JOBID= 13551014
Free space on /tmp= 74104 MiB

SOLVER NAME= PicoMUS 941
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf
COMMAND LINE= picomus BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493706-1307802556/watcher-3493706-1307802556 -o /tmp/evaluation-result-3493706-1307802556/solver-3493706-1307802556 -C 1800 -W 1850 -M 7680  picomus HOME/instance-3493706-1307802556.cnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 2b5c02650b763b7d13b77ce3fc61aa15
RANDOM SEED=596367213

node134.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 7186.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31665572 kB
Buffers:        318896 kB
Cached:         735456 kB
SwapCached:      10284 kB
Active:         520588 kB
Inactive:       563664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31665572 kB
SwapTotal:    67111528 kB
SwapFree:     67063556 kB
Dirty:           21004 kB
Writeback:           8 kB
AnonPages:       26500 kB
Mapped:           9960 kB
Slab:           137892 kB
PageTables:       5172 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   172280 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74112 MiB
End job on node134 at 2011-06-11 16:59:19