Trace number 3366099

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.38 1203.79

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v35000-c147000-S883457431-033-UNKNOWN.cnf
MD5SUM0d0abbf84f73b4226aa3bedf08367d2e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark291.591
Satisfiable
(Un)Satisfiability was proved
Number of variables35000
Number of clauses147000
Sum of the clauses size441000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3147000
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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3366099-1305394699.cnf'
0.00/0.00	c -- header says num vars:          35000
0.00/0.00	c -- header says num clauses:      147000
0.32/0.18	c -- clauses added:            0 learnts,       147000 normals,            0 xors
0.32/0.18	c -- vars added      35000
0.32/0.18	c Parsing time:  0.11 s
0.32/0.18	c  N st     0         0     35000    147000         0         0    441000         0   no data   no data
0.66/0.33	c asymm  cl-useful: 0/147000/147000 lits-rem:0 time: 0.14
0.66/0.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
1.46/0.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.46/0.48	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.46/0.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.84/0.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  35000 time:  0.01 s
1.84/0.51	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
2.63/0.77	c lits-rem:         0  cl-subs:        0  v-elim:    865  v-fix:    0  time:  0.24 s
2.63/0.77	c Finding binary XORs  T:     0.01 s  found:       0
3.02/0.83	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
3.02/0.83	c calculated reachability. Time: 0.00
3.02/0.85	c Calc default polars -  time:   0.01 s pos:   15676 undec:    3924 neg:   15400
3.02/0.85	c =========================================================================================
3.02/0.85	c types(t): F = full restart, N = normal restart
3.02/0.85	c types(t): S = simplification begin/end, E = solution found
3.02/0.85	c restart types(rt): st = static, dy = dynamic
3.02/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.02/0.85	c  B st     0         0     34135    145973         0         0    443162         0   no data   no data
10.60/2.77	c  N dy    18      4093     34135    145973         0      4092    443162   1186652    173.74    185.48
18.97/4.80	c  N dy    45      8320     34135    145973         0      8319    443162   2283827    168.98    178.41
26.61/6.79	c  N dy    72     12433     34135    145973         0     12431    443162   3357004    168.51    177.39
34.97/8.83	c  N dy    99     16502     34135    145973         0     16500    443162   4401497    167.89    192.14
43.30/10.99	c  N dy   127     20679     34135    145973         0     10679    443162    847708    167.49    188.16
52.07/13.12	c  F st   158     25000     34135    145973         0     15000    443162   1967657    168.09    166.15
52.07/13.17	c  N st   158     25000     34135    145973         0     15000    443162   1967657    168.09    166.15
62.44/15.76	c  N dy   164     30002     34135    145973         0     20001    443162   3660340    168.09   no data
62.44/15.76	c  S st   164     30002     34135    145973         0     20001    443162   3660340    168.09   no data
63.64/16.03	c  S st   164     30508     34135    145973         0     20507    443162   3760085    168.09   no data
63.64/16.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
64.04/16.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
64.04/16.19	c blocked clauses removed:      731 vars:    121 tried:       34135 T: 0.02 s
64.44/16.20	c bin-w-bin subsume rem            0 bins  time:  0.01 s
64.44/16.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
64.44/16.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34014 time:  0.01 s
64.44/16.24	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
65.24/16.42	c lits-rem:         0  cl-subs:        0  v-elim:     23  v-fix:    0  time:  0.17 s
66.43/16.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
70.07/17.69	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.91 s
70.81/17.87	c asymm  cl-useful: 0/145221/145221 lits-rem:0 time: 0.18
70.81/17.88	c calculated reachability. Time: 0.00
70.81/17.88	c  N dy   164     30508     33991    145221         0     20175    441067   3602757    168.09   no data
79.24/19.95	c  N dy   190     34524     33991    145221         0     24191    441067   4620522    167.69    180.87
88.01/22.15	c  N dy   216     38538     33991    145221         0     28205    441067   5634496    167.42    176.32
96.79/24.34	c  N dy   245     42583     33991    145221         0     16916    441067   1197177    167.75    178.78
103.12/25.94	c  S st   265     45762     33991    145221         0     20095    441067   1990537    167.48    153.00
103.92/26.19	c  S st   265     46263     33991    145221         0     20596    441067   2072702    167.48   no data
104.32/26.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
104.72/26.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
104.72/26.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
104.72/26.35	c bin-w-bin subsume rem            0 bins  time:  0.01 s
104.72/26.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
104.72/26.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33991 time:  0.01 s
104.72/26.39	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
105.55/26.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
105.90/26.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
107.10/26.99	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.29 s
107.50/27.01	c vivif2 --  cl tried   145221 cl shrink        0 lits rem          0 time: 0.02
107.50/27.05	c vivif2 --  cl tried    20595 cl shrink        0 lits rem          0 time: 0.04
108.30/27.24	c asymm  cl-useful: 0/145221/145221 lits-rem:0 time: 0.18
108.30/27.25	c calculated reachability. Time: 0.00
108.30/27.25	c  N dy   265     46263     33991    145221         0     20595    441067   2072558    167.48   no data
116.67/29.37	c  N dy   293     50368     33991    145221         0     24700    441067   3081279    166.84    185.38
125.05/31.48	c  N dy   319     54426     33991    145221         0     28758    441067   4152307    166.99    185.32
134.22/33.70	c  N dy   346     58519     33991    145221         0     32851    441067   5225365    167.15    179.54
143.39/36.02	c  N dy   377     62694     33991    145221         0     37026    441067   6305438    167.42    179.16
151.77/38.13	c  N dy   405     66739     33991    145221         0     22406    441067   1753921    167.65    202.93
157.35/39.53	c  S st   423     69396     33991    145221         0     25063    441067   2417483    167.61   no data
158.54/39.80	c  S st   423     69897     33991    145221         0     25564    441067   2518411    167.61   no data
158.54/39.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
158.93/39.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
158.93/39.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
158.93/39.96	c bin-w-bin subsume rem            0 bins  time:  0.01 s
158.93/39.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
158.93/39.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33991 time:  0.01 s
159.33/40.00	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
159.73/40.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
160.13/40.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
162.18/40.75	c lits-rem:         1  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.43 s
162.18/40.77	c vivif2 --  cl tried   145221 cl shrink        0 lits rem          0 time: 0.02
162.58/40.82	c vivif2 --  cl tried    25559 cl shrink        0 lits rem          0 time: 0.04
163.33/41.01	c asymm  cl-useful: 0/145221/145221 lits-rem:0 time: 0.19
163.33/41.02	c calculated reachability. Time: 0.00
163.33/41.02	c  N dy   423     69897     33991    145221         0     25559    441067   2516048    167.61   no data
172.89/43.47	c  N dy   455     74436     33991    145221         0     30098    441067   3693397    167.81    247.88
183.68/46.10	c  N dy   489     79251     33991    145221         0     34913    441067   4899559    167.75    177.67
194.83/48.93	c  N dy   524     84345     33991    145221         0     40007    441067   6207267    167.59    179.04
201.66/50.64	c  F st   541     87500     33991    145221         0     22329    441067   1082345    167.28   no data
209.60/52.67	c  N st   546     90796     33991    145221         0     25625    441067   2456903    167.28   no data
223.15/56.00	c  N dy   575     96781     33991    145221         0     31610    441067   4400323    167.32    183.68
236.31/59.38	c  N dy   614    102971     33991    145221         0     37800    441067   5959806    167.01    179.35
240.70/60.43	c  S st   628    104845     33991    145221         0     39674    441067   6431969    167.03    167.01
241.89/60.72	c  S st   628    105354     33991    145221         0     40183    441067   6520743    167.03   no data
241.89/60.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
242.29/60.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.11
242.69/60.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
242.69/60.91	c bin-w-bin subsume rem            0 bins  time:  0.01 s
242.69/60.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
242.69/60.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33991 time:  0.01 s
242.69/60.95	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
243.49/61.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
245.09/61.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
251.87/63.24	c lits-rem:         2  cl-subs:        5  v-elim:      0  v-fix:    0  time:  1.67 s
251.87/63.26	c vivif2 --  cl tried   145221 cl shrink        0 lits rem          0 time: 0.02
252.27/63.38	c vivif2 --  cl tried    40178 cl shrink        0 lits rem          0 time: 0.11
253.06/63.59	c asymm  cl-useful: 0/145221/145221 lits-rem:0 time: 0.22
253.46/63.60	c calculated reachability. Time: 0.00
253.46/63.60	c  N dy   628    105354     33991    145221         0     40178    441067   6517839    167.03   no data
268.61/67.40	c  N dy   675    112185     33991    145221         0     24591    441067   1246097    167.08    179.98
284.17/71.35	c  N dy   725    119397     33991    145221         0     31801    441067   3073845    167.05    177.61
301.32/75.69	c  N dy   786    127095     33991    145221         0     39499    441067   5105307    167.43    176.53
320.51/80.46	c  N dy   844    135234     33991    145221         0     23931    441067    689058    167.71    185.25
339.21/85.12	c  N dy   902    143866     33991    145221         0     32563    441067   2948257    167.75    176.92
359.99/90.36	c  N dy   968    153117     33991    145221         0     41814    441067   5382483    168.03    188.40
371.11/93.17	c  S st   998    158032     33991    145221         0     46729    441067   6642586    168.04   no data
372.31/93.47	c  S st   998    158537     33991    145221         0     47234    441067   6756912    168.04   no data
372.31/93.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
373.15/93.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.11
373.15/93.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
373.15/93.67	c bin-w-bin subsume rem            0 bins  time:  0.01 s
373.15/93.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
373.15/93.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33991 time:  0.01 s
373.50/93.71	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
373.90/93.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
375.90/94.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
385.06/96.68	c lits-rem:         9  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.33 s
385.46/96.70	c vivif2 --  cl tried   145221 cl shrink        0 lits rem          0 time: 0.02
385.91/96.82	c vivif2 --  cl tried    47231 cl shrink        0 lits rem          0 time: 0.12
386.66/97.05	c asymm  cl-useful: 0/145221/145221 lits-rem:0 time: 0.23
386.66/97.06	c calculated reachability. Time: 0.00
386.66/97.06	c  N dy   998    158537     33991    145221         0     47231    441067   6755510    168.04   no data
408.99/102.65	c  N dy  1066    168681     33991    145221         0     32522    441067   2604528    168.11    196.91
434.16/108.92	c  N dy  1148    179608     33991    145221         0     43448    441067   5468575    168.42    181.87
460.48/115.60	c  N dy  1223    191145     33991    145221         0     29059    441067   1387866    168.38    177.64
487.96/122.40	c  N dy  1308    203361     33991    145221         0     41275    441067   4589201    168.66    177.70
518.27/130.04	c  N dy  1395    216452     33991    145221         0     27404    441067    662087    168.65    178.31
549.37/137.87	c  N dy  1490    230457     33991    145221         0     41409    441067   4348809    168.77    177.78
566.93/142.21	c  S st  1543    237806     33991    145221         0     48757    441067   6300322    168.95   no data
568.12/142.52	c  S st  1543    238311     33991    145221         0     49262    441067   6395798    168.95   no data
568.12/142.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
568.52/142.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
568.92/142.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
568.92/142.72	c bin-w-bin subsume rem            0 bins  time:  0.01 s
568.92/142.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
568.92/142.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33991 time:  0.01 s
568.92/142.76	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
569.72/142.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
571.31/143.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
580.88/145.71	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.37 s
580.88/145.74	c vivif2 --  cl tried   145221 cl shrink        0 lits rem          0 time: 0.02
581.28/145.85	c vivif2 --  cl tried    49258 cl shrink        0 lits rem          0 time: 0.12
582.08/146.09	c asymm  cl-useful: 0/145221/145221 lits-rem:0 time: 0.23
582.48/146.10	c calculated reachability. Time: 0.00
582.48/146.10	c  N dy  1543    238311     33991    145221         0     49258    441067   6394023    168.95   no data
616.78/154.75	c  N dy  1642    253522     33991    145221         0     36486    441067   2681738    168.96    180.66
653.92/164.02	c  N dy  1749    269725     33991    145221         0     52688    441067   6891025    168.95    185.18
693.74/174.03	c  N dy  1869    287008     33991    145221         0     40982    441067   3707298    169.14    179.16
736.43/184.80	c  N dy  1997    305357     33991    145221         0     59328    441067   8450256    169.19    182.55
738.81/185.37	c  F st  2003    306251     33991    145221         0     30229    441067    563193    169.16    141.66
781.49/196.04	c  N dy  2098    324882     33991    145221         0     48858    441067   5856223    169.10    181.82
828.55/207.90	c  N dy  2241    344952     33991    145221         0     37933    441067   2326063    169.24    178.67
857.67/215.14	c  S st  2325    357467     33991    145221         0     50447    441067   5533069    169.20   no data
858.87/215.45	c  S st  2325    357974     33991    145221         0     50954    441067   5619678    169.20   no data
858.87/215.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
859.26/215.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
859.70/215.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
859.70/215.65	c bin-w-bin subsume rem            0 bins  time:  0.01 s
859.70/215.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
859.70/215.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33991 time:  0.01 s
859.70/215.69	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
860.44/215.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
861.64/216.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
870.41/218.36	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.14 s
870.41/218.38	c vivif2 --  cl tried   145221 cl shrink        0 lits rem          0 time: 0.02
870.81/218.48	c vivif2 --  cl tried    50953 cl shrink        0 lits rem          0 time: 0.10
872.02/218.72	c asymm  cl-useful: 0/145221/145221 lits-rem:0 time: 0.24
872.02/218.73	c calculated reachability. Time: 0.00
872.02/218.73	c  N dy  2325    357974     33991    145221         0     50953    441067   5619424    169.20   no data
919.07/230.52	c  N dy  2454    378057     33991    145221         0     39038    441067   2313750    169.10    182.10
966.13/242.35	c  N dy  2586    398079     33991    145221         0     59058    441067   7435639    168.98    184.83
1013.24/254.19	c  N dy  2725    418178     33991    145221         0     46162    441067   3949427    169.04    208.12
1062.24/266.46	c  N dy  2862    438256     33991    145221         0     66239    441067   9227664    169.10    181.17
1108.91/278.19	c  N dy  3007    458319     33991    145221         0     52300    441067   5363550    169.27    242.79
1158.01/290.48	c  N dy  3147    478496     33991    145221         0     37486    441067   1155537    169.36    179.40
1205.03/302.28	c  N dy  3292    498639     33991    145221         0     57627    441067   6438632    169.45    180.14
1253.28/314.39	c  N dy  3428    518714     33991    145221         0     41696    441067   1946188    169.47    181.09
1296.75/325.23	c  S st  3551    536961     33991    145221         0     59941    441067   6652055    169.45    144.15
1297.95/325.57	c  S st  3551    537462     33991    145221         0     60442    441067   6741407    169.45   no data
1297.95/325.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1298.79/325.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.13
1298.79/325.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1298.79/325.78	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1298.79/325.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1299.13/325.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33991 time:  0.01 s
1299.13/325.82	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1299.53/326.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
1301.53/326.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1313.49/329.49	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time:  3.05 s
1313.89/329.51	c vivif2 --  cl tried   145221 cl shrink        0 lits rem          0 time: 0.02
1314.29/329.64	c vivif2 --  cl tried    60437 cl shrink        0 lits rem          0 time: 0.12
1315.09/329.89	c asymm  cl-useful: 0/145221/145221 lits-rem:0 time: 0.25
1315.49/329.90	c calculated reachability. Time: 0.00
1315.49/329.90	c  N dy  3551    537462     33991    145221         0     60437    441067   6739693    169.45   no data
1364.18/342.17	c  N dy  3694    557611     33991    145221         0     43587    441067   2145454    169.49    183.09
1412.00/354.12	c  N dy  3826    577628     33991    145221         0     63604    441067   7282268    169.48    208.74
1460.69/366.37	c  N dy  3963    597736     33991    145221         0     45712    441067   2516400    169.55    182.69
1508.95/378.49	c  N dy  4094    617853     33991    145221         0     65829    441067   7770162    169.54    180.58
1558.76/390.91	c  N dy  4232    637913     33991    145221         0     46891    441067   2582390    169.60    179.81
1607.00/403.04	c  N dy  4370    657948     33991    145221         0     66923    441067   7763655    169.67    178.87
1657.26/415.66	c  N dy  4514    678172     33991    145221         0     47149    441067   2423430    169.78    179.46
1707.11/428.11	c  N dy  4651    698287     33991    145221         0     67263    441067   7690001    169.83    183.61
1757.77/440.82	c  N dy  4790    718327     33991    145221         0     46305    441067   1877551    169.81    205.10
1806.02/452.91	c  N dy  4928    738388     33991    145221         0     66362    441067   7110772    169.84    203.66
1857.06/465.75	c  N dy  5067    758420     33991    145221         0     44399    441067   1117094    169.87    183.61
1905.32/477.85	c  N dy  5206    778482     33991    145221         0     64461    441067   6423943    169.92    180.07
1957.16/490.88	c  N dy  5344    798557     33991    145221         0     84535    441067  11660310    169.94    188.75
1975.91/495.53	c  S st  5398    806193     33991    145221         0     49173    441067   2088447    169.94   no data
1977.10/495.83	c  S st  5398    806695     33991    145221         0     49675    441067   2182993    169.94   no data
1977.10/495.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1977.51/495.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
1977.91/496.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1977.91/496.02	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1977.91/496.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1977.91/496.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33991 time:  0.01 s
1977.91/496.06	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1978.35/496.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
1979.09/496.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1982.30/497.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.73 s
1982.30/497.12	c vivif2 --  cl tried   145221 cl shrink        0 lits rem          0 time: 0.02
1982.30/497.16	c vivif2 --  cl tried    49675 cl shrink        0 lits rem          0 time: 0.04
1983.48/497.40	c asymm  cl-useful: 0/145221/145221 lits-rem:0 time: 0.23
1983.48/497.41	c calculated reachability. Time: 0.00
1983.48/497.41	c  N dy  5398    806695     33991    145221         0     49675    441067   2182993    169.94   no data
2033.33/509.90	c  N dy  5547    826763     33991    145221         0     69743    441067   7546797    170.08    182.55
2085.98/523.16	c  N dy  5689    846768     33991    145221         0     45748    441067   1001084    170.17    186.74
2135.03/535.45	c  N dy  5828    866802     33991    145221         0     65781    441067   6224851    170.21    198.36
2186.87/548.47	c  N dy  5963    886893     33991    145221         0     85869    441067  11511403    170.27    185.09
2236.33/560.88	c  N dy  6099    906948     33991    145221         0     60923    441067   4674260    170.30    189.40
2287.77/573.76	c  N dy  6234    927025     33991    145221         0     80998    441067   9920902    170.29    187.60
2339.21/586.65	c  N dy  6373    947142     33991    145221         0     55118    441067   2859534    170.29    181.61
2389.46/599.22	c  N dy  6513    967155     33991    145221         0     75130    441067   8119265    170.31    185.25
2443.34/612.72	c  N dy  6651    987227     33991    145221         0     48204    441067    838893    170.34    201.56
2491.60/624.90	c  N dy  6783   1007380     33991    145221         0     68355    441067   6069224    170.32    181.76
2544.65/638.12	c  N dy  6917   1027511     33991    145221         0     88485    441067  11306440    170.30    183.27
2594.84/650.74	c  N dy  7054   1047537     33991    145221         0     60516    441067   3794116    170.30    183.76
2645.88/663.57	c  N dy  7190   1067615     33991    145221         0     80594    441067   9074613    170.30    185.23
2657.46/666.44	c  F st  7221   1071876     33991    145221         0     84855    441067  10156669    170.29   no data
2700.52/677.25	c  N dy  7302   1087695     33991    145221         0     51676    441067   1253449    170.30    180.16
2749.98/689.71	c  N dy  7436   1107793     33991    145221         0     71773    441067   6566847    170.31    182.68
2805.42/703.51	c  N dy  7571   1128485     33991    145221         0     92461    441067  12120556    170.34    180.44
2856.85/716.46	c  N dy  7705   1148551     33991    145221         0     62534    441067   3763556    170.32    181.12
2909.11/729.51	c  N dy  7844   1168771     33991    145221         0     82753    441067   9092821    170.35    179.55
2963.74/743.22	c  N dy  7976   1188850     33991    145221         0     51833    441067    762261    170.37    231.57
3013.64/755.73	c  N dy  8122   1208932     33991    145221         0     71914    441067   6136784    170.43    189.07
3016.39/756.43	c  S st  8129   1210042     33991    145221         0     73024    441067   6416366    170.42   no data
3017.59/756.79	c  S st  8129   1210543     33991    145221         0     73525    441067   6522746    170.42   no data
3018.03/756.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3018.43/756.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.14
3018.78/757.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3018.78/757.01	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3018.78/757.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3018.78/757.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33991 time:  0.01 s
3018.78/757.05	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
3019.58/757.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
3021.17/757.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3035.57/761.23	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.58 s
3035.57/761.26	c vivif2 --  cl tried   145221 cl shrink        0 lits rem          0 time: 0.02
3035.97/761.39	c vivif2 --  cl tried    73522 cl shrink        0 lits rem          0 time: 0.13
3037.12/761.68	c asymm  cl-useful: 0/145221/145221 lits-rem:0 time: 0.29
3037.12/761.69	c calculated reachability. Time: 0.00
3037.12/761.69	c  N dy  8129   1210543     33991    145221         0     73522    441067   6522290    170.42   no data
3091.36/775.27	c  N dy  8271   1230635     33991    145221         0     93614    441067  11788184    170.45    179.48
3145.25/788.80	c  N dy  8410   1250980     33991    145221         0     61963    441067   3183029    170.47    180.23
3197.46/801.80	c  N dy  8547   1271076     33991    145221         0     82059    441067   8492338    170.51    191.88
3252.48/815.62	c  N dy  8687   1291154     33991    145221         0    102137    441067  13778037    170.52    189.92
3303.57/828.48	c  N dy  8818   1311285     33991    145221         0     69264    441067   4736462    170.49    181.89
3356.56/841.77	c  N dy  8963   1331372     33991    145221         0     89350    441067  10116333    170.55    180.65
3412.84/855.82	c  N dy  9094   1351373     33991    145221         0     55351    441067    909371    170.55    183.45
3463.84/868.66	c  N dy  9233   1371869     33991    145221         0     75846    441067   6294017    170.57    182.82
3517.68/882.20	c  N dy  9371   1391882     33991    145221         0     95858    441067  11570318    170.59    183.18
3572.72/895.98	c  N dy  9506   1411967     33991    145221         0     60945    441067   2091696    170.59    180.00
3624.16/908.88	c  N dy  9640   1432068     33991    145221         0     81044    441067   7444332    170.61    179.86
3678.80/922.53	c  N dy  9766   1452197     33991    145221         0    101172    441067  12662067    170.58    183.15
3732.63/936.00	c  N dy  9898   1472262     33991    145221         0     65239    441067   3012730    170.61    180.01
3784.08/948.91	c  N dy 10025   1492443     33991    145221         0     85420    441067   8183209    170.57    182.85
3839.51/962.82	c  N dy 10158   1512542     33991    145221         0    105518    441067  13432897    170.56    181.21
3893.35/976.38	c  N dy 10292   1532677     33991    145221         0     68650    441067   3640828    170.57    179.75
3945.19/989.39	c  N dy 10416   1552764     33991    145221         0     88736    441067   8813058    170.54    181.09
4001.83/1003.55	c  N dy 10549   1572770     33991    145221         0    108740    441067  14043061    170.53    217.42
4055.27/1016.92	c  N dy 10686   1592797     33991    145221         0     70777    441067   3942369    170.53    196.71
4108.32/1030.27	c  N dy 10828   1612863     33991    145221         0     90843    441067   9297506    170.57    183.28
4165.34/1044.51	c  N dy 10959   1632901     33991    145221         0    110880    441067  14545361    170.59    182.58
4218.78/1057.97	c  N dy 11094   1653053     33991    145221         0     72026    441067   3918197    170.57    182.71
4272.23/1071.37	c  N dy 11232   1673110     33991    145221         0     92081    441067   9288349    170.59    260.64
4330.09/1085.88	c  N dy 11373   1693246     33991    145221         0    112216    441067  14567089    170.61    181.45
4377.51/1097.70	c  S st 11493   1710543     33991    145221         0     69519    441067   3078356    170.61    161.66
4378.70/1098.06	c  S st 11493   1711047     33991    145221         0     70023    441067   3179395    170.61   no data
4378.70/1098.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4379.50/1098.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.14
4379.50/1098.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4379.50/1098.27	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4379.50/1098.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4379.89/1098.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33991 time:  0.01 s
4379.89/1098.32	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
4380.29/1098.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
4381.09/1098.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4389.47/1100.76	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.05 s
4389.47/1100.78	c vivif2 --  cl tried   145221 cl shrink        0 lits rem          0 time: 0.02
4389.87/1100.85	c vivif2 --  cl tried    70019 cl shrink        0 lits rem          0 time: 0.06
4391.10/1101.12	c asymm  cl-useful: 0/145221/145221 lits-rem:0 time: 0.27
4391.10/1101.13	c calculated reachability. Time: 0.00
4391.10/1101.13	c  N dy 11493   1711047     33991    145221         0     70019    441067   3178380    170.61   no data
4444.50/1114.56	c  N dy 11630   1731169     33991    145221         0     90141    441067   8432630    170.61    180.20
4501.93/1128.93	c  N dy 11767   1751446     33991    145221         0    110418    441067  13859721    170.65    185.51
4557.80/1142.95	c  N dy 11905   1771490     33991    145221         0     69457    441067   2819175    170.66    181.51
4610.01/1156.08	c  N dy 12040   1791495     33991    145221         0     89461    441067   8053681    170.68    202.67
4666.24/1170.18	c  N dy 12168   1811626     33991    145221         0    109590    441067  13321959    170.67    180.72
4723.67/1184.52	c  N dy 12305   1831714     33991    145221         0     67683    441067   2090959    170.69    180.88
4776.72/1197.85	c  N dy 12447   1851795     33991    145221         0     87763    441067   7384554    170.72    182.45

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-3366099-1305394699/watcher-3366099-1305394699 -o /tmp/evaluation-result-3366099-1305394699/solver-3366099-1305394699 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366099-1305394699.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: 3.04 5.17 6.75 6/367 32287
/proc/meminfo: memFree=25744616/32951124 swapFree=63083164/67111528
[pid=32287] ppid=32285 vsize=193160 CPUtime=0.01 cores=1,3,5,7
/proc/32287/stat : 32287 (strangenight2-m) R 32285 32287 31462 0 -1 4202496 5409 0 0 0 1 0 0 0 18 0 4 0 631885512 197795840 4660 33554432000 4194304 4580107 140733456960720 18446744073709551615 4349571 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32287/statm: 48290 4671 334 95 0 43272 0
[pid=32287/tid=32288] ppid=32285 vsize=193160 CPUtime=0 cores=1,3,5,7
/proc/32287/task/32288/stat : 32288 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 1425 0 0 0 0 0 0 0 17 0 4 0 631885513 197795840 4740 33554432000 4194304 4580107 140733456960720 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32287/tid=32289] ppid=32285 vsize=193160 CPUtime=0 cores=1,3,5,7
/proc/32287/task/32289/stat : 32289 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 1325 0 0 0 0 0 0 0 18 0 4 0 631885513 197795840 4767 33554432000 4194304 4580107 140733456960720 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32287/tid=32290] ppid=32285 vsize=193160 CPUtime=0 cores=1,3,5,7
/proc/32287/task/32290/stat : 32290 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 460 0 0 0 0 0 0 0 17 0 4 0 631885513 197795840 4790 33554432000 4194304 4580107 140733456960720 18446744073709551615 264726510062 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0529021 s]
/proc/loadavg: 3.04 5.17 6.75 6/367 32287
/proc/meminfo: memFree=25744616/32951124 swapFree=63083164/67111528
[pid=32287] ppid=32285 vsize=317528 CPUtime=0.15 cores=1,3,5,7
/proc/32287/stat : 32287 (strangenight2-m) R 32285 32287 31462 0 -1 4202496 17352 0 0 0 12 3 0 0 18 0 4 0 631885512 325148672 14179 33554432000 4194304 4580107 140733456960720 18446744073709551615 264726510062 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32287/statm: 79382 14213 337 95 0 74364 0
[pid=32287/tid=32288] ppid=32285 vsize=317528 CPUtime=0.04 cores=1,3,5,7
/proc/32287/task/32288/stat : 32288 (strangenight2-m) S 32285 32287 31462 0 -1 4202560 4137 0 0 0 3 1 0 0 18 0 4 0 631885513 325148672 14234 33554432000 4194304 4580107 140733456960720 18446744073709551615 264726510062 0 0 4096 2 18446604464467518464 0 0 -1 5 0 0 0
[pid=32287/tid=32289] ppid=32285 vsize=317528 CPUtime=0.03 cores=1,3,5,7
/proc/32287/task/32289/stat : 32289 (strangenight2-m) S 32285 32287 31462 0 -1 4202560 4850 0 0 0 3 0 0 0 18 0 4 0 631885513 325148672 14234 33554432000 4194304 4580107 140733456960720 18446744073709551615 264726510062 0 0 4096 2 18446604464467518464 0 0 -1 1 0 0 0
[pid=32287/tid=32290] ppid=32285 vsize=317528 CPUtime=0.03 cores=1,3,5,7
/proc/32287/task/32290/stat : 32290 (strangenight2-m) S 32285 32287 31462 0 -1 4202560 3829 0 0 0 3 0 0 0 17 0 4 0 631885513 325148672 14234 33554432000 4194304 4580107 140733456960720 18446744073709551615 264726510062 0 0 4096 2 18446604464467518464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 317528

[startup+0.103805 s]
/proc/loadavg: 3.04 5.17 6.75 6/367 32287
/proc/meminfo: memFree=25744616/32951124 swapFree=63083164/67111528
[pid=32287] ppid=32285 vsize=385344 CPUtime=0.32 cores=1,3,5,7
/proc/32287/stat : 32287 (strangenight2-m) R 32285 32287 31462 0 -1 4202496 20138 0 0 0 24 8 0 0 17 0 4 0 631885512 394592256 16965 33554432000 4194304 4580107 140733456960720 18446744073709551615 264726448311 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32287/statm: 96336 16986 337 95 0 91318 0
[pid=32287/tid=32288] ppid=32285 vsize=385344 CPUtime=0.07 cores=1,3,5,7
/proc/32287/task/32288/stat : 32288 (strangenight2-m) S 32285 32287 31462 0 -1 4202560 4829 0 0 0 5 2 0 0 17 0 4 0 631885513 394592256 16999 33554432000 4194304 4580107 140733456960720 18446744073709551615 264726510062 0 0 4096 2 18446604464467518464 0 0 -1 5 0 0 0
[pid=32287/tid=32289] ppid=32285 vsize=385344 CPUtime=0.07 cores=1,3,5,7
/proc/32287/task/32289/stat : 32289 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 5629 0 0 0 6 1 0 0 17 0 4 0 631885513 394592256 17011 33554432000 4194304 4580107 140733456960720 18446744073709551615 264726510111 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32287/tid=32290] ppid=32285 vsize=385344 CPUtime=0.07 cores=1,3,5,7
/proc/32287/task/32290/stat : 32290 (strangenight2-m) S 32285 32287 31462 0 -1 4202560 4509 0 0 0 6 1 0 0 17 0 4 0 631885513 394592256 17028 33554432000 4194304 4580107 140733456960720 18446744073709551615 264726510062 0 0 4096 2 18446604464467518464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 385344

[startup+0.405083 s]
/proc/loadavg: 3.04 5.17 6.75 6/367 32287
/proc/meminfo: memFree=25744616/32951124 swapFree=63083164/67111528
[pid=32287] ppid=32285 vsize=403752 CPUtime=1.46 cores=1,3,5,7
/proc/32287/stat : 32287 (strangenight2-m) R 32285 32287 31462 0 -1 4202496 28031 0 0 0 123 23 0 0 18 0 4 0 631885512 413442048 24858 33554432000 4194304 4580107 140733456960720 18446744073709551615 264726102216 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32287/statm: 100938 24882 363 95 0 95920 0
[pid=32287/tid=32288] ppid=32285 vsize=403752 CPUtime=0.36 cores=1,3,5,7
/proc/32287/task/32288/stat : 32288 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 6739 0 0 0 31 5 0 0 18 0 4 0 631885513 413442048 24892 33554432000 4194304 4580107 140733456960720 18446744073709551615 264726066209 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32287/tid=32289] ppid=32285 vsize=403752 CPUtime=0.35 cores=1,3,5,7
/proc/32287/task/32289/stat : 32289 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 7404 0 0 0 30 5 0 0 18 0 4 0 631885513 413442048 24905 33554432000 4194304 4580107 140733456960720 18446744073709551615 264726072322 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32287/tid=32290] ppid=32285 vsize=403752 CPUtime=0.35 cores=1,3,5,7
/proc/32287/task/32290/stat : 32290 (strangenight2-m) S 32285 32287 31462 0 -1 4202560 6019 0 0 0 30 5 0 0 17 0 4 0 631885513 413442048 24916 33554432000 4194304 4580107 140733456960720 18446744073709551615 264726510062 0 0 4096 2 18446604464467518464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 403752

[startup+0.700657 s]
/proc/loadavg: 3.04 5.17 6.75 6/367 32287
/proc/meminfo: memFree=25744616/32951124 swapFree=63083164/67111528
[pid=32287] ppid=32285 vsize=428244 CPUtime=2.63 cores=1,3,5,7
/proc/32287/stat : 32287 (strangenight2-m) R 32285 32287 31462 0 -1 4202496 47141 0 0 0 236 27 0 0 18 0 4 0 631885512 438521856 37803 33554432000 4194304 4580107 140733456960720 18446744073709551615 4399686 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32287/statm: 107061 37803 373 95 0 102043 0
[pid=32287/tid=32288] ppid=32285 vsize=428244 CPUtime=0.65 cores=1,3,5,7
/proc/32287/task/32288/stat : 32288 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 13632 0 0 0 58 7 0 0 18 0 4 0 631885513 438521856 37803 33554432000 4194304 4580107 140733456960720 18446744073709551615 4417726 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32287/tid=32289] ppid=32285 vsize=428244 CPUtime=0.64 cores=1,3,5,7
/proc/32287/task/32289/stat : 32289 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 13678 0 0 0 57 7 0 0 18 0 4 0 631885513 438521856 37803 33554432000 4194304 4580107 140733456960720 18446744073709551615 4417902 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32287/tid=32290] ppid=32285 vsize=428244 CPUtime=0.63 cores=1,3,5,7
/proc/32287/task/32290/stat : 32290 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 6263 0 0 0 58 5 0 0 18 0 4 0 631885513 438521856 37803 33554432000 4194304 4580107 140733456960720 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 428244

[startup+1.50051 s]
/proc/loadavg: 3.04 5.17 6.75 10/371 32291
/proc/meminfo: memFree=25569248/32951124 swapFree=63083164/67111528
[pid=32287] ppid=32285 vsize=424404 CPUtime=5.81 cores=1,3,5,7
/proc/32287/stat : 32287 (strangenight2-m) R 32285 32287 31462 0 -1 4202496 50694 0 0 0 553 28 0 0 19 0 4 0 631885512 434589696 38676 33554432000 4194304 4580107 140733456960720 18446744073709551615 4318305 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32287/statm: 106101 38676 377 95 0 101083 0
[pid=32287/tid=32288] ppid=32285 vsize=424404 CPUtime=1.45 cores=1,3,5,7
/proc/32287/task/32288/stat : 32288 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 14596 0 0 0 138 7 0 0 19 0 4 0 631885513 434589696 38676 33554432000 4194304 4580107 140733456960720 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32287/tid=32289] ppid=32285 vsize=424404 CPUtime=1.44 cores=1,3,5,7
/proc/32287/task/32289/stat : 32289 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 15284 0 0 0 137 7 0 0 19 0 4 0 631885513 434589696 38676 33554432000 4194304 4580107 140733456960720 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32287/tid=32290] ppid=32285 vsize=424404 CPUtime=1.43 cores=1,3,5,7
/proc/32287/task/32290/stat : 32290 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 6839 0 0 0 137 6 0 0 19 0 4 0 631885513 434589696 38676 33554432000 4194304 4580107 140733456960720 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.81
Current children cumulated vsize (KiB) 424404

[startup+3.10021 s]
/proc/loadavg: 3.04 5.17 6.75 9/371 32291
/proc/meminfo: memFree=25547300/32951124 swapFree=63083164/67111528
[pid=32287] ppid=32285 vsize=555668 CPUtime=12.19 cores=1,3,5,7
/proc/32287/stat : 32287 (strangenight2-m) R 32285 32287 31462 0 -1 4202496 54430 0 0 0 1191 28 0 0 23 0 4 0 631885512 569004032 42376 33554432000 4194304 4580107 140733456960720 18446744073709551615 4318708 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32287/statm: 138917 42376 377 95 0 133899 0
[pid=32287/tid=32288] ppid=32285 vsize=555668 CPUtime=3.05 cores=1,3,5,7
/proc/32287/task/32288/stat : 32288 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 15545 0 0 0 298 7 0 0 23 0 4 0 631885513 569004032 42376 33554432000 4194304 4580107 140733456960720 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32287/tid=32289] ppid=32285 vsize=555668 CPUtime=3.04 cores=1,3,5,7
/proc/32287/task/32289/stat : 32289 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 16252 0 0 0 297 7 0 0 23 0 4 0 631885513 569004032 42376 33554432000 4194304 4580107 140733456960720 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32287/tid=32290] ppid=32285 vsize=555668 CPUtime=3.01 cores=1,3,5,7
/proc/32287/task/32290/stat : 32290 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 7696 0 0 0 295 6 0 0 23 0 4 0 631885513 569004032 42376 33554432000 4194304 4580107 140733456960720 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.19
Current children cumulated vsize (KiB) 555668

[startup+6.3006 s]
/proc/loadavg: 3.52 5.24 6.76 9/371 32291
/proc/meminfo: memFree=25465996/32951124 swapFree=63083164/67111528
[pid=32287] ppid=32285 vsize=555940 CPUtime=24.96 cores=1,3,5,7
/proc/32287/stat : 32287 (strangenight2-m) R 32285 32287 31462 0 -1 4202496 61833 0 0 0 2466 30 0 0 25 0 4 0 631885512 569282560 49779 33554432000 4194304 4580107 140733456960720 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32287/statm: 138985 49779 377 95 0 133967 0
[pid=32287/tid=32288] ppid=32285 vsize=555940 CPUtime=6.26 cores=1,3,5,7
/proc/32287/task/32288/stat : 32288 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 17306 0 0 0 618 8 0 0 25 0 4 0 631885513 569282560 49779 33554432000 4194304 4580107 140733456960720 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32287/tid=32289] ppid=32285 vsize=555940 CPUtime=6.25 cores=1,3,5,7
/proc/32287/task/32289/stat : 32289 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 18012 0 0 0 617 8 0 0 25 0 4 0 631885513 569282560 49781 33554432000 4194304 4580107 140733456960720 18446744073709551615 4320777 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32287/tid=32290] ppid=32285 vsize=555940 CPUtime=6.17 cores=1,3,5,7
/proc/32287/task/32290/stat : 32290 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 9829 0 0 0 611 6 0 0 25 0 4 0 631885513 569282560 49781 33554432000 4194304 4580107 140733456960720 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.96
Current children cumulated vsize (KiB) 555940

[startup+12.7004 s]
/proc/loadavg: 3.88 5.28 6.77 9/371 32291
/proc/meminfo: memFree=25449272/32951124 swapFree=63083164/67111528
[pid=32287] ppid=32285 vsize=458020 CPUtime=50.47 cores=1,3,5,7
/proc/32287/stat : 32287 (strangenight2-m) R 32285 32287 31462 0 -1 4202496 82175 0 0 0 5011 36 0 0 25 0 4 0 631885512 469012480 45727 33554432000 4194304 4580107 140733456960720 18446744073709551615 4325657 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32287/statm: 114505 45727 377 95 0 109487 0
[pid=32287/tid=32288] ppid=32285 vsize=458020 CPUtime=12.65 cores=1,3,5,7
/proc/32287/task/32288/stat : 32288 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 22378 0 0 0 1255 10 0 0 25 0 4 0 631885513 469012480 45727 33554432000 4194304 4580107 140733456960720 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32287/tid=32289] ppid=32285 vsize=458020 CPUtime=12.64 cores=1,3,5,7
/proc/32287/task/32289/stat : 32289 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 23087 0 0 0 1255 9 0 0 25 0 4 0 631885513 469012480 45727 33554432000 4194304 4580107 140733456960720 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32287/tid=32290] ppid=32285 vsize=458020 CPUtime=12.5 cores=1,3,5,7
/proc/32287/task/32290/stat : 32290 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 14936 0 0 0 1242 8 0 0 25 0 4 0 631885513 469012480 45727 33554432000 4194304 4580107 140733456960720 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.47
Current children cumulated vsize (KiB) 458020

[startup+25.501 s]
/proc/loadavg: 4.79 5.41 6.79 9/371 32291
/proc/meminfo: memFree=25196436/32951124 swapFree=63083164/67111528
[pid=32287] ppid=32285 vsize=656996 CPUtime=101.52 cores=1,3,5,7
/proc/32287/stat : 32287 (strangenight2-m) R 32285 32287 31462 0 -1 4202496 168921 0 0 0 10095 57 0 0 25 0 4 0 631885512 672763904 97523 33554432000 4194304 4580107 140733456960720 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32287/statm: 164249 97523 379 95 0 159231 0
[pid=32287/tid=32288] ppid=32285 vsize=656996 CPUtime=25.45 cores=1,3,5,7
/proc/32287/task/32288/stat : 32288 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 57882 0 0 0 2528 17 0 0 25 0 4 0 631885513 672763904 97523 33554432000 4194304 4580107 140733456960720 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32287/tid=32289] ppid=32285 vsize=656996 CPUtime=25.44 cores=1,3,5,7
/proc/32287/task/32289/stat : 32289 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 40018 0 0 0 2530 14 0 0 25 0 4 0 631885513 672763904 97523 33554432000 4194304 4580107 140733456960720 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32287/tid=32290] ppid=32285 vsize=656996 CPUtime=25.14 cores=1,3,5,7
/proc/32287/task/32290/stat : 32290 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 23217 0 0 0 2504 10 0 0 25 0 4 0 631885513 672763904 97523 33554432000 4194304 4580107 140733456960720 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 656996

[startup+51.1012 s]
/proc/loadavg: 6.01 5.65 6.83 9/371 32292
/proc/meminfo: memFree=25035948/32951124 swapFree=63083164/67111528
[pid=32287] ppid=32285 vsize=759228 CPUtime=203.61 cores=1,3,5,7
/proc/32287/stat : 32287 (strangenight2-m) R 32285 32287 31462 0 -1 4202496 253359 0 0 0 20282 79 0 0 25 0 4 0 631885512 777449472 127465 33554432000 4194304 4580107 140733456960720 18446744073709551615 4320813 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32287/statm: 189807 127465 379 95 0 184789 0
[pid=32287/tid=32288] ppid=32285 vsize=759228 CPUtime=51.04 cores=1,3,5,7
/proc/32287/task/32288/stat : 32288 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 76523 0 0 0 5082 22 0 0 25 0 4 0 631885513 777449472 127465 33554432000 4194304 4580107 140733456960720 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32287/tid=32289] ppid=32285 vsize=759228 CPUtime=50.74 cores=1,3,5,7
/proc/32287/task/32289/stat : 32289 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 55948 0 0 0 5055 19 0 0 25 0 4 0 631885513 777449472 127465 33554432000 4194304 4580107 140733456960720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32287/tid=32290] ppid=32285 vsize=759228 CPUtime=50.73 cores=1,3,5,7
/proc/32287/task/32290/stat : 32290 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 52426 0 0 0 5055 18 0 0 25 0 4 0 631885513 777449472 127465 33554432000 4194304 4580107 140733456960720 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.61
Current children cumulated vsize (KiB) 759228

[startup+102.3 s]
/proc/loadavg: 7.20 6.03 6.89 9/371 32293
/proc/meminfo: memFree=24729604/32951124 swapFree=63083164/67111528
[pid=32287] ppid=32285 vsize=1073220 CPUtime=407.85 cores=1,3,5,7
/proc/32287/stat : 32287 (strangenight2-m) R 32285 32287 31462 0 -1 4202496 383330 0 0 0 40667 118 0 0 25 0 4 0 631885512 1098977280 189115 33554432000 4194304 4580107 140733456960720 18446744073709551615 4318418 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32287/statm: 268305 189115 379 95 0 263287 0
[pid=32287/tid=32288] ppid=32285 vsize=1073220 CPUtime=102.25 cores=1,3,5,7
/proc/32287/task/32288/stat : 32288 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 101452 0 0 0 10195 30 0 0 25 0 4 0 631885513 1098977280 189115 33554432000 4194304 4580107 140733456960720 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32287/tid=32289] ppid=32285 vsize=1073220 CPUtime=101.34 cores=1,3,5,7
/proc/32287/task/32289/stat : 32289 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 85140 0 0 0 10106 28 0 0 25 0 4 0 631885513 1098977280 189115 33554432000 4194304 4580107 140733456960720 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32287/tid=32290] ppid=32285 vsize=1073220 CPUtime=101.94 cores=1,3,5,7
/proc/32287/task/32290/stat : 32290 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 90085 0 0 0 10165 29 0 0 25 0 4 0 631885513 1098977280 189115 33554432000 4194304 4580107 140733456960720 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.85
Current children cumulated vsize (KiB) 1073220

[startup+162.301 s]

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

[pid=32287] ppid=32285 vsize=1596644 CPUtime=2561.36 cores=1,3,5,7
/proc/32287/stat : 32287 (strangenight2-m) R 32285 32287 31462 0 -1 4202496 1360946 0 0 0 255681 455 0 0 25 0 4 0 631885512 1634963456 316948 33554432000 4194304 4580107 140733456960720 18446744073709551615 4318418 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32287/statm: 399161 316950 379 95 0 394143 0
[pid=32287/tid=32288] ppid=32285 vsize=1596644 CPUtime=642.2 cores=1,3,5,7
/proc/32287/task/32288/stat : 32288 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 334224 0 0 0 64106 114 0 0 25 0 4 0 631885513 1634963456 316950 33554432000 4194304 4580107 140733456960720 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32287/tid=32289] ppid=32285 vsize=1596644 CPUtime=640 cores=1,3,5,7
/proc/32287/task/32289/stat : 32289 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 327374 0 0 0 63889 111 0 0 25 0 4 0 631885513 1634963456 316951 33554432000 4194304 4580107 140733456960720 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32287/tid=32290] ppid=32285 vsize=1596644 CPUtime=636.87 cores=1,3,5,7
/proc/32287/task/32290/stat : 32290 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 354984 0 0 0 63572 115 0 0 25 0 4 0 631885513 1634963456 316952 33554432000 4194304 4580107 140733456960720 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2561.36
Current children cumulated vsize (KiB) 1596644

[startup+702.3 s]
/proc/loadavg: 8.08 7.80 7.44 9/371 32309
/proc/meminfo: memFree=23938588/32951124 swapFree=63083164/67111528
[pid=32287] ppid=32285 vsize=1454576 CPUtime=2800.62 cores=1,3,5,7
/proc/32287/stat : 32287 (strangenight2-m) R 32285 32287 31462 0 -1 4202496 1457461 0 0 0 279572 490 0 0 25 0 4 0 631885512 1489485824 316019 33554432000 4194304 4580107 140733456960720 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32287/statm: 363644 316019 379 95 0 358626 0
[pid=32287/tid=32288] ppid=32285 vsize=1454576 CPUtime=702.2 cores=1,3,5,7
/proc/32287/task/32288/stat : 32288 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 358380 0 0 0 70097 123 0 0 25 0 4 0 631885513 1489485824 316019 33554432000 4194304 4580107 140733456960720 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32287/tid=32289] ppid=32285 vsize=1454576 CPUtime=699.99 cores=1,3,5,7
/proc/32287/task/32289/stat : 32289 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 351702 0 0 0 69879 120 0 0 25 0 4 0 631885513 1489485824 316019 33554432000 4194304 4580107 140733456960720 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32287/tid=32290] ppid=32285 vsize=1454576 CPUtime=696.16 cores=1,3,5,7
/proc/32287/task/32290/stat : 32290 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 378680 0 0 0 69492 124 0 0 25 0 4 0 631885513 1489485824 316019 33554432000 4194304 4580107 140733456960720 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2800.62
Current children cumulated vsize (KiB) 1454576

[startup+762.301 s]
/proc/loadavg: 8.14 7.87 7.48 9/371 32311
/proc/meminfo: memFree=23903824/32951124 swapFree=63083164/67111528
[pid=32287] ppid=32285 vsize=1730072 CPUtime=3039.96 cores=1,3,5,7
/proc/32287/stat : 32287 (strangenight2-m) R 32285 32287 31462 0 -1 4202496 1553296 0 0 0 303469 527 0 0 25 0 4 0 631885512 1771593728 332394 33554432000 4194304 4580107 140733456960720 18446744073709551615 4306388 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32287/statm: 432518 332394 379 95 0 427500 0
[pid=32287/tid=32288] ppid=32285 vsize=1730072 CPUtime=762.2 cores=1,3,5,7
/proc/32287/task/32288/stat : 32288 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 386713 0 0 0 76089 131 0 0 25 0 4 0 631885513 1771593728 332394 33554432000 4194304 4580107 140733456960720 18446744073709551615 4416320 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32287/tid=32289] ppid=32285 vsize=1730072 CPUtime=760.01 cores=1,3,5,7
/proc/32287/task/32289/stat : 32289 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 376241 0 0 0 75871 130 0 0 25 0 4 0 631885513 1771593728 332394 33554432000 4194304 4580107 140733456960720 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32287/tid=32290] ppid=32285 vsize=1730072 CPUtime=755.46 cores=1,3,5,7
/proc/32287/task/32290/stat : 32290 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 403398 0 0 0 75411 135 0 0 25 0 4 0 631885513 1771593728 332394 33554432000 4194304 4580107 140733456960720 18446744073709551615 4416719 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3039.96
Current children cumulated vsize (KiB) 1730072

[startup+822.301 s]
/proc/loadavg: 8.27 7.95 7.54 9/371 32313
/proc/meminfo: memFree=23916544/32951124 swapFree=63083164/67111528
[pid=32287] ppid=32285 vsize=1560004 CPUtime=3279.2 cores=1,3,5,7
/proc/32287/stat : 32287 (strangenight2-m) R 32285 32287 31462 0 -1 4202496 1650542 0 0 0 327355 565 0 0 25 0 4 0 631885512 1597444096 309192 33554432000 4194304 4580107 140733456960720 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32287/statm: 390001 309192 379 95 0 384983 0
[pid=32287/tid=32288] ppid=32285 vsize=1560004 CPUtime=822.19 cores=1,3,5,7
/proc/32287/task/32288/stat : 32288 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 412857 0 0 0 82077 142 0 0 18 0 4 0 631885513 1597444096 309192 33554432000 4194304 4580107 140733456960720 18446744073709551615 4293208 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32287/tid=32289] ppid=32285 vsize=1560004 CPUtime=819.98 cores=1,3,5,7
/proc/32287/task/32289/stat : 32289 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 399046 0 0 0 81859 139 0 0 25 0 4 0 631885513 1597444096 309192 33554432000 4194304 4580107 140733456960720 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32287/tid=32290] ppid=32285 vsize=1560004 CPUtime=814.74 cores=1,3,5,7
/proc/32287/task/32290/stat : 32290 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 428435 0 0 0 81330 144 0 0 25 0 4 0 631885513 1597444096 309192 33554432000 4194304 4580107 140733456960720 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3279.2
Current children cumulated vsize (KiB) 1560004

[startup+882.315 s]
/proc/loadavg: 8.21 7.99 7.57 9/371 32314
/proc/meminfo: memFree=23773404/32951124 swapFree=63083164/67111528
[pid=32287] ppid=32285 vsize=1654312 CPUtime=3518.53 cores=1,3,5,7
/proc/32287/stat : 32287 (strangenight2-m) R 32285 32287 31462 0 -1 4202496 1746455 0 0 0 351252 601 0 0 25 0 4 0 631885512 1694015488 333905 33554432000 4194304 4580107 140733456960720 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32287/statm: 413578 333905 445 95 0 408560 0
[pid=32287/tid=32288] ppid=32285 vsize=1654312 CPUtime=882.2 cores=1,3,5,7
/proc/32287/task/32288/stat : 32288 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 437365 0 0 0 88067 153 0 0 25 0 4 0 631885513 1694015488 333905 33554432000 4194304 4580107 140733456960720 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32287/tid=32289] ppid=32285 vsize=1654312 CPUtime=880.01 cores=1,3,5,7
/proc/32287/task/32289/stat : 32289 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 421575 0 0 0 87852 149 0 0 25 0 4 0 631885513 1694015488 333905 33554432000 4194304 4580107 140733456960720 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32287/tid=32290] ppid=32285 vsize=1654312 CPUtime=874.03 cores=1,3,5,7
/proc/32287/task/32290/stat : 32290 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 452934 0 0 0 87250 153 0 0 25 0 4 0 631885513 1694015488 333905 33554432000 4194304 4580107 140733456960720 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3518.53
Current children cumulated vsize (KiB) 1654312

[startup+942.301 s]
/proc/loadavg: 8.25 8.03 7.61 9/371 32316
/proc/meminfo: memFree=23895000/32951124 swapFree=63083164/67111528
[pid=32287] ppid=32285 vsize=1683720 CPUtime=3757.76 cores=1,3,5,7
/proc/32287/stat : 32287 (strangenight2-m) R 32285 32287 31462 0 -1 4202496 1840424 0 0 0 375141 635 0 0 25 0 4 0 631885512 1724129280 325307 33554432000 4194304 4580107 140733456960720 18446744073709551615 4295888 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32287/statm: 420930 325308 445 95 0 415912 0
[pid=32287/tid=32288] ppid=32285 vsize=1683720 CPUtime=942.18 cores=1,3,5,7
/proc/32287/task/32288/stat : 32288 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 459838 0 0 0 94057 161 0 0 25 0 4 0 631885513 1724129280 325308 33554432000 4194304 4580107 140733456960720 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32287/tid=32289] ppid=32285 vsize=1683720 CPUtime=939.99 cores=1,3,5,7
/proc/32287/task/32289/stat : 32289 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 440552 0 0 0 93844 155 0 0 25 0 4 0 631885513 1724129280 325308 33554432000 4194304 4580107 140733456960720 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32287/tid=32290] ppid=32285 vsize=1683720 CPUtime=933.31 cores=1,3,5,7
/proc/32287/task/32290/stat : 32290 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 478969 0 0 0 93167 164 0 0 25 0 4 0 631885513 1724129280 325308 33554432000 4194304 4580107 140733456960720 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3757.76
Current children cumulated vsize (KiB) 1683720

[startup+1002.3 s]
/proc/loadavg: 8.15 8.04 7.64 9/371 32317
/proc/meminfo: memFree=23766744/32951124 swapFree=63083164/67111528
[pid=32287] ppid=32285 vsize=1621300 CPUtime=3997.04 cores=1,3,5,7
/proc/32287/stat : 32287 (strangenight2-m) R 32285 32287 31462 0 -1 4202496 1928315 0 0 0 399035 669 0 0 25 0 4 0 631885512 1660211200 345967 33554432000 4194304 4580107 140733456960720 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32287/statm: 405325 345967 399 95 0 400307 0
[pid=32287/tid=32288] ppid=32285 vsize=1621300 CPUtime=1002.18 cores=1,3,5,7
/proc/32287/task/32288/stat : 32288 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 480013 0 0 0 100050 168 0 0 25 0 4 0 631885513 1660211200 345967 33554432000 4194304 4580107 140733456960720 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32287/tid=32289] ppid=32285 vsize=1621300 CPUtime=999.99 cores=1,3,5,7
/proc/32287/task/32289/stat : 32289 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 463800 0 0 0 99835 164 0 0 25 0 4 0 631885513 1660211200 345967 33554432000 4194304 4580107 140733456960720 18446744073709551615 4318990 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32287/tid=32290] ppid=32285 vsize=1621300 CPUtime=992.59 cores=1,3,5,7
/proc/32287/task/32290/stat : 32290 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 502969 0 0 0 99086 173 0 0 25 0 4 0 631885513 1660211200 345967 33554432000 4194304 4580107 140733456960720 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.04
Current children cumulated vsize (KiB) 1621300

[startup+1062.3 s]
/proc/loadavg: 8.18 8.06 7.67 9/371 32319
/proc/meminfo: memFree=23828212/32951124 swapFree=63083164/67111528
[pid=32287] ppid=32285 vsize=1706456 CPUtime=4236.34 cores=1,3,5,7
/proc/32287/stat : 32287 (strangenight2-m) R 32285 32287 31462 0 -1 4202496 2026142 0 0 0 422930 704 0 0 25 0 4 0 631885512 1747410944 332624 33554432000 4194304 4580107 140733456960720 18446744073709551615 4293131 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32287/statm: 426614 332624 384 95 0 421596 0
[pid=32287/tid=32288] ppid=32285 vsize=1706456 CPUtime=1062.18 cores=1,3,5,7
/proc/32287/task/32288/stat : 32288 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 506229 0 0 0 106041 177 0 0 25 0 4 0 631885513 1747410944 332624 33554432000 4194304 4580107 140733456960720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32287/tid=32289] ppid=32285 vsize=1706456 CPUtime=1059.99 cores=1,3,5,7
/proc/32287/task/32289/stat : 32289 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 487505 0 0 0 105826 173 0 0 25 0 4 0 631885513 1747410944 332624 33554432000 4194304 4580107 140733456960720 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32287/tid=32290] ppid=32285 vsize=1706456 CPUtime=1051.88 cores=1,3,5,7
/proc/32287/task/32290/stat : 32290 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 528637 0 0 0 105006 182 0 0 25 0 4 0 631885513 1747410944 332624 33554432000 4194304 4580107 140733456960720 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4236.34
Current children cumulated vsize (KiB) 1706456

[startup+1122.3 s]
/proc/loadavg: 8.10 8.06 7.69 9/371 32321
/proc/meminfo: memFree=23631520/32951124 swapFree=63083164/67111528
[pid=32287] ppid=32285 vsize=1770476 CPUtime=4475.61 cores=1,3,5,7
/proc/32287/stat : 32287 (strangenight2-m) R 32285 32287 31462 0 -1 4202496 2113597 0 0 0 446821 740 0 0 25 0 4 0 631885512 1812967424 358105 33554432000 4194304 4580107 140733456960720 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32287/statm: 442619 358105 379 95 0 437601 0
[pid=32287/tid=32288] ppid=32285 vsize=1770476 CPUtime=1122.18 cores=1,3,5,7
/proc/32287/task/32288/stat : 32288 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 528325 0 0 0 112032 186 0 0 25 0 4 0 631885513 1812967424 358105 33554432000 4194304 4580107 140733456960720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32287/tid=32289] ppid=32285 vsize=1770476 CPUtime=1119.99 cores=1,3,5,7
/proc/32287/task/32289/stat : 32289 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 511474 0 0 0 111816 183 0 0 25 0 4 0 631885513 1812967424 358105 33554432000 4194304 4580107 140733456960720 18446744073709551615 4321817 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32287/tid=32290] ppid=32285 vsize=1770476 CPUtime=1111.17 cores=1,3,5,7
/proc/32287/task/32290/stat : 32290 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 550957 0 0 0 110925 192 0 0 25 0 4 0 631885513 1812967424 358105 33554432000 4194304 4580107 140733456960720 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4475.61
Current children cumulated vsize (KiB) 1770476

[startup+1182.3 s]
/proc/loadavg: 8.18 8.09 7.72 9/371 32322
/proc/meminfo: memFree=23825772/32951124 swapFree=63083164/67111528
[pid=32287] ppid=32285 vsize=1610668 CPUtime=4714.9 cores=1,3,5,7
/proc/32287/stat : 32287 (strangenight2-m) R 32285 32287 31462 0 -1 4202496 2210552 0 0 0 470711 779 0 0 25 0 4 0 631885512 1649324032 322599 33554432000 4194304 4580107 140733456960720 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32287/statm: 402667 322599 379 95 0 397649 0
[pid=32287/tid=32288] ppid=32285 vsize=1610668 CPUtime=1182.17 cores=1,3,5,7
/proc/32287/task/32288/stat : 32288 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 554053 0 0 0 118022 195 0 0 25 0 4 0 631885513 1649324032 322599 33554432000 4194304 4580107 140733456960720 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32287/tid=32289] ppid=32285 vsize=1610668 CPUtime=1179.99 cores=1,3,5,7
/proc/32287/task/32289/stat : 32289 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 537577 0 0 0 117805 194 0 0 25 0 4 0 631885513 1649324032 322599 33554432000 4194304 4580107 140733456960720 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32287/tid=32290] ppid=32285 vsize=1610668 CPUtime=1170.46 cores=1,3,5,7
/proc/32287/task/32290/stat : 32290 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 574453 0 0 0 116846 200 0 0 25 0 4 0 631885513 1649324032 322599 33554432000 4194304 4580107 140733456960720 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4714.9
Current children cumulated vsize (KiB) 1610668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.13 8.08 7.73 5/366 32324
/proc/meminfo: memFree=24290048/32951124 swapFree=63083164/67111528
[pid=32287] ppid=32285 vsize=1804340 CPUtime=4800.27 cores=1,3,5,7
/proc/32287/stat : 32287 (strangenight2-m) R 32285 32287 31462 0 -1 4202496 2266175 0 0 0 479229 798 0 0 25 0 4 0 631885512 1847644160 364298 33554432000 4194304 4580107 140733456960720 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32287/statm: 451085 364298 379 95 0 446067 0
[pid=32287/tid=32288] ppid=32285 vsize=1804340 CPUtime=1203.59 cores=1,3,5,7
/proc/32287/task/32288/stat : 32288 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 562349 0 0 0 120160 199 0 0 25 0 4 0 631885513 1847644160 364298 33554432000 4194304 4580107 140733456960720 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32287/tid=32289] ppid=32285 vsize=1804340 CPUtime=1201.4 cores=1,3,5,7
/proc/32287/task/32289/stat : 32289 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 571124 0 0 0 119935 205 0 0 25 0 4 0 631885513 1847644160 364298 33554432000 4194304 4580107 140733456960720 18446744073709551615 4451900 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32287/tid=32290] ppid=32285 vsize=1804340 CPUtime=1191.6 cores=1,3,5,7
/proc/32287/task/32290/stat : 32290 (strangenight2-m) R 32285 32287 31462 0 -1 4202560 579917 0 0 0 118957 203 0 0 25 0 4 0 631885513 1847644160 364298 33554432000 4194304 4580107 140733456960720 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 1804340

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.79
CPU time (s): 4800.38
CPU user time (s): 4792.32
CPU system time (s): 8.05277
CPU usage (%): 398.773
Max. virtual memory (cumulated for all children) (KiB): 1804340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.32
system time used= 8.05278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2266181
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= 21615
involuntary context switches= 20662

runsolver used 3.85541 second user time and 10.4354 second system time

The end

Launcher Data 

Begin job on node141 at 2011-05-14 19:38:19
IDJOB=3366099
IDBENCH=82508
IDSOLVER=1844
FILE ID=node141/3366099-1305394699
RUNJOBID= node141-1305394699-32265
PBS_JOBID= 13324432
Free space on /tmp= 73292 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v35000-c147000-S883457431-033-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366099-1305394699/watcher-3366099-1305394699 -o /tmp/evaluation-result-3366099-1305394699/solver-3366099-1305394699 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366099-1305394699.cnf

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

MD5SUM BENCH= 0d0abbf84f73b4226aa3bedf08367d2e
RANDOM SEED=390768102

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:      25744772 kB
Buffers:        218980 kB
Cached:        4769104 kB
SwapCached:      15356 kB
Active:        1943392 kB
Inactive:      5023960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25744772 kB
SwapTotal:    67111528 kB
SwapFree:     63083164 kB
Dirty:           13980 kB
Writeback:           0 kB
AnonPages:     1971588 kB
Mapped:          12808 kB
Slab:           135812 kB
PageTables:      37592 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 86317324 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= 73292 MiB
End job on node141 at 2011-05-14 19:58:25