Trace number 3367048

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.55 1237.38

General information on the benchmark

Nameindustrial/palacios/medium/
cube-11-h14-sat.cnf
MD5SUM7cc30e40be8c690e76c3fb158623be61
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark229.736
Satisfiable
(Un)Satisfiability was proved
Number of variables508177
Number of clauses1529045
Sum of the clauses size3568287
Maximum clause length19
Minimum clause length1
Number of clauses of size 11331
Number of clauses of size 21019705
Number of clauses of size 3505422
Number of clauses of size 42413
Number of clauses of size 519
Number of clauses of size over 5155

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 4 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3367048-1305389002.cnf'
0.00/0.02	c -- header says num vars:         509512
0.00/0.02	c -- header says num clauses:     1529045
2.64/0.92	c -- clauses added:            0 learnts,      1529045 normals,            0 xors
2.64/0.92	c -- vars added     509512
2.64/0.92	c Parsing time:  0.56 s
2.64/0.92	c  N st     0         0    509512    506678   1018374         0   3560301         0   no data   no data
8.15/2.34	c asymm  cl-useful: 0/22/506678 lits-rem:0 time: 1.31
82.72/21.08	c Flit:     0 Blit:     54 bXBeca:    0 bXProp: 4886 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 18.59
84.32/21.49	c Replacing     4886 vars Replaced   285361 lits Time:     0.40 s 
85.12/21.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
85.51/21.75	c bin-w-bin subsume rem            1 bins  time:  0.08 s
86.35/22.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.24 s
103.44/26.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  39532 time:  4.18 s
104.28/26.46	c Removed useless bin:       0  fixed:     0  props:  20.01M  time:  0.22 s
119.72/30.30	c lits-rem:         0  cl-subs:    16471  v-elim: 167747  v-fix:    0  time:  3.73 s
120.12/30.40	c Finding binary XORs  T:     0.10 s  found:       0
125.30/31.70	c Finding non-binary XORs:     1.24 s (found:       0, avg size: nan)
125.30/31.70	c calculated reachability. Time: 0.01
125.30/31.76	c Calc default polars -  time:   0.06 s pos:  119083 undec:  175752 neg:  214677
125.30/31.76	c =========================================================================================
125.30/31.76	c types(t): F = full restart, N = normal restart
125.30/31.76	c types(t): S = simplification begin/end, E = solution found
125.30/31.76	c restart types(rt): st = static, dy = dynamic
125.30/31.76	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
125.30/31.76	c  B st     0         0    335494    581875    609227         0   3190598         0   no data   no data
204.26/51.56	c  N dy    14      4030    335494    581875    609265      3972   3190598    312910      9.26     10.63
288.81/72.75	c  N dy    30      8082    335491    581875    609497      7960   3190598    662229      8.84     27.33
390.11/98.15	c  N dy    51     12140    335491    581875    609548     11933   3190598   1013145      8.83     10.77
474.66/119.39	c  N dy    68     16169    335487    581875    609947     15883   3190598   1323485      8.73     10.96
574.36/144.32	c  N dy    85     20672    335440    581875    610284     10490   3190598    229585      8.73      9.25
668.07/167.81	c  N dy    99     24717    335440    581875    610315     14479   3190598    619047      8.60      9.16
673.65/169.23	c  F st   100     25001    335440    581875    610316     14760   3190598    627319      8.55      4.79
1099.98/276.18	c  N dy   106     30000    335388    580670    610729     19660   3186047    991473      8.55   no data
1099.98/276.18	c  S st   106     30000    335388    580670    610729     19660   3186047    991473      8.55   no data
1111.89/279.13	c  S st   106     30501    335388    580670    610763     20126   3186047   1002119      8.55   no data
1112.29/279.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1182.08/296.78	c Flit:     3 Blit:      2 bXBeca:    0 bXProp:  114 Bins:  14424 BRemL:   1173 BRemN:      0 P: 200.0M T: 17.55
1183.32/297.08	c Replacing      114 vars Replaced    63821 lits Time:     0.27 s 
1184.07/297.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
1184.47/297.35	c bin-w-bin subsume rem          239 bins  time:  0.07 s
1185.27/297.58	c subs with bin:     2217  lits-rem:      7698  v-fix:    0  time:  0.22 s
1192.45/299.39	c Subs w/ non-existent bins:     29 l-rem:    268 v-fix:     0 done:  28215 time:  1.81 s
1193.64/299.67	c Removed useless bin:       0  fixed:     0  props:  20.01M  time:  0.27 s
1227.93/308.22	c lits-rem:       705  cl-subs:    23817  v-elim: 210394  v-fix:    0  time:  8.38 s
1228.33/308.32	c subs with bin:       58  lits-rem:       335  v-fix:    0  time:  0.06 s
1229.13/308.59	c lits-rem:       104  cl-subs:      302  v-elim:      0  v-fix:    0  time:  0.18 s
1233.11/309.56	c asymm  cl-useful: 8/63/698742 lits-rem:8 time: 0.96
1233.51/309.61	c calculated reachability. Time: 0.01
1233.51/309.62	c  N dy   106     30501    124762    698742    120470      5725   2877950     82003      8.55   no data
1233.51/309.68	c Finding binary XORs  T:     0.06 s  found:      11
1289.75/323.75	c  N dy   122     34701    124756    698742    120740      9787   2877946    305309      8.42      9.05
1358.79/341.06	c  N dy   134     39260    124756    698742    120768     14283   2877943    557562      8.30      8.81
1428.58/358.57	c  N dy   151     43738    124753    698742    121567     10527   2877942    229198      8.28      8.72
1460.44/366.52	c Finding binary XORs  T:     0.06 s  found:      39
1461.64/366.85	c  S st   166     45751    124442    693584    124820     12175   2858724    348501      8.43   no data
1468.46/368.56	c  S st   166     46255    124442    693584    124887     12602   2858721    356230      8.43   no data
1468.81/368.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1530.62/384.18	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:    3 Bins:1489142 BRemL:   1102 BRemN:      0 P: 200.2M T: 15.53
1531.82/384.48	c Replacing       53 vars Replaced    35782 lits Time:     0.28 s 
1533.02/384.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1533.85/384.92	c bin-w-bin subsume rem         2291 bins  time:  0.22 s
1535.80/385.48	c subs with bin:     3070  lits-rem:      8634  v-fix:    0  time:  0.56 s
1538.24/386.06	c Subs w/ non-existent bins:     45 l-rem:   1122 v-fix:     0 done:  16434 time:  0.57 s
1538.99/386.29	c Removed useless bin:       1  fixed:     0  props:  20.00M  time:  0.23 s
1543.78/387.42	c lits-rem:       410  cl-subs:     4191  v-elim:   3070  v-fix:    0  time:  1.12 s
1544.98/387.78	c subs with bin:      169  lits-rem:      2129  v-fix:    0  time:  0.30 s
1546.58/388.16	c lits-rem:       328  cl-subs:      306  v-elim:      0  v-fix:    0  time:  0.27 s
1549.76/388.93	c asymm  cl-useful: 38/428/680719 lits-rem:70 time: 0.77
1550.17/389.01	c calculated reachability. Time: 0.01
1550.17/389.02	c  N dy   166     46255    121316    680719   1504163     11194   2800940   2977328      8.43   no data
1550.57/389.10	c Finding binary XORs  T:     0.08 s  found:       5
1612.38/404.70	c  N dy   184     50263    121314    680719   1504186     15130   2800937   3250499      8.50     11.40
1680.35/430.48	c  N dy   205     54662    121311    680719   1504715     19455   2800930   3555806      8.59      9.04
1752.81/457.12	c Finding binary XORs  T:     0.09 s  found:      35
1760.38/459.10	c  N dy   227     58761    121196    679458   1522315     23357   2795802   3951250      8.72     16.76
1823.40/474.85	c  N dy   242     62891    121195    679458   1522325     27436   2795793   4166803      8.74      9.22
1887.59/490.93	c  N dy   258     67035    121194    679458   1522481     17393   2795792   3217450      8.70      9.39
1921.89/499.53	c  S st   269     69383    121194    679458   1522491     19703   2795790   3374539      8.69      6.93
1929.07/501.35	c  S st   269     69891    121165    679458   1522531     20162   2795789   3419242      8.69   no data
1929.47/501.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
1994.07/517.62	c Flit:     0 Blit:      4 bXBeca:    0 bXProp:    6 Bins: 568195 BRemL:   4717 BRemN:      0 P: 200.0M T: 16.15
1995.27/517.94	c Replacing       46 vars Replaced    27990 lits Time:     0.30 s 
1996.12/518.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1997.26/518.43	c bin-w-bin subsume rem        20229 bins  time:  0.26 s
2000.10/519.12	c subs with bin:     1603  lits-rem:       983  v-fix:    0  time:  0.69 s
2004.49/520.23	c Subs w/ non-existent bins:    113 l-rem:   1551 v-fix:     1 done:  34156 time:  1.10 s
2005.64/520.51	c Removed useless bin:      13  fixed:     0  props:  20.00M  time:  0.28 s
2009.28/521.43	c lits-rem:       163  cl-subs:     1238  v-elim:   1657  v-fix:    0  time:  0.92 s
2017.20/523.51	c subs with bin:      150  lits-rem:      2038  v-fix:    0  time:  1.96 s
2019.59/524.01	c lits-rem:       410  cl-subs:      383  v-elim:      0  v-fix:    0  time:  0.37 s
2022.43/524.73	c asymm  cl-useful: 84/368/672373 lits-rem:178 time: 0.72
2022.78/524.83	c calculated reachability. Time: 0.01
2022.78/524.83	c  N dy   269     69891    119457    672373   2032998     18858   2772467   4314822      8.69   no data
2023.18/524.92	c Finding binary XORs  T:     0.09 s  found:       7
2061.50/535.74	c Finding binary XORs  T:     0.09 s  found:      21
2115.30/549.29	c  N dy   293     74401    119441    671904   2085098     23264   2770779   4764016      8.80     12.46
2200.64/570.64	c  N dy   315     79677    119440    671904   2088263     28495   2770777   5201250      8.86      9.41
2287.59/592.48	c  N dy   351     84927    119438    671904   2090818     33680   2770775   5674099      9.01      9.50
2333.84/604.06	c  F st   368     87501    119438    671904   2090824     18248   2770773   4220351      9.10      7.27
2335.05/604.32	c Replacing       28 vars Replaced     9018 lits Time:     0.17 s 
2389.29/617.91	c  N st   373     90798    119406    671696   2092109     21513   2770010   4614546      9.10   no data
2497.76/645.11	c  N dy   391     96907    119258    671696   2092148     27531   2770010   5056779      9.11      9.67
2615.00/674.57	c  N dy   424    103098    119252    671696   2092204     33649   2770010   5497364      9.24     16.11
2641.32/681.17	c  S st   432    104836    119251    671696   2092215     35345   2770009   5591954      9.24      9.36
2650.50/683.48	c  S st   432    105338    119251    671696   2092238     35820   2770008   5659204      9.24   no data
2651.30/683.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
2721.08/701.13	c Flit:     0 Blit:      3 bXBeca:    0 bXProp:    0 Bins:1918266 BRemL:   1699 BRemN:      0 P: 200.0M T: 17.51
2722.28/701.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2724.26/701.96	c bin-w-bin subsume rem        14654 bins  time:  0.50 s
2729.05/703.17	c subs with bin:     2713  lits-rem:      1860  v-fix:    0  time:  1.22 s
2736.24/705.00	c Subs w/ non-existent bins:    130 l-rem:   2415 v-fix:     7 done:  57996 time:  1.82 s
2737.43/705.28	c Removed useless bin:      15  fixed:     0  props:  20.00M  time:  0.27 s
2741.06/706.18	c lits-rem:       218  cl-subs:      908  v-elim:    675  v-fix:    0  time:  0.90 s
2750.24/708.46	c subs with bin:      186  lits-rem:      1289  v-fix:    0  time:  2.05 s
2755.78/709.85	c lits-rem:      1268  cl-subs:     1109  v-elim:      0  v-fix:    0  time:  1.24 s
2758.62/710.57	c asymm  cl-useful: 117/488/666339 lits-rem:235 time: 0.72
2759.36/710.70	c calculated reachability. Time: 0.01
2759.36/710.71	c  N dy   432    105338    118565    666339   3897939     33785   2746236   9041304      9.24   no data
2759.76/710.83	c Finding binary XORs  T:     0.12 s  found:       9
2833.18/732.74	c Finding binary XORs  T:     0.10 s  found:      11
2879.51/751.57	c  N dy   473    112424    118554    666168   4066596     40771   2745596  10031039      9.35      9.95
3032.53/792.15	c  N dy   523    119680    118539    666168   4071261     27559   2745593   8772908      9.52     10.31
3163.79/825.03	c  N dy   565    127622    118535    666168   4071327     35386   2745587   9371294      9.59     10.29
3269.19/851.70	c Finding binary XORs  T:     0.14 s  found:      28
3332.60/867.60	c  N dy   608    136156    118526    665680   5419942     43682   2743781  12787434      9.69     10.22
3492.51/907.79	c  N dy   657    145000    118507    665680   5420089     29948   2743773  11432495      9.79     10.36
3661.22/950.04	c  N dy   716    154382    118486    665680   5420236     39171   2743766  12379050      9.91     10.44
3725.82/966.20	c  S st   739    158007    118475    665680   5420331     42746   2743762  12691670      9.94      8.61
3734.20/968.30	c  S st   739    158508    118473    665680   5420356     43214   2743758  12705519      9.94   no data
3734.60/968.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.18
3804.78/986.05	c Flit:     0 Blit:     24 bXBeca:    0 bXProp:   45 Bins:  94517 BRemL:   6424 BRemN:      0 P: 200.1M T: 17.57
3806.78/986.53	c Replacing       94 vars Replaced    22595 lits Time:     0.46 s 
3807.97/986.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
3810.37/987.42	c bin-w-bin subsume rem         3929 bins  time:  0.61 s
3816.74/989.07	c subs with bin:     2360  lits-rem:      1746  v-fix:    0  time:  1.65 s
3823.94/990.86	c Subs w/ non-existent bins:    187 l-rem:   2038 v-fix:     2 done:  51677 time:  1.78 s
3825.17/991.18	c Removed useless bin:      11  fixed:     0  props:  20.00M  time:  0.32 s
3829.90/992.38	c lits-rem:       785  cl-subs:     1137  v-elim:    759  v-fix:    0  time:  1.20 s
3840.27/994.92	c subs with bin:        1  lits-rem:         3  v-fix:    0  time:  2.28 s
3847.45/996.76	c lits-rem:      1988  cl-subs:     1503  v-elim:      0  v-fix:    0  time:  1.68 s
3850.25/997.45	c asymm  cl-useful: 22/173/660459 lits-rem:32 time: 0.69
3851.09/997.62	c calculated reachability. Time: 0.01
3851.09/997.63	c  N dy   739    158508    117595    660459   5493952     41093   2721265  12640032      9.94   no data
3851.49/997.76	c Finding binary XORs  T:     0.13 s  found:       6
4032.27/1043.17	c  N dy   797    168675    117584    660459   5494131     27499   2721256  11352651     10.01     16.42
4223.31/1091.11	c  N dy   857    179854    117562    660459   5499983     38505   2721248  12087175     10.10     10.79
4425.09/1141.67	c  N dy   918    191372    117452    660459   5513331     49740   2721236  13162160     10.13     10.80
4654.40/1199.14	c  N dy   983    203640    117417    660459   5513516     36787   2721228  12248555     10.19     10.74
4708.82/1213.82	c Finding binary XORs  T:     0.13 s  found:     134

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

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

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


[startup+0 s]
/proc/loadavg: 2.34 2.94 3.22 4/367 31503
/proc/meminfo: memFree=21029176/32951124 swapFree=66341972/67111528
[pid=31503] ppid=31501 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/31503/stat : 31503 (strangenight2-m) R 31501 31503 31462 0 -1 4202496 407 0 0 0 1 0 0 0 22 0 4 0 631315921 52396032 347 33554432000 4194304 4580107 140736964034288 18446744073709551615 46932137965484 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31503/statm: 12792 347 299 95 0 7774 0
[pid=31503/tid=31504] ppid=31501 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/31503/task/31504/stat : 31504 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 631315921 52396032 347 33554432000 4194304 4580107 140736964034288 18446744073709551615 46932137965490 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31503/tid=31505] ppid=31501 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 631315921 52396032 347 33554432000 4194304 4580107 140736964034288 18446744073709551615 264726461425 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 631315921 52396032 347 33554432000 4194304 4580107 140736964034288 18446744073709551615 264726461425 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.038252 s]
/proc/loadavg: 2.34 2.94 3.22 4/367 31503
/proc/meminfo: memFree=21029176/32951124 swapFree=66341972/67111528
[pid=31503] ppid=31501 vsize=225388 CPUtime=0.06 cores=1,3,5,7
/proc/31503/stat : 31503 (strangenight2-m) R 31501 31503 31462 0 -1 4202496 5733 0 0 0 6 0 0 0 23 0 4 0 631315921 230797312 5086 33554432000 4194304 4580107 140736964034288 18446744073709551615 4489207 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31503/statm: 56347 5116 338 95 0 51329 0
[pid=31503/tid=31504] ppid=31501 vsize=225388 CPUtime=0.02 cores=1,3,5,7
/proc/31503/task/31504/stat : 31504 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 1692 0 0 0 2 0 0 0 24 0 4 0 631315921 230797312 5118 33554432000 4194304 4580107 140736964034288 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31503/tid=31505] ppid=31501 vsize=225388 CPUtime=0.01 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 994 0 0 0 1 0 0 0 24 0 4 0 631315921 230797312 5120 33554432000 4194304 4580107 140736964034288 18446744073709551615 4307821 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=225388 CPUtime=0 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 1008 0 0 0 0 0 0 0 24 0 4 0 631315921 230797312 5122 33554432000 4194304 4580107 140736964034288 18446744073709551615 264726510062 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 225388

[startup+0.10218 s]
/proc/loadavg: 2.34 2.94 3.22 4/367 31503
/proc/meminfo: memFree=21029176/32951124 swapFree=66341972/67111528
[pid=31503] ppid=31501 vsize=259244 CPUtime=0.24 cores=1,3,5,7
/proc/31503/stat : 31503 (strangenight2-m) R 31501 31503 31462 0 -1 4202496 22959 0 0 0 21 3 0 0 18 0 4 0 631315921 265465856 20159 33554432000 4194304 4580107 140736964034288 18446744073709551615 264726510062 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31503/statm: 64811 20164 338 95 0 59793 0
[pid=31503/tid=31504] ppid=31501 vsize=259244 CPUtime=0.08 cores=1,3,5,7
/proc/31503/task/31504/stat : 31504 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 7599 0 0 0 7 1 0 0 24 0 4 0 631315921 265465856 20169 33554432000 4194304 4580107 140736964034288 18446744073709551615 4307028 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31503/tid=31505] ppid=31501 vsize=259244 CPUtime=0.02 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 2919 0 0 0 2 0 0 0 24 0 4 0 631315921 265465856 20169 33554432000 4194304 4580107 140736964034288 18446744073709551615 264726510111 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=259244 CPUtime=0.04 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 4272 0 0 0 4 0 0 0 18 0 4 0 631315921 265465856 20171 33554432000 4194304 4580107 140736964034288 18446744073709551615 4308000 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 259244

[startup+0.301314 s]
/proc/loadavg: 2.34 2.94 3.22 4/367 31503
/proc/meminfo: memFree=21029176/32951124 swapFree=66341972/67111528
[pid=31503] ppid=31501 vsize=495488 CPUtime=0.77 cores=1,3,5,7
/proc/31503/stat : 31503 (strangenight2-m) R 31501 31503 31462 0 -1 4202496 68972 0 0 0 61 16 0 0 17 0 4 0 631315921 507379712 58057 33554432000 4194304 4580107 140736964034288 18446744073709551615 264726448311 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31503/statm: 123872 58057 338 95 0 118854 0
[pid=31503/tid=31504] ppid=31501 vsize=495488 CPUtime=0.21 cores=1,3,5,7
/proc/31503/task/31504/stat : 31504 (strangenight2-m) D 31501 31503 31462 0 -1 4202560 20504 0 0 0 16 5 0 0 17 0 4 0 631315921 507379712 58057 33554432000 4194304 4580107 140736964034288 18446744073709551615 4307426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31503/tid=31505] ppid=31501 vsize=495488 CPUtime=0.13 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (strangenight2-m) D 31501 31503 31462 0 -1 4202560 11893 0 0 0 10 3 0 0 17 0 4 0 631315921 507379712 58057 33554432000 4194304 4580107 140736964034288 18446744073709551615 4307948 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=495488 CPUtime=0.16 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (strangenight2-m) D 31501 31503 31462 0 -1 4202560 14247 0 0 0 13 3 0 0 17 0 4 0 631315921 507379712 58057 33554432000 4194304 4580107 140736964034288 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 495488

[startup+0.701127 s]
/proc/loadavg: 2.34 2.94 3.22 4/367 31503
/proc/meminfo: memFree=21029176/32951124 swapFree=66341972/67111528
[pid=31503] ppid=31501 vsize=913872 CPUtime=2.02 cores=1,3,5,7
/proc/31503/stat : 31503 (strangenight2-m) R 31501 31503 31462 0 -1 4202496 166366 0 0 0 153 49 0 0 17 0 4 0 631315921 935804928 136129 33554432000 4194304 4580107 140736964034288 18446744073709551615 264726510111 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31503/statm: 228468 136135 339 95 0 223450 0
[pid=31503/tid=31504] ppid=31501 vsize=913872 CPUtime=0.52 cores=1,3,5,7
/proc/31503/task/31504/stat : 31504 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 42053 0 0 0 39 13 0 0 17 0 4 0 631315921 935804928 136138 33554432000 4194304 4580107 140736964034288 18446744073709551615 264726510062 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31503/tid=31505] ppid=31501 vsize=913872 CPUtime=0.45 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 41767 0 0 0 33 12 0 0 17 0 4 0 631315921 935804928 136139 33554432000 4194304 4580107 140736964034288 18446744073709551615 264726510111 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=913872 CPUtime=0.47 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 37088 0 0 0 37 10 0 0 17 0 4 0 631315921 935804928 136142 33554432000 4194304 4580107 140736964034288 18446744073709551615 264726510111 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 913872

[startup+1.50098 s]
/proc/loadavg: 2.34 2.94 3.22 11/371 31507
/proc/meminfo: memFree=19706808/32951124 swapFree=66341972/67111528
[pid=31503] ppid=31501 vsize=1153024 CPUtime=4.96 cores=1,3,5,7
/proc/31503/stat : 31503 (strangenight2-m) R 31501 31503 31462 0 -1 4202496 234628 0 0 0 423 73 0 0 17 0 4 0 631315921 1180696576 203731 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31503/statm: 288256 203731 359 95 0 283238 0
[pid=31503/tid=31504] ppid=31501 vsize=1153024 CPUtime=1.26 cores=1,3,5,7
/proc/31503/task/31504/stat : 31504 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 56185 0 0 0 107 19 0 0 17 0 4 0 631315921 1180696576 203731 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31503/tid=31505] ppid=31501 vsize=1153024 CPUtime=1.19 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 67940 0 0 0 100 19 0 0 17 0 4 0 631315921 1180696576 203731 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=1153024 CPUtime=1.19 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 52298 0 0 0 102 17 0 0 16 0 4 0 631315921 1180696576 203731 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (KiB) 1153024

[startup+3.10068 s]
/proc/loadavg: 3.03 3.07 3.26 11/371 31507
/proc/meminfo: memFree=19655360/32951124 swapFree=66341972/67111528
[pid=31503] ppid=31501 vsize=1218560 CPUtime=11.34 cores=1,3,5,7
/proc/31503/stat : 31503 (strangenight2-m) R 31501 31503 31462 0 -1 4202496 241826 0 0 0 1061 73 0 0 20 0 4 0 631315921 1247805440 210928 33554432000 4194304 4580107 140736964034288 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31503/statm: 304640 210928 360 95 0 299622 0
[pid=31503/tid=31504] ppid=31501 vsize=1218560 CPUtime=2.86 cores=1,3,5,7
/proc/31503/task/31504/stat : 31504 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 58193 0 0 0 267 19 0 0 19 0 4 0 631315921 1247805440 210928 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31503/tid=31505] ppid=31501 vsize=1218560 CPUtime=2.8 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 70534 0 0 0 260 20 0 0 19 0 4 0 631315921 1247805440 210928 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=1218560 CPUtime=2.79 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 52338 0 0 0 262 17 0 0 19 0 4 0 631315921 1247805440 210928 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.34
Current children cumulated vsize (KiB) 1218560

[startup+6.30108 s]
/proc/loadavg: 3.03 3.07 3.26 9/371 31507
/proc/meminfo: memFree=19599236/32951124 swapFree=66341972/67111528
[pid=31503] ppid=31501 vsize=1218560 CPUtime=24.11 cores=1,3,5,7
/proc/31503/stat : 31503 (strangenight2-m) R 31501 31503 31462 0 -1 4202496 242937 0 0 0 2337 74 0 0 25 0 4 0 631315921 1247805440 211077 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31503/statm: 304640 211077 360 95 0 299622 0
[pid=31503/tid=31504] ppid=31501 vsize=1218560 CPUtime=6.06 cores=1,3,5,7
/proc/31503/task/31504/stat : 31504 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 58194 0 0 0 587 19 0 0 25 0 4 0 631315921 1247805440 211077 33554432000 4194304 4580107 140736964034288 18446744073709551615 4234794 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31503/tid=31505] ppid=31501 vsize=1218560 CPUtime=6 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 70534 0 0 0 580 20 0 0 25 0 4 0 631315921 1247805440 211077 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=1218560 CPUtime=5.99 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 53448 0 0 0 582 17 0 0 25 0 4 0 631315921 1247805440 211077 33554432000 4194304 4580107 140736964034288 18446744073709551615 4292941 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.11
Current children cumulated vsize (KiB) 1218560

[startup+12.7009 s]
/proc/loadavg: 3.79 3.23 3.31 10/371 31507
/proc/meminfo: memFree=19596160/32951124 swapFree=66341972/67111528
[pid=31503] ppid=31501 vsize=1218560 CPUtime=49.63 cores=1,3,5,7
/proc/31503/stat : 31503 (strangenight2-m) R 31501 31503 31462 0 -1 4202496 245026 0 0 0 4889 74 0 0 25 0 4 0 631315921 1247805440 211242 33554432000 4194304 4580107 140736964034288 18446744073709551615 4292985 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31503/statm: 304640 211242 360 95 0 299622 0
[pid=31503/tid=31504] ppid=31501 vsize=1218560 CPUtime=12.46 cores=1,3,5,7
/proc/31503/task/31504/stat : 31504 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 58200 0 0 0 1227 19 0 0 25 0 4 0 631315921 1247805440 211242 33554432000 4194304 4580107 140736964034288 18446744073709551615 4294148 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31503/tid=31505] ppid=31501 vsize=1218560 CPUtime=12.4 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 70537 0 0 0 1220 20 0 0 25 0 4 0 631315921 1247805440 211242 33554432000 4194304 4580107 140736964034288 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=1218560 CPUtime=12.39 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 55525 0 0 0 1221 18 0 0 25 0 4 0 631315921 1247805440 211242 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 49.63
Current children cumulated vsize (KiB) 1218560

[startup+25.5005 s]
/proc/loadavg: 4.44 3.39 3.36 10/371 31508
/proc/meminfo: memFree=19361292/32951124 swapFree=66341972/67111528
[pid=31503] ppid=31501 vsize=1416224 CPUtime=100.65 cores=1,3,5,7
/proc/31503/stat : 31503 (strangenight2-m) R 31501 31503 31462 0 -1 4202496 310769 0 0 0 9981 84 0 0 25 0 4 0 631315921 1450213376 269016 33554432000 4194304 4580107 140736964034288 18446744073709551615 4515240 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31503/statm: 354056 269016 375 95 0 349038 0
[pid=31503/tid=31504] ppid=31501 vsize=1416224 CPUtime=25.25 cores=1,3,5,7
/proc/31503/task/31504/stat : 31504 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 81866 0 0 0 2502 23 0 0 25 0 4 0 631315921 1450213376 269016 33554432000 4194304 4580107 140736964034288 18446744073709551615 4451668 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31503/tid=31505] ppid=31501 vsize=1416224 CPUtime=25.2 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 90335 0 0 0 2498 22 0 0 25 0 4 0 631315921 1450213376 269016 33554432000 4194304 4580107 140736964034288 18446744073709551615 4451668 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=1416224 CPUtime=25.17 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 56020 0 0 0 2499 18 0 0 25 0 4 0 631315921 1450213376 269016 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 100.65
Current children cumulated vsize (KiB) 1416224

[startup+51.1006 s]
/proc/loadavg: 5.73 3.78 3.49 10/371 31508
/proc/meminfo: memFree=18394068/32951124 swapFree=66341972/67111528
[pid=31503] ppid=31501 vsize=1785328 CPUtime=202.66 cores=1,3,5,7
/proc/31503/stat : 31503 (strangenight2-m) R 31501 31503 31462 0 -1 4202496 442794 0 0 0 20152 114 0 0 25 0 4 0 631315921 1828175872 379139 33554432000 4194304 4580107 140736964034288 18446744073709551615 4294245 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31503/statm: 446332 379139 378 95 0 441314 0
[pid=31503/tid=31504] ppid=31501 vsize=1785328 CPUtime=50.84 cores=1,3,5,7
/proc/31503/task/31504/stat : 31504 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 131117 0 0 0 5048 36 0 0 25 0 4 0 631315921 1828175872 379139 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31503/tid=31505] ppid=31501 vsize=1785328 CPUtime=50.77 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 133625 0 0 0 5046 31 0 0 25 0 4 0 631315921 1828175872 379139 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=1785328 CPUtime=50.46 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 62515 0 0 0 5027 19 0 0 25 0 4 0 631315921 1828175872 379139 33554432000 4194304 4580107 140736964034288 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 202.66
Current children cumulated vsize (KiB) 1785328

[startup+102.314 s]
/proc/loadavg: 7.09 4.48 3.75 10/371 31510
/proc/meminfo: memFree=18425992/32951124 swapFree=66341972/67111528
[pid=31503] ppid=31501 vsize=1785328 CPUtime=406.91 cores=1,3,5,7
/proc/31503/stat : 31503 (strangenight2-m) R 31501 31503 31462 0 -1 4202496 446015 0 0 0 40574 117 0 0 25 0 4 0 631315921 1828175872 382360 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31503/statm: 446332 382360 378 95 0 441314 0
[pid=31503/tid=31504] ppid=31501 vsize=1785328 CPUtime=102.05 cores=1,3,5,7
/proc/31503/task/31504/stat : 31504 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 131815 0 0 0 10168 37 0 0 25 0 4 0 631315921 1828175872 382360 33554432000 4194304 4580107 140736964034288 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31503/tid=31505] ppid=31501 vsize=1785328 CPUtime=101.99 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 134395 0 0 0 10167 32 0 0 25 0 4 0 631315921 1828175872 382360 33554432000 4194304 4580107 140736964034288 18446744073709551615 4324249 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=1785328 CPUtime=101.06 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 63512 0 0 0 10087 19 0 0 25 0 4 0 631315921 1828175872 382360 33554432000 4194304 4580107 140736964034288 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 406.91
Current children cumulated vsize (KiB) 1785328

[startup+162.301 s]

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


[startup+702.301 s]
/proc/loadavg: 8.04 7.48 5.73 10/371 31526
/proc/meminfo: memFree=14607336/32951124 swapFree=66341972/67111528
[pid=31503] ppid=31501 vsize=3459816 CPUtime=2725.86 cores=1,3,5,7
/proc/31503/stat : 31503 (strangenight2-m) R 31501 31503 31462 0 -1 4202496 4775192 0 0 0 271570 1016 0 0 25 0 4 0 631315921 3542851584 721731 33554432000 4194304 4580107 140736964034288 18446744073709551615 4412113 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31503/statm: 864954 721731 380 95 0 859936 0
[pid=31503/tid=31504] ppid=31501 vsize=3459816 CPUtime=688.81 cores=1,3,5,7
/proc/31503/task/31504/stat : 31504 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 1083434 0 0 0 68694 187 0 0 25 0 4 0 631315921 3542851584 721731 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31503/tid=31505] ppid=31501 vsize=3459816 CPUtime=678.27 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 678194 0 0 0 67696 131 0 0 25 0 4 0 631315921 3542851584 721731 33554432000 4194304 4580107 140736964034288 18446744073709551615 4518624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=3459816 CPUtime=672.38 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 2364317 0 0 0 66653 585 0 0 25 0 4 0 631315921 3542851584 721731 33554432000 4194304 4580107 140736964034288 18446744073709551615 4317008 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2725.86
Current children cumulated vsize (KiB) 3459816

[startup+762.314 s]
/proc/loadavg: 7.45 7.43 5.82 9/371 31527
/proc/meminfo: memFree=14470784/32951124 swapFree=66341972/67111528
[pid=31503] ppid=31501 vsize=3513884 CPUtime=2915.36 cores=1,3,5,7
/proc/31503/stat : 31503 (strangenight2-m) S 31501 31503 31462 0 -1 4202496 5204559 0 0 0 290471 1065 0 0 25 0 4 0 631315921 3598217216 745521 33554432000 4194304 4580107 140736964034288 18446744073709551615 46932137964062 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31503/statm: 878471 745521 380 95 0 873453 0
[pid=31503/tid=31504] ppid=31501 vsize=3513884 CPUtime=725.37 cores=1,3,5,7
/proc/31503/task/31504/stat : 31504 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 1092799 0 0 0 72348 189 0 0 25 0 4 0 631315921 3598217216 745521 33554432000 4194304 4580107 140736964034288 18446744073709551615 4518661 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31503/tid=31505] ppid=31501 vsize=3513884 CPUtime=732.77 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 691451 0 0 0 73143 134 0 0 25 0 4 0 631315921 3598217216 745521 33554432000 4194304 4580107 140736964034288 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=3513884 CPUtime=717.34 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 2750473 0 0 0 71110 624 0 0 25 0 4 0 631315921 3598217216 745521 33554432000 4194304 4580107 140736964034288 18446744073709551615 264726102642 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2915.36
Current children cumulated vsize (KiB) 3513884

[startup+822.301 s]
/proc/loadavg: 7.83 7.55 5.96 10/371 31529
/proc/meminfo: memFree=14394248/32951124 swapFree=66341972/67111528
[pid=31503] ppid=31501 vsize=3528652 CPUtime=3152.98 cores=1,3,5,7
/proc/31503/stat : 31503 (strangenight2-m) R 31501 31503 31462 0 -1 4202496 6425591 0 0 0 314096 1202 0 0 25 0 4 0 631315921 3613339648 762954 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31503/statm: 882163 762954 380 95 0 877145 0
[pid=31503/tid=31504] ppid=31501 vsize=3528652 CPUtime=785.36 cores=1,3,5,7
/proc/31503/task/31504/stat : 31504 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 1110721 0 0 0 78344 192 0 0 25 0 4 0 631315921 3613339648 762954 33554432000 4194304 4580107 140736964034288 18446744073709551615 4518621 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31503/tid=31505] ppid=31501 vsize=3528652 CPUtime=792.07 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 693258 0 0 0 79071 136 0 0 25 0 4 0 631315921 3613339648 762954 33554432000 4194304 4580107 140736964034288 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=3528652 CPUtime=777.31 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 3950551 0 0 0 76977 754 0 0 25 0 4 0 631315921 3613339648 762954 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3152.98
Current children cumulated vsize (KiB) 3528652

[startup+882.301 s]
/proc/loadavg: 8.01 7.65 6.10 10/371 31530
/proc/meminfo: memFree=14228912/32951124 swapFree=66341972/67111528
[pid=31503] ppid=31501 vsize=3584704 CPUtime=3391.22 cores=1,3,5,7
/proc/31503/stat : 31503 (strangenight2-m) R 31501 31503 31462 0 -1 4202496 6449576 0 0 0 337915 1207 0 0 25 0 4 0 631315921 3670736896 786691 33554432000 4194304 4580107 140736964034288 18446744073709551615 4325173 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31503/statm: 896176 786691 380 95 0 891158 0
[pid=31503/tid=31504] ppid=31501 vsize=3584704 CPUtime=845.36 cores=1,3,5,7
/proc/31503/task/31504/stat : 31504 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 1111970 0 0 0 84343 193 0 0 25 0 4 0 631315921 3670736896 786691 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31503/tid=31505] ppid=31501 vsize=3584704 CPUtime=850.32 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 696882 0 0 0 84896 136 0 0 25 0 4 0 631315921 3670736896 786691 33554432000 4194304 4580107 140736964034288 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=3584704 CPUtime=837.29 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 3955476 0 0 0 82974 755 0 0 25 0 4 0 631315921 3670736896 786691 33554432000 4194304 4580107 140736964034288 18446744073709551615 4306048 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3391.22
Current children cumulated vsize (KiB) 3584704

[startup+942.3 s]
/proc/loadavg: 8.15 7.76 6.23 10/371 31532
/proc/meminfo: memFree=14140824/32951124 swapFree=66341972/67111528
[pid=31503] ppid=31501 vsize=3885936 CPUtime=3630.51 cores=1,3,5,7
/proc/31503/stat : 31503 (strangenight2-m) R 31501 31503 31462 0 -1 4202496 6460140 0 0 0 361840 1211 0 0 25 0 4 0 631315921 3979198464 797246 33554432000 4194304 4580107 140736964034288 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31503/statm: 971484 797246 380 95 0 966466 0
[pid=31503/tid=31504] ppid=31501 vsize=3885936 CPUtime=905.36 cores=1,3,5,7
/proc/31503/task/31504/stat : 31504 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 1113055 0 0 0 90342 194 0 0 25 0 4 0 631315921 3979198464 797246 33554432000 4194304 4580107 140736964034288 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31503/tid=31505] ppid=31501 vsize=3885936 CPUtime=909.62 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 704270 0 0 0 90824 138 0 0 25 0 4 0 631315921 3979198464 797246 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=3885936 CPUtime=897.29 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 3956294 0 0 0 88974 755 0 0 25 0 4 0 631315921 3979198464 797246 33554432000 4194304 4580107 140736964034288 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3630.51
Current children cumulated vsize (KiB) 3885936

[startup+1002.3 s]
/proc/loadavg: 8.13 7.82 6.34 10/371 31534
/proc/meminfo: memFree=14105312/32951124 swapFree=66341972/67111528
[pid=31503] ppid=31501 vsize=3618520 CPUtime=3869.79 cores=1,3,5,7
/proc/31503/stat : 31503 (strangenight2-m) R 31501 31503 31462 0 -1 4202496 6477271 0 0 0 385763 1216 0 0 25 0 4 0 631315921 3705364480 798223 33554432000 4194304 4580107 140736964034288 18446744073709551615 4294277 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31503/statm: 904630 798223 380 95 0 899612 0
[pid=31503/tid=31504] ppid=31501 vsize=3618520 CPUtime=965.36 cores=1,3,5,7
/proc/31503/task/31504/stat : 31504 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 1119712 0 0 0 96340 196 0 0 25 0 4 0 631315921 3705364480 798223 33554432000 4194304 4580107 140736964034288 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31503/tid=31505] ppid=31501 vsize=3618520 CPUtime=968.91 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 705441 0 0 0 96752 139 0 0 25 0 4 0 631315921 3705364480 798223 33554432000 4194304 4580107 140736964034288 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=3618520 CPUtime=957.28 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 3956594 0 0 0 94973 755 0 0 25 0 4 0 631315921 3705364480 798223 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3869.79
Current children cumulated vsize (KiB) 3618520

[startup+1062.3 s]
/proc/loadavg: 8.23 7.89 6.45 10/371 31535
/proc/meminfo: memFree=13762916/32951124 swapFree=66341972/67111528
[pid=31503] ppid=31501 vsize=4275420 CPUtime=4108.83 cores=1,3,5,7
/proc/31503/stat : 31503 (strangenight2-m) R 31501 31503 31462 0 -1 4202496 6561616 0 0 0 409651 1232 0 0 25 0 4 0 631315921 4378030080 879747 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31503/statm: 1068855 879747 380 95 0 1063837 0
[pid=31503/tid=31504] ppid=31501 vsize=4275420 CPUtime=1025.12 cores=1,3,5,7
/proc/31503/task/31504/stat : 31504 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 1121268 0 0 0 102315 197 0 0 25 0 4 0 631315921 4378030080 879747 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31503/tid=31505] ppid=31501 vsize=4275420 CPUtime=1028.21 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 712366 0 0 0 102680 141 0 0 25 0 4 0 631315921 4378030080 879748 33554432000 4194304 4580107 140736964034288 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=4275420 CPUtime=1017.27 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 4026581 0 0 0 100959 768 0 0 22 0 4 0 631315921 4378030080 879748 33554432000 4194304 4580107 140736964034288 18446744073709551615 264726065861 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4108.83
Current children cumulated vsize (KiB) 4275420

[startup+1122.3 s]
/proc/loadavg: 8.29 7.96 6.57 10/371 31537
/proc/meminfo: memFree=13467644/32951124 swapFree=66341972/67111528
[pid=31503] ppid=31501 vsize=4384992 CPUtime=4348.11 cores=1,3,5,7
/proc/31503/stat : 31503 (strangenight2-m) R 31501 31503 31462 0 -1 4202496 6603238 0 0 0 433567 1244 0 0 25 0 4 0 631315921 4490231808 920214 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293911 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31503/statm: 1096248 920214 380 95 0 1091230 0
[pid=31503/tid=31504] ppid=31501 vsize=4384992 CPUtime=1085.12 cores=1,3,5,7
/proc/31503/task/31504/stat : 31504 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 1128121 0 0 0 108313 199 0 0 25 0 4 0 631315921 4490231808 920214 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293258 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31503/tid=31505] ppid=31501 vsize=4384992 CPUtime=1087.5 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 713714 0 0 0 108608 142 0 0 25 0 4 0 631315921 4490231808 920214 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=4384992 CPUtime=1077.26 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 4058954 0 0 0 106950 776 0 0 25 0 4 0 631315921 4490231808 920214 33554432000 4194304 4580107 140736964034288 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4348.11
Current children cumulated vsize (KiB) 4384992

[startup+1182.3 s]
/proc/loadavg: 8.19 7.98 6.65 10/371 31538
/proc/meminfo: memFree=13328980/32951124 swapFree=66341972/67111528
[pid=31503] ppid=31501 vsize=4374248 CPUtime=4587.41 cores=1,3,5,7
/proc/31503/stat : 31503 (strangenight2-m) R 31501 31503 31462 0 -1 4202496 6625074 0 0 0 457490 1251 0 0 25 0 4 0 631315921 4479229952 935573 33554432000 4194304 4580107 140736964034288 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31503/statm: 1093562 935573 380 95 0 1088544 0
[pid=31503/tid=31504] ppid=31501 vsize=4374248 CPUtime=1145.12 cores=1,3,5,7
/proc/31503/task/31504/stat : 31504 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 1129547 0 0 0 114312 200 0 0 25 0 4 0 631315921 4479229952 935573 33554432000 4194304 4580107 140736964034288 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31503/tid=31505] ppid=31501 vsize=4374248 CPUtime=1146.8 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 719908 0 0 0 114537 143 0 0 25 0 4 0 631315921 4479229952 935573 33554432000 4194304 4580107 140736964034288 18446744073709551615 4447749 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=4374248 CPUtime=1137.25 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 4065633 0 0 0 112947 778 0 0 25 0 4 0 631315921 4479229952 935573 33554432000 4194304 4580107 140736964034288 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4587.41
Current children cumulated vsize (KiB) 4374248



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1237.2 s]
/proc/loadavg: 8.08 7.98 6.73 9/371 31571
/proc/meminfo: memFree=17080420/32951124 swapFree=66341972/67111528
[pid=31503] ppid=31501 vsize=4471792 CPUtime=4800.36 cores=1,3,5,7
/proc/31503/stat : 31503 (strangenight2-m) R 31501 31503 31462 0 -1 4202496 6645052 0 0 0 478778 1258 0 0 25 0 4 0 631315921 4579115008 951819 33554432000 4194304 4580107 140736964034288 18446744073709551615 4294248 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31503/statm: 1117948 951819 380 95 0 1112930 0
[pid=31503/tid=31504] ppid=31501 vsize=4471792 CPUtime=1198.21 cores=1,3,5,7
/proc/31503/task/31504/stat : 31504 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 1139451 0 0 0 119619 202 0 0 25 0 4 0 631315921 4579115008 951819 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31503/tid=31505] ppid=31501 vsize=4471792 CPUtime=1201.1 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 724955 0 0 0 119965 145 0 0 25 0 4 0 631315921 4579115008 951819 33554432000 4194304 4580107 140736964034288 18446744073709551615 4295327 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31503/tid=31506] ppid=31501 vsize=4471792 CPUtime=1189.98 cores=1,3,5,7
/proc/31503/task/31506/stat : 31506 (strangenight2-m) R 31501 31503 31462 0 -1 4202560 4067604 0 0 0 118218 780 0 0 25 0 4 0 631315921 4579115008 951819 33554432000 4194304 4580107 140736964034288 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 4471792

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

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

[startup+1237.32 s]
/proc/loadavg: 8.08 7.98 6.73 9/371 31571
/proc/meminfo: memFree=17080420/32951124 swapFree=66341972/67111528
[pid=31503] ppid=31501 vsize=0 CPUtime=4800.49 cores=1,3,5,7
/proc/31503/stat : 31503 (strangenight2-m) Z 31501 31503 31462 0 -1 4203548 6645053 0 0 0 478781 1268 0 0 25 0 2 0 631315921 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31503/statm: 0 0 0 0 0 0 0
[pid=31503/tid=31505] ppid=31501 vsize=0 CPUtime=1201.2 cores=1,3,5,7
/proc/31503/task/31505/stat : 31505 (strangenight2-m) R 31501 31503 31462 0 -1 4203588 724955 0 0 0 119965 155 0 0 25 0 2 0 631315921 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.49
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1237.38
CPU time (s): 4800.55
CPU user time (s): 4787.81
CPU system time (s): 12.7431
CPU usage (%): 387.962
Max. virtual memory (cumulated for all children) (KiB): 4471792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4787.81
system time used= 12.7431
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6645053
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= 31835
involuntary context switches= 20843

runsolver used 3.9324 second user time and 10.8304 second system time

The end

Launcher Data 

Begin job on node141 at 2011-05-14 18:03:23
IDJOB=3367048
IDBENCH=20423
IDSOLVER=1844
FILE ID=node141/3367048-1305389002
RUNJOBID= node141-1305389002-31481
PBS_JOBID= 13324432
Free space on /tmp= 73244 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/palacios/medium/cube-11-h14-sat.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367048-1305389002/watcher-3367048-1305389002 -o /tmp/evaluation-result-3367048-1305389002/solver-3367048-1305389002 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367048-1305389002.cnf

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

MD5SUM BENCH= 7cc30e40be8c690e76c3fb158623be61
RANDOM SEED=1050816289

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.806
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:      21031440 kB
Buffers:        263528 kB
Cached:        6139032 kB
SwapCached:      22860 kB
Active:        3299492 kB
Inactive:      8373328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21031440 kB
SwapTotal:    67111528 kB
SwapFree:     66341972 kB
Dirty:           61176 kB
Writeback:           0 kB
AnonPages:     5253268 kB
Mapped:          19332 kB
Slab:           142352 kB
PageTables:      37960 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 86349664 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= 73260 MiB
End job on node141 at 2011-05-14 18:24:02