Trace number 3257315

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? (TO) 4800.54 1202.48

General information on the benchmark

NameCRAFTED/edgematching/
compact/em_12_2_4_cmp.cnf
MD5SUM7ea97a36d5ab6c8a5aa99830d5253591
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark62.0956
Satisfiable
(Un)Satisfiability was proved
Number of variables12584
Number of clauses155712
Sum of the clauses size523920
Maximum clause length100
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 217404
Number of clauses of size 3103200
Number of clauses of size 417828
Number of clauses of size 517000
Number of clauses of size over 5280

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-3257315-1304028702.cnf'
0.00/0.00	c -- header says num vars:          12584
0.00/0.00	c -- header says num clauses:      155712
0.08/0.08	c -- clauses added:            0 learnts,       155712 normals,            0 xors
0.08/0.08	c -- vars added      12584
0.08/0.08	c Parsing time:  0.05 s
0.08/0.08	c  N st     0         0     12584    138308     17404         0    523920         0   no data   no data
0.08/0.47	c asymm  cl-useful: 0/6612/138308 lits-rem:0 time: 0.29
0.08/0.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   48 Bins:      0 BRemL:      0 BRemN:      0 P:  2.4M T:  0.09
0.08/0.47	c Replacing       48 vars Replaced     3392 lits Time:     0.01 s 
1.86/0.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.86/0.57	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.86/0.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.86/0.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12536 time:  0.01 s
1.86/0.57	c Removed useless bin:       8  fixed:     0  props:   1.47M  time:  0.01 s
1.86/0.81	c lits-rem:         0  cl-subs:     8801  v-elim:      8  v-fix:    0  time:  0.22 s
1.86/0.81	c Finding binary XORs  T:     0.01 s  found:       0
1.86/0.85	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
1.86/0.85	c calculated reachability. Time: 0.00
1.86/0.85	c Calc default polars -  time:   0.00 s pos:     920 undec:      56 neg:   11608
1.86/0.85	c =========================================================================================
1.86/0.85	c types(t): F = full restart, N = normal restart
1.86/0.85	c types(t): S = simplification begin/end, E = solution found
1.86/0.85	c restart types(rt): st = static, dy = dynamic
1.86/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.86/0.85	c  B st     0         0     12528    129514     17290         0    497318         0   no data   no data
5.94/1.51	c  N dy    12      5207     12528    129514     17290      5093    497318   1507855     38.92     41.19
12.75/3.21	c  N dy    16     12513     12528    129514     17290     12228    497318   3965461     36.50     38.52
24.30/6.12	c  F st    18     25000     12528    129514     17377     14665    497318   3515019     34.08     34.24
24.30/6.15	c  N st    18     25000     12528    129514     17377     14665    497318   3515019     34.08     34.24
29.50/7.40	c  N dy    24     30001     12528    129514     17443     19594    497318   5010817     34.08   no data
29.50/7.40	c  S st    24     30001     12528    129514     17443     19594    497318   5010817     34.08   no data
29.92/7.57	c  S st    24     30502     12528    129514     17646     19889    497318   5012293     34.08   no data
29.92/7.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
31.89/8.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  19750 BRemL:      0 BRemN:      0 P: 11.3M T:  0.46
31.89/8.07	c blocked clauses removed:        0 vars:      0 tried:       12528 T: 0.01 s
31.89/8.08	c bin-w-bin subsume rem            0 bins  time:  0.01 s
32.29/8.11	c subs with bin:        0  lits-rem:         6  v-fix:    0  time:  0.03 s
32.29/8.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12528 time:  0.02 s
32.29/8.13	c Removed useless bin:       0  fixed:     0  props:   0.93M  time:  0.01 s
33.10/8.33	c lits-rem:         1  cl-subs:        1  v-elim:      2  v-fix:    0  time:  0.20 s
39.88/10.09	c subs with bin:       29  lits-rem:         0  v-fix:    0  time:  1.57 s
96.60/24.20	c lits-rem:       115  cl-subs:      521  v-elim:      0  v-fix:    0  time: 14.10 s
97.80/24.57	c asymm  cl-useful: 0/4807/129511 lits-rem:0 time: 0.37
97.80/24.58	c calculated reachability. Time: 0.00
97.80/24.58	c  N dy    24     30502     12526    129511     37394     19340    497294   4886937     34.08   no data
97.80/24.59	c Finding binary XORs  T:     0.01 s  found:       0
100.61/25.21	c Finding binary XORs  T:     0.01 s  found:       0
102.19/25.64	c  N dy    37     34583     12526    129511     47164     23318    497294   5716194     34.16     42.05
108.59/27.23	c  N dy    68     38669     12526    129511     47164     27320    497294   6635236     35.04     56.49
116.17/29.13	c  N dy   101     42721     12526    129511     47170     16240    497294   3000910     35.84     49.61
119.76/30.03	c  S st   124     45753     12526    129511     49303     19227    497294   3695644     36.22     44.24
120.16/30.16	c Finding binary XORs  T:     0.01 s  found:       0
120.16/30.19	c  S st   124     46253     12526    129511     49546     19483    497294   3697025     36.22   no data
120.56/30.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
122.18/30.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   4468 BRemL:   2156 BRemN:      0 P: 14.3M T:  0.49
122.58/30.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
122.58/30.73	c bin-w-bin subsume rem            0 bins  time:  0.01 s
122.58/30.77	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.04 s
122.58/30.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12526 time:  0.02 s
122.58/30.80	c Removed useless bin:       0  fixed:     0  props:   0.79M  time:  0.01 s
123.36/30.95	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.16 s
130.15/32.63	c subs with bin:       10  lits-rem:         9  v-fix:    0  time:  1.59 s
144.15/36.18	c lits-rem:        45  cl-subs:      135  v-elim:      0  v-fix:    0  time:  3.54 s
144.15/36.20	c vivif2 --  cl tried   129512 cl shrink        0 lits rem          0 time: 0.02
144.93/36.30	c vivif2 --  cl tried    19337 cl shrink     3975 lits rem      28233 time: 0.11
146.13/36.67	c asymm  cl-useful: 0/4651/129512 lits-rem:0 time: 0.36
146.13/36.67	c calculated reachability. Time: 0.00
146.13/36.68	c  N dy   124     46253     12525    129512     51858     19335    497297   3642195     36.22   no data
146.13/36.68	c Finding binary XORs  T:     0.01 s  found:       0
149.73/37.56	c  N dy   135     50757     12525    129512     51858     23724    497297   4598296     36.28     38.76
154.11/38.66	c  N dy   155     54840     12525    129512     51859     27678    497297   5358502     36.58     40.45
158.11/39.67	c  N dy   168     58993     12525    129512     51861     31709    497297   6207860     36.57     38.55
164.90/41.33	c  N dy   191     64182     12525    129512     51861     18634    497297   2809886     36.70     38.74
167.29/41.92	c Finding binary XORs  T:     0.01 s  found:       0
168.89/42.31	c  N dy   216     68536     12525    129512     58443     22902    497297   3647471     36.99     39.06
169.69/42.54	c  S st   224     69381     12525    129512     58443     23730    497297   3803605     37.08   no data
170.51/42.74	c  S st   224     69883     12525    129512     58724     23949    497297   3804990     37.08   no data
170.51/42.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
173.28/43.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1212 BRemL:    462 BRemN:      0 P: 17.1M T:  0.68
173.28/43.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
173.28/43.48	c bin-w-bin subsume rem            2 bins  time:  0.01 s
173.68/43.52	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.05 s
173.68/43.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12525 time:  0.02 s
173.68/43.55	c Removed useless bin:       0  fixed:     0  props:   0.91M  time:  0.01 s
174.49/43.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
181.28/45.44	c subs with bin:       10  lits-rem:        12  v-fix:    0  time:  1.63 s
196.45/49.21	c lits-rem:        23  cl-subs:      184  v-elim:      0  v-fix:    0  time:  3.76 s
196.45/49.23	c vivif2 --  cl tried   129510 cl shrink        0 lits rem          0 time: 0.02
196.87/49.31	c vivif2 --  cl tried    23755 cl shrink     2154 lits rem      18824 time: 0.08
198.05/49.66	c asymm  cl-useful: 0/9933/129510 lits-rem:0 time: 0.36
198.05/49.67	c calculated reachability. Time: 0.00
198.05/49.67	c  N dy   224     69883     12525    129510     59475     23753    497293   3752282     37.08   no data
203.65/51.03	c  N dy   246     74532     12525    129510     61711     28287    497293   4669399     37.25     39.50
207.64/52.09	c Finding binary XORs  T:     0.01 s  found:       0
210.05/52.66	c  N dy   257     79737     12525    129510     61711     33390    497293   5696240     37.17     39.17
215.23/53.99	c  N dy   267     85516     12525    129510     61711     38995    497293   6732359     37.00     38.99
218.02/54.62	c  F st   271     87500     12525    129510     65587     20768    497293   2886465     36.95     30.79
218.02/54.65	c Finding binary XORs  T:     0.01 s  found:       0
223.24/55.95	c  N dy   277     92692     12525    129510     65587     25821    497293   4147262     36.95   no data
229.60/57.52	c  N dy   312     98793     12525    129510     65587     31778    497293   5245579     37.24     39.41
237.58/59.51	c  S st   344    104824     12525    129510     65587     37676    497293   6422441     37.57   no data
238.38/59.78	c  S st   344    105324     12525    129510     65874     37889    497293   6423806     37.57   no data
238.78/59.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
242.79/60.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1650 BRemL:    373 BRemN:      0 P: 24.4M T:  1.02
242.79/60.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
242.79/60.86	c bin-w-bin subsume rem            3 bins  time:  0.01 s
243.19/60.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.05 s
243.19/60.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12525 time:  0.02 s
243.19/60.94	c Removed useless bin:       0  fixed:     0  props:   1.02M  time:  0.01 s
243.98/61.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
251.17/62.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.63 s
308.29/77.21	c lits-rem:        33  cl-subs:      361  v-elim:      0  v-fix:    0  time: 14.27 s
308.29/77.23	c vivif2 --  cl tried   129510 cl shrink        0 lits rem          0 time: 0.02
309.10/77.43	c vivif2 --  cl tried    37528 cl shrink     7512 lits rem      81826 time: 0.19
310.30/77.78	c asymm  cl-useful: 0/10180/129510 lits-rem:0 time: 0.35
310.30/77.79	c calculated reachability. Time: 0.00
310.30/77.79	c  N dy   344    105324     12525    129510     67149     37527    497293   6258506     37.57   no data
310.30/77.79	c Finding binary XORs  T:     0.01 s  found:       0
322.28/80.79	c  N dy   395    112046     12525    129510     69955     22460    497293   2852243     37.95     40.23
325.87/81.65	c Finding binary XORs  T:     0.01 s  found:       0
330.26/82.76	c  N dy   420    119976     12525    129510     69955     30209    497293   4359411     37.96     40.20
356.22/89.22	c  N dy   426    143493     12525    129510     69955     30012    497293   4206265     37.25     39.32
367.81/92.14	c  N dy   451    153151     12525    129510     69955     39389    497293   6064062     37.18     39.81
373.81/93.64	c  S st   464    157987     12525    129510     69955     44102    497293   7018112     37.18     34.99
375.00/93.93	c  S st   464    158487     12525    129510     70218     44337    497293   7019506     37.18   no data
375.00/93.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
379.40/95.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1048 BRemL:    154 BRemN:      0 P: 24.3M T:  1.10
379.40/95.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
379.40/95.09	c bin-w-bin subsume rem            1 bins  time:  0.01 s
379.80/95.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.05 s
379.80/95.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12525 time:  0.02 s
379.80/95.18	c Removed useless bin:       0  fixed:     0  props:   1.08M  time:  0.01 s
380.60/95.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
388.19/97.22	c subs with bin:        8  lits-rem:         6  v-fix:    0  time:  1.67 s
483.25/121.02	c lits-rem:        28  cl-subs:      614  v-elim:      0  v-fix:    0  time: 23.79 s
483.25/121.04	c vivif2 --  cl tried   129510 cl shrink        0 lits rem          0 time: 0.02
484.05/121.24	c vivif2 --  cl tried    43715 cl shrink     7739 lits rem      63319 time: 0.20
485.25/121.56	c asymm  cl-useful: 0/10269/129510 lits-rem:0 time: 0.32
485.25/121.57	c calculated reachability. Time: 0.00
485.25/121.57	c  N dy   464    158487     12525    129510     71111     43715    497293   6827669     37.18   no data
485.25/121.58	c Finding binary XORs  T:     0.01 s  found:       0
489.64/122.64	c Finding binary XORs  T:     0.01 s  found:       0
497.24/124.53	c  N dy   478    169379     12525    129510     85113     30374    497293   4035280     37.02     39.08
509.61/127.64	c  N dy   492    180824     12525    129510     85113     41512    497293   6112697     36.76     38.85
526.41/131.90	c  N dy   532    194455     12525    129510     85113     29669    497293   3809983     36.77     38.92
544.77/136.49	c  N dy   576    206965     12525    129510     85113     41978    497293   6615985     36.79     38.74
570.35/142.85	c  N dy   654    222061     12525    129510     85116     30498    497293   3847476     36.99     39.03
587.50/147.14	c  N dy   693    236770     12525    129510     85116     44921    497293   7053418     36.99     39.26
589.10/147.56	c  S st   697    237730     12525    129510     85116     45875    497293   7255042     36.99     34.43
590.30/147.84	c  S st   697    238230     12525    129510     85380     46111    497293   7256407     36.99   no data
590.30/147.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
595.10/149.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1287 BRemL:    533 BRemN:      0 P: 27.0M T:  1.16
595.10/149.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
595.10/149.07	c bin-w-bin subsume rem            0 bins  time:  0.02 s
595.50/149.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.07 s
595.50/149.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12525 time:  0.02 s
595.50/149.17	c Removed useless bin:       0  fixed:     0  props:   1.16M  time:  0.01 s
596.29/149.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
603.88/151.24	c subs with bin:       56  lits-rem:        12  v-fix:    0  time:  1.71 s
678.58/169.92	c lits-rem:        12  cl-subs:      354  v-elim:      0  v-fix:    0  time: 18.67 s
678.58/169.94	c vivif2 --  cl tried   129510 cl shrink        0 lits rem          0 time: 0.02
679.38/170.15	c vivif2 --  cl tried    45701 cl shrink     6771 lits rem      63744 time: 0.21
680.59/170.49	c asymm  cl-useful: 0/9965/129510 lits-rem:0 time: 0.34
680.98/170.50	c calculated reachability. Time: 0.00
680.98/170.50	c  N dy   697    238230     12525    129510     86134     45701    497293   7115388     36.99   no data
680.98/170.51	c Finding binary XORs  T:     0.01 s  found:       0
701.35/175.66	c  N dy   738    253712     12525    129510     86134     33587    497293   4127529     37.02     39.00
763.27/191.10	c  N dy   758    297630     12525    129510     86134     47967    497293   6648702     36.26     38.20
771.26/193.18	c  F st   765    306250     12525    129510     86135     56407    497293   8125691     36.20     30.70
782.84/196.01	c  N dy   798    316700     12525    129510     86135     37506    497293   4723182     36.25     45.77
792.43/198.44	c Finding binary XORs  T:     0.01 s  found:       0
811.60/203.25	c  N dy   875    337541     12525    129510     90689     57969    497293   8745988     36.30     38.27
836.36/209.44	c  S st   969    357345     12525    129510     90689     47066    497293   6524328     36.43   no data
837.56/209.70	c  S st   969    357846     12525    129510     90958     47297    497293   6525688     36.43   no data
837.56/209.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
842.35/210.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1496 BRemL:    161 BRemN:      0 P: 29.3M T:  1.21
842.35/210.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
842.35/210.97	c bin-w-bin subsume rem            0 bins  time:  0.02 s
842.77/211.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.07 s
842.77/211.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12525 time:  0.02 s
842.77/211.08	c Removed useless bin:       0  fixed:     0  props:   1.18M  time:  0.01 s
843.55/211.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
851.14/213.17	c subs with bin:      113  lits-rem:         9  v-fix:    0  time:  1.75 s
927.84/232.38	c lits-rem:        20  cl-subs:      509  v-elim:      0  v-fix:    0  time: 19.20 s
928.24/232.40	c vivif2 --  cl tried   129510 cl shrink        0 lits rem          0 time: 0.02
928.63/232.59	c vivif2 --  cl tried    46675 cl shrink     6479 lits rem      53453 time: 0.19
930.24/232.93	c asymm  cl-useful: 0/9161/129510 lits-rem:0 time: 0.34
930.24/232.94	c calculated reachability. Time: 0.00
930.24/232.94	c  N dy   969    357846     12525    129510     92294     46674    497292   6389159     36.43   no data
930.24/232.95	c Finding binary XORs  T:     0.01 s  found:       0
949.01/237.62	c Finding binary XORs  T:     0.01 s  found:       0
966.21/241.97	c  N dy  1086    378198     12525    129510     95713     35439    497292   4007262     36.61     38.54
993.74/248.82	c  N dy  1143    399539     12525    129510     95713     56327    497292   7776121     36.58     38.57
1026.10/256.96	c  N dy  1208    421415     12525    129510     95713     45532    497292   5699029     36.61     38.66
1048.07/262.46	c Finding binary XORs  T:     0.01 s  found:       0
1061.64/265.81	c  N dy  1309    444070     12525    129510    102298     34470    497292   3709032     36.73     38.70
1083.62/271.37	c  N dy  1358    464158     12525    129510    102310     54053    497292   7276833     36.72     38.82
1112.38/278.58	c  N dy  1419    484217     12525    129510    102310     39513    497292   4528696     36.75     38.99
1175.49/294.32	c  N dy  1474    536770     12525    129510    102311     55472    497292   7222462     36.49     33.30
1175.49/294.32	c  S st  1474    536770     12525    129510    102311     55472    497292   7222462     36.49     33.30
1176.70/294.64	c  S st  1474    537271     12525    129510    102569     55715    497292   7223822     36.49   no data
1176.70/294.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1182.27/296.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1545 BRemL:    304 BRemN:      0 P: 30.4M T:  1.35
1182.27/296.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1182.27/296.06	c bin-w-bin subsume rem            1 bins  time:  0.02 s
1182.67/296.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.08 s
1182.67/296.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12525 time:  0.02 s
1182.67/296.17	c Removed useless bin:       0  fixed:     0  props:   1.22M  time:  0.01 s
1183.47/296.37	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.20 s
1191.47/298.34	c subs with bin:       21  lits-rem:        59  v-fix:    0  time:  1.80 s
1273.77/318.97	c lits-rem:        26  cl-subs:      657  v-elim:      0  v-fix:    0  time: 20.62 s
1273.77/318.99	c vivif2 --  cl tried   129512 cl shrink        0 lits rem          0 time: 0.02
1274.95/319.20	c vivif2 --  cl tried    55036 cl shrink     7870 lits rem      61159 time: 0.21
1276.15/319.54	c asymm  cl-useful: 0/9051/129512 lits-rem:0 time: 0.34
1276.15/319.55	c calculated reachability. Time: 0.00
1276.15/319.55	c  N dy  1474    537271     12524    129512    103810     55034    497297   7056208     36.49   no data
1276.15/319.56	c Finding binary XORs  T:     0.01 s  found:       0
1304.52/326.69	c  N dy  1545    557369     12524    129512    103859     38743    497297   4088340     36.51     38.50
1332.46/333.63	c  N dy  1650    577558     12524    129512    103859     58589    497297   7841574     36.61     38.56
1424.33/356.65	c  N dy  1720    637587     12524    129512    107138     41945    497297   4508648     36.33     38.30
1424.33/356.66	c Finding binary XORs  T:     0.01 s  found:       0
1483.85/371.50	c  N dy  1778    685280     12524    129512    107139     49271    497297   5713751     36.17     38.08
1551.35/388.46	c  N dy  1852    738705     12524    129512    107139     61551    497297   7752213     35.97     37.94
1551.35/388.48	c Finding binary XORs  T:     0.01 s  found:       0
1584.91/396.86	c  N dy  1962    758732     12524    129512    114862     81208    497297  11469767     36.07     54.91
1592.50/398.79	c Finding binary XORs  T:     0.01 s  found:       0
1610.87/403.37	c  N dy  2051    778831     12524    129512    116750     59905    497297   7711499     36.12     38.21
1626.45/407.24	c Finding binary XORs  T:     0.01 s  found:       0
1649.62/413.06	c  N dy  2120    798835     12524    129512    119138     79496    497297  11562726     36.14     38.95
1657.21/414.90	c Finding binary XORs  T:     0.01 s  found:       0
1661.59/416.08	c  S st  2146    805906     12524    129512    120164     44351    497297   4619863     36.15   no data
1662.79/416.36	c  S st  2146    806406     12524    129512    120419     44596    497297   4621362     36.15   no data
1662.79/416.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1667.58/417.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  32669 BRemL:    649 BRemN:      0 P: 28.5M T:  1.19
1667.98/417.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1667.98/417.62	c bin-w-bin subsume rem            3 bins  time:  0.02 s
1668.38/417.73	c subs with bin:        3  lits-rem:         0  v-fix:    0  time:  0.11 s
1668.38/417.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12524 time:  0.03 s
1668.38/417.77	c Removed useless bin:       0  fixed:     0  props:   1.28M  time:  0.01 s
1669.21/417.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
1676.78/419.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.73 s
1695.95/424.65	c lits-rem:         7  cl-subs:      124  v-elim:      0  v-fix:    0  time:  4.84 s
1695.95/424.67	c vivif2 --  cl tried   129509 cl shrink        0 lits rem          0 time: 0.02
1696.34/424.77	c vivif2 --  cl tried    44472 cl shrink     1738 lits rem      13357 time: 0.09
1697.94/425.10	c asymm  cl-useful: 0/10274/129509 lits-rem:0 time: 0.33
1697.94/425.11	c calculated reachability. Time: 0.00
1697.94/425.11	c  N dy  2146    806406     12524    129509    152441     44467    497291   4656807     36.15   no data
1697.94/425.12	c Finding binary XORs  T:     0.01 s  found:       0
1721.93/431.16	c  N dy  2193    826853     12524    129509    152445     64472    497291   8480479     36.14     38.13
1760.25/440.75	c  N dy  2273    849266     12524    129509    152446     43544    497291   4435960     36.17     38.21
1787.02/447.46	c  N dy  2325    869442     12524    129509    152446     63334    497291   8546376     36.16     38.22
2086.19/522.34	c  N dy  2336   1054464     12524    129509    152446     62170    497291   8137152     35.03     36.95
2086.19/522.38	c Finding binary XORs  T:     0.01 s  found:       0
2107.74/527.71	c  F st  2368   1071877     12524    129509    220905     79269    497291  11528914     35.02     31.31
2112.55/528.94	c  N st  2373   1075176     12524    129509    220958     82486    497291  12250687     35.02   no data
2146.09/537.31	c  N dy  2502   1095185     12524    129509    221016     54270    497291   6663511     35.11     37.92
2171.25/543.67	c  N dy  2677   1115208     12524    129509    221184     73662    497291  14213935     35.22     37.24
2219.97/555.88	c  N dy  2845   1135261     12524    129509    221403     93241    497291  22158132     35.35     42.19
2254.33/564.48	c  N dy  3006   1155355     12524    129509    221596     63927    497291  11471416     35.46     50.89
2281.08/571.11	c  N dy  3092   1177798     12524    129509    221621     85892    497291  16654603     35.49     37.50
2290.67/573.52	c Finding binary XORs  T:     0.01 s  found:       0
2309.84/578.38	c  N dy  3186   1199071     12524    129509    225627     57020    497291   6855504     35.53     37.64
2323.43/581.80	c  S st  3250   1209609     12524    129509    225675     67383    497291   8844817     35.56     32.27
2325.42/582.27	c  S st  3250   1210109     12524    129509    225893     67665    497291   8846855     35.56   no data
2325.82/582.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2332.99/584.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   6926 BRemL:    633 BRemN:      0 P: 41.5M T:  1.89
2333.39/584.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2333.39/584.25	c bin-w-bin subsume rem            5 bins  time:  0.03 s
2334.21/584.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.18 s
2334.21/584.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12524 time:  0.03 s
2334.21/584.47	c Removed useless bin:       0  fixed:     0  props:   1.30M  time:  0.01 s
2335.40/584.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
2342.98/586.69	c subs with bin:      195  lits-rem:       259  v-fix:    0  time:  1.77 s
2427.27/607.76	c lits-rem:       106  cl-subs:      690  v-elim:      0  v-fix:    0  time: 21.06 s
2427.27/607.79	c vivif2 --  cl tried   129509 cl shrink        0 lits rem          0 time: 0.03
2428.46/608.05	c vivif2 --  cl tried    66780 cl shrink    10002 lits rem      84894 time: 0.25
2430.06/608.40	c asymm  cl-useful: 0/7929/129509 lits-rem:0 time: 0.35
2430.06/608.41	c calculated reachability. Time: 0.00
2430.06/608.42	c  N dy  3250   1210109     12524    129509    232195     66767    497291   8669929     35.56   no data
2430.06/608.43	c Finding binary XORs  T:     0.01 s  found:       0
2457.62/615.34	c  N dy  3268   1230240     12524    129509    232439     86585    497291  12719591     35.53     37.41
2473.98/619.47	c Finding binary XORs  T:     0.01 s  found:       0
2483.57/621.89	c  N dy  3311   1250339     12524    129509    236974     55466    497291   6552137     35.50     37.45
2504.33/627.04	c  N dy  3441   1270375     12524    129509    237044     74981    497291  14065415     35.57     47.99
2552.29/639.07	c  N dy  3624   1290747     12524    129509    237124     94788    497291  25649394     35.73     37.71
2598.98/650.74	c  N dy  3779   1310834     12524    129509    237231     62615    497291  11575561     35.86     52.52
2644.13/662.09	c  N dy  3967   1330849     12524    129509    237385     82008    497291  23023973     36.07     56.36
2735.17/684.84	c  N dy  4151   1350946     12524    129509    237521    101474    497291  34715695     36.28     41.93
2757.92/690.60	c Finding binary XORs  T:     0.01 s  found:       0
2772.30/694.10	c  N dy  4291   1371025     12524    129509    247368     68523    497291  14017458     36.38     62.73
2823.02/706.81	c  N dy  4469   1391051     12524    129509    247424     88004    497291  24267936     36.56     46.67
2901.28/726.42	c  N dy  4636   1411083     12524    129509    247488     54005    497291   6336650     36.72     45.89
2927.64/733.10	c  N dy  4787   1431154     12524    129509    247515     73544    497291  16287806     36.84     74.98
2982.77/746.84	c  N dy  4954   1451203     12524    129509    247574     93060    497291  26349079     36.98     56.43
3061.01/766.46	c  N dy  5129   1471239     12524    129509    247645     58144    497291   8217664     37.13     39.17
3093.75/774.61	c  N dy  5279   1491261     12524    129509    247696     77682    497291  18111117     37.24     50.92
3151.27/789.06	c  N dy  5450   1511281     12524    129509    247727     97203    497291  28255074     37.37     39.41
3214.74/804.99	c  N dy  5592   1532260     12524    129509    247784     62089    497291  10064759     37.49     39.52
3248.71/813.49	c  N dy  5739   1552348     12524    129509    247824     81803    497291  19676943     37.56     45.93
3307.44/828.16	c  N dy  5920   1572364     12524    129509    247842    101386    497291  30011195     37.70     46.34
3366.49/842.94	c  N dy  6082   1592444     12524    129509    248286     64338    497291  10939772     37.83     46.10
3414.83/855.02	c  N dy  6250   1612584     12524    129509    251896     84019    497291  21045456     37.97     40.24
3414.83/855.07	c Finding binary XORs  T:     0.01 s  found:       0
3485.10/872.69	c  N dy  6397   1632923     12524    129509    251945    103849    497291  31246100     38.08     40.16
3550.99/889.11	c  N dy  6562   1652993     12524    129509    251991     65802    497291  11364282     38.20     40.24
3592.53/899.50	c  N dy  6687   1672995     12524    129509    252022     85392    497291  21312182     38.28     46.49
3666.41/918.09	c  N dy  6856   1692998     12524    129509    252048    104931    497291  31228775     38.39     41.70
3742.70/937.11	c  S st  6978   1710110     12524    129509    252196     63091    497291   9514759     38.46   no data
3745.08/937.77	c  S st  6978   1710610     12524    129509    252410     63376    497291   9517319     38.46   no data
3745.48/937.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3756.26/940.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   2536 BRemL:    174 BRemN:      0 P: 38.8M T:  2.67
3756.26/940.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3756.26/940.57	c bin-w-bin subsume rem           14 bins  time:  0.04 s
3757.46/940.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.23 s
3757.46/940.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12524 time:  0.05 s
3757.46/940.88	c Removed useless bin:       0  fixed:     0  props:   1.30M  time:  0.02 s
3758.66/941.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.30 s
3770.65/944.11	c subs with bin:        0  lits-rem:        26  v-fix:    0  time:  2.57 s
3810.59/954.10	c lits-rem:        37  cl-subs:      108  v-elim:      0  v-fix:    0  time:  9.98 s
3810.59/954.13	c vivif2 --  cl tried   129509 cl shrink        0 lits rem          0 time: 0.03
3811.79/954.42	c vivif2 --  cl tried    63268 cl shrink     5445 lits rem     231707 time: 0.28
3813.01/954.77	c asymm  cl-useful: 0/7713/129509 lits-rem:0 time: 0.35
3813.01/954.79	c calculated reachability. Time: 0.00
3813.01/954.79	c  N dy  6978   1710610     12524    129509    254770     63257    497290   9244842     38.46   no data
3813.39/954.81	c Finding binary XORs  T:     0.01 s  found:       0
3842.54/962.19	c  N dy  7048   1731675     12524    129509    261127     83777    497290  20323970     38.47     40.61
3850.14/964.02	c Finding binary XORs  T:     0.01 s  found:       0
3884.08/972.57	c  N dy  7119   1751701     12524    129509    264961    103376    497290  31007325     38.49     40.53
3939.56/986.40	c  N dy  7203   1775809     12524    129509    265001     67419    497290  12428285     38.52     40.68
3970.32/994.20	c  N dy  7247   1795896     12524    129509    265036     86906    497290  22492578     38.52     48.41
4018.24/1006.17	c  N dy  7337   1815912     12524    129509    265051    106435    497290  32705917     38.55     40.82
4055.74/1015.53	c  N dy  7423   1836195     12524    129509    265071     65822    497290  10529223     38.59     40.72
4088.10/1023.63	c  N dy  7522   1856260     12524    129509    265094     85412    497290  20905270     38.63     45.23
4144.32/1037.84	c  N dy  7605   1876284     12524    129509    265115    104908    497290  30927585     38.66     44.12
4215.30/1055.62	c  N dy  7723   1896292     12524    129509    265145     63037    497290   8763886     38.71     51.85
4242.03/1062.65	c  N dy  7757   1916977     12524    129509    265158     83409    497290  18892249     38.69     40.74
4285.10/1073.16	c  N dy  7823   1937575     12524    129509    265177    103645    497290  28727448     38.70     40.95
4334.86/1085.67	c  N dy  7883   1957792     12524    129509    265191    123380    497290  38422685     38.70     40.76
4371.56/1094.89	c  N dy  7971   1977962     12524    129509    265219     80546    497290  17241903     38.73     40.98
4413.35/1105.32	c  N dy  8016   1999623     12524    129509    265240    101638    497290  27660561     38.73     40.80
4461.96/1117.58	c  N dy  8069   2021473     12524    129509    265261    122911    497290  38734332     38.73     41.32
4509.47/1129.49	c  N dy  8096   2046373     12524    129509    265278     83519    497290  19487047     38.71     40.76
4555.00/1140.80	c  N dy  8134   2066908     12524    129509    265293    103621    497290  30017274     38.71     40.81
4614.51/1155.71	c  N dy  8203   2087493     12524    129509    265308    123866    497290  39977110     38.72     40.86
4659.24/1166.99	c  N dy  8268   2107613     12524    129509    265321     79058    497290  16990272     38.73     40.78
4703.96/1178.19	c  N dy  8324   2127696     12524    129509    265332     98690    497290  27120218     38.74     40.79
4731.14/1184.97	c Finding binary XORs  T:     0.01 s  found:       0
4747.82/1189.10	c  N dy  8365   2147780     12524    129509    269517    118186    497290  37586603     38.74     41.27

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 6/180 11727
/proc/meminfo: memFree=21327292/32951124 swapFree=67111524/67111528
[pid=11727] ppid=11725 vsize=183256 CPUtime=0 cores=0,2,4,6
/proc/11727/stat : 11727 (strangenight2-m) R 11725 11727 11686 0 -1 4202496 670 0 0 0 0 0 0 0 22 0 4 0 514472552 187654144 595 33554432000 4194304 4627427 140736863300544 18446744073709551615 212436016955 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11727/statm: 45814 623 329 106 0 40785 0
[pid=11727/tid=11728] ppid=11725 vsize=183256 CPUtime=0 cores=0,2,4,6
/proc/11727/task/11728/stat : 11728 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 152 0 0 0 0 0 0 0 23 0 4 0 514472552 187654144 832 33554432000 4194304 4627427 140736863300544 18446744073709551615 212436016955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11727/tid=11729] ppid=11725 vsize=183256 CPUtime=0 cores=0,2,4,6
/proc/11727/task/11729/stat : 11729 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 35 0 0 0 0 0 0 0 23 0 4 0 514472552 187654144 868 33554432000 4194304 4627427 140736863300544 18446744073709551615 212436016955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11727/tid=11730] ppid=11725 vsize=183256 CPUtime=0 cores=0,2,4,6
/proc/11727/task/11730/stat : 11730 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 180 0 0 0 0 0 0 0 23 0 4 0 514472552 187654144 904 33554432000 4194304 4627427 140736863300544 18446744073709551615 212436016955 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0276949 s]
/proc/loadavg: 0.00 0.00 0.00 6/180 11727
/proc/meminfo: memFree=21327292/32951124 swapFree=67111524/67111528
[pid=11727] ppid=11725 vsize=357620 CPUtime=0.08 cores=0,2,4,6
/proc/11727/stat : 11727 (strangenight2-m) R 11725 11727 11686 0 -1 4202496 8188 0 0 0 7 1 0 0 18 0 4 0 514472552 366202880 7367 33554432000 4194304 4627427 140736863300544 18446744073709551615 212436016955 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11727/statm: 89483 7427 339 106 0 84454 0
[pid=11727/tid=11728] ppid=11725 vsize=357932 CPUtime=0.02 cores=0,2,4,6
/proc/11727/task/11728/stat : 11728 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 1856 0 0 0 2 0 0 0 18 0 4 0 514472552 366522368 7441 33554432000 4194304 4627427 140736863300544 18446744073709551615 4530607 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11727/tid=11729] ppid=11725 vsize=357932 CPUtime=0.01 cores=0,2,4,6
/proc/11727/task/11729/stat : 11729 (strangenight2-m) S 11725 11727 11686 0 -1 4202560 1760 0 0 0 1 0 0 0 18 0 4 0 514472552 366522368 7458 33554432000 4194304 4627427 140736863300544 18446744073709551615 212436122094 0 0 4096 2 18446604453938596544 0 0 -1 6 0 0 0
[pid=11727/tid=11730] ppid=11725 vsize=358412 CPUtime=0.02 cores=0,2,4,6
/proc/11727/task/11730/stat : 11730 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 2151 0 0 0 2 0 0 0 18 0 4 0 514472552 367013888 7472 33554432000 4194304 4627427 140736863300544 18446744073709551615 212435714144 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 357620

[startup+0.105004 s]
/proc/loadavg: 0.00 0.00 0.00 6/180 11727
/proc/meminfo: memFree=21327292/32951124 swapFree=67111524/67111528
[pid=11727] ppid=11725 vsize=376740 CPUtime=1.86 cores=0,2,4,6
/proc/11727/stat : 11727 (strangenight2-m) R 11725 11727 11686 0 -1 4202496 18689 0 0 0 181 5 0 0 18 0 4 0 514472552 385781760 17644 33554432000 4194304 4627427 140736863300544 18446744073709551615 4415675 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11727/statm: 94185 17668 373 106 0 89156 0
[pid=11727/tid=11728] ppid=11725 vsize=376740 CPUtime=0.46 cores=0,2,4,6
/proc/11727/task/11728/stat : 11728 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 4417 0 0 0 46 0 0 0 18 0 4 0 514472552 385781760 17685 33554432000 4194304 4627427 140736863300544 18446744073709551615 212435714151 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11727/tid=11729] ppid=11725 vsize=381376 CPUtime=0.46 cores=0,2,4,6
/proc/11727/task/11729/stat : 11729 (strangenight2-m) D 11725 11727 11686 0 -1 4202560 4441 0 0 0 45 1 0 0 18 0 4 0 514472552 390529024 19529 33554432000 4194304 4627427 140736863300544 18446744073709551615 212435714144 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11727/tid=11730] ppid=11725 vsize=381376 CPUtime=0.46 cores=0,2,4,6
/proc/11727/task/11730/stat : 11730 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 4783 0 0 0 45 1 0 0 18 0 4 0 514472552 390529024 19610 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 376740

[startup+0.593591 s]
/proc/loadavg: 0.00 0.00 0.00 6/180 11727
/proc/meminfo: memFree=21327292/32951124 swapFree=67111524/67111528
[pid=11727] ppid=11725 vsize=430020 CPUtime=4.84 cores=0,2,4,6
/proc/11727/stat : 11727 (strangenight2-m) R 11725 11727 11686 0 -1 4202496 42936 0 0 0 472 12 0 0 18 0 4 0 514472552 440340480 33226 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11727/statm: 107505 33226 386 106 0 102476 0
[pid=11727/tid=11728] ppid=11725 vsize=430020 CPUtime=1.2 cores=0,2,4,6
/proc/11727/task/11728/stat : 11728 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 12088 0 0 0 118 2 0 0 18 0 4 0 514472552 440340480 33226 33554432000 4194304 4627427 140736863300544 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11727/tid=11729] ppid=11725 vsize=430020 CPUtime=1.19 cores=0,2,4,6
/proc/11727/task/11729/stat : 11729 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 12278 0 0 0 116 3 0 0 19 0 4 0 514472552 440340480 33226 33554432000 4194304 4627427 140736863300544 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11727/tid=11730] ppid=11725 vsize=430020 CPUtime=1.2 cores=0,2,4,6
/proc/11727/task/11730/stat : 11730 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 5932 0 0 0 119 1 0 0 19 0 4 0 514472552 440340480 33226 33554432000 4194304 4627427 140736863300544 18446744073709551615 4308241 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.84
Current children cumulated vsize (KiB) 430020

[startup+1.32435 s]
/proc/loadavg: 0.00 0.00 0.00 6/180 11727
/proc/meminfo: memFree=21327292/32951124 swapFree=67111524/67111528
[pid=11727] ppid=11725 vsize=463040 CPUtime=5.23 cores=0,2,4,6
/proc/11727/stat : 11727 (strangenight2-m) R 11725 11727 11686 0 -1 4202496 43717 0 0 0 511 12 0 0 19 0 4 0 514472552 474152960 34007 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11727/statm: 115760 34007 386 106 0 110731 0
[pid=11727/tid=11728] ppid=11725 vsize=463040 CPUtime=1.3 cores=0,2,4,6
/proc/11727/task/11728/stat : 11728 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 12337 0 0 0 128 2 0 0 18 0 4 0 514472552 474152960 34007 33554432000 4194304 4627427 140736863300544 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11727/tid=11729] ppid=11725 vsize=463040 CPUtime=1.29 cores=0,2,4,6
/proc/11727/task/11729/stat : 11729 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 12518 0 0 0 126 3 0 0 19 0 4 0 514472552 474152960 34007 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309284 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11727/tid=11730] ppid=11725 vsize=463040 CPUtime=1.3 cores=0,2,4,6
/proc/11727/task/11730/stat : 11730 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 6007 0 0 0 129 1 0 0 19 0 4 0 514472552 474152960 34007 33554432000 4194304 4627427 140736863300544 18446744073709551615 4299595 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.23
Current children cumulated vsize (KiB) 463040

[startup+1.50032 s]
/proc/loadavg: 0.00 0.00 0.00 6/180 11727
/proc/meminfo: memFree=21327292/32951124 swapFree=67111524/67111528
[pid=11727] ppid=11725 vsize=528672 CPUtime=5.94 cores=0,2,4,6
/proc/11727/stat : 11727 (strangenight2-m) R 11725 11727 11686 0 -1 4202496 44867 0 0 0 582 12 0 0 19 0 4 0 514472552 541360128 35157 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11727/statm: 132168 35157 386 106 0 127139 0
[pid=11727/tid=11728] ppid=11725 vsize=528672 CPUtime=1.48 cores=0,2,4,6
/proc/11727/task/11728/stat : 11728 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 12712 0 0 0 146 2 0 0 19 0 4 0 514472552 541360128 35157 33554432000 4194304 4627427 140736863300544 18446744073709551615 4321706 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11727/tid=11729] ppid=11725 vsize=528672 CPUtime=1.47 cores=0,2,4,6
/proc/11727/task/11729/stat : 11729 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 12900 0 0 0 144 3 0 0 19 0 4 0 514472552 541360128 35157 33554432000 4194304 4627427 140736863300544 18446744073709551615 4321876 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11727/tid=11730] ppid=11725 vsize=528672 CPUtime=1.47 cores=0,2,4,6
/proc/11727/task/11730/stat : 11730 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 6050 0 0 0 146 1 0 0 20 0 4 0 514472552 541360128 35157 33554432000 4194304 4627427 140736863300544 18446744073709551615 4327274 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 528672

[startup+3.10102 s]
/proc/loadavg: 0.64 0.13 0.04 9/184 11732
/proc/meminfo: memFree=21040324/32951124 swapFree=67111524/67111528
[pid=11727] ppid=11725 vsize=530188 CPUtime=12.35 cores=0,2,4,6
/proc/11727/stat : 11727 (strangenight2-m) R 11725 11727 11686 0 -1 4202496 54289 0 0 0 1221 14 0 0 22 0 4 0 514472552 542912512 44579 33554432000 4194304 4627427 140736863300544 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11727/statm: 132547 44579 386 106 0 127518 0
[pid=11727/tid=11728] ppid=11725 vsize=530188 CPUtime=3.09 cores=0,2,4,6
/proc/11727/task/11728/stat : 11728 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 15617 0 0 0 306 3 0 0 22 0 4 0 514472552 542912512 44580 33554432000 4194304 4627427 140736863300544 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11727/tid=11729] ppid=11725 vsize=530188 CPUtime=3.06 cores=0,2,4,6
/proc/11727/task/11729/stat : 11729 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 15458 0 0 0 302 4 0 0 22 0 4 0 514472552 542912512 44580 33554432000 4194304 4627427 140736863300544 18446744073709551615 4321603 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11727/tid=11730] ppid=11725 vsize=530188 CPUtime=3.09 cores=0,2,4,6
/proc/11727/task/11730/stat : 11730 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 7547 0 0 0 307 2 0 0 25 0 4 0 514472552 542912512 44580 33554432000 4194304 4627427 140736863300544 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 530188

[startup+6.30041 s]
/proc/loadavg: 0.64 0.13 0.04 9/184 11732
/proc/meminfo: memFree=21035984/32951124 swapFree=67111524/67111528
[pid=11727] ppid=11725 vsize=534020 CPUtime=25.1 cores=0,2,4,6
/proc/11727/stat : 11727 (strangenight2-m) R 11725 11727 11686 0 -1 4202496 80217 0 0 0 2492 18 0 0 25 0 4 0 514472552 546836480 46491 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11727/statm: 133505 46491 388 106 0 128476 0
[pid=11727/tid=11728] ppid=11725 vsize=534020 CPUtime=6.28 cores=0,2,4,6
/proc/11727/task/11728/stat : 11728 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 23123 0 0 0 624 4 0 0 25 0 4 0 514472552 546836480 46491 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11727/tid=11729] ppid=11725 vsize=534020 CPUtime=6.23 cores=0,2,4,6
/proc/11727/task/11729/stat : 11729 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 22138 0 0 0 618 5 0 0 25 0 4 0 514472552 546836480 46491 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11727/tid=11730] ppid=11725 vsize=534020 CPUtime=6.28 cores=0,2,4,6
/proc/11727/task/11730/stat : 11730 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 12164 0 0 0 626 2 0 0 25 0 4 0 514472552 546836480 46491 33554432000 4194304 4627427 140736863300544 18446744073709551615 4322179 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 534020

[startup+12.7012 s]
/proc/loadavg: 1.23 0.26 0.09 9/184 11732
/proc/meminfo: memFree=20716200/32951124 swapFree=67111524/67111528
[pid=11727] ppid=11725 vsize=969784 CPUtime=50.66 cores=0,2,4,6
/proc/11727/stat : 11727 (strangenight2-m) R 11725 11727 11686 0 -1 4202496 166082 0 0 0 5033 33 0 0 25 0 4 0 514472552 993058816 125650 33554432000 4194304 4627427 140736863300544 18446744073709551615 4468055 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11727/statm: 242446 125650 407 106 0 237417 0
[pid=11727/tid=11728] ppid=11725 vsize=969784 CPUtime=12.68 cores=0,2,4,6
/proc/11727/task/11728/stat : 11728 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 58720 0 0 0 1258 10 0 0 25 0 4 0 514472552 993058816 125650 33554432000 4194304 4627427 140736863300544 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11727/tid=11729] ppid=11725 vsize=969784 CPUtime=12.6 cores=0,2,4,6
/proc/11727/task/11729/stat : 11729 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 27124 0 0 0 1253 7 0 0 25 0 4 0 514472552 993058816 125650 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11727/tid=11730] ppid=11725 vsize=969784 CPUtime=12.67 cores=0,2,4,6
/proc/11727/task/11730/stat : 11730 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 29589 0 0 0 1262 5 0 0 25 0 4 0 514472552 993058816 125650 33554432000 4194304 4627427 140736863300544 18446744073709551615 4424704 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 969784

[startup+25.5008 s]
/proc/loadavg: 2.81 0.66 0.22 9/184 11732
/proc/meminfo: memFree=20634468/32951124 swapFree=67111524/67111528
[pid=11727] ppid=11725 vsize=968148 CPUtime=101.79 cores=0,2,4,6
/proc/11727/stat : 11727 (strangenight2-m) R 11725 11727 11686 0 -1 4202496 202603 0 0 0 10136 43 0 0 25 0 4 0 514472552 991383552 145128 33554432000 4194304 4627427 140736863300544 18446744073709551615 4308717 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11727/statm: 242037 145128 391 106 0 237008 0
[pid=11727/tid=11728] ppid=11725 vsize=968148 CPUtime=25.48 cores=0,2,4,6
/proc/11727/task/11728/stat : 11728 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 58720 0 0 0 2538 10 0 0 25 0 4 0 514472552 991383552 145128 33554432000 4194304 4627427 140736863300544 18446744073709551615 4427854 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11727/tid=11729] ppid=11725 vsize=968148 CPUtime=25.33 cores=0,2,4,6
/proc/11727/task/11729/stat : 11729 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 49658 0 0 0 2520 13 0 0 25 0 4 0 514472552 991383552 145128 33554432000 4194304 4627427 140736863300544 18446744073709551615 4427416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11727/tid=11730] ppid=11725 vsize=968148 CPUtime=25.48 cores=0,2,4,6
/proc/11727/task/11730/stat : 11730 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 42813 0 0 0 2538 10 0 0 25 0 4 0 514472552 991383552 145128 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 968148

[startup+51.1009 s]
/proc/loadavg: 4.58 1.25 0.42 9/184 11733
/proc/meminfo: memFree=20514868/32951124 swapFree=67111524/67111528
[pid=11727] ppid=11725 vsize=908172 CPUtime=204.05 cores=0,2,4,6
/proc/11727/stat : 11727 (strangenight2-m) R 11725 11727 11686 0 -1 4202496 293257 0 0 0 20341 64 0 0 25 0 4 0 514472552 929968128 173728 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11727/statm: 227043 173728 391 106 0 222014 0
[pid=11727/tid=11728] ppid=11725 vsize=908172 CPUtime=51.08 cores=0,2,4,6
/proc/11727/task/11728/stat : 11728 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 82298 0 0 0 5092 16 0 0 25 0 4 0 514472552 929968128 173728 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11727/tid=11729] ppid=11725 vsize=908172 CPUtime=50.8 cores=0,2,4,6
/proc/11727/task/11729/stat : 11729 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 73500 0 0 0 5062 18 0 0 25 0 4 0 514472552 929968128 173728 33554432000 4194304 4627427 140736863300544 18446744073709551615 4428403 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11727/tid=11730] ppid=11725 vsize=908172 CPUtime=51.07 cores=0,2,4,6
/proc/11727/task/11730/stat : 11730 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 66707 0 0 0 5092 15 0 0 25 0 4 0 514472552 929968128 173728 33554432000 4194304 4627427 140736863300544 18446744073709551615 4330279 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.05
Current children cumulated vsize (KiB) 908172

[startup+102.3 s]
/proc/loadavg: 6.61 2.31 0.83 9/184 11734
/proc/meminfo: memFree=20197400/32951124 swapFree=67111524/67111528
[pid=11727] ppid=11725 vsize=1281044 CPUtime=408.55 cores=0,2,4,6
/proc/11727/stat : 11727 (strangenight2-m) R 11725 11727 11686 0 -1 4202496 428407 0 0 0 40758 97 0 0 25 0 4 0 514472552 1311789056 231800 33554432000 4194304 4627427 140736863300544 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11727/statm: 320261 231800 391 106 0 315232 0
[pid=11727/tid=11728] ppid=11725 vsize=1281044 CPUtime=102.27 cores=0,2,4,6
/proc/11727/task/11728/stat : 11728 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 117861 0 0 0 10203 24 0 0 25 0 4 0 514472552 1311789056 231800 33554432000 4194304 4627427 140736863300544 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11727/tid=11729] ppid=11725 vsize=1281044 CPUtime=101.71 cores=0,2,4,6
/proc/11727/task/11729/stat : 11729 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 104832 0 0 0 10144 27 0 0 25 0 4 0 514472552 1311789056 231800 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11727/tid=11730] ppid=11725 vsize=1281044 CPUtime=102.26 cores=0,2,4,6
/proc/11727/task/11730/stat : 11730 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 100002 0 0 0 10202 24 0 0 25 0 4 0 514472552 1311789056 231800 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.55
Current children cumulated vsize (KiB) 1281044

[startup+162.301 s]

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


[startup+702.301 s]
/proc/loadavg: 8.20 7.31 4.26 9/184 11780
/proc/meminfo: memFree=17674204/32951124 swapFree=67111524/67111528
[pid=11727] ppid=11725 vsize=2335496 CPUtime=2805.06 cores=0,2,4,6
/proc/11727/stat : 11727 (strangenight2-m) R 11725 11727 11686 0 -1 4202496 2112953 0 0 0 279988 518 0 0 25 0 4 0 514472552 2391547904 450186 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11727/statm: 583874 450186 391 106 0 578845 0
[pid=11727/tid=11728] ppid=11725 vsize=2335496 CPUtime=702.23 cores=0,2,4,6
/proc/11727/task/11728/stat : 11728 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 584415 0 0 0 70092 131 0 0 25 0 4 0 514472552 2391547904 450186 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11727/tid=11729] ppid=11725 vsize=2335496 CPUtime=698.4 cores=0,2,4,6
/proc/11727/task/11729/stat : 11729 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 539490 0 0 0 69704 136 0 0 25 0 4 0 514472552 2391547904 450186 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11727/tid=11730] ppid=11725 vsize=2335496 CPUtime=702.17 cores=0,2,4,6
/proc/11727/task/11730/stat : 11730 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 504282 0 0 0 70081 136 0 0 25 0 4 0 514472552 2391547904 450186 33554432000 4194304 4627427 140736863300544 18446744073709551615 4308335 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.06
Current children cumulated vsize (KiB) 2335496

[startup+762.301 s]
/proc/loadavg: 8.17 7.47 4.50 9/184 11782
/proc/meminfo: memFree=17651664/32951124 swapFree=67111524/67111528
[pid=11727] ppid=11725 vsize=2389044 CPUtime=3044.66 cores=0,2,4,6
/proc/11727/stat : 11727 (strangenight2-m) R 11725 11727 11686 0 -1 4202496 2353693 0 0 0 303896 570 0 0 25 0 4 0 514472552 2446381056 454179 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11727/statm: 597261 454179 391 106 0 592232 0
[pid=11727/tid=11728] ppid=11725 vsize=2389044 CPUtime=762.22 cores=0,2,4,6
/proc/11727/task/11728/stat : 11728 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 654197 0 0 0 76077 145 0 0 25 0 4 0 514472552 2446381056 454179 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11727/tid=11729] ppid=11725 vsize=2389044 CPUtime=758.06 cores=0,2,4,6
/proc/11727/task/11729/stat : 11729 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 603685 0 0 0 75656 150 0 0 25 0 4 0 514472552 2446381056 454179 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11727/tid=11730] ppid=11725 vsize=2389044 CPUtime=762.15 cores=0,2,4,6
/proc/11727/task/11730/stat : 11730 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 564184 0 0 0 76066 149 0 0 25 0 4 0 514472552 2446381056 454179 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3044.66
Current children cumulated vsize (KiB) 2389044

[startup+822.3 s]
/proc/loadavg: 7.93 7.54 4.71 6/178 11786
/proc/meminfo: memFree=19368476/32951124 swapFree=67111524/67111528
[pid=11727] ppid=11725 vsize=2438564 CPUtime=3284.25 cores=0,2,4,6
/proc/11727/stat : 11727 (strangenight2-m) R 11725 11727 11686 0 -1 4202496 2604045 0 0 0 327802 623 0 0 25 0 4 0 514472552 2497089536 472285 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11727/statm: 609641 472285 391 106 0 604612 0
[pid=11727/tid=11728] ppid=11725 vsize=2438564 CPUtime=822.2 cores=0,2,4,6
/proc/11727/task/11728/stat : 11728 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 725801 0 0 0 82060 160 0 0 25 0 4 0 514472552 2497089536 472285 33554432000 4194304 4627427 140736863300544 18446744073709551615 4321720 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11727/tid=11729] ppid=11725 vsize=2438564 CPUtime=817.72 cores=0,2,4,6
/proc/11727/task/11729/stat : 11729 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 659477 0 0 0 81612 160 0 0 25 0 4 0 514472552 2497089536 472285 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11727/tid=11730] ppid=11725 vsize=2438564 CPUtime=822.13 cores=0,2,4,6
/proc/11727/task/11730/stat : 11730 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 623514 0 0 0 82051 162 0 0 25 0 4 0 514472552 2497089536 472285 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.25
Current children cumulated vsize (KiB) 2438564

[startup+882.301 s]
/proc/loadavg: 7.83 7.55 4.89 9/184 11815
/proc/meminfo: memFree=17263536/32951124 swapFree=67111524/67111528
[pid=11727] ppid=11725 vsize=2655296 CPUtime=3523.85 cores=0,2,4,6
/proc/11727/stat : 11727 (strangenight2-m) R 11725 11727 11686 0 -1 4202496 2875015 0 0 0 351703 682 0 0 25 0 4 0 514472552 2719023104 524863 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11727/statm: 663824 524863 391 106 0 658795 0
[pid=11727/tid=11728] ppid=11725 vsize=2655296 CPUtime=882.19 cores=0,2,4,6
/proc/11727/task/11728/stat : 11728 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 845489 0 0 0 88039 180 0 0 25 0 4 0 514472552 2719023104 524863 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11727/tid=11729] ppid=11725 vsize=2655296 CPUtime=877.36 cores=0,2,4,6
/proc/11727/task/11729/stat : 11729 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 707493 0 0 0 87562 174 0 0 25 0 4 0 514472552 2719023104 524863 33554432000 4194304 4627427 140736863300544 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11727/tid=11730] ppid=11725 vsize=2655296 CPUtime=882.1 cores=0,2,4,6
/proc/11727/task/11730/stat : 11730 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 681662 0 0 0 88035 175 0 0 25 0 4 0 514472552 2719023104 524863 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3523.85
Current children cumulated vsize (KiB) 2655296

[startup+942.301 s]
/proc/loadavg: 8.10 7.68 5.10 9/184 11817
/proc/meminfo: memFree=15478444/32951124 swapFree=67111524/67111528
[pid=11727] ppid=11725 vsize=3379168 CPUtime=3763.46 cores=0,2,4,6
/proc/11727/stat : 11727 (strangenight2-m) R 11725 11727 11686 0 -1 4202496 3280813 0 0 0 375586 760 0 0 25 0 4 0 514472552 3460268032 712617 33554432000 4194304 4627427 140736863300544 18446744073709551615 4424307 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11727/statm: 844792 712617 391 106 0 839763 0
[pid=11727/tid=11728] ppid=11725 vsize=3379168 CPUtime=942.15 cores=0,2,4,6
/proc/11727/task/11728/stat : 11728 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 910738 0 0 0 94014 201 0 0 25 0 4 0 514472552 3460268032 712617 33554432000 4194304 4627427 140736863300544 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11727/tid=11729] ppid=11725 vsize=3379168 CPUtime=937.03 cores=0,2,4,6
/proc/11727/task/11729/stat : 11729 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 868865 0 0 0 93506 197 0 0 25 0 4 0 514472552 3460268032 712617 33554432000 4194304 4627427 140736863300544 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11727/tid=11730] ppid=11725 vsize=3379168 CPUtime=942.08 cores=0,2,4,6
/proc/11727/task/11730/stat : 11730 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 798191 0 0 0 94014 194 0 0 25 0 4 0 514472552 3460268032 712617 33554432000 4194304 4627427 140736863300544 18446744073709551615 4420191 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3763.46
Current children cumulated vsize (KiB) 3379168

[startup+1002.3 s]
/proc/loadavg: 8.05 7.74 5.28 9/184 11818
/proc/meminfo: memFree=7553556/32951124 swapFree=67111524/67111528
[pid=11727] ppid=11725 vsize=3747060 CPUtime=4003.06 cores=0,2,4,6
/proc/11727/stat : 11727 (strangenight2-m) R 11725 11727 11686 0 -1 4202496 3531982 0 0 0 399495 811 0 0 25 0 4 0 514472552 3836989440 771293 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11727/statm: 936765 771293 391 106 0 931736 0
[pid=11727/tid=11728] ppid=11725 vsize=3747060 CPUtime=1002.14 cores=0,2,4,6
/proc/11727/task/11728/stat : 11728 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 975699 0 0 0 99996 218 0 0 25 0 4 0 514472552 3836989440 771293 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11727/tid=11729] ppid=11725 vsize=3747060 CPUtime=996.68 cores=0,2,4,6
/proc/11727/task/11729/stat : 11729 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 932604 0 0 0 99459 209 0 0 25 0 4 0 514472552 3836989440 771293 33554432000 4194304 4627427 140736863300544 18446744073709551615 4310370 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11727/tid=11730] ppid=11725 vsize=3747060 CPUtime=1002.06 cores=0,2,4,6
/proc/11727/task/11730/stat : 11730 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 858049 0 0 0 100002 204 0 0 25 0 4 0 514472552 3836989440 771294 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.06
Current children cumulated vsize (KiB) 3747060

[startup+1062.3 s]
/proc/loadavg: 9.32 8.10 5.55 5/184 11821
/proc/meminfo: memFree=100600/32951124 swapFree=67111424/67111528
[pid=11727] ppid=11725 vsize=3794692 CPUtime=4242.03 cores=0,2,4,6
/proc/11727/stat : 11727 (strangenight2-m) R 11725 11727 11686 0 -1 4202496 3799568 0 0 0 423290 913 0 0 25 0 4 0 514472552 3885764608 722279 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11727/statm: 948673 722279 391 106 0 943644 0
[pid=11727/tid=11728] ppid=11725 vsize=3794692 CPUtime=1062.07 cores=0,2,4,6
/proc/11727/task/11728/stat : 11728 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 1046529 0 0 0 105972 235 0 0 25 0 4 0 514472552 3885764608 722279 33554432000 4194304 4627427 140736863300544 18446744073709551615 4333265 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11727/tid=11729] ppid=11725 vsize=3794692 CPUtime=1056.29 cores=0,2,4,6
/proc/11727/task/11729/stat : 11729 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 996778 0 0 0 105367 262 0 0 25 0 4 0 514472552 3885764608 722280 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11727/tid=11730] ppid=11725 vsize=3794692 CPUtime=1062.03 cores=0,2,4,6
/proc/11727/task/11730/stat : 11730 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 921716 0 0 0 105983 220 0 0 25 0 4 0 514472552 3885764608 722280 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4242.03
Current children cumulated vsize (KiB) 3794692

[startup+1122.31 s]
/proc/loadavg: 11.46 8.92 5.99 5/181 11827
/proc/meminfo: memFree=13938576/32951124 swapFree=67111416/67111528
[pid=11727] ppid=11725 vsize=4087544 CPUtime=4481.13 cores=0,2,4,6
/proc/11727/stat : 11727 (strangenight2-m) R 11725 11727 11686 0 -1 4202496 4148020 0 0 0 447069 1044 0 0 25 0 4 0 514472552 4185645056 870565 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11727/statm: 1021886 870567 391 106 0 1016857 0
[pid=11727/tid=11728] ppid=11725 vsize=4087544 CPUtime=1122.01 cores=0,2,4,6
/proc/11727/task/11728/stat : 11728 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 1215853 0 0 0 111939 262 0 0 25 0 4 0 514472552 4185645056 870567 33554432000 4194304 4627427 140736863300544 18446744073709551615 4415758 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11727/tid=11729] ppid=11725 vsize=4087544 CPUtime=1115.95 cores=0,2,4,6
/proc/11727/task/11729/stat : 11729 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 1054601 0 0 0 111255 340 0 0 25 0 4 0 514472552 4185645056 870568 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11727/tid=11730] ppid=11725 vsize=4087544 CPUtime=1122 cores=0,2,4,6
/proc/11727/task/11730/stat : 11730 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 969686 0 0 0 111970 230 0 0 25 0 4 0 514472552 4185645056 870568 33554432000 4194304 4627427 140736863300544 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4481.13
Current children cumulated vsize (KiB) 4087544

[startup+1182.3 s]
/proc/loadavg: 10.74 9.18 6.26 5/179 11842
/proc/meminfo: memFree=22034180/32951124 swapFree=67111416/67111528
[pid=11727] ppid=11725 vsize=4395040 CPUtime=4720.73 cores=0,2,4,6
/proc/11727/stat : 11727 (strangenight2-m) R 11725 11727 11686 0 -1 4202496 4347374 0 0 0 470898 1175 0 0 25 0 4 0 514472552 4500520960 907949 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11727/statm: 1098760 907949 391 106 0 1093731 0
[pid=11727/tid=11728] ppid=11725 vsize=4395040 CPUtime=1182.01 cores=0,2,4,6
/proc/11727/task/11728/stat : 11728 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 1245382 0 0 0 117935 266 0 0 25 0 4 0 514472552 4500520960 907949 33554432000 4194304 4627427 140736863300544 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11727/tid=11729] ppid=11725 vsize=4395040 CPUtime=1175.59 cores=0,2,4,6
/proc/11727/task/11729/stat : 11729 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 1106985 0 0 0 117132 427 0 0 25 0 4 0 514472552 4500520960 907949 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11727/tid=11730] ppid=11725 vsize=4395040 CPUtime=1181.98 cores=0,2,4,6
/proc/11727/task/11730/stat : 11730 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 1026146 0 0 0 117949 249 0 0 25 0 4 0 514472552 4500520960 907949 33554432000 4194304 4627427 140736863300544 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4720.73
Current children cumulated vsize (KiB) 4395040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.3 s]
/proc/loadavg: 10.26 9.18 6.33 5/180 11844
/proc/meminfo: memFree=24313676/32951124 swapFree=67111416/67111528
[pid=11727] ppid=11725 vsize=4402176 CPUtime=4800.34 cores=0,2,4,6
/proc/11727/stat : 11727 (strangenight2-m) R 11725 11727 11686 0 -1 4202496 4448843 0 0 0 478813 1221 0 0 25 0 4 0 514472552 4507828224 856043 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11727/statm: 1100544 856043 391 106 0 1095515 0
[pid=11727/tid=11728] ppid=11725 vsize=4402176 CPUtime=1201.69 cores=0,2,4,6
/proc/11727/task/11728/stat : 11728 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 1273512 0 0 0 119879 290 0 0 25 0 4 0 514472552 4507828224 856045 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11727/tid=11729] ppid=11725 vsize=4402176 CPUtime=1195.56 cores=0,2,4,6
/proc/11727/task/11729/stat : 11729 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 1136936 0 0 0 119117 439 0 0 25 0 4 0 514472552 4507828224 856045 33554432000 4194304 4627427 140736863300544 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11727/tid=11730] ppid=11725 vsize=4402176 CPUtime=1201.96 cores=0,2,4,6
/proc/11727/task/11730/stat : 11730 (strangenight2-m) R 11725 11727 11686 0 -1 4202560 1041866 0 0 0 119944 252 0 0 25 0 4 0 514472552 4507828224 856045 33554432000 4194304 4627427 140736863300544 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 4402176

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

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

[startup+1202.41 s]
/proc/loadavg: 10.26 9.18 6.33 5/180 11844
/proc/meminfo: memFree=24313676/32951124 swapFree=67111416/67111528
[pid=11727] ppid=11725 vsize=0 CPUtime=4800.46 cores=0,2,4,6
/proc/11727/stat : 11727 (strangenight2-m) Z 11725 11727 11686 0 -1 4203548 4448860 0 0 0 478815 1231 0 0 25 0 2 0 514472552 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11727/statm: 0 0 0 0 0 0 0
[pid=11727/tid=11728] ppid=11725 vsize=0 CPUtime=1201.79 cores=0,2,4,6
/proc/11727/task/11728/stat : 11728 (strangenight2-m) R 11725 11727 11686 0 -1 4203588 1273517 0 0 0 119879 300 0 0 25 0 2 0 514472552 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.46
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.48
CPU time (s): 4800.54
CPU user time (s): 4788.15
CPU system time (s): 12.3861
CPU usage (%): 399.22
Max. virtual memory (cumulated for all children) (KiB): 4706668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4788.15
system time used= 12.3861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4448860
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= 9697
involuntary context switches= 32330

runsolver used 1.91971 second user time and 4.6113 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-29 00:11:42
IDJOB=3257315
IDBENCH=70908
IDSOLVER=1586
FILE ID=node102/3257315-1304028702
RUNJOBID= node102-1304028687-11704
PBS_JOBID= 13170350
Free space on /tmp= 71552 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT09/CRAFTED/edgematching/compact/em_12_2_4_cmp.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3257315-1304028702/watcher-3257315-1304028702 -o /tmp/evaluation-result-3257315-1304028702/solver-3257315-1304028702 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3257315-1304028702.cnf

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

MD5SUM BENCH= 7ea97a36d5ab6c8a5aa99830d5253591
RANDOM SEED=766403027

node102.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.828
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.65
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.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
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.828
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.828
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.828
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.82
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.828
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.828
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.82
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.828
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:      21327960 kB
Buffers:       1636120 kB
Cached:        9276340 kB
SwapCached:          4 kB
Active:        2975112 kB
Inactive:      8096524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21327960 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           16184 kB
Writeback:           0 kB
AnonPages:      158580 kB
Mapped:          15224 kB
Slab:           488628 kB
PageTables:       4760 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   364128 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= 57624 MiB
End job on node102 at 2011-04-29 00:31:46