Trace number 3369472

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
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.49 1203.59

General information on the benchmark

NameSAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf
MD5SUM776da55785376fd8eac6989ca812b102
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1002.78
Satisfiable
(Un)Satisfiability was proved
Number of variables371419
Number of clauses7170909
Sum of the clauses size20872419
Maximum clause length205
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 26770451
Number of clauses of size 392326
Number of clauses of size 48862
Number of clauses of size 523554
Number of clauses of size over 5275715

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369472-1305416389.cnf'
0.00/0.01	c -- header says num vars:         371419
0.00/0.01	c -- header says num clauses:     7170909
10.12/2.83	c -- clauses added:            0 learnts,      7170909 normals,            0 xors
10.12/2.83	c -- vars added     371419
10.12/2.83	c Parsing time:  8.54 s
10.12/2.83	c  N st     0         0    371419    400457   6770451         0  20872418         0   no data   no data  --
12.13/3.31	c asymm  cl-useful: 23/27/400448 lits-rem:822 time: 1.95
42.00/10.80	c Flit:   252 Blit:  91852 bXBeca:    0 bXProp: 3696 Bins:      0 BRemL:      0 BRemN:      0 P: 200.4M T: 29.17
44.79/11.60	c Cleaning up after failed var search:     3.16 s 
47.21/12.13	c Replacing     3696 vars Replaced   244272 lits Time:     2.10 s 
52.68/13.50	c bin-w-bin subsume rem            7 bins  time:  2.48 s
63.45/16.21	c subs with bin:     4198  lits-rem:     33927  v-fix:    0  time: 10.70 s
92.97/23.65	c Subs w/ non-existent bins:      8 l-rem:      0 v-fix:     0 done:  27711 time: 29.63 s
94.56/24.06	c Removed useless bin:     394  fixed:     0  props:  20.00M  time:  1.63 s
125.69/31.86	c lits-rem:      3653  cl-subs:    25012  v-elim:   9234  v-fix:    0  time: 31.10 s
126.11/31.99	c Finding binary XORs  T:     0.52 s  found:     806
127.67/32.32	c Replacing      806 vars Replaced    99739 lits Time:     1.31 s 
130.49/33.07	c Finding non-binary XORs:     2.11 s (found:       0, avg size: nan)
130.49/33.07	c Calc default polars -  time:   0.44 s pos:   49596 undec:  113755 neg:  208068
130.49/33.07	c =========================================================================================
130.49/33.07	c types(t): F = full restart, N = normal restart
130.49/33.07	c types(t): S = simplification begin/end, E = solution found
130.49/33.07	c restart types(rt): st = static, dy = dynamic
130.49/33.07	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
130.49/33.07	c  B st     0         0    257989    259775   4790113         0  14608461         0   no data   no data  --
202.68/51.14	c  N dy    23      4503    257989    259775   4790500      4048  14608456    134185     16.84     18.13  --
244.19/61.52	c  N dy    52      8555    257985    259775   4799256      7837  14608447    348235     20.07     28.33  --
275.32/69.33	c  N dy    75     12594    257985    259775   4800289     11668  14608434    541748     21.03     22.81  --
300.83/75.77	c  N dy   104     16747    257984    259775   4800353     15659  14608403    731430     21.34     22.48  --
317.99/80.07	c  N dy   124     20819    257969    259775   4800963     10147  14608359    293740     21.09     24.38  --
345.54/86.95	c  N dy   152     24919    254641    259775   4805027     14104  14608359    541308     22.19     37.34  --
346.31/87.11	c  F st   153     25000    254640    259775   4805027     14185  14608359    546548     22.26   no data  --
376.68/94.78	c  N dy   159     30001    254602    252715   4756637     18929  14448890    914335     22.26   no data  --
376.68/94.79	c  S st   159     30001    254602    252715   4756637     18929  14448890    914335     22.26   no data  --
382.22/96.11	c  S st   159     30501    254595    252715   4756765     19292  14448890    920184     22.26   no data  --
382.62/96.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.74
481.60/121.08	c Flit:    59 Blit:    211 bXBeca:    0 bXProp: 3042 Bins:   7679 BRemL:      6 BRemN:    125 P: 200.1M T: 98.67
482.37/121.22	c Cleaning up after failed var search:     0.54 s 
483.56/121.54	c Replacing     3043 vars Replaced   172380 lits Time:     1.20 s 
487.55/122.53	c bin-w-bin subsume rem         3387 bins  time:  2.15 s
493.94/124.16	c subs with bin:     3283  lits-rem:     26436  v-fix:    0  time:  6.53 s
507.93/127.64	c Subs w/ non-existent bins:    182 l-rem:   6522 v-fix:    44 done:  42391 time: 13.84 s
509.10/127.97	c Removed useless bin:    2917  fixed:     0  props:  20.01M  time:  1.35 s
522.27/131.22	c lits-rem:      1115  cl-subs:     1673  v-elim:   7330  v-fix:    0  time: 12.95 s
523.87/131.69	c asymm  cl-useful: 76/799/232247 lits-rem:1142 time: 1.77
524.66/131.81	c  N dy   159     30501    236322    232247   4599045     17827  13845202    845990     22.26   no data  --
546.21/137.23	c  N dy   181     34507    236321    232247   4599531     21709  13845202   1078592     22.52     23.71  --
561.37/141.00	c  N dy   190     38569    234447    232247   4603578     25518  13845195   1282245     21.92     23.78  --
562.16/141.25	c Finding binary XORs  T:     0.52 s  found:    3448
563.76/141.66	c Replacing     3448 vars Replaced   259176 lits Time:     1.62 s 
588.50/147.80	c  N dy   211     42829    230883    229802   4564927     15032  13737669    407879     21.76     23.16  --
601.66/151.18	c  S st   215     45752    229516    229802   4568483     17833  13737669    544308     21.34     17.75  --
609.29/153.05	c  S st   215     46252    229514    229802   4568648     18164  13737669    548656     21.34   no data  --
610.05/153.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.74
655.93/164.72	c Flit:    16 Blit:    516 bXBeca:    0 bXProp:  374 Bins:   4279 BRemL:      3 BRemN:    103 P: 200.0M T: 45.80
655.93/164.73	c Cleaning up after failed var search:     0.00 s 
657.56/165.14	c Replacing      374 vars Replaced   116949 lits Time:     1.59 s 
661.11/166.08	c bin-w-bin subsume rem        14381 bins  time:  2.15 s
667.89/167.70	c subs with bin:     1085  lits-rem:     52637  v-fix:    0  time:  6.44 s
686.25/172.30	c Subs w/ non-existent bins:    316 l-rem:   4710 v-fix:     0 done:  35985 time: 18.36 s
687.87/172.75	c Removed useless bin:    3015  fixed:     0  props:  20.08M  time:  1.79 s
704.20/176.83	c lits-rem:      5852  cl-subs:    10859  v-elim:  25744  v-fix:    0  time: 16.26 s
706.19/177.30	c asymm  cl-useful: 137/761/240847 lits-rem:1989 time: 1.86
706.59/177.41	c  N dy   215     46252    202864    240846   4448282     12698  13656611    374051     21.34   no data  --
717.77/180.21	c  N dy   217     51082    202864    240846   4448392     17162  13656610    530043     20.52     21.77  --
744.50/186.93	c  N dy   250     55153    202849    240846   4449836     21114  13656607    737751     21.08     33.70  --
767.64/192.74	c  N dy   270     59532    202841    240846   4450912     25320  13656600    934908     21.00     22.12  --
793.97/199.34	c  N dy   301     63620    202841    240846   4451098     29296  13656600   1151949     21.40     35.79  --
813.53/204.29	c  N dy   330     67691    202841    240846   4451179     33222  13656600   1419246     21.66     28.09  --
822.30/206.44	c  S st   345     69378    202841    240846   4451198     34867  13656600   1559536     21.84     30.51  --
829.87/208.30	c  S st   345     69878    202839    240846   4451690     17636  13656600    429002     21.84   no data  --
830.27/208.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.79
875.77/219.80	c Flit:   194 Blit:    717 bXBeca:    0 bXProp:  404 Bins:   2812 BRemL:      1 BRemN:    122 P: 200.0M T: 45.06
875.77/219.80	c Cleaning up after failed var search:     0.00 s 
877.35/220.22	c Replacing      405 vars Replaced   125443 lits Time:     1.60 s 
880.98/221.15	c bin-w-bin subsume rem         3454 bins  time:  2.08 s
887.34/222.78	c subs with bin:     2528  lits-rem:     50923  v-fix:    0  time:  6.50 s
907.31/227.73	c Subs w/ non-existent bins:    730 l-rem:  11117 v-fix:     7 done:  34359 time: 19.74 s
908.88/228.11	c Removed useless bin:    1907  fixed:     0  props:  20.08M  time:  1.50 s
939.60/235.89	c lits-rem:      6405  cl-subs:    10520  v-elim:  35919  v-fix:    0  time: 30.93 s
941.60/236.39	c asymm  cl-useful: 42/1091/347910 lits-rem:518 time: 1.90
942.00/236.48	c  N dy   345     69878    165594    347910   3599370     10108  12056103    232493     21.84   no data  --
942.42/236.59	c Finding binary XORs  T:     0.40 s  found:      82
971.92/243.98	c  N dy   382     75512    165594    347910   3599526     15465  12056082    481718     21.97     23.48  --
997.46/250.36	c  N dy   410     80409    165265    347910   3602138     20126  12056073    693384     21.97     24.39  --
1014.20/254.52	c  N dy   430     85618    165264    347910   3602743     25073  12056060    897390     21.68     24.78  --
1019.79/255.97	c  F st   439     87501    165263    347910   3602761     26914  12056048   1021481     21.65   no data  --
1021.00/256.27	c Replacing       82 vars Replaced     9614 lits Time:     0.76 s 
1044.12/262.06	c  N dy   445     92695    165182    347251   3598396     31798  12039068   1316298     21.65   no data  --
1074.49/269.67	c  N dy   474     98811    165182    347251   3598729     37604  12039056   1619319     21.65     22.79  --
1102.38/276.63	c  S st   506    104821    165182    347251   3598868     24001  12039056    719850     21.71   no data  --
1106.77/277.74	c  S st   506    105322    165178    347251   3598991     24370  12039056    724202     21.71   no data  --
1107.57/277.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.62
3522.66/883.31	c Flit:    83 Blit:   2052 bXBeca:    0 bXProp:   73 Bins: 209398 BRemL:      5 BRemN:    553 P: 200.1M T: 2414.54
3523.49/883.43	c Cleaning up after failed var search:     0.47 s 
3524.64/883.73	c Replacing       73 vars Replaced   139647 lits Time:     1.15 s 
3527.88/884.56	c bin-w-bin subsume rem         2762 bins  time:  1.82 s
3534.62/886.29	c subs with bin:    12162  lits-rem:     99942  v-fix:    0  time:  6.93 s
3546.59/889.23	c Subs w/ non-existent bins:   2068 l-rem:  18788 v-fix:     0 done:   7216 time: 11.69 s
3547.79/889.59	c Removed useless bin:    2091  fixed:     0  props:  20.11M  time:  1.37 s
3577.72/897.02	c lits-rem:      2134  cl-subs:     8073  v-elim:  28022  v-fix:    0  time: 29.66 s
3579.32/897.44	c asymm  cl-useful: 59/644/317443 lits-rem:619 time: 1.67
3579.72/897.52	c  N dy   506    105322    134945    317443   2792835     20116   8979624    970618     21.71   no data  --
3579.72/897.60	c Finding binary XORs  T:     0.33 s  found:      46
3602.08/903.15	c  N dy   551    112284    129512    305935   2523546     22471   8607318    765624     21.99     24.39  --
3632.39/910.80	c  N dy   616    119527    129512    305935   2524437     29557   8607305   1199723     22.49     24.82  --
3658.32/917.28	c  N dy   680    127193    129512    305935   2524640     37026   8607298   1651418     22.91     24.57  --
3683.46/923.58	c Finding binary XORs  T:     0.34 s  found:     297
3684.26/923.74	c  N dy   731    135354    129512    305935   2524696     26008   8607289    910443     23.14     31.56  --
3713.37/931.01	c  N dy   787    144090    129512    305935   2524927     34499   8607259   1431433     23.26     32.40  --
3736.11/936.74	c  N dy   828    153287    129512    305935   2525137     21763   8607259    466214     23.22     24.45  --
3751.30/940.56	c  S st   851    157984    129512    305935   2525270     26305   8607257    790570     23.21   no data  --
3755.27/941.58	c  S st   851    158484    129511    305935   2525406     26668   8607257    794304     23.21   no data  --
3755.69/941.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.47
3809.93/955.21	c Flit:    68 Blit:   3606 bXBeca:    0 bXProp:   49 Bins:   4364 BRemL:    269 BRemN:   7164 P: 200.0M T: 53.89
3810.33/955.30	c Cleaning up after failed var search:     0.37 s 
3811.53/955.66	c Replacing      392 vars Replaced   313279 lits Time:     1.38 s 
3814.32/956.31	c bin-w-bin subsume rem        19203 bins  time:  1.41 s
3820.31/957.89	c subs with bin:     6511  lits-rem:     83072  v-fix:    0  time:  6.32 s
3838.27/962.30	c Subs w/ non-existent bins:   1807 l-rem:   3345 v-fix:     0 done:  18054 time: 17.58 s
3839.50/962.66	c Removed useless bin:    2412  fixed:     0  props:  20.00M  time:  1.25 s
3861.80/968.20	c lits-rem:     12053  cl-subs:    12555  v-elim:   5995  v-fix:    0  time: 22.10 s
3863.40/968.63	c asymm  cl-useful: 108/945/291452 lits-rem:189 time: 1.74
3863.80/968.70	c  N dy   851    158484    119473    291452   2376978     21750   8112806    630670     23.21   no data  --
3909.31/980.11	c  N dy   936    168609    119471    291452   2377647     31589   8112802   1241615     23.66     43.05  --
3949.22/990.12	c  N dy  1015    179536    119415    291452   2382474     42251   8112778   1867456     23.91     25.56  --
3993.87/1001.38	c  N dy  1029    198308    119415    291452   2382647     37338   8112753   1100196     23.01     24.54  --
4048.13/1014.96	c  N dy  1127    211029    119413    291452   2383264     25323   8112694    503019     23.40     57.51  --
4109.57/1030.38	c  N dy  1249    224511    119413    291452   2383684     38555   8112684   1326298     23.97     46.97  --
4160.64/1043.14	c  S st  1352    237727    119413    291452   2384050     51412   8112669   2090995     24.34   no data  --
4165.03/1044.23	c  S st  1352    238227    119412    291452   2384145     51816   8112669   2093971     24.34   no data  --
4165.43/1044.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.50
4215.31/1056.84	c Flit:   215 Blit:   3325 bXBeca:    0 bXProp:   51 Bins:   1829 BRemL:     31 BRemN:   8029 P: 200.1M T: 49.82
4215.71/1056.96	c Cleaning up after failed var search:     0.49 s 
4218.10/1057.55	c Replacing       51 vars Replaced   196101 lits Time:     2.27 s 
4220.92/1058.23	c bin-w-bin subsume rem         4114 bins  time:  1.16 s
4226.08/1059.57	c subs with bin:     2899  lits-rem:     63772  v-fix:    0  time:  5.38 s
4245.24/1064.31	c Subs w/ non-existent bins:   1864 l-rem:   6524 v-fix:     0 done:  15920 time: 18.87 s
4246.04/1064.55	c Removed useless bin:    3144  fixed:     0  props:  20.00M  time:  0.97 s
4270.77/1070.77	c lits-rem:      4737  cl-subs:    12627  v-elim:   3519  v-fix:    0  time: 24.82 s
4272.77/1071.23	c asymm  cl-useful: 165/630/283579 lits-rem:2798 time: 1.81
4272.77/1071.29	c  N dy  1352    238227    112302    283579   2281048     44560   7770070   1860244     24.34   no data  --
4287.52/1074.92	c Finding binary XORs  T:     0.31 s  found:      14
4336.60/1087.27	c  N dy  1477    253483    112299    283579   2281989     35163   7770048   1068713     24.81     30.61  --
4400.05/1103.13	c  N dy  1618    269734    111406    283579   2283842     50992   7770030   2064111     25.38     35.43  --
4463.48/1119.04	c  N dy  1770    286966    111406    283579   2284389     41732   7770025   1441699     26.00     45.12  --
4531.31/1136.02	c  N dy  1923    305336    111405    283579   2284927     31820   7770018    654329     26.44     39.72  --
4533.30/1136.58	c  F st  1926    306250    111405    283579   2284930     32696   7770018    703885     26.43     17.57  --
4534.91/1136.91	c Replacing       14 vars Replaced    19616 lits Time:     0.78 s 
4601.13/1153.56	c  N dy  2042    325005    111392    280647   2266822     50970   7703673   1942105     26.77     28.26  --
4680.94/1173.50	c  N dy  2212    345165    111392    280647   2267321     41726   7703642   1221894     27.26     29.03  --
4720.84/1183.53	c  S st  2271    357340    111392    280647   2267494     53599   7703563   1950958     27.29     28.24  --
4724.83/1184.53	c  S st  2271    357840    111391    280647   2267584     54007   7703563   1955340     27.29   no data  --
4725.23/1184.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.46
4794.24/1201.95	c Flit:   364 Blit:    124 bXBeca:    0 bXProp:   83 Bins:   4561 BRemL:     96 BRemN:    337 P: 200.2M T: 69.03
4794.24/1201.96	c Cleaning up after failed var search:     0.00 s 
4797.83/1202.80	c Replacing       84 vars Replaced   198226 lits Time:     3.34 s

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-3369472-1305416389/watcher-3369472-1305416389 -o /tmp/evaluation-result-3369472-1305416389/solver-3369472-1305416389 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369472-1305416389.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 8.04 8.05 7.27 6/320 9026
/proc/meminfo: memFree=10766108/32951124 swapFree=67093864/67111528
[pid=9026] ppid=9024 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/9026/stat : 9026 (strangenight1-m) R 9024 9026 8860 0 -1 4202496 412 0 0 0 0 0 0 0 23 0 4 0 653241769 52465664 352 33554432000 4194304 4650419 140735563749248 18446744073709551615 47397334505384 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9026/statm: 12809 352 303 112 0 7774 0
[pid=9026/tid=9027] ppid=9024 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9027/stat : 9027 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 653241769 52465664 352 33554432000 4194304 4650419 140735563749248 18446744073709551615 47397334505398 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9026/tid=9028] ppid=9024 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 653241769 52465664 352 33554432000 4194304 4650419 140735563749248 18446744073709551615 47397334505394 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9026/tid=9029] ppid=9024 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653241770 52465664 352 33554432000 4194304 4650419 140735563749248 18446744073709551615 212436073457 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.101943 s]
/proc/loadavg: 8.04 8.05 7.27 6/320 9026
/proc/meminfo: memFree=10766108/32951124 swapFree=67093864/67111528
[pid=9026] ppid=9024 vsize=366988 CPUtime=0.31 cores=0,2,4,6
/proc/9026/stat : 9026 (strangenight1-m) S 9024 9026 8860 0 -1 4202496 13081 0 0 0 25 6 0 0 18 0 4 0 653241769 375795712 10991 33554432000 4194304 4650419 140735563749248 18446744073709551615 212436122094 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9026/statm: 91780 11078 344 112 0 86745 0
[pid=9026/tid=9027] ppid=9024 vsize=367120 CPUtime=0.07 cores=0,2,4,6
/proc/9026/task/9027/stat : 9027 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 3039 0 0 0 6 1 0 0 17 0 4 0 653241769 375930880 11093 33554432000 4194304 4650419 140735563749248 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9026/tid=9028] ppid=9024 vsize=367120 CPUtime=0.07 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 3104 0 0 0 6 1 0 0 18 0 4 0 653241769 375930880 11153 33554432000 4194304 4650419 140735563749248 18446744073709551615 212436060343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9026/tid=9029] ppid=9024 vsize=367120 CPUtime=0.06 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (strangenight1-m) S 9024 9026 8860 0 -1 4202560 3492 0 0 0 5 1 0 0 18 0 4 0 653241770 375930880 11167 33554432000 4194304 4650419 140735563749248 18446744073709551615 212436122094 0 0 4096 2 18446604441454532672 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 366988

[startup+0.20389 s]
/proc/loadavg: 8.04 8.05 7.27 6/320 9026
/proc/meminfo: memFree=10766108/32951124 swapFree=67093864/67111528
[pid=9026] ppid=9024 vsize=386100 CPUtime=0.66 cores=0,2,4,6
/proc/9026/stat : 9026 (strangenight1-m) R 9024 9026 8860 0 -1 4202496 23375 0 0 0 52 14 0 0 18 0 4 0 653241769 395366400 20676 33554432000 4194304 4650419 140735563749248 18446744073709551615 212436122143 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9026/statm: 96525 20695 344 112 0 91490 0
[pid=9026/tid=9027] ppid=9024 vsize=386100 CPUtime=0.16 cores=0,2,4,6
/proc/9026/task/9027/stat : 9027 (strangenight1-m) D 9024 9026 8860 0 -1 4202560 5372 0 0 0 14 2 0 0 17 0 4 0 653241769 395366400 20701 33554432000 4194304 4650419 140735563749248 18446744073709551615 212436060343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9026/tid=9028] ppid=9024 vsize=386100 CPUtime=0.16 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 5702 0 0 0 13 3 0 0 18 0 4 0 653241769 395366400 20707 33554432000 4194304 4650419 140735563749248 18446744073709551615 4361571 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9026/tid=9029] ppid=9024 vsize=386100 CPUtime=0.15 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 6387 0 0 0 12 3 0 0 18 0 4 0 653241770 395366400 20719 33554432000 4194304 4650419 140735563749248 18446744073709551615 212436122094 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 386100

[startup+0.30072 s]
/proc/loadavg: 8.04 8.05 7.27 6/320 9026
/proc/meminfo: memFree=10766108/32951124 swapFree=67093864/67111528
[pid=9026] ppid=9024 vsize=399956 CPUtime=0.99 cores=0,2,4,6
/proc/9026/stat : 9026 (strangenight1-m) S 9024 9026 8860 0 -1 4202496 34404 0 0 0 79 20 0 0 18 0 4 0 653241769 409554944 30071 33554432000 4194304 4650419 140735563749248 18446744073709551615 212436122094 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9026/statm: 99989 30072 344 112 0 94954 0
[pid=9026/tid=9027] ppid=9024 vsize=399956 CPUtime=0.24 cores=0,2,4,6
/proc/9026/task/9027/stat : 9027 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 8196 0 0 0 20 4 0 0 17 0 4 0 653241769 409554944 30073 33554432000 4194304 4650419 140735563749248 18446744073709551615 4319766 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9026/tid=9028] ppid=9024 vsize=399956 CPUtime=0.24 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (strangenight1-m) S 9024 9026 8860 0 -1 4202560 8574 0 0 0 20 4 0 0 18 0 4 0 653241769 409554944 30073 33554432000 4194304 4650419 140735563749248 18446744073709551615 212436122094 0 0 4096 2 18446604441454532672 0 0 -1 0 0 0 0
[pid=9026/tid=9029] ppid=9024 vsize=399956 CPUtime=0.24 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 8752 0 0 0 19 5 0 0 18 0 4 0 653241770 409554944 30073 33554432000 4194304 4650419 140735563749248 18446744073709551615 212435664195 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 399956

[startup+0.700644 s]
/proc/loadavg: 8.04 8.05 7.27 6/320 9026
/proc/meminfo: memFree=10766108/32951124 swapFree=67093864/67111528
[pid=9026] ppid=9024 vsize=457616 CPUtime=2.37 cores=0,2,4,6
/proc/9026/stat : 9026 (strangenight1-m) R 9024 9026 8860 0 -1 4202496 77228 0 0 0 191 46 0 0 18 0 4 0 653241769 468598784 68375 33554432000 4194304 4650419 140735563749248 18446744073709551615 212436122094 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9026/statm: 114404 68390 344 112 0 109369 0
[pid=9026/tid=9027] ppid=9024 vsize=457616 CPUtime=0.58 cores=0,2,4,6
/proc/9026/task/9027/stat : 9027 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 18988 0 0 0 48 10 0 0 17 0 4 0 653241769 468598784 68402 33554432000 4194304 4650419 140735563749248 18446744073709551615 4514716 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9026/tid=9028] ppid=9024 vsize=457616 CPUtime=0.59 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 19002 0 0 0 48 11 0 0 17 0 4 0 653241769 468598784 68407 33554432000 4194304 4650419 140735563749248 18446744073709551615 4317229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9026/tid=9029] ppid=9024 vsize=457616 CPUtime=0.58 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 19577 0 0 0 47 11 0 0 17 0 4 0 653241770 468598784 68408 33554432000 4194304 4650419 140735563749248 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 457616

[startup+1.50049 s]
/proc/loadavg: 8.04 8.05 7.27 10/324 9030
/proc/meminfo: memFree=10335212/32951124 swapFree=67093864/67111528
[pid=9026] ppid=9024 vsize=911076 CPUtime=5.27 cores=0,2,4,6
/proc/9026/stat : 9026 (strangenight1-m) R 9024 9026 8860 0 -1 4202496 168763 0 0 0 440 87 0 0 17 0 4 0 653241769 932941824 151060 33554432000 4194304 4650419 140735563749248 18446744073709551615 212435685723 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9026/statm: 227769 151061 344 112 0 222734 0
[pid=9026/tid=9027] ppid=9024 vsize=911076 CPUtime=1.31 cores=0,2,4,6
/proc/9026/task/9027/stat : 9027 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 41802 0 0 0 110 21 0 0 17 0 4 0 653241769 932941824 151062 33554432000 4194304 4650419 140735563749248 18446744073709551615 4546080 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9026/tid=9028] ppid=9024 vsize=911076 CPUtime=1.32 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 42189 0 0 0 112 20 0 0 17 0 4 0 653241769 932941824 151067 33554432000 4194304 4650419 140735563749248 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9026/tid=9029] ppid=9024 vsize=911076 CPUtime=1.31 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 42508 0 0 0 110 21 0 0 17 0 4 0 653241770 932941824 151068 33554432000 4194304 4650419 140735563749248 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.27
Current children cumulated vsize (KiB) 911076

[startup+3.10119 s]
/proc/loadavg: 8.04 8.05 7.27 10/324 9030
/proc/meminfo: memFree=9872320/32951124 swapFree=67093864/67111528
[pid=9026] ppid=9024 vsize=1392504 CPUtime=11.32 cores=0,2,4,6
/proc/9026/stat : 9026 (strangenight1-m) R 9024 9026 8860 0 -1 4202496 312061 0 0 0 982 150 0 0 18 0 4 0 653241769 1425924096 276201 33554432000 4194304 4650419 140735563749248 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9026/statm: 348126 276201 367 112 0 343091 0
[pid=9026/tid=9027] ppid=9024 vsize=1392504 CPUtime=2.82 cores=0,2,4,6
/proc/9026/task/9027/stat : 9027 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 77261 0 0 0 245 37 0 0 18 0 4 0 653241769 1425924096 276201 33554432000 4194304 4650419 140735563749248 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9026/tid=9028] ppid=9024 vsize=1392504 CPUtime=2.83 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 78272 0 0 0 249 34 0 0 18 0 4 0 653241769 1425924096 276201 33554432000 4194304 4650419 140735563749248 18446744073709551615 4370480 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9026/tid=9029] ppid=9024 vsize=1392504 CPUtime=2.83 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 78253 0 0 0 246 37 0 0 18 0 4 0 653241770 1425924096 276202 33554432000 4194304 4650419 140735563749248 18446744073709551615 4366900 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.32
Current children cumulated vsize (KiB) 1392504

[startup+6.30061 s]
/proc/loadavg: 8.12 8.07 7.28 6/318 9051
/proc/meminfo: memFree=9779752/32951124 swapFree=67093864/67111528
[pid=9026] ppid=9024 vsize=1566908 CPUtime=24.06 cores=0,2,4,6
/proc/9026/stat : 9026 (strangenight1-m) R 9024 9026 8860 0 -1 4202496 353296 0 0 0 2246 160 0 0 25 0 4 0 653241769 1604513792 292418 33554432000 4194304 4650419 140735563749248 18446744073709551615 4370286 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9026/statm: 391727 292418 373 112 0 386692 0
[pid=9026/tid=9027] ppid=9024 vsize=1566908 CPUtime=6.01 cores=0,2,4,6
/proc/9026/task/9027/stat : 9027 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 90038 0 0 0 560 41 0 0 18 0 4 0 653241769 1604513792 292418 33554432000 4194304 4650419 140735563749248 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9026/tid=9028] ppid=9024 vsize=1566908 CPUtime=6.03 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 90990 0 0 0 567 36 0 0 23 0 4 0 653241769 1604513792 292418 33554432000 4194304 4650419 140735563749248 18446744073709551615 4244973 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9026/tid=9029] ppid=9024 vsize=1566908 CPUtime=6.02 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 80989 0 0 0 564 38 0 0 25 0 4 0 653241770 1604513792 292418 33554432000 4194304 4650419 140735563749248 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.06
Current children cumulated vsize (KiB) 1566908

[startup+12.7004 s]
/proc/loadavg: 8.11 8.07 7.28 9/324 9060
/proc/meminfo: memFree=9060956/32951124 swapFree=67093864/67111528
[pid=9026] ppid=9024 vsize=1830248 CPUtime=49.49 cores=0,2,4,6
/proc/9026/stat : 9026 (strangenight1-m) R 9024 9026 8860 0 -1 4202496 428667 0 0 0 4766 183 0 0 18 0 4 0 653241769 1874173952 367789 33554432000 4194304 4650419 140735563749248 18446744073709551615 212436060343 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9026/statm: 457562 367793 379 112 0 452527 0
[pid=9026/tid=9027] ppid=9024 vsize=1830248 CPUtime=12.38 cores=0,2,4,6
/proc/9026/task/9027/stat : 9027 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 119230 0 0 0 1189 49 0 0 18 0 4 0 653241769 1874173952 367793 33554432000 4194304 4650419 140735563749248 18446744073709551615 4540186 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9026/tid=9028] ppid=9024 vsize=1830248 CPUtime=12.38 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 115627 0 0 0 1195 43 0 0 18 0 4 0 653241769 1874173952 367794 33554432000 4194304 4650419 140735563749248 18446744073709551615 4426561 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9026/tid=9029] ppid=9024 vsize=1830248 CPUtime=12.42 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 81742 0 0 0 1203 39 0 0 25 0 4 0 653241770 1874173952 367794 33554432000 4194304 4650419 140735563749248 18446744073709551615 4310834 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.49
Current children cumulated vsize (KiB) 1830248

[startup+25.5009 s]
/proc/loadavg: 8.15 8.08 7.30 9/324 9060
/proc/meminfo: memFree=8209416/32951124 swapFree=67093864/67111528
[pid=9026] ppid=9024 vsize=2064804 CPUtime=100.54 cores=0,2,4,6
/proc/9026/stat : 9026 (strangenight1-m) R 9024 9026 8860 0 -1 4202496 490438 0 0 0 9851 203 0 0 25 0 4 0 653241769 2114359296 429497 33554432000 4194304 4650419 140735563749248 18446744073709551615 4433066 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9026/statm: 516201 429497 388 112 0 511166 0
[pid=9026/tid=9027] ppid=9024 vsize=2064804 CPUtime=25.19 cores=0,2,4,6
/proc/9026/task/9027/stat : 9027 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 134749 0 0 0 2464 55 0 0 25 0 4 0 653241769 2114359296 429497 33554432000 4194304 4650419 140735563749248 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9026/tid=9028] ppid=9024 vsize=2064804 CPUtime=25.17 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 135540 0 0 0 2467 50 0 0 25 0 4 0 653241769 2114359296 429497 33554432000 4194304 4650419 140735563749248 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9026/tid=9029] ppid=9024 vsize=2064804 CPUtime=25.12 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 86606 0 0 0 2472 40 0 0 25 0 4 0 653241770 2114359296 429497 33554432000 4194304 4650419 140735563749248 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 100.54
Current children cumulated vsize (KiB) 2064804

[startup+51.1011 s]
/proc/loadavg: 8.10 8.07 7.31 9/324 9061
/proc/meminfo: memFree=8093640/32951124 swapFree=67093864/67111528
[pid=9026] ppid=9024 vsize=2064804 CPUtime=202.68 cores=0,2,4,6
/proc/9026/stat : 9026 (strangenight1-m) R 9024 9026 8860 0 -1 4202496 494550 0 0 0 20063 205 0 0 25 0 4 0 653241769 2114359296 432506 33554432000 4194304 4650419 140735563749248 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9026/statm: 516201 432506 394 112 0 511166 0
[pid=9026/tid=9027] ppid=9024 vsize=2064804 CPUtime=50.78 cores=0,2,4,6
/proc/9026/task/9027/stat : 9027 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 135620 0 0 0 5023 55 0 0 25 0 4 0 653241769 2114359296 432506 33554432000 4194304 4650419 140735563749248 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9026/tid=9028] ppid=9024 vsize=2064804 CPUtime=50.76 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 136508 0 0 0 5026 50 0 0 25 0 4 0 653241769 2114359296 432506 33554432000 4194304 4650419 140735563749248 18446744073709551615 4310960 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9026/tid=9029] ppid=9024 vsize=2064804 CPUtime=50.48 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 87466 0 0 0 5007 41 0 0 25 0 4 0 653241770 2114359296 432506 33554432000 4194304 4650419 140735563749248 18446744073709551615 4310834 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 202.68
Current children cumulated vsize (KiB) 2064804

[startup+102.3 s]
/proc/loadavg: 8.15 8.09 7.36 9/324 9062
/proc/meminfo: memFree=7458624/32951124 swapFree=67093864/67111528
[pid=9026] ppid=9024 vsize=2114568 CPUtime=406.99 cores=0,2,4,6
/proc/9026/stat : 9026 (strangenight1-m) R 9024 9026 8860 0 -1 4202496 708221 0 0 0 40466 233 0 0 25 0 4 0 653241769 2165317632 431799 33554432000 4194304 4650419 140735563749248 18446744073709551615 4230555 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9026/statm: 528642 431799 395 112 0 523607 0
[pid=9026/tid=9027] ppid=9024 vsize=2114568 CPUtime=101.99 cores=0,2,4,6
/proc/9026/task/9027/stat : 9027 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 207737 0 0 0 10136 63 0 0 25 0 4 0 653241769 2165317632 431799 33554432000 4194304 4650419 140735563749248 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9026/tid=9028] ppid=9024 vsize=2114568 CPUtime=101.97 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 156376 0 0 0 10143 54 0 0 25 0 4 0 653241769 2165317632 431799 33554432000 4194304 4650419 140735563749248 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9026/tid=9029] ppid=9024 vsize=2114568 CPUtime=101.68 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 98364 0 0 0 10125 43 0 0 25 0 4 0 653241770 2165317632 431799 33554432000 4194304 4650419 140735563749248 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 406.99
Current children cumulated vsize (KiB) 2114568

[startup+162.301 s]

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


[startup+702.301 s]
/proc/loadavg: 8.04 8.09 7.70 9/324 9108
/proc/meminfo: memFree=6687264/32951124 swapFree=67093864/67111528
[pid=9026] ppid=9024 vsize=4247464 CPUtime=2800.88 cores=0,2,4,6
/proc/9026/stat : 9026 (strangenight1-m) R 9024 9026 8860 0 -1 4202496 1543915 0 0 0 279688 400 0 0 25 0 4 0 653241769 4349403136 914281 33554432000 4194304 4650419 140735563749248 18446744073709551615 4370264 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9026/statm: 1061866 914281 395 112 0 1056831 0
[pid=9026/tid=9027] ppid=9024 vsize=4247464 CPUtime=701.99 cores=0,2,4,6
/proc/9026/task/9027/stat : 9027 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 336658 0 0 0 70108 91 0 0 25 0 4 0 653241769 4349403136 914281 33554432000 4194304 4650419 140735563749248 18446744073709551615 4236868 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9026/tid=9028] ppid=9024 vsize=4247464 CPUtime=697.32 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 317429 0 0 0 69641 91 0 0 25 0 4 0 653241769 4349403136 914281 33554432000 4194304 4650419 140735563749248 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9026/tid=9029] ppid=9024 vsize=4247464 CPUtime=701.02 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 487094 0 0 0 69988 114 0 0 25 0 4 0 653241770 4349403136 914281 33554432000 4194304 4650419 140735563749248 18446744073709551615 4310813 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2800.88
Current children cumulated vsize (KiB) 4247464

[startup+762.301 s]
/proc/loadavg: 8.11 8.10 7.72 9/324 9110
/proc/meminfo: memFree=6214960/32951124 swapFree=67093864/67111528
[pid=9026] ppid=9024 vsize=4237492 CPUtime=3040.3 cores=0,2,4,6
/proc/9026/stat : 9026 (strangenight1-m) R 9024 9026 8860 0 -1 4202496 1568635 0 0 0 303622 408 0 0 25 0 4 0 653241769 4339191808 916907 33554432000 4194304 4650419 140735563749248 18446744073709551615 4230600 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9026/statm: 1059373 916907 395 112 0 1054338 0
[pid=9026/tid=9027] ppid=9024 vsize=4237492 CPUtime=762.01 cores=0,2,4,6
/proc/9026/task/9027/stat : 9027 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 349767 0 0 0 76107 94 0 0 25 0 4 0 653241769 4339191808 916909 33554432000 4194304 4650419 140735563749248 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9026/tid=9028] ppid=9024 vsize=4237492 CPUtime=757.33 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 324558 0 0 0 75638 95 0 0 25 0 4 0 653241769 4339191808 916909 33554432000 4194304 4650419 140735563749248 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9026/tid=9029] ppid=9024 vsize=4237492 CPUtime=760.43 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 488936 0 0 0 75928 115 0 0 25 0 4 0 653241770 4339191808 916909 33554432000 4194304 4650419 140735563749248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3040.3
Current children cumulated vsize (KiB) 4237492

[startup+822.301 s]
/proc/loadavg: 8.04 8.08 7.74 9/324 9112
/proc/meminfo: memFree=5995876/32951124 swapFree=67093864/67111528
[pid=9026] ppid=9024 vsize=4334200 CPUtime=3279.67 cores=0,2,4,6
/proc/9026/stat : 9026 (strangenight1-m) R 9024 9026 8860 0 -1 4202496 1597804 0 0 0 327550 417 0 0 25 0 4 0 653241769 4438220800 935350 33554432000 4194304 4650419 140735563749248 18446744073709551615 4230706 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9026/statm: 1083550 935350 395 112 0 1078515 0
[pid=9026/tid=9027] ppid=9024 vsize=4334200 CPUtime=822 cores=0,2,4,6
/proc/9026/task/9027/stat : 9027 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 358707 0 0 0 82103 97 0 0 25 0 4 0 653241769 4438220800 935350 33554432000 4194304 4650419 140735563749248 18446744073709551615 4310834 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9026/tid=9028] ppid=9024 vsize=4334200 CPUtime=817.32 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 331873 0 0 0 81634 98 0 0 25 0 4 0 653241769 4438220800 935350 33554432000 4194304 4650419 140735563749248 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9026/tid=9029] ppid=9024 vsize=4334200 CPUtime=819.83 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 496949 0 0 0 81865 118 0 0 25 0 4 0 653241770 4438220800 935350 33554432000 4194304 4650419 140735563749248 18446744073709551615 4304183 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.67
Current children cumulated vsize (KiB) 4334200

[startup+882.312 s]
/proc/loadavg: 8.17 8.11 7.77 9/324 9113
/proc/meminfo: memFree=6037620/32951124 swapFree=67093864/67111528
[pid=9026] ppid=9024 vsize=4359492 CPUtime=3519.11 cores=0,2,4,6
/proc/9026/stat : 9026 (strangenight1-m) R 9024 9026 8860 0 -1 4202496 1633362 0 0 0 351485 426 0 0 25 0 4 0 653241769 4464119808 930057 33554432000 4194304 4650419 140735563749248 18446744073709551615 4369378 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9026/statm: 1089873 930057 395 112 0 1084838 0
[pid=9026/tid=9027] ppid=9024 vsize=4359492 CPUtime=882.01 cores=0,2,4,6
/proc/9026/task/9027/stat : 9027 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 370939 0 0 0 88101 100 0 0 25 0 4 0 653241769 4464119808 930057 33554432000 4194304 4650419 140735563749248 18446744073709551615 4236872 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9026/tid=9028] ppid=9024 vsize=4359492 CPUtime=877.33 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 345971 0 0 0 87632 101 0 0 25 0 4 0 653241769 4464119808 930057 33554432000 4194304 4650419 140735563749248 18446744073709551615 4326816 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9026/tid=9029] ppid=9024 vsize=4359492 CPUtime=879.23 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 505116 0 0 0 87803 120 0 0 25 0 4 0 653241770 4464119808 930057 33554432000 4194304 4650419 140735563749248 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3519.11
Current children cumulated vsize (KiB) 4359492

[startup+942.301 s]
/proc/loadavg: 8.21 8.12 7.79 9/324 9115
/proc/meminfo: memFree=5942976/32951124 swapFree=67093864/67111528
[pid=9026] ppid=9024 vsize=4386284 CPUtime=3758.46 cores=0,2,4,6
/proc/9026/stat : 9026 (strangenight1-m) R 9024 9026 8860 0 -1 4202496 1665735 0 0 0 375411 435 0 0 25 0 4 0 653241769 4491554816 946671 33554432000 4194304 4650419 140735563749248 18446744073709551615 4369077 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9026/statm: 1096571 946671 395 112 0 1091536 0
[pid=9026/tid=9027] ppid=9024 vsize=4386284 CPUtime=942 cores=0,2,4,6
/proc/9026/task/9027/stat : 9027 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 370939 0 0 0 94100 100 0 0 25 0 4 0 653241769 4491554816 946671 33554432000 4194304 4650419 140735563749248 18446744073709551615 4230586 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9026/tid=9028] ppid=9024 vsize=4386284 CPUtime=937.32 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 360517 0 0 0 93627 105 0 0 25 0 4 0 653241769 4491554816 946671 33554432000 4194304 4650419 140735563749248 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9026/tid=9029] ppid=9024 vsize=4386284 CPUtime=938.63 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 507251 0 0 0 93741 122 0 0 25 0 4 0 653241770 4491554816 946671 33554432000 4194304 4650419 140735563749248 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3758.46
Current children cumulated vsize (KiB) 4386284

[startup+1002.3 s]
/proc/loadavg: 8.27 8.14 7.82 9/324 9116
/proc/meminfo: memFree=5748008/32951124 swapFree=67093864/67111528
[pid=9026] ppid=9024 vsize=4417432 CPUtime=3997.86 cores=0,2,4,6
/proc/9026/stat : 9026 (strangenight1-m) R 9024 9026 8860 0 -1 4202496 1696806 0 0 0 399342 444 0 0 25 0 4 0 653241769 4523450368 954995 33554432000 4194304 4650419 140735563749248 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9026/statm: 1104358 954995 395 112 0 1099323 0
[pid=9026/tid=9027] ppid=9024 vsize=4417432 CPUtime=1002 cores=0,2,4,6
/proc/9026/task/9027/stat : 9027 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 373594 0 0 0 100099 101 0 0 25 0 4 0 653241769 4523450368 954995 33554432000 4194304 4650419 140735563749248 18446744073709551615 4303888 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9026/tid=9028] ppid=9024 vsize=4417432 CPUtime=997.31 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 369436 0 0 0 99623 108 0 0 25 0 4 0 653241769 4523450368 954995 33554432000 4194304 4650419 140735563749248 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9026/tid=9029] ppid=9024 vsize=4417432 CPUtime=998.03 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 515207 0 0 0 99679 124 0 0 25 0 4 0 653241770 4523450368 954995 33554432000 4194304 4650419 140735563749248 18446744073709551615 4365483 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3997.86
Current children cumulated vsize (KiB) 4417432

[startup+1062.3 s]
/proc/loadavg: 8.10 8.11 7.82 9/324 9118
/proc/meminfo: memFree=5740652/32951124 swapFree=67093864/67111528
[pid=9026] ppid=9024 vsize=4417432 CPUtime=4237.25 cores=0,2,4,6
/proc/9026/stat : 9026 (strangenight1-m) R 9024 9026 8860 0 -1 4202496 1702953 0 0 0 423277 448 0 0 25 0 4 0 653241769 4523450368 953580 33554432000 4194304 4650419 140735563749248 18446744073709551615 4550145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9026/statm: 1104358 953580 395 112 0 1099323 0
[pid=9026/tid=9027] ppid=9024 vsize=4417432 CPUtime=1062 cores=0,2,4,6
/proc/9026/task/9027/stat : 9027 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 374175 0 0 0 106099 101 0 0 25 0 4 0 653241769 4523450368 953580 33554432000 4194304 4650419 140735563749248 18446744073709551615 4363299 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9026/tid=9028] ppid=9024 vsize=4417432 CPUtime=1057.31 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 370452 0 0 0 105622 109 0 0 25 0 4 0 653241769 4523450368 953580 33554432000 4194304 4650419 140735563749248 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9026/tid=9029] ppid=9024 vsize=4417432 CPUtime=1057.43 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 517159 0 0 0 105618 125 0 0 25 0 4 0 653241770 4523450368 953580 33554432000 4194304 4650419 140735563749248 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4237.25
Current children cumulated vsize (KiB) 4417432

[startup+1122.3 s]
/proc/loadavg: 8.14 8.12 7.84 9/324 9120
/proc/meminfo: memFree=5506632/32951124 swapFree=67093864/67111528
[pid=9026] ppid=9024 vsize=4548520 CPUtime=4476.64 cores=0,2,4,6
/proc/9026/stat : 9026 (strangenight1-m) R 9024 9026 8860 0 -1 4202496 1731160 0 0 0 447208 456 0 0 25 0 4 0 653241769 4657684480 979460 33554432000 4194304 4650419 140735563749248 18446744073709551615 4303973 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9026/statm: 1137130 979460 395 112 0 1132095 0
[pid=9026/tid=9027] ppid=9024 vsize=4548520 CPUtime=1122.01 cores=0,2,4,6
/proc/9026/task/9027/stat : 9027 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 381927 0 0 0 112098 103 0 0 25 0 4 0 653241769 4657684480 979460 33554432000 4194304 4650419 140735563749248 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9026/tid=9028] ppid=9024 vsize=4548520 CPUtime=1117.32 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 380242 0 0 0 111620 112 0 0 25 0 4 0 653241769 4657684480 979460 33554432000 4194304 4650419 140735563749248 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9026/tid=9029] ppid=9024 vsize=4548520 CPUtime=1116.83 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 519135 0 0 0 111557 126 0 0 25 0 4 0 653241770 4657684480 979460 33554432000 4194304 4650419 140735563749248 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4476.64
Current children cumulated vsize (KiB) 4548520

[startup+1182.3 s]
/proc/loadavg: 8.05 8.10 7.85 9/324 9121
/proc/meminfo: memFree=5377372/32951124 swapFree=67093864/67111528
[pid=9026] ppid=9024 vsize=4679256 CPUtime=4716.04 cores=0,2,4,6
/proc/9026/stat : 9026 (strangenight1-m) R 9024 9026 8860 0 -1 4202496 1793119 0 0 0 471132 472 0 0 25 0 4 0 653241769 4791558144 1019003 33554432000 4194304 4650419 140735563749248 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9026/statm: 1169814 1019003 395 112 0 1164779 0
[pid=9026/tid=9027] ppid=9024 vsize=4679256 CPUtime=1182.01 cores=0,2,4,6
/proc/9026/task/9027/stat : 9027 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 388597 0 0 0 118097 104 0 0 25 0 4 0 653241769 4791558144 1019003 33554432000 4194304 4650419 140735563749248 18446744073709551615 4335219 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9026/tid=9028] ppid=9024 vsize=4679256 CPUtime=1177.32 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 389003 0 0 0 117616 116 0 0 25 0 4 0 653241769 4791558144 1019003 33554432000 4194304 4650419 140735563749248 18446744073709551615 4365369 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9026/tid=9029] ppid=9024 vsize=4679256 CPUtime=1176.23 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 564607 0 0 0 117487 136 0 0 25 0 4 0 653241770 4791558144 1019003 33554432000 4194304 4650419 140735563749248 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4716.04
Current children cumulated vsize (KiB) 4679256



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.09 8.10 7.85 10/324 9122
/proc/meminfo: memFree=5363468/32951124 swapFree=67093864/67111528
[pid=9026] ppid=9024 vsize=4679256 CPUtime=4800.29 cores=0,2,4,6
/proc/9026/stat : 9026 (strangenight1-m) R 9024 9026 8860 0 -1 4202496 1807915 0 0 0 479553 476 0 0 25 0 4 0 653241769 4791558144 1026977 33554432000 4194304 4650419 140735563749248 18446744073709551615 4474012 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9026/statm: 1169814 1026977 395 112 0 1164779 0
[pid=9026/tid=9027] ppid=9024 vsize=4679256 CPUtime=1203.14 cores=0,2,4,6
/proc/9026/task/9027/stat : 9027 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 389981 0 0 0 120208 106 0 0 25 0 4 0 653241769 4791558144 1026977 33554432000 4194304 4650419 140735563749248 18446744073709551615 4364944 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9026/tid=9028] ppid=9024 vsize=4679256 CPUtime=1198.43 cores=0,2,4,6
/proc/9026/task/9028/stat : 9028 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 395504 0 0 0 119726 117 0 0 25 0 4 0 653241769 4791558144 1026977 33554432000 4194304 4650419 140735563749248 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9026/tid=9029] ppid=9024 vsize=4679256 CPUtime=1197.13 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (strangenight1-m) R 9024 9026 8860 0 -1 4202560 566788 0 0 0 119576 137 0 0 25 0 4 0 653241770 4791558144 1026977 33554432000 4194304 4650419 140735563749248 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 4679256

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

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

[startup+1203.53 s]
/proc/loadavg: 8.09 8.10 7.85 10/324 9122
/proc/meminfo: memFree=5363468/32951124 swapFree=67093864/67111528
[pid=9026] ppid=9024 vsize=0 CPUtime=4800.42 cores=0,2,4,6
/proc/9026/stat : 9026 (strangenight1-m) Z 9024 9026 8860 0 -1 4203548 1807915 0 0 0 479556 486 0 0 25 0 2 0 653241769 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9026/statm: 0 0 0 0 0 0 0
[pid=9026/tid=9029] ppid=9024 vsize=0 CPUtime=1197.23 cores=0,2,4,6
/proc/9026/task/9029/stat : 9029 (strangenight1-m) R 9024 9026 8860 0 -1 4203588 566788 0 0 0 119576 147 0 0 25 0 2 0 653241770 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.42
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.59
CPU time (s): 4800.49
CPU user time (s): 4795.56
CPU system time (s): 4.92725
CPU usage (%): 398.849
Max. virtual memory (cumulated for all children) (KiB): 4810336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.56
system time used= 4.92725
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1807915
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= 170525
involuntary context switches= 23684

runsolver used 3.32749 second user time and 8.74667 second system time

The end

Launcher Data 

Begin job on node102 at 2011-05-15 01:39:54
IDJOB=3369472
IDBENCH=85005
IDSOLVER=1846
FILE ID=node102/3369472-1305416389
RUNJOBID= node102-1305415176-8878
PBS_JOBID= 13324562
Free space on /tmp= 73376 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369472-1305416389/watcher-3369472-1305416389 -o /tmp/evaluation-result-3369472-1305416389/solver-3369472-1305416389 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369472-1305416389.cnf

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

MD5SUM BENCH= 776da55785376fd8eac6989ca812b102
RANDOM SEED=541815427

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:      10766388 kB
Buffers:        262192 kB
Cached:        2985728 kB
SwapCached:       1128 kB
Active:       19878852 kB
Inactive:      2004932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      10766388 kB
SwapTotal:    67111528 kB
SwapFree:     67093864 kB
Dirty:          170088 kB
Writeback:           0 kB
AnonPages:    18634852 kB
Mapped:          26984 kB
Slab:           184088 kB
PageTables:      53476 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 59324104 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= 73372 MiB
End job on node102 at 2011-05-15 02:00:00