Trace number 3321234

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-mtUNSAT 1513.68 189.405

General information on the benchmark

NameSAT03/industrial/goldberg/hard_eq_check/
x1mul.miter.shuffled-as.sat03-359.cnf
MD5SUM9edcffddbe07377cf6685697aafad673
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark622.811
Satisfiable
(Un)Satisfiability was proved
Number of variables8756
Number of clauses55571
Sum of the clauses size187746
Maximum clause length70
Minimum clause length1
Number of clauses of size 128
Number of clauses of size 212786
Number of clauses of size 325852
Number of clauses of size 40
Number of clauses of size 516904
Number of clauses of size over 51

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 8 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-3321234-1304332728.cnf'
0.00/0.01	c -- header says num vars:           8756
0.00/0.01	c -- header says num clauses:       55571
0.04/0.07	c -- clauses added:            0 learnts,        55571 normals,            0 xors
0.04/0.07	c -- vars added       8756
0.04/0.07	c Parsing time:  0.03 s
0.04/0.07	c  N st     0         0      8756     42719     12794         0    187620         0   no data   no data
0.04/0.80	c asymm  cl-useful: 22/8916/42701 lits-rem:29 time: 0.72
8.23/1.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.1M T:  0.31
8.23/1.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.23/1.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.23/1.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
8.23/1.17	c Subs w/ non-existent bins:      8 l-rem:      4 v-fix:     0 done:   8714 time:  0.02 s
9.15/1.19	c Removed useless bin:       0  fixed:     0  props:   2.44M  time:  0.02 s
9.15/1.25	c lits-rem:       108  cl-subs:      229  v-elim:    111  v-fix:    0  time:  0.06 s
9.15/1.26	c Finding binary XORs  T:     0.01 s  found:       0
10.07/1.29	c Finding non-binary XORs:     0.02 s (found:      53, avg size: 3.0)
10.07/1.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.07/1.29	c calculated reachability. Time: 0.00
10.07/1.29	c Calc default polars -  time:   0.00 s pos:    4239 undec:     158 neg:    4359
10.07/1.29	c =========================================================================================
10.07/1.29	c types(t): F = full restart, N = normal restart
10.07/1.29	c types(t): S = simplification begin/end, E = solution found
10.07/1.29	c restart types(rt): st = static, dy = dynamic
10.07/1.29	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
10.07/1.29	c  B st     0         0      8603     42243     12684         0    186454         0   no data   no data
15.01/1.98	c  N dy    19      4694      8597     42243     12766      4546    186454     61063      6.33      6.71
18.99/2.47	c  N dy    36      8788      8589     42243     13074      5039    186454     33076      6.29      6.63
23.80/3.04	c  N dy    59     12799      8581     42243     13430      8947    186454    100917      6.43      6.93
28.58/3.67	c  N dy    89     16864      8580     42243     13478      7264    186454     53477      6.58     10.21
31.78/4.01	c Finding binary XORs  T:     0.01 s  found:      91
31.78/4.02	c Replacing      102 vars Replaced     3119 lits Time:     0.01 s 
33.38/4.28	c  N dy   115     20979      8463     42083     13711     10983    185648    109723      6.57      7.01
38.98/4.91	c  N dy   143     24984      8457     42083     14134      7986    185648     43940      6.81      7.21
38.98/4.92	c  F st   144     25000      8457     42083     14135      8001    185648     44016      6.81   no data
38.98/4.92	c Replacing        6 vars Replaced       82 lits Time:     0.00 s 
44.63/5.62	c  N dy   150     30000      8449     42062     14133     12852    185493    243341      6.81   no data
44.63/5.62	c  S st   150     30000      8449     42062     14133     12852    185493    243341      6.81   no data
45.36/5.76	c  S st   150     30501      8448     42062     14448     13322    185493    249244      6.81   no data
45.36/5.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
50.97/6.44	c Flit:    11 Blit:      0 bXBeca:    0 bXProp:   85 Bins:  28358 BRemL:  13355 BRemN:     13 P: 14.3M T:  0.67
50.97/6.46	c Replacing       86 vars Replaced     4919 lits Time:     0.02 s 
50.97/6.47	c blocked clauses removed:       40 vars:      4 tried:        8248 T: 0.00 s
50.97/6.47	c bin-w-bin subsume rem          297 bins  time:  0.01 s
50.97/6.48	c subs with bin:      453  lits-rem:       391  v-fix:    0  time:  0.01 s
51.77/6.51	c Subs w/ non-existent bins:     36 l-rem:     59 v-fix:     0 done:   8343 time:  0.03 s
51.77/6.52	c Removed useless bin:      33  fixed:     0  props:   0.55M  time:  0.01 s
51.77/6.57	c lits-rem:        11  cl-subs:      919  v-elim:     87  v-fix:    0  time:  0.05 s
51.77/6.59	c subs with bin:      373  lits-rem:      1086  v-fix:    0  time:  0.02 s
52.62/6.63	c lits-rem:       277  cl-subs:      266  v-elim:      0  v-fix:    0  time:  0.03 s
52.62/6.63	c Added XOR as norm:33
58.16/7.36	c asymm  cl-useful: 38/7947/40861 lits-rem:44 time: 0.74
58.16/7.37	c calculated reachability. Time: 0.00
58.16/7.37	c  N dy   150     30501      8256     40859     23235     10396    180634    121824      6.81   no data
58.16/7.38	c Finding binary XORs  T:     0.01 s  found:       2
63.76/8.06	c  N dy   181     34660      8253     40859     23290     14443    180634    200747      6.86      7.31
68.56/8.68	c  N dy   207     38713      8244     40859     24019     12127    180634    124418      6.89      7.27
74.15/9.33	c  N dy   239     42774      8244     40859     30042     16107    180634    231371      6.99      8.11
74.15/9.34	c Finding binary XORs  T:     0.01 s  found:     170
74.15/9.35	c Replacing      172 vars Replaced     8966 lits Time:     0.01 s 
78.15/9.86	c  S st   259     45753      8069     40794     29272     18254    180340    289316      7.05   no data
79.80/10.01	c  S st   259     46255      8069     40794     29296     10872    180340     76362      7.05   no data
79.80/10.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
84.54/10.64	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:   12 Bins:  20727 BRemL:  17517 BRemN:     29 P: 13.0M T:  0.62
84.54/10.65	c Replacing       12 vars Replaced      636 lits Time:     0.01 s 
84.54/10.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
84.54/10.66	c bin-w-bin subsume rem         1158 bins  time:  0.01 s
84.54/10.67	c subs with bin:      185  lits-rem:       211  v-fix:    0  time:  0.01 s
85.34/10.70	c Subs w/ non-existent bins:     20 l-rem:     22 v-fix:     0 done:   8054 time:  0.02 s
85.34/10.71	c Removed useless bin:      13  fixed:     0  props:   0.52M  time:  0.01 s
85.34/10.76	c lits-rem:        18  cl-subs:      899  v-elim:     42  v-fix:    0  time:  0.05 s
85.34/10.77	c subs with bin:      194  lits-rem:       149  v-fix:    0  time:  0.01 s
85.34/10.79	c lits-rem:        38  cl-subs:       85  v-elim:      0  v-fix:    0  time:  0.01 s
86.14/10.81	c vivif2 --  cl tried    39805 cl shrink       57 lits rem         67 time: 0.02
86.14/10.81	c vivif2 --  cl tried    10371 cl shrink       95 lits rem        111 time: 0.00
92.52/11.61	c asymm  cl-useful: 0/9357/39795 lits-rem:0 time: 0.80
92.52/11.61	c calculated reachability. Time: 0.00
92.52/11.61	c  N dy   259     46255      8012     39795     25519     10360    176017     67116      7.05   no data
92.52/11.62	c Finding binary XORs  T:     0.01 s  found:       1
97.39/12.29	c  N dy   292     50350      8005     39795     33760     14379    176017    177125      7.12      7.53
98.12/12.33	c Finding binary XORs  T:     0.01 s  found:     111
98.12/12.34	c Replacing      112 vars Replaced     4739 lits Time:     0.01 s 
103.72/13.00	c  N dy   324     54355      7892     39753     33080     18176    175819    279887      7.20      9.12
108.52/13.66	c Finding binary XORs  T:     0.01 s  found:      42
109.32/13.78	c  N dy   360     58478      7887     39722     44182     22005    175700    432783      7.34      7.84
115.72/14.53	c  N dy   395     62529      7887     39722     48897     16507    175700    237549      7.43      8.39
121.31/15.24	c  N dy   426     66550      7885     39722     48915     20474    175700    366168      7.52      8.38
124.51/15.66	c Finding binary XORs  T:     0.01 s  found:     101
124.51/15.68	c Replacing      143 vars Replaced    10237 lits Time:     0.02 s 
125.31/15.77	c  S st   448     69383      7741     39710     52367     22961    175632    460867      7.58      5.68
126.90/15.92	c  S st   448     69885      7740     39710     52387     23438    175632    469110      7.58   no data
126.90/15.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
133.29/16.79	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    3 Bins:  18057 BRemL:  26013 BRemN:      3 P: 15.7M T:  0.85
134.09/16.80	c Replacing        3 vars Replaced      171 lits Time:     0.01 s 
134.09/16.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
134.09/16.82	c bin-w-bin subsume rem         1990 bins  time:  0.01 s
134.09/16.83	c subs with bin:      225  lits-rem:       194  v-fix:    0  time:  0.01 s
134.09/16.86	c Subs w/ non-existent bins:     32 l-rem:     46 v-fix:     0 done:   7735 time:  0.02 s
134.09/16.86	c Removed useless bin:      18  fixed:     0  props:   0.67M  time:  0.01 s
134.89/16.91	c lits-rem:         8  cl-subs:     1278  v-elim:     41  v-fix:    0  time:  0.05 s
134.89/16.99	c subs with bin:      293  lits-rem:      2432  v-fix:    0  time:  0.06 s
135.69/17.05	c lits-rem:       712  cl-subs:      311  v-elim:      0  v-fix:    0  time:  0.05 s
135.69/17.07	c vivif2 --  cl tried    38254 cl shrink       68 lits rem         80 time: 0.02
135.69/17.09	c vivif2 --  cl tried    20333 cl shrink     2675 lits rem      11680 time: 0.02
142.09/17.88	c asymm  cl-useful: 30/7274/38254 lits-rem:90 time: 0.79
142.09/17.89	c calculated reachability. Time: 0.00
142.09/17.89	c  N dy   448     69885      7694     38224     36737     20331    169610    278993      7.58   no data
142.89/17.90	c Finding binary XORs  T:     0.01 s  found:       2
148.48/18.60	c Finding binary XORs  T:     0.01 s  found:     112
148.48/18.61	c Replacing      114 vars Replaced     5246 lits Time:     0.01 s 
149.33/18.74	c  N dy   476     74611      7574     38182     42951     16024    169435    180287      7.59      8.01
155.68/19.57	c  N dy   516     79453      7574     38182     45826     20800    169435    354877      7.68     10.49
163.68/20.57	c  N dy   560     84603      7573     38182     45846     25884    169435    521660      7.79     11.22
168.47/21.10	c  F st   584     87500      7573     38182     45979     17066    169435    161854      7.83   no data
168.47/21.18	c Finding binary XORs  T:     0.01 s  found:      68
172.47/21.69	c  N st   589     90799      7573     38178     45975     20322    169417    320116      7.83   no data
175.72/22.08	c Finding binary XORs  T:     0.01 s  found:      63
175.72/22.10	c Replacing      131 vars Replaced     9695 lits Time:     0.02 s 
182.06/22.82	c  N dy   626     96652      7440     38166     56772     25922    169360    518296      7.89      9.18
190.85/23.96	c  N dy   673    102895      7440     38166     57072     18730    169360    199565      7.96      9.72
193.30/24.30	c  S st   689    104828      7440     38166     57075     20643    169360    262579      7.98   no data
194.84/24.46	c  S st   689    105332      7439     38166     57195     21123    169360    271261      7.98   no data
194.84/24.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
202.09/25.34	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   91 Bins:  11874 BRemL:  21110 BRemN:     31 P: 15.5M T:  0.87
202.09/25.36	c Replacing       91 vars Replaced     4869 lits Time:     0.02 s 
202.09/25.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
202.09/25.38	c bin-w-bin subsume rem         1436 bins  time:  0.01 s
202.09/25.39	c subs with bin:      207  lits-rem:       183  v-fix:    0  time:  0.01 s
202.90/25.41	c Subs w/ non-existent bins:     20 l-rem:     36 v-fix:     0 done:   7347 time:  0.02 s
202.90/25.42	c Removed useless bin:      29  fixed:     0  props:   0.63M  time:  0.01 s
202.90/25.47	c lits-rem:         6  cl-subs:     1599  v-elim:     48  v-fix:    0  time:  0.05 s
203.63/25.52	c subs with bin:      326  lits-rem:       580  v-fix:    0  time:  0.04 s
203.63/25.55	c lits-rem:       287  cl-subs:      347  v-elim:      0  v-fix:    0  time:  0.03 s
203.63/25.57	c vivif2 --  cl tried    36465 cl shrink       74 lits rem         84 time: 0.02
203.63/25.59	c vivif2 --  cl tried    19544 cl shrink     1011 lits rem       3317 time: 0.01
206.84/25.92	c asymm  cl-useful: 5/2970/36464 lits-rem:15 time: 0.33
206.84/25.93	c calculated reachability. Time: 0.00
206.84/25.93	c  N dy   689    105332      7299     36459     38064     19543    161930    190659      7.98   no data
206.84/25.94	c Finding binary XORs  T:     0.01 s  found:       7
217.23/27.20	c  N dy   730    112472      7298     36459     38275     26589    161930    418547      8.01      8.44
226.82/28.49	c Finding binary XORs  T:     0.01 s  found:      93
227.62/28.50	c Replacing      100 vars Replaced     4261 lits Time:     0.01 s 
227.62/28.56	c  N dy   795    119662      7196     36445     44586     19683    161853    188916      8.12      8.59
239.61/30.02	c  N dy   856    127385      7196     36445     48294     27331    161853    491086      8.18     12.95
242.81/30.42	c Finding binary XORs  T:     0.01 s  found:      94
242.81/30.44	c Replacing       94 vars Replaced     6133 lits Time:     0.01 s 
254.00/31.80	c  N dy   926    135522      7102     36445     48422     20139    161853    162907      8.28     13.30
268.39/33.63	c  N dy   978    144309      7102     36445     48540     28814    161853    471502      8.32      8.77
285.17/35.70	c  N dy  1043    153539      7102     36445     59774     37962    161853    842881      8.37     10.34
285.97/35.88	c Finding binary XORs  T:     0.01 s  found:     153
285.97/35.89	c Replacing      153 vars Replaced     8100 lits Time:     0.01 s 
293.17/36.70	c  S st  1074    157998      6944     36418     58828     25879    161721    357724      8.40   no data
293.97/36.83	c  S st  1074    158500      6944     36418     58833     26374    161721    371539      8.40   no data
293.97/36.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
301.15/37.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    9 Bins:   8558 BRemL:  20289 BRemN:     11 P: 15.5M T:  0.88
301.15/37.73	c Replacing        9 vars Replaced      426 lits Time:     0.01 s 
301.15/37.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
301.15/37.75	c bin-w-bin subsume rem         1550 bins  time:  0.01 s
301.15/37.76	c subs with bin:      161  lits-rem:       116  v-fix:    0  time:  0.01 s
301.15/37.78	c Subs w/ non-existent bins:     14 l-rem:     28 v-fix:     0 done:   6935 time:  0.02 s
301.15/37.79	c Removed useless bin:      11  fixed:     0  props:   0.70M  time:  0.01 s
301.95/37.84	c lits-rem:        18  cl-subs:     1705  v-elim:     30  v-fix:    0  time:  0.05 s
302.75/37.93	c subs with bin:      310  lits-rem:       647  v-fix:    0  time:  0.08 s
302.75/37.98	c lits-rem:       357  cl-subs:      503  v-elim:      0  v-fix:    0  time:  0.05 s
303.57/38.00	c vivif2 --  cl tried    34615 cl shrink       44 lits rem         46 time: 0.02
303.57/38.03	c vivif2 --  cl tried    24827 cl shrink     2016 lits rem       9341 time: 0.03
309.95/38.85	c asymm  cl-useful: 153/4921/34615 lits-rem:206 time: 0.82
309.95/38.85	c calculated reachability. Time: 0.00
309.95/38.85	c  N dy  1074    158500      6905     34612     39452     24826    153725    275173      8.40   no data
309.95/38.87	c Finding binary XORs  T:     0.01 s  found:       8
326.74/40.91	c  N dy  1101    169423      6901     34612     41456     35564    153725    580255      8.35      8.79
333.13/41.79	c Finding binary XORs  T:     0.01 s  found:      92
333.99/41.81	c Replacing      100 vars Replaced     9069 lits Time:     0.02 s 
347.52/43.54	c  N dy  1141    180248      6800     34597     44498     28877    153646    433279      8.33      8.99
349.12/43.72	c Finding binary XORs  T:     0.01 s  found:      45
357.92/44.90	c Finding binary XORs  T:     0.01 s  found:      41
358.72/44.92	c Replacing       86 vars Replaced     8245 lits Time:     0.02 s 
373.11/46.74	c  N dy  1212    191753      6710     34582     51324     40156    153568    959138      8.37      8.87
398.67/49.99	c  N dy  1289    203997      6707     34582     51434     34331    153568    636988      8.43     11.22
425.05/53.24	c Finding binary XORs  T:     0.01 s  found:      84
425.05/53.25	c Replacing       84 vars Replaced     6247 lits Time:     0.01 s 
429.05/53.77	c  N dy  1381    217091      6622     34563     56077     27844    153444    311547      8.51     12.56
440.30/55.15	c Finding binary XORs  T:     0.01 s  found:      55
461.03/57.76	c  N dy  1490    231043      6621     34563     60999     41641    153444    911109      8.64      9.83
477.81/59.84	c  S st  1549    237751      6620     34563     61093     27831    153444    276757      8.72   no data
479.41/60.02	c  S st  1549    238256      6620     34563     61103     28323    153444    292835      8.72   no data
479.41/60.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
486.61/60.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   32 Bins:  10264 BRemL:  22387 BRemN:     18 P: 16.9M T:  0.96
487.41/61.00	c Replacing       87 vars Replaced     4923 lits Time:     0.02 s 
487.41/61.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
487.41/61.02	c bin-w-bin subsume rem         1864 bins  time:  0.01 s
487.41/61.03	c subs with bin:      122  lits-rem:        96  v-fix:    0  time:  0.01 s
487.41/61.05	c Subs w/ non-existent bins:     16 l-rem:     13 v-fix:     0 done:   6533 time:  0.02 s
487.41/61.06	c Removed useless bin:      19  fixed:     0  props:   0.67M  time:  0.01 s
488.21/61.11	c lits-rem:        11  cl-subs:     1736  v-elim:     39  v-fix:    0  time:  0.05 s
488.21/61.16	c subs with bin:      360  lits-rem:       835  v-fix:    0  time:  0.04 s
489.00/61.20	c lits-rem:       326  cl-subs:      509  v-elim:      0  v-fix:    0  time:  0.03 s
489.00/61.21	c vivif2 --  cl tried    32762 cl shrink       38 lits rem         46 time: 0.02
489.00/61.23	c vivif2 --  cl tried    26426 cl shrink      775 lits rem       2861 time: 0.02
495.41/62.02	c asymm  cl-useful: 163/4613/32762 lits-rem:179 time: 0.79
495.41/62.03	c calculated reachability. Time: 0.00
495.41/62.03	c  N dy  1549    238256      6494     32760     40463     26424    145330    213918      8.72   no data
495.41/62.04	c Finding binary XORs  T:     0.01 s  found:      17
522.58/65.48	c Finding binary XORs  T:     0.01 s  found:      57
523.38/65.51	c Replacing       74 vars Replaced    10781 lits Time:     0.03 s 
527.42/66.04	c  N dy  1635    253486      6418     32749     41390     40620    145273    926878      8.75     12.03
539.36/67.59	c Finding binary XORs  T:     0.01 s  found:      40
562.60/70.50	c  N dy  1702    269696      6413     32737     43236     35804    145222    624684      8.74      9.23
603.32/75.52	c  N dy  1792    286948      6408     32737     43362     30284    145222    324163      8.78     10.04
628.10/78.61	c Finding binary XORs  T:     0.01 s  found:      99
628.10/78.65	c Replacing      139 vars Replaced    20877 lits Time:     0.04 s 
644.88/80.74	c  N dy  1896    305347      6268     32706     43704     48231    145045   1239753      8.84     10.87
647.28/81.00	c  F st  1905    306251      6268     32706     43705     49129    145045   1275782      8.85   no data
687.25/86.05	c  N dy  2014    324923      6267     32703     43289     43651    145023    846567      8.94     14.34
732.81/91.75	c  N dy  2149    345169      6263     32703     43389     38647    145023    545845      9.04      9.65
749.60/93.82	c Finding binary XORs  T:     0.01 s  found:      99
749.60/93.86	c Replacing       99 vars Replaced    17185 lits Time:     0.04 s 
760.79/95.23	c  S st  2227    357385      6163     32691     42050     50539    144932   1098172      9.10   no data
762.39/95.44	c  S st  2227    357889      6163     32691     42055     51037    144932   1118459      9.10   no data
762.39/95.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
768.78/96.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   10 Bins:   3685 BRemL:   8055 BRemN:      6 P: 18.1M T:  0.83
769.58/96.30	c Replacing       10 vars Replaced     1315 lits Time:     0.02 s 
769.58/96.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
769.58/96.32	c bin-w-bin subsume rem         2293 bins  time:  0.01 s
769.58/96.33	c subs with bin:       50  lits-rem:        27  v-fix:    0  time:  0.01 s
769.58/96.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6153 time:  0.02 s
769.58/96.35	c Removed useless bin:       0  fixed:     0  props:   0.58M  time:  0.01 s
770.38/96.40	c lits-rem:        14  cl-subs:     1634  v-elim:     23  v-fix:    0  time:  0.05 s
772.78/96.70	c subs with bin:      767  lits-rem:      5361  v-fix:    0  time:  0.27 s
773.62/96.88	c lits-rem:      2016  cl-subs:      820  v-elim:      0  v-fix:    0  time:  0.18 s
773.62/96.89	c vivif2 --  cl tried    31032 cl shrink       25 lits rem         32 time: 0.01
774.43/96.95	c vivif2 --  cl tried    40033 cl shrink     5588 lits rem      27561 time: 0.06
777.57/97.34	c asymm  cl-useful: 42/1702/31030 lits-rem:42 time: 0.39
777.57/97.35	c calculated reachability. Time: 0.00
777.57/97.35	c  N dy  2227    357889      6130     31030     34972     40032    137752    548925      9.10   no data
777.57/97.36	c Finding binary XORs  T:     0.01 s  found:      19
803.95/100.60	c Finding binary XORs  T:     0.01 s  found:      27
819.94/102.64	c  N dy  2352    377978      6128     31020     35326     42413    137692    762837      9.16     11.43
859.11/107.53	c Finding binary XORs  T:     0.01 s  found:      55
859.11/107.54	c Replacing      101 vars Replaced     8534 lits Time:     0.01 s 
865.51/108.33	c  N dy  2472    398002      6027     31020     37509     35497    137691    396341      9.20      9.73
886.30/110.91	c Finding binary XORs  T:     0.01 s  found:      41
910.26/113.91	c Finding binary XORs  T:     0.01 s  found:      54
910.26/113.96	c Replacing       95 vars Replaced    17124 lits Time:     0.05 s 
911.06/114.00	c  N dy  2608    418045      5931     31017     40130     55031    137668   1173561      9.28     10.67
954.24/119.40	c  N dy  2749    438105      5930     31017     40254     47123    137668    847751      9.35     10.06
999.80/125.17	c  N dy  2868    458172      5929     31017     40384     38114    137668    452334      9.40      9.97
1022.99/128.05	c Finding binary XORs  T:     0.01 s  found:      92
1022.99/128.08	c Replacing       92 vars Replaced    14821 lits Time:     0.03 s 
1043.77/130.65	c  N dy  2995    478262      5837     31008     38772     57792    137609   1145804      9.44     10.57
1090.98/136.51	c  N dy  3148    499151      5837     31008     38823     48873    137609    783682      9.51     10.10
1136.48/142.27	c  N dy  3259    519236      5837     31008     38948     37779    137609    352537      9.53     10.81
1174.86/147.04	c  S st  3372    536834      5836     31008     38995     55302    137609    987353      9.57   no data
1176.46/147.24	c  S st  3372    537335      5836     31008     39032     55797    137609   1005087      9.57   no data
1176.46/147.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1182.05/147.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   67 Bins:   3716 BRemL:   9130 BRemN:     21 P: 17.0M T:  0.74
1182.85/148.03	c Replacing       67 vars Replaced    10817 lits Time:     0.04 s 
1182.85/148.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1182.85/148.04	c bin-w-bin subsume rem         2247 bins  time:  0.01 s
1182.85/148.05	c subs with bin:       52  lits-rem:        42  v-fix:    0  time:  0.01 s
1182.85/148.07	c Subs w/ non-existent bins:      4 l-rem:      3 v-fix:     0 done:   5768 time:  0.01 s
1182.85/148.07	c Removed useless bin:       3  fixed:     0  props:   0.52M  time:  0.00 s
1183.65/148.12	c lits-rem:         3  cl-subs:     1772  v-elim:     17  v-fix:    0  time:  0.05 s
1186.05/148.44	c subs with bin:      414  lits-rem:      6463  v-fix:    0  time:  0.29 s
1188.44/148.74	c lits-rem:      2914  cl-subs:     1484  v-elim:      0  v-fix:    0  time:  0.30 s
1188.44/148.76	c vivif2 --  cl tried    29189 cl shrink       20 lits rem         20 time: 0.01
1189.24/148.83	c vivif2 --  cl tried    47661 cl shrink     8131 lits rem      31566 time: 0.08
1192.44/149.22	c asymm  cl-useful: 99/1781/29189 lits-rem:126 time: 0.38
1192.44/149.22	c calculated reachability. Time: 0.00
1192.44/149.22	c  N dy  3372    537335      5751     29180     29626     47660    129606    691421      9.57   no data
1192.44/149.23	c Finding binary XORs  T:     0.01 s  found:      24
1222.07/152.98	c Finding binary XORs  T:     0.01 s  found:      13
1240.46/155.21	c  N dy  3435    558657      5747     29170     29701     41315    129541    468760      9.54     10.07
1274.83/159.53	c Finding binary XORs  T:     0.01 s  found:      63
1274.83/159.58	c Replacing      100 vars Replaced    13421 lits Time:     0.04 s 
1292.42/161.75	c  N dy  3490    582274      5645     29148     33441     64224    129428   1258235      9.50     10.02
1334.73/167.07	c  N dy  3561    602334      5643     29148     33581     51798    129428    817575      9.48     10.08
1382.69/173.08	c  N dy  3647    623262      5640     29148     33664     38843    129428    353375      9.48     10.12
1390.69/174.03	c Finding binary XORs  T:     0.01 s  found:      46
1424.31/178.23	c  N dy  3722    643299      5639     29115     32986     58506    129286    895762      9.47     10.74
1465.82/183.49	c  N dy  3763    663879      5635     29115     33079     44694    129286    461363      9.42     10.00
1513.04/189.38	c Following stats are for *FIRST FINISHED THREAD ONLY*
1513.04/189.38	c num threads              : 8          
1513.04/189.38	c restarts                 : 3961       
1513.04/189.38	c dynamic restarts         : 3937       
1513.04/189.38	c static restarts          : 24         
1513.04/189.38	c full restarts            : 3          
1513.04/189.38	c total simplify time      : 1.00       
1513.04/189.38	c learnts DL2              : 0          
1513.04/189.38	c learnts size 2           : 251681     
1513.04/189.38	c learnts size 1           : 392         (4.48      % of vars)
1513.04/189.38	c filedLit time            : 2.51        (1.33      % time)
1513.04/189.38	c v-elim SatELite          : 274         (3.13      % vars)
1513.04/189.38	c SatELite time            : 0.27        (0.15      % time)
1513.04/189.38	c v-elim xor               : 0           (0.00      % vars)
1513.04/189.38	c xor elim time            : 0.01        (0.01      % time)
1513.04/189.38	c num binary xor trees     : 566        
1513.04/189.38	c binxor trees' crown      : 2572        (4.54      leafs/tree)
1513.04/189.38	c bin xor find time        : 0.26       
1513.04/189.38	c OTF clause improved      : 7216        (0.01      clauses/conflict)
1513.04/189.38	c OTF impr. size diff      : 8715        (1.21       lits/clause)
1513.04/189.38	c OTF cl watch-shrink      : 506045      (0.72      clauses/conflict)
1513.04/189.38	c OTF cl watch-sh-lit      : 2883990     (5.70       lits/clause)
1513.04/189.38	c tried to recurMin cls    : 240804      (34.39      % of conflicts)
1513.04/189.38	c updated cache            : 24408       (0.10       lits/tried recurMin)
1513.04/189.38	c unit cls recevied        : 162         (41.33     % of units)
1513.04/189.38	c unit cls sent            : 76          (19.39     % of units)
1513.04/189.38	c bin cls recevied         : 215847     
1513.04/189.38	c bin cls sent             : 13113      
1513.04/189.38	c clauses over max glue    : 0           (0.00      % of all clauses)
1513.04/189.38	c conflicts                : 700254      (3724.71   / sec)
1513.04/189.38	c decisions                : 1321766     (1.63      % random)
1513.04/189.38	c bogo-props               : 11374722973 (60503067.11 / sec)
1513.04/189.38	c conflict literals        : 22757670    (43.99     % deleted)
1513.04/189.38	c Memory used              : 786.46      MB
1513.04/189.38	c single-thread CPU time   : 188.00      s
1513.04/189.38	c all-threads sum CPU time : 1512.60     s
1513.04/189.38	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: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321234-1304332728/watcher-3321234-1304332728 -o /tmp/evaluation-result-3321234-1304332728/solver-3321234-1304332728 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321234-1304332728.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.39 2.69 2/217 28272
/proc/meminfo: memFree=29311808/32951124 swapFree=67107192/67111528
[pid=28272] ppid=28270 vsize=92188 CPUtime=0 cores=0-7
/proc/28272/stat : 28272 (strangenight2-m) R 28270 28272 28211 0 -1 4202496 414 0 0 0 0 0 0 0 25 0 8 0 544871289 94400512 353 33554432000 4194304 4627427 140736498717920 18446744073709551615 47178744932268 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28272/statm: 23047 353 299 106 0 18018 0
[pid=28272/tid=28273] ppid=28270 vsize=92188 CPUtime=0 cores=0-7
/proc/28272/task/28273/stat : 28273 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 544871289 94400512 353 33554432000 4194304 4627427 140736498717920 18446744073709551615 47178744932274 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28272/tid=28274] ppid=28270 vsize=92188 CPUtime=0 cores=0-7
/proc/28272/task/28274/stat : 28274 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 544871289 94400512 353 33554432000 4194304 4627427 140736498717920 18446744073709551615 47178744932274 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28272/tid=28275] ppid=28270 vsize=92188 CPUtime=0 cores=0-7
/proc/28272/task/28275/stat : 28275 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 544871289 94400512 353 33554432000 4194304 4627427 140736498717920 18446744073709551615 47178744932274 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28272/tid=28276] ppid=28270 vsize=92188 CPUtime=0 cores=0-7
/proc/28272/task/28276/stat : 28276 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 544871289 94400512 353 33554432000 4194304 4627427 140736498717920 18446744073709551615 47178744932274 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28272/tid=28277] ppid=28270 vsize=92188 CPUtime=0 cores=0-7
/proc/28272/task/28277/stat : 28277 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 544871289 94400512 353 33554432000 4194304 4627427 140736498717920 18446744073709551615 47178744932264 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28272/tid=28278] ppid=28270 vsize=92188 CPUtime=0 cores=0-7
/proc/28272/task/28278/stat : 28278 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 544871290 94400512 353 33554432000 4194304 4627427 140736498717920 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28272/tid=28279] ppid=28270 vsize=92188 CPUtime=0 cores=0-7
/proc/28272/task/28279/stat : 28279 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 544871290 94400512 353 33554432000 4194304 4627427 140736498717920 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0136379 s]
/proc/loadavg: 0.00 0.39 2.69 2/217 28272
/proc/meminfo: memFree=29311808/32951124 swapFree=67107192/67111528
[pid=28272] ppid=28270 vsize=356708 CPUtime=0.04 cores=0-7
/proc/28272/stat : 28272 (strangenight2-m) R 28270 28272 28211 0 -1 4202496 3424 0 0 0 2 2 0 0 18 0 8 0 544871289 365268992 3264 33554432000 4194304 4627427 140736498717920 18446744073709551615 4314206 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28272/statm: 89177 3290 336 106 0 84148 0
[pid=28272/tid=28273] ppid=28270 vsize=356868 CPUtime=0 cores=0-7
/proc/28272/task/28273/stat : 28273 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 482 0 0 0 0 0 0 0 18 0 8 0 544871289 365432832 3326 33554432000 4194304 4627427 140736498717920 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28272/tid=28274] ppid=28270 vsize=356868 CPUtime=0 cores=0-7
/proc/28272/task/28274/stat : 28274 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 499 0 0 0 0 0 0 0 18 0 8 0 544871289 365432832 3346 33554432000 4194304 4627427 140736498717920 18446744073709551615 210204344520 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28272/tid=28275] ppid=28270 vsize=357128 CPUtime=0 cores=0-7
/proc/28272/task/28275/stat : 28275 (strangenight2-m) S 28270 28272 28211 0 -1 4202560 270 0 0 0 0 0 0 0 17 0 8 0 544871289 365699072 3388 33554432000 4194304 4627427 140736498717920 18446744073709551615 210204752366 0 0 4096 2 18446604453916336384 0 0 -1 0 0 0 0
[pid=28272/tid=28276] ppid=28270 vsize=356996 CPUtime=0 cores=0-7
/proc/28272/task/28276/stat : 28276 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 517 0 0 0 0 0 0 0 18 0 8 0 544871289 365563904 3413 33554432000 4194304 4627427 140736498717920 18446744073709551615 210204690567 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28272/tid=28277] ppid=28270 vsize=357136 CPUtime=0 cores=0-7
/proc/28272/task/28277/stat : 28277 (strangenight2-m) D 28270 28272 28211 0 -1 4202560 370 0 0 0 0 0 0 0 18 0 8 0 544871289 365707264 3478 33554432000 4194304 4627427 140736498717920 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28272/tid=28278] ppid=28270 vsize=357136 CPUtime=0 cores=0-7
/proc/28272/task/28278/stat : 28278 (strangenight2-m) S 28270 28272 28211 0 -1 4202560 269 0 0 0 0 0 0 0 17 0 8 0 544871290 365707264 3513 33554432000 4194304 4627427 140736498717920 18446744073709551615 210204752366 0 0 4096 2 18446604453916336384 0 0 -1 5 0 0 0
[pid=28272/tid=28279] ppid=28270 vsize=357136 CPUtime=0 cores=0-7
/proc/28272/task/28279/stat : 28279 (strangenight2-m) S 28270 28272 28211 0 -1 4202560 311 0 0 0 0 0 0 0 18 0 8 0 544871290 365707264 3532 33554432000 4194304 4627427 140736498717920 18446744073709551615 210204752366 0 0 4096 2 18446604453916336384 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 356708

[startup+0.102204 s]
/proc/loadavg: 0.00 0.39 2.69 2/217 28272
/proc/meminfo: memFree=29311808/32951124 swapFree=67107192/67111528
[pid=28272] ppid=28270 vsize=572552 CPUtime=6.63 cores=0-7
/proc/28272/stat : 28272 (strangenight2-m) R 28270 28272 28211 0 -1 4202496 17881 0 0 0 649 14 0 0 19 0 8 0 544871289 586293248 16450 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28272/statm: 143138 16450 366 106 0 138109 0
[pid=28272/tid=28273] ppid=28270 vsize=572552 CPUtime=0.83 cores=0-7
/proc/28272/task/28273/stat : 28273 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 2292 0 0 0 81 2 0 0 19 0 8 0 544871289 586293248 16450 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28272/tid=28274] ppid=28270 vsize=572552 CPUtime=0.82 cores=0-7
/proc/28272/task/28274/stat : 28274 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 2430 0 0 0 81 1 0 0 19 0 8 0 544871289 586293248 16450 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28272/tid=28275] ppid=28270 vsize=572552 CPUtime=0.81 cores=0-7
/proc/28272/task/28275/stat : 28275 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 1676 0 0 0 80 1 0 0 18 0 8 0 544871289 586293248 16451 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28272/tid=28276] ppid=28270 vsize=572552 CPUtime=0.82 cores=0-7
/proc/28272/task/28276/stat : 28276 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 2324 0 0 0 81 1 0 0 19 0 8 0 544871289 586293248 16452 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28272/tid=28277] ppid=28270 vsize=572552 CPUtime=0.82 cores=0-7
/proc/28272/task/28277/stat : 28277 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 2467 0 0 0 81 1 0 0 19 0 8 0 544871289 586293248 16453 33554432000 4194304 4627427 140736498717920 18446744073709551615 210204308513 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28272/tid=28278] ppid=28270 vsize=572552 CPUtime=0.81 cores=0-7
/proc/28272/task/28278/stat : 28278 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 1965 0 0 0 80 1 0 0 18 0 8 0 544871290 586293248 16453 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28272/tid=28279] ppid=28270 vsize=572552 CPUtime=0.81 cores=0-7
/proc/28272/task/28279/stat : 28279 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 1967 0 0 0 80 1 0 0 19 0 8 0 544871290 586293248 16455 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308396 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.63
Current children cumulated vsize (KiB) 572552

[startup+0.951462 s]
/proc/loadavg: 0.00 0.39 2.69 2/217 28272
/proc/meminfo: memFree=29311808/32951124 swapFree=67107192/67111528
[pid=28272] ppid=28270 vsize=574268 CPUtime=7.43 cores=0-7
/proc/28272/stat : 28272 (strangenight2-m) R 28270 28272 28211 0 -1 4202496 20740 0 0 0 728 15 0 0 19 0 8 0 544871289 588050432 19309 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28272/statm: 143567 19311 367 106 0 138538 0
[pid=28272/tid=28273] ppid=28270 vsize=574268 CPUtime=0.93 cores=0-7
/proc/28272/task/28273/stat : 28273 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 2699 0 0 0 91 2 0 0 19 0 8 0 544871289 588050432 19311 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308180 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28272/tid=28274] ppid=28270 vsize=574268 CPUtime=0.92 cores=0-7
/proc/28272/task/28274/stat : 28274 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 2845 0 0 0 91 1 0 0 19 0 8 0 544871289 588050432 19311 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308268 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28272/tid=28275] ppid=28270 vsize=574268 CPUtime=0.91 cores=0-7
/proc/28272/task/28275/stat : 28275 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 2036 0 0 0 90 1 0 0 18 0 8 0 544871289 588050432 19313 33554432000 4194304 4627427 140736498717920 18446744073709551615 4239446 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28272/tid=28276] ppid=28270 vsize=574268 CPUtime=0.93 cores=0-7
/proc/28272/task/28276/stat : 28276 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 2727 0 0 0 91 2 0 0 19 0 8 0 544871289 588050432 19313 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28272/tid=28277] ppid=28270 vsize=574268 CPUtime=0.92 cores=0-7
/proc/28272/task/28277/stat : 28277 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 2802 0 0 0 91 1 0 0 18 0 8 0 544871289 588050432 19313 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28272/tid=28278] ppid=28270 vsize=574268 CPUtime=0.91 cores=0-7
/proc/28272/task/28278/stat : 28278 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 2362 0 0 0 90 1 0 0 19 0 8 0 544871290 588050432 19314 33554432000 4194304 4627427 140736498717920 18446744073709551615 4229207 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28272/tid=28279] ppid=28270 vsize=574268 CPUtime=0.91 cores=0-7
/proc/28272/task/28279/stat : 28279 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 2100 0 0 0 90 1 0 0 19 0 8 0 544871290 588050432 19314 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.43
Current children cumulated vsize (KiB) 574268

[startup+1.05145 s]
/proc/loadavg: 0.00 0.39 2.69 2/217 28272
/proc/meminfo: memFree=29311808/32951124 swapFree=67107192/67111528
[pid=28272] ppid=28270 vsize=574796 CPUtime=8.23 cores=0-7
/proc/28272/stat : 28272 (strangenight2-m) R 28270 28272 28211 0 -1 4202496 21577 0 0 0 807 16 0 0 19 0 8 0 544871289 588591104 20146 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308156 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28272/statm: 143699 20146 367 106 0 138670 0
[pid=28272/tid=28273] ppid=28270 vsize=574796 CPUtime=1.03 cores=0-7
/proc/28272/task/28273/stat : 28273 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 2761 0 0 0 101 2 0 0 19 0 8 0 544871289 588591104 20146 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28272/tid=28274] ppid=28270 vsize=574796 CPUtime=1.02 cores=0-7
/proc/28272/task/28274/stat : 28274 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 2858 0 0 0 101 1 0 0 19 0 8 0 544871289 588591104 20146 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28272/tid=28275] ppid=28270 vsize=574796 CPUtime=1.01 cores=0-7
/proc/28272/task/28275/stat : 28275 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 2418 0 0 0 100 1 0 0 18 0 8 0 544871289 588591104 20146 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28272/tid=28276] ppid=28270 vsize=574796 CPUtime=1.03 cores=0-7
/proc/28272/task/28276/stat : 28276 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 2776 0 0 0 101 2 0 0 18 0 8 0 544871289 588591104 20146 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28272/tid=28277] ppid=28270 vsize=574796 CPUtime=1.02 cores=0-7
/proc/28272/task/28277/stat : 28277 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 2802 0 0 0 101 1 0 0 18 0 8 0 544871289 588591104 20146 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28272/tid=28278] ppid=28270 vsize=574796 CPUtime=1.01 cores=0-7
/proc/28272/task/28278/stat : 28278 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 2569 0 0 0 100 1 0 0 19 0 8 0 544871290 588591104 20146 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28272/tid=28279] ppid=28270 vsize=574796 CPUtime=1.01 cores=0-7
/proc/28272/task/28279/stat : 28279 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 2131 0 0 0 100 1 0 0 19 0 8 0 544871290 588591104 20146 33554432000 4194304 4627427 140736498717920 18446744073709551615 4334593 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.23
Current children cumulated vsize (KiB) 574796

[startup+1.81412 s]
/proc/loadavg: 0.00 0.39 2.69 2/217 28272
/proc/meminfo: memFree=29311808/32951124 swapFree=67107192/67111528
[pid=28272] ppid=28270 vsize=592544 CPUtime=14.3 cores=0-7
/proc/28272/stat : 28272 (strangenight2-m) R 28270 28272 28211 0 -1 4202496 38677 0 0 0 1409 21 0 0 20 0 8 0 544871289 606765056 33424 33554432000 4194304 4627427 140736498717920 18446744073709551615 4507021 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28272/statm: 148136 33424 388 106 0 143107 0
[pid=28272/tid=28273] ppid=28270 vsize=592544 CPUtime=1.78 cores=0-7
/proc/28272/task/28273/stat : 28273 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 5397 0 0 0 175 3 0 0 18 0 8 0 544871289 606765056 33424 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28272/tid=28274] ppid=28270 vsize=592544 CPUtime=1.79 cores=0-7
/proc/28272/task/28274/stat : 28274 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 5493 0 0 0 177 2 0 0 18 0 8 0 544871289 606765056 33424 33554432000 4194304 4627427 140736498717920 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28272/tid=28275] ppid=28270 vsize=592544 CPUtime=1.77 cores=0-7
/proc/28272/task/28275/stat : 28275 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 3643 0 0 0 176 1 0 0 19 0 8 0 544871289 606765056 33424 33554432000 4194304 4627427 140736498717920 18446744073709551615 210204303317 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28272/tid=28276] ppid=28270 vsize=592544 CPUtime=1.78 cores=0-7
/proc/28272/task/28276/stat : 28276 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 5250 0 0 0 176 2 0 0 18 0 8 0 544871289 606765056 33424 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28272/tid=28277] ppid=28270 vsize=592544 CPUtime=1.78 cores=0-7
/proc/28272/task/28277/stat : 28277 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 5878 0 0 0 176 2 0 0 19 0 8 0 544871289 606765056 33424 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28272/tid=28278] ppid=28270 vsize=592544 CPUtime=1.78 cores=0-7
/proc/28272/task/28278/stat : 28278 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 5102 0 0 0 176 2 0 0 18 0 8 0 544871290 606765056 33424 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28272/tid=28279] ppid=28270 vsize=592544 CPUtime=1.78 cores=0-7
/proc/28272/task/28279/stat : 28279 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 2240 0 0 0 176 2 0 0 18 0 8 0 544871290 606765056 33424 33554432000 4194304 4627427 140736498717920 18446744073709551615 210204752366 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 14.3
Current children cumulated vsize (KiB) 592544

[startup+3.10111 s]
/proc/loadavg: 0.80 0.55 2.73 9/225 28280
/proc/meminfo: memFree=29179596/32951124 swapFree=67107192/67111528
[pid=28272] ppid=28270 vsize=594376 CPUtime=24.6 cores=0-7
/proc/28272/stat : 28272 (strangenight2-m) R 28270 28272 28211 0 -1 4202496 40789 0 0 0 2438 22 0 0 25 0 8 0 544871289 608641024 34985 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28272/statm: 148594 34985 388 106 0 143565 0
[pid=28272/tid=28273] ppid=28270 vsize=594376 CPUtime=3.07 cores=0-7
/proc/28272/task/28273/stat : 28273 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 5609 0 0 0 304 3 0 0 20 0 8 0 544871289 608641024 34985 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28272/tid=28274] ppid=28270 vsize=594376 CPUtime=3.08 cores=0-7
/proc/28272/task/28274/stat : 28274 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 5786 0 0 0 306 2 0 0 20 0 8 0 544871289 608641024 34985 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28272/tid=28275] ppid=28270 vsize=594376 CPUtime=3.06 cores=0-7
/proc/28272/task/28275/stat : 28275 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 3832 0 0 0 304 2 0 0 21 0 8 0 544871289 608641024 34985 33554432000 4194304 4627427 140736498717920 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28272/tid=28276] ppid=28270 vsize=594376 CPUtime=3.07 cores=0-7
/proc/28272/task/28276/stat : 28276 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 5473 0 0 0 304 3 0 0 20 0 8 0 544871289 608641024 34985 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28272/tid=28277] ppid=28270 vsize=594376 CPUtime=3.07 cores=0-7
/proc/28272/task/28277/stat : 28277 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 6098 0 0 0 304 3 0 0 21 0 8 0 544871289 608641024 34985 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28272/tid=28278] ppid=28270 vsize=594376 CPUtime=3.06 cores=0-7
/proc/28272/task/28278/stat : 28278 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 5288 0 0 0 304 2 0 0 20 0 8 0 544871290 608641024 34985 33554432000 4194304 4627427 140736498717920 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28272/tid=28279] ppid=28270 vsize=594376 CPUtime=3.06 cores=0-7
/proc/28272/task/28279/stat : 28279 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 2775 0 0 0 304 2 0 0 21 0 8 0 544871290 608641024 34985 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308326 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.6
Current children cumulated vsize (KiB) 594376

[startup+6.30058 s]
/proc/loadavg: 1.38 0.68 2.76 9/225 28280
/proc/meminfo: memFree=29162736/32951124 swapFree=67107192/67111528
[pid=28272] ppid=28270 vsize=587564 CPUtime=50.17 cores=0-7
/proc/28272/stat : 28272 (strangenight2-m) R 28270 28272 28211 0 -1 4202496 51719 0 0 0 4993 24 0 0 25 0 8 0 544871289 601665536 39159 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28272/statm: 146891 39159 391 106 0 141862 0
[pid=28272/tid=28273] ppid=28270 vsize=587564 CPUtime=6.27 cores=0-7
/proc/28272/task/28273/stat : 28273 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 7330 0 0 0 623 4 0 0 25 0 8 0 544871289 601665536 39159 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28272/tid=28274] ppid=28270 vsize=587564 CPUtime=6.27 cores=0-7
/proc/28272/task/28274/stat : 28274 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 7217 0 0 0 625 2 0 0 25 0 8 0 544871289 601665536 39159 33554432000 4194304 4627427 140736498717920 18446744073709551615 4324107 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28272/tid=28275] ppid=28270 vsize=587564 CPUtime=6.26 cores=0-7
/proc/28272/task/28275/stat : 28275 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 4722 0 0 0 624 2 0 0 25 0 8 0 544871289 601665536 39159 33554432000 4194304 4627427 140736498717920 18446744073709551615 4327622 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28272/tid=28276] ppid=28270 vsize=587564 CPUtime=6.27 cores=0-7
/proc/28272/task/28276/stat : 28276 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 6711 0 0 0 624 3 0 0 25 0 8 0 544871289 601665536 39159 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28272/tid=28277] ppid=28270 vsize=587564 CPUtime=6.27 cores=0-7
/proc/28272/task/28277/stat : 28277 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 7451 0 0 0 624 3 0 0 25 0 8 0 544871289 601665536 39159 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28272/tid=28278] ppid=28270 vsize=587564 CPUtime=6.26 cores=0-7
/proc/28272/task/28278/stat : 28278 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 6605 0 0 0 624 2 0 0 25 0 8 0 544871290 601665536 39159 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28272/tid=28279] ppid=28270 vsize=587564 CPUtime=6.23 cores=0-7
/proc/28272/task/28279/stat : 28279 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 4155 0 0 0 621 2 0 0 25 0 8 0 544871290 601665536 39159 33554432000 4194304 4627427 140736498717920 18446744073709551615 4305886 0 0 4096 2 0 0 0 -1 7 0 0 0

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

/proc/loadavg: 7.63 3.75 3.60 9/225 28285
/proc/meminfo: memFree=28901108/32951124 swapFree=67107192/67111528
[pid=28272] ppid=28270 vsize=760668 CPUtime=1338.72 cores=0-7
/proc/28272/stat : 28272 (strangenight2-m) R 28270 28272 28211 0 -1 4202496 290179 0 0 0 133774 98 0 0 25 0 8 0 544871289 778924032 103021 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28272/statm: 190167 103021 391 106 0 185138 0
[pid=28272/tid=28273] ppid=28270 vsize=760668 CPUtime=167.45 cores=0-7
/proc/28272/task/28273/stat : 28273 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 36040 0 0 0 16733 12 0 0 25 0 8 0 544871289 778924032 103021 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28272/tid=28274] ppid=28270 vsize=760668 CPUtime=167.48 cores=0-7
/proc/28272/task/28274/stat : 28274 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 36828 0 0 0 16738 10 0 0 25 0 8 0 544871289 778924032 103021 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28272/tid=28275] ppid=28270 vsize=760668 CPUtime=167.46 cores=0-7
/proc/28272/task/28275/stat : 28275 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 26354 0 0 0 16736 10 0 0 25 0 8 0 544871289 778924032 103021 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28272/tid=28276] ppid=28270 vsize=760668 CPUtime=167.47 cores=0-7
/proc/28272/task/28276/stat : 28276 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 42456 0 0 0 16736 11 0 0 25 0 8 0 544871289 778924032 103021 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28272/tid=28277] ppid=28270 vsize=760668 CPUtime=167.47 cores=0-7
/proc/28272/task/28277/stat : 28277 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 44459 0 0 0 16731 16 0 0 25 0 8 0 544871289 778924032 103021 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28272/tid=28278] ppid=28270 vsize=760668 CPUtime=167.46 cores=0-7
/proc/28272/task/28278/stat : 28278 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 37994 0 0 0 16733 13 0 0 25 0 8 0 544871290 778924032 103021 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28272/tid=28279] ppid=28270 vsize=760668 CPUtime=166.41 cores=0-7
/proc/28272/task/28279/stat : 28279 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 37934 0 0 0 16627 14 0 0 25 0 8 0 544871290 778924032 103021 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309448 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1338.72
Current children cumulated vsize (KiB) 760668

[startup+180.301 s]
/proc/loadavg: 7.68 3.89 3.65 9/225 28285
/proc/meminfo: memFree=28881508/32951124 swapFree=67107192/67111528
[pid=28272] ppid=28270 vsize=925620 CPUtime=1441.05 cores=0-7
/proc/28272/stat : 28272 (strangenight2-m) R 28270 28272 28211 0 -1 4202496 306383 0 0 0 144002 103 0 0 25 0 8 0 544871289 947834880 108628 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28272/statm: 231405 108628 391 106 0 226376 0
[pid=28272/tid=28273] ppid=28270 vsize=925620 CPUtime=180.25 cores=0-7
/proc/28272/task/28273/stat : 28273 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 38038 0 0 0 18012 13 0 0 25 0 8 0 544871289 947834880 108628 33554432000 4194304 4627427 140736498717920 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28272/tid=28274] ppid=28270 vsize=925620 CPUtime=180.28 cores=0-7
/proc/28272/task/28274/stat : 28274 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 38844 0 0 0 18017 11 0 0 25 0 8 0 544871289 947834880 108628 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28272/tid=28275] ppid=28270 vsize=925620 CPUtime=180.26 cores=0-7
/proc/28272/task/28275/stat : 28275 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 28018 0 0 0 18015 11 0 0 25 0 8 0 544871289 947834880 108628 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28272/tid=28276] ppid=28270 vsize=925620 CPUtime=180.27 cores=0-7
/proc/28272/task/28276/stat : 28276 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 44486 0 0 0 18015 12 0 0 25 0 8 0 544871289 947834880 108628 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28272/tid=28277] ppid=28270 vsize=925620 CPUtime=180.27 cores=0-7
/proc/28272/task/28277/stat : 28277 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 47422 0 0 0 18010 17 0 0 25 0 8 0 544871289 947834880 108628 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28272/tid=28278] ppid=28270 vsize=925620 CPUtime=180.26 cores=0-7
/proc/28272/task/28278/stat : 28278 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 40328 0 0 0 18013 13 0 0 25 0 8 0 544871290 947834880 108628 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28272/tid=28279] ppid=28270 vsize=925620 CPUtime=179.12 cores=0-7
/proc/28272/task/28279/stat : 28279 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 39751 0 0 0 17898 14 0 0 25 0 8 0 544871290 947834880 108628 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308632 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1441.05
Current children cumulated vsize (KiB) 925620

[startup+183.501 s]
/proc/loadavg: 7.71 3.95 3.67 9/225 28285
/proc/meminfo: memFree=28873944/32951124 swapFree=67107192/67111528
[pid=28272] ppid=28270 vsize=870780 CPUtime=1466.62 cores=0-7
/proc/28272/stat : 28272 (strangenight2-m) R 28270 28272 28211 0 -1 4202496 309961 0 0 0 146558 104 0 0 25 0 8 0 544871289 891678720 107295 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309250 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28272/statm: 217695 107295 391 106 0 212666 0
[pid=28272/tid=28273] ppid=28270 vsize=870780 CPUtime=183.45 cores=0-7
/proc/28272/task/28273/stat : 28273 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 38340 0 0 0 18332 13 0 0 25 0 8 0 544871289 891678720 107295 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308326 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28272/tid=28274] ppid=28270 vsize=870780 CPUtime=183.48 cores=0-7
/proc/28272/task/28274/stat : 28274 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 39096 0 0 0 18337 11 0 0 25 0 8 0 544871289 891678720 107295 33554432000 4194304 4627427 140736498717920 18446744073709551615 4310423 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28272/tid=28275] ppid=28270 vsize=870780 CPUtime=183.46 cores=0-7
/proc/28272/task/28275/stat : 28275 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 28873 0 0 0 18335 11 0 0 25 0 8 0 544871289 891678720 107295 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28272/tid=28276] ppid=28270 vsize=870780 CPUtime=183.47 cores=0-7
/proc/28272/task/28276/stat : 28276 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 44835 0 0 0 18335 12 0 0 25 0 8 0 544871289 891678720 107295 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28272/tid=28277] ppid=28270 vsize=870780 CPUtime=183.47 cores=0-7
/proc/28272/task/28277/stat : 28277 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 47852 0 0 0 18330 17 0 0 25 0 8 0 544871289 891678720 107295 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28272/tid=28278] ppid=28270 vsize=870780 CPUtime=183.46 cores=0-7
/proc/28272/task/28278/stat : 28278 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 40634 0 0 0 18333 13 0 0 25 0 8 0 544871290 891678720 107295 33554432000 4194304 4627427 140736498717920 18446744073709551615 4326744 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28272/tid=28279] ppid=28270 vsize=870780 CPUtime=182.3 cores=0-7
/proc/28272/task/28279/stat : 28279 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 40022 0 0 0 18216 14 0 0 25 0 8 0 544871290 891678720 107295 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1466.62
Current children cumulated vsize (KiB) 870780

[startup+186.7 s]
/proc/loadavg: 7.73 4.02 3.69 9/225 28285
/proc/meminfo: memFree=28881008/32951124 swapFree=67107192/67111528
[pid=28272] ppid=28270 vsize=870836 CPUtime=1492.2 cores=0-7
/proc/28272/stat : 28272 (strangenight2-m) R 28270 28272 28211 0 -1 4202496 313199 0 0 0 149115 105 0 0 25 0 8 0 544871289 891736064 107626 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308712 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28272/statm: 217709 107626 391 106 0 212680 0
[pid=28272/tid=28273] ppid=28270 vsize=870836 CPUtime=186.64 cores=0-7
/proc/28272/task/28273/stat : 28273 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 39166 0 0 0 18651 13 0 0 25 0 8 0 544871289 891736064 107626 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28272/tid=28274] ppid=28270 vsize=870836 CPUtime=186.67 cores=0-7
/proc/28272/task/28274/stat : 28274 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 39105 0 0 0 18656 11 0 0 25 0 8 0 544871289 891736064 107626 33554432000 4194304 4627427 140736498717920 18446744073709551615 4310399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28272/tid=28275] ppid=28270 vsize=870836 CPUtime=186.66 cores=0-7
/proc/28272/task/28275/stat : 28275 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 29261 0 0 0 18655 11 0 0 25 0 8 0 544871289 891736064 107626 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28272/tid=28276] ppid=28270 vsize=870836 CPUtime=186.67 cores=0-7
/proc/28272/task/28276/stat : 28276 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 45112 0 0 0 18655 12 0 0 25 0 8 0 544871289 891736064 107626 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28272/tid=28277] ppid=28270 vsize=870836 CPUtime=186.67 cores=0-7
/proc/28272/task/28277/stat : 28277 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 48161 0 0 0 18650 17 0 0 25 0 8 0 544871289 891736064 107626 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28272/tid=28278] ppid=28270 vsize=870836 CPUtime=186.66 cores=0-7
/proc/28272/task/28278/stat : 28278 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 40905 0 0 0 18653 13 0 0 25 0 8 0 544871290 891736064 107626 33554432000 4194304 4627427 140736498717920 18446744073709551615 4326744 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28272/tid=28279] ppid=28270 vsize=870836 CPUtime=185.49 cores=0-7
/proc/28272/task/28279/stat : 28279 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 40844 0 0 0 18534 15 0 0 25 0 8 0 544871290 891736064 107626 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1492.2
Current children cumulated vsize (KiB) 870836

[startup+188.301 s]
/proc/loadavg: 7.73 4.02 3.69 9/225 28285
/proc/meminfo: memFree=28889688/32951124 swapFree=67107192/67111528
[pid=28272] ppid=28270 vsize=805300 CPUtime=1504.99 cores=0-7
/proc/28272/stat : 28272 (strangenight2-m) R 28270 28272 28211 0 -1 4202496 314546 0 0 0 150394 105 0 0 25 0 8 0 544871289 824627200 105836 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308329 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28272/statm: 201325 105836 391 106 0 196296 0
[pid=28272/tid=28273] ppid=28270 vsize=805300 CPUtime=188.25 cores=0-7
/proc/28272/task/28273/stat : 28273 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 39308 0 0 0 18812 13 0 0 25 0 8 0 544871289 824627200 105836 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28272/tid=28274] ppid=28270 vsize=805300 CPUtime=188.28 cores=0-7
/proc/28272/task/28274/stat : 28274 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 39110 0 0 0 18817 11 0 0 25 0 8 0 544871289 824627200 105836 33554432000 4194304 4627427 140736498717920 18446744073709551615 4327622 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28272/tid=28275] ppid=28270 vsize=805300 CPUtime=188.26 cores=0-7
/proc/28272/task/28275/stat : 28275 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 29368 0 0 0 18815 11 0 0 25 0 8 0 544871289 824627200 105836 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28272/tid=28276] ppid=28270 vsize=805300 CPUtime=188.27 cores=0-7
/proc/28272/task/28276/stat : 28276 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 45776 0 0 0 18815 12 0 0 25 0 8 0 544871289 824627200 105836 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28272/tid=28277] ppid=28270 vsize=805300 CPUtime=188.27 cores=0-7
/proc/28272/task/28277/stat : 28277 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 48220 0 0 0 18810 17 0 0 25 0 8 0 544871289 824627200 105836 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28272/tid=28278] ppid=28270 vsize=805300 CPUtime=188.26 cores=0-7
/proc/28272/task/28278/stat : 28278 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 41020 0 0 0 18813 13 0 0 25 0 8 0 544871290 824627200 105836 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28272/tid=28279] ppid=28270 vsize=805300 CPUtime=187.07 cores=0-7
/proc/28272/task/28279/stat : 28279 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 40968 0 0 0 18692 15 0 0 25 0 8 0 544871290 824627200 105836 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1504.99
Current children cumulated vsize (KiB) 805300

[startup+189.101 s]
/proc/loadavg: 7.73 4.02 3.69 9/225 28285
/proc/meminfo: memFree=28889688/32951124 swapFree=67107192/67111528
[pid=28272] ppid=28270 vsize=805336 CPUtime=1511.39 cores=0-7
/proc/28272/stat : 28272 (strangenight2-m) R 28270 28272 28211 0 -1 4202496 315499 0 0 0 151033 106 0 0 25 0 8 0 544871289 824664064 105334 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309350 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28272/statm: 201334 105334 391 106 0 196305 0
[pid=28272/tid=28273] ppid=28270 vsize=805336 CPUtime=189.05 cores=0-7
/proc/28272/task/28273/stat : 28273 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 39391 0 0 0 18892 13 0 0 25 0 8 0 544871289 824664064 105334 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28272/tid=28274] ppid=28270 vsize=805336 CPUtime=189.08 cores=0-7
/proc/28272/task/28274/stat : 28274 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 39112 0 0 0 18897 11 0 0 25 0 8 0 544871289 824664064 105334 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28272/tid=28275] ppid=28270 vsize=805336 CPUtime=189.06 cores=0-7
/proc/28272/task/28275/stat : 28275 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 29422 0 0 0 18895 11 0 0 25 0 8 0 544871289 824664064 105334 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28272/tid=28276] ppid=28270 vsize=805336 CPUtime=189.07 cores=0-7
/proc/28272/task/28276/stat : 28276 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 45843 0 0 0 18895 12 0 0 25 0 8 0 544871289 824664064 105334 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28272/tid=28277] ppid=28270 vsize=805336 CPUtime=189.07 cores=0-7
/proc/28272/task/28277/stat : 28277 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 48220 0 0 0 18890 17 0 0 25 0 8 0 544871289 824664064 105334 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28272/tid=28278] ppid=28270 vsize=805336 CPUtime=189.06 cores=0-7
/proc/28272/task/28278/stat : 28278 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 41656 0 0 0 18893 13 0 0 25 0 8 0 544871290 824664064 105334 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28272/tid=28279] ppid=28270 vsize=805336 CPUtime=187.87 cores=0-7
/proc/28272/task/28279/stat : 28279 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 41025 0 0 0 18772 15 0 0 25 0 8 0 544871290 824664064 105334 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1511.39
Current children cumulated vsize (KiB) 805336

[startup+189.308 s]
/proc/loadavg: 7.73 4.02 3.69 9/225 28285
/proc/meminfo: memFree=28890928/32951124 swapFree=67107192/67111528
[pid=28272] ppid=28270 vsize=805336 CPUtime=1513.04 cores=0-7
/proc/28272/stat : 28272 (strangenight2-m) R 28270 28272 28211 0 -1 4202496 315598 0 0 0 151198 106 0 0 25 0 8 0 544871289 824664064 105433 33554432000 4194304 4627427 140736498717920 18446744073709551615 4324013 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28272/statm: 201334 105433 391 106 0 196305 0
[pid=28272/tid=28273] ppid=28270 vsize=805336 CPUtime=189.25 cores=0-7
/proc/28272/task/28273/stat : 28273 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 39409 0 0 0 18912 13 0 0 25 0 8 0 544871289 824664064 105433 33554432000 4194304 4627427 140736498717920 18446744073709551615 4537833 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28272/tid=28274] ppid=28270 vsize=805336 CPUtime=189.28 cores=0-7
/proc/28272/task/28274/stat : 28274 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 39113 0 0 0 18917 11 0 0 25 0 8 0 544871289 824664064 105433 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28272/tid=28275] ppid=28270 vsize=805336 CPUtime=189.27 cores=0-7
/proc/28272/task/28275/stat : 28275 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 29444 0 0 0 18916 11 0 0 25 0 8 0 544871289 824664064 105433 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28272/tid=28276] ppid=28270 vsize=805336 CPUtime=189.28 cores=0-7
/proc/28272/task/28276/stat : 28276 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 45861 0 0 0 18916 12 0 0 25 0 8 0 544871289 824664064 105433 33554432000 4194304 4627427 140736498717920 18446744073709551615 4327897 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28272/tid=28277] ppid=28270 vsize=805336 CPUtime=189.28 cores=0-7
/proc/28272/task/28277/stat : 28277 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 48220 0 0 0 18911 17 0 0 25 0 8 0 544871289 824664064 105433 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28272/tid=28278] ppid=28270 vsize=805336 CPUtime=189.27 cores=0-7
/proc/28272/task/28278/stat : 28278 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 41672 0 0 0 18914 13 0 0 25 0 8 0 544871290 824664064 105433 33554432000 4194304 4627427 140736498717920 18446744073709551615 4308435 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28272/tid=28279] ppid=28270 vsize=805336 CPUtime=188.07 cores=0-7
/proc/28272/task/28279/stat : 28279 (strangenight2-m) R 28270 28272 28211 0 -1 4202560 41037 0 0 0 18792 15 0 0 25 0 8 0 544871290 824664064 105433 33554432000 4194304 4627427 140736498717920 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1513.04
Current children cumulated vsize (KiB) 805336

[startup+189.401 s]
/proc/loadavg: 7.73 4.02 3.69 9/225 28285
/proc/meminfo: memFree=28890928/32951124 swapFree=67107192/67111528
[pid=28272] ppid=28270 vsize=0 CPUtime=1513.66 cores=0-7
/proc/28272/stat : 28272 (strangenight2-m) Z 28270 28272 28211 0 -1 4203548 315604 0 0 0 151259 107 0 0 25 0 2 0 544871289 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28272/statm: 0 0 0 0 0 0 0
[pid=28272/tid=28274] ppid=28270 vsize=0 CPUtime=189.38 cores=0-7
/proc/28272/task/28274/stat : 28274 (strangenight2-m) R 28270 28272 28211 0 -1 4203588 39113 0 0 0 18925 13 0 0 25 0 2 0 544871289 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1513.66
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 189.405
CPU time (s): 1513.68
CPU user time (s): 1512.6
CPU system time (s): 1.08183
CPU usage (%): 799.174
Max. virtual memory (cumulated for all children) (KiB): 925620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1512.6
system time used= 1.08183
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 315604
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= 15905
involuntary context switches= 6709

runsolver used 0.349946 second user time and 0.865868 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-02 12:38:48
IDJOB=3321234
IDBENCH=84211
IDSOLVER=1709
FILE ID=node130/3321234-1304332728
RUNJOBID= node130-1304332708-28225
PBS_JOBID= 13177712
Free space on /tmp= 73544 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT03/industrial/goldberg/hard_eq_check/x1mul.miter.shuffled-as.sat03-359.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321234-1304332728/watcher-3321234-1304332728 -o /tmp/evaluation-result-3321234-1304332728/solver-3321234-1304332728 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321234-1304332728.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 9edcffddbe07377cf6685697aafad673
RANDOM SEED=1907921999

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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.838
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29312352 kB
Buffers:        256328 kB
Cached:        1781300 kB
SwapCached:       2028 kB
Active:        1791952 kB
Inactive:      1555156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29312352 kB
SwapTotal:    67111528 kB
SwapFree:     67107192 kB
Dirty:            6908 kB
Writeback:           0 kB
AnonPages:     1308520 kB
Mapped:          18720 kB
Slab:           218768 kB
PageTables:      11752 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 20413764 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= 73540 MiB
End job on node130 at 2011-05-02 12:41:57