Trace number 3367179

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)UNSAT 448.034 116.041

General information on the benchmark

NameSAT-Race-2010-CNF/hardware-verification/
manolios/c10idw_i.cnf
MD5SUMc139a321e75833c70af36726562b66de
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark23.2925
Satisfiable
(Un)Satisfiability was proved
Number of variables196306
Number of clauses582994
Sum of the clauses size1360318
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2388662
Number of clauses of size 3194331
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-3367179-1305417887.cnf'
0.00/0.01	c -- header says num vars:         196306
0.00/0.01	c -- header says num clauses:      582994
4.28/1.13	c -- clauses added:            0 learnts,       582994 normals,            0 xors
4.28/1.13	c -- vars added     196306
4.28/1.13	c Parsing time:  0.21 s
4.28/1.13	c  N st     0         0    196306    194331    388662         0   1360317         0   no data   no data
4.28/1.13	c asymm  cl-useful: 0/21494/194330 lits-rem:0 time: 0.62
67.75/17.07	c Flit:   455 Blit:  12299 bXBeca:    0 bXProp: 16649 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 16.18
67.75/17.09	c Cleaning up after failed var search:     0.02 s 
68.15/17.14	c Replacing    16649 vars Replaced   266278 lits Time:     0.04 s 
68.15/17.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
68.57/17.23	c bin-w-bin subsume rem          797 bins  time:  0.02 s
68.57/17.30	c subs with bin:       19  lits-rem:        19  v-fix:    0  time:  0.07 s
71.73/18.01	c Subs w/ non-existent bins:      1 l-rem:      1 v-fix:     0 done: 128819 time:  0.70 s
72.13/18.17	c Removed useless bin:      78  fixed:     0  props:  20.01M  time:  0.16 s
74.11/18.66	c lits-rem:        32  cl-subs:      213  v-elim:  55261  v-fix:    0  time:  0.47 s
74.11/18.69	c Finding binary XORs  T:     0.03 s  found:     611
74.51/18.72	c Replacing      611 vars Replaced     6920 lits Time:     0.02 s 
74.91/18.81	c Finding non-binary XORs:     0.07 s (found:    3701, avg size: 3.0)
74.91/18.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     8 time:   0.02
74.91/18.82	c calculated reachability. Time: 0.00
74.91/18.84	c Calc default polars -  time:   0.02 s pos:   39197 undec:   86715 neg:   70394
74.91/18.84	c =========================================================================================
74.91/18.84	c types(t): F = full restart, N = normal restart
74.91/18.84	c types(t): S = simplification begin/end, E = solution found
74.91/18.84	c restart types(rt): st = static, dy = dynamic
74.91/18.84	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
74.91/18.84	c  B st     0         0    109911    140139    215707         0    926051         0   no data   no data
82.13/20.68	c  N dy    13      4297    109885    140139    215775      3962    926051     77130      6.90      7.27
91.68/23.02	c  N dy    43      8349    109679    140139    216486      7558    926051    127390      7.63      8.05
102.05/25.68	c  N dy    70     12391    109665    140139    216591     11211    926050    182803      8.02      9.31
110.83/27.89	c  N dy    89     17078    109587    140139    216606     15593    926050    253105      8.13      8.62
120.41/30.28	c  N dy   116     21128    109571    140139    216637     10097    926050     99250      8.47     11.05
132.78/33.34	c  F st   142     25001    109398    140139    217304     13683    926050    160868      8.65      6.42
132.78/33.38	c Replacing       32 vars Replaced      562 lits Time:     0.03 s 
153.54/38.52	c  N st   143     25251    109366    138538    215734     13870    916549    163367      8.65   no data
158.73/39.83	c  N dy   148     30001    109366    138538    215738     18370    916549    291195      8.65   no data
158.73/39.83	c  S st   148     30001    109366    138538    215738     18370    916549    291195      8.65   no data
160.33/40.23	c  S st   148     30502    109364    138538    216034     18821    916549    297307      8.65   no data
160.33/40.26	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:     26 locsubst:     0 time:   0.03
227.78/57.14	c Flit:   126 Blit:    915 bXBeca:    0 bXProp: 4275 Bins: 215302 BRemL:  20233 BRemN:    687 P: 198.8M T: 16.88
227.78/57.17	c Cleaning up after failed var search:     0.02 s 
228.18/57.24	c Replacing     4275 vars Replaced   350121 lits Time:     0.06 s 
228.18/57.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
229.37/57.54	c bin-w-bin subsume rem        51349 bins  time:  0.26 s
229.78/57.60	c subs with bin:      412  lits-rem:       555  v-fix:    0  time:  0.06 s
231.77/58.16	c Subs w/ non-existent bins:    450 l-rem:    323 v-fix:     0 done: 103333 time:  0.56 s
232.57/58.34	c Removed useless bin:     169  fixed:     0  props:  15.55M  time:  0.18 s
234.96/58.92	c lits-rem:       103  cl-subs:      828  v-elim:  68888  v-fix:    0  time:  0.54 s
234.96/58.95	c subs with bin:      188  lits-rem:       672  v-fix:    0  time:  0.02 s
235.38/59.02	c lits-rem:       869  cl-subs:      921  v-elim:      0  v-fix:    0  time:  0.05 s
236.95/59.44	c asymm  cl-useful: 335/41878/138079 lits-rem:344 time: 0.42
236.95/59.45	c calculated reachability. Time: 0.00
236.95/59.46	c  N dy   148     30502     34445    138076     54377      7922    629014    118368      8.65   no data
236.95/59.47	c Finding binary XORs  T:     0.02 s  found:      90
241.75/60.68	c  N dy   174     34539     34445    138076     54407     11490    629014    180364      8.77     14.12
246.54/61.86	c  N dy   206     38603     34419    138076     54571     15072    629014    245415      8.96     18.04
250.13/62.71	c  N dy   224     42911     34419    138076     54577      9805    629014    109210      8.88      9.47
251.73/63.15	c Finding binary XORs  T:     0.02 s  found:     184
252.53/63.32	c  S st   240     45754     34397    137335    104046     12354    625064    258572      8.95      7.77
252.95/63.47	c  S st   240     46258     34397    137335    104052     12809    625064    263864      8.95   no data
252.95/63.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     22 locsubst:     0 time:   0.02
259.71/65.17	c Flit:     7 Blit:      5 bXBeca:    0 bXProp:  227 Bins:  41574 BRemL:  31025 BRemN:     37 P: 21.3M T:  1.66
260.10/65.22	c Replacing      501 vars Replaced    73698 lits Time:     0.05 s 
260.10/65.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
260.50/65.38	c bin-w-bin subsume rem        41967 bins  time:  0.13 s
260.91/65.42	c subs with bin:     1551  lits-rem:      1780  v-fix:    0  time:  0.03 s
260.91/65.47	c Subs w/ non-existent bins:    736 l-rem:    508 v-fix:     0 done:  33843 time:  0.05 s
261.31/65.50	c Removed useless bin:     204  fixed:     0  props:   1.64M  time:  0.03 s
261.73/65.69	c lits-rem:       263  cl-subs:      694  v-elim:   7404  v-fix:    0  time:  0.18 s
262.14/65.72	c subs with bin:       97  lits-rem:       916  v-fix:    0  time:  0.02 s
262.14/65.79	c lits-rem:       797  cl-subs:      642  v-elim:      0  v-fix:    0  time:  0.05 s
262.50/65.84	c vivif2 --  cl tried   130845 cl shrink     1429 lits rem       1922 time: 0.04
262.50/65.85	c vivif2 --  cl tried    10939 cl shrink      752 lits rem       2834 time: 0.01
264.10/66.28	c asymm  cl-useful: 2/29922/130613 lits-rem:2 time: 0.43
264.10/66.30	c calculated reachability. Time: 0.01
264.50/66.30	c  N dy   240     46258     26439    130613     36679     10923    590049    133627      8.95   no data
264.50/66.33	c Finding binary XORs  T:     0.03 s  found:       8
266.90/66.96	c  N dy   254     50770     26404    130613     55516     14945    590049    233595      8.86      9.47
267.70/67.12	c Finding binary XORs  T:     0.03 s  found:     608
267.70/67.17	c Replacing      616 vars Replaced    65090 lits Time:     0.05 s 
271.68/68.10	c  N dy   270     54791     25677    128249     48907     15638    578002    235238      8.81      9.33
274.08/68.77	c Finding binary XORs  T:     0.03 s  found:      38
276.07/69.24	c  N dy   286     58871     25674    128174     56967     19159    577558    303418      8.76     13.85
280.46/70.39	c  N dy   305     63045     25669    128174     57285     22648    577558    357843      8.70      9.32
286.06/71.77	c  N dy   326     67156     25668    128174     57323     14020    577558    179802      8.71      9.33
289.25/72.50	c  S st   339     69387     25668    128174     61100     15892    577558    216310      8.69      8.69
289.65/72.68	c  S st   339     69890     25666    128174     61135     16290    577558    219543      8.69   no data
290.05/72.70	c x-sub:   129 x-cut:      0 vfix:      0 v-elim:    227 locsubst:   418 time:   0.02
293.24/73.57	c Flit:    29 Blit:     16 bXBeca:    0 bXProp:  435 Bins:  26916 BRemL:  43144 BRemN:     93 P: 16.2M T:  0.87
293.64/73.63	c Replacing      665 vars Replaced    52778 lits Time:     0.06 s 
293.64/73.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
293.64/73.69	c bin-w-bin subsume rem        11948 bins  time:  0.02 s
294.04/73.71	c subs with bin:     1457  lits-rem:      1291  v-fix:    0  time:  0.03 s
294.04/73.75	c Subs w/ non-existent bins:    103 l-rem:     66 v-fix:     0 done:  24727 time:  0.03 s
294.04/73.76	c Removed useless bin:     144  fixed:     0  props:   0.59M  time:  0.02 s
294.83/73.94	c lits-rem:        56  cl-subs:     2383  v-elim:   2414  v-fix:    0  time:  0.17 s
294.83/73.97	c subs with bin:      397  lits-rem:      1907  v-fix:    0  time:  0.02 s
295.24/74.04	c lits-rem:      1029  cl-subs:     1113  v-elim:      0  v-fix:    0  time:  0.05 s
295.24/74.08	c vivif2 --  cl tried   113245 cl shrink     1190 lits rem       1494 time: 0.03
295.24/74.09	c vivif2 --  cl tried    12488 cl shrink      393 lits rem        646 time: 0.01
296.44/74.38	c asymm  cl-useful: 145/19932/113226 lits-rem:435 time: 0.29
296.44/74.39	c calculated reachability. Time: 0.00
296.44/74.39	c  N dy   339     69890     22313    113081     24529     12480    513963    118697      8.69   no data
296.85/74.42	c Finding binary XORs  T:     0.03 s  found:      10
301.24/75.59	c  N dy   358     74461     22306    113081     35531     16345    513963    201628      8.67      9.24
303.21/76.08	c Finding binary XORs  T:     0.02 s  found:      74
306.04/76.77	c  N dy   374     79282     22303    113019     35521     20427    513710    264711      8.61      9.19
309.61/77.61	c Finding binary XORs  T:     0.02 s  found:      38
312.00/78.23	c  N dy   401     84943     22282    112892     50635     25106    513230    366421      8.58      9.16
314.00/78.78	c  F st   418     87500     22282    112892     51021     27380    513229    404851      8.58      8.19
314.00/78.80	c Replacing      122 vars Replaced    11179 lits Time:     0.03 s 
317.19/79.52	c  N st   423     90796     22161    112883     50763     15811    513113    171923      8.58   no data
319.23/80.06	c Finding binary XORs  T:     0.02 s  found:      30
322.78/80.97	c  N dy   452     96609     22160    112837     54577     20854    512866    269694      8.60      9.19
328.77/82.45	c  N dy   490    102778     22148    112837     54631     26238    512857    359189      8.62      9.10
330.36/82.89	c  S st   504    104835     22148    112837     54635     28033    512857    390562      8.63      8.52
331.16/83.04	c  S st   504    105341     22147    112837     54666     28472    512857    395679      8.63   no data
331.16/83.06	c x-sub:   199 x-cut:      0 vfix:      0 v-elim:     52 locsubst:     0 time:   0.02
333.15/83.57	c Flit:     4 Blit:      7 bXBeca:    0 bXProp:   67 Bins:  12439 BRemL:  34185 BRemN:    139 P:  9.0M T:  0.51
333.55/83.61	c Replacing       97 vars Replaced    10260 lits Time:     0.04 s 
333.55/83.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
333.55/83.66	c bin-w-bin subsume rem         6761 bins  time:  0.01 s
333.55/83.68	c subs with bin:     1439  lits-rem:       572  v-fix:    0  time:  0.02 s
333.95/83.71	c Subs w/ non-existent bins:     75 l-rem:     49 v-fix:     0 done:  21986 time:  0.03 s
333.95/83.73	c Removed useless bin:      25  fixed:     0  props:   0.48M  time:  0.02 s
334.35/83.85	c lits-rem:        17  cl-subs:     1605  v-elim:    791  v-fix:    0  time:  0.13 s
334.75/83.90	c subs with bin:      256  lits-rem:      2049  v-fix:    0  time:  0.03 s
335.15/84.01	c lits-rem:      1700  cl-subs:     1691  v-elim:      0  v-fix:    0  time:  0.09 s
335.15/84.04	c vivif2 --  cl tried   107605 cl shrink      880 lits rem       1672 time: 0.03
335.15/84.06	c vivif2 --  cl tried    25482 cl shrink     1486 lits rem       2237 time: 0.02
336.78/84.48	c asymm  cl-useful: 1859/21743/107599 lits-rem:5641 time: 0.42
336.78/84.49	c calculated reachability. Time: 0.00
336.78/84.50	c  N dy   504    105341     21195    107011     22233     25477    486691    286318      8.63   no data
337.14/84.52	c Finding binary XORs  T:     0.02 s  found:       6
342.74/85.95	c  N dy   536    112621     21195    107011     29005     31872    486691    402552      8.59      9.09
342.74/85.99	c Finding binary XORs  T:     0.02 s  found:      47
348.32/87.39	c  N dy   578    119851     21190    106978     31910     21258    486526    189884      8.61     12.26
352.32/88.36	c Finding binary XORs  T:     0.02 s  found:      12
353.94/88.78	c  N dy   621    127568     21189    106972     32467     28324    486482    314392      8.61      9.09
360.30/90.33	c  N dy   662    136697     21189    106972     32499     36573    486482    462283      8.59      9.06
367.11/92.06	c  N dy   699    146318     21189    106972     32587     25477    486480    232234      8.56      9.08
374.27/93.86	c  N dy   747    155697     21189    106972     32640     33985    486480    388660      8.55     13.30
375.90/94.26	c  S st   761    158013     21189    106972     32643     36095    486480    430677      8.56   no data
376.67/94.42	c  S st   761    158514     21189    106972     32646     36540    486480    435109      8.56   no data
376.67/94.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     36 locsubst:     4 time:   0.02
378.27/94.83	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:   51 Bins:   2826 BRemL:  12022 BRemN:     51 P:  7.9M T:  0.39
378.27/94.87	c Replacing      117 vars Replaced    10092 lits Time:     0.04 s 
378.67/94.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
378.67/94.91	c bin-w-bin subsume rem         1267 bins  time:  0.01 s
378.67/94.93	c subs with bin:     1431  lits-rem:        97  v-fix:    0  time:  0.02 s
378.67/94.96	c Subs w/ non-existent bins:     28 l-rem:     28 v-fix:     0 done:  21035 time:  0.03 s
378.67/94.98	c Removed useless bin:      74  fixed:     0  props:   0.48M  time:  0.02 s
379.47/95.11	c lits-rem:       185  cl-subs:     1249  v-elim:   1144  v-fix:    0  time:  0.13 s
379.47/95.16	c subs with bin:      225  lits-rem:      1914  v-fix:    0  time:  0.03 s
379.87/95.29	c lits-rem:      2195  cl-subs:     2205  v-elim:      0  v-fix:    0  time:  0.12 s
380.28/95.32	c vivif2 --  cl tried   100987 cl shrink     1237 lits rem       1927 time: 0.03
380.28/95.34	c vivif2 --  cl tried    31803 cl shrink     2258 lits rem       5404 time: 0.02
381.86/95.77	c asymm  cl-useful: 628/45736/100983 lits-rem:1630 time: 0.42
381.86/95.78	c calculated reachability. Time: 0.00
381.86/95.78	c  N dy   761    158514     19891    100616     20777     31800    464904    322691      8.56   no data
382.26/95.80	c Finding binary XORs  T:     0.02 s  found:       5
388.64/97.42	c  N dy   797    168731     19887    100616     24779     20690    464902    117883      8.51      9.05
391.03/98.00	c Finding binary XORs  T:     0.02 s  found:      23
395.82/99.28	c  N dy   844    179525     19886    100599     25787     30399    464818    284868      8.48      9.90
405.42/101.61	c  N dy   913    191060     19885    100599     25900     40746    464818    463438      8.49      9.78
412.99/103.55	c Finding binary XORs  T:     0.02 s  found:      71
413.79/103.77	c  N dy   988    203282     19882    100544     28932     29319    464641    237256      8.49      9.22
423.37/106.16	c  N dy  1062    217015     19711    100544     32235     41821    464633    442374      8.48      8.98
424.19/106.32	c Finding binary XORs  T:     0.02 s  found:    1738
424.19/106.37	c Replacing     1837 vars Replaced   139963 lits Time:     0.05 s 
431.35/108.19	c  N dy  1121    230962     17795     95607     22737     25209    442522    195031      8.45      8.91
447.79/115.98	c Following stats are for *FIRST FINISHED THREAD ONLY*
447.79/115.98	c num threads              : 4          
447.79/115.98	c restarts                 : 1202       
447.79/115.98	c dynamic restarts         : 1184       
447.79/115.98	c static restarts          : 18         
447.79/115.98	c full restarts            : 2          
447.79/115.98	c total simplify time      : 0.88       
447.79/115.98	c learnts DL2              : 0          
447.79/115.98	c learnts size 2           : 932974     
447.79/115.98	c learnts size 1           : 17542       (8.94      % of vars)
447.79/115.98	c filedLit time            : 33.16       (28.64     % time)
447.79/115.98	c v-elim SatELite          : 134581      (68.56     % vars)
447.79/115.98	c SatELite time            : 2.74        (2.37      % time)
447.79/115.98	c v-elim xor               : 275         (0.14      % vars)
447.79/115.98	c xor elim time            : 0.09        (0.08      % time)
447.79/115.98	c num binary xor trees     : 4762       
447.79/115.98	c binxor trees' crown      : 26085       (5.48      leafs/tree)
447.79/115.98	c bin xor find time        : 0.42       
447.79/115.98	c OTF clause improved      : 25744       (0.09      clauses/conflict)
447.79/115.98	c OTF impr. size diff      : 27880       (1.08       lits/clause)
447.79/115.98	c OTF cl watch-shrink      : 111240      (0.40      clauses/conflict)
447.79/115.98	c OTF cl watch-sh-lit      : 323979      (2.91       lits/clause)
447.79/115.98	c tried to recurMin cls    : 69381       (24.98      % of conflicts)
447.79/115.98	c updated cache            : 0           (0.00       lits/tried recurMin)
447.79/115.98	c unit cls recevied        : 204         (1.16      % of units)
447.79/115.98	c unit cls sent            : 14730       (83.97     % of units)
447.79/115.98	c bin cls recevied         : 238071     
447.79/115.98	c bin cls sent             : 278121     
447.79/115.98	c clauses over max glue    : 0           (0.00      % of all clauses)
447.79/115.98	c conflicts                : 277701      (2398.25   / sec)
447.79/115.98	c decisions                : 3636611     (3.11      % random)
447.79/115.98	c bogo-props               : 2490790724  (21510645.77 / sec)
447.79/115.98	c conflict literals        : 4538434     (23.79     % deleted)
447.79/115.98	c Memory used              : 1429.76     MB
447.79/115.98	c single-thread CPU time   : 115.79      s
447.79/115.98	c all-threads sum CPU time : 443.49      s
447.79/115.98	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3367179-1305417887/watcher-3367179-1305417887 -o /tmp/evaluation-result-3367179-1305417887/solver-3367179-1305417887 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367179-1305417887.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: 5.41 7.24 7.67 3/282 20427
/proc/meminfo: memFree=24932508/32951124 swapFree=67057896/67111528
[pid=20427] ppid=20425 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/20427/stat : 20427 (strangenight2-m) R 20425 20427 19869 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 634204019 52396032 347 33554432000 4194304 4580107 140733297757936 18446744073709551615 47457557043122 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20427/statm: 12792 347 299 95 0 7774 0
[pid=20427/tid=20428] ppid=20425 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 634204019 52396032 347 33554432000 4194304 4580107 140733297757936 18446744073709551615 47457557043116 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20427/tid=20429] ppid=20425 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20429/stat : 20429 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 634204019 52396032 347 33554432000 4194304 4580107 140733297757936 18446744073709551615 47457557043122 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20427/tid=20430] ppid=20425 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/20427/task/20430/stat : 20430 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 634204019 52396032 347 33554432000 4194304 4580107 140733297757936 18446744073709551615 254261672945 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.101046 s]
/proc/loadavg: 5.41 7.24 7.67 3/282 20427
/proc/meminfo: memFree=24932508/32951124 swapFree=67057896/67111528
[pid=20427] ppid=20425 vsize=355608 CPUtime=0.33 cores=0,2,4,6
/proc/20427/stat : 20427 (strangenight2-m) R 20425 20427 19869 0 -1 4202496 37169 0 0 0 25 8 0 0 18 0 4 0 634204019 364142592 29635 33554432000 4194304 4580107 140733297757936 18446744073709551615 4350409 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20427/statm: 88902 29635 337 95 0 83884 0
[pid=20427/tid=20428] ppid=20425 vsize=355608 CPUtime=0.07 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (strangenight2-m) D 20425 20427 19869 0 -1 4202560 9241 0 0 0 5 2 0 0 18 0 4 0 634204019 364142592 29635 33554432000 4194304 4580107 140733297757936 18446744073709551615 4307948 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20427/tid=20429] ppid=20425 vsize=355608 CPUtime=0.07 cores=0,2,4,6
/proc/20427/task/20429/stat : 20429 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 9360 0 0 0 6 1 0 0 18 0 4 0 634204019 364142592 29635 33554432000 4194304 4580107 140733297757936 18446744073709551615 254261674410 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20427/tid=20430] ppid=20425 vsize=355608 CPUtime=0.07 cores=0,2,4,6
/proc/20427/task/20430/stat : 20430 (strangenight2-m) D 20425 20427 19869 0 -1 4202560 9228 0 0 0 5 2 0 0 18 0 4 0 634204019 364142592 29635 33554432000 4194304 4580107 140733297757936 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 355608

[startup+0.201707 s]
/proc/loadavg: 5.41 7.24 7.67 3/282 20427
/proc/meminfo: memFree=24932508/32951124 swapFree=67057896/67111528
[pid=20427] ppid=20425 vsize=427808 CPUtime=0.75 cores=0,2,4,6
/proc/20427/stat : 20427 (strangenight2-m) D 20425 20427 19869 0 -1 4202496 78548 0 0 0 59 16 0 0 18 0 4 0 634204019 438075392 61151 33554432000 4194304 4580107 140733297757936 18446744073709551615 4306964 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20427/statm: 106952 61151 337 95 0 101934 0
[pid=20427/tid=20428] ppid=20425 vsize=427808 CPUtime=0.18 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (strangenight2-m) D 20425 20427 19869 0 -1 4202560 19490 0 0 0 14 4 0 0 18 0 4 0 634204019 438075392 61151 33554432000 4194304 4580107 140733297757936 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20427/tid=20429] ppid=20425 vsize=427808 CPUtime=0.18 cores=0,2,4,6
/proc/20427/task/20429/stat : 20429 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 19816 0 0 0 14 4 0 0 18 0 4 0 634204019 438075392 61151 33554432000 4194304 4580107 140733297757936 18446744073709551615 254261674410 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20427/tid=20430] ppid=20425 vsize=435100 CPUtime=0.17 cores=0,2,4,6
/proc/20427/task/20430/stat : 20430 (strangenight2-m) D 20425 20427 19869 0 -1 4202560 19485 0 0 0 13 4 0 0 18 0 4 0 634204019 445542400 61151 33554432000 4194304 4580107 140733297757936 18446744073709551615 4307948 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 427808

[startup+1.08867 s]
/proc/loadavg: 5.41 7.24 7.67 3/282 20427
/proc/meminfo: memFree=24932508/32951124 swapFree=67057896/67111528
[pid=20427] ppid=20425 vsize=453732 CPUtime=4.24 cores=0,2,4,6
/proc/20427/stat : 20427 (strangenight2-m) R 20425 20427 19869 0 -1 4202496 95141 0 0 0 404 20 0 0 19 0 4 0 634204019 464621568 77124 33554432000 4194304 4580107 140733297757936 18446744073709551615 4293911 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20427/statm: 113433 77124 360 95 0 108415 0
[pid=20427/tid=20428] ppid=20425 vsize=453732 CPUtime=1.05 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 23738 0 0 0 100 5 0 0 18 0 4 0 634204019 464621568 77124 33554432000 4194304 4580107 140733297757936 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20427/tid=20429] ppid=20425 vsize=453732 CPUtime=1.05 cores=0,2,4,6
/proc/20427/task/20429/stat : 20429 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 23583 0 0 0 100 5 0 0 18 0 4 0 634204019 464621568 77124 33554432000 4194304 4580107 140733297757936 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20427/tid=20430] ppid=20425 vsize=453732 CPUtime=1.04 cores=0,2,4,6
/proc/20427/task/20430/stat : 20430 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 23662 0 0 0 99 5 0 0 19 0 4 0 634204019 464621568 77124 33554432000 4194304 4580107 140733297757936 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 453732

[startup+1.10065 s]
/proc/loadavg: 5.41 7.24 7.67 3/282 20427
/proc/meminfo: memFree=24932508/32951124 swapFree=67057896/67111528
[pid=20427] ppid=20425 vsize=453732 CPUtime=4.28 cores=0,2,4,6
/proc/20427/stat : 20427 (strangenight2-m) R 20425 20427 19869 0 -1 4202496 95141 0 0 0 408 20 0 0 19 0 4 0 634204019 464621568 77124 33554432000 4194304 4580107 140733297757936 18446744073709551615 4235628 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20427/statm: 113433 77124 360 95 0 108415 0
[pid=20427/tid=20428] ppid=20425 vsize=453732 CPUtime=1.06 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 23738 0 0 0 101 5 0 0 18 0 4 0 634204019 464621568 77124 33554432000 4194304 4580107 140733297757936 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20427/tid=20429] ppid=20425 vsize=453732 CPUtime=1.06 cores=0,2,4,6
/proc/20427/task/20429/stat : 20429 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 23583 0 0 0 101 5 0 0 18 0 4 0 634204019 464621568 77124 33554432000 4194304 4580107 140733297757936 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20427/tid=20430] ppid=20425 vsize=453732 CPUtime=1.05 cores=0,2,4,6
/proc/20427/task/20430/stat : 20430 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 23662 0 0 0 100 5 0 0 19 0 4 0 634204019 464621568 77124 33554432000 4194304 4580107 140733297757936 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 453732

[startup+1.50058 s]
/proc/loadavg: 5.41 7.24 7.67 3/282 20427
/proc/meminfo: memFree=24932508/32951124 swapFree=67057896/67111528
[pid=20427] ppid=20425 vsize=453732 CPUtime=5.88 cores=0,2,4,6
/proc/20427/stat : 20427 (strangenight2-m) R 20425 20427 19869 0 -1 4202496 95594 0 0 0 568 20 0 0 19 0 4 0 634204019 464621568 77226 33554432000 4194304 4580107 140733297757936 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20427/statm: 113433 77226 360 95 0 108415 0
[pid=20427/tid=20428] ppid=20425 vsize=453732 CPUtime=1.46 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 23760 0 0 0 141 5 0 0 19 0 4 0 634204019 464621568 77226 33554432000 4194304 4580107 140733297757936 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20427/tid=20429] ppid=20425 vsize=453732 CPUtime=1.46 cores=0,2,4,6
/proc/20427/task/20429/stat : 20429 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 23605 0 0 0 141 5 0 0 19 0 4 0 634204019 464621568 77226 33554432000 4194304 4580107 140733297757936 18446744073709551615 4294160 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20427/tid=20430] ppid=20425 vsize=453732 CPUtime=1.45 cores=0,2,4,6
/proc/20427/task/20430/stat : 20430 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 24049 0 0 0 140 5 0 0 19 0 4 0 634204019 464621568 77226 33554432000 4194304 4580107 140733297757936 18446744073709551615 4294240 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 453732

[startup+3.1003 s]
/proc/loadavg: 5.41 7.24 7.67 7/286 20431
/proc/meminfo: memFree=24620744/32951124 swapFree=67057896/67111528
[pid=20427] ppid=20425 vsize=454244 CPUtime=12.26 cores=0,2,4,6
/proc/20427/stat : 20427 (strangenight2-m) R 20425 20427 19869 0 -1 4202496 96555 0 0 0 1206 20 0 0 23 0 4 0 634204019 465145856 77485 33554432000 4194304 4580107 140733297757936 18446744073709551615 4292985 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20427/statm: 113561 77485 360 95 0 108543 0
[pid=20427/tid=20428] ppid=20425 vsize=454244 CPUtime=3.06 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 23844 0 0 0 301 5 0 0 23 0 4 0 634204019 465145856 77485 33554432000 4194304 4580107 140733297757936 18446744073709551615 4294213 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20427/tid=20429] ppid=20425 vsize=454244 CPUtime=3.06 cores=0,2,4,6
/proc/20427/task/20429/stat : 20429 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 23689 0 0 0 301 5 0 0 23 0 4 0 634204019 465145856 77485 33554432000 4194304 4580107 140733297757936 18446744073709551615 4293076 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20427/tid=20430] ppid=20425 vsize=454244 CPUtime=3.03 cores=0,2,4,6
/proc/20427/task/20430/stat : 20430 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 24775 0 0 0 298 5 0 0 23 0 4 0 634204019 465145856 77485 33554432000 4194304 4580107 140733297757936 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 454244

[startup+6.31073 s]
/proc/loadavg: 5.46 7.22 7.66 7/286 20431
/proc/meminfo: memFree=24617104/32951124 swapFree=67057896/67111528
[pid=20427] ppid=20425 vsize=454752 CPUtime=25.07 cores=0,2,4,6
/proc/20427/stat : 20427 (strangenight2-m) R 20425 20427 19869 0 -1 4202496 97598 0 0 0 2486 21 0 0 25 0 4 0 634204019 465666048 78018 33554432000 4194304 4580107 140733297757936 18446744073709551615 4293911 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20427/statm: 113688 78018 360 95 0 108670 0
[pid=20427/tid=20428] ppid=20425 vsize=454752 CPUtime=6.28 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 23966 0 0 0 622 6 0 0 25 0 4 0 634204019 465666048 78018 33554432000 4194304 4580107 140733297757936 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20427/tid=20429] ppid=20425 vsize=454752 CPUtime=6.27 cores=0,2,4,6
/proc/20427/task/20429/stat : 20429 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 23811 0 0 0 622 5 0 0 25 0 4 0 634204019 465666048 78018 33554432000 4194304 4580107 140733297757936 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20427/tid=20430] ppid=20425 vsize=454752 CPUtime=6.22 cores=0,2,4,6
/proc/20427/task/20430/stat : 20430 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 25438 0 0 0 617 5 0 0 25 0 4 0 634204019 465666048 78018 33554432000 4194304 4580107 140733297757936 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 454752

[startup+12.7006 s]
/proc/loadavg: 5.50 7.19 7.65 7/286 20431
/proc/meminfo: memFree=24601836/32951124 swapFree=67057896/67111528
[pid=20427] ppid=20425 vsize=465096 CPUtime=50.59 cores=0,2,4,6
/proc/20427/stat : 20427 (strangenight2-m) R 20425 20427 19869 0 -1 4202496 100919 0 0 0 5037 22 0 0 25 0 4 0 634204019 476258304 81339 33554432000 4194304 4580107 140733297757936 18446744073709551615 4294220 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20427/statm: 116274 81339 361 95 0 111256 0
[pid=20427/tid=20428] ppid=20425 vsize=465096 CPUtime=12.66 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 24198 0 0 0 1260 6 0 0 25 0 4 0 634204019 476258304 81339 33554432000 4194304 4580107 140733297757936 18446744073709551615 4294245 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20427/tid=20429] ppid=20425 vsize=465096 CPUtime=12.66 cores=0,2,4,6
/proc/20427/task/20429/stat : 20429 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 24043 0 0 0 1261 5 0 0 25 0 4 0 634204019 476258304 81339 33554432000 4194304 4580107 140733297757936 18446744073709551615 4293914 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20427/tid=20430] ppid=20425 vsize=465096 CPUtime=12.55 cores=0,2,4,6
/proc/20427/task/20430/stat : 20430 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 28057 0 0 0 1250 5 0 0 25 0 4 0 634204019 476258304 81339 33554432000 4194304 4580107 140733297757936 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 465096

[startup+25.5003 s]
/proc/loadavg: 5.61 7.14 7.63 7/286 20431
/proc/meminfo: memFree=24416956/32951124 swapFree=67057896/67111528
[pid=20427] ppid=20425 vsize=755088 CPUtime=101.65 cores=0,2,4,6
/proc/20427/stat : 20427 (strangenight2-m) R 20425 20427 19869 0 -1 4202496 156987 0 0 0 10120 45 0 0 25 0 4 0 634204019 773210112 128467 33554432000 4194304 4580107 140733297757936 18446744073709551615 4294144 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20427/statm: 188772 128467 379 95 0 183754 0
[pid=20427/tid=20428] ppid=20425 vsize=755088 CPUtime=25.46 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 43426 0 0 0 2525 21 0 0 25 0 4 0 634204019 773210112 128467 33554432000 4194304 4580107 140733297757936 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20427/tid=20429] ppid=20425 vsize=755088 CPUtime=25.44 cores=0,2,4,6
/proc/20427/task/20429/stat : 20429 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 39783 0 0 0 2537 7 0 0 25 0 4 0 634204019 773210112 128467 33554432000 4194304 4580107 140733297757936 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20427/tid=20430] ppid=20425 vsize=755088 CPUtime=25.25 cores=0,2,4,6
/proc/20427/task/20430/stat : 20430 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 29754 0 0 0 2517 8 0 0 25 0 4 0 634204019 773210112 128467 33554432000 4194304 4580107 140733297757936 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 755088

[startup+51.1008 s]
/proc/loadavg: 5.80 7.06 7.59 7/286 20432
/proc/meminfo: memFree=24200776/32951124 swapFree=67057896/67111528
[pid=20427] ppid=20425 vsize=947636 CPUtime=203.83 cores=0,2,4,6
/proc/20427/stat : 20427 (strangenight2-m) R 20425 20427 19869 0 -1 4202496 2357642 0 0 0 20040 343 0 0 25 0 4 0 634204019 970379264 184142 33554432000 4194304 4580107 140733297757936 18446744073709551615 4293680 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20427/statm: 236909 184142 380 95 0 231891 0
[pid=20427/tid=20428] ppid=20425 vsize=947636 CPUtime=51.05 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 1120833 0 0 0 4940 165 0 0 25 0 4 0 634204019 970379264 184142 33554432000 4194304 4580107 140733297757936 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20427/tid=20429] ppid=20425 vsize=947636 CPUtime=51.03 cores=0,2,4,6
/proc/20427/task/20429/stat : 20429 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 43643 0 0 0 5095 8 0 0 25 0 4 0 634204019 970379264 184142 33554432000 4194304 4580107 140733297757936 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20427/tid=20430] ppid=20425 vsize=947636 CPUtime=50.63 cores=0,2,4,6
/proc/20427/task/20430/stat : 20430 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 145733 0 0 0 5004 59 0 0 25 0 4 0 634204019 970379264 184142 33554432000 4194304 4580107 140733297757936 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.83
Current children cumulated vsize (KiB) 947636

[startup+102.301 s]
/proc/loadavg: 5.98 6.91 7.51 7/286 20433
/proc/meminfo: memFree=23814712/32951124 swapFree=67057896/67111528
[pid=20427] ppid=20425 vsize=1398532 CPUtime=408.2 cores=0,2,4,6
/proc/20427/stat : 20427 (strangenight2-m) R 20425 20427 19869 0 -1 4202496 2606326 0 0 0 40388 432 0 0 25 0 4 0 634204019 1432096768 277474 33554432000 4194304 4580107 140733297757936 18446744073709551615 4318686 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20427/statm: 349633 277474 380 95 0 344615 0
[pid=20427/tid=20428] ppid=20425 vsize=1398532 CPUtime=102.25 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 1154918 0 0 0 10028 197 0 0 25 0 4 0 634204019 1432096768 277474 33554432000 4194304 4580107 140733297757936 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20427/tid=20429] ppid=20425 vsize=1398532 CPUtime=102.23 cores=0,2,4,6
/proc/20427/task/20429/stat : 20429 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 67398 0 0 0 10210 13 0 0 25 0 4 0 634204019 1432096768 277474 33554432000 4194304 4580107 140733297757936 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20427/tid=20430] ppid=20425 vsize=1398532 CPUtime=101.4 cores=0,2,4,6
/proc/20427/task/20430/stat : 20430 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 303334 0 0 0 10037 103 0 0 25 0 4 0 634204019 1432096768 277474 33554432000 4194304 4580107 140733297757936 18446744073709551615 4330205 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.2
Current children cumulated vsize (KiB) 1398532

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

[startup+103.111 s]
/proc/loadavg: 5.98 6.91 7.51 7/286 20433
/proc/meminfo: memFree=23822648/32951124 swapFree=67057896/67111528
[pid=20427] ppid=20425 vsize=1398532 CPUtime=411.43 cores=0,2,4,6
/proc/20427/stat : 20427 (strangenight2-m) R 20425 20427 19869 0 -1 4202496 2607558 0 0 0 40711 432 0 0 25 0 4 0 634204019 1432096768 278705 33554432000 4194304 4580107 140733297757936 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20427/statm: 349633 278705 380 95 0 344615 0
[pid=20427/tid=20428] ppid=20425 vsize=1398532 CPUtime=103.06 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 1155004 0 0 0 10109 197 0 0 25 0 4 0 634204019 1432096768 278705 33554432000 4194304 4580107 140733297757936 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20427/tid=20429] ppid=20425 vsize=1398532 CPUtime=103.04 cores=0,2,4,6
/proc/20427/task/20429/stat : 20429 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 67476 0 0 0 10291 13 0 0 25 0 4 0 634204019 1432096768 278705 33554432000 4194304 4580107 140733297757936 18446744073709551615 4293288 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20427/tid=20430] ppid=20425 vsize=1398532 CPUtime=102.2 cores=0,2,4,6
/proc/20427/task/20430/stat : 20430 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 304388 0 0 0 10117 103 0 0 25 0 4 0 634204019 1432096768 278705 33554432000 4194304 4580107 140733297757936 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 411.43
Current children cumulated vsize (KiB) 1398532

[startup+109.5 s]
/proc/loadavg: 5.98 6.89 7.50 7/286 20434
/proc/meminfo: memFree=23785572/32951124 swapFree=67057896/67111528
[pid=20427] ppid=20425 vsize=1464068 CPUtime=435 cores=0,2,4,6
/proc/20427/stat : 20427 (strangenight2-m) S 20425 20427 19869 0 -1 4202496 2618076 0 0 0 43054 446 0 0 25 0 4 0 634204019 1499205632 287591 33554432000 4194304 4580107 140733297757936 18446744073709551615 47457557042740 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20427/statm: 366017 287591 380 95 0 360999 0
[pid=20427/tid=20428] ppid=20425 vsize=1464068 CPUtime=108.49 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (strangenight2-m) S 20425 20427 19869 0 -1 4202560 1155404 0 0 0 10652 197 0 0 25 0 4 0 634204019 1499205632 287591 33554432000 4194304 4580107 140733297757936 18446744073709551615 47457557042740 0 0 4096 2 18446604444942108480 0 0 -1 4 0 0 0
[pid=20427/tid=20429] ppid=20425 vsize=1464068 CPUtime=109.43 cores=0,2,4,6
/proc/20427/task/20429/stat : 20429 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 67628 0 0 0 10930 13 0 0 25 0 4 0 634204019 1499205632 287591 33554432000 4194304 4580107 140733297757936 18446744073709551615 47457557018155 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20427/tid=20430] ppid=20425 vsize=1464068 CPUtime=108.55 cores=0,2,4,6
/proc/20427/task/20430/stat : 20430 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 314353 0 0 0 10738 117 0 0 25 0 4 0 634204019 1499205632 287591 33554432000 4194304 4580107 140733297757936 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 435
Current children cumulated vsize (KiB) 1464068

[startup+112.701 s]
/proc/loadavg: 5.82 6.85 7.48 5/286 20434
/proc/meminfo: memFree=23783208/32951124 swapFree=67057896/67111528
[pid=20427] ppid=20425 vsize=1464068 CPUtime=441.4 cores=0,2,4,6
/proc/20427/stat : 20427 (strangenight2-m) S 20425 20427 19869 0 -1 4202496 2618884 0 0 0 43694 446 0 0 25 0 4 0 634204019 1499205632 288399 33554432000 4194304 4580107 140733297757936 18446744073709551615 47457557042740 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20427/statm: 366017 288399 380 95 0 360999 0
[pid=20427/tid=20428] ppid=20425 vsize=1464068 CPUtime=108.49 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (strangenight2-m) S 20425 20427 19869 0 -1 4202560 1155404 0 0 0 10652 197 0 0 25 0 4 0 634204019 1499205632 288399 33554432000 4194304 4580107 140733297757936 18446744073709551615 47457557042740 0 0 4096 2 18446604444942108480 0 0 -1 4 0 0 0
[pid=20427/tid=20429] ppid=20425 vsize=1464068 CPUtime=112.63 cores=0,2,4,6
/proc/20427/task/20429/stat : 20429 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 67628 0 0 0 11250 13 0 0 25 0 4 0 634204019 1499205632 288399 33554432000 4194304 4580107 140733297757936 18446744073709551615 47457557018155 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20427/tid=20430] ppid=20425 vsize=1464068 CPUtime=111.75 cores=0,2,4,6
/proc/20427/task/20430/stat : 20430 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 315161 0 0 0 11058 117 0 0 25 0 4 0 634204019 1499205632 288399 33554432000 4194304 4580107 140733297757936 18446744073709551615 4401375 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 441.4
Current children cumulated vsize (KiB) 1464068

[startup+114.301 s]
/proc/loadavg: 5.82 6.85 7.48 5/286 20434
/proc/meminfo: memFree=23782340/32951124 swapFree=67057896/67111528
[pid=20427] ppid=20425 vsize=1464068 CPUtime=444.6 cores=0,2,4,6
/proc/20427/stat : 20427 (strangenight2-m) S 20425 20427 19869 0 -1 4202496 2620997 0 0 0 44014 446 0 0 25 0 4 0 634204019 1499205632 290512 33554432000 4194304 4580107 140733297757936 18446744073709551615 47457557042740 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20427/statm: 366017 290512 380 95 0 360999 0
[pid=20427/tid=20428] ppid=20425 vsize=1464068 CPUtime=108.49 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (strangenight2-m) S 20425 20427 19869 0 -1 4202560 1155404 0 0 0 10652 197 0 0 25 0 4 0 634204019 1499205632 290512 33554432000 4194304 4580107 140733297757936 18446744073709551615 47457557042740 0 0 4096 2 18446604444942108480 0 0 -1 4 0 0 0
[pid=20427/tid=20429] ppid=20425 vsize=1464068 CPUtime=114.23 cores=0,2,4,6
/proc/20427/task/20429/stat : 20429 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 67628 0 0 0 11410 13 0 0 25 0 4 0 634204019 1499205632 290512 33554432000 4194304 4580107 140733297757936 18446744073709551615 47457557018155 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20427/tid=20430] ppid=20425 vsize=1464068 CPUtime=113.35 cores=0,2,4,6
/proc/20427/task/20430/stat : 20430 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 317274 0 0 0 11218 117 0 0 25 0 4 0 634204019 1499205632 290512 33554432000 4194304 4580107 140733297757936 18446744073709551615 4428648 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 1464068

[startup+115.1 s]
/proc/loadavg: 5.68 6.80 7.46 5/286 20434
/proc/meminfo: memFree=23770808/32951124 swapFree=67057896/67111528
[pid=20427] ppid=20425 vsize=1464068 CPUtime=446.21 cores=0,2,4,6
/proc/20427/stat : 20427 (strangenight2-m) S 20425 20427 19869 0 -1 4202496 2625560 0 0 0 44175 446 0 0 25 0 4 0 634204019 1499205632 291417 33554432000 4194304 4580107 140733297757936 18446744073709551615 47457557042740 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20427/statm: 366017 291417 380 95 0 360999 0
[pid=20427/tid=20428] ppid=20425 vsize=1464068 CPUtime=108.49 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (strangenight2-m) S 20425 20427 19869 0 -1 4202560 1155404 0 0 0 10652 197 0 0 25 0 4 0 634204019 1499205632 291480 33554432000 4194304 4580107 140733297757936 18446744073709551615 47457557042740 0 0 4096 2 18446604444942108480 0 0 -1 4 0 0 0
[pid=20427/tid=20429] ppid=20425 vsize=1464068 CPUtime=115.04 cores=0,2,4,6
/proc/20427/task/20429/stat : 20429 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 67628 0 0 0 11491 13 0 0 25 0 4 0 634204019 1499205632 291480 33554432000 4194304 4580107 140733297757936 18446744073709551615 47457557018308 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20427/tid=20430] ppid=20425 vsize=1464068 CPUtime=114.15 cores=0,2,4,6
/proc/20427/task/20430/stat : 20430 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 321901 0 0 0 11298 117 0 0 25 0 4 0 634204019 1499205632 291481 33554432000 4194304 4580107 140733297757936 18446744073709551615 254261277729 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 446.21
Current children cumulated vsize (KiB) 1464068

[startup+115.5 s]
/proc/loadavg: 5.68 6.80 7.46 5/286 20434
/proc/meminfo: memFree=23770808/32951124 swapFree=67057896/67111528
[pid=20427] ppid=20425 vsize=1464068 CPUtime=446.99 cores=0,2,4,6
/proc/20427/stat : 20427 (strangenight2-m) S 20425 20427 19869 0 -1 4202496 2634328 0 0 0 44251 448 0 0 25 0 4 0 634204019 1499205632 297809 33554432000 4194304 4580107 140733297757936 18446744073709551615 47457557042740 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20427/statm: 366017 297809 380 95 0 360999 0
[pid=20427/tid=20428] ppid=20425 vsize=1464068 CPUtime=108.49 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (strangenight2-m) S 20425 20427 19869 0 -1 4202560 1155404 0 0 0 10652 197 0 0 25 0 4 0 634204019 1499205632 297809 33554432000 4194304 4580107 140733297757936 18446744073709551615 47457557042740 0 0 4096 2 18446604444942108480 0 0 -1 4 0 0 0
[pid=20427/tid=20429] ppid=20425 vsize=1464068 CPUtime=115.43 cores=0,2,4,6
/proc/20427/task/20429/stat : 20429 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 67628 0 0 0 11530 13 0 0 25 0 4 0 634204019 1499205632 297809 33554432000 4194304 4580107 140733297757936 18446744073709551615 47457557018155 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20427/tid=20430] ppid=20425 vsize=1464068 CPUtime=114.54 cores=0,2,4,6
/proc/20427/task/20430/stat : 20430 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 330605 0 0 0 11335 119 0 0 25 0 4 0 634204019 1499205632 297809 33554432000 4194304 4580107 140733297757936 18446744073709551615 254261283807 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 446.99
Current children cumulated vsize (KiB) 1464068

[startup+115.9 s]
/proc/loadavg: 5.68 6.80 7.46 5/286 20434
/proc/meminfo: memFree=23770808/32951124 swapFree=67057896/67111528
[pid=20427] ppid=20425 vsize=1464068 CPUtime=447.79 cores=0,2,4,6
/proc/20427/stat : 20427 (strangenight2-m) S 20425 20427 19869 0 -1 4202496 2635267 0 0 0 44331 448 0 0 25 0 4 0 634204019 1499205632 298087 33554432000 4194304 4580107 140733297757936 18446744073709551615 47457557042740 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20427/statm: 366017 298087 380 95 0 360999 0
[pid=20427/tid=20428] ppid=20425 vsize=1464068 CPUtime=108.49 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (strangenight2-m) S 20425 20427 19869 0 -1 4202560 1155404 0 0 0 10652 197 0 0 25 0 4 0 634204019 1499205632 298087 33554432000 4194304 4580107 140733297757936 18446744073709551615 47457557042740 0 0 4096 2 18446604444942108480 0 0 -1 4 0 0 0
[pid=20427/tid=20429] ppid=20425 vsize=1464068 CPUtime=115.83 cores=0,2,4,6
/proc/20427/task/20429/stat : 20429 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 67628 0 0 0 11570 13 0 0 25 0 4 0 634204019 1499205632 298087 33554432000 4194304 4580107 140733297757936 18446744073709551615 4205512 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20427/tid=20430] ppid=20425 vsize=1464068 CPUtime=114.94 cores=0,2,4,6
/proc/20427/task/20430/stat : 20430 (strangenight2-m) R 20425 20427 19869 0 -1 4202560 331544 0 0 0 11375 119 0 0 25 0 4 0 634204019 1499205632 298087 33554432000 4194304 4580107 140733297757936 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 447.79
Current children cumulated vsize (KiB) 1464068

[startup+116 s]
/proc/loadavg: 5.68 6.80 7.46 5/286 20434
/proc/meminfo: memFree=23770808/32951124 swapFree=67057896/67111528
[pid=20427] ppid=20425 vsize=0 CPUtime=447.98 cores=0,2,4,6
/proc/20427/stat : 20427 (strangenight2-m) Z 20425 20427 19869 0 -1 4203548 2635278 0 0 0 44348 450 0 0 18 0 2 0 634204019 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20427/statm: 0 0 0 0 0 0 0
[pid=20427/tid=20428] ppid=20425 vsize=0 CPUtime=108.51 cores=0,2,4,6
/proc/20427/task/20428/stat : 20428 (strangenight2-m) R 20425 20427 19869 0 -1 4203588 1155404 0 0 0 10652 199 0 0 18 0 2 0 634204019 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 447.98
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 116.041
CPU time (s): 448.034
CPU user time (s): 443.49
CPU system time (s): 4.54431
CPU usage (%): 386.1
Max. virtual memory (cumulated for all children) (KiB): 1464068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 443.49
system time used= 4.54431
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2635278
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= 2976
involuntary context switches= 2023

runsolver used 0.312952 second user time and 0.657899 second system time

The end

Launcher Data 

Begin job on node140 at 2011-05-15 02:04:47
IDJOB=3367179
IDBENCH=88143
IDSOLVER=1844
FILE ID=node140/3367179-1305417887
RUNJOBID= node140-1305414794-19887
PBS_JOBID= 13324552
Free space on /tmp= 73472 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/manolios/c10idw_i.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367179-1305417887/watcher-3367179-1305417887 -o /tmp/evaluation-result-3367179-1305417887/solver-3367179-1305417887 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367179-1305417887.cnf

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

MD5SUM BENCH= c139a321e75833c70af36726562b66de
RANDOM SEED=867039537

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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.75
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.833
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.74
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.833
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.833
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:      24932540 kB
Buffers:        303152 kB
Cached:        3787724 kB
SwapCached:       8056 kB
Active:        4983268 kB
Inactive:      2722556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24932540 kB
SwapTotal:    67111528 kB
SwapFree:     67057896 kB
Dirty:           15900 kB
Writeback:           0 kB
AnonPages:     3611852 kB
Mapped:          23632 kB
Slab:           225984 kB
PageTables:      22256 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 45890776 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= 73464 MiB
End job on node140 at 2011-05-15 02:06:43