Trace number 3281332

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.24 1202.05

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
MD5SUM0fbc00fde383cec371bb97d621c5e7e5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark485.526
Satisfiable
(Un)Satisfiability was proved
Number of variables306095
Number of clauses6069108
Sum of the clauses size17675754
Maximum clause length163
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 25745111
Number of clauses of size 366910
Number of clauses of size 44878
Number of clauses of size 518476
Number of clauses of size over 5233732

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-3281332-1304032493.cnf'
0.00/0.00	c -- header says num vars:         306095
0.00/0.00	c -- header says num clauses:     6069108
6.87/2.00	c -- clauses added:            0 learnts,      6069108 normals,            0 xors
6.87/2.00	c -- vars added     306095
6.87/2.00	c Parsing time:  5.36 s
6.87/2.00	c  N st     0         0    306095    323996   5745111         0  17675753         0   no data   no data  --
12.01/3.36	c asymm  cl-useful: 68/76/323988 lits-rem:1368 time: 2.15
38.38/9.99	c Flit:    78 Blit:  77882 bXBeca:    0 bXProp:   23 Bins:      0 BRemL:      0 BRemN:      0 P: 200.4M T: 29.30
40.78/10.56	c Cleaning up after failed var search:     2.25 s 
42.37/10.99	c Replacing       23 vars Replaced   212813 lits Time:     1.67 s 
46.75/12.05	c bin-w-bin subsume rem         1310 bins  time:  1.89 s
57.53/14.78	c subs with bin:     8338  lits-rem:     58925  v-fix:    0  time: 10.85 s
88.30/22.42	c Subs w/ non-existent bins:     85 l-rem:   1372 v-fix:   350 done:  33635 time: 30.47 s
89.50/22.71	c Removed useless bin:     925  fixed:     0  props:  20.01M  time:  1.16 s
164.60/41.59	c lits-rem:     14979  cl-subs:    26327  v-elim:  63577  v-fix:    0  time: 75.17 s
165.01/41.69	c Finding binary XORs  T:     0.38 s  found:      88
166.19/41.95	c Replacing       88 vars Replaced    18228 lits Time:     1.03 s 
170.98/43.13	c Finding non-binary XORs:     3.90 s (found:       0, avg size: nan)
170.98/43.13	c Calc default polars -  time:   0.44 s pos:   23429 undec:  144747 neg:  137919
170.98/43.13	c =========================================================================================
170.98/43.13	c types(t): F = full restart, N = normal restart
170.98/43.13	c types(t): S = simplification begin/end, E = solution found
170.98/43.13	c restart types(rt): st = static, dy = dynamic
170.98/43.13	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
170.98/43.13	c  B st     0         0    161472    337616   3159570         0  11092267         0   no data   no data  --
209.72/52.89	c  N dy    15      4096    161472    337616   3159691      3865  11092248    158056     19.62     20.72  --
248.49/62.51	c  N dy    41      8187    161469    337616   3160807      7756  11092227    316236     21.65     32.07  --
279.63/70.33	c  N dy    61     14530    161469    337616   3160871     13895  11092221    648274     20.22     21.73  --
307.19/77.21	c  N dy    77     20334    161469    337616   3161360      9807  11092200    259586     18.74     22.11  --
337.15/84.80	c  F st   109     25000    161424    337616   3161727     14255  11092185    495808     19.20      9.50  --
340.77/85.60	c  N st   109     25000    161424    337392   3160838     14237  11088247    495615     19.20      9.50  --
380.69/95.61	c  N dy   115     30000    161424    337392   3161384     19051  11088245    739684     19.20   no data  --
380.69/95.61	c  S st   115     30000    161424    337392   3161384     19051  11088245    739684     19.20   no data  --
388.71/97.68	c  S st   115     30500    161406    337392   3161542     19379  11088245    742138     19.20   no data  --
389.89/97.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.97
681.08/170.85	c Flit:   340 Blit:    275 bXBeca:    0 bXProp:   39 Bins:  16288 BRemL:      3 BRemN:    582 P: 200.4M T: 290.22
681.88/171.04	c Cleaning up after failed var search:     0.72 s 
683.11/171.35	c Replacing       39 vars Replaced    49217 lits Time:     1.19 s 
686.28/172.16	c bin-w-bin subsume rem          521 bins  time:  1.47 s
691.48/173.49	c subs with bin:     8573  lits-rem:     31577  v-fix:    0  time:  5.29 s
712.24/178.62	c Subs w/ non-existent bins:    522 l-rem:   6785 v-fix:    12 done:  22919 time: 20.46 s
713.05/178.88	c Removed useless bin:    2004  fixed:     0  props:  20.01M  time:  0.95 s
743.80/186.57	c lits-rem:      7632  cl-subs:     4961  v-elim:  18016  v-fix:    0  time: 30.70 s
746.59/187.25	c asymm  cl-useful: 122/717/291276 lits-rem:5783 time: 2.54
746.99/187.35	c  N dy   115     30500    133444    291276   2777457     17633   9702300    710711     19.20   no data  --
747.39/187.48	c Finding binary XORs  T:     0.50 s  found:     159
772.16/193.60	c  N dy   138     34548    126684    268157   2663345     21260   9224908    862739     19.29     21.90  --
802.14/201.16	c  N dy   164     38694    126684    268157   2663420     25278   9224904   1038509     19.64     20.88  --
819.32/205.44	c  N dy   186     42698    126676    268157   2663724     14587   9224904    374298     19.64     20.99  --
830.48/208.28	c  S st   203     45750    126674    268157   2663989     17518   9224904    559587     19.59   no data  --
838.87/210.31	c  S st   203     46250    126669    268157   2664145     17856   9224904    562545     19.59   no data  --
839.67/210.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.90
2121.56/531.46	c Flit:   567 Blit:   1859 bXBeca:    0 bXProp:  122 Bins:  27547 BRemL:     24 BRemN:   4658 P: 200.1M T: 1281.65
2121.96/531.55	c Cleaning up after failed var search:     0.32 s 
2122.76/531.78	c Replacing      283 vars Replaced   212760 lits Time:     0.90 s 
2125.15/532.34	c bin-w-bin subsume rem        11047 bins  time:  1.20 s
2130.34/533.63	c subs with bin:     8519  lits-rem:     69086  v-fix:    0  time:  5.13 s
2140.32/536.16	c Subs w/ non-existent bins:   1727 l-rem:  12082 v-fix:     0 done:  13639 time: 10.09 s
2141.53/536.43	c Removed useless bin:    2875  fixed:     0  props:  20.03M  time:  1.04 s
2161.50/541.48	c lits-rem:     32996  cl-subs:    13900  v-elim:   9673  v-fix:    0  time: 20.16 s
2163.10/541.85	c asymm  cl-useful: 53/746/232271 lits-rem:3523 time: 1.47
2163.50/541.90	c  N dy   203     46250    113944    232271   2397080     16279   8244156    518874     19.59   no data  --
2163.50/541.96	c Finding binary XORs  T:     0.25 s  found:     507
2179.08/545.87	c  N dy   236     50400    113944    232271   2397133     20332   8244153    725425     19.94     21.41  --
2191.86/549.06	c  N dy   271     54462    113281    232271   2416187     24330   8244148    997421     20.59     21.93  --
2198.25/550.65	c  N dy   294     58480    113281    232271   2416528     28218   8244147   1189589     20.52     22.00  --
2205.84/552.59	c  N dy   310     63316    113281    232271   2416593     32862   8244147   1456454     20.21     21.43  --
2218.63/555.73	c  N dy   345     67366    113281    232271   2416633     18984   8244147    540475     20.50     31.23  --
2223.82/557.06	c  S st   357     69377    113281    232271   2416652     20931   8244142    624911     20.57      7.42  --
2226.62/557.74	c  S st   357     69878    113278    232271   2416772     21302   8244142    629008     20.57   no data  --
2227.01/557.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.38
3540.87/886.74	c Flit:   640 Blit:     27 bXBeca:    0 bXProp:   95 Bins:  14269 BRemL:     90 BRemN:    103 P: 200.0M T: 1313.50
3541.28/886.81	c Cleaning up after failed var search:     0.27 s 
3542.07/887.09	c Replacing      602 vars Replaced   134857 lits Time:     1.09 s 
3544.47/887.64	c bin-w-bin subsume rem        10716 bins  time:  1.11 s
3549.66/888.94	c subs with bin:     2127  lits-rem:     80810  v-fix:    0  time:  5.20 s
3562.44/892.16	c Subs w/ non-existent bins:   1679 l-rem:  14007 v-fix:     1 done:  17116 time: 12.85 s
3563.24/892.39	c Removed useless bin:     794  fixed:     0  props:  20.01M  time:  0.90 s
3575.23/895.34	c lits-rem:     17174  cl-subs:     4849  v-elim:   1444  v-fix:    0  time: 11.78 s
3576.83/895.79	c asymm  cl-useful: 264/967/225452 lits-rem:2743 time: 1.72
3577.23/895.85	c  N dy   357     69878    110552    225452   2371567     20424   7963634    614810     20.57   no data  --
3577.63/895.92	c Finding binary XORs  T:     0.27 s  found:      87
3590.81/899.28	c  N dy   361     78539    110552    225452   2371680     28584   7963633   1130881     19.79     21.15  --
3605.99/903.09	c  N dy   403     83563    103744    209309   2239498     24716   7508977    879098     20.29     21.53  --
3618.39/906.20	c  F st   436     87501    103744    209309   2239863     28572   7508974   1105002     20.79   no data  --
3619.17/906.38	c Replacing       87 vars Replaced     5934 lits Time:     0.47 s 
3625.56/907.92	c  N st   440     89536    103673    209272   2239709     30579   7508537   1233629     20.79   no data  --
3642.34/912.19	c  N dy   467     95275    103673    209272   2239847     20697   7508537    673986     21.20     27.02  --
3659.51/916.49	c  N dy   506    101416    103673    209272   2240191     26626   7508536    963559     21.34     39.36  --
3669.50/918.94	c  S st   535    104817    103673    209272   2240380     29952   7508534   1163333     21.52   no data  --
3672.29/919.68	c  S st   535    105317    103668    209272   2240465     30362   7508534   1167956     21.52   no data  --
3672.69/919.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.38
4101.79/1027.19	c Flit:   480 Blit:   2788 bXBeca:    0 bXProp:  160 Bins:   5849 BRemL:     67 BRemN:    193 P: 200.1M T: 428.94
4102.19/1027.26	c Cleaning up after failed var search:     0.29 s 
4103.37/1027.51	c Replacing      161 vars Replaced   226108 lits Time:     0.94 s 
4105.77/1028.17	c bin-w-bin subsume rem        19369 bins  time:  1.68 s
4110.98/1029.50	c subs with bin:     2306  lits-rem:     57821  v-fix:    0  time:  5.28 s
4121.75/1032.14	c Subs w/ non-existent bins:   3071 l-rem:   8038 v-fix:     1 done:  46790 time: 10.56 s
4122.55/1032.37	c Removed useless bin:    6244  fixed:     0  props:  20.02M  time:  0.87 s
4139.72/1036.68	c lits-rem:     34179  cl-subs:    14048  v-elim:   6489  v-fix:    0  time: 17.22 s
4141.34/1037.08	c asymm  cl-useful: 303/977/196343 lits-rem:1931 time: 1.54
4141.74/1037.13	c  N dy   535    105317     93667    196343   2080964     25080   6964799    948104     21.52   no data  --
4141.74/1037.19	c Finding binary XORs  T:     0.24 s  found:      40
4159.32/1041.51	c  N dy   596    112105     92980    196343   2091804     31661   6964799   1349785     21.98     36.72  --
4177.67/1046.15	c  N dy   663    119295     92980    196343   2092193     19975   6964773    493316     22.55     29.03  --
4199.64/1051.61	c  N dy   728    126946     92980    196343   2092384     27479   6964755    912417     23.03     36.05  --
4219.62/1056.64	c  N dy   795    135068     92980    196343   2092796     35383   6964721   1406658     23.46     42.35  --
4239.20/1061.58	c  N dy   841    143738     92980    196343   2093048     22210   6964721    474462     23.51     64.12  --
4263.16/1067.53	c  N dy   917    153058     92980    196343   2093311     31276   6964721   1023408     23.82     25.30  --
4273.17/1070.08	c  S st   948    157977     92980    196343   2093503     36012   6964705   1271574     23.88   no data  --
4276.35/1070.84	c  S st   948    158477     92979    196343   2093604     36409   6964705   1274093     23.88   no data  --
4276.75/1070.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.35
4691.40/1174.71	c Flit:   331 Blit:    591 bXBeca:    0 bXProp:   70 Bins:  15639 BRemL:      8 BRemN:   1071 P: 200.1M T: 414.45
4691.80/1174.81	c Cleaning up after failed var search:     0.38 s 
4692.60/1175.04	c Replacing      111 vars Replaced    68820 lits Time:     0.92 s 
4695.01/1175.62	c bin-w-bin subsume rem         6326 bins  time:  1.07 s
4701.38/1177.29	c subs with bin:     3581  lits-rem:     95140  v-fix:    0  time:  6.66 s
4717.38/1181.25	c Subs w/ non-existent bins:   1194 l-rem:   5509 v-fix:     1 done:  26336 time: 15.84 s
4718.96/1181.64	c Removed useless bin:    5369  fixed:     0  props:  20.01M  time:  1.23 s
4734.14/1185.43	c lits-rem:     18904  cl-subs:     4921  v-elim:   1385  v-fix:    0  time: 15.12 s
4736.54/1186.00	c asymm  cl-useful: 167/1077/189690 lits-rem:1381 time: 2.20
4736.54/1186.07	c  N dy   948    158477     90562    189690   2055125     33497   6700857   1172073     23.88   no data  --
4736.94/1186.17	c Finding binary XORs  T:     0.38 s  found:      80
4766.10/1193.42	c  N dy   986    168640     89436    187759   2050936     42705   6651448   1598889     23.73     26.51  --

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-3281332-1304032493/watcher-3281332-1304032493 -o /tmp/evaluation-result-3281332-1304032493/solver-3281332-1304032493 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3281332-1304032493.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: 4.34 6.84 7.48 2/174 19256
/proc/meminfo: memFree=13626680/32951124 swapFree=67111528/67111528
[pid=19256] ppid=19254 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19256/stat : 19256 (strangenight1-m) R 19254 19256 18832 0 -1 4202496 413 0 0 0 0 0 0 0 21 0 4 0 514850622 52465664 353 33554432000 4194304 4650419 140735872947024 18446744073709551615 47936069982128 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19256/statm: 12809 353 303 112 0 7774 0
[pid=19256/tid=19257] ppid=19254 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19256/task/19257/stat : 19257 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 514850623 52465664 353 33554432000 4194304 4650419 140735872947024 18446744073709551615 270613167089 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19256/tid=19258] ppid=19254 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19256/task/19258/stat : 19258 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 514850623 52465664 353 33554432000 4194304 4650419 140735872947024 18446744073709551615 270624908342 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19256/tid=19259] ppid=19254 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19256/task/19259/stat : 19259 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 514850623 52465664 353 33554432000 4194304 4650419 140735872947024 18446744073709551615 47936069982134 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.053238 s]
/proc/loadavg: 4.34 6.84 7.48 2/174 19256
/proc/meminfo: memFree=13626680/32951124 swapFree=67111528/67111528
[pid=19256] ppid=19254 vsize=296124 CPUtime=0.15 cores=1,3,5,7
/proc/19256/stat : 19256 (strangenight1-m) R 19254 19256 18832 0 -1 4202496 10347 0 0 0 13 2 0 0 18 0 4 0 514850622 303230976 9298 33554432000 4194304 4650419 140735872947024 18446744073709551615 270612771873 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19256/statm: 74098 9464 344 112 0 69063 0
[pid=19256/tid=19257] ppid=19254 vsize=296392 CPUtime=0.03 cores=1,3,5,7
/proc/19256/task/19257/stat : 19257 (strangenight1-m) D 19254 19256 18832 0 -1 4202560 2516 0 0 0 3 0 0 0 18 0 4 0 514850623 303505408 9464 33554432000 4194304 4650419 140735872947024 18446744073709551615 270612771873 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19256/tid=19258] ppid=19254 vsize=296524 CPUtime=0.03 cores=1,3,5,7
/proc/19256/task/19258/stat : 19258 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 2577 0 0 0 3 0 0 0 18 0 4 0 514850623 303640576 9629 33554432000 4194304 4650419 140735872947024 18446744073709551615 270613110587 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19256/tid=19259] ppid=19254 vsize=298576 CPUtime=0.03 cores=1,3,5,7
/proc/19256/task/19259/stat : 19259 (strangenight1-m) D 19254 19256 18832 0 -1 4202560 2609 0 0 0 3 0 0 0 18 0 4 0 514850623 305741824 10050 33554432000 4194304 4650419 140735872947024 18446744073709551615 270612771873 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 296124

[startup+0.11567 s]
/proc/loadavg: 4.34 6.84 7.48 2/174 19256
/proc/meminfo: memFree=13626680/32951124 swapFree=67111528/67111528
[pid=19256] ppid=19254 vsize=308840 CPUtime=0.35 cores=1,3,5,7
/proc/19256/stat : 19256 (strangenight1-m) D 19254 19256 18832 0 -1 4202496 19595 0 0 0 29 6 0 0 18 0 4 0 514850622 316252160 17423 33554432000 4194304 4650419 140735872947024 18446744073709551615 270613153975 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19256/statm: 77210 17423 344 112 0 72175 0
[pid=19256/tid=19257] ppid=19254 vsize=308840 CPUtime=0.07 cores=1,3,5,7
/proc/19256/task/19257/stat : 19257 (strangenight1-m) D 19254 19256 18832 0 -1 4202560 4783 0 0 0 6 1 0 0 18 0 4 0 514850623 316252160 17423 33554432000 4194304 4650419 140735872947024 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19256/tid=19258] ppid=19254 vsize=308840 CPUtime=0.08 cores=1,3,5,7
/proc/19256/task/19258/stat : 19258 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 4807 0 0 0 7 1 0 0 18 0 4 0 514850623 316252160 17423 33554432000 4194304 4650419 140735872947024 18446744073709551615 270612771525 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19256/tid=19259] ppid=19254 vsize=308840 CPUtime=0.08 cores=1,3,5,7
/proc/19256/task/19259/stat : 19259 (strangenight1-m) D 19254 19256 18832 0 -1 4202560 4788 0 0 0 7 1 0 0 18 0 4 0 514850623 316252160 17423 33554432000 4194304 4650419 140735872947024 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 308840

[startup+0.307788 s]
/proc/loadavg: 4.34 6.84 7.48 2/174 19256
/proc/meminfo: memFree=13626680/32951124 swapFree=67111528/67111528
[pid=19256] ppid=19254 vsize=375396 CPUtime=0.98 cores=1,3,5,7
/proc/19256/stat : 19256 (strangenight1-m) R 19254 19256 18832 0 -1 4202496 50798 0 0 0 76 22 0 0 18 0 4 0 514850622 384405504 44776 33554432000 4194304 4650419 140735872947024 18446744073709551615 270613153927 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19256/statm: 93849 44776 344 112 0 88814 0
[pid=19256/tid=19257] ppid=19254 vsize=375396 CPUtime=0.22 cores=1,3,5,7
/proc/19256/task/19257/stat : 19257 (strangenight1-m) D 19254 19256 18832 0 -1 4202560 12352 0 0 0 18 4 0 0 18 0 4 0 514850623 384405504 44776 33554432000 4194304 4650419 140735872947024 18446744073709551615 4361571 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19256/tid=19258] ppid=19254 vsize=375396 CPUtime=0.24 cores=1,3,5,7
/proc/19256/task/19258/stat : 19258 (strangenight1-m) D 19254 19256 18832 0 -1 4202560 12957 0 0 0 20 4 0 0 18 0 4 0 514850623 384405504 44776 33554432000 4194304 4650419 140735872947024 18446744073709551615 4316569 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19256/tid=19259] ppid=19254 vsize=375396 CPUtime=0.24 cores=1,3,5,7
/proc/19256/task/19259/stat : 19259 (strangenight1-m) D 19254 19256 18832 0 -1 4202560 12479 0 0 0 18 6 0 0 18 0 4 0 514850623 384405504 44264 33554432000 4194304 4650419 140735872947024 18446744073709551615 4361571 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 375396

[startup+0.701118 s]
/proc/loadavg: 4.34 6.84 7.48 2/174 19256
/proc/meminfo: memFree=13626680/32951124 swapFree=67111528/67111528
[pid=19256] ppid=19254 vsize=559312 CPUtime=2.3 cores=1,3,5,7
/proc/19256/stat : 19256 (strangenight1-m) R 19254 19256 18832 0 -1 4202496 99482 0 0 0 184 46 0 0 18 0 4 0 514850622 572735488 88327 33554432000 4194304 4650419 140735872947024 18446744073709551615 4317229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19256/statm: 139828 88327 344 112 0 134793 0
[pid=19256/tid=19257] ppid=19254 vsize=559312 CPUtime=0.55 cores=1,3,5,7
/proc/19256/task/19257/stat : 19257 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 24031 0 0 0 45 10 0 0 18 0 4 0 514850623 572735488 88331 33554432000 4194304 4650419 140735872947024 18446744073709551615 4545942 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19256/tid=19258] ppid=19254 vsize=559312 CPUtime=0.57 cores=1,3,5,7
/proc/19256/task/19258/stat : 19258 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 26962 0 0 0 49 8 0 0 18 0 4 0 514850623 572735488 88333 33554432000 4194304 4650419 140735872947024 18446744073709551615 4316404 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19256/tid=19259] ppid=19254 vsize=559312 CPUtime=0.57 cores=1,3,5,7
/proc/19256/task/19259/stat : 19259 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 24035 0 0 0 44 13 0 0 18 0 4 0 514850623 572735488 88334 33554432000 4194304 4650419 140735872947024 18446744073709551615 270612779249 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 559312

[startup+1.77193 s]
/proc/loadavg: 4.34 6.84 7.48 2/174 19256
/proc/meminfo: memFree=13626680/32951124 swapFree=67111528/67111528
[pid=19256] ppid=19254 vsize=1183632 CPUtime=5.98 cores=1,3,5,7
/proc/19256/stat : 19256 (strangenight1-m) R 19254 19256 18832 0 -1 4202496 244669 0 0 0 483 115 0 0 18 0 4 0 514850622 1212039168 209709 33554432000 4194304 4650419 140735872947024 18446744073709551615 4546916 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19256/statm: 295908 209711 344 112 0 290873 0
[pid=19256/tid=19257] ppid=19254 vsize=1183632 CPUtime=1.49 cores=1,3,5,7
/proc/19256/task/19257/stat : 19257 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 60583 0 0 0 119 30 0 0 18 0 4 0 514850623 1212039168 209714 33554432000 4194304 4650419 140735872947024 18446744073709551615 4545903 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19256/tid=19258] ppid=19254 vsize=1183632 CPUtime=1.49 cores=1,3,5,7
/proc/19256/task/19258/stat : 19258 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 62526 0 0 0 130 19 0 0 18 0 4 0 514850623 1212039168 209716 33554432000 4194304 4650419 140735872947024 18446744073709551615 4545883 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19256/tid=19259] ppid=19254 vsize=1183632 CPUtime=1.49 cores=1,3,5,7
/proc/19256/task/19259/stat : 19259 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 60578 0 0 0 116 33 0 0 18 0 4 0 514850623 1212039168 209717 33554432000 4194304 4650419 140735872947024 18446744073709551615 270612771873 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 1183632

[startup+3.10671 s]
/proc/loadavg: 4.55 6.84 7.47 6/178 19260
/proc/meminfo: memFree=12542344/32951124 swapFree=67111528/67111528
[pid=19256] ppid=19254 vsize=1211000 CPUtime=11.24 cores=1,3,5,7
/proc/19256/stat : 19256 (strangenight1-m) R 19254 19256 18832 0 -1 4202496 297972 0 0 0 991 133 0 0 18 0 4 0 514850622 1240064000 241437 33554432000 4194304 4650419 140735872947024 18446744073709551615 4369860 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19256/statm: 302750 241437 373 112 0 297715 0
[pid=19256/tid=19257] ppid=19254 vsize=1211000 CPUtime=2.8 cores=1,3,5,7
/proc/19256/task/19257/stat : 19257 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 76501 0 0 0 245 35 0 0 18 0 4 0 514850623 1240064000 241437 33554432000 4194304 4650419 140735872947024 18446744073709551615 4369240 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19256/tid=19258] ppid=19254 vsize=1211000 CPUtime=2.81 cores=1,3,5,7
/proc/19256/task/19258/stat : 19258 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 76254 0 0 0 259 22 0 0 18 0 4 0 514850623 1240064000 241437 33554432000 4194304 4650419 140735872947024 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19256/tid=19259] ppid=19254 vsize=1211000 CPUtime=2.81 cores=1,3,5,7
/proc/19256/task/19259/stat : 19259 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 68299 0 0 0 244 37 0 0 18 0 4 0 514850623 1240064000 241437 33554432000 4194304 4650419 140735872947024 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.24
Current children cumulated vsize (KiB) 1211000

[startup+6.30113 s]
/proc/loadavg: 4.55 6.84 7.47 9/184 19269
/proc/meminfo: memFree=12084764/32951124 swapFree=67111528/67111528
[pid=19256] ppid=19254 vsize=1211528 CPUtime=24.02 cores=1,3,5,7
/proc/19256/stat : 19256 (strangenight1-m) R 19254 19256 18832 0 -1 4202496 299408 0 0 0 2267 135 0 0 25 0 4 0 514850622 1240604672 242873 33554432000 4194304 4650419 140735872947024 18446744073709551615 4369471 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19256/statm: 302882 242873 373 112 0 297847 0
[pid=19256/tid=19257] ppid=19254 vsize=1211528 CPUtime=5.98 cores=1,3,5,7
/proc/19256/task/19257/stat : 19257 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 76689 0 0 0 563 35 0 0 25 0 4 0 514850623 1240604672 242873 33554432000 4194304 4650419 140735872947024 18446744073709551615 4369079 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19256/tid=19258] ppid=19254 vsize=1211528 CPUtime=6.01 cores=1,3,5,7
/proc/19256/task/19258/stat : 19258 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 76490 0 0 0 579 22 0 0 25 0 4 0 514850623 1240604672 242873 33554432000 4194304 4650419 140735872947024 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19256/tid=19259] ppid=19254 vsize=1211528 CPUtime=6.01 cores=1,3,5,7
/proc/19256/task/19259/stat : 19259 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 69085 0 0 0 562 39 0 0 25 0 4 0 514850623 1240604672 242873 33554432000 4194304 4650419 140735872947024 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.02
Current children cumulated vsize (KiB) 1211528

[startup+12.701 s]
/proc/loadavg: 5.30 6.93 7.50 9/184 19270
/proc/meminfo: memFree=9318704/32951124 swapFree=67111528/67111528
[pid=19256] ppid=19254 vsize=1645508 CPUtime=49.55 cores=1,3,5,7
/proc/19256/stat : 19256 (strangenight1-m) R 19254 19256 18832 0 -1 4202496 380803 0 0 0 4802 153 0 0 19 0 4 0 514850622 1685000192 324263 33554432000 4194304 4650419 140735872947024 18446744073709551615 4435469 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19256/statm: 411377 324263 383 112 0 406342 0
[pid=19256/tid=19257] ppid=19254 vsize=1645508 CPUtime=12.33 cores=1,3,5,7
/proc/19256/task/19257/stat : 19257 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 102252 0 0 0 1192 41 0 0 19 0 4 0 514850623 1685000192 324263 33554432000 4194304 4650419 140735872947024 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19256/tid=19258] ppid=19254 vsize=1645508 CPUtime=12.4 cores=1,3,5,7
/proc/19256/task/19258/stat : 19258 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 101984 0 0 0 1213 27 0 0 19 0 4 0 514850623 1685000192 324263 33554432000 4194304 4650419 140735872947024 18446744073709551615 4433134 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19256/tid=19259] ppid=19254 vsize=1645508 CPUtime=12.4 cores=1,3,5,7
/proc/19256/task/19259/stat : 19259 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 73925 0 0 0 1199 41 0 0 25 0 4 0 514850623 1685000192 324263 33554432000 4194304 4650419 140735872947024 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.55
Current children cumulated vsize (KiB) 1645508

[startup+25.5007 s]
/proc/loadavg: 5.79 6.98 7.51 7/184 19270
/proc/meminfo: memFree=9000552/32951124 swapFree=67111528/67111528
[pid=19256] ppid=19254 vsize=1829180 CPUtime=100.68 cores=1,3,5,7
/proc/19256/stat : 19256 (strangenight1-m) R 19254 19256 18832 0 -1 4202496 421841 0 0 0 9906 162 0 0 25 0 4 0 514850622 1873080320 365073 33554432000 4194304 4650419 140735872947024 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19256/statm: 457295 365073 388 112 0 452260 0
[pid=19256/tid=19257] ppid=19254 vsize=1829180 CPUtime=25.06 cores=1,3,5,7
/proc/19256/task/19257/stat : 19257 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 115455 0 0 0 2462 44 0 0 25 0 4 0 514850623 1873080320 365073 33554432000 4194304 4650419 140735872947024 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19256/tid=19258] ppid=19254 vsize=1829180 CPUtime=25.2 cores=1,3,5,7
/proc/19256/task/19258/stat : 19258 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 115041 0 0 0 2491 29 0 0 25 0 4 0 514850623 1873080320 365073 33554432000 4194304 4650419 140735872947024 18446744073709551615 4433090 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19256/tid=19259] ppid=19254 vsize=1829180 CPUtime=25.2 cores=1,3,5,7
/proc/19256/task/19259/stat : 19259 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 75541 0 0 0 2478 42 0 0 25 0 4 0 514850623 1873080320 365073 33554432000 4194304 4650419 140735872947024 18446744073709551615 4304187 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 100.68
Current children cumulated vsize (KiB) 1829180

[startup+51.1012 s]
/proc/loadavg: 6.55 7.06 7.52 9/184 19271
/proc/meminfo: memFree=7041004/32951124 swapFree=67111528/67111528
[pid=19256] ppid=19254 vsize=1869308 CPUtime=202.94 cores=1,3,5,7
/proc/19256/stat : 19256 (strangenight1-m) R 19254 19256 18832 0 -1 4202496 469983 0 0 0 20105 189 0 0 25 0 4 0 514850622 1914171392 401823 33554432000 4194304 4650419 140735872947024 18446744073709551615 4304183 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19256/statm: 467327 401823 394 112 0 462292 0
[pid=19256/tid=19257] ppid=19254 vsize=1869308 CPUtime=50.53 cores=1,3,5,7
/proc/19256/task/19257/stat : 19257 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 131900 0 0 0 4998 55 0 0 25 0 4 0 514850623 1914171392 401823 33554432000 4194304 4650419 140735872947024 18446744073709551615 4310834 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19256/tid=19258] ppid=19254 vsize=1869308 CPUtime=50.8 cores=1,3,5,7
/proc/19256/task/19258/stat : 19258 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 127232 0 0 0 5045 35 0 0 25 0 4 0 514850623 1914171392 401823 33554432000 4194304 4650419 140735872947024 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19256/tid=19259] ppid=19254 vsize=1869308 CPUtime=50.8 cores=1,3,5,7
/proc/19256/task/19259/stat : 19259 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 80283 0 0 0 5037 43 0 0 25 0 4 0 514850623 1914171392 401823 33554432000 4194304 4650419 140735872947024 18446744073709551615 4363323 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 202.94
Current children cumulated vsize (KiB) 1869308

[startup+102.301 s]
/proc/loadavg: 7.34 7.20 7.54 9/184 19272
/proc/meminfo: memFree=7070436/32951124 swapFree=67111528/67111528
[pid=19256] ppid=19254 vsize=1860216 CPUtime=407.46 cores=1,3,5,7
/proc/19256/stat : 19256 (strangenight1-m) R 19254 19256 18832 0 -1 4202496 510180 0 0 0 40546 200 0 0 25 0 4 0 514850622 1904861184 398998 33554432000 4194304 4650419 140735872947024 18446744073709551615 4236872 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19256/statm: 465054 398998 395 112 0 460019 0
[pid=19256/tid=19257] ppid=19254 vsize=1860216 CPUtime=101.44 cores=1,3,5,7
/proc/19256/task/19257/stat : 19257 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 143191 0 0 0 10086 58 0 0 25 0 4 0 514850623 1904861184 398998 33554432000 4194304 4650419 140735872947024 18446744073709551615 4236868 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19256/tid=19258] ppid=19254 vsize=1860216 CPUtime=102 cores=1,3,5,7
/proc/19256/task/19258/stat : 19258 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 135900 0 0 0 10163 37 0 0 25 0 4 0 514850623 1904861184 398998 33554432000 4194304 4650419 140735872947024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19256/tid=19259] ppid=19254 vsize=1860216 CPUtime=102 cores=1,3,5,7
/proc/19256/task/19259/stat : 19259 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 90295 0 0 0 10154 46 0 0 25 0 4 0 514850623 1904861184 398998 33554432000 4194304 4650419 140735872947024 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.46
Current children cumulated vsize (KiB) 1860216

[startup+162.3 s]

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


[startup+702.301 s]
/proc/loadavg: 7.95 7.85 7.74 9/184 19288
/proc/meminfo: memFree=4836932/32951124 swapFree=67111528/67111528
[pid=19256] ppid=19254 vsize=2867072 CPUtime=2804.25 cores=1,3,5,7
/proc/19256/stat : 19256 (strangenight1-m) R 19254 19256 18832 0 -1 4202496 1338875 0 0 0 280064 361 0 0 25 0 4 0 514850622 2935881728 603587 33554432000 4194304 4650419 140735872947024 18446744073709551615 4230556 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19256/statm: 716768 603587 396 112 0 711733 0
[pid=19256/tid=19257] ppid=19254 vsize=2867072 CPUtime=698.2 cores=1,3,5,7
/proc/19256/task/19257/stat : 19257 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 185403 0 0 0 69750 70 0 0 25 0 4 0 514850623 2935881728 603587 33554432000 4194304 4650419 140735872947024 18446744073709551615 4230784 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19256/tid=19258] ppid=19254 vsize=2867072 CPUtime=702.01 cores=1,3,5,7
/proc/19256/task/19258/stat : 19258 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 255061 0 0 0 70141 60 0 0 25 0 4 0 514850623 2935881728 603587 33554432000 4194304 4650419 140735872947024 18446744073709551615 4230555 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19256/tid=19259] ppid=19254 vsize=2867072 CPUtime=702.01 cores=1,3,5,7
/proc/19256/task/19259/stat : 19259 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 301706 0 0 0 70111 90 0 0 25 0 4 0 514850623 2935881728 603587 33554432000 4194304 4650419 140735872947024 18446744073709551615 4236872 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2804.25
Current children cumulated vsize (KiB) 2867072

[startup+762.301 s]
/proc/loadavg: 8.04 7.89 7.76 9/184 19290
/proc/meminfo: memFree=4696312/32951124 swapFree=67111528/67111528
[pid=19256] ppid=19254 vsize=2799400 CPUtime=3043.93 cores=1,3,5,7
/proc/19256/stat : 19256 (strangenight1-m) R 19254 19256 18832 0 -1 4202496 1359073 0 0 0 304028 365 0 0 25 0 4 0 514850622 2866585600 601791 33554432000 4194304 4650419 140735872947024 18446744073709551615 4236872 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19256/statm: 699850 601791 396 112 0 694815 0
[pid=19256/tid=19257] ppid=19254 vsize=2799400 CPUtime=757.87 cores=1,3,5,7
/proc/19256/task/19257/stat : 19257 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 187937 0 0 0 75717 70 0 0 25 0 4 0 514850623 2866585600 601791 33554432000 4194304 4650419 140735872947024 18446744073709551615 4310774 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19256/tid=19258] ppid=19254 vsize=2799400 CPUtime=762.02 cores=1,3,5,7
/proc/19256/task/19258/stat : 19258 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 262787 0 0 0 76139 63 0 0 25 0 4 0 514850623 2866585600 601791 33554432000 4194304 4650419 140735872947024 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19256/tid=19259] ppid=19254 vsize=2799400 CPUtime=762.02 cores=1,3,5,7
/proc/19256/task/19259/stat : 19259 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 311644 0 0 0 76111 91 0 0 25 0 4 0 514850623 2866585600 601791 33554432000 4194304 4650419 140735872947024 18446744073709551615 4230799 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3043.93
Current children cumulated vsize (KiB) 2799400

[startup+822.301 s]
/proc/loadavg: 8.12 7.93 7.78 9/184 19291
/proc/meminfo: memFree=4223436/32951124 swapFree=67111528/67111528
[pid=19256] ppid=19254 vsize=3225672 CPUtime=3283.61 cores=1,3,5,7
/proc/19256/stat : 19256 (strangenight1-m) R 19254 19256 18832 0 -1 4202496 1463573 0 0 0 327973 388 0 0 25 0 4 0 514850622 3303088128 674685 33554432000 4194304 4650419 140735872947024 18446744073709551615 4236872 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19256/statm: 806418 674685 396 112 0 801383 0
[pid=19256/tid=19257] ppid=19254 vsize=3225672 CPUtime=817.55 cores=1,3,5,7
/proc/19256/task/19257/stat : 19257 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 201298 0 0 0 81681 74 0 0 25 0 4 0 514850623 3303088128 674685 33554432000 4194304 4650419 140735872947024 18446744073709551615 4335219 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19256/tid=19258] ppid=19254 vsize=3225672 CPUtime=822.02 cores=1,3,5,7
/proc/19256/task/19258/stat : 19258 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 268945 0 0 0 82137 65 0 0 25 0 4 0 514850623 3303088128 674685 33554432000 4194304 4650419 140735872947024 18446744073709551615 4236868 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19256/tid=19259] ppid=19254 vsize=3225672 CPUtime=822.02 cores=1,3,5,7
/proc/19256/task/19259/stat : 19259 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 396625 0 0 0 82094 108 0 0 25 0 4 0 514850623 3303088128 674685 33554432000 4194304 4650419 140735872947024 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3283.61
Current children cumulated vsize (KiB) 3225672

[startup+882.301 s]
/proc/loadavg: 8.10 7.96 7.80 9/184 19293
/proc/meminfo: memFree=4013676/32951124 swapFree=67111528/67111528
[pid=19256] ppid=19254 vsize=3193752 CPUtime=3523.29 cores=1,3,5,7
/proc/19256/stat : 19256 (strangenight1-m) R 19254 19256 18832 0 -1 4202496 1486741 0 0 0 351934 395 0 0 25 0 4 0 514850622 3270402048 688355 33554432000 4194304 4650419 140735872947024 18446744073709551615 4243552 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19256/statm: 798438 688355 396 112 0 793403 0
[pid=19256/tid=19257] ppid=19254 vsize=3193752 CPUtime=877.23 cores=1,3,5,7
/proc/19256/task/19257/stat : 19257 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 201686 0 0 0 87649 74 0 0 25 0 4 0 514850623 3270402048 688355 33554432000 4194304 4650419 140735872947024 18446744073709551615 4230600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19256/tid=19258] ppid=19254 vsize=3193752 CPUtime=882.02 cores=1,3,5,7
/proc/19256/task/19258/stat : 19258 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 270162 0 0 0 88136 66 0 0 25 0 4 0 514850623 3270402048 688355 33554432000 4194304 4650419 140735872947024 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19256/tid=19259] ppid=19254 vsize=3193752 CPUtime=882.02 cores=1,3,5,7
/proc/19256/task/19259/stat : 19259 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 418188 0 0 0 88088 114 0 0 25 0 4 0 514850623 3270402048 688355 33554432000 4194304 4650419 140735872947024 18446744073709551615 4363768 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3523.29
Current children cumulated vsize (KiB) 3193752

[startup+942.3 s]
/proc/loadavg: 8.08 7.98 7.81 9/184 19294
/proc/meminfo: memFree=3936068/32951124 swapFree=67111528/67111528
[pid=19256] ppid=19254 vsize=3217228 CPUtime=3762.99 cores=1,3,5,7
/proc/19256/stat : 19256 (strangenight1-m) R 19254 19256 18832 0 -1 4202496 1510804 0 0 0 375895 404 0 0 25 0 4 0 514850622 3294441472 705997 33554432000 4194304 4650419 140735872947024 18446744073709551615 4230557 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19256/statm: 804307 705997 396 112 0 799272 0
[pid=19256/tid=19257] ppid=19254 vsize=3217228 CPUtime=936.92 cores=1,3,5,7
/proc/19256/task/19257/stat : 19257 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 201686 0 0 0 93618 74 0 0 25 0 4 0 514850623 3294441472 705997 33554432000 4194304 4650419 140735872947024 18446744073709551615 4236891 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19256/tid=19258] ppid=19254 vsize=3217228 CPUtime=942.02 cores=1,3,5,7
/proc/19256/task/19258/stat : 19258 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 281950 0 0 0 94133 69 0 0 25 0 4 0 514850623 3294441472 705997 33554432000 4194304 4650419 140735872947024 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19256/tid=19259] ppid=19254 vsize=3217228 CPUtime=942.02 cores=1,3,5,7
/proc/19256/task/19259/stat : 19259 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 426540 0 0 0 94084 118 0 0 25 0 4 0 514850623 3294441472 705997 33554432000 4194304 4650419 140735872947024 18446744073709551615 4326730 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3762.99
Current children cumulated vsize (KiB) 3217228

[startup+1002.3 s]
/proc/loadavg: 8.06 8.00 7.83 9/184 19296
/proc/meminfo: memFree=3589832/32951124 swapFree=67111528/67111528
[pid=19256] ppid=19254 vsize=3702916 CPUtime=4002.69 cores=1,3,5,7
/proc/19256/stat : 19256 (strangenight1-m) R 19254 19256 18832 0 -1 4202496 1600967 0 0 0 399849 420 0 0 25 0 4 0 514850622 3791785984 783233 33554432000 4194304 4650419 140735872947024 18446744073709551615 4230553 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19256/statm: 925729 783233 396 112 0 920694 0
[pid=19256/tid=19257] ppid=19254 vsize=3702916 CPUtime=996.61 cores=1,3,5,7
/proc/19256/task/19257/stat : 19257 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 201686 0 0 0 99587 74 0 0 25 0 4 0 514850623 3791785984 783233 33554432000 4194304 4650419 140735872947024 18446744073709551615 4230555 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19256/tid=19258] ppid=19254 vsize=3702916 CPUtime=1002.02 cores=1,3,5,7
/proc/19256/task/19258/stat : 19258 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 288894 0 0 0 100131 71 0 0 25 0 4 0 514850623 3791785984 783233 33554432000 4194304 4650419 140735872947024 18446744073709551615 4363350 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19256/tid=19259] ppid=19254 vsize=3702916 CPUtime=1002.03 cores=1,3,5,7
/proc/19256/task/19259/stat : 19259 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 509759 0 0 0 100070 133 0 0 25 0 4 0 514850623 3791785984 783233 33554432000 4194304 4650419 140735872947024 18446744073709551615 4365535 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4002.69
Current children cumulated vsize (KiB) 3702916

[startup+1062.3 s]
/proc/loadavg: 8.02 8.00 7.83 9/184 19298
/proc/meminfo: memFree=3543352/32951124 swapFree=67111528/67111528
[pid=19256] ppid=19254 vsize=3702908 CPUtime=4242.41 cores=1,3,5,7
/proc/19256/stat : 19256 (strangenight1-m) R 19254 19256 18832 0 -1 4202496 1618749 0 0 0 423816 425 0 0 25 0 4 0 514850622 3791777792 794759 33554432000 4194304 4650419 140735872947024 18446744073709551615 4310834 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19256/statm: 925727 794759 396 112 0 920692 0
[pid=19256/tid=19257] ppid=19254 vsize=3702908 CPUtime=1056.32 cores=1,3,5,7
/proc/19256/task/19257/stat : 19257 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 201686 0 0 0 105558 74 0 0 25 0 4 0 514850623 3791777792 794759 33554432000 4194304 4650419 140735872947024 18446744073709551615 4345932 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19256/tid=19258] ppid=19254 vsize=3702908 CPUtime=1062.03 cores=1,3,5,7
/proc/19256/task/19258/stat : 19258 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 289415 0 0 0 106132 71 0 0 25 0 4 0 514850623 3791777792 794759 33554432000 4194304 4650419 140735872947024 18446744073709551615 4230804 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19256/tid=19259] ppid=19254 vsize=3702908 CPUtime=1062.03 cores=1,3,5,7
/proc/19256/task/19259/stat : 19259 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 519622 0 0 0 106068 135 0 0 25 0 4 0 514850623 3791777792 794759 33554432000 4194304 4650419 140735872947024 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4242.41
Current children cumulated vsize (KiB) 3702908

[startup+1122.3 s]
/proc/loadavg: 8.05 8.01 7.84 9/184 19299
/proc/meminfo: memFree=3423720/32951124 swapFree=67111528/67111528
[pid=19256] ppid=19254 vsize=3768444 CPUtime=4482.07 cores=1,3,5,7
/proc/19256/stat : 19256 (strangenight1-m) R 19254 19256 18832 0 -1 4202496 1630828 0 0 0 447779 428 0 0 25 0 4 0 514850622 3858886656 801398 33554432000 4194304 4650419 140735872947024 18446744073709551615 4236868 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19256/statm: 942111 801398 396 112 0 937076 0
[pid=19256/tid=19257] ppid=19254 vsize=3768444 CPUtime=1115.99 cores=1,3,5,7
/proc/19256/task/19257/stat : 19257 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 207121 0 0 0 111524 75 0 0 25 0 4 0 514850623 3858886656 801398 33554432000 4194304 4650419 140735872947024 18446744073709551615 4363734 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19256/tid=19258] ppid=19254 vsize=3768444 CPUtime=1122.02 cores=1,3,5,7
/proc/19256/task/19258/stat : 19258 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 289478 0 0 0 112131 71 0 0 25 0 4 0 514850623 3858886656 801398 33554432000 4194304 4650419 140735872947024 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19256/tid=19259] ppid=19254 vsize=3768444 CPUtime=1122.03 cores=1,3,5,7
/proc/19256/task/19259/stat : 19259 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 525443 0 0 0 112066 137 0 0 25 0 4 0 514850623 3858886656 801398 33554432000 4194304 4650419 140735872947024 18446744073709551615 4528961 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.07
Current children cumulated vsize (KiB) 3768444

[startup+1182.31 s]
/proc/loadavg: 8.11 8.03 7.86 9/184 19301
/proc/meminfo: memFree=2897528/32951124 swapFree=67111528/67111528
[pid=19256] ppid=19254 vsize=3833980 CPUtime=4721.77 cores=1,3,5,7
/proc/19256/stat : 19256 (strangenight1-m) R 19254 19256 18832 0 -1 4202496 1652731 0 0 0 471740 437 0 0 25 0 4 0 514850622 3925995520 815346 33554432000 4194304 4650419 140735872947024 18446744073709551615 4476201 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19256/statm: 958495 815346 396 112 0 953460 0
[pid=19256/tid=19257] ppid=19254 vsize=3833980 CPUtime=1175.68 cores=1,3,5,7
/proc/19256/task/19257/stat : 19257 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 214713 0 0 0 117489 79 0 0 25 0 4 0 514850623 3925995520 815346 33554432000 4194304 4650419 140735872947024 18446744073709551615 4310834 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19256/tid=19258] ppid=19254 vsize=3833980 CPUtime=1182.03 cores=1,3,5,7
/proc/19256/task/19258/stat : 19258 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 290078 0 0 0 118132 71 0 0 25 0 4 0 514850623 3925995520 815346 33554432000 4194304 4650419 140735872947024 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19256/tid=19259] ppid=19254 vsize=3833980 CPUtime=1182.04 cores=1,3,5,7
/proc/19256/task/19259/stat : 19259 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 536678 0 0 0 118062 142 0 0 25 0 4 0 514850623 3925995520 815346 33554432000 4194304 4650419 140735872947024 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4721.77
Current children cumulated vsize (KiB) 3833980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.21 8.06 7.87 10/184 19301
/proc/meminfo: memFree=2760660/32951124 swapFree=67111528/67111528
[pid=19256] ppid=19254 vsize=3833980 CPUtime=4800.07 cores=1,3,5,7
/proc/19256/stat : 19256 (strangenight1-m) R 19254 19256 18832 0 -1 4202496 1659809 0 0 0 479567 440 0 0 25 0 4 0 514850622 3925995520 814969 33554432000 4194304 4650419 140735872947024 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19256/statm: 958495 814969 396 112 0 953460 0
[pid=19256/tid=19257] ppid=19254 vsize=3833980 CPUtime=1195.16 cores=1,3,5,7
/proc/19256/task/19257/stat : 19257 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 215346 0 0 0 119437 79 0 0 25 0 4 0 514850623 3925995520 814969 33554432000 4194304 4650419 140735872947024 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19256/tid=19258] ppid=19254 vsize=3833980 CPUtime=1201.63 cores=1,3,5,7
/proc/19256/task/19258/stat : 19258 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 290429 0 0 0 120092 71 0 0 25 0 4 0 514850623 3925995520 814969 33554432000 4194304 4650419 140735872947024 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19256/tid=19259] ppid=19254 vsize=3833980 CPUtime=1201.63 cores=1,3,5,7
/proc/19256/task/19259/stat : 19259 (strangenight1-m) R 19254 19256 18832 0 -1 4202560 537594 0 0 0 120021 142 0 0 25 0 4 0 514850623 3925995520 814969 33554432000 4194304 4650419 140735872947024 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 3833980

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

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

[startup+1202.01 s]
/proc/loadavg: 8.21 8.06 7.87 6/183 19302
/proc/meminfo: memFree=4950136/32951124 swapFree=67111528/67111528
[pid=19256] ppid=19254 vsize=0 CPUtime=4800.2 cores=1,3,5,7
/proc/19256/stat : 19256 (strangenight1-m) Z 19254 19256 18832 0 -1 4203548 1659809 0 0 0 479569 451 0 0 25 0 2 0 514850622 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19256/statm: 0 0 0 0 0 0 0
[pid=19256/tid=19257] ppid=19254 vsize=0 CPUtime=1195.28 cores=1,3,5,7
/proc/19256/task/19257/stat : 19257 (strangenight1-m) R 19254 19256 18832 0 -1 4203588 215346 0 0 0 119438 90 0 0 25 0 2 0 514850623 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.05
CPU time (s): 4800.24
CPU user time (s): 4795.69
CPU system time (s): 4.54231
CPU usage (%): 399.337
Max. virtual memory (cumulated for all children) (KiB): 3899524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.69
system time used= 4.54231
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1659809
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= 22822
involuntary context switches= 31368

runsolver used 1.81772 second user time and 4.66729 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-29 01:14:57
IDJOB=3281332
IDBENCH=20580
IDSOLVER=1588
FILE ID=node108/3281332-1304032493
RUNJOBID= node108-1304032493-19243
PBS_JOBID= 13170344
Free space on /tmp= 71856 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281332-1304032493/watcher-3281332-1304032493 -o /tmp/evaluation-result-3281332-1304032493/solver-3281332-1304032493 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3281332-1304032493.cnf

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

MD5SUM BENCH= 0fbc00fde383cec371bb97d621c5e7e5
RANDOM SEED=1473553948

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13627332 kB
Buffers:       2294604 kB
Cached:       16374740 kB
SwapCached:          0 kB
Active:       10390064 kB
Inactive:      8346516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13627332 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          280400 kB
Writeback:           0 kB
AnonPages:       66560 kB
Mapped:          14500 kB
Slab:           524688 kB
PageTables:       4716 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190096 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= 71680 MiB
End job on node108 at 2011-04-29 01:35:01