Trace number 3367090

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-2-mt (fixed)? (TO) 3808.64 1300.23

General information on the benchmark

NameSAT-Race-2010-CNF/hardware-verification/
velev/1dlx_c_iq60_a.cnf
MD5SUM1e60a63f1ba68b9b3c423ca413b4fa2b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark802.03
Satisfiable
(Un)Satisfiability was proved
Number of variables651875
Number of clauses9927770
Sum of the clauses size28821360
Maximum clause length195
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 28783867
Number of clauses of size 3839934
Number of clauses of size 410777
Number of clauses of size 570916
Number of clauses of size over 5222275

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3367090-1305417907.cnf'
0.00/0.01	c -- header says num vars:         651875
0.00/0.01	c -- header says num clauses:     9927770
10.75/4.01	c -- clauses added:            0 learnts,      9927770 normals,            0 xors
10.75/4.01	c -- vars added     651875
10.75/4.01	c Parsing time:  2.90 s
10.75/4.01	c  N st     0         0    651875   1143902   8783867         0  28821359         0   no data   no data
16.67/4.67	c asymm  cl-useful: 48/48/1143841 lits-rem:1658 time: 0.61
68.66/17.72	c Flit:   269 Blit:  69871 bXBeca:    0 bXProp:  197 Bins:      0 BRemL:      0 BRemN:      0 P: 200.1M T: 13.00
70.25/18.15	c Cleaning up after failed var search:     0.42 s 
72.25/18.63	c Replacing      198 vars Replaced   262002 lits Time:     0.47 s 
75.80/19.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
77.82/20.04	c bin-w-bin subsume rem           59 bins  time:  0.54 s
98.15/25.14	c subs with bin:   156389  lits-rem:    261160  v-fix:    0  time:  5.09 s
124.90/31.81	c Subs w/ non-existent bins:   2277 l-rem:   2373 v-fix:     0 done:  26111 time:  6.67 s
127.69/32.59	c Removed useless bin:     209  fixed:     0  props:  20.03M  time:  0.71 s
173.87/44.13	c lits-rem:     11428  cl-subs:    48002  v-elim: 171567  v-fix:    0  time: 11.31 s
174.70/44.34	c Finding binary XORs  T:     0.21 s  found:    5196
175.86/44.65	c Replacing     5196 vars Replaced   236523 lits Time:     0.30 s 
178.24/45.27	c Finding non-binary XORs:     0.45 s (found:       0, avg size: nan)
178.24/45.27	c calculated reachability. Time: 0.01
179.07/45.42	c Calc default polars -  time:   0.15 s pos:   31578 undec:  247806 neg:  372491
179.07/45.42	c =========================================================================================
179.07/45.42	c types(t): F = full restart, N = normal restart
179.07/45.42	c types(t): S = simplification begin/end, E = solution found
179.07/45.42	c restart types(rt): st = static, dy = dynamic
179.07/45.42	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
179.07/45.42	c  B st     0         0    404588    529474   5996634         0  20086110         0   no data   no data
313.07/79.00	c  N dy    20      4065    404588    529474   5996774      3916  20086110    230260     26.34     33.45
411.28/103.62	c  N dy    34      8494    404588    529474   6000773      8156  20086110    461270     23.87     26.34
490.72/123.58	c  N dy    57     13174    404588    529474   6000887     12658  20086110    726826     23.83     25.94
578.12/145.42	c  N dy    80     17719    404578    529474   6004019     17074  20086110    996809     24.43     25.80
685.08/172.29	c  N dy   108     22155    404578    529474   6007638     11636  20086109    407509     24.94     26.81
764.12/192.04	c  F st   112     25000    404578    529474   6007717     14384  20086109    519166     24.16     22.49
803.58/201.93	c  N st   115     26187    404578    529058   6008112     15528  20084130    575716     24.16   no data
878.62/220.72	c  S st   118     30000    404578    529058   6008179     19261  20084130    820525     24.16   no data
896.19/225.15	c  S st   118     30500    404573    529058   6008321     19614  20084130    822471     24.16   no data
897.39/225.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.26
1037.90/260.61	c Flit:   158 Blit:     17 bXBeca:    0 bXProp:  109 Bins:1409001 BRemL:    256 BRemN:     25 P: 200.5M T: 35.19
1037.90/260.63	c Cleaning up after failed var search:     0.00 s 
1040.69/261.38	c Replacing      109 vars Replaced    51767 lits Time:     0.73 s 
1052.69/264.34	c blocked clauses removed:    23431 vars:  22216 tried:      418559 T: 2.48 s
1055.47/265.02	c bin-w-bin subsume rem         6154 bins  time:  0.68 s
1077.80/270.61	c subs with bin:     8525  lits-rem:    155404  v-fix:    0  time:  5.58 s
1081.39/271.55	c Subs w/ non-existent bins:      6 l-rem:     35 v-fix:     0 done:  94920 time:  0.94 s
1083.78/272.10	c Removed useless bin:   15355  fixed:     0  props:  20.00M  time:  0.54 s
1128.08/283.27	c lits-rem:     10389  cl-subs:     8013  v-elim:  96937  v-fix:    0  time: 11.12 s
1132.07/284.25	c subs with bin:       52  lits-rem:      5608  v-fix:    0  time:  0.86 s
1136.10/285.28	c lits-rem:       249  cl-subs:      887  v-elim:      0  v-fix:    0  time:  0.79 s
1140.09/286.22	c asymm  cl-useful: 78/78/496296 lits-rem:4816 time: 0.94
1140.49/286.37	c calculated reachability. Time: 0.02
1140.49/286.39	c  N dy   118     30500    285094    496296   5225650     12839  15181730   2578685     24.16   no data
1141.26/286.58	c Finding binary XORs  T:     0.19 s  found:    2254
1400.76/375.44	c  N dy   142     34868    285069    496296   5226890     17069  15181730   2809825     24.19     25.83
1816.03/658.47	c  N dy   161     39037    284804    496296   5692827     21109  15181729   3972406     23.80     25.65
1817.23/659.07	c Finding binary XORs  T:     0.16 s  found:     444
1834.42/667.66	c  N dy   193     43088    284771    493644   5678081     13261  15122935   3367338     24.49     42.73
1893.40/693.49	c  S st   206     45750    284524    493644   5777994     15843  15122933   3702035     24.35   no data
1907.77/697.06	c  S st   206     46250    284523    493644   5778084     16249  15122933   3705560     24.35   no data
1908.97/697.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.24
1988.00/717.14	c Flit:   111 Blit:      7 bXBeca:    0 bXProp:   19 Bins: 626799 BRemL:    177 BRemN:     10 P: 200.4M T: 19.64
1988.00/717.15	c Cleaning up after failed var search:     0.00 s 
1990.40/717.75	c Replacing     2717 vars Replaced   506867 lits Time:     0.57 s 
1992.00/718.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1995.19/718.96	c bin-w-bin subsume rem       235524 bins  time:  0.79 s
2016.74/724.36	c subs with bin:    10054  lits-rem:    339892  v-fix:    0  time:  5.36 s
2026.72/726.84	c Subs w/ non-existent bins:   8755 l-rem:   5036 v-fix:     0 done:  35987 time:  2.44 s
2028.73/727.35	c Removed useless bin:   10415  fixed:     0  props:  20.00M  time:  0.49 s
2059.05/734.94	c lits-rem:      1072  cl-subs:     2041  v-elim: 101578  v-fix:    0  time:  7.49 s
2062.24/735.73	c subs with bin:      238  lits-rem:     14405  v-fix:    0  time:  0.69 s
2066.63/736.82	c lits-rem:       929  cl-subs:      691  v-elim:      0  v-fix:    0  time:  0.91 s
2069.82/737.70	c asymm  cl-useful: 47/57/377351 lits-rem:4537 time: 0.88
2070.62/737.82	c calculated reachability. Time: 0.01
2070.62/737.83	c  N dy   206     46250    180091    377351   4249930     14677  10914039   2911415     24.35   no data
2071.02/737.98	c Finding binary XORs  T:     0.15 s  found:     456
2113.33/748.54	c  N dy   207     53978    180091    377351   4250007     22020  10914036   3207077     22.50     24.69
2207.11/784.70	c  N dy   229     58045    180055    377351   4251024     25963  10914035   3427788     22.61     25.51
2290.18/841.89	c  N dy   246     62125    178732    377351   4261029     29877  10914035   3664122     22.47     30.22
2317.74/851.02	c  N dy   256     67020    178731    377351   4261172     18605  10914035   2929889     22.07     24.21
2400.87/899.74	c Finding binary XORs  T:     0.12 s  found:      61
2414.06/904.17	c  S st   274     69376    178648    359087   3779589     20374  10616181   2138207     22.30     17.09
2420.66/906.34	c  S st   274     69876    178646    359087   3779749     20712  10616181   2141254     22.30   no data
2420.96/906.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
2464.94/921.16	c Flit:   242 Blit:    114 bXBeca:    0 bXProp:   12 Bins: 206893 BRemL:    564 BRemN:     22 P: 200.2M T: 14.67
2464.94/921.16	c Cleaning up after failed var search:     0.00 s 
2466.53/921.56	c Replacing      529 vars Replaced    60996 lits Time:     0.38 s 
2467.73/921.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2469.32/922.23	c bin-w-bin subsume rem        18045 bins  time:  0.39 s
2486.89/926.63	c subs with bin:    27093  lits-rem:     47439  v-fix:    0  time:  4.40 s
2498.46/929.55	c Subs w/ non-existent bins:   2919 l-rem:    903 v-fix:     0 done:  29258 time:  2.89 s
2500.05/929.99	c Removed useless bin:    3142  fixed:     0  props:  20.00M  time:  0.43 s
2525.21/936.20	c lits-rem:       472  cl-subs:     1561  v-elim:   7282  v-fix:    0  time:  6.21 s
2528.00/936.97	c subs with bin:      357  lits-rem:      8918  v-fix:    0  time:  0.68 s
2530.02/937.49	c lits-rem:      1174  cl-subs:      914  v-elim:      0  v-fix:    0  time:  0.36 s
2532.80/938.15	c asymm  cl-useful: 76/729/325783 lits-rem:2579 time: 0.66
2533.20/938.26	c calculated reachability. Time: 0.01
2533.20/938.27	c  N dy   274     69876    170451    325778   3786089     15613  10191999   2119210     22.30   no data
2544.36/941.04	c Finding binary XORs  T:     0.12 s  found:     188
2573.33/948.70	c  N dy   288     74769    170389    325778   3787134     20294  10191999   2379706     21.98     23.32
2606.73/957.19	c  N dy   321     81094    170389    325778   3787209     26456  10191998   2663012     21.98     23.15
2639.05/965.27	c  N dy   349     86289    170381    325778   3788884     31470  10191998   2946567     22.07     23.66
2649.83/967.95	c  F st   353     87500    170381    325778   3789203     32599  10191998   3002683     22.01   no data
2651.05/968.29	c Replacing      188 vars Replaced     1526 lits Time:     0.22 s 
2674.86/974.73	c  N dy   359     92696    170193    322654   3686661     20672  10143867   2125708     22.01   no data
2706.92/985.31	c Finding binary XORs  T:     0.12 s  found:      32
2730.07/991.18	c  N dy   392     98709    170102    322475   3850204     26431  10135534   2781418     22.18     48.94
2764.40/999.72	c  S st   428    104814    170101    322475   3853867     32352  10135532   3144602     22.30     22.61
2775.21/1002.42	c  S st   428    105314    170096    322475   3854041     32673  10135532   3148457     22.30   no data
2775.57/1002.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
2839.45/1018.52	c Flit:   241 Blit:    280 bXBeca:    0 bXProp:   31 Bins: 179883 BRemL:    960 BRemN:     35 P: 200.2M T: 15.93
2839.45/1018.52	c Cleaning up after failed var search:     0.00 s 
2841.09/1018.98	c Replacing       63 vars Replaced   200727 lits Time:     0.44 s 
2842.24/1019.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2844.65/1019.81	c bin-w-bin subsume rem        26193 bins  time:  0.57 s
2860.61/1023.80	c subs with bin:     5497  lits-rem:     17859  v-fix:    0  time:  3.99 s
2872.18/1026.79	c Subs w/ non-existent bins:   5370 l-rem:   1805 v-fix:     0 done:  33835 time:  2.97 s
2874.18/1027.27	c Removed useless bin:   17260  fixed:     0  props:  20.01M  time:  0.48 s
2882.96/1029.48	c lits-rem:       273  cl-subs:     5572  v-elim:   4912  v-fix:    0  time:  2.20 s
2889.37/1031.04	c subs with bin:       65  lits-rem:      3064  v-fix:    0  time:  1.44 s
2893.36/1032.10	c lits-rem:     15923  cl-subs:     1728  v-elim:      0  v-fix:    0  time:  0.90 s
2896.53/1032.81	c asymm  cl-useful: 127/542/300814 lits-rem:6287 time: 0.71
2896.93/1032.91	c calculated reachability. Time: 0.01
2896.93/1032.92	c  N dy   428    105314    164580    300805   3452626     28387   9744533   2341521     22.30   no data
2897.33/1033.04	c Finding binary XORs  T:     0.13 s  found:       6
2952.57/1047.13	c  N dy   447    113268    164577    300805   3453254     36047   9744531   2796458     21.94     23.35
2996.49/1058.14	c  N dy   505    120603    164539    300805   3470566     24688   9744530   1992353     22.50     23.74
3040.54/1069.41	c  N dy   573    128361    164537    300805   3471518     32280   9744529   2533174     23.18     42.86
3084.86/1080.45	c  N dy   647    136737    164537    300805   3471736     40408   9744490   3092973     23.97     26.24
3136.34/1093.37	c  N dy   709    145490    164537    300805   3472233     27438   9744485   1994038     24.39     25.76
3188.63/1106.46	c  N dy   769    154929    164535    300805   3472645     36606   9744485   2660496     24.61     25.99
3205.79/1110.78	c  S st   791    157972    164535    300805   3472839     39562   9744485   2866518     24.78   no data
3217.37/1113.63	c  S st   791    158472    164531    300805   3473000     39897   9744485   2878996     24.78   no data
3217.77/1113.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
3281.64/1129.74	c Flit:   666 Blit:     52 bXBeca:    0 bXProp:   18 Bins: 183762 BRemL:   1872 BRemN:     63 P: 200.1M T: 15.95
3281.64/1129.75	c Cleaning up after failed var search:     0.00 s 
3283.23/1130.12	c Replacing       24 vars Replaced    38321 lits Time:     0.36 s 
3284.03/1130.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
3285.63/1130.70	c bin-w-bin subsume rem         4236 bins  time:  0.32 s
3300.80/1134.52	c subs with bin:     2229  lits-rem:      6519  v-fix:    0  time:  3.81 s
3310.77/1137.02	c Subs w/ non-existent bins:     25 l-rem:     26 v-fix:     0 done:  35461 time:  2.49 s
3313.19/1137.65	c Removed useless bin:   36159  fixed:     0  props:  20.00M  time:  0.63 s
3319.96/1139.33	c lits-rem:       473  cl-subs:      905  v-elim:   2551  v-fix:    0  time:  1.67 s
3325.95/1140.89	c subs with bin:       41  lits-rem:       661  v-fix:    0  time:  1.43 s
3331.53/1142.24	c lits-rem:      8099  cl-subs:     1728  v-elim:      0  v-fix:    0  time:  1.17 s
3334.33/1142.94	c asymm  cl-useful: 165/611/294806 lits-rem:6855 time: 0.70
3334.73/1143.04	c calculated reachability. Time: 0.01
3334.73/1143.05	c  N dy   791    158472    161125    294802   3440663     37231   9517182   2790251     24.78   no data
3335.15/1143.18	c Finding binary XORs  T:     0.13 s  found:       7
3394.61/1158.02	c  N dy   869    168776    161121    294802   3445029     24496   9517178   1812082     25.19     27.30
3459.27/1174.20	c  N dy   955    179587    161121    294802   3445276     35004   9517086   2567579     25.83     29.76
3531.92/1192.41	c  N dy  1033    191344    161121    294802   3445625     46429   9517085   3334487     26.13     27.82
3619.17/1214.98	c Finding binary XORs  T:     0.12 s  found:      14
3631.88/1219.00	c  N dy  1124    203695    160951    294149   3678369     33928   9503356   2859144     26.60     28.15
3709.85/1239.37	c  N dy  1224    217028    160929    294149   3690181     46879   9503268   3804628     26.97     28.50
3773.33/1277.85	c Finding binary XORs  T:     0.11 s  found:      14

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-3367090-1305417907/watcher-3367090-1305417907 -o /tmp/evaluation-result-3367090-1305417907/solver-3367090-1305417907 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367090-1305417907.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.07 8.16 7.73 5/265 18468
/proc/meminfo: memFree=22617556/32951124 swapFree=61565116/67111528
[pid=18468] ppid=18466 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18468/stat : 18468 (strangenight2-m) R 18466 18468 17979 0 -1 4202496 407 0 0 0 0 0 0 0 23 0 4 0 653389147 52396032 347 33554432000 4194304 4580107 140737250045872 18446744073709551615 46975249520552 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18468/statm: 12792 347 299 95 0 7774 0
[pid=18468/tid=18469] ppid=18466 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18468/task/18469/stat : 18469 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 653389147 52396032 347 33554432000 4194304 4580107 140737250045872 18446744073709551615 246516890609 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18468/tid=18470] ppid=18466 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18468/task/18470/stat : 18470 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 653389147 52396032 347 33554432000 4194304 4580107 140737250045872 18446744073709551615 46975249520560 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18468/tid=18471] ppid=18466 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18468/task/18471/stat : 18471 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 653389147 52396032 347 33554432000 4194304 4580107 140737250045872 18446744073709551615 46975249520562 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.073985 s]
/proc/loadavg: 8.07 8.16 7.73 5/265 18468
/proc/meminfo: memFree=22617556/32951124 swapFree=61565116/67111528
[pid=18468] ppid=18466 vsize=361196 CPUtime=0.23 cores=0,2,4,6
/proc/18468/stat : 18468 (strangenight2-m) R 18466 18468 17979 0 -1 4202496 10366 0 0 0 19 4 0 0 18 0 4 0 653389147 369864704 9334 33554432000 4194304 4580107 140737250045872 18446744073709551615 246516877495 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18468/statm: 90299 9410 337 95 0 85281 0
[pid=18468/tid=18469] ppid=18466 vsize=361196 CPUtime=0.04 cores=0,2,4,6
/proc/18468/task/18469/stat : 18469 (strangenight2-m) S 18466 18468 17979 0 -1 4202560 2574 0 0 0 4 0 0 0 18 0 4 0 653389147 369864704 9459 33554432000 4194304 4580107 140737250045872 18446744073709551615 246516939246 0 0 4096 2 18446604452730812416 0 0 -1 6 0 0 0
[pid=18468/tid=18470] ppid=18466 vsize=361196 CPUtime=0.05 cores=0,2,4,6
/proc/18468/task/18470/stat : 18470 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 2608 0 0 0 5 0 0 0 18 0 4 0 653389147 369864704 9483 33554432000 4194304 4580107 140737250045872 18446744073709551615 246516495393 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18468/tid=18471] ppid=18466 vsize=361196 CPUtime=0.05 cores=0,2,4,6
/proc/18468/task/18471/stat : 18471 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 2680 0 0 0 4 1 0 0 18 0 4 0 653389147 369864704 9515 33554432000 4194304 4580107 140737250045872 18446744073709551615 246516877495 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 361196

[startup+0.105046 s]
/proc/loadavg: 8.07 8.16 7.73 5/265 18468
/proc/meminfo: memFree=22617556/32951124 swapFree=61565116/67111528
[pid=18468] ppid=18466 vsize=370172 CPUtime=0.32 cores=0,2,4,6
/proc/18468/stat : 18468 (strangenight2-m) S 18466 18468 17979 0 -1 4202496 15113 0 0 0 26 6 0 0 18 0 4 0 653389147 379056128 13019 33554432000 4194304 4580107 140737250045872 18446744073709551615 246516939246 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18468/statm: 92623 13019 337 95 0 87605 0
[pid=18468/tid=18469] ppid=18466 vsize=370812 CPUtime=0.07 cores=0,2,4,6
/proc/18468/task/18469/stat : 18469 (strangenight2-m) S 18466 18468 17979 0 -1 4202560 3748 0 0 0 6 1 0 0 18 0 4 0 653389147 379711488 13020 33554432000 4194304 4580107 140737250045872 18446744073709551615 246516939246 0 0 4096 2 18446604452730812416 0 0 -1 6 0 0 0
[pid=18468/tid=18470] ppid=18466 vsize=371452 CPUtime=0.08 cores=0,2,4,6
/proc/18468/task/18470/stat : 18470 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 3871 0 0 0 7 1 0 0 18 0 4 0 653389147 380366848 13148 33554432000 4194304 4580107 140737250045872 18446744073709551615 246516939246 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18468/tid=18471] ppid=18466 vsize=371452 CPUtime=0.08 cores=0,2,4,6
/proc/18468/task/18471/stat : 18471 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 3759 0 0 0 6 2 0 0 18 0 4 0 653389147 380366848 13257 33554432000 4194304 4580107 140737250045872 18446744073709551615 246516939295 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 370172

[startup+0.302944 s]
/proc/loadavg: 8.07 8.16 7.73 5/265 18468
/proc/meminfo: memFree=22617556/32951124 swapFree=61565116/67111528
[pid=18468] ppid=18466 vsize=401600 CPUtime=1.03 cores=0,2,4,6
/proc/18468/stat : 18468 (strangenight2-m) R 18466 18468 17979 0 -1 4202496 40512 0 0 0 83 20 0 0 18 0 4 0 653389147 411238400 36189 33554432000 4194304 4580107 140737250045872 18446744073709551615 246516939295 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18468/statm: 100400 36292 337 95 0 95382 0
[pid=18468/tid=18469] ppid=18466 vsize=401600 CPUtime=0.24 cores=0,2,4,6
/proc/18468/task/18469/stat : 18469 (strangenight2-m) S 18466 18468 17979 0 -1 4202560 10373 0 0 0 20 4 0 0 18 0 4 0 653389147 411238400 36338 33554432000 4194304 4580107 140737250045872 18446744073709551615 246516939246 0 0 4096 2 18446604452730812416 0 0 -1 6 0 0 0
[pid=18468/tid=18470] ppid=18466 vsize=401600 CPUtime=0.25 cores=0,2,4,6
/proc/18468/task/18470/stat : 18470 (strangenight2-m) S 18466 18468 17979 0 -1 4202560 10395 0 0 0 21 4 0 0 18 0 4 0 653389147 411238400 36354 33554432000 4194304 4580107 140737250045872 18446744073709551615 246516939246 0 0 4096 2 18446604452730812416 0 0 -1 0 0 0 0
[pid=18468/tid=18471] ppid=18466 vsize=401600 CPUtime=0.25 cores=0,2,4,6
/proc/18468/task/18471/stat : 18471 (strangenight2-m) S 18466 18468 17979 0 -1 4202560 10018 0 0 0 20 5 0 0 18 0 4 0 653389147 411238400 36370 33554432000 4194304 4580107 140737250045872 18446744073709551615 246516939246 0 0 4096 2 18446604452730812416 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 401600

[startup+0.704798 s]
/proc/loadavg: 8.07 8.16 7.73 5/265 18468
/proc/meminfo: memFree=22617556/32951124 swapFree=61565116/67111528
[pid=18468] ppid=18466 vsize=635296 CPUtime=2.44 cores=0,2,4,6
/proc/18468/stat : 18468 (strangenight2-m) R 18466 18468 17979 0 -1 4202496 100894 0 0 0 195 49 0 0 18 0 4 0 653389147 650543104 83836 33554432000 4194304 4580107 140737250045872 18446744073709551615 4510992 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18468/statm: 158824 83837 337 95 0 153806 0
[pid=18468/tid=18469] ppid=18466 vsize=635296 CPUtime=0.61 cores=0,2,4,6
/proc/18468/task/18469/stat : 18469 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 25581 0 0 0 48 13 0 0 18 0 4 0 653389147 650543104 83837 33554432000 4194304 4580107 140737250045872 18446744073709551615 246516939246 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18468/tid=18470] ppid=18466 vsize=635296 CPUtime=0.6 cores=0,2,4,6
/proc/18468/task/18470/stat : 18470 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 26008 0 0 0 50 10 0 0 18 0 4 0 653389147 650543104 83840 33554432000 4194304 4580107 140737250045872 18446744073709551615 4253220 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18468/tid=18471] ppid=18466 vsize=635296 CPUtime=0.59 cores=0,2,4,6
/proc/18468/task/18471/stat : 18471 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 24724 0 0 0 47 12 0 0 18 0 4 0 653389147 650543104 83845 33554432000 4194304 4580107 140737250045872 18446744073709551615 246516939295 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 635296

[startup+1.50065 s]
/proc/loadavg: 8.07 8.16 7.73 9/269 18472
/proc/meminfo: memFree=22140892/32951124 swapFree=61565116/67111528
[pid=18468] ppid=18466 vsize=1016908 CPUtime=5.2 cores=0,2,4,6
/proc/18468/stat : 18468 (strangenight2-m) R 18466 18468 17979 0 -1 4202496 211671 0 0 0 415 105 0 0 18 0 4 0 653389147 1041313792 177525 33554432000 4194304 4580107 140737250045872 18446744073709551615 246516939246 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18468/statm: 254227 177526 337 95 0 249209 0
[pid=18468/tid=18469] ppid=18466 vsize=1016908 CPUtime=1.29 cores=0,2,4,6
/proc/18468/task/18469/stat : 18469 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 52717 0 0 0 103 26 0 0 18 0 4 0 653389147 1041313792 177526 33554432000 4194304 4580107 140737250045872 18446744073709551615 4511920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18468/tid=18470] ppid=18466 vsize=1016908 CPUtime=1.3 cores=0,2,4,6
/proc/18468/task/18470/stat : 18470 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 55141 0 0 0 107 23 0 0 18 0 4 0 653389147 1041313792 177526 33554432000 4194304 4580107 140737250045872 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18468/tid=18471] ppid=18466 vsize=1016908 CPUtime=1.28 cores=0,2,4,6
/proc/18468/task/18471/stat : 18471 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 51398 0 0 0 102 26 0 0 18 0 4 0 653389147 1041313792 177526 33554432000 4194304 4580107 140737250045872 18446744073709551615 246516939295 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.2
Current children cumulated vsize (KiB) 1016908

[startup+3.10035 s]
/proc/loadavg: 8.07 8.16 7.73 7/269 18472
/proc/meminfo: memFree=21647000/32951124 swapFree=61565116/67111528
[pid=18468] ppid=18466 vsize=2430712 CPUtime=10.75 cores=0,2,4,6
/proc/18468/stat : 18468 (strangenight2-m) R 18466 18468 17979 0 -1 4202496 431544 0 0 0 879 196 0 0 17 0 4 0 653389147 2489049088 363053 33554432000 4194304 4580107 140737250045872 18446744073709551615 246516939295 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18468/statm: 607678 363056 337 95 0 602660 0
[pid=18468/tid=18469] ppid=18466 vsize=2430712 CPUtime=2.67 cores=0,2,4,6
/proc/18468/task/18469/stat : 18469 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 108971 0 0 0 218 49 0 0 17 0 4 0 653389147 2489049088 363061 33554432000 4194304 4580107 140737250045872 18446744073709551615 4487356 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18468/tid=18470] ppid=18466 vsize=2430712 CPUtime=2.68 cores=0,2,4,6
/proc/18468/task/18470/stat : 18470 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 111386 0 0 0 222 46 0 0 17 0 4 0 653389147 2489049088 363062 33554432000 4194304 4580107 140737250045872 18446744073709551615 246516939246 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18468/tid=18471] ppid=18466 vsize=2430712 CPUtime=2.68 cores=0,2,4,6
/proc/18468/task/18471/stat : 18471 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 108258 0 0 0 218 50 0 0 17 0 4 0 653389147 2489049088 363063 33554432000 4194304 4580107 140737250045872 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.75
Current children cumulated vsize (KiB) 2430712

[startup+6.30078 s]
/proc/loadavg: 8.30 8.20 7.75 10/269 18472
/proc/meminfo: memFree=20737912/32951124 swapFree=61565116/67111528
[pid=18468] ppid=18466 vsize=2690008 CPUtime=23.16 cores=0,2,4,6
/proc/18468/stat : 18468 (strangenight2-m) R 18466 18468 17979 0 -1 4202496 538192 0 0 0 2059 257 0 0 18 0 4 0 653389147 2754568192 468521 33554432000 4194304 4580107 140737250045872 18446744073709551615 4293301 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18468/statm: 672502 468521 360 95 0 667484 0
[pid=18468/tid=18469] ppid=18466 vsize=2690008 CPUtime=5.78 cores=0,2,4,6
/proc/18468/task/18469/stat : 18469 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 135690 0 0 0 513 65 0 0 19 0 4 0 653389147 2754568192 468521 33554432000 4194304 4580107 140737250045872 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18468/tid=18470] ppid=18466 vsize=2690008 CPUtime=5.76 cores=0,2,4,6
/proc/18468/task/18470/stat : 18470 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 138324 0 0 0 514 62 0 0 19 0 4 0 653389147 2754568192 468521 33554432000 4194304 4580107 140737250045872 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18468/tid=18471] ppid=18466 vsize=2690008 CPUtime=5.79 cores=0,2,4,6
/proc/18468/task/18471/stat : 18471 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 134414 0 0 0 514 65 0 0 21 0 4 0 653389147 2754568192 468521 33554432000 4194304 4580107 140737250045872 18446744073709551615 4293812 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.16
Current children cumulated vsize (KiB) 2690008

[startup+12.7006 s]
/proc/loadavg: 8.28 8.20 7.75 9/269 18472
/proc/meminfo: memFree=20712488/32951124 swapFree=61565116/67111528
[pid=18468] ppid=18466 vsize=2691876 CPUtime=48.69 cores=0,2,4,6
/proc/18468/stat : 18468 (strangenight2-m) R 18466 18468 17979 0 -1 4202496 542776 0 0 0 4611 258 0 0 25 0 4 0 653389147 2756481024 470622 33554432000 4194304 4580107 140737250045872 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18468/statm: 672969 470622 360 95 0 667951 0
[pid=18468/tid=18469] ppid=18466 vsize=2691876 CPUtime=12.18 cores=0,2,4,6
/proc/18468/task/18469/stat : 18469 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 136109 0 0 0 1153 65 0 0 25 0 4 0 653389147 2756481024 470622 33554432000 4194304 4580107 140737250045872 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18468/tid=18470] ppid=18466 vsize=2691876 CPUtime=12.11 cores=0,2,4,6
/proc/18468/task/18470/stat : 18470 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 138808 0 0 0 1149 62 0 0 25 0 4 0 653389147 2756481024 470622 33554432000 4194304 4580107 140737250045872 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18468/tid=18471] ppid=18466 vsize=2691876 CPUtime=12.19 cores=0,2,4,6
/proc/18468/task/18471/stat : 18471 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 137668 0 0 0 1154 65 0 0 25 0 4 0 653389147 2756481024 470622 33554432000 4194304 4580107 140737250045872 18446744073709551615 4306048 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 48.69
Current children cumulated vsize (KiB) 2691876

[startup+25.5003 s]
/proc/loadavg: 8.28 8.20 7.76 9/269 18472
/proc/meminfo: memFree=20010392/32951124 swapFree=61565116/67111528
[pid=18468] ppid=18466 vsize=3477388 CPUtime=99.77 cores=0,2,4,6
/proc/18468/stat : 18468 (strangenight2-m) R 18466 18468 17979 0 -1 4202496 709605 0 0 0 9683 294 0 0 25 0 4 0 653389147 3560845312 637433 33554432000 4194304 4580107 140737250045872 18446744073709551615 4331047 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18468/statm: 869347 637433 372 95 0 864329 0
[pid=18468/tid=18469] ppid=18466 vsize=3477388 CPUtime=24.98 cores=0,2,4,6
/proc/18468/task/18469/stat : 18469 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 191413 0 0 0 2420 78 0 0 25 0 4 0 653389147 3560845312 637433 33554432000 4194304 4580107 140737250045872 18446744073709551615 4446284 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18468/tid=18470] ppid=18466 vsize=3477388 CPUtime=24.79 cores=0,2,4,6
/proc/18468/task/18470/stat : 18470 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 193691 0 0 0 2407 72 0 0 25 0 4 0 653389147 3560845312 637433 33554432000 4194304 4580107 140737250045872 18446744073709551615 4444188 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18468/tid=18471] ppid=18466 vsize=3477388 CPUtime=24.99 cores=0,2,4,6
/proc/18468/task/18471/stat : 18471 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 137879 0 0 0 2434 65 0 0 25 0 4 0 653389147 3560845312 637433 33554432000 4194304 4580107 140737250045872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 99.77
Current children cumulated vsize (KiB) 3477388

[startup+51.1006 s]
/proc/loadavg: 7.78 8.10 7.74 9/269 18502
/proc/meminfo: memFree=18114136/32951124 swapFree=61565116/67111528
[pid=18468] ppid=18466 vsize=4061536 CPUtime=201.7 cores=0,2,4,6
/proc/18468/stat : 18468 (strangenight2-m) R 18466 18468 17979 0 -1 4202496 873350 0 0 0 19790 380 0 0 25 0 4 0 653389147 4159012864 779480 33554432000 4194304 4580107 140737250045872 18446744073709551615 4293292 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18468/statm: 1015384 779480 378 95 0 1010366 0
[pid=18468/tid=18469] ppid=18466 vsize=4061536 CPUtime=50.52 cores=0,2,4,6
/proc/18468/task/18469/stat : 18469 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 247875 0 0 0 4953 99 0 0 25 0 4 0 653389147 4159012864 779480 33554432000 4194304 4580107 140737250045872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18468/tid=18470] ppid=18466 vsize=4061536 CPUtime=50.04 cores=0,2,4,6
/proc/18468/task/18470/stat : 18470 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 244134 0 0 0 4890 114 0 0 25 0 4 0 653389147 4159012864 779480 33554432000 4194304 4580107 140737250045872 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18468/tid=18471] ppid=18466 vsize=4061536 CPUtime=50.58 cores=0,2,4,6
/proc/18468/task/18471/stat : 18471 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 139978 0 0 0 4992 66 0 0 25 0 4 0 653389147 4159012864 779480 33554432000 4194304 4580107 140737250045872 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 201.7
Current children cumulated vsize (KiB) 4061536

[startup+102.3 s]
/proc/loadavg: 8.04 8.13 7.76 9/269 18503
/proc/meminfo: memFree=16609816/32951124 swapFree=61565116/67111528
[pid=18468] ppid=18466 vsize=4128596 CPUtime=406.06 cores=0,2,4,6
/proc/18468/stat : 18468 (strangenight2-m) R 18466 18468 17979 0 -1 4202496 908388 0 0 0 40219 387 0 0 25 0 4 0 653389147 4227682304 808199 33554432000 4194304 4580107 140737250045872 18446744073709551615 4293222 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18468/statm: 1032149 808199 378 95 0 1027131 0
[pid=18468/tid=18469] ppid=18466 vsize=4128596 CPUtime=101.7 cores=0,2,4,6
/proc/18468/task/18469/stat : 18469 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 250068 0 0 0 10070 100 0 0 25 0 4 0 653389147 4227682304 808199 33554432000 4194304 4580107 140737250045872 18446744073709551615 4306424 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18468/tid=18470] ppid=18466 vsize=4128596 CPUtime=100.82 cores=0,2,4,6
/proc/18468/task/18470/stat : 18470 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 254922 0 0 0 9966 116 0 0 25 0 4 0 653389147 4227682304 808199 33554432000 4194304 4580107 140737250045872 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18468/tid=18471] ppid=18466 vsize=4128596 CPUtime=101.77 cores=0,2,4,6
/proc/18468/task/18471/stat : 18471 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 158987 0 0 0 10108 69 0 0 25 0 4 0 653389147 4227682304 808199 33554432000 4194304 4580107 140737250045872 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 406.06
Current children cumulated vsize (KiB) 4128596

[startup+162.3 s]

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


[startup+762.301 s]
/proc/loadavg: 6.62 5.90 6.70 7/269 18521
/proc/meminfo: memFree=14241352/32951124 swapFree=61565116/67111528
[pid=18468] ppid=18466 vsize=5083580 CPUtime=2156.53 cores=0,2,4,6
/proc/18468/stat : 18468 (strangenight2-m) R 18466 18468 17979 0 -1 4202496 1601883 0 0 0 215110 543 0 0 25 0 4 0 653389147 5205585920 1101008 33554432000 4194304 4580107 140737250045872 18446744073709551615 4518621 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18468/statm: 1270895 1101008 381 95 0 1265877 0
[pid=18468/tid=18469] ppid=18466 vsize=5083580 CPUtime=523.57 cores=0,2,4,6
/proc/18468/task/18469/stat : 18469 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 377247 0 0 0 52229 128 0 0 25 0 4 0 653389147 5205585920 1101008 33554432000 4194304 4580107 140737250045872 18446744073709551615 4413640 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18468/tid=18470] ppid=18466 vsize=5083580 CPUtime=541.57 cores=0,2,4,6
/proc/18468/task/18470/stat : 18470 (strangenight2-m) S 18466 18468 17979 0 -1 4202560 370426 0 0 0 54021 136 0 0 25 0 4 0 653389147 5205585920 1101008 33554432000 4194304 4580107 140737250045872 18446744073709551615 46975249519134 0 0 4096 2 18446604452730812416 0 0 -1 6 0 0 0
[pid=18468/tid=18471] ppid=18466 vsize=5083580 CPUtime=599.5 cores=0,2,4,6
/proc/18468/task/18471/stat : 18471 (strangenight2-m) S 18466 18468 17979 0 -1 4202560 490985 0 0 0 59803 147 0 0 25 0 4 0 653389147 5205585920 1101008 33554432000 4194304 4580107 140737250045872 18446744073709551615 46975249519134 0 0 4096 2 18446604452730812416 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2156.53
Current children cumulated vsize (KiB) 5083580

[startup+822.3 s]
/proc/loadavg: 5.58 5.74 6.60 6/269 18523
/proc/meminfo: memFree=13940024/32951124 swapFree=61565116/67111528
[pid=18468] ppid=18466 vsize=5134376 CPUtime=2264.05 cores=0,2,4,6
/proc/18468/stat : 18468 (strangenight2-m) S 18466 18468 17979 0 -1 4202496 1629558 0 0 0 225857 548 0 0 25 0 4 0 653389147 5257601024 1122319 33554432000 4194304 4580107 140737250045872 18446744073709551615 46975249519134 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18468/statm: 1283594 1122319 381 95 0 1278576 0
[pid=18468/tid=18469] ppid=18466 vsize=5134376 CPUtime=551.06 cores=0,2,4,6
/proc/18468/task/18469/stat : 18469 (strangenight2-m) S 18466 18468 17979 0 -1 4202560 401599 0 0 0 54974 132 0 0 25 0 4 0 653389147 5257601024 1122319 33554432000 4194304 4580107 140737250045872 18446744073709551615 46975249519134 0 0 4096 2 18446604452730812416 0 0 -1 0 0 0 0
[pid=18468/tid=18470] ppid=18466 vsize=5134376 CPUtime=581.17 cores=0,2,4,6
/proc/18468/task/18470/stat : 18470 (strangenight2-m) S 18466 18468 17979 0 -1 4202560 371498 0 0 0 57981 136 0 0 25 0 4 0 653389147 5257601024 1122319 33554432000 4194304 4580107 140737250045872 18446744073709551615 46975249519134 0 0 4096 2 18446604452730812416 0 0 -1 0 0 0 0
[pid=18468/tid=18471] ppid=18466 vsize=5134376 CPUtime=613.86 cores=0,2,4,6
/proc/18468/task/18471/stat : 18471 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 492276 0 0 0 61238 148 0 0 25 0 4 0 653389147 5257601024 1122319 33554432000 4194304 4580107 140737250045872 18446744073709551615 4518611 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2264.05
Current children cumulated vsize (KiB) 5134376

[startup+882.3 s]
/proc/loadavg: 5.70 5.76 6.55 7/269 18524
/proc/meminfo: memFree=13909624/32951124 swapFree=61565116/67111528
[pid=18468] ppid=18466 vsize=5085132 CPUtime=2367.05 cores=0,2,4,6
/proc/18468/stat : 18468 (strangenight2-m) S 18466 18468 17979 0 -1 4202496 1633342 0 0 0 236157 548 0 0 25 0 4 0 653389147 5207175168 1115551 33554432000 4194304 4580107 140737250045872 18446744073709551615 46975249519134 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18468/statm: 1271283 1115551 381 95 0 1266265 0
[pid=18468/tid=18469] ppid=18466 vsize=5085132 CPUtime=594.66 cores=0,2,4,6
/proc/18468/task/18469/stat : 18469 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 402601 0 0 0 59334 132 0 0 25 0 4 0 653389147 5207175168 1115551 33554432000 4194304 4580107 140737250045872 18446744073709551615 4301898 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18468/tid=18470] ppid=18466 vsize=5085132 CPUtime=587.97 cores=0,2,4,6
/proc/18468/task/18470/stat : 18470 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 372482 0 0 0 58661 136 0 0 25 0 4 0 653389147 5207175168 1115551 33554432000 4194304 4580107 140737250045872 18446744073709551615 4518611 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18468/tid=18471] ppid=18466 vsize=5085132 CPUtime=653.62 cores=0,2,4,6
/proc/18468/task/18471/stat : 18471 (strangenight2-m) S 18466 18468 17979 0 -1 4202560 493576 0 0 0 65214 148 0 0 25 0 4 0 653389147 5207175168 1115551 33554432000 4194304 4580107 140737250045872 18446744073709551615 46975249519134 0 0 4096 2 18446604452730812416 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2367.05
Current children cumulated vsize (KiB) 5085132

[startup+942.3 s]
/proc/loadavg: 6.59 5.97 6.57 7/269 18526
/proc/meminfo: memFree=13335224/32951124 swapFree=61565116/67111528
[pid=18468] ppid=18466 vsize=5146844 CPUtime=2549.55 cores=0,2,4,6
/proc/18468/stat : 18468 (strangenight2-m) R 18466 18468 17979 0 -1 4202496 1675278 0 0 0 254398 557 0 0 25 0 4 0 653389147 5270368256 1134771 33554432000 4194304 4580107 140737250045872 18446744073709551615 4294220 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18468/statm: 1286711 1134771 381 95 0 1281693 0
[pid=18468/tid=18469] ppid=18466 vsize=5146844 CPUtime=629.38 cores=0,2,4,6
/proc/18468/task/18469/stat : 18469 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 418757 0 0 0 62803 135 0 0 25 0 4 0 653389147 5270368256 1134771 33554432000 4194304 4580107 140737250045872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18468/tid=18470] ppid=18466 vsize=5146844 CPUtime=640.66 cores=0,2,4,6
/proc/18468/task/18470/stat : 18470 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 376087 0 0 0 63929 137 0 0 25 0 4 0 653389147 5270368256 1134771 33554432000 4194304 4580107 140737250045872 18446744073709551615 4413346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18468/tid=18471] ppid=18466 vsize=5146844 CPUtime=696.24 cores=0,2,4,6
/proc/18468/task/18471/stat : 18471 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 495678 0 0 0 69475 149 0 0 25 0 4 0 653389147 5270368256 1134771 33554432000 4194304 4580107 140737250045872 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2549.55
Current children cumulated vsize (KiB) 5146844

[startup+1002.3 s]
/proc/loadavg: 6.60 6.06 6.56 9/269 18527
/proc/meminfo: memFree=13198408/32951124 swapFree=61565116/67111528
[pid=18468] ppid=18466 vsize=5317916 CPUtime=2774.8 cores=0,2,4,6
/proc/18468/stat : 18468 (strangenight2-m) R 18466 18468 17979 0 -1 4202496 1870393 0 0 0 276895 585 0 0 25 0 4 0 653389147 5445545984 1155709 33554432000 4194304 4580107 140737250045872 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18468/statm: 1329479 1155709 381 95 0 1324461 0
[pid=18468/tid=18469] ppid=18466 vsize=5317916 CPUtime=683.52 cores=0,2,4,6
/proc/18468/task/18469/stat : 18469 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 422140 0 0 0 68216 136 0 0 25 0 4 0 653389147 5445545984 1155709 33554432000 4194304 4580107 140737250045872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18468/tid=18470] ppid=18466 vsize=5317916 CPUtime=700.67 cores=0,2,4,6
/proc/18468/task/18470/stat : 18470 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 389680 0 0 0 69927 140 0 0 25 0 4 0 653389147 5445545984 1155709 33554432000 4194304 4580107 140737250045872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18468/tid=18471] ppid=18466 vsize=5317916 CPUtime=751.36 cores=0,2,4,6
/proc/18468/task/18471/stat : 18471 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 672569 0 0 0 74964 172 0 0 25 0 4 0 653389147 5445545984 1155709 33554432000 4194304 4580107 140737250045872 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2774.8
Current children cumulated vsize (KiB) 5317916

[startup+1062.3 s]
/proc/loadavg: 7.68 6.45 6.66 9/269 18529
/proc/meminfo: memFree=12601188/32951124 swapFree=61565116/67111528
[pid=18468] ppid=18466 vsize=5409412 CPUtime=3013.25 cores=0,2,4,6
/proc/18468/stat : 18468 (strangenight2-m) R 18466 18468 17979 0 -1 4202496 1905458 0 0 0 300732 593 0 0 25 0 4 0 653389147 5539237888 1175370 33554432000 4194304 4580107 140737250045872 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18468/statm: 1352353 1175370 381 95 0 1347335 0
[pid=18468/tid=18469] ppid=18466 vsize=5409412 CPUtime=742.48 cores=0,2,4,6
/proc/18468/task/18469/stat : 18469 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 426740 0 0 0 74111 137 0 0 25 0 4 0 653389147 5539237888 1175370 33554432000 4194304 4580107 140737250045872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18468/tid=18470] ppid=18466 vsize=5409412 CPUtime=760.67 cores=0,2,4,6
/proc/18468/task/18470/stat : 18470 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 398826 0 0 0 75924 143 0 0 25 0 4 0 653389147 5539237888 1175370 33554432000 4194304 4580107 140737250045872 18446744073709551615 46975249519111 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18468/tid=18471] ppid=18466 vsize=5409412 CPUtime=810.86 cores=0,2,4,6
/proc/18468/task/18471/stat : 18471 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 675837 0 0 0 80913 173 0 0 25 0 4 0 653389147 5539237888 1175370 33554432000 4194304 4580107 140737250045872 18446744073709551615 4518611 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3013.25
Current children cumulated vsize (KiB) 5409412

[startup+1122.31 s]
/proc/loadavg: 7.99 6.76 6.75 9/269 18531
/proc/meminfo: memFree=11834464/32951124 swapFree=61565116/67111528
[pid=18468] ppid=18466 vsize=5404316 CPUtime=3252.12 cores=0,2,4,6
/proc/18468/stat : 18468 (strangenight2-m) R 18466 18468 17979 0 -1 4202496 1930317 0 0 0 324612 600 0 0 25 0 4 0 653389147 5534019584 1180371 33554432000 4194304 4580107 140737250045872 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18468/statm: 1351079 1180371 381 95 0 1346061 0
[pid=18468/tid=18469] ppid=18466 vsize=5404316 CPUtime=802.49 cores=0,2,4,6
/proc/18468/task/18469/stat : 18469 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 435689 0 0 0 80110 139 0 0 25 0 4 0 653389147 5534019584 1180371 33554432000 4194304 4580107 140737250045872 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18468/tid=18470] ppid=18466 vsize=5404316 CPUtime=820.01 cores=0,2,4,6
/proc/18468/task/18470/stat : 18470 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 407855 0 0 0 81856 145 0 0 25 0 4 0 653389147 5534019584 1180371 33554432000 4194304 4580107 140737250045872 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18468/tid=18471] ppid=18466 vsize=5404316 CPUtime=870.37 cores=0,2,4,6
/proc/18468/task/18471/stat : 18471 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 680036 0 0 0 86863 174 0 0 25 0 4 0 653389147 5534019584 1180371 33554432000 4194304 4580107 140737250045872 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3252.12
Current children cumulated vsize (KiB) 5404316

[startup+1182.3 s]
/proc/loadavg: 8.10 7.02 6.84 9/269 18532
/proc/meminfo: memFree=11456604/32951124 swapFree=61565116/67111528
[pid=18468] ppid=18466 vsize=5926904 CPUtime=3491.6 cores=0,2,4,6
/proc/18468/stat : 18468 (strangenight2-m) R 18466 18468 17979 0 -1 4202496 2063982 0 0 0 348529 631 0 0 25 0 4 0 653389147 6069149696 1289669 33554432000 4194304 4580107 140737250045872 18446744073709551615 4294220 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18468/statm: 1481726 1289669 381 95 0 1476708 0
[pid=18468/tid=18469] ppid=18466 vsize=5926904 CPUtime=862.49 cores=0,2,4,6
/proc/18468/task/18469/stat : 18469 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 444896 0 0 0 86106 143 0 0 25 0 4 0 653389147 6069149696 1289669 33554432000 4194304 4580107 140737250045872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18468/tid=18470] ppid=18466 vsize=5926904 CPUtime=880 cores=0,2,4,6
/proc/18468/task/18470/stat : 18470 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 427302 0 0 0 87852 148 0 0 25 0 4 0 653389147 6069149696 1289669 33554432000 4194304 4580107 140737250045872 18446744073709551615 4451726 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18468/tid=18471] ppid=18466 vsize=5926904 CPUtime=929.87 cores=0,2,4,6
/proc/18468/task/18471/stat : 18471 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 769538 0 0 0 92793 194 0 0 25 0 4 0 653389147 6069149696 1289669 33554432000 4194304 4580107 140737250045872 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3491.6
Current children cumulated vsize (KiB) 5926904

[startup+1242.3 s]
/proc/loadavg: 8.20 7.23 6.92 5/269 18534
/proc/meminfo: memFree=11363320/32951124 swapFree=61565116/67111528
[pid=18468] ppid=18466 vsize=6141812 CPUtime=3719.3 cores=0,2,4,6
/proc/18468/stat : 18468 (strangenight2-m) S 18466 18468 17979 0 -1 4202496 2101974 0 0 0 371287 643 0 0 25 0 4 0 653389147 6289215488 1306600 33554432000 4194304 4580107 140737250045872 18446744073709551615 46975249519134 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18468/statm: 1535453 1306600 389 95 0 1530435 0
[pid=18468/tid=18469] ppid=18466 vsize=6141812 CPUtime=922.48 cores=0,2,4,6
/proc/18468/task/18469/stat : 18469 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 456610 0 0 0 92103 145 0 0 25 0 4 0 653389147 6289215488 1306600 33554432000 4194304 4580107 140737250045872 18446744073709551615 4518613 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18468/tid=18470] ppid=18466 vsize=6141812 CPUtime=934.02 cores=0,2,4,6
/proc/18468/task/18470/stat : 18470 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 438626 0 0 0 93252 150 0 0 25 0 4 0 653389147 6289215488 1306600 33554432000 4194304 4580107 140737250045872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18468/tid=18471] ppid=18466 vsize=6141812 CPUtime=989.6 cores=0,2,4,6
/proc/18468/task/18471/stat : 18471 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 782148 0 0 0 98760 200 0 0 25 0 4 0 653389147 6289215488 1306600 33554432000 4194304 4580107 140737250045872 18446744073709551615 4306424 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3719.3
Current children cumulated vsize (KiB) 6141812



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 5.96 6.71 6.76 6/269 18535
/proc/meminfo: memFree=11334792/32951124 swapFree=61565116/67111528
[pid=18468] ppid=18466 vsize=6019588 CPUtime=3808.41 cores=0,2,4,6
/proc/18468/stat : 18468 (strangenight2-m) S 18466 18468 17979 0 -1 4202496 2111575 0 0 0 380196 645 0 0 25 0 4 0 653389147 6164058112 1307116 33554432000 4194304 4580107 140737250045872 18446744073709551615 46975249519134 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18468/statm: 1504897 1307116 389 95 0 1499879 0
[pid=18468/tid=18469] ppid=18466 vsize=6019588 CPUtime=948.33 cores=0,2,4,6
/proc/18468/task/18469/stat : 18469 (strangenight2-m) S 18466 18468 17979 0 -1 4202560 457668 0 0 0 94688 145 0 0 25 0 4 0 653389147 6164058112 1307116 33554432000 4194304 4580107 140737250045872 18446744073709551615 46975249519134 0 0 4096 2 18446604452730812416 0 0 -1 4 0 0 0
[pid=18468/tid=18470] ppid=18466 vsize=6019588 CPUtime=961.04 cores=0,2,4,6
/proc/18468/task/18470/stat : 18470 (strangenight2-m) S 18466 18468 17979 0 -1 4202560 439994 0 0 0 95953 151 0 0 25 0 4 0 653389147 6164058112 1307116 33554432000 4194304 4580107 140737250045872 18446744073709551615 46975249519134 0 0 4096 2 18446604452730812416 0 0 -1 4 0 0 0
[pid=18468/tid=18471] ppid=18466 vsize=6019588 CPUtime=1003.48 cores=0,2,4,6
/proc/18468/task/18471/stat : 18471 (strangenight2-m) R 18466 18468 17979 0 -1 4202560 783149 0 0 0 100148 200 0 0 25 0 4 0 653389147 6164058112 1307116 33554432000 4194304 4580107 140737250045872 18446744073709551615 4518611 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3808.41
Current children cumulated vsize (KiB) 6019588

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

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

[startup+1300.2 s]
/proc/loadavg: 5.96 6.71 6.76 6/269 18535
/proc/meminfo: memFree=11334792/32951124 swapFree=61565116/67111528
[pid=18468] ppid=18466 vsize=0 CPUtime=3808.6 cores=0,2,4,6
/proc/18468/stat : 18468 (strangenight2-m) Z 18466 18468 17979 0 -1 4203548 2111575 0 0 0 380197 663 0 0 18 0 2 0 653389147 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18468/statm: 0 0 0 0 0 0 0
[pid=18468/tid=18470] ppid=18466 vsize=0 CPUtime=961.22 cores=0,2,4,6
/proc/18468/task/18470/stat : 18470 (strangenight2-m) R 18466 18468 17979 0 -1 4203588 439994 0 0 0 95953 169 0 0 18 0 2 0 653389147 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3808.6
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.23
CPU time (s): 3808.64
CPU user time (s): 3801.97
CPU system time (s): 6.66699
CPU usage (%): 292.92
Max. virtual memory (cumulated for all children) (KiB): 6340192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3801.97
system time used= 6.66699
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2111575
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= 269436
involuntary context switches= 42992

runsolver used 3.05653 second user time and 7.36888 second system time

The end

Launcher Data 

Begin job on node134 at 2011-05-15 02:05:10
IDJOB=3367090
IDBENCH=88158
IDSOLVER=1844
FILE ID=node134/3367090-1305417907
RUNJOBID= node134-1305415164-17997
PBS_JOBID= 13324561
Free space on /tmp= 73220 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq60_a.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367090-1305417907/watcher-3367090-1305417907 -o /tmp/evaluation-result-3367090-1305417907/solver-3367090-1305417907 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367090-1305417907.cnf

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

MD5SUM BENCH= 1e60a63f1ba68b9b3c423ca413b4fa2b
RANDOM SEED=2075431662

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 7186.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22617712 kB
Buffers:        262400 kB
Cached:        6071004 kB
SwapCached:      13768 kB
Active:        1609516 kB
Inactive:      8501872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22617712 kB
SwapTotal:    67111528 kB
SwapFree:     61565116 kB
Dirty:          233360 kB
Writeback:           0 kB
AnonPages:     3771876 kB
Mapped:          12860 kB
Slab:           128532 kB
PageTables:      31952 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 39558756 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73032 MiB
End job on node134 at 2011-05-15 02:26:52