Trace number 3365933

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
SAT09 reference solver:precosat 236? (TO) 5000.1 4999.92

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
64/aes_64_3_keyfind_1.cnf
MD5SUM4738c3d0ccd52030cff8addcec6bcde9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1404
Number of clauses7572
Sum of the clauses size29588
Maximum clause length5
Minimum clause length1
Number of clauses of size 1140
Number of clauses of size 2240
Number of clauses of size 32992
Number of clauses of size 41008
Number of clauses of size 53192
Number of clauses of size over 50

Solver Data

0.00/0.00	c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.00	c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria.  All rights reserved.
0.00/0.00	c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.00	c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.00	c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.00	c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.00	c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.00	c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.00	c
0.00/0.00	c reading HOME/instance-3365933-1305320337.cnf
0.00/0.00	c found header 'p cnf 1404 7572'
0.00/0.00	c finished parsing
0.00/0.00	c
0.00/0.00	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.00/0.00	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.00/0.00	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.00/0.00	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.00/0.00	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.00/0.00	c --random=1 --spread=2000 --seed=0 --skip=25
0.00/0.00	c
0.00/0.00	c sizeof     vars[0] = 16   alignment = 0       0 MB
0.00/0.00	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.00/0.00	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.00/0.00	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.00/0.00	c
0.00/0.00	c starting search after 0.0 seconds
0.00/0.00	c no decision limit
0.00/0.00	c
0.00/0.00	c       original/binary      fixed     eliminated      learned       agility
0.00/0.00	c   seconds        variables     equivalent    conflicts       height       MB
0.00/0.00	c
0.00/0.00	c *    0.0     7384    1168    140    96      0       0      0    0.0   0    1
0.00/0.02	c s    0.0     6680    1040    140   224      0       0      0    0.0   0    1
0.00/0.02	c l    0.0     6680    1040    140   224      0       0   6632    0.0   0    1
0.00/0.02	c R    0.0     6680    1040    140   224      0     100    100  116.8  20    1
0.00/0.02	c R    0.0     6680    1040    140   224      0     201    201  118.7  23    1
0.00/0.03	c N    0.0     6681    1039    140   225      0     802    801  104.4  45    1
0.00/0.03	c B    0.0     6681    1039    140   225      0    1000    999  101.8  47    1
0.00/0.06	c B    0.1     6681    1039    140   225      0    2000   1999   92.6  46    1
0.00/0.06	c N    0.1     6683    1037    140   227      0    2406   2403   90.1  44    1
0.09/0.14	c s    0.1     6675    1035    140   229      0    4010   3999   83.9  46    1
0.19/0.22	c N    0.2     6677    1034    140   230      0    6416   6403   75.4  47    2
0.19/0.24	c +    0.2     6677    1034    140   230      0    6632   7295   75.1  46    2
0.29/0.32	c s    0.3     6675    1034    140   230      0    7670   7339   73.6  48    2
0.29/0.34	c B    0.3     6675    1034    140   230      0    8000   7329   72.9  43    2
0.29/0.35	c +    0.4     6675    1034    140   230      0    8290   8024   72.6  48    2
0.49/0.50	c +    0.5     6676    1033    140   231      0   10361   8826   71.0  50    2
0.49/0.56	c s    0.6     6674    1033    140   231      0   10904   8622   70.6  49    2
0.59/0.67	c +    0.7     6678    1031    140   233      0   12950   9708   69.5  45    3
0.79/0.82	c s    0.8     6674    1031    140   233      0   14710   9753   69.1  45    3
0.89/0.97	c
0.89/0.97	c       original/binary      fixed     eliminated      learned       agility
0.89/0.97	c   seconds        variables     equivalent    conflicts       height       MB
0.89/0.97	c
0.89/0.97	c N    1.0     6674    1031    140   233      0   16040   9768   68.2  43    3
0.89/0.99	c +    1.0     6674    1031    140   233      0   16185  10678   68.1  47    3
1.10/1.14	c s    1.1     6675    1031    140   233      0   17518  10729   67.4  48    3
1.39/1.45	c s    1.5     6674    1029    140   235      0   19955  10701   66.7  42    3
1.39/1.48	c +    1.5     6674    1029    140   235      0   20231  11745   66.6  47    3
1.69/1.79	c s    1.8     6673    1028    140   236      0   23152  11802   66.4  45    4
1.79/1.83	c B    1.8     6675    1026    140   238      0   24005  11788   66.5  47    4
1.89/1.90	c +    1.9     6675    1026    140   238      0   25286  12919   66.6  47    4
2.10/2.19	c s    2.2     6672    1026    140   238      0   29048  12981   66.5  46    4
2.39/2.43	c +    2.4     6673    1025    140   239      0   31605  14210   65.9  46    4
2.49/2.55	c s    2.6     6671    1025    140   239      0   32389  13761   65.7  49    4
2.99/3.01	c s    3.0     6662    1024    140   240      0   36691  14294   65.5  46    4
3.09/3.18	c N    3.2     6662    1024    140   240      0   38486  14285   65.4  49    5
3.30/3.32	c +    3.3     6662    1024    140   240      0   39505  15631   65.3  49    5
4.69/4.77	c +    4.8     6662    1024    140   240      0   49381  17194   64.2  44    6
6.79/6.81	c s    6.8     6661    1023    140   241      0   59602  13324   63.3  45    4
6.89/6.92	c +    6.9     6662    1022    140   242      0   61727  18913   63.5  43    5
7.09/7.11	c B    7.1     6662    1022    140   242      0   64017  17738   63.6  46    6
7.19/7.22	c s    7.2     6660    1022    140   242      0   64675  18394   63.5  44    6
7.70/7.78	c
7.70/7.78	c       original/binary      fixed     eliminated      learned       agility
7.70/7.78	c   seconds        variables     equivalent    conflicts       height       MB
7.70/7.78	c
7.70/7.78	c s    7.8     6658    1020    140   244      0   69055  18947   63.6  47    6
8.29/8.31	c s    8.3     6657    1019    140   245      0   73414  18983   63.6  44    5
8.80/8.82	c +    8.8     6657    1019    140   245      0   77156  20804   63.6  47    6
9.99/10.06	c s   10.1     6656    1018    140   246      0   84945  20872   63.5  49    7
10.59/10.68	c N   10.7     6656    1018    140   246      0   89757  20881   63.4  46    7
11.59/11.61	c +   11.6     6656    1018    140   246      0   96446  22884   63.1  48    7
15.59/15.64	c +   15.6     6656    1018    140   246      0  120557  25172   62.6  47    7
20.49/20.54	c +   20.5     6656    1018    140   246      0  150696  27689   61.8  46   11
22.59/22.69	c B   22.7     6656    1018    140   246      0  160041  41272   61.6  47   14
22.89/22.93	c s   22.9     6653    1018    140   246      0  161222  21680   61.6  45    6
26.89/26.98	c +   27.0     6653    1018    140   246      0  188370  30457   61.4  46   10
30.80/30.82	c N   30.8     6653    1018    140   246      0  205133  45443   61.2  48   15
30.99/31.02	c s   31.0     6652    1017    140   247      0  205744  23207   61.2  40    6
35.79/35.82	c +   35.8     6652    1017    140   247      0  235461  33502   61.0  47   10
41.69/41.77	c s   41.8     6651    1016    140   248      0  264202  27345   60.8  50    8
42.49/42.54	c s   42.5     6650    1015    140   249      0  270127  33268   60.8  47    9
43.49/43.55	c s   43.6     6651    1015    140   249      0  276206  33597   60.8  48   10
46.49/46.58	c +   46.6     6651    1015    140   249      0  294326  36852   60.8  48   12
61.20/61.25	c s   61.3     6646    1014    140   250      0  362619  36978   60.7  46   13
62.00/62.09	c
62.00/62.09	c       original/binary      fixed     eliminated      learned       agility
62.00/62.09	c   seconds        variables     equivalent    conflicts       height       MB
62.00/62.09	c
62.00/62.09	c +   62.1     6646    1014    140   250      0  367905  40537   60.7  43   14
65.20/65.25	c B   65.3     6646    1014    140   250      0  384090  40594   60.7  49   14
76.70/76.71	c s   76.7     6645    1013    140   251      0  429422  35220   60.6  42   10
82.30/82.37	c +   82.4     6645    1013    140   251      0  459880  44590   60.8  47   13
82.70/82.74	c N   82.7     6645    1013    140   251      0  461493  42198   60.8  49   14
93.99/94.07	c s   94.1     6644    1012    140   252      0  503809  42267   60.9  46   12
111.29/111.30	c s  111.3     6643    1011    140   253      0  572246  41271   60.5  45   13
111.59/111.65	c +  111.7     6643    1011    140   253      0  574850  49049   60.6  46   15
140.09/140.11	c +  140.1     6643    1011    140   253      0  718560  53953   60.4  45   15
159.99/160.00	c s  160.0     6642    1010    140   254      0  806904  54026   60.3  48   17
182.09/182.13	c s  182.1     6641    1009    140   255      0  882946  41877   59.9  43   13
183.79/183.80	c s  183.8     6641    1008    140   256      0  892199  51127   60.0  46   16
184.59/184.60	c B  184.6     6641    1008    140   256      0  896167  54011   60.0  47   18
185.09/185.10	c +  185.1     6641    1008    140   256      0  898200  59348   60.0  48   18
212.50/212.57	c s  212.6     6640    1007    140   257      0  982790  46935   59.7  43   15
214.80/214.89	c s  214.9     6641    1007    140   257      0  996601  59396   59.8  46   17
217.30/217.33	c s  217.3     6640    1006    140   258      0 1007699  59414   59.8  45   16
219.70/219.75	c s  219.8     6635    1005    140   259      0 1016863  59426   59.8  47   16
221.70/221.77	c N  221.8     6635    1005    140   259      0 1025375  59407   59.9  48   18
248.20/248.28	c
248.20/248.28	c       original/binary      fixed     eliminated      learned       agility
248.20/248.28	c   seconds        variables     equivalent    conflicts       height       MB
248.20/248.28	c
248.20/248.28	c +  248.3     6635    1005    140   259      0 1122751  65282   59.9  48   20
271.90/271.94	c s  272.0     6636    1005    140   259      0 1191378  65312   59.9  46   20
336.90/336.95	c +  337.0     6636    1005    140   259      0 1403438  71810   59.8  48   21
395.51/395.53	c s  395.5     6637    1005    140   259      0 1598824  89658   59.7  44   26
405.31/405.34	c s  405.4     6638    1005    140   259      0 1645979  69689   59.8  47   19
437.71/437.72	c +  437.7     6638    1005    140   259      0 1754296  78991   59.7  47   24
438.70/438.78	c s  438.8     6639    1005    140   259      0 1758628  76183   59.7  50   24
542.61/542.63	c B  542.7     6639    1005    140   259      0 2048325  79044   59.7  49   27
568.11/568.10	c s  568.1     6640    1005    140   259      0 2106218  59730   59.6  47   18
572.31/572.32	c s  572.3     6640    1004    140   260      0 2123090  76599   59.6  45   23
592.31/592.37	c +  592.4     6640    1004    140   260      0 2192870  86890   59.7  46   32
617.02/617.02	c N  617.0     6640    1004    140   260      0 2255642  85406   59.7  46   28
636.71/636.71	c s  636.7     6635    1003    140   261      0 2309826  86970   59.6  48   27
640.81/640.84	c s  640.9     6636    1003    140   261      0 2324985  86940   59.7  45   27
665.01/665.04	c s  665.1     6637    1003    140   261      0 2403415  95267   59.6  49   29
680.32/680.38	c s  680.4     6638    1003    140   261      0 2453217  65340   59.6  47   18
688.52/688.53	c s  688.6     6639    1003    140   261      0 2487823  86958   59.5  49   25
692.92/692.97	c s  693.0     6635    1002    140   262      0 2509604  86922   59.6  48   24
696.82/696.83	c s  696.9     6634    1001    140   263      0 2526919  86956   59.6  47   25
735.62/735.69	c
735.62/735.69	c       original/binary      fixed     eliminated      learned       agility
735.62/735.69	c   seconds        variables     equivalent    conflicts       height       MB
735.62/735.69	c
735.62/735.69	c -  735.7     6628    1000    140   264      0 2643298  86022   59.6  46   20
735.82/735.82	c s  735.9     6625    1000    140   264      0 2643298  72802   59.6  46   21
735.82/735.82	c -  735.9     6625    1000    140   264      0 2643298  85162   59.6  46   21
738.52/738.59	c s  738.6     6624     999    140   265      0 2654745  84247   59.6  49   25
745.92/745.97	c +  746.0     6624     999    140   265      0 2686539  93678   59.6  46   28
964.53/964.59	c s  964.6     6621     999    140   265      0 3281002  70454   59.6  43   22
968.04/968.04	c s  968.1     6620     996    140   268      0 3303840  93282   59.6  47   27
981.53/981.55	c +  981.6     6620     996    140   268      0 3358170 103045   59.7  45   29
1299.15/1299.16	c + 1299.2     6620     996    140   268      0 4197711 113349   59.3  46   32
1421.25/1421.28	c B 1421.3     6620     996    140   268      0 4608671 113445   59.3  45   36
1463.15/1463.11	c s 1463.2     6617     995    140   269      0 4724966 105167   59.3  46   31
1468.45/1468.49	c s 1468.5     6618     995    140   269      0 4745560 113399   59.3  47   33
1542.05/1542.06	c N 1542.1     6618     995    140   269      0 4920954 100120   59.3  44   29
1655.46/1655.48	c s 1655.5     6617     994    140   270      0 5229635  99808   59.4  47   29
1659.46/1659.46	c + 1659.5     6617     994    140   270      0 5247135 124683   59.4  47   36
1750.36/1750.31	c s 1750.4     6616     993    140   271      0 5443105 124752   59.3  48   38
1825.66/1825.61	c s 1825.7     6611     992    140   272      0 5630519  97747   59.3  46   25
1839.56/1839.58	c s 1839.6     6612     992    140   272      0 5682413 124753   59.3  43   33
1847.16/1847.18	c s 1847.3     6611     991    140   273      0 5719759 124747   59.3  45   34
1853.86/1853.85	c
1853.86/1853.85	c       original/binary      fixed     eliminated      learned       agility
1853.86/1853.85	c   seconds        variables     equivalent    conflicts       height       MB
1853.86/1853.85	c
1853.86/1853.85	c s 1853.9     6610     990    140   274      0 5740362 124771   59.3  49   35
1953.77/1953.71	c s 1953.8     6607     990    140   274      0 5960636 124711   59.3  40   38
2179.97/2179.97	c + 2180.1     6607     990    140   274      0 6558915 137151   59.2  45   38
2926.90/2926.80	c s 2926.9     6606     989    140   275      0 8135923 104726   58.8  46   29
2948.40/2948.31	c + 2948.4     6606     989    140   275      0 8198641 150866   58.8  50   45
3061.90/3061.89	c s 3062.0     6605     988    140   276      0 8374205 128188   58.8  44   42
3068.70/3068.66	c s 3068.8     6600     987    140   277      0 8398864 150961   58.8  50   50
3165.81/3165.73	c s 3165.9     6601     987    140   277      0 8617658 134164   58.8  45   41
3285.91/3285.85	c s 3286.0     6602     987    140   277      0 8846096 118208   58.7  48   37
4222.34/4222.20	c B 4222.4     6602     987    140   277      0 10241369 200550   58.7  47   73
4420.25/4420.18	c N 4420.3     6602     987    140   277      0 10660996 150947   58.6  47   46
5000.07/4999.91	c
5000.07/4999.91	c *** CAUGHT SIGNAL 15 ***
5000.07/4999.91	c
5000.07/4999.91	c 11938136 conflicts, 13150523 decisions, 2 random
5000.07/4999.91	c 0 iterations, 2 restarts, 17402 skipped
5000.07/4999.91	c 33 enlarged, 116 shrunken, 116665 rescored, 2252 rebiased
5000.07/4999.91	c 63 simplifications, 72 reductions
5000.07/4999.91	c
5000.07/4999.91	c vars: 140 fixed, 277 equiv, 0 elim, 277 merged
5000.07/4999.91	c elim: 835652 resolutions, 28 phases, 28 rounds
5000.07/4999.91	c sbst: 0% substituted, 0.0% nots, 0.0% ands, 0.0% xors, 0.0% ites
5000.07/4999.91	c arty: 0.00 and 0.00 xor average arity
5000.07/4999.91	c prbe: 232328 probed, 116 phases, 116 rounds
5000.07/4999.91	c prbe: 0 failed, 0 lifted, 0 merged
5000.07/4999.91	c sccs: 0 non trivial, 0 fixed, 0 merged
5000.07/4999.91	c hash: 0 units, 277 merged
5000.07/4999.91	c mins: 816665308 learned, 28% deleted, 126 strong, 57 depth
5000.07/4999.91	c subs: 54 forward, 54 backward, 256 doms
5000.07/4999.91	c strs: 0 forward, 0 backward
5000.07/4999.91	c doms: 256 dominators, 0 high, 0 low
5000.07/4999.91	c prps: 2891050513 propagations, 0.58 megaprops
5000.07/4999.91	c
5000.07/4999.91	c 5000.1 seconds, 89 MB max, 3345 MB recycled
5000.07/4999.91	c
5000.07/4999.91	c *** CAUGHT SIGNAL 15 ***
5000.07/4999.91	c

Verifier Data

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3365933-1305320337/watcher-3365933-1305320337 -o /tmp/evaluation-result-3365933-1305320337/solver-3365933-1305320337 -C 5000 -W 5100 -M 15500 HOME/precosat HOME/instance-3365933-1305320337.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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: 1.93 1.99 1.95 2/317 2214
/proc/meminfo: memFree=5916228/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=1396 CPUtime=0 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 253 0 0 0 0 0 0 0 24 0 1 0 643636078 1429504 210 33554432000 134512640 135151029 4289001136 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 349 211 65 156 0 192 0

[startup+0.0873229 s]
/proc/loadavg: 1.93 1.99 1.95 2/317 2214
/proc/meminfo: memFree=5916228/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=1920 CPUtime=0.08 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 427 0 0 0 8 0 0 0 24 0 1 0 643636078 1966080 383 33554432000 134512640 135151029 4289001136 18446744073709551615 134554505 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 480 383 80 156 0 323 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1920

[startup+0.100322 s]
/proc/loadavg: 1.93 1.99 1.95 2/317 2214
/proc/meminfo: memFree=5916228/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=2052 CPUtime=0.09 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 448 0 0 0 9 0 0 0 24 0 1 0 643636078 2101248 404 33554432000 134512640 135151029 4289001136 18446744073709551615 134551924 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 513 404 80 156 0 356 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2052

[startup+0.300285 s]
/proc/loadavg: 1.93 1.99 1.95 2/317 2214
/proc/meminfo: memFree=5916228/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=2952 CPUtime=0.29 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 686 0 0 0 29 0 0 0 25 0 1 0 643636078 3022848 642 33554432000 134512640 135151029 4289001136 18446744073709551615 134554982 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 738 642 80 156 0 581 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2952

[startup+0.700208 s]
/proc/loadavg: 1.93 1.99 1.95 2/317 2214
/proc/meminfo: memFree=5916228/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=4008 CPUtime=0.69 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 924 0 0 0 69 0 0 0 25 0 1 0 643636078 4104192 880 33554432000 134512640 135151029 4289001136 18446744073709551615 134554866 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 1002 880 80 156 0 845 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4008

[startup+1.50106 s]
/proc/loadavg: 1.93 1.99 1.95 3/318 2215
/proc/meminfo: memFree=5912260/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=4768 CPUtime=1.49 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 1131 0 0 0 149 0 0 0 25 0 1 0 643636078 4882432 1087 33554432000 134512640 135151029 4289001136 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 1192 1087 80 156 0 1035 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4768

[startup+3.10077 s]
/proc/loadavg: 1.93 1.99 1.95 3/318 2215
/proc/meminfo: memFree=5910692/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=5796 CPUtime=3.09 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 1381 0 0 0 309 0 0 0 25 0 1 0 643636078 5935104 1337 33554432000 134512640 135151029 4289001136 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 1449 1337 80 156 0 1292 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5796

[startup+6.30015 s]
/proc/loadavg: 1.94 1.99 1.95 3/318 2215
/proc/meminfo: memFree=5907096/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=10296 CPUtime=6.29 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 2494 0 0 0 629 0 0 0 25 0 1 0 643636078 10543104 2450 33554432000 134512640 135151029 4289001136 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 2574 2450 80 156 0 2417 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10296

[startup+12.7009 s]
/proc/loadavg: 1.94 1.99 1.95 3/318 2216
/proc/meminfo: memFree=5904468/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=10956 CPUtime=12.69 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 2674 0 0 0 1269 0 0 0 25 0 1 0 643636078 11218944 2630 33554432000 134512640 135151029 4289001136 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 2739 2630 80 156 0 2582 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10956

[startup+25.5005 s]
/proc/loadavg: 1.95 1.99 1.95 3/318 2216
/proc/meminfo: memFree=5900000/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=15532 CPUtime=25.49 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 3792 0 0 0 2549 0 0 0 25 0 1 0 643636078 15904768 3748 33554432000 134512640 135151029 4289001136 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 3883 3748 80 156 0 3726 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15532

[startup+51.1007 s]
/proc/loadavg: 1.97 1.99 1.95 3/318 2217
/proc/meminfo: memFree=5885084/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=17980 CPUtime=51.09 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 4427 0 0 0 5109 0 0 0 25 0 1 0 643636078 18411520 4383 33554432000 134512640 135151029 4289001136 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 4495 4383 80 156 0 4338 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17980

[startup+102.312 s]
/proc/loadavg: 1.98 1.99 1.95 3/318 2218
/proc/meminfo: memFree=5802308/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=24772 CPUtime=102.31 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 6131 0 0 0 10230 1 0 0 25 0 1 0 643636078 25366528 6048 33554432000 134512640 135151029 4289001136 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 6193 6048 80 156 0 6036 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 24772

[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.95 3/318 2229
/proc/meminfo: memFree=5856372/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=31832 CPUtime=162.29 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 7972 0 0 0 16228 1 0 0 25 0 1 0 643636078 32595968 7817 33554432000 134512640 135151029 4289001136 18446744073709551615 134574592 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 7958 7817 80 156 0 7801 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 31832

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.95 3/318 2230
/proc/meminfo: memFree=5885192/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=35924 CPUtime=222.3 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 9172 0 0 0 22228 2 0 0 25 0 1 0 643636078 36786176 8826 33554432000 134512640 135151029 4289001136 18446744073709551615 134542661 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 8981 8826 80 156 0 8824 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 35924

[startup+282.301 s]
/proc/loadavg: 1.99 1.99 1.95 3/318 2234
/proc/meminfo: memFree=5739816/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=35924 CPUtime=282.3 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 9192 0 0 0 28228 2 0 0 25 0 1 0 643636078 36786176 8846 33554432000 134512640 135151029 4289001136 18446744073709551615 134554823 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 8981 8846 80 156 0 8824 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 35924

[startup+342.301 s]
/proc/loadavg: 2.06 2.01 1.95 3/318 2236
/proc/meminfo: memFree=5851284/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=36664 CPUtime=342.3 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 9499 0 0 0 34228 2 0 0 25 0 1 0 643636078 37543936 9036 33554432000 134512640 135151029 4289001136 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 9166 9036 80 156 0 9009 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 36664

[startup+402.3 s]
/proc/loadavg: 2.09 2.02 1.96 3/318 2238
/proc/meminfo: memFree=5718432/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=36956 CPUtime=402.31 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 9942 0 0 0 40229 2 0 0 25 0 1 0 643636078 37842944 9072 33554432000 134512640 135151029 4289001136 18446744073709551615 134554785 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 9239 9072 80 156 0 9082 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 36956

[startup+462.301 s]
/proc/loadavg: 2.03 2.01 1.96 3/318 2240
/proc/meminfo: memFree=5714388/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=41596 CPUtime=462.31 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 11078 0 0 0 46229 2 0 0 25 0 1 0 643636078 42594304 10208 33554432000 134512640 135151029 4289001136 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 10399 10208 80 156 0 10242 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 41596

[startup+522.301 s]
/proc/loadavg: 2.01 2.01 1.96 3/318 2241
/proc/meminfo: memFree=5711880/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=44424 CPUtime=522.31 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 11755 0 0 0 52229 2 0 0 25 0 1 0 643636078 45490176 10885 33554432000 134512640 135151029 4289001136 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 11106 10885 80 156 0 10949 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 44424

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/318 2243
/proc/meminfo: memFree=5670180/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=47420 CPUtime=582.31 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 12684 0 0 0 58228 3 0 0 25 0 1 0 643636078 48558080 11669 33554432000 134512640 135151029 4289001136 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 11855 11669 80 156 0 11698 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 47420

[startup+642.301 s]

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

[startup+4062.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/318 2523
/proc/meminfo: memFree=7539688/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=93852 CPUtime=4062.45 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 28410 0 0 0 406237 8 0 0 25 0 1 0 643636078 96104448 23287 33554432000 134512640 135151029 4289001136 18446744073709551615 134554833 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 23463 23287 80 156 0 23306 0
Current children cumulated CPU time (s) 4062.45
Current children cumulated vsize (KiB) 93852

[startup+4122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/318 2524
/proc/meminfo: memFree=7539280/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=93596 CPUtime=4122.44 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 28464 0 0 0 412236 8 0 0 25 0 1 0 643636078 95842304 23281 33554432000 134512640 135151029 4289001136 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 23399 23281 80 156 0 23242 0
Current children cumulated CPU time (s) 4122.44
Current children cumulated vsize (KiB) 93596

[startup+4182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/318 2526
/proc/meminfo: memFree=7539136/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=93596 CPUtime=4182.44 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 28468 0 0 0 418236 8 0 0 25 0 1 0 643636078 95842304 23285 33554432000 134512640 135151029 4289001136 18446744073709551615 134554513 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 23399 23285 80 156 0 23242 0
Current children cumulated CPU time (s) 4182.44
Current children cumulated vsize (KiB) 93596

[startup+4242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/318 2527
/proc/meminfo: memFree=7538740/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=95256 CPUtime=4242.45 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 28752 0 0 0 424237 8 0 0 25 0 1 0 643636078 97542144 23569 33554432000 134512640 135151029 4289001136 18446744073709551615 134555080 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 23814 23569 80 156 0 23657 0
Current children cumulated CPU time (s) 4242.45
Current children cumulated vsize (KiB) 95256

[startup+4302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/318 2529
/proc/meminfo: memFree=7539212/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=93592 CPUtime=4302.44 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 29331 0 0 0 430236 8 0 0 25 0 1 0 643636078 95838208 23298 33554432000 134512640 135151029 4289001136 18446744073709551615 134574571 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 23398 23298 80 156 0 23241 0
Current children cumulated CPU time (s) 4302.44
Current children cumulated vsize (KiB) 93592

[startup+4362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/318 2531
/proc/meminfo: memFree=7575624/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=93592 CPUtime=4362.45 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 29331 0 0 0 436237 8 0 0 25 0 1 0 643636078 95838208 23298 33554432000 134512640 135151029 4289001136 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 23398 23298 80 156 0 23241 0
Current children cumulated CPU time (s) 4362.45
Current children cumulated vsize (KiB) 93592

[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/318 2532
/proc/meminfo: memFree=7627140/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=93844 CPUtime=4422.45 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 29480 0 0 0 442237 8 0 0 25 0 1 0 643636078 96096256 23307 33554432000 134512640 135151029 4289001136 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 23461 23307 80 156 0 23304 0
Current children cumulated CPU time (s) 4422.45
Current children cumulated vsize (KiB) 93844

[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/318 2534
/proc/meminfo: memFree=7610000/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=93844 CPUtime=4482.45 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 29480 0 0 0 448237 8 0 0 25 0 1 0 643636078 96096256 23307 33554432000 134512640 135151029 4289001136 18446744073709551615 134554811 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 23461 23307 80 156 0 23304 0
Current children cumulated CPU time (s) 4482.45
Current children cumulated vsize (KiB) 93844

[startup+4542.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/318 2535
/proc/meminfo: memFree=7643444/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=93844 CPUtime=4542.45 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 29480 0 0 0 454237 8 0 0 25 0 1 0 643636078 96096256 23307 33554432000 134512640 135151029 4289001136 18446744073709551615 134554890 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 23461 23307 80 156 0 23304 0
Current children cumulated CPU time (s) 4542.45
Current children cumulated vsize (KiB) 93844

[startup+4602.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/318 2537
/proc/meminfo: memFree=7643276/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=93844 CPUtime=4602.46 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 29736 0 0 0 460238 8 0 0 25 0 1 0 643636078 96096256 23307 33554432000 134512640 135151029 4289001136 18446744073709551615 134574555 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 23461 23307 80 156 0 23304 0
Current children cumulated CPU time (s) 4602.46
Current children cumulated vsize (KiB) 93844

[startup+4662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/318 2539
/proc/meminfo: memFree=7642612/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=93844 CPUtime=4662.46 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 29736 0 0 0 466238 8 0 0 25 0 1 0 643636078 96096256 23307 33554432000 134512640 135151029 4289001136 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 23461 23307 80 156 0 23304 0
Current children cumulated CPU time (s) 4662.46
Current children cumulated vsize (KiB) 93844

[startup+4722.31 s]
/proc/loadavg: 2.07 2.04 2.00 3/318 2540
/proc/meminfo: memFree=7643332/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=93844 CPUtime=4722.47 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 29840 0 0 0 472239 8 0 0 25 0 1 0 643636078 96096256 23308 33554432000 134512640 135151029 4289001136 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 23461 23308 80 156 0 23304 0
Current children cumulated CPU time (s) 4722.47
Current children cumulated vsize (KiB) 93844

[startup+4782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/318 2542
/proc/meminfo: memFree=7643428/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=93844 CPUtime=4782.46 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 29840 0 0 0 478238 8 0 0 25 0 1 0 643636078 96096256 23308 33554432000 134512640 135151029 4289001136 18446744073709551615 134552184 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 23461 23308 80 156 0 23304 0
Current children cumulated CPU time (s) 4782.46
Current children cumulated vsize (KiB) 93844

[startup+4842.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/318 2543
/proc/meminfo: memFree=7643256/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=93844 CPUtime=4842.47 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 29840 0 0 0 484239 8 0 0 25 0 1 0 643636078 96096256 23308 33554432000 134512640 135151029 4289001136 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 23461 23308 80 156 0 23304 0
Current children cumulated CPU time (s) 4842.47
Current children cumulated vsize (KiB) 93844

[startup+4902.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/318 2545
/proc/meminfo: memFree=7643228/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=93844 CPUtime=4902.47 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 29840 0 0 0 490239 8 0 0 25 0 1 0 643636078 96096256 23308 33554432000 134512640 135151029 4289001136 18446744073709551615 134551455 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 23461 23308 80 156 0 23304 0
Current children cumulated CPU time (s) 4902.47
Current children cumulated vsize (KiB) 93844

[startup+4962.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/318 2547
/proc/meminfo: memFree=7643064/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=93844 CPUtime=4962.47 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 29840 0 0 0 496239 8 0 0 25 0 1 0 643636078 96096256 23308 33554432000 134512640 135151029 4289001136 18446744073709551615 134574580 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 23461 23308 80 156 0 23304 0
Current children cumulated CPU time (s) 4962.47
Current children cumulated vsize (KiB) 93844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/318 2548
/proc/meminfo: memFree=7643284/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=93844 CPUtime=5000.07 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 29840 0 0 0 499999 8 0 0 25 0 1 0 643636078 96096256 23308 33554432000 134512640 135151029 4289001136 18446744073709551615 134530861 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 23461 23308 80 156 0 23304 0
Current children cumulated CPU time (s) 5000.07
Current children cumulated vsize (KiB) 93844

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

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

[startup+4999.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/318 2548
/proc/meminfo: memFree=7643284/32951124 swapFree=67093864/67111528
[pid=2214] ppid=2212 vsize=93844 CPUtime=5000.07 cores=1,3,5,7
/proc/2214/stat : 2214 (precosat) R 2212 2214 1895 0 -1 4202496 29840 0 0 0 499999 8 0 0 25 0 1 0 643636078 96096256 23308 33554432000 134512640 135151029 4289001136 18446744073709551615 134530861 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/2214/statm: 23461 23308 80 156 0 23304 0
Current children cumulated CPU time (s) 5000.07
Current children cumulated vsize (KiB) 93844

Child ended because it received signal 15 (SIGTERM)
Real time (s): 4999.92
CPU time (s): 5000.1
CPU user time (s): 5000.01
CPU system time (s): 0.094985
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 98396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5000.01
system time used= 0.094985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29841
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= 5
involuntary context switches= 6762

runsolver used 13.9699 second user time and 36.0385 second system time

The end

Launcher Data

Begin job on node102 at 2011-05-13 22:58:57
IDJOB=3365933
IDBENCH=83421
IDSOLVER=1843
FILE ID=node102/3365933-1305320337
RUNJOBID= node102-1305315334-1914
PBS_JOBID= 13324330
Free space on /tmp= 44628 MiB

SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/64/aes_64_3_keyfind_1.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3365933-1305320337/watcher-3365933-1305320337 -o /tmp/evaluation-result-3365933-1305320337/solver-3365933-1305320337 -C 5000 -W 5100 -M 15500  HOME/precosat HOME/instance-3365933-1305320337.cnf

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

MD5SUM BENCH= 4738c3d0ccd52030cff8addcec6bcde9
RANDOM SEED=1779941500

node102.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.828
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.65
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.828
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	: 5226.15
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.828
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.82
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.828
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	: 5332.75
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.828
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.82
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.828
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.75
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.828
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.82
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.828
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       5916384 kB
Buffers:        198272 kB
Cached:        5675252 kB
SwapCached:       1128 kB
Active:       21974872 kB
Inactive:      4708688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       5916384 kB
SwapTotal:    67111528 kB
SwapFree:     67093864 kB
Dirty:            1000 kB
Writeback:          32 kB
AnonPages:    20808628 kB
Mapped:          26864 kB
Slab:           230636 kB
PageTables:      57460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 61445228 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 44676 MiB
End job on node102 at 2011-05-14 00:22:19