Trace number 3369470

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.55 1203.84

General information on the benchmark

NameSAT03/industrial/schuppan/l2s/
valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf
MD5SUMcb369c4583eb075a3a8cb5a04701e120
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4716.27
Satisfiable
(Un)Satisfiability was proved
Number of variables985042
Number of clauses3113540
Sum of the clauses size7976612
Maximum clause length618
Minimum clause length1
Number of clauses of size 1158
Number of clauses of size 21490897
Number of clauses of size 31578048
Number of clauses of size 428388
Number of clauses of size 59876
Number of clauses of size over 56173

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369470-1305415934.cnf'
0.00/0.01	c -- header says num vars:         985042
0.00/0.01	c -- header says num clauses:     3113540
11.74/3.00	c -- clauses added:            0 learnts,      3113540 normals,            0 xors
11.74/3.00	c -- vars added     985042
11.74/3.00	c Parsing time: 10.76 s
11.74/3.00	c  N st     0         0    985042   1620902   1490503         0   7970771         0   no data   no data  --
16.12/4.19	c asymm  cl-useful: 0/175/1592883 lits-rem:0 time: 4.43
113.83/28.65	c Flit:    42 Blit:    307 bXBeca:    0 bXProp: 40473 Bins:      0 BRemL:      0 BRemN:      0 P: 200.5M T: 96.52
115.07/28.95	c Cleaning up after failed var search:     1.14 s 
117.42/29.59	c Replacing    40625 vars Replaced   572404 lits Time:     2.42 s 
125.37/31.57	c bin-w-bin subsume rem           12 bins  time:  1.41 s
129.76/32.60	c subs with bin:     2718  lits-rem:      3854  v-fix:    0  time:  4.09 s
295.65/74.25	c Subs w/ non-existent bins:   1613 l-rem:     22 v-fix:   164 done:   6074 time: 165.93 s
299.28/75.16	c Removed useless bin:       3  fixed:     0  props:  20.05M  time:  3.61 s
345.05/86.69	c lits-rem:       157  cl-subs:    12352  v-elim: 300875  v-fix:    0  time: 45.49 s
347.49/87.25	c Finding binary XORs  T:     2.22 s  found:  132031
350.64/88.05	c Replacing   132031 vars Replaced  1598950 lits Time:     3.19 s 
357.82/89.81	c Finding non-binary XORs:     5.29 s (found:  108049, avg size: 3.0)
357.82/89.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      2 locsubst: 32914 time:   1.60
359.02/90.19	c Replacing    16457 vars Replaced   167254 lits Time:     1.53 s 
360.66/90.51	c Calc default polars -  time:   0.80 s pos:  179068 undec:  543530 neg:  262444
360.66/90.51	c =========================================================================================
360.66/90.51	c types(t): F = full restart, N = normal restart
360.66/90.51	c types(t): S = simplification begin/end, E = solution found
360.66/90.51	c restart types(rt): st = static, dy = dynamic
360.66/90.51	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
360.66/90.51	c  B st     0         0    453098    771441    601472         0   4276665         0   no data   no data  --
396.11/99.48	c Decided on static restart strategy
422.08/105.97	c  N st     8      4918    453066    771441    602068      4269   4276665    285805   no data   no data  --
459.53/115.32	c Finding binary XORs  T:     1.31 s  found:    2578
460.73/115.65	c Replacing     4982 vars Replaced    83484 lits Time:     1.30 s 
478.27/120.09	c  N st    10     11300    413013    700480    550041      9593   3882433    550301   no data   no data  --
526.13/132.07	c  N st    11     17043    412924    700480    551225     15007   3882432    942785   no data   no data  --
609.88/153.03	c  F st    12     25000    407890    689316    549237     15940   3829933    563338   no data   no data  --
611.87/153.58	c Replacing      951 vars Replaced    12210 lits Time:     1.38 s 
614.27/154.15	c Replacing        4 vars Replaced       24 lits Time:     1.32 s 
735.48/184.51	c  N st    12     25000    406908    688923    546125     15923   3824923    560649   no data   no data  --
773.36/194.07	c Finding binary XORs  T:     1.88 s  found:    2021
810.85/203.45	c Decided on static restart strategy
810.85/203.46	c  N st    18     30000    406577    687844    546308     20726   3817458    893452   no data   no data  --
810.85/203.47	c  S st    18     30000    406577    687844    546308     20726   3817458    893452   no data   no data  --
838.81/210.42	c  S st    18     30501    406337    687844    546403     21061   3817458    905581   no data   no data  --
840.36/210.84	c x-sub: 14590 x-cut:      0 vfix:      0 v-elim:    896 locsubst:     0 time:   1.64
1014.28/254.46	c Flit:   317 Blit:   4049 bXBeca:    0 bXProp: 1302 Bins:  30148 BRemL:      0 BRemN:      0 P: 200.1M T: 166.40
1015.43/254.70	c Cleaning up after failed var search:     0.78 s 
1017.03/255.17	c Replacing     3642 vars Replaced    66394 lits Time:     1.53 s 
1021.02/256.18	c bin-w-bin subsume rem         3281 bins  time:  0.61 s
1027.45/257.74	c subs with bin:    20700  lits-rem:     43263  v-fix:    0  time:  5.94 s
1073.66/269.31	c Subs w/ non-existent bins:   5181 l-rem:   4295 v-fix:  1166 done:  77823 time: 44.09 s
1076.04/269.92	c Removed useless bin:    1311  fixed:  1243  props:  20.00M  time:  1.96 s
1117.92/280.44	c lits-rem:      8610  cl-subs:    91252  v-elim: 163705  v-fix:   13  time: 40.06 s
1122.72/281.69	c asymm  cl-useful: 44/559/543534 lits-rem:66 time: 4.65
1123.11/281.79	c  N st    18     30501    232434    543534    253613      5089   3014643    144424   no data   no data  --
1124.29/282.03	c Finding binary XORs  T:     0.89 s  found:    2420
1125.51/282.31	c Replacing     2454 vars Replaced    47149 lits Time:     1.05 s 
1183.33/296.88	c  N st    20     37611    229641    543479    249707     11841   3004616    594855   no data   no data  --
1227.99/308.03	c  N st    21     44010    229634    543479    251468     17942   3004585   1405157   no data   no data  --
1244.34/312.14	c  S st    22     45751    229536    543479    251497     19629   3004582   1613132   no data   no data  --
1258.71/315.71	c  S st    22     46253    229489    543479    251534     20087   3004582   1658321   no data   no data  --
1259.54/315.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    577 locsubst:     6 time:   1.04
1361.15/341.43	c Flit:    90 Blit:    298 bXBeca:    0 bXProp: 1041 Bins:  10202 BRemL:      0 BRemN:      0 P: 200.0M T: 96.95
1361.15/341.45	c Cleaning up after failed var search:     0.00 s 
1363.15/341.99	c Replacing     1251 vars Replaced    48311 lits Time:     1.88 s 
1366.74/342.84	c bin-w-bin subsume rem         5369 bins  time:  0.32 s
1371.52/344.07	c subs with bin:    34472  lits-rem:    115795  v-fix:    0  time:  4.68 s
1375.91/345.10	c Subs w/ non-existent bins:    912 l-rem:   4927 v-fix:    81 done:  34511 time:  3.92 s
1377.51/345.53	c Removed useless bin:    1427  fixed:   134  props:  20.01M  time:  0.84 s
1431.33/359.09	c lits-rem:       812  cl-subs:    15042  v-elim:   7156  v-fix:    6  time: 51.83 s
1437.32/360.53	c asymm  cl-useful: 45/695/494095 lits-rem:64 time: 5.34
1437.72/360.64	c  N st    22     46253    219911    494095    264758     15247   2814209    330565   no data   no data  --
1438.92/360.92	c Finding binary XORs  T:     1.04 s  found:    1523
1525.83/382.73	c  N st    23     60652    219486    494095    269945     29088   2814129   1172021   no data   no data  --
1559.33/391.12	c Finding binary XORs  T:     0.74 s  found:     565
1560.53/391.46	c  N st    24     69380    219423    492191    269018     24762   2802319    889808   no data   no data  --
1560.53/391.46	c  S st    24     69380    219423    492191    269018     24762   2802319    889808   no data   no data  --
1571.34/394.19	c  S st    24     69882    219408    492191    269060     25210   2802319    920458   no data   no data  --
1572.49/394.41	c x-sub:     3 x-cut:      0 vfix:      0 v-elim:    623 locsubst:     0 time:   0.88
1647.88/413.39	c Flit:    50 Blit:    105 bXBeca:    0 bXProp:  372 Bins:  32789 BRemL:      1 BRemN:      4 P: 200.0M T: 75.65
1648.28/413.40	c Cleaning up after failed var search:     0.00 s 
1649.48/413.80	c Replacing     2610 vars Replaced    81349 lits Time:     1.41 s 
1651.87/414.39	c bin-w-bin subsume rem         6020 bins  time:  0.30 s
1655.05/415.10	c subs with bin:     3008  lits-rem:     13400  v-fix:    0  time:  2.82 s
1658.68/416.02	c Subs w/ non-existent bins:    723 l-rem:   8791 v-fix:    48 done:  37798 time:  3.69 s
1659.44/416.25	c Removed useless bin:    1409  fixed:    49  props:  20.01M  time:  0.86 s
1675.00/420.13	c lits-rem:      9564  cl-subs:     9273  v-elim:   2221  v-fix:    8  time: 15.51 s
1678.20/420.98	c asymm  cl-useful: 188/828/478943 lits-rem:2415 time: 3.23
1678.60/421.05	c  N st    24     69882    213520    478904    285418     23078   2704331    863170   no data   no data  --
1708.51/428.54	c Finding binary XORs  T:     0.75 s  found:     706
1772.76/444.62	c  F st    25     87500    213455    478751    285846     25840   2702326    928951   no data   no data  --
1773.91/444.91	c Replacing      735 vars Replaced    13271 lits Time:     0.80 s 
1775.11/445.21	c Replacing        2 vars Replaced       32 lits Time:     0.74 s 
1782.69/447.15	c  N st    25     87500    212704    478448    284304     25832   2697905    928733   no data   no data  --
1809.01/453.72	c Decided on static restart strategy
1821.43/456.82	c  N st    32     95539    212704    478448    284355     33627   2697894   1851525   no data   no data  --
1918.71/481.25	c  N st    34    104823    212661    478448    284548     42638   2697877   2997415   no data   no data  --
1918.71/481.26	c  S st    34    104823    212661    478448    284548     42638   2697877   2997415   no data   no data  --
1932.67/484.70	c  S st    34    105326    212484    478448    284574     43103   2697877   3026684   no data   no data  --
1933.87/485.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    698 locsubst:     4 time:   1.21
2019.61/506.56	c Flit:    35 Blit:     63 bXBeca:    0 bXProp:  176 Bins:   2559 BRemL:      2 BRemN:      0 P: 200.0M T: 85.25
2021.22/506.96	c Replacing      243 vars Replaced    10439 lits Time:     1.36 s 
2024.40/507.75	c bin-w-bin subsume rem         1014 bins  time:  0.30 s
2031.62/509.61	c subs with bin:     1398  lits-rem:      7315  v-fix:    0  time:  7.41 s
2033.17/509.97	c Subs w/ non-existent bins:    138 l-rem:   3300 v-fix:     7 done:   8719 time:  1.45 s
2034.37/510.21	c Removed useless bin:     783  fixed:    43  props:  20.00M  time:  0.96 s
2063.09/517.48	c lits-rem:      1356  cl-subs:     2444  v-elim:    992  v-fix:    7  time: 28.96 s
2066.73/518.38	c asymm  cl-useful: 510/1513/473733 lits-rem:6985 time: 3.47
2067.13/518.46	c  N st    34    105326    210351    473574    281661     41373   2662088   2830962   no data   no data  --
2067.88/518.66	c Finding binary XORs  T:     0.73 s  found:     193
2118.14/531.23	c  N st    35    114924    210350    473574    281682     33266   2662074   2349617   no data   no data  --
2126.91/533.44	c Finding binary XORs  T:     0.77 s  found:     734
2201.10/552.07	c  N st    36    129322    209466    469896    291472     47014   2639771   4233420   no data   no data  --
2292.04/574.85	c  N st    37    150918    209458    469896    291658     48377   2639730   2321244   no data   no data  --
2335.11/585.66	c  S st    38    157992    209446    469896    291730     55331   2639730   3577340   no data   no data  --
2343.89/587.81	c  S st    38    158494    209405    469896    291839     55802   2639730   3602289   no data   no data  --
2344.69/588.04	c x-sub:     2 x-cut:      0 vfix:      0 v-elim:    756 locsubst:     0 time:   0.91
2422.52/607.59	c Flit:    81 Blit:    199 bXBeca:    0 bXProp:  657 Bins:   3926 BRemL:      1 BRemN:      0 P: 200.1M T: 77.87
2422.87/607.61	c Cleaning up after failed var search:     0.00 s 
2424.87/608.11	c Replacing     1823 vars Replaced    59871 lits Time:     1.86 s 
2428.06/608.93	c bin-w-bin subsume rem         4617 bins  time:  0.30 s
2437.63/611.36	c subs with bin:     2348  lits-rem:     17129  v-fix:    0  time:  9.65 s
2440.82/612.16	c Subs w/ non-existent bins:    766 l-rem:   8464 v-fix:    57 done:  45053 time:  3.14 s
2442.03/612.48	c Removed useless bin:     562  fixed:    77  props:  20.00M  time:  1.25 s
2499.85/626.96	c lits-rem:       322  cl-subs:     3137  v-elim:   1240  v-fix:    1  time: 57.71 s
2503.44/627.82	c asymm  cl-useful: 851/2099/459826 lits-rem:7950 time: 3.30
2503.44/627.89	c  N st    38    158494    205105    459518    285492     50682   2587477   2972705   no data   no data  --
2504.64/628.10	c Finding binary XORs  T:     0.76 s  found:     621
2771.90/695.14	c  N st    39    207082    204934    459518    286474     55786   2587454   3333360   no data   no data  --
2773.14/695.50	c Finding binary XORs  T:     0.74 s  found:     284
2922.30/732.83	c  N st    40    237745    204674    457191    285711     61408   2558003   3400490   no data   no data  --
2922.30/732.84	c  S st    40    237745    204674    457191    285711     61408   2558003   3400490   no data   no data  --
2936.21/736.35	c  S st    40    238245    204605    457191    286116     61868   2558002   3437686   no data   no data  --
2937.40/736.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   1551 locsubst:    52 time:   1.17
3035.52/761.23	c Flit:    93 Blit:    122 bXBeca:    0 bXProp:  190 Bins:   2265 BRemL:      1 BRemN:      0 P: 200.0M T: 98.00
3035.52/761.25	c Cleaning up after failed var search:     0.00 s 
3037.11/761.68	c Replacing     1346 vars Replaced    34761 lits Time:     1.57 s 
3040.31/762.50	c bin-w-bin subsume rem         1237 bins  time:  0.29 s
3048.68/764.54	c subs with bin:     1799  lits-rem:     11484  v-fix:    0  time:  8.12 s
3050.67/765.06	c Subs w/ non-existent bins:    128 l-rem:   7862 v-fix:     4 done:   8098 time:  2.05 s
3051.47/765.29	c Removed useless bin:     673  fixed:     8  props:  20.03M  time:  0.91 s
3119.29/782.28	c lits-rem:       222  cl-subs:     3083  v-elim:   1715  v-fix:    7  time: 67.72 s
3122.88/783.16	c asymm  cl-useful: 295/369/450577 lits-rem:2278 time: 3.42
3123.28/783.24	c  N st    40    238245    199750    450543    280539     58502   2525695   3134915   no data   no data  --
3124.11/783.44	c Finding binary XORs  T:     0.71 s  found:     182
3337.87/837.04	c Finding binary XORs  T:     0.73 s  found:     110
3525.75/884.12	c  F st    41    306250    199688    450221    284333     47112   2522273   1552664   no data   no data  --
3526.55/884.34	c Replacing      307 vars Replaced    12595 lits Time:     0.87 s 
3527.79/884.65	c Replacing        2 vars Replaced       30 lits Time:     0.75 s 
3534.52/886.39	c  N st    41    306250    199362    450004    283673     47097   2520251   1551959   no data   no data  --
3569.62/895.15	c Decided on static restart strategy
3652.60/915.91	c Finding binary XORs  T:     0.73 s  found:     478
3711.64/930.73	c  N st    51    334555    198818    447945    285341     74460   2501068   3842239   no data   no data  --
3852.48/966.09	c  N st    53    357371    198747    447945    286131     68724   2501064   3391960   no data   no data  --
3852.48/966.09	c  S st    53    357371    198747    447945    286131     68724   2501064   3391960   no data   no data  --
3859.63/967.89	c  S st    53    357875    198702    447945    286294     69187   2501064   3423556   no data   no data  --
3860.84/968.12	c x-sub:    26 x-cut:      0 vfix:      0 v-elim:   2827 locsubst:   168 time:   0.93
3938.20/987.58	c Flit:   101 Blit:    103 bXBeca:    0 bXProp:  170 Bins:   3620 BRemL:      2 BRemN:      1 P: 200.0M T: 77.55
3938.20/987.59	c Cleaning up after failed var search:     0.00 s 
3940.24/988.07	c Replacing      992 vars Replaced    44724 lits Time:     1.73 s 
3943.39/988.89	c bin-w-bin subsume rem         1712 bins  time:  0.30 s
3953.81/991.44	c subs with bin:     3465  lits-rem:     17124  v-fix:    0  time: 10.17 s
3958.19/992.52	c Subs w/ non-existent bins:    851 l-rem:   9388 v-fix:    67 done:  60976 time:  4.28 s
3958.94/992.74	c Removed useless bin:    1370  fixed:    70  props:  20.00M  time:  0.80 s
3993.64/1001.49	c lits-rem:      1683  cl-subs:     4524  v-elim:   3120  v-fix:    2  time: 34.89 s
3997.28/1002.35	c asymm  cl-useful: 226/288/437401 lits-rem:1957 time: 3.30
3997.68/1002.42	c  N st    53    357875    191396    437388    279211     60384   2471047   2748997   no data   no data  --
3998.43/1002.62	c Finding binary XORs  T:     0.70 s  found:     198
4158.40/1042.76	c  N st    54    390267    191382    437388    280243     64478   2471030   2687333   no data   no data  --
4489.11/1125.65	c  N st    55    438855    191272    437388    281096     82558   2471020   4327773   no data   no data  --

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369470-1305415934/watcher-3369470-1305415934 -o /tmp/evaluation-result-3369470-1305415934/solver-3369470-1305415934 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369470-1305415934.cnf 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.61 7.99 7.90 6/355 19446
/proc/meminfo: memFree=23922516/32950928 swapFree=67056568/67111528
[pid=19446] ppid=19444 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 19302 0 -1 4202496 413 0 0 0 1 0 0 0 23 0 4 0 653190817 52465664 353 33554432000 4194304 4650419 140733754387600 18446744073709551615 47970343421878 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19446/statm: 12809 353 303 112 0 7774 0
[pid=19446/tid=19447] ppid=19444 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 653190817 52465664 353 33554432000 4194304 4650419 140733754387600 18446744073709551615 239476751345 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 653190817 52465664 353 33554432000 4194304 4650419 140733754387600 18446744073709551615 47970343421874 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19446/tid=19450] ppid=19444 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19446/task/19450/stat : 19450 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 653190817 52465664 353 33554432000 4194304 4650419 140733754387600 18446744073709551615 47970343421868 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0671809 s]
/proc/loadavg: 7.61 7.99 7.90 6/355 19446
/proc/meminfo: memFree=23922516/32950928 swapFree=67056568/67111528
[pid=19446] ppid=19444 vsize=331760 CPUtime=0.2 cores=0,2,4,6
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 19302 0 -1 4202496 38049 0 0 0 14 6 0 0 18 0 4 0 653190817 339722240 29428 33554432000 4194304 4650419 140733754387600 18446744073709551615 239476392032 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19446/statm: 82940 29428 341 112 0 77905 0
[pid=19446/tid=19447] ppid=19444 vsize=331760 CPUtime=0.03 cores=0,2,4,6
/proc/19446/task/19447/stat : 19447 (strangenight1-m) D 19444 19446 19302 0 -1 4202560 9529 0 0 0 2 1 0 0 18 0 4 0 653190817 339722240 29428 33554432000 4194304 4650419 140733754387600 18446744073709551615 4316340 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=331760 CPUtime=0.04 cores=0,2,4,6
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 9739 0 0 0 3 1 0 0 18 0 4 0 653190817 339722240 29428 33554432000 4194304 4650419 140733754387600 18446744073709551615 239476752810 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19446/tid=19450] ppid=19444 vsize=331760 CPUtime=0.04 cores=0,2,4,6
/proc/19446/task/19450/stat : 19450 (strangenight1-m) D 19444 19446 19302 0 -1 4202560 8322 0 0 0 3 1 0 0 18 0 4 0 653190817 339722240 29428 33554432000 4194304 4650419 140733754387600 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 331760

[startup+0.107449 s]
/proc/loadavg: 7.61 7.99 7.90 6/355 19446
/proc/meminfo: memFree=23922516/32950928 swapFree=67056568/67111528
[pid=19446] ppid=19444 vsize=396960 CPUtime=0.34 cores=0,2,4,6
/proc/19446/stat : 19446 (strangenight1-m) D 19444 19446 19302 0 -1 4202496 64237 0 0 0 22 12 0 0 18 0 4 0 653190817 406487040 47075 33554432000 4194304 4650419 140733754387600 18446744073709551615 4317116 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19446/statm: 99240 47075 341 112 0 94205 0
[pid=19446/tid=19447] ppid=19444 vsize=396960 CPUtime=0.07 cores=0,2,4,6
/proc/19446/task/19447/stat : 19447 (strangenight1-m) D 19444 19446 19302 0 -1 4202560 16049 0 0 0 4 3 0 0 18 0 4 0 653190817 406487040 47075 33554432000 4194304 4650419 140733754387600 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=396960 CPUtime=0.08 cores=0,2,4,6
/proc/19446/task/19449/stat : 19449 (strangenight1-m) D 19444 19446 19302 0 -1 4202560 16753 0 0 0 5 3 0 0 18 0 4 0 653190817 406487040 47075 33554432000 4194304 4650419 140733754387600 18446744073709551615 4317229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19446/tid=19450] ppid=19444 vsize=396960 CPUtime=0.07 cores=0,2,4,6
/proc/19446/task/19450/stat : 19450 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 13782 0 0 0 5 2 0 0 17 0 4 0 653190817 406487040 47075 33554432000 4194304 4650419 140733754387600 18446744073709551615 239476752810 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 396960

[startup+0.311149 s]
/proc/loadavg: 7.61 7.99 7.90 6/355 19446
/proc/meminfo: memFree=23922516/32950928 swapFree=67056568/67111528
[pid=19446] ppid=19444 vsize=903824 CPUtime=1.1 cores=0,2,4,6
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 19302 0 -1 4202496 214813 0 0 0 69 41 0 0 18 0 4 0 653190817 925515776 155370 33554432000 4194304 4650419 140733754387600 18446744073709551615 239476752810 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19446/statm: 225956 155370 341 112 0 220921 0
[pid=19446/tid=19447] ppid=19444 vsize=903824 CPUtime=0.26 cores=0,2,4,6
/proc/19446/task/19447/stat : 19447 (strangenight1-m) D 19444 19446 19302 0 -1 4202560 53527 0 0 0 16 10 0 0 18 0 4 0 653190817 925515776 155370 33554432000 4194304 4650419 140733754387600 18446744073709551615 4316563 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=903824 CPUtime=0.27 cores=0,2,4,6
/proc/19446/task/19449/stat : 19449 (strangenight1-m) D 19444 19446 19302 0 -1 4202560 54538 0 0 0 17 10 0 0 18 0 4 0 653190817 925515776 155370 33554432000 4194304 4650419 140733754387600 18446744073709551615 4316340 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19446/tid=19450] ppid=19444 vsize=903824 CPUtime=0.25 cores=0,2,4,6
/proc/19446/task/19450/stat : 19450 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 49164 0 0 0 16 9 0 0 18 0 4 0 653190817 925515776 155370 33554432000 4194304 4650419 140733754387600 18446744073709551615 4362077 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 903824

[startup+0.905073 s]
/proc/loadavg: 7.61 7.99 7.90 6/355 19446
/proc/meminfo: memFree=23922516/32950928 swapFree=67056568/67111528
[pid=19446] ppid=19444 vsize=1351856 CPUtime=3.39 cores=0,2,4,6
/proc/19446/stat : 19446 (strangenight1-m) D 19444 19446 19302 0 -1 4202496 342483 0 0 0 271 68 0 0 18 0 4 0 653190817 1384300544 271329 33554432000 4194304 4650419 140733754387600 18446744073709551615 239476392313 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19446/statm: 337964 271329 345 112 0 332929 0
[pid=19446/tid=19447] ppid=19444 vsize=1351856 CPUtime=0.84 cores=0,2,4,6
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 90700 0 0 0 65 19 0 0 18 0 4 0 653190817 1384300544 271329 33554432000 4194304 4650419 140733754387600 18446744073709551615 239476738231 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=1351856 CPUtime=0.85 cores=0,2,4,6
/proc/19446/task/19449/stat : 19449 (strangenight1-m) D 19444 19446 19302 0 -1 4202560 88513 0 0 0 69 16 0 0 18 0 4 0 653190817 1384300544 271329 33554432000 4194304 4650419 140733754387600 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19446/tid=19450] ppid=19444 vsize=1351856 CPUtime=0.82 cores=0,2,4,6
/proc/19446/task/19450/stat : 19450 (strangenight1-m) D 19444 19446 19302 0 -1 4202560 72890 0 0 0 66 16 0 0 18 0 4 0 653190817 1384300544 271329 33554432000 4194304 4650419 140733754387600 18446744073709551615 239476738231 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 1351856

[startup+1.50088 s]
/proc/loadavg: 7.61 7.99 7.90 9/359 19451
/proc/meminfo: memFree=22662284/32950928 swapFree=67056568/67111528
[pid=19446] ppid=19444 vsize=1573680 CPUtime=5.75 cores=0,2,4,6
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 19302 0 -1 4202496 380180 0 0 0 497 78 0 0 18 0 4 0 653190817 1611448320 309026 33554432000 4194304 4650419 140733754387600 18446744073709551615 239476363505 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19446/statm: 393420 309027 345 112 0 388385 0
[pid=19446/tid=19447] ppid=19444 vsize=1573680 CPUtime=1.42 cores=0,2,4,6
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 100242 0 0 0 120 22 0 0 18 0 4 0 653190817 1611448320 309029 33554432000 4194304 4650419 140733754387600 18446744073709551615 4547088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=1573680 CPUtime=1.44 cores=0,2,4,6
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 98179 0 0 0 126 18 0 0 18 0 4 0 653190817 1611448320 309030 33554432000 4194304 4650419 140733754387600 18446744073709551615 239476391565 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19446/tid=19450] ppid=19444 vsize=1573680 CPUtime=1.4 cores=0,2,4,6
/proc/19446/task/19450/stat : 19450 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 82312 0 0 0 122 18 0 0 18 0 4 0 653190817 1611448320 309030 33554432000 4194304 4650419 140733754387600 18446744073709551615 4520109 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.75
Current children cumulated vsize (KiB) 1573680

[startup+3.10058 s]
/proc/loadavg: 7.61 7.99 7.90 9/359 19451
/proc/meminfo: memFree=22422352/32950928 swapFree=67056568/67111528
[pid=19446] ppid=19444 vsize=1824492 CPUtime=12.14 cores=0,2,4,6
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 19302 0 -1 4202496 460974 0 0 0 1117 97 0 0 20 0 4 0 653190817 1868279808 389820 33554432000 4194304 4650419 140733754387600 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19446/statm: 456123 389820 366 112 0 451088 0
[pid=19446/tid=19447] ppid=19444 vsize=1824492 CPUtime=3.01 cores=0,2,4,6
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 120673 0 0 0 273 28 0 0 18 0 4 0 653190817 1868279808 389820 33554432000 4194304 4650419 140733754387600 18446744073709551615 4223157 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=1824492 CPUtime=3.04 cores=0,2,4,6
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 118343 0 0 0 280 24 0 0 18 0 4 0 653190817 1868279808 389820 33554432000 4194304 4650419 140733754387600 18446744073709551615 4369373 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19446/tid=19450] ppid=19444 vsize=1824492 CPUtime=3 cores=0,2,4,6
/proc/19446/task/19450/stat : 19450 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 102537 0 0 0 278 22 0 0 20 0 4 0 653190817 1868279808 389820 33554432000 4194304 4650419 140733754387600 18446744073709551615 4223267 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.14
Current children cumulated vsize (KiB) 1824492

[startup+6.30097 s]
/proc/loadavg: 7.64 7.99 7.90 9/359 19451
/proc/meminfo: memFree=22129112/32950928 swapFree=67056568/67111528
[pid=19446] ppid=19444 vsize=2133800 CPUtime=24.89 cores=0,2,4,6
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 19302 0 -1 4202496 522785 0 0 0 2381 108 0 0 20 0 4 0 653190817 2185011200 428911 33554432000 4194304 4650419 140733754387600 18446744073709551615 4369075 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19446/statm: 533450 428911 373 112 0 528415 0
[pid=19446/tid=19447] ppid=19444 vsize=2133800 CPUtime=6.17 cores=0,2,4,6
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 139872 0 0 0 588 29 0 0 25 0 4 0 653190817 2185011200 428911 33554432000 4194304 4650419 140733754387600 18446744073709551615 4245055 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=2133800 CPUtime=6.24 cores=0,2,4,6
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 137722 0 0 0 596 28 0 0 25 0 4 0 653190817 2185011200 428911 33554432000 4194304 4650419 140733754387600 18446744073709551615 4246027 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19446/tid=19450] ppid=19444 vsize=2133800 CPUtime=6.2 cores=0,2,4,6
/proc/19446/task/19450/stat : 19450 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 106388 0 0 0 595 25 0 0 25 0 4 0 653190817 2185011200 428911 33554432000 4194304 4650419 140733754387600 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.89
Current children cumulated vsize (KiB) 2133800

[startup+12.7007 s]
/proc/loadavg: 7.67 7.99 7.90 9/359 19452
/proc/meminfo: memFree=22110056/32950928 swapFree=67056568/67111528
[pid=19446] ppid=19444 vsize=2133800 CPUtime=50.42 cores=0,2,4,6
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 19302 0 -1 4202496 525282 0 0 0 4933 109 0 0 25 0 4 0 653190817 2185011200 431408 33554432000 4194304 4650419 140733754387600 18446744073709551615 4370035 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19446/statm: 533450 431408 373 112 0 528415 0
[pid=19446/tid=19447] ppid=19444 vsize=2133800 CPUtime=12.49 cores=0,2,4,6
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 139872 0 0 0 1220 29 0 0 25 0 4 0 653190817 2185011200 431408 33554432000 4194304 4650419 140733754387600 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=2133800 CPUtime=12.64 cores=0,2,4,6
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 137759 0 0 0 1236 28 0 0 25 0 4 0 653190817 2185011200 431408 33554432000 4194304 4650419 140733754387600 18446744073709551615 4369240 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19446/tid=19450] ppid=19444 vsize=2133800 CPUtime=12.59 cores=0,2,4,6
/proc/19446/task/19450/stat : 19450 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 108807 0 0 0 1234 25 0 0 25 0 4 0 653190817 2185011200 431408 33554432000 4194304 4650419 140733754387600 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.42
Current children cumulated vsize (KiB) 2133800

[startup+25.5003 s]
/proc/loadavg: 7.74 7.99 7.90 9/359 19452
/proc/meminfo: memFree=21780352/32950928 swapFree=67056568/67111528
[pid=19446] ppid=19444 vsize=2133800 CPUtime=101.51 cores=0,2,4,6
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 19302 0 -1 4202496 534044 0 0 0 10040 111 0 0 25 0 4 0 653190817 2185011200 440170 33554432000 4194304 4650419 140733754387600 18446744073709551615 4244973 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19446/statm: 533450 440170 373 112 0 528415 0
[pid=19446/tid=19447] ppid=19444 vsize=2133800 CPUtime=25.15 cores=0,2,4,6
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 139942 0 0 0 2486 29 0 0 25 0 4 0 653190817 2185011200 440195 33554432000 4194304 4650419 140733754387600 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=2133800 CPUtime=25.46 cores=0,2,4,6
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 137766 0 0 0 2518 28 0 0 25 0 4 0 653190817 2185011200 440195 33554432000 4194304 4650419 140733754387600 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19446/tid=19450] ppid=19444 vsize=2133800 CPUtime=25.41 cores=0,2,4,6
/proc/19446/task/19450/stat : 19450 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 117511 0 0 0 2513 28 0 0 25 0 4 0 653190817 2185011200 440196 33554432000 4194304 4650419 140733754387600 18446744073709551615 4348358 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 2133800

[startup+51.1004 s]
/proc/loadavg: 7.83 7.99 7.90 9/359 19454
/proc/meminfo: memFree=21058380/32950928 swapFree=67056568/67111528
[pid=19446] ppid=19444 vsize=2774528 CPUtime=203.51 cores=0,2,4,6
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 19302 0 -1 4202496 692374 0 0 0 20207 144 0 0 25 0 4 0 653190817 2841116672 598496 33554432000 4194304 4650419 140733754387600 18446744073709551615 4446409 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19446/statm: 693632 598496 385 112 0 688597 0
[pid=19446/tid=19447] ppid=19444 vsize=2774528 CPUtime=50.44 cores=0,2,4,6
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 188939 0 0 0 5003 41 0 0 25 0 4 0 653190817 2841116672 598496 33554432000 4194304 4650419 140733754387600 18446744073709551615 4550430 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=2774528 CPUtime=51.04 cores=0,2,4,6
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 184317 0 0 0 5065 39 0 0 25 0 4 0 653190817 2841116672 598496 33554432000 4194304 4650419 140733754387600 18446744073709551615 4550442 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19446/tid=19450] ppid=19444 vsize=2774528 CPUtime=50.98 cores=0,2,4,6
/proc/19446/task/19450/stat : 19450 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 135937 0 0 0 5067 31 0 0 25 0 4 0 653190817 2841116672 598496 33554432000 4194304 4650419 140733754387600 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.51
Current children cumulated vsize (KiB) 2774528

[startup+102.301 s]
/proc/loadavg: 8.00 8.01 7.91 9/359 19455
/proc/meminfo: memFree=20179864/32950928 swapFree=67056568/67111528
[pid=19446] ppid=19444 vsize=3628056 CPUtime=407.68 cores=0,2,4,6
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 19302 0 -1 4202496 938837 0 0 0 40567 201 0 0 25 0 4 0 653190817 3715129344 768334 33554432000 4194304 4650419 140733754387600 18446744073709551615 4315246 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19446/statm: 907014 768334 394 112 0 901979 0
[pid=19446/tid=19447] ppid=19444 vsize=3628056 CPUtime=101.03 cores=0,2,4,6
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 270941 0 0 0 10044 59 0 0 25 0 4 0 653190817 3715129344 768334 33554432000 4194304 4650419 140733754387600 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=3628056 CPUtime=102.22 cores=0,2,4,6
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 269528 0 0 0 10161 61 0 0 25 0 4 0 653190817 3715129344 768334 33554432000 4194304 4650419 140733754387600 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19446/tid=19450] ppid=19444 vsize=3628056 CPUtime=102.18 cores=0,2,4,6
/proc/19446/task/19450/stat : 19450 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 148211 0 0 0 10184 34 0 0 25 0 4 0 653190817 3715129344 768334 33554432000 4194304 4650419 140733754387600 18446744073709551615 4364468 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 407.68
Current children cumulated vsize (KiB) 3628056

[startup+162.301 s]

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

[pid=19446/tid=19450] ppid=19444 vsize=4958064 CPUtime=702.15 cores=0,2,4,6
/proc/19446/task/19450/stat : 19450 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 28055394 0 0 0 66019 4196 0 0 25 0 4 0 653190817 5077057536 1085749 33554432000 4194304 4650419 140733754387600 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2800.62
Current children cumulated vsize (KiB) 4958064

[startup+762.3 s]
/proc/loadavg: 8.08 8.09 7.99 9/359 19478
/proc/meminfo: memFree=16937884/32950928 swapFree=67056568/67111528
[pid=19446] ppid=19444 vsize=5023844 CPUtime=3039.91 cores=0,2,4,6
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 19302 0 -1 4202496 29920046 0 0 0 299413 4578 0 0 25 0 4 0 653190817 5144416256 1083993 33554432000 4194304 4650419 140733754387600 18446744073709551615 4426564 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19446/statm: 1255961 1083993 396 112 0 1250926 0
[pid=19446/tid=19447] ppid=19444 vsize=5023844 CPUtime=753.4 cores=0,2,4,6
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 1015881 0 0 0 75156 184 0 0 25 0 4 0 653190817 5144416256 1083993 33554432000 4194304 4650419 140733754387600 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=5023844 CPUtime=762.22 cores=0,2,4,6
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 478684 0 0 0 76105 117 0 0 25 0 4 0 653190817 5144416256 1083993 33554432000 4194304 4650419 140733754387600 18446744073709551615 4363331 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19446/tid=19450] ppid=19444 vsize=5023844 CPUtime=762.15 cores=0,2,4,6
/proc/19446/task/19450/stat : 19450 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 28056102 0 0 0 72018 4197 0 0 25 0 4 0 653190817 5144416256 1083993 33554432000 4194304 4650419 140733754387600 18446744073709551615 4364811 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3039.91
Current children cumulated vsize (KiB) 5023844

[startup+822.301 s]
/proc/loadavg: 8.19 8.11 8.01 10/359 19512
/proc/meminfo: memFree=20222288/32950928 swapFree=67056568/67111528
[pid=19446] ppid=19444 vsize=4980488 CPUtime=3279.23 cores=0,2,4,6
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 19302 0 -1 4202496 29994185 0 0 0 323329 4594 0 0 25 0 4 0 653190817 5100019712 1092061 33554432000 4194304 4650419 140733754387600 18446744073709551615 4364312 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19446/statm: 1245122 1092061 396 112 0 1240087 0
[pid=19446/tid=19447] ppid=19444 vsize=4980488 CPUtime=812.72 cores=0,2,4,6
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 1062511 0 0 0 81080 192 0 0 25 0 4 0 653190817 5100019712 1092061 33554432000 4194304 4650419 140733754387600 18446744073709551615 4244337 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=4980488 CPUtime=822.22 cores=0,2,4,6
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 490613 0 0 0 82102 120 0 0 25 0 4 0 653190817 5100019712 1092061 33554432000 4194304 4650419 140733754387600 18446744073709551615 4364042 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19446/tid=19450] ppid=19444 vsize=4980488 CPUtime=822.15 cores=0,2,4,6
/proc/19446/task/19450/stat : 19450 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 28057119 0 0 0 78018 4197 0 0 25 0 4 0 653190817 5100019712 1092061 33554432000 4194304 4650419 140733754387600 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3279.23
Current children cumulated vsize (KiB) 4980488

[startup+882.3 s]
/proc/loadavg: 8.14 8.11 8.01 10/359 19514
/proc/meminfo: memFree=19974936/32950928 swapFree=67056568/67111528
[pid=19446] ppid=19444 vsize=5242752 CPUtime=3518.57 cores=0,2,4,6
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 19302 0 -1 4202496 30064655 0 0 0 347242 4615 0 0 25 0 4 0 653190817 5368578048 1136994 33554432000 4194304 4650419 140733754387600 18446744073709551615 4364170 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19446/statm: 1310688 1136994 396 112 0 1305653 0
[pid=19446/tid=19447] ppid=19444 vsize=5242752 CPUtime=872.08 cores=0,2,4,6
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 1081269 0 0 0 87010 198 0 0 25 0 4 0 653190817 5368578048 1136994 33554432000 4194304 4650419 140733754387600 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=5242752 CPUtime=882.22 cores=0,2,4,6
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 493819 0 0 0 88100 122 0 0 25 0 4 0 653190817 5368578048 1136994 33554432000 4194304 4650419 140733754387600 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19446/tid=19450] ppid=19444 vsize=5242752 CPUtime=882.15 cores=0,2,4,6
/proc/19446/task/19450/stat : 19450 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 28095012 0 0 0 84008 4207 0 0 25 0 4 0 653190817 5368578048 1136994 33554432000 4194304 4650419 140733754387600 18446744073709551615 4371306 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3518.57
Current children cumulated vsize (KiB) 5242752

[startup+942.301 s]
/proc/loadavg: 8.12 8.10 8.01 10/359 19516
/proc/meminfo: memFree=19819420/32950928 swapFree=67056568/67111528
[pid=19446] ppid=19444 vsize=5374392 CPUtime=3757.91 cores=0,2,4,6
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 19302 0 -1 4202496 30165572 0 0 0 371149 4642 0 0 25 0 4 0 653190817 5503377408 1166533 33554432000 4194304 4650419 140733754387600 18446744073709551615 4306796 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19446/statm: 1343598 1166533 396 112 0 1338563 0
[pid=19446/tid=19447] ppid=19444 vsize=5374392 CPUtime=931.42 cores=0,2,4,6
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 1103317 0 0 0 92939 203 0 0 25 0 4 0 653190817 5503377408 1166533 33554432000 4194304 4650419 140733754387600 18446744073709551615 4315047 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=5374392 CPUtime=942.23 cores=0,2,4,6
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 504730 0 0 0 94096 127 0 0 25 0 4 0 653190817 5503377408 1166533 33554432000 4194304 4650419 140733754387600 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19446/tid=19450] ppid=19444 vsize=5374392 CPUtime=942.15 cores=0,2,4,6
/proc/19446/task/19450/stat : 19450 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 28159752 0 0 0 89994 4221 0 0 25 0 4 0 653190817 5503377408 1166533 33554432000 4194304 4650419 140733754387600 18446744073709551615 4364811 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3757.91
Current children cumulated vsize (KiB) 5374392

[startup+1002.3 s]
/proc/loadavg: 8.10 8.09 8.01 10/359 19517
/proc/meminfo: memFree=19759016/32950928 swapFree=67056568/67111528
[pid=19446] ppid=19444 vsize=5401876 CPUtime=3997.28 cores=0,2,4,6
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 19302 0 -1 4202496 30210588 0 0 0 395074 4654 0 0 25 0 4 0 653190817 5531521024 1170826 33554432000 4194304 4650419 140733754387600 18446744073709551615 4241210 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19446/statm: 1350469 1170826 396 112 0 1345434 0
[pid=19446/tid=19447] ppid=19444 vsize=5401876 CPUtime=990.76 cores=0,2,4,6
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 1116093 0 0 0 98869 207 0 0 25 0 4 0 653190817 5531521024 1170826 33554432000 4194304 4650419 140733754387600 18446744073709551615 4367391 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=5401876 CPUtime=1002.24 cores=0,2,4,6
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 517703 0 0 0 100092 132 0 0 25 0 4 0 653190817 5531521024 1170826 33554432000 4194304 4650419 140733754387600 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19446/tid=19450] ppid=19444 vsize=5401876 CPUtime=1002.16 cores=0,2,4,6
/proc/19446/task/19450/stat : 19450 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 28169840 0 0 0 95993 4223 0 0 25 0 4 0 653190817 5531521024 1170826 33554432000 4194304 4650419 140733754387600 18446744073709551615 4364307 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3997.28
Current children cumulated vsize (KiB) 5401876

[startup+1062.3 s]
/proc/loadavg: 7.98 8.06 8.00 9/359 19552
/proc/meminfo: memFree=19849596/32950928 swapFree=67056568/67111528
[pid=19446] ppid=19444 vsize=5402128 CPUtime=4236.58 cores=0,2,4,6
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 19302 0 -1 4202496 30468188 0 0 0 418960 4698 0 0 25 0 4 0 653190817 5531779072 1182815 33554432000 4194304 4650419 140733754387600 18446744073709551615 4363924 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19446/statm: 1350532 1182815 513 112 0 1345497 0
[pid=19446/tid=19447] ppid=19444 vsize=5402128 CPUtime=1050.1 cores=0,2,4,6
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 1129497 0 0 0 104797 213 0 0 25 0 4 0 653190817 5531779072 1182815 33554432000 4194304 4650419 140733754387600 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=5402128 CPUtime=1062.23 cores=0,2,4,6
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 749540 0 0 0 106058 165 0 0 25 0 4 0 653190817 5531779072 1182815 33554432000 4194304 4650419 140733754387600 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19446/tid=19450] ppid=19444 vsize=5402128 CPUtime=1062.15 cores=0,2,4,6
/proc/19446/task/19450/stat : 19450 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 28171327 0 0 0 101990 4225 0 0 25 0 4 0 653190817 5531779072 1182815 33554432000 4194304 4650419 140733754387600 18446744073709551615 4363482 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4236.58
Current children cumulated vsize (KiB) 5402128

[startup+1122.31 s]
/proc/loadavg: 7.99 8.05 8.00 9/359 19553
/proc/meminfo: memFree=19814676/32950928 swapFree=67056568/67111528
[pid=19446] ppid=19444 vsize=5402492 CPUtime=4475.95 cores=0,2,4,6
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 19302 0 -1 4202496 31263803 0 0 0 442785 4810 0 0 25 0 4 0 653190817 5532151808 1180230 33554432000 4194304 4650419 140733754387600 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19446/statm: 1350623 1180230 396 112 0 1345588 0
[pid=19446/tid=19447] ppid=19444 vsize=5402492 CPUtime=1109.46 cores=0,2,4,6
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 1132769 0 0 0 110731 215 0 0 25 0 4 0 653190817 5532151808 1180230 33554432000 4194304 4650419 140733754387600 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=5402492 CPUtime=1122.24 cores=0,2,4,6
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 1519538 0 0 0 111955 269 0 0 25 0 4 0 653190817 5532151808 1180230 33554432000 4194304 4650419 140733754387600 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19446/tid=19450] ppid=19444 vsize=5402492 CPUtime=1122.16 cores=0,2,4,6
/proc/19446/task/19450/stat : 19450 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 28183218 0 0 0 107989 4227 0 0 25 0 4 0 653190817 5532151808 1180230 33554432000 4194304 4650419 140733754387600 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4475.95
Current children cumulated vsize (KiB) 5402492

[startup+1182.3 s]
/proc/loadavg: 8.10 8.07 8.00 9/359 19556
/proc/meminfo: memFree=19571488/32950928 swapFree=67056568/67111528
[pid=19446] ppid=19444 vsize=5660876 CPUtime=4715.26 cores=0,2,4,6
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 19302 0 -1 4202496 31359436 0 0 0 466693 4833 0 0 25 0 4 0 653190817 5796737024 1229914 33554432000 4194304 4650419 140733754387600 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19446/statm: 1415219 1229914 396 112 0 1410184 0
[pid=19446/tid=19447] ppid=19444 vsize=5660876 CPUtime=1168.79 cores=0,2,4,6
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 1165820 0 0 0 116659 220 0 0 25 0 4 0 653190817 5796737024 1229914 33554432000 4194304 4650419 140733754387600 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=5660876 CPUtime=1182.23 cores=0,2,4,6
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 1527296 0 0 0 117951 272 0 0 25 0 4 0 653190817 5796737024 1229914 33554432000 4194304 4650419 140733754387600 18446744073709551615 4368276 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19446/tid=19450] ppid=19444 vsize=5660876 CPUtime=1182.15 cores=0,2,4,6
/proc/19446/task/19450/stat : 19450 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 28235690 0 0 0 113976 4239 0 0 25 0 4 0 653190817 5796737024 1229914 33554432000 4194304 4650419 140733754387600 18446744073709551615 4369972 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4715.26
Current children cumulated vsize (KiB) 5660876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.06 8.06 8.00 9/359 19556
/proc/meminfo: memFree=19555736/32950928 swapFree=67056568/67111528
[pid=19446] ppid=19444 vsize=5595424 CPUtime=4800.29 cores=0,2,4,6
/proc/19446/stat : 19446 (strangenight1-m) R 19444 19446 19302 0 -1 4202496 31990885 0 0 0 475109 4920 0 0 25 0 4 0 653190817 5729714176 1226216 33554432000 4194304 4650419 140733754387600 18446744073709551615 4367979 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19446/statm: 1398856 1226216 396 112 0 1393821 0
[pid=19446/tid=19447] ppid=19444 vsize=5595424 CPUtime=1189.86 cores=0,2,4,6
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 1771516 0 0 0 118684 302 0 0 25 0 4 0 653190817 5729714176 1226217 33554432000 4194304 4650419 140733754387600 18446744073709551615 4433096 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19446/tid=19449] ppid=19444 vsize=5595424 CPUtime=1203.56 cores=0,2,4,6
/proc/19446/task/19449/stat : 19449 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 1528180 0 0 0 120083 273 0 0 25 0 4 0 653190817 5729714176 1226217 33554432000 4194304 4650419 140733754387600 18446744073709551615 4333937 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19446/tid=19450] ppid=19444 vsize=5595424 CPUtime=1203.48 cores=0,2,4,6
/proc/19446/task/19450/stat : 19450 (strangenight1-m) R 19444 19446 19302 0 -1 4202560 28253028 0 0 0 116105 4243 0 0 25 0 4 0 653190817 5729714176 1226217 33554432000 4194304 4650419 140733754387600 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 5595424

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

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

[startup+1203.73 s]
/proc/loadavg: 8.06 8.06 8.00 9/359 19556
/proc/meminfo: memFree=19555736/32950928 swapFree=67056568/67111528
[pid=19446] ppid=19444 vsize=0 CPUtime=4800.42 cores=0,2,4,6
/proc/19446/stat : 19446 (strangenight1-m) Z 19444 19446 19302 0 -1 4203548 31990886 0 0 0 475112 4930 0 0 25 0 2 0 653190817 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19446/statm: 0 0 0 0 0 0 0
[pid=19446/tid=19447] ppid=19444 vsize=0 CPUtime=1189.96 cores=0,2,4,6
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 19302 0 -1 4203588 1771516 0 0 0 118684 312 0 0 25 0 2 0 653190817 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.42
Current children cumulated vsize (KiB) 0

[startup+1203.8 s]
/proc/loadavg: 8.06 8.06 8.00 9/359 19556
/proc/meminfo: memFree=19555736/32950928 swapFree=67056568/67111528
[pid=19446] ppid=19444 vsize=0 CPUtime=4800.49 cores=0,2,4,6
/proc/19446/stat : 19446 (strangenight1-m) Z 19444 19446 19302 0 -1 4203548 31990886 0 0 0 475112 4937 0 0 25 0 2 0 653190817 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19446/statm: 0 0 0 0 0 0 0
[pid=19446/tid=19447] ppid=19444 vsize=0 CPUtime=1190.03 cores=0,2,4,6
/proc/19446/task/19447/stat : 19447 (strangenight1-m) R 19444 19446 19302 0 -1 4203588 1771516 0 0 0 118684 319 0 0 25 0 2 0 653190817 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.49
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.84
CPU time (s): 4800.55
CPU user time (s): 4751.12
CPU system time (s): 49.4215
CPU usage (%): 398.768
Max. virtual memory (cumulated for all children) (KiB): 5726412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4751.12
system time used= 49.4215
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31990886
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= 24207
involuntary context switches= 22385

runsolver used 3.80342 second user time and 9.91849 second system time

The end

Launcher Data 

Begin job on node148 at 2011-05-15 01:32:18
IDJOB=3369470
IDBENCH=84238
IDSOLVER=1846
FILE ID=node148/3369470-1305415934
RUNJOBID= node148-1305414728-19321
PBS_JOBID= 13324551
Free space on /tmp= 72744 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT03/industrial/schuppan/l2s/valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369470-1305415934/watcher-3369470-1305415934 -o /tmp/evaluation-result-3369470-1305415934/solver-3369470-1305415934 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369470-1305415934.cnf

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

MD5SUM BENCH= cb369c4583eb075a3a8cb5a04701e120
RANDOM SEED=1239975339

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23922672 kB
Buffers:        319416 kB
Cached:        4712444 kB
SwapCached:       8488 kB
Active:        5365528 kB
Inactive:      3306136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23922672 kB
SwapTotal:    67111528 kB
SwapFree:     67056568 kB
Dirty:          103884 kB
Writeback:           0 kB
AnonPages:     3637128 kB
Mapped:          27708 kB
Slab:           263276 kB
PageTables:      30092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 85559596 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= 72768 MiB
End job on node148 at 2011-05-15 01:52:23