Trace number 3367070

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.24 1203.09

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 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3367070-1305415908.cnf'
0.00/0.01	c -- header says num vars:         985042
0.00/0.01	c -- header says num clauses:     3113540
10.55/2.77	c -- clauses added:            0 learnts,      3113540 normals,            0 xors
10.55/2.77	c -- vars added     985042
10.55/2.77	c Parsing time:  2.45 s
10.55/2.77	c  N st     0         0    985042   1620902   1490503         0   7970771         0   no data   no data
19.33/4.90	c asymm  cl-useful: 0/175/1592883 lits-rem:0 time: 2.09
182.96/45.91	c Flit:    42 Blit:    307 bXBeca:    0 bXProp: 40473 Bins:      0 BRemL:      0 BRemN:      0 P: 200.5M T: 41.01
183.76/46.20	c Cleaning up after failed var search:     0.28 s 
186.14/46.78	c Replacing    40625 vars Replaced   572404 lits Time:     0.56 s 
191.73/48.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
192.94/48.44	c bin-w-bin subsume rem           12 bins  time:  0.30 s
197.33/49.51	c subs with bin:     2718  lits-rem:      3854  v-fix:    0  time:  1.08 s
327.01/82.01	c Subs w/ non-existent bins:   1613 l-rem:     22 v-fix:   164 done:   6074 time: 32.46 s
331.80/83.28	c Removed useless bin:       3  fixed:     0  props:  20.05M  time:  1.26 s
368.10/92.31	c lits-rem:      1392  cl-subs:    80892  v-elim: 300875  v-fix: 1096  time:  8.89 s
369.69/92.73	c Finding binary XORs  T:     0.42 s  found:    8933
371.69/93.23	c Replacing     8933 vars Replaced   320347 lits Time:     0.50 s 
379.67/95.24	c Finding non-binary XORs:     1.38 s (found:  237993, avg size: 3.0)
379.67/95.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    229 locsubst: 33934 time:   0.60
381.68/95.72	c Replacing    16967 vars Replaced   182035 lits Time:     0.48 s 
382.10/95.85	c calculated reachability. Time: 0.02
382.86/96.04	c Calc default polars -  time:   0.18 s pos:  224652 undec:  431016 neg:  329374
382.86/96.04	c =========================================================================================
382.86/96.04	c types(t): F = full restart, N = normal restart
382.86/96.04	c types(t): S = simplification begin/end, E = solution found
382.86/96.04	c restart types(rt): st = static, dy = dynamic
382.86/96.04	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
382.86/96.04	c  B st     0         0    574294    501029    755256         0   3916267         0   no data   no data
447.11/112.12	c Decided on static restart strategy
489.01/122.65	c  N st     8      4917    568177    492588    748487      4325   3863490    283129   no data   no data
538.50/135.00	c Finding binary XORs  T:     0.37 s  found:    5380
539.72/135.32	c Replacing     7464 vars Replaced    70269 lits Time:     0.31 s 
603.95/151.43	c  N st    10     11300    537824    466368    817121      9814   3655979   1127371   no data   no data
729.26/182.82	c Finding binary XORs  T:     0.43 s  found:     614
742.07/186.03	c  N st    11     17043    537147    464762    831221     15294   3647602   1877502   no data   no data
977.85/245.14	c  F st    12     25000    535690    464762    831937     15601   3647602   1568934   no data   no data
981.84/246.12	c Replacing     3363 vars Replaced    28901 lits Time:     0.61 s 
985.43/247.07	c Replacing       27 vars Replaced      268 lits Time:     0.58 s 
989.42/248.02	c Replacing       21 vars Replaced      212 lits Time:     0.57 s 
993.01/248.97	c Replacing       18 vars Replaced      180 lits Time:     0.57 s 
997.00/249.91	c Replacing       19 vars Replaced      181 lits Time:     0.57 s 
1000.61/250.86	c Replacing       17 vars Replaced      102 lits Time:     0.57 s 
1707.98/428.11	c  N st    12     25000    523676    455109    811105     15060   3562132   1395998   no data   no data
1802.17/451.70	c Decided on static restart strategy
1802.17/451.70	c  N st    18     30000    523645    455109    811944     19823   3562132   1934790   no data   no data
1802.17/451.70	c  S st    18     30000    523645    455109    811944     19823   3562132   1934790   no data   no data
1830.90/458.96	c  S st    18     30500    523329    455109    812002     20220   3562132   1954461   no data   no data
1833.30/459.50	c x-sub: 15349 x-cut:      0 vfix:      0 v-elim:    681 locsubst:     2 time:   0.55
1940.64/486.41	c Flit:   160 Blit:   3946 bXBeca:    0 bXProp:  656 Bins:  49772 BRemL:      0 BRemN:      3 P: 200.0M T: 26.91
1940.64/486.44	c Cleaning up after failed var search:     0.00 s 
1943.44/487.11	c Replacing      868 vars Replaced    21934 lits Time:     0.61 s 
1945.03/487.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.04 s
1945.83/487.74	c bin-w-bin subsume rem       117573 bins  time:  0.20 s
1948.65/488.44	c subs with bin:    39221  lits-rem:     54643  v-fix:    0  time:  0.70 s
2023.27/507.15	c Subs w/ non-existent bins:    831 l-rem:    585 v-fix:   201 done:  24500 time: 18.68 s
2026.44/507.92	c Removed useless bin:     742  fixed:   211  props:  20.03M  time:  0.73 s
2046.36/512.91	c lits-rem:     45656  cl-subs:   102465  v-elim: 148208  v-fix:   21  time:  4.89 s
2047.56/513.26	c Replacing       70 vars Replaced      591 lits Time:     0.33 s 
2048.76/513.57	c subs with bin:      104  lits-rem:       507  v-fix:    0  time:  0.19 s
2051.14/514.12	c lits-rem:        62  cl-subs:      218  v-elim:      0  v-fix:    0  time:  0.43 s
2055.13/515.14	c asymm  cl-useful: 0/184/331654 lits-rem:0 time: 1.01
2055.53/515.25	c calculated reachability. Time: 0.03
2055.53/515.28	c  N st    18     30500    368772    331654    462194      5269   2784310    130638   no data   no data
2056.74/515.58	c Finding binary XORs  T:     0.31 s  found:    5820
2057.94/515.87	c Replacing     5835 vars Replaced    94143 lits Time:     0.29 s 
2149.33/538.73	c  N st    20     37610    359934    330756    450645     12026   2758034    699855   no data   no data
2244.71/562.63	c Finding binary XORs  T:     0.25 s  found:    1476
2303.37/577.30	c  N st    21     44009    359065    325916    482913     12026   2713959    971431   no data   no data
2358.85/591.29	c  S st    22     45750    358764    325916    482953     13697   2713957   1261226   no data   no data
2376.00/595.57	c  S st    22     46250    358720    325916    482965     14161   2713957   1310355   no data   no data
2377.60/595.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   1496 locsubst:    36 time:   0.37
2449.06/613.82	c Flit:     2 Blit:   1291 bXBeca:    0 bXProp:   67 Bins:   3795 BRemL:      0 BRemN:      6 P: 200.2M T: 17.88
2449.06/613.85	c Cleaning up after failed var search:     0.00 s 
2451.03/614.30	c Replacing     2473 vars Replaced    34579 lits Time:     0.41 s 
2451.83/614.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
2452.23/614.66	c bin-w-bin subsume rem        39373 bins  time:  0.08 s
2453.86/615.09	c subs with bin:    26549  lits-rem:     43530  v-fix:    0  time:  0.44 s
2518.09/631.18	c Subs w/ non-existent bins:    367 l-rem:    459 v-fix:    87 done:  21183 time: 16.07 s
2520.08/631.68	c Removed useless bin:    1033  fixed:   113  props:  20.00M  time:  0.48 s
2523.68/632.58	c lits-rem:      6991  cl-subs:     9159  v-elim:   6256  v-fix:   26  time:  0.90 s
2524.86/632.84	c Replacing       63 vars Replaced      586 lits Time:     0.24 s 
2526.86/633.34	c subs with bin:       45  lits-rem:       843  v-fix:    0  time:  0.35 s
2529.25/633.96	c lits-rem:       489  cl-subs:      453  v-elim:      0  v-fix:    0  time:  0.50 s
2533.24/634.98	c asymm  cl-useful: 0/196/290333 lits-rem:0 time: 1.02
2533.64/635.08	c calculated reachability. Time: 0.03
2534.04/635.11	c  N st    22     46250    347464    290333    441089     12076   2558052    449715   no data   no data
2534.84/635.37	c Finding binary XORs  T:     0.26 s  found:    2256
2730.42/684.35	c  N st    23     60647    347174    290333    443368     26055   2558039   1520263   no data   no data
2740.36/686.82	c Finding binary XORs  T:     0.30 s  found:     916
2854.49/715.44	c Replacing     3869 vars Replaced    69021 lits Time:     0.48 s 
2874.45/720.42	c  N st    24     69375    340399    285512    440209     23069   2508950   1249796   no data   no data
2874.45/720.43	c  S st    24     69375    340399    285512    440209     23069   2508950   1249796   no data   no data
2892.84/725.04	c  S st    24     69878    340370    285512    440218     23556   2508950   1298455   no data   no data
2894.40/725.47	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:    914 locsubst:    14 time:   0.44
2985.03/748.16	c Flit:     2 Blit:      7 bXBeca:    0 bXProp:   41 Bins:   3370 BRemL:      1 BRemN:      4 P: 201.1M T: 22.68
2986.59/748.56	c Replacing      124 vars Replaced     3131 lits Time:     0.33 s 
2987.79/748.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
2988.19/748.91	c bin-w-bin subsume rem        16752 bins  time:  0.07 s
2989.78/749.31	c subs with bin:     3560  lits-rem:      5825  v-fix:    0  time:  0.40 s
3044.05/762.94	c Subs w/ non-existent bins:    243 l-rem:   2030 v-fix:    19 done:  24039 time: 13.62 s
3045.25/763.29	c Removed useless bin:     603  fixed:    32  props:  20.00M  time:  0.35 s
3048.45/764.01	c lits-rem:      3450  cl-subs:     6481  v-elim:   2743  v-fix:    0  time:  0.72 s
3049.25/764.25	c Replacing       39 vars Replaced      321 lits Time:     0.23 s 
3052.84/765.12	c subs with bin:       79  lits-rem:      1142  v-fix:    0  time:  0.68 s
3055.63/765.82	c lits-rem:       427  cl-subs:      592  v-elim:      0  v-fix:    0  time:  0.59 s
3058.83/766.67	c asymm  cl-useful: 1190/2638/276587 lits-rem:8925 time: 0.85
3059.25/766.76	c calculated reachability. Time: 0.03
3059.25/766.79	c  N st    24     69878    336482    276248    420238     21220   2431899    948327   no data   no data
3060.42/767.02	c Finding binary XORs  T:     0.23 s  found:     176
3196.90/801.22	c  F st    25     87500    336408    276248    422023     25323   2431894    945479   no data   no data
3198.10/801.52	c Replacing      217 vars Replaced     3693 lits Time:     0.20 s 
3199.30/801.85	c Replacing       35 vars Replaced      285 lits Time:     0.20 s 
3200.49/802.18	c Replacing       12 vars Replaced       87 lits Time:     0.20 s 
3368.10/844.13	c  N st    25     87500    336113    276054    421349     25313   2429544    945167   no data   no data
3402.06/852.67	c Decided on static restart strategy
3417.59/856.51	c  N st    32     95540    336078    276054    421690     33123   2429503   1490448   no data   no data
3419.20/856.92	c Finding binary XORs  T:     0.24 s  found:     403
3483.03/872.96	c  N st    34    104820    335356    274411    426290     42106   2419046   2437782   no data   no data
3483.03/872.97	c  S st    34    104820    335356    274411    426290     42106   2419046   2437782   no data   no data
3498.63/876.81	c  S st    34    105325    335351    274411    426306     42586   2419044   2477528   no data   no data
3499.80/877.18	c x-sub:     5 x-cut:      0 vfix:      0 v-elim:    371 locsubst:     8 time:   0.36
3564.49/893.37	c Flit:     1 Blit:     73 bXBeca:    0 bXProp:   51 Bins:    174 BRemL:      0 BRemN:      0 P: 200.0M T: 16.20
3566.04/893.78	c Replacing      618 vars Replaced    13426 lits Time:     0.33 s 
3567.24/894.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
3567.65/894.10	c bin-w-bin subsume rem         3800 bins  time:  0.06 s
3568.88/894.46	c subs with bin:     3449  lits-rem:      7574  v-fix:    0  time:  0.36 s
3621.91/907.75	c Subs w/ non-existent bins:    298 l-rem:   1892 v-fix:    10 done:  23024 time: 13.30 s
3623.52/908.15	c Removed useless bin:     901  fixed:    13  props:  20.01M  time:  0.39 s
3625.95/908.79	c lits-rem:      1348  cl-subs:     1908  v-elim:   1132  v-fix:    1  time:  0.63 s
3627.10/909.03	c Replacing       30 vars Replaced      248 lits Time:     0.23 s 
3632.69/910.45	c subs with bin:      164  lits-rem:      1835  v-fix:    0  time:  1.12 s
3639.12/912.08	c lits-rem:      2036  cl-subs:     1140  v-elim:      0  v-fix:    0  time:  1.51 s
3642.28/912.85	c asymm  cl-useful: 455/1089/268294 lits-rem:1288 time: 0.77
3642.68/912.93	c calculated reachability. Time: 0.02
3642.68/912.96	c  N st    34    105325    333096    268236    420266     40224   2386464   2187769   no data   no data
3701.33/927.68	c  N st    35    114924    333095    268236    420303     33676   2386414   1347753   no data   no data
3744.82/938.50	c Finding binary XORs  T:     0.23 s  found:     236
3789.53/949.70	c  N st    36    129321    332929    267526    428591     47682   2377718   2359804   no data   no data
3935.20/986.22	c  N st    37    150916    332910    267526    428662     50500   2377713   2680663   no data   no data
3988.68/999.63	c  S st    38    157989    332814    267526    429185     57454   2377710   3440486   no data   no data
4002.24/1003.05	c  S st    38    158489    332737    267526    429200     57937   2377710   3472713   no data   no data
4003.83/1003.46	c x-sub:     4 x-cut:      0 vfix:      0 v-elim:   1295 locsubst:    66 time:   0.41
4070.88/1020.21	c Flit:     6 Blit:     28 bXBeca:    0 bXProp:   86 Bins:   1512 BRemL:      0 BRemN:      0 P: 200.0M T: 16.74
4072.48/1020.65	c Replacing      545 vars Replaced    14586 lits Time:     0.37 s 
4073.71/1020.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
4073.71/1020.98	c bin-w-bin subsume rem         1900 bins  time:  0.06 s
4075.27/1021.34	c subs with bin:     1660  lits-rem:      1934  v-fix:    0  time:  0.36 s
4141.91/1038.01	c Subs w/ non-existent bins:    170 l-rem:    713 v-fix:    26 done:  19179 time: 16.67 s
4143.95/1038.52	c Removed useless bin:    3199  fixed:    34  props:  20.01M  time:  0.50 s
4145.91/1039.09	c lits-rem:       711  cl-subs:     1037  v-elim:    592  v-fix:    0  time:  0.57 s
4147.11/1039.36	c Replacing       31 vars Replaced      298 lits Time:     0.24 s 
4156.29/1041.67	c subs with bin:       81  lits-rem:      4104  v-fix:    0  time:  1.92 s
4162.27/1043.17	c lits-rem:      1502  cl-subs:      920  v-elim:      0  v-fix:    0  time:  1.39 s
4165.06/1043.87	c asymm  cl-useful: 253/603/264216 lits-rem:713 time: 0.69
4165.48/1043.95	c calculated reachability. Time: 0.02
4165.48/1043.98	c  N st    38    158489    330183    264180    423453     55815   2349470   3111153   no data   no data
4588.49/1149.91	c  N st    39    207077    330183    264180    423575     59460   2349469   5154930   no data   no data
4590.09/1150.33	c Finding binary XORs  T:     0.24 s  found:     290

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-3367070-1305415908/watcher-3367070-1305415908 -o /tmp/evaluation-result-3367070-1305415908/solver-3367070-1305415908 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367070-1305415908.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.87 8.04 8.00 5/294 6212
/proc/meminfo: memFree=16231432/32951124 swapFree=52307768/67111528
[pid=6212] ppid=6210 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/6212/stat : 6212 (strangenight2-m) R 6210 6212 5978 0 -1 4202496 407 0 0 0 0 0 0 0 19 0 4 0 653193951 52396032 347 33554432000 4194304 4580107 140734218900720 18446744073709551615 47190320617394 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6212/statm: 12792 347 299 95 0 7774 0
[pid=6212/tid=6213] ppid=6210 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/6212/task/6213/stat : 6213 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 653193951 52396032 349 33554432000 4194304 4580107 140734218900720 18446744073709551615 218371013617 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6212/tid=6214] ppid=6210 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/6212/task/6214/stat : 6214 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 653193951 52396032 349 33554432000 4194304 4580107 140734218900720 18446744073709551615 47190320617394 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6212/tid=6215] ppid=6210 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/6212/task/6215/stat : 6215 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 653193951 52396032 349 33554432000 4194304 4580107 140734218900720 18446744073709551615 47190320617394 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.110304 s]
/proc/loadavg: 7.87 8.04 8.00 5/294 6212
/proc/meminfo: memFree=16231432/32951124 swapFree=52307768/67111528
[pid=6212] ppid=6210 vsize=401816 CPUtime=0.37 cores=0,2,4,6
/proc/6212/stat : 6212 (strangenight2-m) R 6210 6212 5978 0 -1 4202496 70452 0 0 0 26 11 0 0 18 0 4 0 653193951 411459584 53370 33554432000 4194304 4580107 140734218900720 18446744073709551615 4311330 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6212/statm: 100454 53394 334 95 0 95436 0
[pid=6212/tid=6213] ppid=6210 vsize=401816 CPUtime=0.08 cores=0,2,4,6
/proc/6212/task/6213/stat : 6213 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 17027 0 0 0 6 2 0 0 21 0 4 0 653193951 411459584 53408 33554432000 4194304 4580107 140734218900720 18446744073709551615 4306867 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6212/tid=6214] ppid=6210 vsize=401816 CPUtime=0.09 cores=0,2,4,6
/proc/6212/task/6214/stat : 6214 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 17569 0 0 0 6 3 0 0 21 0 4 0 653193951 411459584 53423 33554432000 4194304 4580107 140734218900720 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6212/tid=6215] ppid=6210 vsize=401816 CPUtime=0.08 cores=0,2,4,6
/proc/6212/task/6215/stat : 6215 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 16629 0 0 0 6 2 0 0 18 0 4 0 653193951 411459584 53436 33554432000 4194304 4580107 140734218900720 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 401816

[startup+0.200285 s]
/proc/loadavg: 7.87 8.04 8.00 5/294 6212
/proc/meminfo: memFree=16231432/32951124 swapFree=52307768/67111528
[pid=6212] ppid=6210 vsize=600036 CPUtime=0.7 cores=0,2,4,6
/proc/6212/stat : 6212 (strangenight2-m) R 6210 6212 5978 0 -1 4202496 135956 0 0 0 48 22 0 0 18 0 4 0 653193951 614436864 101989 33554432000 4194304 4580107 140734218900720 18446744073709551615 4307191 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6212/statm: 150009 102025 334 95 0 144991 0
[pid=6212/tid=6213] ppid=6210 vsize=600036 CPUtime=0.16 cores=0,2,4,6
/proc/6212/task/6213/stat : 6213 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 33779 0 0 0 11 5 0 0 21 0 4 0 653193951 614436864 102041 33554432000 4194304 4580107 140734218900720 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6212/tid=6214] ppid=6210 vsize=600036 CPUtime=0.17 cores=0,2,4,6
/proc/6212/task/6214/stat : 6214 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 34430 0 0 0 11 6 0 0 21 0 4 0 653193951 614436864 102063 33554432000 4194304 4580107 140734218900720 18446744073709551615 4307480 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6212/tid=6215] ppid=6210 vsize=600036 CPUtime=0.16 cores=0,2,4,6
/proc/6212/task/6215/stat : 6215 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 30813 0 0 0 12 4 0 0 18 0 4 0 653193951 614436864 102084 33554432000 4194304 4580107 140734218900720 18446744073709551615 218370654595 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 600036

[startup+0.301275 s]
/proc/loadavg: 7.87 8.04 8.00 5/294 6212
/proc/meminfo: memFree=16231432/32951124 swapFree=52307768/67111528
[pid=6212] ppid=6210 vsize=1061616 CPUtime=1.09 cores=0,2,4,6
/proc/6212/stat : 6212 (strangenight2-m) R 6210 6212 5978 0 -1 4202496 216623 0 0 0 73 36 0 0 18 0 4 0 653193951 1087094784 181880 33554432000 4194304 4580107 140734218900720 18446744073709551615 4350366 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6212/statm: 265404 181897 334 95 0 260386 0
[pid=6212/tid=6213] ppid=6210 vsize=1061616 CPUtime=0.26 cores=0,2,4,6
/proc/6212/task/6213/stat : 6213 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 54031 0 0 0 17 9 0 0 21 0 4 0 653193951 1087094784 181904 33554432000 4194304 4580107 140734218900720 18446744073709551615 4350366 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6212/tid=6214] ppid=6210 vsize=1061616 CPUtime=0.27 cores=0,2,4,6
/proc/6212/task/6214/stat : 6214 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 54856 0 0 0 18 9 0 0 21 0 4 0 653193951 1087094784 181915 33554432000 4194304 4580107 140734218900720 18446744073709551615 4350336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6212/tid=6215] ppid=6210 vsize=1061616 CPUtime=0.24 cores=0,2,4,6
/proc/6212/task/6215/stat : 6215 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 49231 0 0 0 17 7 0 0 17 0 4 0 653193951 1087094784 181924 33554432000 4194304 4580107 140734218900720 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 1061616

[startup+0.700194 s]
/proc/loadavg: 7.87 8.04 8.00 5/294 6212
/proc/meminfo: memFree=16231432/32951124 swapFree=52307768/67111528
[pid=6212] ppid=6210 vsize=1338336 CPUtime=2.61 cores=0,2,4,6
/proc/6212/stat : 6212 (strangenight2-m) R 6210 6212 5978 0 -1 4202496 343204 0 0 0 202 59 0 0 18 0 4 0 653193951 1370456064 273891 33554432000 4194304 4580107 140734218900720 18446744073709551615 218370615880 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6212/statm: 334584 273894 338 95 0 329566 0
[pid=6212/tid=6213] ppid=6210 vsize=1338336 CPUtime=0.64 cores=0,2,4,6
/proc/6212/task/6213/stat : 6213 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 83323 0 0 0 50 14 0 0 22 0 4 0 653193951 1370456064 273895 33554432000 4194304 4580107 140734218900720 18446744073709551615 4298669 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6212/tid=6214] ppid=6210 vsize=1338336 CPUtime=0.66 cores=0,2,4,6
/proc/6212/task/6214/stat : 6214 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 85811 0 0 0 51 15 0 0 18 0 4 0 653193951 1370456064 273898 33554432000 4194304 4580107 140734218900720 18446744073709551615 218370615538 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6212/tid=6215] ppid=6210 vsize=1338336 CPUtime=0.6 cores=0,2,4,6
/proc/6212/task/6215/stat : 6215 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 82347 0 0 0 47 13 0 0 18 0 4 0 653193951 1370456064 273900 33554432000 4194304 4580107 140734218900720 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 1338336

[startup+1.50105 s]
/proc/loadavg: 7.87 8.04 8.00 9/298 6216
/proc/meminfo: memFree=14994252/32951124 swapFree=52307768/67111528
[pid=6212] ppid=6210 vsize=1651468 CPUtime=5.77 cores=0,2,4,6
/proc/6212/stat : 6212 (strangenight2-m) R 6210 6212 5978 0 -1 4202496 403416 0 0 0 502 75 0 0 18 0 4 0 653193951 1691103232 334103 33554432000 4194304 4580107 140734218900720 18446744073709551615 4355016 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6212/statm: 412867 334104 338 95 0 407849 0
[pid=6212/tid=6213] ppid=6210 vsize=1651468 CPUtime=1.44 cores=0,2,4,6
/proc/6212/task/6213/stat : 6213 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 97706 0 0 0 125 19 0 0 18 0 4 0 653193951 1691103232 334104 33554432000 4194304 4580107 140734218900720 18446744073709551615 4299314 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6212/tid=6214] ppid=6210 vsize=1651468 CPUtime=1.45 cores=0,2,4,6
/proc/6212/task/6214/stat : 6214 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 101192 0 0 0 127 18 0 0 18 0 4 0 653193951 1691103232 334105 33554432000 4194304 4580107 140734218900720 18446744073709551615 4511029 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6212/tid=6215] ppid=6210 vsize=1651468 CPUtime=1.4 cores=0,2,4,6
/proc/6212/task/6215/stat : 6215 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 98219 0 0 0 122 18 0 0 18 0 4 0 653193951 1691103232 334105 33554432000 4194304 4580107 140734218900720 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 1651468

[startup+3.10077 s]
/proc/loadavg: 7.87 8.04 8.00 9/298 6216
/proc/meminfo: memFree=14728324/32951124 swapFree=52307768/67111528
[pid=6212] ppid=6210 vsize=1959348 CPUtime=12.14 cores=0,2,4,6
/proc/6212/stat : 6212 (strangenight2-m) R 6210 6212 5978 0 -1 4202496 477529 0 0 0 1120 94 0 0 19 0 4 0 653193951 2006372352 408216 33554432000 4194304 4580107 140734218900720 18446744073709551615 4292896 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6212/statm: 489837 408216 356 95 0 484819 0
[pid=6212/tid=6213] ppid=6210 vsize=1959348 CPUtime=3.02 cores=0,2,4,6
/proc/6212/task/6213/stat : 6213 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 115767 0 0 0 278 24 0 0 19 0 4 0 653193951 2006372352 408216 33554432000 4194304 4580107 140734218900720 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6212/tid=6214] ppid=6210 vsize=1959348 CPUtime=3.04 cores=0,2,4,6
/proc/6212/task/6214/stat : 6214 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 119178 0 0 0 283 21 0 0 18 0 4 0 653193951 2006372352 408216 33554432000 4194304 4580107 140734218900720 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6212/tid=6215] ppid=6210 vsize=1959348 CPUtime=2.99 cores=0,2,4,6
/proc/6212/task/6215/stat : 6215 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 118280 0 0 0 277 22 0 0 20 0 4 0 653193951 2006372352 408216 33554432000 4194304 4580107 140734218900720 18446744073709551615 4497712 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.14
Current children cumulated vsize (KiB) 1959348

[startup+6.3012 s]
/proc/loadavg: 7.88 8.04 8.00 9/298 6217
/proc/meminfo: memFree=14546680/32951124 swapFree=52307768/67111528
[pid=6212] ppid=6210 vsize=1971020 CPUtime=24.92 cores=0,2,4,6
/proc/6212/stat : 6212 (strangenight2-m) R 6210 6212 5978 0 -1 4202496 487782 0 0 0 2396 96 0 0 25 0 4 0 653193951 2018324480 418465 33554432000 4194304 4580107 140734218900720 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6212/statm: 492755 418465 361 95 0 487737 0
[pid=6212/tid=6213] ppid=6210 vsize=1971020 CPUtime=6.19 cores=0,2,4,6
/proc/6212/task/6213/stat : 6213 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 118653 0 0 0 595 24 0 0 25 0 4 0 653193951 2018324480 418465 33554432000 4194304 4580107 140734218900720 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6212/tid=6214] ppid=6210 vsize=1971020 CPUtime=6.24 cores=0,2,4,6
/proc/6212/task/6214/stat : 6214 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 122067 0 0 0 602 22 0 0 25 0 4 0 653193951 2018324480 418465 33554432000 4194304 4580107 140734218900720 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6212/tid=6215] ppid=6210 vsize=1971020 CPUtime=6.19 cores=0,2,4,6
/proc/6212/task/6215/stat : 6215 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 119872 0 0 0 596 23 0 0 25 0 4 0 653193951 2018324480 418465 33554432000 4194304 4580107 140734218900720 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.92
Current children cumulated vsize (KiB) 1971020

[startup+12.7011 s]
/proc/loadavg: 7.89 8.03 8.00 9/298 6217
/proc/meminfo: memFree=14571556/32951124 swapFree=52307768/67111528
[pid=6212] ppid=6210 vsize=2036812 CPUtime=50.46 cores=0,2,4,6
/proc/6212/stat : 6212 (strangenight2-m) R 6210 6212 5978 0 -1 4202496 494806 0 0 0 4949 97 0 0 25 0 4 0 653193951 2085695488 422048 33554432000 4194304 4580107 140734218900720 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6212/statm: 509203 422048 361 95 0 504185 0
[pid=6212/tid=6213] ppid=6210 vsize=2036812 CPUtime=12.53 cores=0,2,4,6
/proc/6212/task/6213/stat : 6213 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 118698 0 0 0 1229 24 0 0 25 0 4 0 653193951 2085695488 422048 33554432000 4194304 4580107 140734218900720 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6212/tid=6214] ppid=6210 vsize=2036812 CPUtime=12.64 cores=0,2,4,6
/proc/6212/task/6214/stat : 6214 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 122111 0 0 0 1242 22 0 0 25 0 4 0 653193951 2085695488 422048 33554432000 4194304 4580107 140734218900720 18446744073709551615 4292952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6212/tid=6215] ppid=6210 vsize=2036812 CPUtime=12.6 cores=0,2,4,6
/proc/6212/task/6215/stat : 6215 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 126763 0 0 0 1236 24 0 0 25 0 4 0 653193951 2085695488 422048 33554432000 4194304 4580107 140734218900720 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.46
Current children cumulated vsize (KiB) 2036812

[startup+25.5008 s]
/proc/loadavg: 7.91 8.03 8.00 9/298 6217
/proc/meminfo: memFree=14539564/32951124 swapFree=52307768/67111528
[pid=6212] ppid=6210 vsize=2044160 CPUtime=101.53 cores=0,2,4,6
/proc/6212/stat : 6212 (strangenight2-m) R 6210 6212 5978 0 -1 4202496 511720 0 0 0 10054 99 0 0 25 0 4 0 653193951 2093219840 434621 33554432000 4194304 4580107 140734218900720 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6212/statm: 511040 434621 361 95 0 506022 0
[pid=6212/tid=6213] ppid=6210 vsize=2044160 CPUtime=25.21 cores=0,2,4,6
/proc/6212/task/6213/stat : 6213 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 119595 0 0 0 2496 25 0 0 25 0 4 0 653193951 2093219840 434621 33554432000 4194304 4580107 140734218900720 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6212/tid=6214] ppid=6210 vsize=2044160 CPUtime=25.43 cores=0,2,4,6
/proc/6212/task/6214/stat : 6214 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 123008 0 0 0 2521 22 0 0 25 0 4 0 653193951 2093219840 434621 33554432000 4194304 4580107 140734218900720 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6212/tid=6215] ppid=6210 vsize=2044160 CPUtime=25.39 cores=0,2,4,6
/proc/6212/task/6215/stat : 6215 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 140987 0 0 0 2514 25 0 0 25 0 4 0 653193951 2093219840 434621 33554432000 4194304 4580107 140734218900720 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 2044160

[startup+51.1012 s]
/proc/loadavg: 8.02 8.04 8.00 9/298 6218
/proc/meminfo: memFree=13723180/32951124 swapFree=52307768/67111528
[pid=6212] ppid=6210 vsize=2785840 CPUtime=203.7 cores=0,2,4,6
/proc/6212/stat : 6212 (strangenight2-m) R 6210 6212 5978 0 -1 4202496 692058 0 0 0 20234 136 0 0 25 0 4 0 653193951 2852700160 614955 33554432000 4194304 4580107 140734218900720 18446744073709551615 4515177 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6212/statm: 696460 614955 372 95 0 691442 0
[pid=6212/tid=6213] ppid=6210 vsize=2785840 CPUtime=50.58 cores=0,2,4,6
/proc/6212/task/6213/stat : 6213 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 172257 0 0 0 5020 38 0 0 25 0 4 0 653193951 2852700160 614955 33554432000 4194304 4580107 140734218900720 18446744073709551615 4515183 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6212/tid=6214] ppid=6210 vsize=2785840 CPUtime=51.03 cores=0,2,4,6
/proc/6212/task/6214/stat : 6214 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 175646 0 0 0 5073 30 0 0 25 0 4 0 653193951 2852700160 614955 33554432000 4194304 4580107 140734218900720 18446744073709551615 4515177 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6212/tid=6215] ppid=6210 vsize=2785840 CPUtime=50.99 cores=0,2,4,6
/proc/6212/task/6215/stat : 6215 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 163353 0 0 0 5071 28 0 0 25 0 4 0 653193951 2852700160 614955 33554432000 4194304 4580107 140734218900720 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.7
Current children cumulated vsize (KiB) 2785840

[startup+102.301 s]
/proc/loadavg: 8.09 8.05 8.01 9/298 6219
/proc/meminfo: memFree=13178448/32951124 swapFree=52307768/67111528
[pid=6212] ppid=6210 vsize=3602568 CPUtime=408.02 cores=0,2,4,6
/proc/6212/stat : 6212 (strangenight2-m) R 6210 6212 5978 0 -1 4202496 921041 0 0 0 40623 179 0 0 25 0 4 0 653193951 3689029632 728206 33554432000 4194304 4580107 140734218900720 18446744073709551615 4489474 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6212/statm: 900642 728206 379 95 0 895624 0
[pid=6212/tid=6213] ppid=6210 vsize=3602568 CPUtime=101.32 cores=0,2,4,6
/proc/6212/task/6213/stat : 6213 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 252905 0 0 0 10077 55 0 0 25 0 4 0 653193951 3689029632 728206 33554432000 4194304 4580107 140734218900720 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6212/tid=6214] ppid=6210 vsize=3602568 CPUtime=102.22 cores=0,2,4,6
/proc/6212/task/6214/stat : 6214 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 235566 0 0 0 10183 39 0 0 25 0 4 0 653193951 3689029632 728206 33554432000 4194304 4580107 140734218900720 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6212/tid=6215] ppid=6210 vsize=3602568 CPUtime=102.2 cores=0,2,4,6
/proc/6212/task/6215/stat : 6215 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 171867 0 0 0 10190 30 0 0 25 0 4 0 653193951 3689029632 728206 33554432000 4194304 4580107 140734218900720 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.02
Current children cumulated vsize (KiB) 3602568

[startup+162.3 s]

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


[startup+702.3 s]
/proc/loadavg: 8.04 8.05 8.00 9/298 6235
/proc/meminfo: memFree=12589512/32951124 swapFree=52307768/67111528
[pid=6212] ppid=6210 vsize=3849980 CPUtime=2802.2 cores=0,2,4,6
/proc/6212/stat : 6212 (strangenight2-m) R 6210 6212 5978 0 -1 4202496 33436908 0 0 0 274221 5999 0 0 25 0 4 0 653193951 3942379520 834856 33554432000 4194304 4580107 140734218900720 18446744073709551615 4316661 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6212/statm: 962495 834856 381 95 0 957477 0
[pid=6212/tid=6213] ppid=6210 vsize=3849980 CPUtime=695.62 cores=0,2,4,6
/proc/6212/task/6213/stat : 6213 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 345780 0 0 0 69484 78 0 0 25 0 4 0 653193951 3942379520 834856 33554432000 4194304 4580107 140734218900720 18446744073709551615 4249629 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6212/tid=6214] ppid=6210 vsize=3849980 CPUtime=702.12 cores=0,2,4,6
/proc/6212/task/6214/stat : 6214 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 284813 0 0 0 70161 51 0 0 25 0 4 0 653193951 3942379520 834856 33554432000 4194304 4580107 140734218900720 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6212/tid=6215] ppid=6210 vsize=3849980 CPUtime=702.19 cores=0,2,4,6
/proc/6212/task/6215/stat : 6215 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 32449323 0 0 0 64426 5793 0 0 25 0 4 0 653193951 3942379520 834856 33554432000 4194304 4580107 140734218900720 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2802.2
Current children cumulated vsize (KiB) 3849980

[startup+762.301 s]
/proc/loadavg: 8.05 8.05 8.00 9/298 6237
/proc/meminfo: memFree=12389584/32951124 swapFree=52307768/67111528
[pid=6212] ppid=6210 vsize=4093740 CPUtime=3041.68 cores=0,2,4,6
/proc/6212/stat : 6212 (strangenight2-m) R 6210 6212 5978 0 -1 4202496 33469426 0 0 0 298162 6006 0 0 25 0 4 0 653193951 4191989760 867372 33554432000 4194304 4580107 140734218900720 18446744073709551615 4428045 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6212/statm: 1023435 867372 381 95 0 1018417 0
[pid=6212/tid=6213] ppid=6210 vsize=4093740 CPUtime=755.08 cores=0,2,4,6
/proc/6212/task/6213/stat : 6213 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 346128 0 0 0 75430 78 0 0 25 0 4 0 653193951 4191989760 867372 33554432000 4194304 4580107 140734218900720 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6212/tid=6214] ppid=6210 vsize=4093740 CPUtime=762.12 cores=0,2,4,6
/proc/6212/task/6214/stat : 6214 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 293399 0 0 0 76160 52 0 0 25 0 4 0 653193951 4191989760 867372 33554432000 4194304 4580107 140734218900720 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6212/tid=6215] ppid=6210 vsize=4093740 CPUtime=762.21 cores=0,2,4,6
/proc/6212/task/6215/stat : 6215 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 32465209 0 0 0 70423 5798 0 0 25 0 4 0 653193951 4191989760 867372 33554432000 4194304 4580107 140734218900720 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3041.68
Current children cumulated vsize (KiB) 4093740

[startup+822.301 s]
/proc/loadavg: 8.05 8.05 8.00 9/298 6238
/proc/meminfo: memFree=11957304/32951124 swapFree=52307768/67111528
[pid=6212] ppid=6210 vsize=4477368 CPUtime=3281.11 cores=0,2,4,6
/proc/6212/stat : 6212 (strangenight2-m) R 6210 6212 5978 0 -1 4202496 33606139 0 0 0 322079 6032 0 0 25 0 4 0 653193951 4584824832 970412 33554432000 4194304 4580107 140734218900720 18446744073709551615 4248821 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6212/statm: 1119342 970412 381 95 0 1114324 0
[pid=6212/tid=6213] ppid=6210 vsize=4477368 CPUtime=814.53 cores=0,2,4,6
/proc/6212/task/6213/stat : 6213 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 348056 0 0 0 81373 80 0 0 25 0 4 0 653193951 4584824832 970412 33554432000 4194304 4580107 140734218900720 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6212/tid=6214] ppid=6210 vsize=4477368 CPUtime=822.1 cores=0,2,4,6
/proc/6212/task/6214/stat : 6214 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 295385 0 0 0 82156 54 0 0 25 0 4 0 653193951 4584824832 970412 33554432000 4194304 4580107 140734218900720 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6212/tid=6215] ppid=6210 vsize=4477368 CPUtime=822.2 cores=0,2,4,6
/proc/6212/task/6215/stat : 6215 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 32598007 0 0 0 76399 5821 0 0 25 0 4 0 653193951 4584824832 970412 33554432000 4194304 4580107 140734218900720 18446744073709551615 4291027 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3281.11
Current children cumulated vsize (KiB) 4477368

[startup+882.311 s]
/proc/loadavg: 8.10 8.07 8.01 9/298 6240
/proc/meminfo: memFree=11834020/32951124 swapFree=52307768/67111528
[pid=6212] ppid=6210 vsize=4542904 CPUtime=3520.59 cores=0,2,4,6
/proc/6212/stat : 6212 (strangenight2-m) R 6210 6212 5978 0 -1 4202496 33633536 0 0 0 346022 6037 0 0 25 0 4 0 653193951 4651933696 988730 33554432000 4194304 4580107 140734218900720 18446744073709551615 4294148 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6212/statm: 1135726 988730 383 95 0 1130708 0
[pid=6212/tid=6213] ppid=6210 vsize=4542904 CPUtime=873.98 cores=0,2,4,6
/proc/6212/task/6213/stat : 6213 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 373705 0 0 0 87315 83 0 0 25 0 4 0 653193951 4651933696 988730 33554432000 4194304 4580107 140734218900720 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6212/tid=6214] ppid=6210 vsize=4542904 CPUtime=882.1 cores=0,2,4,6
/proc/6212/task/6214/stat : 6214 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 295955 0 0 0 88156 54 0 0 25 0 4 0 653193951 4651933696 988730 33554432000 4194304 4580107 140734218900720 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6212/tid=6215] ppid=6210 vsize=4542904 CPUtime=882.21 cores=0,2,4,6
/proc/6212/task/6215/stat : 6215 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 32598555 0 0 0 82400 5821 0 0 25 0 4 0 653193951 4651933696 988730 33554432000 4194304 4580107 140734218900720 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3520.59
Current children cumulated vsize (KiB) 4542904

[startup+942.301 s]
/proc/loadavg: 7.83 8.01 7.98 9/298 6273
/proc/meminfo: memFree=12613040/32951124 swapFree=52307768/67111528
[pid=6212] ppid=6210 vsize=4558392 CPUtime=3760 cores=0,2,4,6
/proc/6212/stat : 6212 (strangenight2-m) R 6210 6212 5978 0 -1 4202496 33668921 0 0 0 369951 6049 0 0 25 0 4 0 653193951 4667793408 1001402 33554432000 4194304 4580107 140734218900720 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6212/statm: 1139598 1001402 381 95 0 1134580 0
[pid=6212/tid=6213] ppid=6210 vsize=4558392 CPUtime=933.44 cores=0,2,4,6
/proc/6212/task/6213/stat : 6213 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 384018 0 0 0 93257 87 0 0 25 0 4 0 653193951 4667793408 1001402 33554432000 4194304 4580107 140734218900720 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6212/tid=6214] ppid=6210 vsize=4558392 CPUtime=942.08 cores=0,2,4,6
/proc/6212/task/6214/stat : 6214 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 305109 0 0 0 94149 59 0 0 25 0 4 0 653193951 4667793408 1001402 33554432000 4194304 4580107 140734218900720 18446744073709551615 4296158 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6212/tid=6215] ppid=6210 vsize=4558392 CPUtime=942.2 cores=0,2,4,6
/proc/6212/task/6215/stat : 6215 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 32609551 0 0 0 88396 5824 0 0 25 0 4 0 653193951 4667793408 1001402 33554432000 4194304 4580107 140734218900720 18446744073709551615 4318695 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3760
Current children cumulated vsize (KiB) 4558392

[startup+1002.3 s]
/proc/loadavg: 7.94 8.00 7.98 9/298 6274
/proc/meminfo: memFree=12482836/32951124 swapFree=52307768/67111528
[pid=6212] ppid=6210 vsize=4660260 CPUtime=3999.45 cores=0,2,4,6
/proc/6212/stat : 6212 (strangenight2-m) R 6210 6212 5978 0 -1 4202496 35786407 0 0 0 393624 6321 0 0 25 0 4 0 653193951 4772106240 1023226 33554432000 4194304 4580107 140734218900720 18446744073709551615 4294148 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6212/statm: 1165065 1023226 381 95 0 1160047 0
[pid=6212/tid=6213] ppid=6210 vsize=4660260 CPUtime=992.89 cores=0,2,4,6
/proc/6212/task/6213/stat : 6213 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 395725 0 0 0 99197 92 0 0 25 0 4 0 653193951 4772106240 1023226 33554432000 4194304 4580107 140734218900720 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6212/tid=6214] ppid=6210 vsize=4660260 CPUtime=1002.07 cores=0,2,4,6
/proc/6212/task/6214/stat : 6214 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 315120 0 0 0 100144 63 0 0 25 0 4 0 653193951 4772106240 1023226 33554432000 4194304 4580107 140734218900720 18446744073709551615 4238511 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6212/tid=6215] ppid=6210 vsize=4660260 CPUtime=1002.21 cores=0,2,4,6
/proc/6212/task/6215/stat : 6215 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 34696751 0 0 0 94136 6085 0 0 25 0 4 0 653193951 4772106240 1023226 33554432000 4194304 4580107 140734218900720 18446744073709551615 4249629 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3999.45
Current children cumulated vsize (KiB) 4660260

[startup+1062.3 s]
/proc/loadavg: 7.98 8.00 7.98 9/298 6276
/proc/meminfo: memFree=12380264/32951124 swapFree=52307768/67111528
[pid=6212] ppid=6210 vsize=5009100 CPUtime=4238.89 cores=0,2,4,6
/proc/6212/stat : 6212 (strangenight2-m) R 6210 6212 5978 0 -1 4202496 36780370 0 0 0 417438 6451 0 0 25 0 4 0 653193951 5129318400 1045683 33554432000 4194304 4580107 140734218900720 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6212/statm: 1252275 1045683 381 95 0 1247257 0
[pid=6212/tid=6213] ppid=6210 vsize=5009100 CPUtime=1052.34 cores=0,2,4,6
/proc/6212/task/6213/stat : 6213 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 400555 0 0 0 105139 95 0 0 25 0 4 0 653193951 5129318400 1045683 33554432000 4194304 4580107 140734218900720 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6212/tid=6214] ppid=6210 vsize=5009100 CPUtime=1062.06 cores=0,2,4,6
/proc/6212/task/6214/stat : 6214 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 318717 0 0 0 106141 65 0 0 25 0 4 0 653193951 5129318400 1045683 33554432000 4194304 4580107 140734218900720 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6212/tid=6215] ppid=6210 vsize=5009100 CPUtime=1062.2 cores=0,2,4,6
/proc/6212/task/6215/stat : 6215 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 35664921 0 0 0 100015 6205 0 0 25 0 4 0 653193951 5129318400 1045683 33554432000 4194304 4580107 140734218900720 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4238.89
Current children cumulated vsize (KiB) 5009100

[startup+1122.3 s]
/proc/loadavg: 8.10 8.03 8.00 9/298 6277
/proc/meminfo: memFree=12378744/32951124 swapFree=52307768/67111528
[pid=6212] ppid=6210 vsize=4878560 CPUtime=4478.34 cores=0,2,4,6
/proc/6212/stat : 6212 (strangenight2-m) R 6210 6212 5978 0 -1 4202496 36807776 0 0 0 441374 6460 0 0 25 0 4 0 653193951 4995645440 1039971 33554432000 4194304 4580107 140734218900720 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6212/statm: 1219640 1039971 381 95 0 1214622 0
[pid=6212/tid=6213] ppid=6210 vsize=4878560 CPUtime=1111.8 cores=0,2,4,6
/proc/6212/task/6213/stat : 6213 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 411657 0 0 0 111082 98 0 0 25 0 4 0 653193951 4995645440 1039971 33554432000 4194304 4580107 140734218900720 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6212/tid=6214] ppid=6210 vsize=4878560 CPUtime=1122.05 cores=0,2,4,6
/proc/6212/task/6214/stat : 6214 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 319322 0 0 0 112140 65 0 0 25 0 4 0 653193951 4995645440 1039971 33554432000 4194304 4580107 140734218900720 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6212/tid=6215] ppid=6210 vsize=4878560 CPUtime=1122.2 cores=0,2,4,6
/proc/6212/task/6215/stat : 6215 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 35669834 0 0 0 106013 6207 0 0 25 0 4 0 653193951 4995645440 1039971 33554432000 4194304 4580107 140734218900720 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4478.34
Current children cumulated vsize (KiB) 4878560

[startup+1182.3 s]
/proc/loadavg: 8.11 8.04 8.00 9/298 6279
/proc/meminfo: memFree=12274920/32951124 swapFree=52307768/67111528
[pid=6212] ppid=6210 vsize=4858704 CPUtime=4717.8 cores=0,2,4,6
/proc/6212/stat : 6212 (strangenight2-m) R 6210 6212 5978 0 -1 4202496 36852519 0 0 0 465311 6469 0 0 25 0 4 0 653193951 4975312896 1062401 33554432000 4194304 4580107 140734218900720 18446744073709551615 4316702 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6212/statm: 1214676 1062401 381 95 0 1209658 0
[pid=6212/tid=6213] ppid=6210 vsize=4858704 CPUtime=1171.26 cores=0,2,4,6
/proc/6212/task/6213/stat : 6213 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 419424 0 0 0 117026 100 0 0 25 0 4 0 653193951 4975312896 1062401 33554432000 4194304 4580107 140734218900720 18446744073709551615 4515177 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6212/tid=6214] ppid=6210 vsize=4858704 CPUtime=1182.05 cores=0,2,4,6
/proc/6212/task/6214/stat : 6214 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 319322 0 0 0 118140 65 0 0 25 0 4 0 653193951 4975312896 1062401 33554432000 4194304 4580107 140734218900720 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6212/tid=6215] ppid=6210 vsize=4858704 CPUtime=1182.21 cores=0,2,4,6
/proc/6212/task/6215/stat : 6215 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 35696578 0 0 0 112011 6210 0 0 25 0 4 0 653193951 4975312896 1062401 33554432000 4194304 4580107 140734218900720 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4717.8
Current children cumulated vsize (KiB) 4858704



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.07 8.03 8.00 9/298 6280
/proc/meminfo: memFree=12089160/32951124 swapFree=52307768/67111528
[pid=6212] ppid=6210 vsize=4989776 CPUtime=4800.02 cores=0,2,4,6
/proc/6212/stat : 6212 (strangenight2-m) R 6210 6212 5978 0 -1 4202496 36885340 0 0 0 473529 6473 0 0 25 0 4 0 653193951 5109530624 1095222 33554432000 4194304 4580107 140734218900720 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6212/statm: 1247444 1095222 381 95 0 1242426 0
[pid=6212/tid=6213] ppid=6210 vsize=4989776 CPUtime=1191.66 cores=0,2,4,6
/proc/6212/task/6213/stat : 6213 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 420435 0 0 0 119066 100 0 0 25 0 4 0 653193951 5109530624 1095222 33554432000 4194304 4580107 140734218900720 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6212/tid=6214] ppid=6210 vsize=4989776 CPUtime=1202.65 cores=0,2,4,6
/proc/6212/task/6214/stat : 6214 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 319322 0 0 0 120200 65 0 0 25 0 4 0 653193951 5109530624 1095222 33554432000 4194304 4580107 140734218900720 18446744073709551615 4295270 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6212/tid=6215] ppid=6210 vsize=4989776 CPUtime=1202.82 cores=0,2,4,6
/proc/6212/task/6215/stat : 6215 (strangenight2-m) R 6210 6212 5978 0 -1 4202560 35726831 0 0 0 114069 6213 0 0 25 0 4 0 653193951 5109530624 1095222 33554432000 4194304 4580107 140734218900720 18446744073709551615 4515357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 4989776

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

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

[startup+1203.02 s]
/proc/loadavg: 8.07 8.03 8.00 9/298 6280
/proc/meminfo: memFree=12089160/32951124 swapFree=52307768/67111528
[pid=6212] ppid=6210 vsize=0 CPUtime=4800.15 cores=0,2,4,6
/proc/6212/stat : 6212 (strangenight2-m) Z 6210 6212 5978 0 -1 4203548 36885340 0 0 0 473532 6483 0 0 25 0 2 0 653193951 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6212/statm: 0 0 0 0 0 0 0
[pid=6212/tid=6213] ppid=6210 vsize=0 CPUtime=1191.77 cores=0,2,4,6
/proc/6212/task/6213/stat : 6213 (strangenight2-m) R 6210 6212 5978 0 -1 4203588 420435 0 0 0 119067 110 0 0 25 0 2 0 653193951 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.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.09
CPU time (s): 4800.24
CPU user time (s): 4735.33
CPU system time (s): 64.9151
CPU usage (%): 398.992
Max. virtual memory (cumulated for all children) (KiB): 5129444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4735.33
system time used= 64.9151
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36885340
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= 18425
involuntary context switches= 21498

runsolver used 3.05653 second user time and 8.16476 second system time

The end

Launcher Data 

Begin job on node101 at 2011-05-15 01:31:52
IDJOB=3367070
IDBENCH=84238
IDSOLVER=1844
FILE ID=node101/3367070-1305415908
RUNJOBID= node101-1305414346-5996
PBS_JOBID= 13324544
Free space on /tmp= 73668 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
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-3367070-1305415908/watcher-3367070-1305415908 -o /tmp/evaluation-result-3367070-1305415908/solver-3367070-1305415908 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367070-1305415908.cnf

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

MD5SUM BENCH= cb369c4583eb075a3a8cb5a04701e120
RANDOM SEED=1269812071

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16231588 kB
Buffers:        325472 kB
Cached:        5974840 kB
SwapCached:      14848 kB
Active:       11391488 kB
Inactive:      5050672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16231588 kB
SwapTotal:    67111528 kB
SwapFree:     52307768 kB
Dirty:           69100 kB
Writeback:           0 kB
AnonPages:    10138692 kB
Mapped:          15336 kB
Slab:           152380 kB
PageTables:      63412 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 42625092 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= 73664 MiB
End job on node101 at 2011-05-15 01:51:57