Trace number 3291588

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.48 1202.01

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3291588-1304127385.cnf'
0.00/0.00	c -- header says num vars:         985042
0.00/0.00	c -- header says num clauses:     3113540
11.80/3.08	c -- clauses added:            0 learnts,      3113540 normals,            0 xors
11.80/3.08	c -- vars added     985042
11.80/3.08	c Parsing time:  2.77 s
11.80/3.08	c  N st     0         0    985042   1620902   1490503         0   7970771         0   no data   no data
20.58/5.26	c asymm  cl-useful: 0/175/1592883 lits-rem:0 time: 2.09
184.36/46.27	c Flit:    42 Blit:    307 bXBeca:    0 bXProp: 40473 Bins:      0 BRemL:      0 BRemN:      0 P: 200.5M T: 41.00
185.56/46.58	c Cleaning up after failed var search:     0.29 s 
188.35/47.20	c Replacing    40625 vars Replaced   572404 lits Time:     0.60 s 
193.51/48.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.03 s
195.13/48.93	c bin-w-bin subsume rem           12 bins  time:  0.34 s
199.12/49.98	c subs with bin:     2718  lits-rem:      3854  v-fix:    0  time:  1.05 s
330.52/82.85	c Subs w/ non-existent bins:   1613 l-rem:     22 v-fix:   164 done:   6074 time: 32.83 s
335.73/84.18	c Removed useless bin:       3  fixed:     0  props:  20.05M  time:  1.33 s
373.25/93.56	c lits-rem:      1392  cl-subs:    80892  v-elim: 300875  v-fix: 1096  time:  9.26 s
374.86/93.97	c Finding binary XORs  T:     0.41 s  found:    8933
376.84/94.48	c Replacing     8933 vars Replaced   320347 lits Time:     0.51 s 
385.63/96.64	c Finding non-binary XORs:     1.51 s (found:  237993, avg size: 3.0)
385.63/96.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    229 locsubst: 33934 time:   0.61
387.62/97.16	c Replacing    16967 vars Replaced   182035 lits Time:     0.52 s 
388.04/97.29	c calculated reachability. Time: 0.02
388.82/97.49	c Calc default polars -  time:   0.20 s pos:  224652 undec:  431016 neg:  329374
388.82/97.49	c =========================================================================================
388.82/97.49	c types(t): F = full restart, N = normal restart
388.82/97.49	c types(t): S = simplification begin/end, E = solution found
388.82/97.49	c restart types(rt): st = static, dy = dynamic
388.82/97.49	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
388.82/97.49	c  B st     0         0    574294    501029    755256         0   3916267         0   no data   no data
453.13/113.59	c Decided on static restart strategy
495.87/124.22	c  N st     8      4917    568177    492588    748487      4325   3863490    283129   no data   no data
545.00/136.55	c Finding binary XORs  T:     0.36 s  found:    5380
546.22/136.89	c Replacing     7464 vars Replaced    70269 lits Time:     0.32 s 
610.51/152.92	c  N st    10     11300    537824    466368    817121      9814   3655979   1127371   no data   no data
738.33/184.91	c Finding binary XORs  T:     0.44 s  found:     614
751.12/188.16	c  N st    11     17043    537147    464762    831221     15294   3647602   1877502   no data   no data
990.78/248.19	c  F st    12     25000    535690    464762    831937     15601   3647602   1568934   no data   no data
995.18/249.22	c Replacing     3363 vars Replaced    28901 lits Time:     0.64 s 
999.19/250.22	c Replacing       27 vars Replaced      268 lits Time:     0.60 s 
1003.19/251.22	c Replacing       21 vars Replaced      212 lits Time:     0.60 s 
1007.17/252.22	c Replacing       18 vars Replaced      180 lits Time:     0.60 s 
1011.16/253.22	c Replacing       19 vars Replaced      181 lits Time:     0.60 s 
1015.15/254.22	c Replacing       17 vars Replaced      102 lits Time:     0.60 s 
1731.63/433.64	c  N st    12     25000    523676    455109    811105     15060   3562132   1395998   no data   no data
1826.70/457.42	c Decided on static restart strategy
1826.70/457.43	c  N st    18     30000    523645    455109    811944     19823   3562132   1934790   no data   no data
1826.70/457.43	c  S st    18     30000    523645    455109    811944     19823   3562132   1934790   no data   no data
1855.88/464.76	c  S st    18     30500    523329    455109    812002     20220   3562132   1954461   no data   no data
1858.25/465.36	c x-sub: 15349 x-cut:      0 vfix:      0 v-elim:    681 locsubst:     2 time:   0.60
1967.71/492.73	c Flit:   160 Blit:   3946 bXBeca:    0 bXProp:  656 Bins:  49772 BRemL:      0 BRemN:      3 P: 200.0M T: 27.36
1967.71/492.77	c Cleaning up after failed var search:     0.00 s 
1970.50/493.46	c Replacing      868 vars Replaced    21934 lits Time:     0.63 s 
1972.50/493.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.04 s
1973.30/494.13	c bin-w-bin subsume rem       117573 bins  time:  0.22 s
1976.10/494.83	c subs with bin:    39221  lits-rem:     54643  v-fix:    0  time:  0.70 s
2052.79/514.06	c Subs w/ non-existent bins:    831 l-rem:    585 v-fix:   201 done:  24500 time: 19.20 s
2056.38/514.96	c Removed useless bin:     742  fixed:   211  props:  20.03M  time:  0.86 s
2077.53/520.25	c lits-rem:     45656  cl-subs:   102465  v-elim: 148208  v-fix:   21  time:  5.17 s
2079.13/520.61	c Replacing       70 vars Replaced      591 lits Time:     0.35 s 
2080.32/520.94	c subs with bin:      104  lits-rem:       507  v-fix:    0  time:  0.19 s
2082.72/521.58	c lits-rem:        62  cl-subs:      218  v-elim:      0  v-fix:    0  time:  0.53 s
2087.12/522.70	c asymm  cl-useful: 0/184/331654 lits-rem:0 time: 1.11
2087.92/522.81	c calculated reachability. Time: 0.03
2087.92/522.84	c  N st    18     30500    368772    331654    462194      5269   2784310    130638   no data   no data
2089.11/523.14	c Finding binary XORs  T:     0.29 s  found:    5820
2090.31/523.43	c Replacing     5835 vars Replaced    94143 lits Time:     0.29 s 
2182.19/546.48	c  N st    20     37610    359934    330756    450645     12026   2758034    699855   no data   no data
2279.25/570.79	c Finding binary XORs  T:     0.26 s  found:    1476
2339.19/585.79	c  N st    21     44009    359065    325916    482913     12026   2713959    971431   no data   no data
2396.69/600.10	c  S st    22     45750    358764    325916    482953     13697   2713957   1261226   no data   no data
2413.50/604.39	c  S st    22     46250    358720    325916    482965     14161   2713957   1310355   no data   no data
2415.07/604.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   1496 locsubst:    36 time:   0.39
2490.97/623.74	c Flit:     2 Blit:   1291 bXBeca:    0 bXProp:   67 Bins:   3795 BRemL:      0 BRemN:      6 P: 200.2M T: 18.96
2490.97/623.77	c Cleaning up after failed var search:     0.00 s 
2492.99/624.22	c Replacing     2473 vars Replaced    34579 lits Time:     0.40 s 
2493.76/624.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
2494.16/624.58	c bin-w-bin subsume rem        39373 bins  time:  0.09 s
2496.16/625.02	c subs with bin:    26549  lits-rem:     43530  v-fix:    0  time:  0.44 s
2562.07/641.58	c Subs w/ non-existent bins:    367 l-rem:    459 v-fix:    87 done:  21183 time: 16.54 s
2564.46/642.13	c Removed useless bin:    1033  fixed:   113  props:  20.00M  time:  0.53 s
2568.45/643.16	c lits-rem:      6991  cl-subs:     9159  v-elim:   6256  v-fix:   26  time:  1.02 s
2569.65/643.42	c Replacing       63 vars Replaced      586 lits Time:     0.25 s 
2571.67/643.93	c subs with bin:       45  lits-rem:       843  v-fix:    0  time:  0.35 s
2574.45/644.65	c lits-rem:       489  cl-subs:      453  v-elim:      0  v-fix:    0  time:  0.59 s
2578.84/645.76	c asymm  cl-useful: 0/196/290333 lits-rem:0 time: 1.11
2579.24/645.86	c calculated reachability. Time: 0.03
2579.24/645.89	c  N st    22     46250    347464    290333    441089     12076   2558052    449715   no data   no data
2580.46/646.15	c Finding binary XORs  T:     0.26 s  found:    2256
2777.37/695.40	c Finding binary XORs  T:     0.30 s  found:     919
2836.90/710.36	c  N st    23     60647    346027    286960    444793     25864   2536236   2115722   no data   no data
2874.04/719.65	c Replacing     3838 vars Replaced    65668 lits Time:     0.38 s 
2911.59/729.07	c  N st    24     69376    340432    285651    440154     22952   2509539   1266052   no data   no data
2911.59/729.08	c  S st    24     69376    340432    285651    440154     22952   2509539   1266052   no data   no data
2930.76/733.83	c  S st    24     69880    340165    285651    440206     23424   2509539   1294851   no data   no data
2932.76/734.30	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:    903 locsubst:    24 time:   0.47
3026.23/757.73	c Flit:     2 Blit:      2 bXBeca:    0 bXProp:   39 Bins:   3295 BRemL:      1 BRemN:      4 P: 200.5M T: 23.43
3028.23/758.28	c Replacing      204 vars Replaced     4128 lits Time:     0.46 s 
3029.83/758.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.03 s
3030.22/758.75	c bin-w-bin subsume rem        16625 bins  time:  0.10 s
3032.22/759.23	c subs with bin:     3432  lits-rem:      5667  v-fix:    0  time:  0.48 s
3114.51/779.89	c Subs w/ non-existent bins:    213 l-rem:    360 v-fix:    46 done:  22547 time: 20.64 s
3116.93/780.41	c Removed useless bin:    1300  fixed:    54  props:  20.00M  time:  0.51 s
3120.11/781.29	c lits-rem:      3464  cl-subs:     6658  v-elim:   2739  v-fix:    2  time:  0.88 s
3121.33/781.54	c Replacing       36 vars Replaced      308 lits Time:     0.24 s 
3125.32/782.59	c subs with bin:       82  lits-rem:       606  v-fix:    0  time:  0.84 s
3128.89/783.45	c lits-rem:       609  cl-subs:      658  v-elim:      0  v-fix:    0  time:  0.75 s
3132.08/784.28	c asymm  cl-useful: 1227/2724/276027 lits-rem:9189 time: 0.83
3132.48/784.37	c calculated reachability. Time: 0.03
3132.88/784.40	c  N st    24     69880    336205    275673    418767     22119   2427580   1125667   no data   no data
3133.69/784.64	c Finding binary XORs  T:     0.23 s  found:     172
3287.47/823.13	c  F st    25     87502    336119    275673    420389     26393   2427546   1192331   no data   no data
3288.67/823.45	c Replacing      253 vars Replaced     3721 lits Time:     0.22 s 
3289.87/823.79	c Replacing       25 vars Replaced      233 lits Time:     0.21 s 
3291.47/824.13	c Replacing        3 vars Replaced       22 lits Time:     0.21 s 
3465.23/867.65	c  N st    25     87502    335811    275403    419685     26388   2424986   1191898   no data   no data
3466.83/868.05	c Finding binary XORs  T:     0.24 s  found:     434
3503.20/877.15	c Decided on static restart strategy
3527.95/883.34	c  N st    32     95537    335400    274867    425813     34174   2421320   1994828   no data   no data
3595.87/900.36	c  N st    34    104822    335278    274867    426179     43246   2421272   2889396   no data   no data
3595.87/900.37	c  S st    34    104822    335278    274867    426179     43246   2421272   2889396   no data   no data
3608.24/903.42	c  S st    34    105328    335258    274867    426200     43721   2421272   2929229   no data   no data
3609.43/903.80	c x-sub:     7 x-cut:      0 vfix:      0 v-elim:    418 locsubst:     6 time:   0.38
3702.51/927.02	c Flit:     9 Blit:     79 bXBeca:    0 bXProp:  101 Bins:   5360 BRemL:      0 BRemN:      4 P: 200.0M T: 23.22
3704.11/927.44	c Replacing      804 vars Replaced    16867 lits Time:     0.35 s 
3705.32/927.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
3705.32/927.79	c bin-w-bin subsume rem         4339 bins  time:  0.07 s
3706.90/928.16	c subs with bin:     3662  lits-rem:      7491  v-fix:    0  time:  0.37 s
3764.83/942.60	c Subs w/ non-existent bins:    283 l-rem:   1552 v-fix:     8 done:  21800 time: 14.38 s
3766.85/943.11	c Removed useless bin:    1573  fixed:    13  props:  20.01M  time:  0.50 s
3769.63/943.83	c lits-rem:      1379  cl-subs:     1908  v-elim:   1124  v-fix:    1  time:  0.71 s
3770.83/944.10	c Replacing       24 vars Replaced      223 lits Time:     0.25 s 
3779.61/946.37	c subs with bin:      209  lits-rem:      3568  v-fix:    0  time:  1.92 s
3786.40/948.08	c lits-rem:      1666  cl-subs:     1049  v-elim:      0  v-fix:    0  time:  1.60 s
3789.99/948.95	c asymm  cl-useful: 1048/2670/267407 lits-rem:2858 time: 0.86
3790.39/949.04	c calculated reachability. Time: 0.03
3790.39/949.07	c  N st    34    105328    332680    267266    423254     41852   2378173   2690443   no data   no data
3791.59/949.30	c Finding binary XORs  T:     0.23 s  found:     106
3895.85/975.49	c  N st    35    114929    332393    267266    428928     35157   2378171   1683926   no data   no data
4166.70/1043.23	c Finding binary XORs  T:     0.25 s  found:     566
4171.10/1044.34	c  N st    36    129328    332189    264990    428882     48888   2355582   3378660   no data   no data
4430.75/1109.32	c  N st    37    150923    332189    264990    428963     51136   2355578   5075109   no data   no data
4461.10/1116.92	c  S st    38    157992    332077    264990    429359     57972   2355566   5995009   no data   no data
4474.29/1120.29	c  S st    38    158492    331994    264990    429481     58440   2355566   6040549   no data   no data
4475.87/1120.68	c x-sub:     3 x-cut:      0 vfix:      0 v-elim:   2807 locsubst:     4 time:   0.38
4563.75/1142.64	c Flit:     0 Blit:      4 bXBeca:    0 bXProp:   59 Bins:     95 BRemL:      0 BRemN:      2 P: 200.2M T: 21.96
4565.75/1143.12	c Replacing      828 vars Replaced    19998 lits Time:     0.41 s 
4566.57/1143.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
4566.97/1143.45	c bin-w-bin subsume rem         4027 bins  time:  0.07 s
4568.15/1143.77	c subs with bin:     2926  lits-rem:      3043  v-fix:    0  time:  0.32 s
4631.26/1159.54	c Subs w/ non-existent bins:    319 l-rem:   1155 v-fix:    16 done:  20556 time: 15.76 s
4633.26/1160.09	c Removed useless bin:    4752  fixed:    22  props:  20.01M  time:  0.55 s
4636.45/1160.85	c lits-rem:      1055  cl-subs:     1491  v-elim:   1041  v-fix:    1  time:  0.76 s
4637.65/1161.15	c Replacing       42 vars Replaced      340 lits Time:     0.29 s 
4650.83/1164.41	c subs with bin:       91  lits-rem:      2476  v-fix:    0  time:  2.68 s
4670.41/1169.36	c lits-rem:      1141  cl-subs:     1050  v-elim:      0  v-fix:    0  time:  4.82 s
4673.60/1170.13	c asymm  cl-useful: 611/1670/256696 lits-rem:1611 time: 0.77
4674.00/1170.22	c calculated reachability. Time: 0.03
4674.00/1170.25	c  N st    38    158492    327246    256611    416122     56506   2294692   5593146   no data   no data
4674.80/1170.48	c Finding binary XORs  T:     0.23 s  found:     132

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

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

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


[startup+0 s]
/proc/loadavg: 8.19 8.20 8.12 6/184 6305
/proc/meminfo: memFree=30564972/32951124 swapFree=67111336/67111528
[pid=6305] ppid=6303 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/6305/stat : 6305 (strangenight2-m) R 6303 6305 5928 0 -1 4202496 414 0 0 0 0 0 0 0 23 0 4 0 524336765 52441088 353 33554432000 4194304 4627427 140733698843360 18446744073709551615 47898417202704 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6305/statm: 12803 353 303 106 0 7774 0
[pid=6305/tid=6306] ppid=6303 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/6305/task/6306/stat : 6306 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 524336765 52441088 353 33554432000 4194304 4627427 140733698843360 18446744073709551615 47898417203116 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6305/tid=6307] ppid=6303 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/6305/task/6307/stat : 6307 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524336765 52441088 353 33554432000 4194304 4627427 140733698843360 18446744073709551615 47898417202707 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6305/tid=6308] ppid=6303 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/6305/task/6308/stat : 6308 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524336765 52441088 353 33554432000 4194304 4627427 140733698843360 18446744073709551615 47898417202704 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.075931 s]
/proc/loadavg: 8.19 8.20 8.12 6/184 6305
/proc/meminfo: memFree=30564972/32951124 swapFree=67111336/67111528
[pid=6305] ppid=6303 vsize=340348 CPUtime=0.26 cores=0,2,4,6
/proc/6305/stat : 6305 (strangenight2-m) R 6303 6305 5928 0 -1 4202496 44399 0 0 0 18 8 0 0 18 0 4 0 524336765 348516352 35547 33554432000 4194304 4627427 140733698843360 18446744073709551615 4313601 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6305/statm: 85087 35572 338 106 0 80058 0
[pid=6305/tid=6306] ppid=6303 vsize=340348 CPUtime=0.06 cores=0,2,4,6
/proc/6305/task/6306/stat : 6306 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 10999 0 0 0 4 2 0 0 25 0 4 0 524336765 348516352 35582 33554432000 4194304 4627427 140733698843360 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6305/tid=6307] ppid=6303 vsize=340348 CPUtime=0.06 cores=0,2,4,6
/proc/6305/task/6307/stat : 6307 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 11085 0 0 0 4 2 0 0 18 0 4 0 524336765 348516352 35595 33554432000 4194304 4627427 140733698843360 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6305/tid=6308] ppid=6303 vsize=340348 CPUtime=0.06 cores=0,2,4,6
/proc/6305/task/6308/stat : 6308 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 11000 0 0 0 5 1 0 0 18 0 4 0 524336765 348516352 35610 33554432000 4194304 4627427 140733698843360 18446744073709551615 4313601 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 340348

[startup+0.100937 s]
/proc/loadavg: 8.19 8.20 8.12 6/184 6305
/proc/meminfo: memFree=30564972/32951124 swapFree=67111336/67111528
[pid=6305] ppid=6303 vsize=382884 CPUtime=0.35 cores=0,2,4,6
/proc/6305/stat : 6305 (strangenight2-m) R 6303 6305 5928 0 -1 4202496 60395 0 0 0 24 11 0 0 18 0 4 0 524336765 392073216 43230 33554432000 4194304 4627427 140733698843360 18446744073709551615 271550580919 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6305/statm: 95721 43251 337 106 0 90692 0
[pid=6305/tid=6306] ppid=6303 vsize=382884 CPUtime=0.08 cores=0,2,4,6
/proc/6305/task/6306/stat : 6306 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 15002 0 0 0 5 3 0 0 25 0 4 0 524336765 392073216 43275 33554432000 4194304 4627427 140733698843360 18446744073709551615 271550235083 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6305/tid=6307] ppid=6303 vsize=382884 CPUtime=0.08 cores=0,2,4,6
/proc/6305/task/6307/stat : 6307 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 14985 0 0 0 6 2 0 0 18 0 4 0 524336765 392073216 43304 33554432000 4194304 4627427 140733698843360 18446744073709551615 271550235093 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6305/tid=6308] ppid=6303 vsize=382884 CPUtime=0.08 cores=0,2,4,6
/proc/6305/task/6308/stat : 6308 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 15044 0 0 0 6 2 0 0 18 0 4 0 524336765 392073216 43333 33554432000 4194304 4627427 140733698843360 18446744073709551615 271550234720 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 382884

[startup+0.335451 s]
/proc/loadavg: 8.19 8.20 8.12 6/184 6305
/proc/meminfo: memFree=30564972/32951124 swapFree=67111336/67111528
[pid=6305] ppid=6303 vsize=1068792 CPUtime=1.25 cores=0,2,4,6
/proc/6305/stat : 6305 (strangenight2-m) R 6303 6305 5928 0 -1 4202496 224119 0 0 0 80 45 0 0 18 0 4 0 524336765 1094443008 182794 33554432000 4194304 4627427 140733698843360 18446744073709551615 271550580871 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6305/statm: 267198 182794 337 106 0 262169 0
[pid=6305/tid=6306] ppid=6303 vsize=1068792 CPUtime=0.3 cores=0,2,4,6
/proc/6305/task/6306/stat : 6306 (strangenight2-m) D 6303 6305 5928 0 -1 4202560 56355 0 0 0 19 11 0 0 18 0 4 0 524336765 1094443008 182282 33554432000 4194304 4627427 140733698843360 18446744073709551615 271550580871 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6305/tid=6307] ppid=6303 vsize=1068792 CPUtime=0.3 cores=0,2,4,6
/proc/6305/task/6307/stat : 6307 (strangenight2-m) D 6303 6305 5928 0 -1 4202560 54996 0 0 0 20 10 0 0 18 0 4 0 524336765 1094443008 182282 33554432000 4194304 4627427 140733698843360 18446744073709551615 271550580871 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6305/tid=6308] ppid=6303 vsize=1068792 CPUtime=0.31 cores=0,2,4,6
/proc/6305/task/6308/stat : 6308 (strangenight2-m) D 6303 6305 5928 0 -1 4202560 56179 0 0 0 20 11 0 0 18 0 4 0 524336765 1094443008 182282 33554432000 4194304 4627427 140733698843360 18446744073709551615 271550580871 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 1068792

[startup+0.902733 s]
/proc/loadavg: 8.19 8.20 8.12 6/184 6305
/proc/meminfo: memFree=30564972/32951124 swapFree=67111336/67111528
[pid=6305] ppid=6303 vsize=1414292 CPUtime=3.6 cores=0,2,4,6
/proc/6305/stat : 6305 (strangenight2-m) R 6303 6305 5928 0 -1 4202496 355725 0 0 0 289 71 0 0 18 0 4 0 524336765 1448235008 286512 33554432000 4194304 4627427 140733698843360 18446744073709551615 271550198469 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6305/statm: 354391 287923 341 106 0 349362 0
[pid=6305/tid=6306] ppid=6303 vsize=1417564 CPUtime=0.9 cores=0,2,4,6
/proc/6305/task/6306/stat : 6306 (strangenight2-m) D 6303 6305 5928 0 -1 4202560 89476 0 0 0 73 17 0 0 18 0 4 0 524336765 1451585536 288189 33554432000 4194304 4627427 140733698843360 18446744073709551615 271550235001 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6305/tid=6307] ppid=6303 vsize=1421208 CPUtime=0.91 cores=0,2,4,6
/proc/6305/task/6307/stat : 6307 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 88927 0 0 0 74 17 0 0 18 0 4 0 524336765 1455316992 288484 33554432000 4194304 4627427 140733698843360 18446744073709551615 271550580919 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6305/tid=6308] ppid=6303 vsize=1421208 CPUtime=0.93 cores=0,2,4,6
/proc/6305/task/6308/stat : 6308 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 89302 0 0 0 73 20 0 0 18 0 4 0 524336765 1455316992 288762 33554432000 4194304 4627427 140733698843360 18446744073709551615 4359797 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 1414292

[startup+1.50067 s]
/proc/loadavg: 8.19 8.20 8.12 9/188 6309
/proc/meminfo: memFree=29270008/32951124 swapFree=67111336/67111528
[pid=6305] ppid=6303 vsize=1576556 CPUtime=5.85 cores=0,2,4,6
/proc/6305/stat : 6305 (strangenight2-m) R 6303 6305 5928 0 -1 4202496 392197 0 0 0 504 81 0 0 18 0 4 0 524336765 1614393344 322983 33554432000 4194304 4627427 140733698843360 18446744073709551615 4360952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6305/statm: 394139 322984 341 106 0 389110 0
[pid=6305/tid=6306] ppid=6303 vsize=1576556 CPUtime=1.45 cores=0,2,4,6
/proc/6305/task/6306/stat : 6306 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 98132 0 0 0 125 20 0 0 18 0 4 0 524336765 1614393344 322992 33554432000 4194304 4627427 140733698843360 18446744073709551615 4360048 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6305/tid=6307] ppid=6303 vsize=1576556 CPUtime=1.46 cores=0,2,4,6
/proc/6305/task/6307/stat : 6307 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 97795 0 0 0 127 19 0 0 18 0 4 0 524336765 1614393344 322993 33554432000 4194304 4627427 140733698843360 18446744073709551615 4360048 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6305/tid=6308] ppid=6303 vsize=1576556 CPUtime=1.47 cores=0,2,4,6
/proc/6305/task/6308/stat : 6308 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 97923 0 0 0 125 22 0 0 18 0 4 0 524336765 1614393344 322993 33554432000 4194304 4627427 140733698843360 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 1576556

[startup+3.10038 s]
/proc/loadavg: 8.19 8.20 8.12 10/188 6309
/proc/meminfo: memFree=29053504/32951124 swapFree=67111336/67111528
[pid=6305] ppid=6303 vsize=1893828 CPUtime=12.2 cores=0,2,4,6
/proc/6305/stat : 6305 (strangenight2-m) R 6303 6305 5928 0 -1 4202496 475508 0 0 0 1118 102 0 0 19 0 4 0 524336765 1939279872 406294 33554432000 4194304 4627427 140733698843360 18446744073709551615 4323754 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6305/statm: 473457 406294 360 106 0 468428 0
[pid=6305/tid=6306] ppid=6303 vsize=1893828 CPUtime=3.02 cores=0,2,4,6
/proc/6305/task/6306/stat : 6306 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 118672 0 0 0 278 24 0 0 19 0 4 0 524336765 1939279872 406294 33554432000 4194304 4627427 140733698843360 18446744073709551615 4323000 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6305/tid=6307] ppid=6303 vsize=1893828 CPUtime=3.04 cores=0,2,4,6
/proc/6305/task/6307/stat : 6307 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 118710 0 0 0 280 24 0 0 19 0 4 0 524336765 1939279872 406294 33554432000 4194304 4627427 140733698843360 18446744073709551615 4222403 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6305/tid=6308] ppid=6303 vsize=1893828 CPUtime=3.06 cores=0,2,4,6
/proc/6305/task/6308/stat : 6308 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 118851 0 0 0 279 27 0 0 18 0 4 0 524336765 1939279872 406294 33554432000 4194304 4627427 140733698843360 18446744073709551615 4323754 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.2
Current children cumulated vsize (KiB) 1893828

[startup+6.3008 s]
/proc/loadavg: 8.17 8.20 8.12 9/188 6309
/proc/meminfo: memFree=28880544/32951124 swapFree=67111336/67111528
[pid=6305] ppid=6303 vsize=1905500 CPUtime=24.98 cores=0,2,4,6
/proc/6305/stat : 6305 (strangenight2-m) R 6303 6305 5928 0 -1 4202496 487553 0 0 0 2393 105 0 0 25 0 4 0 524336765 1951232000 418335 33554432000 4194304 4627427 140733698843360 18446744073709551615 4297751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6305/statm: 476375 418335 368 106 0 471346 0
[pid=6305/tid=6306] ppid=6303 vsize=1905500 CPUtime=6.21 cores=0,2,4,6
/proc/6305/task/6306/stat : 6306 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 121562 0 0 0 596 25 0 0 25 0 4 0 524336765 1951232000 418335 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6305/tid=6307] ppid=6303 vsize=1905500 CPUtime=6.25 cores=0,2,4,6
/proc/6305/task/6307/stat : 6307 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 121596 0 0 0 600 25 0 0 25 0 4 0 524336765 1951232000 418335 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6305/tid=6308] ppid=6303 vsize=1905500 CPUtime=6.25 cores=0,2,4,6
/proc/6305/task/6308/stat : 6308 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 122234 0 0 0 598 27 0 0 25 0 4 0 524336765 1951232000 418335 33554432000 4194304 4627427 140733698843360 18446744073709551615 4310406 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.98
Current children cumulated vsize (KiB) 1905500

[startup+12.7006 s]
/proc/loadavg: 8.24 8.21 8.12 9/188 6309
/proc/meminfo: memFree=28876088/32951124 swapFree=67111336/67111528
[pid=6305] ppid=6303 vsize=1971292 CPUtime=50.53 cores=0,2,4,6
/proc/6305/stat : 6305 (strangenight2-m) R 6303 6305 5928 0 -1 4202496 494635 0 0 0 4947 106 0 0 25 0 4 0 524336765 2018603008 422009 33554432000 4194304 4627427 140733698843360 18446744073709551615 4239419 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6305/statm: 492823 422009 368 106 0 487794 0
[pid=6305/tid=6306] ppid=6303 vsize=1971292 CPUtime=12.57 cores=0,2,4,6
/proc/6305/task/6306/stat : 6306 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 121604 0 0 0 1232 25 0 0 25 0 4 0 524336765 2018603008 422009 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6305/tid=6307] ppid=6303 vsize=1971292 CPUtime=12.65 cores=0,2,4,6
/proc/6305/task/6307/stat : 6307 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 121639 0 0 0 1240 25 0 0 25 0 4 0 524336765 2018603008 422009 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6305/tid=6308] ppid=6303 vsize=1971292 CPUtime=12.66 cores=0,2,4,6
/proc/6305/task/6308/stat : 6308 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 129188 0 0 0 1237 29 0 0 25 0 4 0 524336765 2018603008 422009 33554432000 4194304 4627427 140733698843360 18446744073709551615 4321813 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.53
Current children cumulated vsize (KiB) 1971292

[startup+25.5003 s]
/proc/loadavg: 8.19 8.20 8.12 9/188 6309
/proc/meminfo: memFree=28829072/32951124 swapFree=67111336/67111528
[pid=6305] ppid=6303 vsize=2109708 CPUtime=101.67 cores=0,2,4,6
/proc/6305/stat : 6305 (strangenight2-m) R 6303 6305 5928 0 -1 4202496 512255 0 0 0 10058 109 0 0 25 0 4 0 524336765 2160340992 435290 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6305/statm: 527427 435290 368 106 0 522398 0
[pid=6305/tid=6306] ppid=6303 vsize=2109708 CPUtime=25.3 cores=0,2,4,6
/proc/6305/task/6306/stat : 6306 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 122502 0 0 0 2505 25 0 0 25 0 4 0 524336765 2160340992 435290 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6305/tid=6307] ppid=6303 vsize=2109708 CPUtime=25.44 cores=0,2,4,6
/proc/6305/task/6307/stat : 6307 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 122538 0 0 0 2519 25 0 0 25 0 4 0 524336765 2160340992 435290 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6305/tid=6308] ppid=6303 vsize=2109708 CPUtime=25.46 cores=0,2,4,6
/proc/6305/task/6308/stat : 6308 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 143429 0 0 0 2515 31 0 0 25 0 4 0 524336765 2160340992 435290 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 2109708

[startup+51.1067 s]
/proc/loadavg: 8.18 8.20 8.12 10/188 6310
/proc/meminfo: memFree=28070212/32951124 swapFree=67111336/67111528
[pid=6305] ppid=6303 vsize=2851416 CPUtime=203.91 cores=0,2,4,6
/proc/6305/stat : 6305 (strangenight2-m) R 6303 6305 5928 0 -1 4202496 691942 0 0 0 20246 145 0 0 18 0 4 0 524336765 2919849984 614973 33554432000 4194304 4627427 140733698843360 18446744073709551615 4436170 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6305/statm: 712854 614973 379 106 0 707825 0
[pid=6305/tid=6306] ppid=6303 vsize=2851416 CPUtime=50.75 cores=0,2,4,6
/proc/6305/task/6306/stat : 6306 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 175135 0 0 0 5043 32 0 0 18 0 4 0 524336765 2919849984 614973 33554432000 4194304 4627427 140733698843360 18446744073709551615 4534761 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6305/tid=6307] ppid=6303 vsize=2851416 CPUtime=51.03 cores=0,2,4,6
/proc/6305/task/6307/stat : 6307 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 175196 0 0 0 5067 36 0 0 23 0 4 0 524336765 2919849984 614973 33554432000 4194304 4627427 140733698843360 18446744073709551615 4534796 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6305/tid=6308] ppid=6303 vsize=2851416 CPUtime=51.07 cores=0,2,4,6
/proc/6305/task/6308/stat : 6308 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 165829 0 0 0 5072 35 0 0 25 0 4 0 524336765 2919849984 614973 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 2851416

[startup+102.3 s]
/proc/loadavg: 8.17 8.20 8.12 9/188 6311
/proc/meminfo: memFree=27605688/32951124 swapFree=67111336/67111528
[pid=6305] ppid=6303 vsize=3673164 CPUtime=408.39 cores=0,2,4,6
/proc/6305/stat : 6305 (strangenight2-m) R 6303 6305 5928 0 -1 4202496 894535 0 0 0 40657 182 0 0 25 0 4 0 524336765 3761319936 728721 33554432000 4194304 4627427 140733698843360 18446744073709551615 4299664 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6305/statm: 918291 728721 388 106 0 913262 0
[pid=6305/tid=6306] ppid=6303 vsize=3673164 CPUtime=101.67 cores=0,2,4,6
/proc/6305/task/6306/stat : 6306 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 223194 0 0 0 10128 39 0 0 25 0 4 0 524336765 3761319936 728721 33554432000 4194304 4627427 140733698843360 18446744073709551615 4299630 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6305/tid=6307] ppid=6303 vsize=3673164 CPUtime=102.22 cores=0,2,4,6
/proc/6305/task/6307/stat : 6307 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 241664 0 0 0 10172 50 0 0 25 0 4 0 524336765 3761319936 728721 33554432000 4194304 4627427 140733698843360 18446744073709551615 4309735 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6305/tid=6308] ppid=6303 vsize=3673164 CPUtime=102.26 cores=0,2,4,6
/proc/6305/task/6308/stat : 6308 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 174570 0 0 0 10189 37 0 0 25 0 4 0 524336765 3761319936 728721 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.39
Current children cumulated vsize (KiB) 3673164

[startup+162.301 s]

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

[pid=6305/tid=6308] ppid=6303 vsize=3901120 CPUtime=702.27 cores=0,2,4,6
/proc/6305/task/6308/stat : 6308 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 32447572 0 0 0 64434 5793 0 0 25 0 4 0 524336765 3994746880 831253 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.95
Current children cumulated vsize (KiB) 3901120

[startup+762.301 s]
/proc/loadavg: 8.33 8.27 8.18 9/188 6329
/proc/meminfo: memFree=26871660/32951124 swapFree=67111336/67111528
[pid=6305] ppid=6303 vsize=3984616 CPUtime=3044.6 cores=0,2,4,6
/proc/6305/stat : 6305 (strangenight2-m) R 6303 6305 5928 0 -1 4202496 35048504 0 0 0 298228 6232 0 0 25 0 4 0 524336765 4080246784 864727 33554432000 4194304 4627427 140733698843360 18446744073709551615 4534796 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6305/statm: 996154 864727 391 106 0 991125 0
[pid=6305/tid=6306] ppid=6303 vsize=3984616 CPUtime=757.96 cores=0,2,4,6
/proc/6305/task/6306/stat : 6306 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 276842 0 0 0 75743 53 0 0 25 0 4 0 524336765 4080246784 864727 33554432000 4194304 4627427 140733698843360 18446744073709551615 4254299 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6305/tid=6307] ppid=6303 vsize=3984616 CPUtime=762.24 cores=0,2,4,6
/proc/6305/task/6307/stat : 6307 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 1940451 0 0 0 75922 302 0 0 25 0 4 0 524336765 4080246784 864727 33554432000 4194304 4627427 140733698843360 18446744073709551615 4534761 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6305/tid=6308] ppid=6303 vsize=3984616 CPUtime=762.27 cores=0,2,4,6
/proc/6305/task/6308/stat : 6308 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 32460282 0 0 0 70431 5796 0 0 25 0 4 0 524336765 4080246784 864727 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.6
Current children cumulated vsize (KiB) 3984616

[startup+822.301 s]
/proc/loadavg: 8.28 8.26 8.18 9/188 6331
/proc/meminfo: memFree=26461900/32951124 swapFree=67111336/67111528
[pid=6305] ppid=6303 vsize=4666856 CPUtime=3284.27 cores=0,2,4,6
/proc/6305/stat : 6305 (strangenight2-m) R 6303 6305 5928 0 -1 4202496 35194174 0 0 0 322168 6259 0 0 25 0 4 0 524336765 4778860544 968030 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6305/statm: 1166714 968030 391 106 0 1161685 0
[pid=6305/tid=6306] ppid=6303 vsize=4666856 CPUtime=817.63 cores=0,2,4,6
/proc/6305/task/6306/stat : 6306 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 276842 0 0 0 81710 53 0 0 25 0 4 0 524336765 4778860544 968030 33554432000 4194304 4627427 140733698843360 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6305/tid=6307] ppid=6303 vsize=4666856 CPUtime=822.24 cores=0,2,4,6
/proc/6305/task/6307/stat : 6307 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 1947588 0 0 0 81920 304 0 0 25 0 4 0 524336765 4778860544 968030 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308812 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6305/tid=6308] ppid=6303 vsize=4666856 CPUtime=822.26 cores=0,2,4,6
/proc/6305/task/6308/stat : 6308 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 32592239 0 0 0 76407 5819 0 0 25 0 4 0 524336765 4778860544 968030 33554432000 4194304 4627427 140733698843360 18446744073709551615 4468060 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.27
Current children cumulated vsize (KiB) 4666856

[startup+882.301 s]
/proc/loadavg: 6.70 7.89 8.06 5/179 6349
/proc/meminfo: memFree=26922584/32951124 swapFree=67111336/67111528
[pid=6305] ppid=6303 vsize=4581208 CPUtime=3523.96 cores=0,2,4,6
/proc/6305/stat : 6305 (strangenight2-m) R 6303 6305 5928 0 -1 4202496 36124597 0 0 0 345997 6399 0 0 25 0 4 0 524336765 4691156992 987482 33554432000 4194304 4627427 140733698843360 18446744073709551615 4324663 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6305/statm: 1145302 987482 391 106 0 1140273 0
[pid=6305/tid=6306] ppid=6303 vsize=4581208 CPUtime=877.31 cores=0,2,4,6
/proc/6305/task/6306/stat : 6306 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 283062 0 0 0 87676 55 0 0 25 0 4 0 524336765 4691156992 987482 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6305/tid=6307] ppid=6303 vsize=4581208 CPUtime=882.24 cores=0,2,4,6
/proc/6305/task/6307/stat : 6307 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 1955150 0 0 0 87917 307 0 0 25 0 4 0 524336765 4691156992 987482 33554432000 4194304 4627427 140733698843360 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6305/tid=6308] ppid=6303 vsize=4581208 CPUtime=882.26 cores=0,2,4,6
/proc/6305/task/6308/stat : 6308 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 32592682 0 0 0 82407 5819 0 0 25 0 4 0 524336765 4691156992 987482 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.96
Current children cumulated vsize (KiB) 4581208

[startup+942.301 s]
/proc/loadavg: 5.03 7.19 7.81 5/179 6351
/proc/meminfo: memFree=26939656/32951124 swapFree=67111336/67111528
[pid=6305] ppid=6303 vsize=4464608 CPUtime=3763.63 cores=0,2,4,6
/proc/6305/stat : 6305 (strangenight2-m) R 6303 6305 5928 0 -1 4202496 36152170 0 0 0 369952 6411 0 0 25 0 4 0 524336765 4571758592 982983 33554432000 4194304 4627427 140733698843360 18446744073709551615 4436184 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6305/statm: 1116152 982983 391 106 0 1111123 0
[pid=6305/tid=6306] ppid=6303 vsize=4464608 CPUtime=936.98 cores=0,2,4,6
/proc/6305/task/6306/stat : 6306 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 283783 0 0 0 93642 56 0 0 25 0 4 0 524336765 4571758592 982983 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6305/tid=6307] ppid=6303 vsize=4464608 CPUtime=942.24 cores=0,2,4,6
/proc/6305/task/6307/stat : 6307 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 1957581 0 0 0 93916 308 0 0 25 0 4 0 524336765 4571758592 982983 33554432000 4194304 4627427 140733698843360 18446744073709551615 4309695 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6305/tid=6308] ppid=6303 vsize=4464608 CPUtime=942.27 cores=0,2,4,6
/proc/6305/task/6308/stat : 6308 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 32602963 0 0 0 88405 5822 0 0 25 0 4 0 524336765 4571758592 982983 33554432000 4194304 4627427 140733698843360 18446744073709551615 4330046 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.63
Current children cumulated vsize (KiB) 4464608

[startup+1002.3 s]
/proc/loadavg: 4.50 6.65 7.58 5/179 6352
/proc/meminfo: memFree=26878368/32951124 swapFree=67111336/67111528
[pid=6305] ppid=6303 vsize=4497428 CPUtime=4003.31 cores=0,2,4,6
/proc/6305/stat : 6305 (strangenight2-m) R 6303 6305 5928 0 -1 4202496 36222462 0 0 0 393910 6421 0 0 25 0 4 0 524336765 4605366272 999985 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6305/statm: 1124357 999986 391 106 0 1119328 0
[pid=6305/tid=6306] ppid=6303 vsize=4497428 CPUtime=996.66 cores=0,2,4,6
/proc/6305/task/6306/stat : 6306 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 284452 0 0 0 99610 56 0 0 25 0 4 0 524336765 4605366272 999993 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6305/tid=6307] ppid=6303 vsize=4497428 CPUtime=1002.24 cores=0,2,4,6
/proc/6305/task/6307/stat : 6307 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 1962961 0 0 0 99915 309 0 0 25 0 4 0 524336765 4605366272 1000010 33554432000 4194304 4627427 140733698843360 18446744073709551615 4309735 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6305/tid=6308] ppid=6303 vsize=4497428 CPUtime=1002.27 cores=0,2,4,6
/proc/6305/task/6308/stat : 6308 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 32658926 0 0 0 94398 5829 0 0 25 0 4 0 524336765 4605366272 1000027 33554432000 4194304 4627427 140733698843360 18446744073709551615 271550235250 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.31
Current children cumulated vsize (KiB) 4497428

[startup+1062.3 s]
/proc/loadavg: 4.18 6.17 7.36 5/179 6354
/proc/meminfo: memFree=26858972/32951124 swapFree=67111336/67111528
[pid=6305] ppid=6303 vsize=4615836 CPUtime=4242.98 cores=0,2,4,6
/proc/6305/stat : 6305 (strangenight2-m) R 6303 6305 5928 0 -1 4202496 39043614 0 0 0 417485 6813 0 0 25 0 4 0 524336765 4726616064 1003418 33554432000 4194304 4627427 140733698843360 18446744073709551615 4330039 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6305/statm: 1153959 1003418 391 106 0 1148930 0
[pid=6305/tid=6306] ppid=6303 vsize=4615836 CPUtime=1056.32 cores=0,2,4,6
/proc/6305/task/6306/stat : 6306 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 285342 0 0 0 105576 56 0 0 25 0 4 0 524336765 4726616064 1003418 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6305/tid=6307] ppid=6303 vsize=4615836 CPUtime=1062.25 cores=0,2,4,6
/proc/6305/task/6307/stat : 6307 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 1963533 0 0 0 105915 310 0 0 25 0 4 0 524336765 4726616064 1003418 33554432000 4194304 4627427 140733698843360 18446744073709551615 4321747 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6305/tid=6308] ppid=6303 vsize=4615836 CPUtime=1062.28 cores=0,2,4,6
/proc/6305/task/6308/stat : 6308 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 35476369 0 0 0 100008 6220 0 0 25 0 4 0 524336765 4726616064 1003418 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.98
Current children cumulated vsize (KiB) 4615836

[startup+1122.3 s]
/proc/loadavg: 4.07 5.77 7.14 5/179 6356
/proc/meminfo: memFree=26805744/32951124 swapFree=67111336/67111528
[pid=6305] ppid=6303 vsize=4915036 CPUtime=4482.66 cores=0,2,4,6
/proc/6305/stat : 6305 (strangenight2-m) R 6303 6305 5928 0 -1 4202496 39068507 0 0 0 441443 6823 0 0 25 0 4 0 524336765 5032996864 1016783 33554432000 4194304 4627427 140733698843360 18446744073709551615 4309646 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6305/statm: 1228759 1016783 391 106 0 1223730 0
[pid=6305/tid=6306] ppid=6303 vsize=4915036 CPUtime=1116.01 cores=0,2,4,6
/proc/6305/task/6306/stat : 6306 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 286934 0 0 0 111544 57 0 0 25 0 4 0 524336765 5032996864 1016783 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6305/tid=6307] ppid=6303 vsize=4915036 CPUtime=1122.25 cores=0,2,4,6
/proc/6305/task/6307/stat : 6307 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 1974361 0 0 0 111911 314 0 0 25 0 4 0 524336765 5032996864 1016783 33554432000 4194304 4627427 140733698843360 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6305/tid=6308] ppid=6303 vsize=4915036 CPUtime=1122.27 cores=0,2,4,6
/proc/6305/task/6308/stat : 6308 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 35479169 0 0 0 106007 6220 0 0 25 0 4 0 524336765 5032996864 1016783 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.66
Current children cumulated vsize (KiB) 4915036

[startup+1182.3 s]
/proc/loadavg: 4.06 5.46 6.95 5/179 6357
/proc/meminfo: memFree=26701648/32951124 swapFree=67111336/67111528
[pid=6305] ppid=6303 vsize=4820852 CPUtime=4722.34 cores=0,2,4,6
/proc/6305/stat : 6305 (strangenight2-m) R 6303 6305 5928 0 -1 4202496 39099488 0 0 0 465404 6830 0 0 25 0 4 0 524336765 4936552448 1042548 33554432000 4194304 4627427 140733698843360 18446744073709551615 4332997 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6305/statm: 1205213 1042548 391 106 0 1200184 0
[pid=6305/tid=6306] ppid=6303 vsize=4820852 CPUtime=1175.68 cores=0,2,4,6
/proc/6305/task/6306/stat : 6306 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 294559 0 0 0 117509 59 0 0 25 0 4 0 524336765 4936552448 1042548 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6305/tid=6307] ppid=6303 vsize=4820852 CPUtime=1182.25 cores=0,2,4,6
/proc/6305/task/6307/stat : 6307 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 1983968 0 0 0 117908 317 0 0 25 0 4 0 524336765 4936552448 1042548 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6305/tid=6308] ppid=6303 vsize=4820852 CPUtime=1182.27 cores=0,2,4,6
/proc/6305/task/6308/stat : 6308 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 35490279 0 0 0 112005 6222 0 0 25 0 4 0 524336765 4936552448 1042548 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.34
Current children cumulated vsize (KiB) 4820852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 4.04 5.36 6.89 5/179 6358
/proc/meminfo: memFree=26622648/32951124 swapFree=67111336/67111528
[pid=6305] ppid=6303 vsize=4923032 CPUtime=4800.26 cores=0,2,4,6
/proc/6305/stat : 6305 (strangenight2-m) R 6303 6305 5928 0 -1 4202496 39130380 0 0 0 473189 6837 0 0 25 0 4 0 524336765 5041184768 1062274 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308329 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6305/statm: 1230758 1062274 391 106 0 1225729 0
[pid=6305/tid=6306] ppid=6303 vsize=4923032 CPUtime=1195.07 cores=0,2,4,6
/proc/6305/task/6306/stat : 6306 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 294650 0 0 0 119448 59 0 0 25 0 4 0 524336765 5041184768 1062274 33554432000 4194304 4627427 140733698843360 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6305/tid=6307] ppid=6303 vsize=4923032 CPUtime=1201.75 cores=0,2,4,6
/proc/6305/task/6307/stat : 6307 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 1985381 0 0 0 119857 318 0 0 25 0 4 0 524336765 5041184768 1062274 33554432000 4194304 4627427 140733698843360 18446744073709551615 4309735 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6305/tid=6308] ppid=6303 vsize=4923032 CPUtime=1201.78 cores=0,2,4,6
/proc/6305/task/6308/stat : 6308 (strangenight2-m) R 6303 6305 5928 0 -1 4202560 35513677 0 0 0 113952 6226 0 0 25 0 4 0 524336765 5041184768 1062274 33554432000 4194304 4627427 140733698843360 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 4923032

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

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

[startup+1201.91 s]
/proc/loadavg: 4.04 5.36 6.89 5/179 6358
/proc/meminfo: memFree=26622648/32951124 swapFree=67111336/67111528
[pid=6305] ppid=6303 vsize=0 CPUtime=4800.38 cores=0,2,4,6
/proc/6305/stat : 6305 (strangenight2-m) Z 6303 6305 5928 0 -1 4203548 39130382 0 0 0 473191 6847 0 0 25 0 2 0 524336765 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6305/statm: 0 0 0 0 0 0 0
[pid=6305/tid=6306] ppid=6303 vsize=0 CPUtime=1195.18 cores=0,2,4,6
/proc/6305/task/6306/stat : 6306 (strangenight2-m) R 6303 6305 5928 0 -1 4203588 294650 0 0 0 119449 69 0 0 25 0 2 0 524336765 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 0

[startup+1202 s]
/proc/loadavg: 4.04 5.36 6.89 5/179 6358
/proc/meminfo: memFree=26622648/32951124 swapFree=67111336/67111528
[pid=6305] ppid=6303 vsize=0 CPUtime=4800.46 cores=0,2,4,6
/proc/6305/stat : 6305 (strangenight2-m) Z 6303 6305 5928 0 -1 4203548 39130382 0 0 0 473191 6855 0 0 25 0 2 0 524336765 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6305/statm: 0 0 0 0 0 0 0
[pid=6305/tid=6306] ppid=6303 vsize=0 CPUtime=1195.27 cores=0,2,4,6
/proc/6305/task/6306/stat : 6306 (strangenight2-m) R 6303 6305 5928 0 -1 4203588 294650 0 0 0 119449 78 0 0 25 0 2 0 524336765 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.46
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.01
CPU time (s): 4800.48
CPU user time (s): 4731.91
CPU system time (s): 68.5676
CPU usage (%): 399.371
Max. virtual memory (cumulated for all children) (KiB): 5043488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4731.91
system time used= 68.5676
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39130382
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= 21720
involuntary context switches= 69622

runsolver used 1.9597 second user time and 4.74628 second system time

The end

Launcher Data 

Begin job on node133 at 2011-04-30 03:36:29
IDJOB=3291588
IDBENCH=84238
IDSOLVER=1586
FILE ID=node133/3291588-1304127385
RUNJOBID= node133-1304124391-5946
PBS_JOBID= 13170758
Free space on /tmp= 71828 MiB

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

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

MD5SUM BENCH= cb369c4583eb075a3a8cb5a04701e120
RANDOM SEED=643800188

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30565128 kB
Buffers:        515340 kB
Cached:        1156436 kB
SwapCached:        124 kB
Active:         520416 kB
Inactive:      1521444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30565128 kB
SwapTotal:    67111528 kB
SwapFree:     67111336 kB
Dirty:           69372 kB
Writeback:           0 kB
AnonPages:      369708 kB
Mapped:          15580 kB
Slab:           281588 kB
PageTables:       5544 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   587772 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71828 MiB
End job on node133 at 2011-04-30 03:56:33