Trace number 3365927

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.09 4999.92

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
64/aes_64_4_keyfind_1.cnf
MD5SUM07ea67092ce3fd4529e72f69434e3f99
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 variables1808
Number of clauses9968
Sum of the clauses size39152
Maximum clause length5
Minimum clause length1
Number of clauses of size 1144
Number of clauses of size 2320
Number of clauses of size 33904
Number of clauses of size 41344
Number of clauses of size 54256
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-3365927-1305320336.cnf
0.00/0.00	c found header 'p cnf 1808 9968'
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     9760    1536    144   128      0       0      0    0.0   0    1
0.00/0.02	c s    0.0     8992    1408    144   256      0       0      0    0.0   0    1
0.00/0.02	c l    0.0     8992    1408    144   256      0       0   8928    0.0   0    1
0.00/0.03	c R    0.0     8992    1408    144   256      0     100    100  144.7  17    1
0.00/0.03	c R    0.0     8994    1407    144   257      0     201    199  146.3  22    1
0.00/0.04	c N    0.0     8996    1405    144   259      0     803    799  127.9  41    1
0.00/0.04	c B    0.0     8996    1405    144   259      0    1002    998  123.7  36    1
0.00/0.06	c B    0.1     8997    1404    144   260      0    2002   1997  110.4  38    1
0.00/0.06	c N    0.1     8997    1404    144   260      0    2411   2406  109.9  39    1
0.10/0.17	c N    0.2     9002    1401    144   263      0    6423   6413   98.1  42    2
0.10/0.19	c s    0.2     8988    1401    144   263      0    6553   6533   97.8  44    2
0.20/0.29	c B    0.3     8988    1401    144   263      0    8004   7984   92.6  47    2
0.30/0.37	c +    0.4     8988    1401    144   263      0    8928   9820   90.1  44    2
0.60/0.66	c +    0.7     8988    1401    144   263      0   11162  10802   86.6  47    3
0.70/0.76	c s    0.8     8989    1401    144   263      0   11911  10620   85.5  44    3
1.11/1.12	c +    1.1     8989    1401    144   263      0   13951  11882   82.2  43    4
1.40/1.46	c N    1.5     8989    1401    144   263      0   16043  11935   80.1  41    4
1.70/1.71	c +    1.7     8989    1401    144   263      0   17436  13070   78.9  44    5
2.50/2.51	c +    2.5     8989    1401    144   263      0   21795  14377   76.0  47    5
3.00/3.05	c
3.00/3.05	c       original/binary      fixed     eliminated      learned       agility
3.00/3.05	c   seconds        variables     equivalent    conflicts       height       MB
3.00/3.05	c
3.00/3.05	c B    3.1     8989    1401    144   263      0   24010  14478   75.0  50    6
3.20/3.27	c s    3.3     8982    1400    144   264      0   24597  14486   74.7  49    5
3.70/3.71	c +    3.7     8982    1400    144   264      0   27241  15814   73.8  50    6
4.30/4.36	c s    4.4     8981    1399    144   265      0   30820  15859   72.6  50    6
4.90/4.96	c +    5.0     8981    1399    144   265      0   34051  17395   72.2  43    6
5.80/5.86	c N    5.9     8981    1399    144   265      0   38483  17459   71.6  47    7
6.60/6.69	c s    6.7     8982    1399    144   265      0   42064  17453   71.1  47    7
6.79/6.81	c +    6.8     8982    1399    144   265      0   42565  19134   71.0  49    7
7.19/7.22	c s    7.2     8981    1398    144   266      0   44410  19192   70.7  50    7
7.79/7.81	c s    7.8     8980    1397    144   267      0   47752  19191   70.1  48    7
8.39/8.47	c s    8.5     8979    1396    144   268      0   51398  19181   69.5  47    7
8.70/8.76	c +    8.8     8979    1396    144   268      0   53206  21047   69.2  47    7
9.99/10.07	c s   10.1     8978    1395    144   269      0   59674  21096   68.3  47    7
10.69/10.70	c s   10.7     8977    1394    144   270      0   62756  21095   67.8  48    7
10.90/10.96	c B   11.0     8977    1394    144   270      0   64023  21129   67.7  50    8
11.49/11.53	c +   11.5     8977    1394    144   270      0   66505  23151   67.5  49    8
15.40/15.42	c +   15.4     8977    1394    144   270      0   83132  25466   66.2  49   13
17.09/17.17	c N   17.2     8977    1394    144   270      0   89788  21171   65.9  46    8
17.19/17.27	c s   17.3     8976    1393    144   271      0   89917  21298   66.0  44    8
17.99/18.01	c
17.99/18.01	c       original/binary      fixed     eliminated      learned       agility
17.99/18.01	c   seconds        variables     equivalent    conflicts       height       MB
17.99/18.01	c
17.99/18.01	c s   18.0     8978    1392    144   272      0   98278  25517   68.8  44    8
18.89/18.98	c +   19.0     8979    1392    144   272      0  103916  28012   68.4  49    9
18.99/19.03	c s   19.0     8979    1392    144   272      0  103991  25584   68.4  48    8
22.69/22.75	c s   22.8     8978    1391    144   273      0  117823  28114   67.2  45   10
23.59/23.61	c s   23.6     8978    1390    144   274      0  121962  28077   67.1  46   10
24.59/24.62	c s   24.6     8977    1389    144   275      0  129090  28058   66.9  49   10
24.59/24.68	c +   24.7     8977    1389    144   275      0  129895  30813   66.9  46   11
26.49/26.51	c s   26.5     8978    1389    144   275      0  136911  30868   66.5  49   11
33.69/33.79	c B   33.8     8978    1389    144   275      0  160045  33518   65.6  49   15
34.49/34.51	c +   34.5     8978    1389    144   275      0  162365  33894   65.5  50   16
34.99/35.02	c s   35.0     8977    1388    144   276      0  163399  36870   65.5  49   15
39.19/39.28	c s   39.3     8978    1388    144   276      0  178985  34757   64.8  48   13
40.49/40.60	c s   40.6     8974    1387    144   277      0  191283  33938   65.1  47   11
43.39/43.41	c +   43.4     8974    1387    144   277      0  202955  37283   64.9  48   12
44.00/44.05	c N   44.1     8974    1387    144   277      0  205165  36182   64.8  48   13
44.49/44.53	c s   44.5     8975    1387    144   277      0  206745  37364   64.8  50   13
46.09/46.15	c s   46.2     8972    1386    144   278      0  213371  37368   64.7  50   13
57.49/57.58	c +   57.6     8972    1386    144   278      0  253690  41011   63.6  48   20
62.29/62.36	c s   62.4     8967    1385    144   279      0  264376  59563   63.3  49   22
65.39/65.48	c
65.39/65.48	c       original/binary      fixed     eliminated      learned       agility
65.39/65.48	c   seconds        variables     equivalent    conflicts       height       MB
65.39/65.48	c
65.39/65.48	c s   65.5     8966    1384    144   280      0  276521  34373   63.2  49   11
68.89/68.97	c s   69.0     8967    1384    144   280      0  290628  41086   63.1  50   13
70.19/70.23	c s   70.2     8966    1383    144   281      0  297419  41100   63.0  51   13
71.59/71.62	c s   71.6     8965    1381    144   283      0  305026  41061   63.0  49   13
75.09/75.17	c +   75.2     8965    1381    144   283      0  317110  45112   62.9  45   16
86.39/86.46	c s   86.5     8958    1380    144   284      0  351319  49539   62.7  48   19
88.19/88.25	c s   88.3     8958    1379    144   285      0  358213  45171   62.7  48   16
92.59/92.63	c B   92.6     8958    1379    144   285      0  384091  45182   62.4  49   16
95.59/95.63	c +   95.6     8958    1379    144   285      0  396385  49623   62.2  50   16
106.89/106.97	c s  107.0     8955    1378    144   286      0  436312  45682   61.8  45   14
108.99/109.04	c s  109.1     8954    1377    144   287      0  451301  49662   61.9  45   14
111.79/111.89	c N  111.9     8954    1377    144   287      0  461501  49674   61.8  48   17
115.19/115.25	c s  115.3     8951    1376    144   288      0  471366  49674   61.8  50   16
122.00/122.06	c +  122.1     8951    1376    144   288      0  495481  54585   61.8  47   20
174.10/174.19	c +  174.2     8951    1376    144   288      0  619351  60043   60.9  48   35
182.80/182.81	c s  182.8     8950    1375    144   289      0  637502  46045   60.8  40   20
184.49/184.56	c s  184.6     8950    1373    144   291      0  650202  58738   61.1  43   24
187.10/187.14	c s  187.2     8949    1372    144   292      0  668967  60090   61.7  46   21
212.90/212.91	c -  212.9     8945    1371    144   293      0  746874  59443   61.8  44   13
213.00/213.00	c
213.00/213.00	c       original/binary      fixed     eliminated      learned       agility
213.00/213.00	c   seconds        variables     equivalent    conflicts       height       MB
213.00/213.00	c
213.00/213.00	c s  213.0     8944    1371    144   293      0  746874  45399   61.8  44   14
213.00/213.00	c -  213.0     8944    1371    144   293      0  746874  58849   61.8  44   14
214.00/214.02	c +  214.0     8948    1368    144   296      0  758780  64733   62.3  48   18
214.51/214.53	c s  214.5     8942    1368    144   296      0  763421  61938   62.4  48   17
216.90/216.97	c s  217.0     8941    1367    144   297      0  776811  64788   62.5  44   18
219.70/219.73	c s  219.7     8938    1367    144   297      0  784366  64818   62.5  48   18
268.80/268.89	c B  268.9     8938    1367    144   297      0  896166  64813   62.0  49   27
283.50/283.53	c s  283.5     8933    1366    144   298      0  931068  64754   61.8  46   25
288.60/288.67	c +  288.7     8933    1366    144   298      0  948477  71206   61.8  45   26
299.40/299.47	c s  299.5     8934    1366    144   298      0  976069  71249   61.6  48   24
301.70/301.79	c s  301.8     8933    1365    144   299      0  994133  71413   61.9  42   24
313.51/313.58	c N  313.6     8933    1365    144   299      0 1025340  71283   61.9  49   27
344.40/344.44	c s  344.5     8928    1364    144   300      0 1090870  64575   61.7  48   23
350.10/350.11	c s  350.1     8927    1363    144   301      0 1106869  71313   61.7  52   26
371.60/371.69	c +  371.7     8927    1363    144   301      0 1185595  78326   61.7  50   35
394.20/394.24	c s  394.3     8926    1362    144   302      0 1251422  78375   61.6  50   24
494.41/494.48	c +  494.5     8926    1362    144   302      0 1481992  86158   61.1  49   32
547.61/547.65	c s  547.7     8925    1361    144   303      0 1567979  68486   61.1  49   25
550.91/550.91	c s  550.9     8925    1359    144   305      0 1590070  86264   61.4  48   29
554.42/554.45	c
554.42/554.45	c       original/binary      fixed     eliminated      learned       agility
554.42/554.45	c   seconds        variables     equivalent    conflicts       height       MB
554.42/554.45	c
554.42/554.45	c s  554.5     8916    1357    144   307      0 1615099  86235   61.8  50   24
669.72/669.74	c +  669.8     8916    1357    144   307      0 1852492  94773   61.6  49   25
744.62/744.68	c s  744.7     8917    1357    144   307      0 1985367  71351   61.3  39   25
748.42/748.40	c s  748.4     8916    1356    144   308      0 1996387  82369   61.4  46   29
758.02/758.03	c s  758.1     8911    1355    144   309      0 2018813  94840   61.4  47   32
762.33/762.37	c s  762.4     8910    1354    144   310      0 2036291  94831   61.4  48   30
766.92/766.96	c B  767.0     8910    1354    144   310      0 2048349  94872   61.4  49   33
826.62/826.67	c s  826.7     8907    1354    144   310      0 2164191  72954   61.4  47   27
871.92/871.99	c N  872.0     8907    1354    144   310      0 2255586  94826   61.4  49   40
911.02/911.06	c +  911.1     8907    1354    144   310      0 2315615 104250   61.4  49   33
919.12/919.19	c s  919.2     8908    1354    144   310      0 2330453  97617   61.3  51   37
937.72/937.78	c s  937.8     8907    1353    144   311      0 2381450 104330   61.3  48   35
957.82/957.85	c s  957.9     8908    1353    144   311      0 2421996 104330   61.3  50   37
964.13/964.12	c s  964.2     8903    1352    144   312      0 2456625 104290   61.3  49   35
975.23/975.23	c s  975.3     8902    1351    144   313      0 2483684 104340   61.3  49   36
1072.13/1072.10	c s 1072.1     8897    1350    144   314      0 2731766 138655   61.2  49   53
1143.33/1143.34	c + 1143.4     8897    1350    144   314      0 2894515 114675   61.3  45   31
1256.74/1256.75	c s 1256.8     8896    1349    144   315      0 3051005  86875   61.2  48   39
1261.84/1261.84	c s 1261.9     8897    1348    144   316      0 3073140 109005   61.4  45   44
1393.75/1393.74	c
1393.75/1393.74	c       original/binary      fixed     eliminated      learned       agility
1393.75/1393.74	c   seconds        variables     equivalent    conflicts       height       MB
1393.75/1393.74	c
1393.75/1393.74	c s 1393.8     8892    1347    144   317      0 3243448  87104   61.1  46   36
1480.84/1480.82	c s 1480.9     8891    1346    144   318      0 3477191 114720   61.4  50   37
1565.45/1565.47	c + 1565.5     8891    1346    144   318      0 3618140 126142   61.3  47   37
1687.85/1687.80	c s 1687.9     8886    1345    144   319      0 3798534 183453   61.0  49   64
2014.26/2014.24	c s 2014.3     8881    1344    144   320      0 4394282 126224   60.7  50   45
2093.46/2093.43	c + 2093.5     8881    1344    144   320      0 4522675 138756   60.7  49   53
2186.17/2186.12	c B 2186.2     8881    1344    144   320      0 4608698 114572   60.7  48   40
2378.57/2378.59	c N 2378.7     8881    1344    144   320      0 4920946 138865   60.5  50   66
2456.67/2456.62	c s 2456.7     8882    1344    144   320      0 4991665 104268   60.4  49   43
2461.47/2461.45	c s 2461.5     8879    1341    144   323      0 5028537 138782   60.6  46   50
2657.98/2657.90	c s 2658.0     8874    1340    144   324      0 5351926 158486   60.5  48   56
2692.38/2692.37	c s 2692.5     8875    1340    144   324      0 5406310 108641   60.5  45   39
2697.88/2697.88	c s 2698.0     8874    1339    144   325      0 5436018 138347   60.7  47   47
2820.88/2820.81	c s 2820.9     8869    1338    144   326      0 5611134 105563   60.5  48   34
2828.48/2828.43	c + 2828.5     8869    1338    144   326      0 5653341 152631   60.8  46   45
2902.59/2902.52	c s 2902.6     8870    1338    144   326      0 5837244 116027   61.7  45   29
2978.69/2978.63	c s 2978.7     8865    1337    144   327      0 5940348 152735   61.7  52   49
3402.42/3402.32	c s 3402.4     8866    1337    144   327      0 6500084 152715   61.4  46   54
3711.62/3711.59	c s 3711.7     8861    1336    144   328      0 6986169 152690   61.2  50   45
3753.12/3753.04	c
3753.12/3753.04	c       original/binary      fixed     eliminated      learned       agility
3753.12/3753.04	c   seconds        variables     equivalent    conflicts       height       MB
3753.12/3753.04	c
3753.12/3753.04	c + 3753.2     8861    1336    144   328      0 7066676 167894   61.2  48   77
4752.66/4752.57	c s 4752.7     8856    1335    144   329      0 8221878 150460   60.6  38   58
4977.06/4976.97	c s 4977.1     8851    1334    144   330      0 8487156 142903   60.5  46   48
5000.07/4999.91	c
5000.07/4999.91	c *** CAUGHT SIGNAL 15 ***
5000.07/4999.91	c
5000.07/4999.91	c 8577301 conflicts, 9602970 decisions, 2 random
5000.07/4999.91	c 0 iterations, 2 restarts, 13944 skipped
5000.07/4999.91	c 31 enlarged, 181 shrunken, 83812 rescored, 1845 rebiased
5000.07/4999.91	c 78 simplifications, 44 reductions
5000.07/4999.91	c
5000.07/4999.91	c vars: 144 fixed, 330 equiv, 0 elim, 330 merged
5000.07/4999.91	c elim: 1806021 resolutions, 45 phases, 45 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: 294440 probed, 108 phases, 108 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, 330 merged
5000.07/4999.91	c mins: 708650839 learned, 37% deleted, 147 strong, 46 depth
5000.07/4999.91	c subs: 104 forward, 104 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: 3331760485 propagations, 0.67 megaprops
5000.07/4999.91	c
5000.07/4999.91	c 5000.1 seconds, 112 MB max, 2860 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-3365927-1305320336/watcher-3365927-1305320336 -o /tmp/evaluation-result-3365927-1305320336/solver-3365927-1305320336 -C 5000 -W 5100 -M 15500 HOME/precosat HOME/instance-3365927-1305320336.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.84 1.97 1.94 2/314 4671
/proc/meminfo: memFree=23321816/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=1664 CPUtime=0 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 321 0 0 0 0 0 0 0 25 0 1 0 722264118 1703936 279 33554432000 134512640 135151029 4291342976 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 415 280 67 156 0 258 0

[startup+0.068604 s]
/proc/loadavg: 1.84 1.97 1.94 2/314 4671
/proc/meminfo: memFree=23321816/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=2092 CPUtime=0.06 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 462 0 0 0 6 0 0 0 25 0 1 0 722264118 2142208 412 33554432000 134512640 135151029 4291342976 18446744073709551615 134551504 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 523 412 80 156 0 366 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2092

[startup+0.100597 s]
/proc/loadavg: 1.84 1.97 1.94 2/314 4671
/proc/meminfo: memFree=23321816/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=2356 CPUtime=0.1 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 525 0 0 0 10 0 0 0 25 0 1 0 722264118 2412544 475 33554432000 134512640 135151029 4291342976 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 589 475 80 156 0 432 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2356

[startup+0.30056 s]
/proc/loadavg: 1.84 1.97 1.94 2/314 4671
/proc/meminfo: memFree=23321816/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=3280 CPUtime=0.3 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 745 0 0 0 30 0 0 0 25 0 1 0 722264118 3358720 695 33554432000 134512640 135151029 4291342976 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 820 695 80 156 0 663 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 3280

[startup+0.700485 s]
/proc/loadavg: 1.84 1.97 1.94 2/314 4671
/proc/meminfo: memFree=23321816/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=4204 CPUtime=0.7 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 983 0 0 0 70 0 0 0 25 0 1 0 722264118 4304896 933 33554432000 134512640 135151029 4291342976 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 1051 933 80 156 0 894 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 4204

[startup+1.50034 s]
/proc/loadavg: 1.84 1.97 1.94 3/315 4672
/proc/meminfo: memFree=23315532/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=5524 CPUtime=1.5 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 1310 0 0 0 150 0 0 0 25 0 1 0 722264118 5656576 1260 33554432000 134512640 135151029 4291342976 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 1381 1260 80 156 0 1224 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 5524

[startup+3.10104 s]
/proc/loadavg: 1.84 1.97 1.94 3/315 4672
/proc/meminfo: memFree=23311812/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=7384 CPUtime=3.1 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 1780 0 0 0 310 0 0 0 25 0 1 0 722264118 7561216 1730 33554432000 134512640 135151029 4291342976 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 1846 1730 80 156 0 1689 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 7384

[startup+6.30044 s]
/proc/loadavg: 1.85 1.97 1.94 3/315 4672
/proc/meminfo: memFree=23307552/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=8564 CPUtime=6.29 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 2065 0 0 0 629 0 0 0 25 0 1 0 722264118 8769536 2015 33554432000 134512640 135151029 4291342976 18446744073709551615 134555080 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 2141 2015 80 156 0 1984 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8564

[startup+12.7003 s]
/proc/loadavg: 1.86 1.97 1.94 3/315 4673
/proc/meminfo: memFree=23303036/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=11276 CPUtime=12.69 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 2760 0 0 0 1269 0 0 0 25 0 1 0 722264118 11546624 2710 33554432000 134512640 135151029 4291342976 18446744073709551615 134578057 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 2819 2710 80 156 0 2662 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11276

[startup+25.5009 s]
/proc/loadavg: 1.89 1.97 1.94 3/315 4673
/proc/meminfo: memFree=23289764/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=16740 CPUtime=25.49 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 4123 0 0 0 2549 0 0 0 25 0 1 0 722264118 17141760 4073 33554432000 134512640 135151029 4291342976 18446744073709551615 134551343 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 4185 4073 80 156 0 4028 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16740

[startup+51.1011 s]
/proc/loadavg: 1.93 1.97 1.94 3/315 4674
/proc/meminfo: memFree=23283112/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=18564 CPUtime=51.09 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 4569 0 0 0 5109 0 0 0 25 0 1 0 722264118 19009536 4519 33554432000 134512640 135151029 4291342976 18446744073709551615 134554879 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 4641 4519 80 156 0 4484 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 18564

[startup+102.312 s]
/proc/loadavg: 1.97 1.97 1.94 3/315 4675
/proc/meminfo: memFree=23269296/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=26424 CPUtime=102.3 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 6534 0 0 0 10230 0 0 0 25 0 1 0 722264118 27058176 6484 33554432000 134512640 135151029 4291342976 18446744073709551615 134551501 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 6606 6484 80 156 0 6449 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 26424

[startup+162.3 s]
/proc/loadavg: 2.10 2.00 1.95 3/315 4686
/proc/meminfo: memFree=23251484/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=35596 CPUtime=162.3 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 8824 0 0 0 16229 1 0 0 25 0 1 0 722264118 36450304 8755 33554432000 134512640 135151029 4291342976 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 8899 8755 80 156 0 8742 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 35596

[startup+222.3 s]
/proc/loadavg: 2.09 2.01 1.96 3/315 4687
/proc/meminfo: memFree=23241136/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=45728 CPUtime=222.3 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 11319 0 0 0 22229 1 0 0 25 0 1 0 722264118 46825472 11214 33554432000 134512640 135151029 4291342976 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 11432 11214 80 156 0 11275 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 45728

[startup+282.301 s]
/proc/loadavg: 2.03 2.01 1.96 3/315 4689
/proc/meminfo: memFree=23237116/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=45728 CPUtime=282.3 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 11333 0 0 0 28229 1 0 0 25 0 1 0 722264118 46825472 11228 33554432000 134512640 135151029 4291342976 18446744073709551615 134554903 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 11432 11228 80 156 0 11275 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 45728

[startup+342.301 s]
/proc/loadavg: 2.01 2.00 1.96 3/315 4690
/proc/meminfo: memFree=23234844/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=45728 CPUtime=342.3 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 11415 0 0 0 34229 1 0 0 25 0 1 0 722264118 46825472 11310 33554432000 134512640 135151029 4291342976 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 11432 11310 80 156 0 11275 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 45728

[startup+402.301 s]
/proc/loadavg: 2.03 2.01 1.96 3/315 4692
/proc/meminfo: memFree=23233812/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=45748 CPUtime=402.3 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 11630 0 0 0 40229 1 0 0 25 0 1 0 722264118 46845952 11342 33554432000 134512640 135151029 4291342976 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 11437 11342 80 156 0 11280 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 45748

[startup+462.301 s]
/proc/loadavg: 2.01 2.01 1.96 3/315 4694
/proc/meminfo: memFree=23233784/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=45748 CPUtime=462.3 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 11630 0 0 0 46229 1 0 0 25 0 1 0 722264118 46845952 11342 33554432000 134512640 135151029 4291342976 18446744073709551615 134555122 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 11437 11342 80 156 0 11280 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 45748

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/315 4695
/proc/meminfo: memFree=23226676/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=52948 CPUtime=522.31 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 13308 0 0 0 52229 2 0 0 25 0 1 0 722264118 54218752 13020 33554432000 134512640 135151029 4291342976 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 13237 13020 80 156 0 13080 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 52948

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/315 4697
/proc/meminfo: memFree=23216228/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=61956 CPUtime=582.31 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 15523 0 0 0 58228 3 0 0 25 0 1 0 722264118 63442944 15235 33554432000 134512640 135151029 4291342976 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 15489 15235 80 156 0 15332 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 61956

[startup+642.301 s]

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

[startup+4062.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/315 4802
/proc/meminfo: memFree=23120712/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=109732 CPUtime=4062.44 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 29698 0 0 0 406236 8 0 0 25 0 1 0 722264118 112365568 27272 33554432000 134512640 135151029 4291342976 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 27433 27272 80 156 0 27276 0
Current children cumulated CPU time (s) 4062.44
Current children cumulated vsize (KiB) 109732

[startup+4122.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/315 4803
/proc/meminfo: memFree=23120684/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=109216 CPUtime=4122.43 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 29718 0 0 0 412235 8 0 0 25 0 1 0 722264118 111837184 27184 33554432000 134512640 135151029 4291342976 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 27304 27184 80 156 0 27147 0
Current children cumulated CPU time (s) 4122.43
Current children cumulated vsize (KiB) 109216

[startup+4182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/315 4805
/proc/meminfo: memFree=23121160/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=109216 CPUtime=4182.44 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 29718 0 0 0 418236 8 0 0 25 0 1 0 722264118 111837184 27184 33554432000 134512640 135151029 4291342976 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 27304 27184 80 156 0 27147 0
Current children cumulated CPU time (s) 4182.44
Current children cumulated vsize (KiB) 109216

[startup+4242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/315 4806
/proc/meminfo: memFree=23120884/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=109216 CPUtime=4242.44 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 29718 0 0 0 424236 8 0 0 25 0 1 0 722264118 111837184 27184 33554432000 134512640 135151029 4291342976 18446744073709551615 134554817 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 27304 27184 80 156 0 27147 0
Current children cumulated CPU time (s) 4242.44
Current children cumulated vsize (KiB) 109216

[startup+4302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/315 4808
/proc/meminfo: memFree=23119372/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=111080 CPUtime=4302.44 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 30136 0 0 0 430236 8 0 0 25 0 1 0 722264118 113745920 27602 33554432000 134512640 135151029 4291342976 18446744073709551615 134554879 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 27770 27602 80 156 0 27613 0
Current children cumulated CPU time (s) 4302.44
Current children cumulated vsize (KiB) 111080

[startup+4362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/315 4810
/proc/meminfo: memFree=23113140/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=116948 CPUtime=4362.43 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 31529 0 0 0 436235 8 0 0 25 0 1 0 722264118 119754752 28995 33554432000 134512640 135151029 4291342976 18446744073709551615 134551406 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 29237 28995 80 156 0 29080 0
Current children cumulated CPU time (s) 4362.43
Current children cumulated vsize (KiB) 116948

[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/315 4811
/proc/meminfo: memFree=23106916/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=116948 CPUtime=4422.44 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 31529 0 0 0 442236 8 0 0 25 0 1 0 722264118 119754752 28995 33554432000 134512640 135151029 4291342976 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 29237 28995 80 156 0 29080 0
Current children cumulated CPU time (s) 4422.44
Current children cumulated vsize (KiB) 116948

[startup+4482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/315 4813
/proc/meminfo: memFree=23106512/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=116948 CPUtime=4482.44 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 31535 0 0 0 448236 8 0 0 25 0 1 0 722264118 119754752 29001 33554432000 134512640 135151029 4291342976 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 29237 29001 80 156 0 29080 0
Current children cumulated CPU time (s) 4482.44
Current children cumulated vsize (KiB) 116948

[startup+4542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/315 4814
/proc/meminfo: memFree=23105744/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=117332 CPUtime=4542.44 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 31590 0 0 0 454236 8 0 0 25 0 1 0 722264118 120147968 29056 33554432000 134512640 135151029 4291342976 18446744073709551615 134554811 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 29333 29056 80 156 0 29176 0
Current children cumulated CPU time (s) 4542.44
Current children cumulated vsize (KiB) 117332

[startup+4602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/315 4816
/proc/meminfo: memFree=23103992/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=116692 CPUtime=4602.46 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 31740 0 0 0 460237 9 0 0 25 0 1 0 722264118 119492608 29023 33554432000 134512640 135151029 4291342976 18446744073709551615 134554774 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 29173 29023 80 156 0 29016 0
Current children cumulated CPU time (s) 4602.46
Current children cumulated vsize (KiB) 116692

[startup+4662.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/315 4818
/proc/meminfo: memFree=23103348/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=116692 CPUtime=4662.45 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 31745 0 0 0 466236 9 0 0 25 0 1 0 722264118 119492608 29028 33554432000 134512640 135151029 4291342976 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 29173 29028 80 156 0 29016 0
Current children cumulated CPU time (s) 4662.45
Current children cumulated vsize (KiB) 116692

[startup+4722.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/315 4819
/proc/meminfo: memFree=23102956/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=116948 CPUtime=4722.47 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 31768 0 0 0 472238 9 0 0 25 0 1 0 722264118 119754752 29051 33554432000 134512640 135151029 4291342976 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 29237 29051 80 156 0 29080 0
Current children cumulated CPU time (s) 4722.47
Current children cumulated vsize (KiB) 116948

[startup+4782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/315 4821
/proc/meminfo: memFree=23102304/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=116692 CPUtime=4782.46 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 31815 0 0 0 478237 9 0 0 25 0 1 0 722264118 119492608 29033 33554432000 134512640 135151029 4291342976 18446744073709551615 134574592 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 29173 29033 80 156 0 29016 0
Current children cumulated CPU time (s) 4782.46
Current children cumulated vsize (KiB) 116692

[startup+4842.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/315 4822
/proc/meminfo: memFree=23107976/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=116692 CPUtime=4842.46 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 31815 0 0 0 484237 9 0 0 25 0 1 0 722264118 119492608 29033 33554432000 134512640 135151029 4291342976 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 29173 29033 80 156 0 29016 0
Current children cumulated CPU time (s) 4842.46
Current children cumulated vsize (KiB) 116692

[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/315 4824
/proc/meminfo: memFree=23107712/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=116692 CPUtime=4902.46 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 31815 0 0 0 490237 9 0 0 25 0 1 0 722264118 119492608 29033 33554432000 134512640 135151029 4291342976 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 29173 29033 80 156 0 29016 0
Current children cumulated CPU time (s) 4902.46
Current children cumulated vsize (KiB) 116692

[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/315 4826
/proc/meminfo: memFree=23107440/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=117712 CPUtime=4962.46 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 31972 0 0 0 496237 9 0 0 25 0 1 0 722264118 120537088 29190 33554432000 134512640 135151029 4291342976 18446744073709551615 134574633 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 29428 29190 80 156 0 29271 0
Current children cumulated CPU time (s) 4962.46
Current children cumulated vsize (KiB) 117712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 2.00 2.00 2.00 2/313 4828
/proc/meminfo: memFree=23203524/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=116688 CPUtime=5000.07 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 32010 0 0 0 499998 9 0 0 25 0 1 0 722264118 119488512 29040 33554432000 134512640 135151029 4291342976 18446744073709551615 134554811 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 29172 29040 80 156 0 29015 0
Current children cumulated CPU time (s) 5000.07
Current children cumulated vsize (KiB) 116688

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.00 2.00 2/313 4828
/proc/meminfo: memFree=23203524/32951124 swapFree=59305796/67111528
[pid=4671] ppid=4669 vsize=116688 CPUtime=5000.07 cores=1,3,5,7
/proc/4671/stat : 4671 (precosat) R 4669 4671 4429 0 -1 4202496 32010 0 0 0 499998 9 0 0 25 0 1 0 722264118 119488512 29040 33554432000 134512640 135151029 4291342976 18446744073709551615 134554811 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/4671/statm: 29172 29040 80 156 0 29015 0
Current children cumulated CPU time (s) 5000.07
Current children cumulated vsize (KiB) 116688

Child ended because it received signal 15 (SIGTERM)
Real time (s): 4999.92
CPU time (s): 5000.09
CPU user time (s): 4999.99
CPU system time (s): 0.096985
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 117968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.99
system time used= 0.096985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32011
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= 7924

runsolver used 14.5338 second user time and 35.4736 second system time

The end

Launcher Data 

Begin job on node111 at 2011-05-13 22:58:56
IDJOB=3365927
IDBENCH=83416
IDSOLVER=1843
FILE ID=node111/3365927-1305320336
RUNJOBID= node111-1305315333-4448
PBS_JOBID= 13324321
Free space on /tmp= 51592 MiB

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

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

MD5SUM BENCH= 07ea67092ce3fd4529e72f69434e3f99
RANDOM SEED=875929344

node111.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.849
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.69
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.849
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	: 5428.12
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.849
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.75
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.849
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.86
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.849
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.75
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.849
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.849
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.67
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.849
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23322096 kB
Buffers:        213396 kB
Cached:        6172200 kB
SwapCached:      13720 kB
Active:         647120 kB
Inactive:      8771900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23322096 kB
SwapTotal:    67111528 kB
SwapFree:     59305796 kB
Dirty:            1580 kB
Writeback:           0 kB
AnonPages:     3028540 kB
Mapped:          13232 kB
Slab:           110796 kB
PageTables:      36404 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 53340624 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= 51592 MiB
End job on node111 at 2011-05-14 00:22:18