Trace number 3293522

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? (TO) 4800.35 1201.9

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.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3293522-1304181701.cnf'
0.00/0.00	c -- header says num vars:         651875
0.00/0.00	c -- header says num clauses:     9927770
12.20/3.17	c -- clauses added:            0 learnts,      9927770 normals,            0 xors
12.20/3.17	c -- vars added     651875
12.20/3.17	c Parsing time: 11.23 s
12.20/4.67	c  N st     0         0    651875   1143902   8783867         0  28821359         0   no data   no data  --
12.20/4.67	c asymm  cl-useful: 48/48/1143841 lits-rem:1658 time: 2.36
58.54/14.80	c Flit:   269 Blit:  69871 bXBeca:    0 bXProp:  197 Bins:      0 BRemL:      0 BRemN:      0 P: 200.1M T: 42.84
61.31/15.42	c Cleaning up after failed var search:     2.45 s 
62.93/15.86	c Replacing      198 vars Replaced   262002 lits Time:     1.71 s 
69.28/17.46	c bin-w-bin subsume rem           59 bins  time:  2.64 s
75.67/19.08	c subs with bin:    83372  lits-rem:     82376  v-fix:    0  time:  6.47 s
100.84/25.32	c Subs w/ non-existent bins:    121 l-rem:     81 v-fix:     0 done:  55115 time: 24.92 s
103.24/25.92	c Removed useless bin:     230  fixed:     0  props:  20.01M  time:  2.28 s
126.41/31.79	c lits-rem:         0  cl-subs:    48000  v-elim:   7803  v-fix:    0  time: 23.36 s
127.61/32.01	c Finding binary XORs  T:     0.90 s  found:    2968
128.83/32.34	c Replacing     2968 vars Replaced   173237 lits Time:     1.30 s 
133.62/33.52	c Finding non-binary XORs:     3.45 s (found:       0, avg size: nan)
133.62/33.52	c Calc default polars -  time:   0.59 s pos:   40618 undec:   81385 neg:  529872
133.62/33.52	c =========================================================================================
133.62/33.52	c types(t): F = full restart, N = normal restart
133.62/33.52	c types(t): S = simplification begin/end, E = solution found
133.62/33.52	c restart types(rt): st = static, dy = dynamic
133.62/33.52	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
133.62/33.52	c  B st     0         0    570580    692270   6181069         0  19941593         0   no data   no data  --
271.01/67.93	c  N dy    22      4008    570580    692270   6182115      2883  19941538    145588     12.37     33.05  --
419.24/105.01	c  N dy    42      8017    570576    692270   6203964      6221  19941537    408300     14.38     16.02  --
633.73/158.75	c  N dy    64     12825    570563    692270   6205450      9507  19941535    578771     14.04     16.16  --
837.05/209.68	c  N dy    72     17919    570563    692270   6219562     14150  19941535   1011819     13.03     14.34  --
959.29/240.27	c  N dy   105     21958    570271    692270   6221508      9765  19941531    454696     14.30     15.08  --
1057.55/264.87	c  F st   130     25001    570270    692270   6224560     12366  19941529    633936     15.70   no data  --
1095.10/274.24	c  N st   133     26189    570270    690328   6215252     13009  19896163    682729     15.70   no data  --
1185.78/296.99	c  S st   136     30000    570270    690328   6215777     16270  19896159    926333     15.70   no data  --
1204.55/301.65	c  S st   136     30500    570265    690328   6216031     16508  19896159    929546     15.70   no data  --
1205.77/301.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   1.11
1682.31/421.25	c Flit:   188 Blit:     98 bXBeca:    0 bXProp:  670 Bins:  18038 BRemL:      0 BRemN:     47 P: 200.2M T: 476.48
1682.31/421.27	c Cleaning up after failed var search:     0.00 s 
1684.73/421.83	c Replacing      673 vars Replaced   106452 lits Time:     2.10 s 
1689.90/423.15	c bin-w-bin subsume rem         3700 bins  time:  2.89 s
1695.89/424.68	c subs with bin:     7943  lits-rem:     13578  v-fix:    0  time:  6.10 s
1714.27/429.25	c Subs w/ non-existent bins:     44 l-rem:    174 v-fix:     0 done:  42390 time: 18.16 s
1716.27/429.73	c Removed useless bin:     604  fixed:     0  props:  20.02M  time:  1.91 s
1733.84/434.18	c lits-rem:         7  cl-subs:     1420  v-elim:   9475  v-fix:    0  time: 17.73 s
1736.24/434.78	c asymm  cl-useful: 92/109/669511 lits-rem:2446 time: 2.40
1737.05/434.95	c  N dy   136     30500    559754    669511   6210517     14643  19916585    823492     15.70   no data  --
1737.84/435.18	c Finding binary XORs  T:     0.92 s  found:     623
1818.52/455.37	c  N dy   173     34538    559725    669511   6215160     18420  19916578   1033104     16.88     21.31  --
1931.57/483.67	c  N dy   193     38581    558579    669511   6247923     22004  19916578   1352805     17.03     23.02  --
2013.88/504.23	c  N dy   222     42658    558579    669511   6248087     13033  19916575    490894     17.60     35.04  --
2087.36/522.61	c  S st   245     45750    558477    669511   6255514     15928  19916574    720660     18.21     15.03  --
2107.33/527.67	c Finding binary XORs  T:     1.04 s  found:    4034
2118.52/530.40	c  S st   245     46250    558472    663488   6229172     15558  19814548    710137     18.21   no data  --
2119.34/530.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   1.20
2185.65/547.28	c Flit:    89 Blit:    312 bXBeca:    0 bXProp:  631 Bins:   5224 BRemL:      3 BRemN:    122 P: 200.0M T: 66.23
2186.03/547.31	c Cleaning up after failed var search:     0.00 s 
2188.43/547.91	c Replacing     5297 vars Replaced   164262 lits Time:     2.21 s 
2193.63/549.24	c bin-w-bin subsume rem         6370 bins  time:  2.89 s
2200.01/550.87	c subs with bin:    23656  lits-rem:     36070  v-fix:    0  time:  6.51 s
2219.99/555.83	c Subs w/ non-existent bins:    132 l-rem:    343 v-fix:     0 done:  39362 time: 19.80 s
2223.18/556.65	c Removed useless bin:     551  fixed:     0  props:  20.00M  time:  2.18 s
2239.56/560.75	c lits-rem:      2405  cl-subs:      915  v-elim:  11462  v-fix:    0  time: 16.37 s
2241.96/561.37	c asymm  cl-useful: 45/256/617133 lits-rem:889 time: 2.47
2242.78/561.55	c  N dy   245     46250    541296    617133   6212173     14448  19761704    625122     18.21   no data  --
2337.83/585.36	c  N dy   267     50303    541296    617133   6212413     18217  19761695    832154     18.42     19.69  --
2408.13/602.97	c  N dy   294     54395    541175    617133   6224759     22125  19761693   1096173     18.56     19.68  --
2476.84/620.10	c Finding binary XORs  T:     0.93 s  found:    6930
2478.04/620.42	c Replacing     6930 vars Replaced    88232 lits Time:     1.26 s 
2489.62/623.35	c  N dy   328     58396    534244    609827   6208380     25879  19718439   1313336     19.20     23.36  --
2553.54/639.31	c  N dy   355     62410    533140    609827   6208504     29710  19718436   1524607     19.53     26.95  --
2613.05/654.28	c  N dy   382     66750    533038    609827   6209963     17682  19718434    548237     20.02     21.76  --
2658.19/665.55	c  S st   396     69377    531830    609827   6210329     20137  19718432    686695     20.13   no data  --
2688.95/673.28	c  S st   396     69877    531829    609827   6210583     20381  19718432    689154     20.13   no data  --
2690.15/673.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   1.19
2827.57/707.98	c Flit:   152 Blit:    293 bXBeca:    0 bXProp:  464 Bins:   3410 BRemL:      7 BRemN:      3 P: 200.1M T: 137.36
2827.96/708.01	c Cleaning up after failed var search:     0.00 s 
2830.76/708.72	c Replacing      464 vars Replaced   145315 lits Time:     2.67 s 
2836.35/710.15	c bin-w-bin subsume rem        23959 bins  time:  3.01 s
2843.15/711.81	c subs with bin:    13550  lits-rem:     42037  v-fix:    0  time:  6.62 s
2865.91/717.56	c Subs w/ non-existent bins:      1 l-rem:    288 v-fix:     0 done:  31057 time: 22.98 s
2871.90/719.02	c Removed useless bin:     117  fixed:     0  props:  20.02M  time:  2.42 s
2902.66/726.71	c lits-rem:     11408  cl-subs:     9771  v-elim:  52054  v-fix:    0  time: 30.70 s
2905.06/727.33	c asymm  cl-useful: 60/335/548825 lits-rem:2471 time: 2.45
2905.87/727.50	c  N dy   396     69877    478863    548825   6038659     11185  19654854    260208     20.13   no data  --
2906.65/727.73	c Finding binary XORs  T:     0.92 s  found:     464
2987.35/747.92	c  N dy   421     74469    478863    548825   6038812     15529  19654848    452332     20.24     22.43  --
3067.64/768.04	c  N dy   461     79281    478670    548825   6041792     20107  19654844    704410     20.65     24.24  --
3131.95/784.18	c  N dy   488     84385    478668    548825   6042275     24940  19654832    927001     20.72     60.30  --
3175.90/795.14	c  F st   518     87500    478660    548825   6042366     27925  19654832   1101051     21.09   no data  --
3177.90/795.65	c Replacing      464 vars Replaced    70255 lits Time:     1.33 s 
3246.60/812.80	c  N st   523     90804    478045    547683   6035664     30935  19619475   1346201     21.09   no data  --
3329.28/833.53	c  N dy   549     97632    478045    547683   6035945     19800  19619475    479246     21.25     22.49  --
3418.76/855.99	c  N dy   594    103939    477632    547683   6039260     25848  19619473    869144     21.66     29.21  --
3432.35/859.39	c  S st   603    104816    477632    547683   6039288     26691  19619473    918068     21.73   no data  --
3461.51/866.69	c  S st   603    105316    477629    547683   6039572     26904  19619473    921663     21.73   no data  --
3462.71/866.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   1.17
3531.01/884.05	c Flit:    52 Blit:    414 bXBeca:    0 bXProp: 3339 Bins:   1843 BRemL:      2 BRemN:    297 P: 200.2M T: 68.16
3531.01/884.08	c Cleaning up after failed var search:     0.00 s 
3533.81/884.71	c Replacing     3339 vars Replaced   136613 lits Time:     2.37 s 
3539.02/886.04	c bin-w-bin subsume rem        14566 bins  time:  2.88 s
3544.99/887.51	c subs with bin:     1976  lits-rem:      5704  v-fix:    0  time:  5.87 s
3564.17/892.38	c Subs w/ non-existent bins:    477 l-rem:   2036 v-fix:     0 done:  26220 time: 19.45 s
3566.56/892.99	c Removed useless bin:     181  fixed:     0  props:  20.01M  time:  2.38 s
3593.73/899.78	c lits-rem:     11352  cl-subs:     3489  v-elim:  59225  v-fix:    0  time: 27.11 s
3596.52/900.44	c asymm  cl-useful: 61/313/480764 lits-rem:1262 time: 2.61
3597.32/900.60	c  N dy   603    105316    414599    480762   5932947     22722  19244749    662674     21.73   no data  --
3598.12/900.83	c Finding binary XORs  T:     0.90 s  found:    2270
3692.00/924.30	c  N dy   645    112074    414550    480762   5938833     29151  19244747   1067382     21.96     25.94  --
3777.48/945.79	c  N dy   705    119361    414550    480762   5939697     36160  19244739   1558255     22.85     24.20  --
3875.75/970.33	c  N dy   771    126993    414549    480762   5940149     23847  19244739    621881     23.62     25.14  --
3967.22/993.30	c  N dy   818    135108    414549    480762   5940446     31615  19244738   1072363     23.96     43.37  --
4078.67/1021.17	c  N dy   863    144803    414547    480762   5940946     40943  19244736   1710227     23.97     25.77  --
4206.11/1053.01	c  N dy   945    154105    414547    480762   5941824     28115  19244732    872238     24.77     28.18  --
4255.63/1065.47	c  S st   966    157974    414545    480762   5942274     31802  19244732   1126675     24.86   no data  --
4283.60/1072.43	c  S st   966    158474    414543    480762   5942548     32026  19244732   1130111     24.86   no data  --
4284.80/1072.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   1.15
4350.31/1089.15	c Flit:   409 Blit:   1187 bXBeca:    0 bXProp:  249 Bins:   1044 BRemL:      0 BRemN:     28 P: 200.0M T: 65.63
4350.31/1089.17	c Cleaning up after failed var search:     0.00 s 
4353.11/1089.81	c Replacing     2519 vars Replaced   153310 lits Time:     2.41 s 
4358.30/1091.14	c bin-w-bin subsume rem         2292 bins  time:  2.84 s
4364.29/1092.67	c subs with bin:      932  lits-rem:      7848  v-fix:    0  time:  6.10 s
4381.06/1096.89	c Subs w/ non-existent bins:    281 l-rem:   1155 v-fix:     0 done:  38925 time: 16.86 s
4383.47/1097.43	c Removed useless bin:     263  fixed:     0  props:  20.00M  time:  2.16 s
4423.81/1107.52	c lits-rem:     15705  cl-subs:     7726  v-elim:  36501  v-fix:    0  time: 40.28 s
4426.23/1108.14	c asymm  cl-useful: 79/434/485512 lits-rem:1232 time: 2.47
4427.00/1108.31	c  N dy   966    158474    373921    485509   5813479     24040  19283401    683911     24.86   no data  --
4427.80/1108.52	c Finding binary XORs  T:     0.84 s  found:    2051
4546.05/1138.17	c  N dy  1043    169012    373920    485509   5814474     34244  19283395   1373987     25.38     30.19  --
4683.45/1172.55	c  N dy  1112    180318    373920    485509   5814956     45026  19283395   2056232     25.61     27.44  --

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: 935)

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

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

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: 7.57 7.95 7.81 5/180 28029
/proc/meminfo: memFree=29809412/32950928 swapFree=67111428/67111528
[pid=28029] ppid=28027 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28029/stat : 28029 (strangenight1-m) R 28027 28029 27376 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 529769977 52465664 352 33554432000 4194304 4650419 140734619826480 18446744073709551615 47813410457522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28029/statm: 12809 352 303 112 0 7774 0
[pid=28029/tid=28030] ppid=28027 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28029/task/28030/stat : 28030 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 529769977 52465664 352 33554432000 4194304 4650419 140734619826480 18446744073709551615 47813410457522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28029/tid=28031] ppid=28027 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28029/task/28031/stat : 28031 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 529769977 52465664 352 33554432000 4194304 4650419 140734619826480 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28029/tid=28032] ppid=28027 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/28029/task/28032/stat : 28032 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 529769977 52465664 352 33554432000 4194304 4650419 140734619826480 18446744073709551615 248101495862 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0359579 s]
/proc/loadavg: 7.57 7.95 7.81 5/180 28029
/proc/meminfo: memFree=29809412/32950928 swapFree=67111428/67111528
[pid=28029] ppid=28027 vsize=292696 CPUtime=0.11 cores=1,3,5,7
/proc/28029/stat : 28029 (strangenight1-m) D 28027 28029 27376 0 -1 4202496 7467 0 0 0 11 0 0 0 25 0 4 0 529769977 299720704 6412 33554432000 4194304 4650419 140734619826480 18446744073709551615 4520021 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28029/statm: 73174 6412 344 112 0 68139 0
[pid=28029/tid=28030] ppid=28027 vsize=292696 CPUtime=0.03 cores=1,3,5,7
/proc/28029/task/28030/stat : 28030 (strangenight1-m) D 28027 28029 27376 0 -1 4202560 1751 0 0 0 3 0 0 0 25 0 4 0 529769977 299720704 6412 33554432000 4194304 4650419 140734619826480 18446744073709551615 248089741495 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28029/tid=28031] ppid=28027 vsize=292696 CPUtime=0.02 cores=1,3,5,7
/proc/28029/task/28031/stat : 28031 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 1762 0 0 0 2 0 0 0 25 0 4 0 529769977 299720704 6412 33554432000 4194304 4650419 140734619826480 18446744073709551615 248089741495 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28029/tid=28032] ppid=28027 vsize=292696 CPUtime=0.02 cores=1,3,5,7
/proc/28029/task/28032/stat : 28032 (strangenight1-m) D 28027 28029 27376 0 -1 4202560 1760 0 0 0 2 0 0 0 25 0 4 0 529769977 299720704 6412 33554432000 4194304 4650419 140734619826480 18446744073709551615 248089741495 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 292696

[startup+0.108245 s]
/proc/loadavg: 7.57 7.95 7.81 5/180 28029
/proc/meminfo: memFree=29809412/32950928 swapFree=67111428/67111528
[pid=28029] ppid=28027 vsize=308984 CPUtime=0.39 cores=1,3,5,7
/proc/28029/stat : 28029 (strangenight1-m) R 28027 28029 27376 0 -1 4202496 20143 0 0 0 35 4 0 0 25 0 4 0 529769977 316399616 17911 33554432000 4194304 4650419 140734619826480 18446744073709551615 248089756074 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28029/statm: 77246 17911 344 112 0 72211 0
[pid=28029/tid=28030] ppid=28027 vsize=311352 CPUtime=0.1 cores=1,3,5,7
/proc/28029/task/28030/stat : 28030 (strangenight1-m) D 28027 28029 27376 0 -1 4202560 4977 0 0 0 9 1 0 0 18 0 4 0 529769977 318824448 18312 33554432000 4194304 4650419 140734619826480 18446744073709551615 248089756074 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28029/tid=28031] ppid=28027 vsize=311832 CPUtime=0.09 cores=1,3,5,7
/proc/28029/task/28031/stat : 28031 (strangenight1-m) D 28027 28029 27376 0 -1 4202560 5068 0 0 0 9 0 0 0 18 0 4 0 529769977 319315968 18312 33554432000 4194304 4650419 140734619826480 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28029/tid=28032] ppid=28027 vsize=311832 CPUtime=0.09 cores=1,3,5,7
/proc/28029/task/28032/stat : 28032 (strangenight1-m) D 28027 28029 27376 0 -1 4202560 4984 0 0 0 8 1 0 0 25 0 4 0 529769977 319315968 18312 33554432000 4194304 4650419 140734619826480 18446744073709551615 248089756074 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 308984

[startup+0.339468 s]
/proc/loadavg: 7.57 7.95 7.81 5/180 28029
/proc/meminfo: memFree=29809412/32950928 swapFree=67111428/67111528
[pid=28029] ppid=28027 vsize=378568 CPUtime=1.31 cores=1,3,5,7
/proc/28029/stat : 28029 (strangenight1-m) D 28027 28029 27376 0 -1 4202496 61692 0 0 0 117 14 0 0 18 0 4 0 529769977 387653632 52847 33554432000 4194304 4650419 140734619826480 18446744073709551615 248089359393 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28029/statm: 95182 53939 344 112 0 90147 0
[pid=28029/tid=28030] ppid=28027 vsize=380728 CPUtime=0.32 cores=1,3,5,7
/proc/28029/task/28030/stat : 28030 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 15463 0 0 0 29 3 0 0 18 0 4 0 529769977 389865472 54661 33554432000 4194304 4650419 140734619826480 18446744073709551615 248089741495 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28029/tid=28031] ppid=28027 vsize=380728 CPUtime=0.33 cores=1,3,5,7
/proc/28029/task/28031/stat : 28031 (strangenight1-m) D 28027 28029 27376 0 -1 4202560 16066 0 0 0 30 3 0 0 18 0 4 0 529769977 389865472 55054 33554432000 4194304 4650419 140734619826480 18446744073709551615 248089395568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28029/tid=28032] ppid=28027 vsize=381388 CPUtime=0.36 cores=1,3,5,7
/proc/28029/task/28032/stat : 28032 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 16957 0 0 0 32 4 0 0 18 0 4 0 529769977 390541312 59684 33554432000 4194304 4650419 140734619826480 18446744073709551615 4546977 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 378568

[startup+0.710228 s]
/proc/loadavg: 7.57 7.95 7.81 5/180 28029
/proc/meminfo: memFree=29809412/32950928 swapFree=67111428/67111528
[pid=28029] ppid=28027 vsize=810848 CPUtime=2.8 cores=1,3,5,7
/proc/28029/stat : 28029 (strangenight1-m) R 28027 28029 27376 0 -1 4202496 125085 0 0 0 253 27 0 0 18 0 4 0 529769977 830308352 107361 33554432000 4194304 4650419 140734619826480 18446744073709551615 248089365466 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28029/statm: 202712 108841 344 112 0 197677 0
[pid=28029/tid=28030] ppid=28027 vsize=812316 CPUtime=0.74 cores=1,3,5,7
/proc/28029/task/28030/stat : 28030 (strangenight1-m) D 28027 28029 27376 0 -1 4202560 32538 0 0 0 67 7 0 0 18 0 4 0 529769977 831811584 113401 33554432000 4194304 4650419 140734619826480 18446744073709551615 248089359393 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28029/tid=28031] ppid=28027 vsize=812580 CPUtime=0.74 cores=1,3,5,7
/proc/28029/task/28031/stat : 28031 (strangenight1-m) D 28027 28029 27376 0 -1 4202560 32708 0 0 0 67 7 0 0 18 0 4 0 529769977 832081920 114096 33554432000 4194304 4650419 140734619826480 18446744073709551615 248089359393 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28029/tid=28032] ppid=28027 vsize=812712 CPUtime=0.75 cores=1,3,5,7
/proc/28029/task/28032/stat : 28032 (strangenight1-m) D 28027 28029 27376 0 -1 4202560 32751 0 0 0 68 7 0 0 18 0 4 0 529769977 832217088 114211 33554432000 4194304 4650419 140734619826480 18446744073709551615 248089394955 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 810848

[startup+1.50062 s]
/proc/loadavg: 7.57 7.95 7.81 9/184 28033
/proc/meminfo: memFree=29115012/32950928 swapFree=67111428/67111528
[pid=28029] ppid=28027 vsize=1191292 CPUtime=5.9 cores=1,3,5,7
/proc/28029/stat : 28029 (strangenight1-m) R 28027 28029 27376 0 -1 4202496 249893 0 0 0 531 59 0 0 18 0 4 0 529769977 1219883008 214450 33554432000 4194304 4650419 140734619826480 18446744073709551615 4305880 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28029/statm: 297823 214453 344 112 0 292788 0
[pid=28029/tid=28030] ppid=28027 vsize=1191292 CPUtime=1.46 cores=1,3,5,7
/proc/28029/task/28030/stat : 28030 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 61943 0 0 0 131 15 0 0 18 0 4 0 529769977 1219883008 214453 33554432000 4194304 4650419 140734619826480 18446744073709551615 248089359393 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28029/tid=28031] ppid=28027 vsize=1191292 CPUtime=1.46 cores=1,3,5,7
/proc/28029/task/28031/stat : 28031 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 61834 0 0 0 131 15 0 0 18 0 4 0 529769977 1219883008 214454 33554432000 4194304 4650419 140734619826480 18446744073709551615 4520296 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28029/tid=28032] ppid=28027 vsize=1191292 CPUtime=1.47 cores=1,3,5,7
/proc/28029/task/28032/stat : 28032 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 61949 0 0 0 132 15 0 0 18 0 4 0 529769977 1219883008 214458 33554432000 4194304 4650419 140734619826480 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 1191292

[startup+3.10034 s]
/proc/loadavg: 7.57 7.95 7.81 8/184 28033
/proc/meminfo: memFree=28496128/32950928 swapFree=67111428/67111528
[pid=28029] ppid=28027 vsize=2223476 CPUtime=12.2 cores=1,3,5,7
/proc/28029/stat : 28029 (strangenight1-m) R 28027 28029 27376 0 -1 4202496 487306 0 0 0 1096 124 0 0 18 0 4 0 529769977 2276839424 416820 33554432000 4194304 4650419 140734619826480 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28029/statm: 555869 416824 344 112 0 550834 0
[pid=28029/tid=28030] ppid=28027 vsize=2223476 CPUtime=3.04 cores=1,3,5,7
/proc/28029/task/28030/stat : 28030 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 121084 0 0 0 270 34 0 0 18 0 4 0 529769977 2276839424 416826 33554432000 4194304 4650419 140734619826480 18446744073709551615 4545889 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28029/tid=28031] ppid=28027 vsize=2223476 CPUtime=3.04 cores=1,3,5,7
/proc/28029/task/28031/stat : 28031 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 121085 0 0 0 273 31 0 0 18 0 4 0 529769977 2276839424 416827 33554432000 4194304 4650419 140734619826480 18446744073709551615 4306767 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28029/tid=28032] ppid=28027 vsize=2223476 CPUtime=3.04 cores=1,3,5,7
/proc/28029/task/28032/stat : 28032 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 121095 0 0 0 272 32 0 0 18 0 4 0 529769977 2276839424 416829 33554432000 4194304 4650419 140734619826480 18446744073709551615 4372581 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.2
Current children cumulated vsize (KiB) 2223476

[startup+6.30078 s]
/proc/loadavg: 7.92 8.02 7.83 9/184 28033
/proc/meminfo: memFree=27918316/32950928 swapFree=67111428/67111528
[pid=28029] ppid=28027 vsize=2445044 CPUtime=24.97 cores=1,3,5,7
/proc/28029/stat : 28029 (strangenight1-m) R 28027 28029 27376 0 -1 4202496 584116 0 0 0 2352 145 0 0 25 0 4 0 529769977 2503725056 469356 33554432000 4194304 4650419 140734619826480 18446744073709551615 4244973 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28029/statm: 611261 469356 373 112 0 606226 0
[pid=28029/tid=28030] ppid=28027 vsize=2445044 CPUtime=6.24 cores=1,3,5,7
/proc/28029/task/28030/stat : 28030 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 150895 0 0 0 583 41 0 0 21 0 4 0 529769977 2503725056 469356 33554432000 4194304 4650419 140734619826480 18446744073709551615 4369075 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28029/tid=28031] ppid=28027 vsize=2445044 CPUtime=6.21 cores=1,3,5,7
/proc/28029/task/28031/stat : 28031 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 150886 0 0 0 585 36 0 0 21 0 4 0 529769977 2503725056 469356 33554432000 4194304 4650419 140734619826480 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28029/tid=28032] ppid=28027 vsize=2445044 CPUtime=6.24 cores=1,3,5,7
/proc/28029/task/28032/stat : 28032 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 131472 0 0 0 587 37 0 0 21 0 4 0 529769977 2503725056 469356 33554432000 4194304 4650419 140734619826480 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (KiB) 2445044

[startup+12.7006 s]
/proc/loadavg: 7.93 8.02 7.83 9/184 28033
/proc/meminfo: memFree=27824132/32950928 swapFree=67111428/67111528
[pid=28029] ppid=28027 vsize=2445716 CPUtime=50.53 cores=1,3,5,7
/proc/28029/stat : 28029 (strangenight1-m) R 28027 28029 27376 0 -1 4202496 586631 0 0 0 4906 147 0 0 25 0 4 0 529769977 2504413184 471871 33554432000 4194304 4650419 140734619826480 18446744073709551615 4369376 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28029/statm: 611429 471871 373 112 0 606394 0
[pid=28029/tid=28030] ppid=28027 vsize=2445716 CPUtime=12.63 cores=1,3,5,7
/proc/28029/task/28030/stat : 28030 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 151503 0 0 0 1222 41 0 0 25 0 4 0 529769977 2504413184 471871 33554432000 4194304 4650419 140734619826480 18446744073709551615 4369188 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28029/tid=28031] ppid=28027 vsize=2445716 CPUtime=12.58 cores=1,3,5,7
/proc/28029/task/28031/stat : 28031 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 151488 0 0 0 1221 37 0 0 25 0 4 0 529769977 2504413184 471871 33554432000 4194304 4650419 140734619826480 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28029/tid=28032] ppid=28027 vsize=2445716 CPUtime=12.64 cores=1,3,5,7
/proc/28029/task/28032/stat : 28032 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 132156 0 0 0 1227 37 0 0 25 0 4 0 529769977 2504413184 471871 33554432000 4194304 4650419 140734619826480 18446744073709551615 4364562 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.53
Current children cumulated vsize (KiB) 2445716

[startup+25.5004 s]
/proc/loadavg: 7.94 8.02 7.84 9/184 28033
/proc/meminfo: memFree=27075428/32950928 swapFree=67111428/67111528
[pid=28029] ppid=28027 vsize=3153756 CPUtime=101.64 cores=1,3,5,7
/proc/28029/stat : 28029 (strangenight1-m) R 28027 28029 27376 0 -1 4202496 751427 0 0 0 9987 177 0 0 25 0 4 0 529769977 3229446144 636037 33554432000 4194304 4650419 140734619826480 18446744073709551615 4504103 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28029/statm: 788439 636037 389 112 0 783404 0
[pid=28029/tid=28030] ppid=28027 vsize=3153756 CPUtime=25.43 cores=1,3,5,7
/proc/28029/task/28030/stat : 28030 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 205805 0 0 0 2490 53 0 0 25 0 4 0 529769977 3229446144 636037 33554432000 4194304 4650419 140734619826480 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28029/tid=28031] ppid=28027 vsize=3153756 CPUtime=25.3 cores=1,3,5,7
/proc/28029/task/28031/stat : 28031 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 209674 0 0 0 2483 47 0 0 25 0 4 0 529769977 3229446144 636037 33554432000 4194304 4650419 140734619826480 18446744073709551615 248089356530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28029/tid=28032] ppid=28027 vsize=3153756 CPUtime=25.44 cores=1,3,5,7
/proc/28029/task/28032/stat : 28032 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 132756 0 0 0 2506 38 0 0 25 0 4 0 529769977 3229446144 636037 33554432000 4194304 4650419 140734619826480 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 3153756

[startup+51.1069 s]
/proc/loadavg: 7.96 8.01 7.84 9/184 28034
/proc/meminfo: memFree=26508864/32950928 swapFree=67111428/67111528
[pid=28029] ppid=28027 vsize=3182412 CPUtime=203.93 cores=1,3,5,7
/proc/28029/stat : 28029 (strangenight1-m) R 28027 28029 27376 0 -1 4202496 786930 0 0 0 20209 184 0 0 25 0 4 0 529769977 3258789888 661805 33554432000 4194304 4650419 140734619826480 18446744073709551615 4363683 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28029/statm: 795603 661805 392 112 0 790568 0
[pid=28029/tid=28030] ppid=28027 vsize=3182412 CPUtime=51.03 cores=1,3,5,7
/proc/28029/task/28030/stat : 28030 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 218612 0 0 0 5048 55 0 0 25 0 4 0 529769977 3258789888 661805 33554432000 4194304 4650419 140734619826480 18446744073709551615 4304010 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28029/tid=28031] ppid=28027 vsize=3182412 CPUtime=50.77 cores=1,3,5,7
/proc/28029/task/28031/stat : 28031 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 221444 0 0 0 5026 51 0 0 25 0 4 0 529769977 3258789888 661805 33554432000 4194304 4650419 140734619826480 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28029/tid=28032] ppid=28027 vsize=3182412 CPUtime=51.05 cores=1,3,5,7
/proc/28029/task/28032/stat : 28032 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 133434 0 0 0 5067 38 0 0 25 0 4 0 529769977 3258789888 661805 33554432000 4194304 4650419 140734619826480 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.93
Current children cumulated vsize (KiB) 3182412

[startup+102.301 s]
/proc/loadavg: 8.05 8.03 7.85 9/184 28064
/proc/meminfo: memFree=26531132/32950928 swapFree=67111428/67111528
[pid=28029] ppid=28027 vsize=3212972 CPUtime=408.43 cores=1,3,5,7
/proc/28029/stat : 28029 (strangenight1-m) R 28027 28029 27376 0 -1 4202496 795961 0 0 0 40656 187 0 0 25 0 4 0 529769977 3290083328 670836 33554432000 4194304 4650419 140734619826480 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28029/statm: 803243 670836 392 112 0 798208 0
[pid=28029/tid=28030] ppid=28027 vsize=3212972 CPUtime=102.23 cores=1,3,5,7
/proc/28029/task/28030/stat : 28030 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 218795 0 0 0 10168 55 0 0 25 0 4 0 529769977 3290083328 670836 33554432000 4194304 4650419 140734619826480 18446744073709551615 4364307 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28029/tid=28031] ppid=28027 vsize=3212972 CPUtime=101.69 cores=1,3,5,7
/proc/28029/task/28031/stat : 28031 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 221510 0 0 0 10118 51 0 0 25 0 4 0 529769977 3290083328 670836 33554432000 4194304 4650419 140734619826480 18446744073709551615 4304187 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28029/tid=28032] ppid=28027 vsize=3212972 CPUtime=102.24 cores=1,3,5,7
/proc/28029/task/28032/stat : 28032 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 141837 0 0 0 10183 41 0 0 25 0 4 0 529769977 3290083328 670836 33554432000 4194304 4650419 140734619826480 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.43
Current children cumulated vsize (KiB) 3212972

[startup+162.3 s]

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

[pid=28029/tid=28032] ppid=28027 vsize=4144332 CPUtime=702.26 cores=1,3,5,7
/proc/28029/task/28032/stat : 28032 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 1729336 0 0 0 69959 267 0 0 25 0 4 0 529769977 4243795968 878766 33554432000 4194304 4650419 140734619826480 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.22
Current children cumulated vsize (KiB) 4144332

[startup+762.3 s]
/proc/loadavg: 8.19 8.11 7.96 9/184 28082
/proc/meminfo: memFree=22967184/32950928 swapFree=67111428/67111528
[pid=28029] ppid=28027 vsize=4162820 CPUtime=3044.87 cores=1,3,5,7
/proc/28029/stat : 28029 (strangenight1-m) R 28027 28029 27376 0 -1 4202496 2524753 0 0 0 304037 450 0 0 25 0 4 0 529769977 4262727680 898877 33554432000 4194304 4650419 140734619826480 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28029/statm: 1040705 898877 395 112 0 1035670 0
[pid=28029/tid=28030] ppid=28027 vsize=4162820 CPUtime=762.24 cores=1,3,5,7
/proc/28029/task/28030/stat : 28030 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 274115 0 0 0 76155 69 0 0 25 0 4 0 529769977 4262727680 898877 33554432000 4194304 4650419 140734619826480 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28029/tid=28031] ppid=28027 vsize=4162820 CPUtime=758.11 cores=1,3,5,7
/proc/28029/task/28031/stat : 28031 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 256608 0 0 0 75751 60 0 0 25 0 4 0 529769977 4262727680 898877 33554432000 4194304 4650419 140734619826480 18446744073709551615 4244991 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28029/tid=28032] ppid=28027 vsize=4162820 CPUtime=762.26 cores=1,3,5,7
/proc/28029/task/28032/stat : 28032 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 1738409 0 0 0 75956 270 0 0 25 0 4 0 529769977 4262727680 898877 33554432000 4194304 4650419 140734619826480 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3044.87
Current children cumulated vsize (KiB) 4162820

[startup+822.301 s]
/proc/loadavg: 8.18 8.12 7.97 9/184 28084
/proc/meminfo: memFree=22459988/32950928 swapFree=67111428/67111528
[pid=28029] ppid=28027 vsize=4742188 CPUtime=3284.55 cores=1,3,5,7
/proc/28029/stat : 28029 (strangenight1-m) R 28027 28029 27376 0 -1 4202496 2678419 0 0 0 327966 489 0 0 25 0 4 0 529769977 4856000512 1006992 33554432000 4194304 4650419 140734619826480 18446744073709551615 4229498 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28029/statm: 1185547 1006992 395 112 0 1180512 0
[pid=28029/tid=28030] ppid=28027 vsize=4742188 CPUtime=822.24 cores=1,3,5,7
/proc/28029/task/28030/stat : 28030 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 285736 0 0 0 82152 72 0 0 25 0 4 0 529769977 4856000512 1006992 33554432000 4194304 4650419 140734619826480 18446744073709551615 4304187 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28029/tid=28031] ppid=28027 vsize=4742188 CPUtime=817.78 cores=1,3,5,7
/proc/28029/task/28031/stat : 28031 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 271830 0 0 0 81715 63 0 0 25 0 4 0 529769977 4856000512 1006992 33554432000 4194304 4650419 140734619826480 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28029/tid=28032] ppid=28027 vsize=4742188 CPUtime=822.26 cores=1,3,5,7
/proc/28029/task/28032/stat : 28032 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 1864232 0 0 0 81925 301 0 0 25 0 4 0 529769977 4856000512 1006992 33554432000 4194304 4650419 140734619826480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.55
Current children cumulated vsize (KiB) 4742188

[startup+882.301 s]
/proc/loadavg: 8.17 8.13 7.98 9/184 28085
/proc/meminfo: memFree=22401168/32950928 swapFree=67111428/67111528
[pid=28029] ppid=28027 vsize=4729100 CPUtime=3524.22 cores=1,3,5,7
/proc/28029/stat : 28029 (strangenight1-m) R 28027 28029 27376 0 -1 4202496 2723453 0 0 0 351925 497 0 0 25 0 4 0 529769977 4842598400 1015016 33554432000 4194304 4650419 140734619826480 18446744073709551615 4370697 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28029/statm: 1182275 1015016 395 112 0 1177240 0
[pid=28029/tid=28030] ppid=28027 vsize=4729100 CPUtime=882.25 cores=1,3,5,7
/proc/28029/task/28030/stat : 28030 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 297896 0 0 0 88151 74 0 0 25 0 4 0 529769977 4842598400 1015016 33554432000 4194304 4650419 140734619826480 18446744073709551615 4476738 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28029/tid=28031] ppid=28027 vsize=4729100 CPUtime=877.45 cores=1,3,5,7
/proc/28029/task/28031/stat : 28031 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 284748 0 0 0 87680 65 0 0 25 0 4 0 529769977 4842598400 1015016 33554432000 4194304 4650419 140734619826480 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28029/tid=28032] ppid=28027 vsize=4729100 CPUtime=882.26 cores=1,3,5,7
/proc/28029/task/28032/stat : 28032 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 1872270 0 0 0 87923 303 0 0 25 0 4 0 529769977 4842598400 1015016 33554432000 4194304 4650419 140734619826480 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.22
Current children cumulated vsize (KiB) 4729100

[startup+942.301 s]
/proc/loadavg: 8.11 8.11 7.99 9/184 28087
/proc/meminfo: memFree=22313580/32950928 swapFree=67111428/67111528
[pid=28029] ppid=28027 vsize=4811772 CPUtime=3763.9 cores=1,3,5,7
/proc/28029/stat : 28029 (strangenight1-m) R 28027 28029 27376 0 -1 4202496 2755989 0 0 0 375882 508 0 0 25 0 4 0 529769977 4927254528 1026186 33554432000 4194304 4650419 140734619826480 18446744073709551615 4363750 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28029/statm: 1202943 1026186 395 112 0 1197908 0
[pid=28029/tid=28030] ppid=28027 vsize=4811772 CPUtime=942.24 cores=1,3,5,7
/proc/28029/task/28030/stat : 28030 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 300772 0 0 0 94149 75 0 0 25 0 4 0 529769977 4927254528 1026186 33554432000 4194304 4650419 140734619826480 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28029/tid=28031] ppid=28027 vsize=4811772 CPUtime=937.13 cores=1,3,5,7
/proc/28029/task/28031/stat : 28031 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 285937 0 0 0 93646 67 0 0 25 0 4 0 529769977 4927254528 1026186 33554432000 4194304 4650419 140734619826480 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28029/tid=28032] ppid=28027 vsize=4811772 CPUtime=942.26 cores=1,3,5,7
/proc/28029/task/28032/stat : 28032 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 1892607 0 0 0 93918 308 0 0 25 0 4 0 529769977 4927254528 1026186 33554432000 4194304 4650419 140734619826480 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3763.9
Current children cumulated vsize (KiB) 4811772

[startup+1002.3 s]
/proc/loadavg: 8.08 8.11 8.00 9/184 28088
/proc/meminfo: memFree=22229848/32950928 swapFree=67111428/67111528
[pid=28029] ppid=28027 vsize=4811772 CPUtime=4003.58 cores=1,3,5,7
/proc/28029/stat : 28029 (strangenight1-m) R 28027 28029 27376 0 -1 4202496 2767661 0 0 0 399844 514 0 0 25 0 4 0 529769977 4927254528 1037858 33554432000 4194304 4650419 140734619826480 18446744073709551615 4303950 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28029/statm: 1202943 1037858 395 112 0 1197908 0
[pid=28029/tid=28030] ppid=28027 vsize=4811772 CPUtime=1002.25 cores=1,3,5,7
/proc/28029/task/28030/stat : 28030 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 302066 0 0 0 100148 77 0 0 25 0 4 0 529769977 4927254528 1037858 33554432000 4194304 4650419 140734619826480 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28029/tid=28031] ppid=28027 vsize=4811772 CPUtime=996.8 cores=1,3,5,7
/proc/28029/task/28031/stat : 28031 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 287199 0 0 0 99612 68 0 0 25 0 4 0 529769977 4927254528 1037858 33554432000 4194304 4650419 140734619826480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28029/tid=28032] ppid=28027 vsize=4811772 CPUtime=1002.26 cores=1,3,5,7
/proc/28029/task/28032/stat : 28032 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 1900507 0 0 0 99915 311 0 0 25 0 4 0 529769977 4927254528 1037858 33554432000 4194304 4650419 140734619826480 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.58
Current children cumulated vsize (KiB) 4811772

[startup+1062.3 s]
/proc/loadavg: 8.06 8.10 8.00 9/184 28090
/proc/meminfo: memFree=22203268/32950928 swapFree=67111428/67111528
[pid=28029] ppid=28027 vsize=4873112 CPUtime=4243.25 cores=1,3,5,7
/proc/28029/stat : 28029 (strangenight1-m) R 28027 28029 27376 0 -1 4202496 2798218 0 0 0 423802 523 0 0 25 0 4 0 529769977 4990066688 1039198 33554432000 4194304 4650419 140734619826480 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28029/statm: 1218278 1039198 395 112 0 1213243 0
[pid=28029/tid=28030] ppid=28027 vsize=4873112 CPUtime=1062.25 cores=1,3,5,7
/proc/28029/task/28030/stat : 28030 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 313777 0 0 0 106146 79 0 0 25 0 4 0 529769977 4990066688 1039198 33554432000 4194304 4650419 140734619826480 18446744073709551615 4333260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28029/tid=28031] ppid=28027 vsize=4873112 CPUtime=1056.48 cores=1,3,5,7
/proc/28029/task/28031/stat : 28031 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 288362 0 0 0 105579 69 0 0 25 0 4 0 529769977 4990066688 1039198 33554432000 4194304 4650419 140734619826480 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28029/tid=28032] ppid=28027 vsize=4873112 CPUtime=1062.26 cores=1,3,5,7
/proc/28029/task/28032/stat : 28032 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 1907540 0 0 0 105912 314 0 0 25 0 4 0 529769977 4990066688 1039198 33554432000 4194304 4650419 140734619826480 18446744073709551615 4363680 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.25
Current children cumulated vsize (KiB) 4873112

[startup+1122.3 s]
/proc/loadavg: 8.06 8.09 8.00 9/184 28092
/proc/meminfo: memFree=22080820/32950928 swapFree=67111428/67111528
[pid=28029] ppid=28027 vsize=4971048 CPUtime=4482.93 cores=1,3,5,7
/proc/28029/stat : 28029 (strangenight1-m) R 28027 28029 27376 0 -1 4202496 2818322 0 0 0 447764 529 0 0 25 0 4 0 529769977 5090353152 1059302 33554432000 4194304 4650419 140734619826480 18446744073709551615 4310834 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28029/statm: 1242762 1059302 395 112 0 1237727 0
[pid=28029/tid=28030] ppid=28027 vsize=4971048 CPUtime=1122.25 cores=1,3,5,7
/proc/28029/task/28030/stat : 28030 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 315163 0 0 0 112145 80 0 0 25 0 4 0 529769977 5090353152 1059302 33554432000 4194304 4650419 140734619826480 18446744073709551615 4364325 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28029/tid=28031] ppid=28027 vsize=4971048 CPUtime=1116.15 cores=1,3,5,7
/proc/28029/task/28031/stat : 28031 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 289485 0 0 0 111546 69 0 0 25 0 4 0 529769977 5090353152 1059302 33554432000 4194304 4650419 140734619826480 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28029/tid=28032] ppid=28027 vsize=4971048 CPUtime=1122.26 cores=1,3,5,7
/proc/28029/task/28032/stat : 28032 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 1915720 0 0 0 111909 317 0 0 25 0 4 0 529769977 5090353152 1059302 33554432000 4194304 4650419 140734619826480 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4482.93
Current children cumulated vsize (KiB) 4971048

[startup+1182.3 s]
/proc/loadavg: 8.05 8.09 8.00 9/184 28102
/proc/meminfo: memFree=21739340/32950928 swapFree=67111428/67111528
[pid=28029] ppid=28027 vsize=5035500 CPUtime=4722.61 cores=1,3,5,7
/proc/28029/stat : 28029 (strangenight1-m) R 28027 28029 27376 0 -1 4202496 2846408 0 0 0 471722 539 0 0 25 0 4 0 529769977 5156352000 1069798 33554432000 4194304 4650419 140734619826480 18446744073709551615 4310893 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28029/statm: 1258875 1069798 395 112 0 1253840 0
[pid=28029/tid=28030] ppid=28027 vsize=5035500 CPUtime=1182.25 cores=1,3,5,7
/proc/28029/task/28030/stat : 28030 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 316463 0 0 0 118144 81 0 0 25 0 4 0 529769977 5156352000 1069798 33554432000 4194304 4650419 140734619826480 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28029/tid=28031] ppid=28027 vsize=5035500 CPUtime=1175.82 cores=1,3,5,7
/proc/28029/task/28031/stat : 28031 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 306567 0 0 0 117510 72 0 0 25 0 4 0 529769977 5156352000 1069798 33554432000 4194304 4650419 140734619826480 18446744073709551615 4476175 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28029/tid=28032] ppid=28027 vsize=5035500 CPUtime=1182.26 cores=1,3,5,7
/proc/28029/task/28032/stat : 28032 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 1924145 0 0 0 117904 322 0 0 25 0 4 0 529769977 5156352000 1069798 33554432000 4194304 4650419 140734619826480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.61
Current children cumulated vsize (KiB) 5035500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.71 s]
/proc/loadavg: 8.04 8.08 8.00 9/184 28103
/proc/meminfo: memFree=21708804/32950928 swapFree=67111428/67111528
[pid=28029] ppid=28027 vsize=5101044 CPUtime=4800.13 cores=1,3,5,7
/proc/28029/stat : 28029 (strangenight1-m) R 28027 28029 27376 0 -1 4202496 2856690 0 0 0 479471 542 0 0 25 0 4 0 529769977 5223469056 1074605 33554432000 4194304 4650419 140734619826480 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28029/statm: 1275261 1074605 395 112 0 1270226 0
[pid=28029/tid=28030] ppid=28027 vsize=5101044 CPUtime=1201.66 cores=1,3,5,7
/proc/28029/task/28030/stat : 28030 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 316878 0 0 0 120085 81 0 0 25 0 4 0 529769977 5223469056 1074605 33554432000 4194304 4650419 140734619826480 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28029/tid=28031] ppid=28027 vsize=5101044 CPUtime=1195.12 cores=1,3,5,7
/proc/28029/task/28031/stat : 28031 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 313694 0 0 0 119438 74 0 0 25 0 4 0 529769977 5223469056 1074605 33554432000 4194304 4650419 140734619826480 18446744073709551615 4326730 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28029/tid=28032] ppid=28027 vsize=5101044 CPUtime=1201.67 cores=1,3,5,7
/proc/28029/task/28032/stat : 28032 (strangenight1-m) R 28027 28029 27376 0 -1 4202560 1926446 0 0 0 119844 323 0 0 25 0 4 0 529769977 5223469056 1074605 33554432000 4194304 4650419 140734619826480 18446744073709551615 4363280 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 5101044

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

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

[startup+1201.81 s]
/proc/loadavg: 8.04 8.08 8.00 9/184 28103
/proc/meminfo: memFree=21708804/32950928 swapFree=67111428/67111528
[pid=28029] ppid=28027 vsize=0 CPUtime=4800.25 cores=1,3,5,7
/proc/28029/stat : 28029 (strangenight1-m) Z 28027 28029 27376 0 -1 4203548 2856690 0 0 0 479473 552 0 0 25 0 2 0 529769977 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28029/statm: 0 0 0 0 0 0 0
[pid=28029/tid=28031] ppid=28027 vsize=0 CPUtime=1195.22 cores=1,3,5,7
/proc/28029/task/28031/stat : 28031 (strangenight1-m) R 28027 28029 27376 0 -1 4203588 313694 0 0 0 119438 84 0 0 25 0 2 0 529769977 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 0

[startup+1201.9 s]
/proc/loadavg: 8.04 8.08 8.00 9/184 28103
/proc/meminfo: memFree=21708804/32950928 swapFree=67111428/67111528
[pid=28029] ppid=28027 vsize=0 CPUtime=4800.34 cores=1,3,5,7
/proc/28029/stat : 28029 (strangenight1-m) Z 28027 28029 27376 0 -1 4203548 2856690 0 0 0 479473 561 0 0 25 0 2 0 529769977 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28029/statm: 0 0 0 0 0 0 0
[pid=28029/tid=28031] ppid=28027 vsize=0 CPUtime=1195.3 cores=1,3,5,7
/proc/28029/task/28031/stat : 28031 (strangenight1-m) R 28027 28029 27376 0 -1 4203588 313694 0 0 0 119438 92 0 0 25 0 2 0 529769977 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.9
CPU time (s): 4800.35
CPU user time (s): 4794.74
CPU system time (s): 5.61315
CPU usage (%): 399.395
Max. virtual memory (cumulated for all children) (KiB): 5101044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.74
system time used= 5.61315
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2856690
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= 35055
involuntary context switches= 18354

runsolver used 1.78273 second user time and 4.78327 second system time

The end

Launcher Data 

Begin job on node123 at 2011-04-30 18:41:42
IDJOB=3293522
IDBENCH=88158
IDSOLVER=1588
FILE ID=node123/3293522-1304181701
RUNJOBID= node123-1304180497-27915
PBS_JOBID= 13172429
Free space on /tmp= 73232 MiB

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

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

MD5SUM BENCH= 1e60a63f1ba68b9b3c423ca413b4fa2b
RANDOM SEED=460408111

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29809692 kB
Buffers:        653112 kB
Cached:        1746924 kB
SwapCached:        100 kB
Active:         779620 kB
Inactive:      1984216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29809692 kB
SwapTotal:    67111528 kB
SwapFree:     67111428 kB
Dirty:          247568 kB
Writeback:           0 kB
AnonPages:      362688 kB
Mapped:          15468 kB
Slab:           314040 kB
PageTables:       5008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   600948 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= 73144 MiB
End job on node123 at 2011-04-30 19:01:46