Trace number 3173838

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.43 1201.88

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf
MD5SUM3d91d29f74f04e1ffeedae8425f55746
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark25.5211
Satisfiable
(Un)Satisfiability was proved
Number of variables25000
Number of clauses105000
Sum of the clauses size315000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3105000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173838-1307636070.cnf'
0.00/0.00	c -- header says num vars:          25000
0.00/0.00	c -- header says num clauses:      105000
0.35/0.14	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.35/0.14	c -- vars added      25000
0.35/0.14	c Parsing time:  0.08 s
0.35/0.14	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data
0.35/0.29	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.09
0.35/0.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.05
1.10/0.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.10/0.38	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.10/0.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.10/0.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.01 s
1.10/0.38	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
3.91/1.06	c lits-rem:         0  cl-subs:        0  v-elim:    607  v-fix:    0  time:  0.17 s
3.91/1.06	c Finding binary XORs  T:     0.00 s  found:       0
3.91/1.06	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
3.91/1.06	c calculated reachability. Time: 0.00
3.91/1.06	c Calc default polars -  time:   0.01 s pos:   11071 undec:    2808 neg:   11121
3.91/1.06	c =========================================================================================
3.91/1.06	c types(t): F = full restart, N = normal restart
3.91/1.06	c types(t): S = simplification begin/end, E = solution found
3.91/1.06	c restart types(rt): st = static, dy = dynamic
3.91/1.06	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.91/1.06	c  B st     0         0     24393    104334         0         0    316732         0   no data   no data
7.89/2.02	c  N dy    23      4102     24393    104334         0      4102    316732    950763    143.28    154.16
13.87/3.51	c  N dy    50      8244     24393    104334         0      8244    316732   1924617    145.05    156.62
20.26/5.14	c  N dy    79     12638     24393    104334         0     12638    316732   2914244    144.17    157.51
26.65/6.71	c  N dy   109     16758     24393    104334         0     16757    316732   3828915    143.83    151.63
33.05/8.32	c  N dy   135     20847     24393    104334         0     10852    316732    795273    143.63    188.74
39.06/9.84	c  N dy   160     24919     24393    104334         0     14924    316732   1698999    142.91    150.86
39.06/9.87	c  F st   161     25001     24393    104334         0     15006    316732   1717200    142.93   no data
47.43/11.95	c  N dy   167     30001     24393    104334         0     20006    316732   3331618    142.93   no data
47.43/11.95	c  S st   167     30001     24393    104334         0     20006    316732   3331618    142.93   no data
48.25/12.15	c  S st   167     30503     24393    104334         0     20508    316732   3415459    142.93   no data
48.25/12.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
48.62/12.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
49.02/12.32	c blocked clauses removed:      453 vars:     72 tried:       24393 T: 0.01 s
49.02/12.32	c bin-w-bin subsume rem            0 bins  time:  0.01 s
49.02/12.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
49.02/12.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24321 time:  0.01 s
49.02/12.35	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
49.43/12.47	c lits-rem:         0  cl-subs:        0  v-elim:     17  v-fix:    0  time:  0.12 s
50.63/12.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
54.22/13.66	c lits-rem:         3  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.86 s
54.62/13.79	c asymm  cl-useful: 0/103866/103866 lits-rem:0 time: 0.12
54.62/13.79	c calculated reachability. Time: 0.00
54.62/13.79	c  N dy   167     30503     24304    103866         0     20139    315425   3215554    142.93   no data
61.42/15.42	c  N dy   190     34557     24304    103866         0     24193    315425   4129393    142.67    155.43
68.20/17.10	c  N dy   217     38574     24304    103866         0     28210    315425   5068505    143.18    155.13
74.61/18.76	c  N dy   241     42653     24304    103866         0     16972    315425   1072886    142.92    162.50
79.38/19.98	c  S st   264     45757     24304    103866         0     20076    315425   1790389    143.43    142.46
80.17/20.17	c  S st   264     46260     24304    103866         0     20579    315425   1867635    143.43   no data
80.17/20.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
80.97/20.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
80.97/20.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.97/20.33	c bin-w-bin subsume rem            0 bins  time:  0.01 s
80.97/20.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
80.97/20.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24304 time:  0.01 s
80.97/20.36	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
81.37/20.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
81.77/20.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
82.99/20.87	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.27 s
82.99/20.89	c vivif2 --  cl tried   103866 cl shrink        0 lits rem          0 time: 0.01
83.39/20.92	c vivif2 --  cl tried    20578 cl shrink        0 lits rem          0 time: 0.03
83.77/21.04	c asymm  cl-useful: 0/103866/103866 lits-rem:0 time: 0.12
83.77/21.05	c calculated reachability. Time: 0.00
83.77/21.05	c  N dy   264     46260     24304    103866         0     20578    315425   1867560    143.43   no data
90.56/22.71	c  N dy   290     50462     24304    103866         0     24780    315425   2787407    143.09    154.10
96.95/24.30	c  N dy   314     54474     24304    103866         0     28792    315425   3660676    142.76    178.21
103.34/25.99	c  N dy   338     58584     24304    103866         0     32902    315425   4563002    142.63    151.73
110.13/27.67	c  N dy   363     62597     24304    103866         0     36915    315425   5444593    142.60    150.94
116.53/29.28	c  N dy   390     66615     24304    103866         0     22275    315425   1490388    142.44    152.15
120.92/30.38	c  S st   409     69390     24304    103866         0     25050    315425   2097418    142.44   no data
121.72/30.59	c  S st   409     69895     24304    103866         0     25555    315425   2185878    142.44   no data
122.12/30.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
122.54/30.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
122.54/30.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
122.54/30.75	c bin-w-bin subsume rem            0 bins  time:  0.01 s
122.54/30.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
122.54/30.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24304 time:  0.01 s
122.54/30.78	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
122.94/30.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
123.71/31.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
125.32/31.43	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.39 s
125.32/31.44	c vivif2 --  cl tried   103866 cl shrink        0 lits rem          0 time: 0.01
125.32/31.48	c vivif2 --  cl tried    25554 cl shrink        0 lits rem          0 time: 0.04
126.11/31.61	c asymm  cl-useful: 0/103866/103866 lits-rem:0 time: 0.13
126.11/31.62	c calculated reachability. Time: 0.00
126.11/31.62	c  N dy   409     69895     24304    103866         0     25554    315425   2185746    142.44   no data
133.30/33.43	c  N dy   441     74448     24304    103866         0     30107    315425   3181803    142.48    158.57
141.69/35.50	c  N dy   477     79304     24304    103866         0     34963    315425   4265708    142.67    150.42
150.87/37.82	c  N dy   511     84732     24304    103866         0     40391    315425   5501018    142.89    152.46
155.67/39.06	c  F st   532     87501     24304    103866         0     22330    315425   1020689    143.16   no data
161.27/40.47	c  N st   537     90796     24304    103866         0     25625    315425   2013276    143.16   no data
171.27/42.90	c  N dy   568     96590     24304    103866         0     31419    315425   3472913    143.46    158.00
181.64/45.51	c  N dy   612    102764     24304    103866         0     37592    315425   4875295    143.70    157.89
185.23/46.41	c  S st   627    104842     24304    103866         0     39670    315425   5341320    143.62    107.90
186.03/46.65	c  S st   627    105346     24304    103866         0     40174    315425   5430955    143.62   no data
186.03/46.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
186.83/46.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
186.83/46.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
186.83/46.83	c bin-w-bin subsume rem            0 bins  time:  0.01 s
186.83/46.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
186.83/46.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24304 time:  0.01 s
186.83/46.86	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
187.63/47.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
188.85/47.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
195.62/49.03	c lits-rem:        11  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.68 s
195.62/49.05	c vivif2 --  cl tried   103866 cl shrink        0 lits rem          0 time: 0.01
196.02/49.14	c vivif2 --  cl tried    40171 cl shrink        0 lits rem          0 time: 0.09
196.42/49.29	c asymm  cl-useful: 0/103866/103866 lits-rem:0 time: 0.16
196.82/49.30	c calculated reachability. Time: 0.00
196.82/49.30	c  N dy   627    105346     24304    103866         0     40171    315425   5428719    143.62   no data
208.40/52.28	c  N dy   672    112128     24304    103866         0     24542    315425   1095907    143.60    153.94
220.78/55.37	c  N dy   723    119458     24304    103866         0     31871    315425   2753386    143.68    153.60
233.96/58.69	c  N dy   776    127081     24304    103866         0     39494    315425   4509564    143.83    153.21
248.74/62.35	c  N dy   832    135210     24304    103866         0     23914    315425    625417    143.91    159.55
263.14/65.98	c  N dy   893    143987     24304    103866         0     32690    315425   2593237    143.91    153.69
279.09/69.91	c  N dy   951    153182     24304    103866         0     41884    315425   4584948    143.67    154.77
287.48/72.06	c  S st   985    158020     24304    103866         0     46721    315425   5671615    143.77    107.83
288.68/72.30	c  S st   985    158524     24304    103866         0     47225    315425   5753351    143.77   no data
288.68/72.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
289.08/72.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
289.08/72.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
289.08/72.49	c bin-w-bin subsume rem            0 bins  time:  0.01 s
289.50/72.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
289.50/72.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24304 time:  0.01 s
289.50/72.52	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
289.90/72.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
291.47/73.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
299.86/75.16	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.14 s
299.86/75.18	c vivif2 --  cl tried   103866 cl shrink        0 lits rem          0 time: 0.01
300.26/75.28	c vivif2 --  cl tried    47221 cl shrink        0 lits rem          0 time: 0.10
301.06/75.44	c asymm  cl-useful: 0/103866/103866 lits-rem:0 time: 0.17
301.06/75.45	c calculated reachability. Time: 0.00
301.06/75.45	c  N dy   985    158524     24304    103866         0     47221    315425   5752263    143.77   no data
318.24/79.75	c  N dy  1054    168667     24304    103866         0     32512    315425   2293833    143.82    152.66
337.01/84.45	c  N dy  1129    179456     24304    103866         0     43300    315425   4717076    143.87    173.47
357.38/89.59	c  N dy  1204    190992     24304    103866         0     28914    315425   1216797    143.83    185.29
378.55/94.83	c  N dy  1288    203267     24304    103866         0     41189    315425   3952617    143.84    163.34
402.52/100.87	c  N dy  1373    216443     24304    103866         0     27400    315425    612580    143.95    151.74
426.48/106.82	c  N dy  1469    230340     24304    103866         0     41296    315425   3708775    143.93    152.62
439.67/110.17	c  S st  1519    237788     24304    103866         0     48744    315425   5383857    143.92   no data
440.87/110.41	c  S st  1519    238294     24304    103866         0     49250    315425   5470147    143.92   no data
440.87/110.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
441.26/110.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
441.26/110.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
441.66/110.60	c bin-w-bin subsume rem            0 bins  time:  0.01 s
441.66/110.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
441.66/110.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24304 time:  0.01 s
441.66/110.63	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
442.06/110.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
443.28/111.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
452.47/113.31	c lits-rem:         5  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.21 s
452.47/113.33	c vivif2 --  cl tried   103866 cl shrink        0 lits rem          0 time: 0.01
452.85/113.42	c vivif2 --  cl tried    49247 cl shrink        0 lits rem          0 time: 0.09
453.25/113.59	c asymm  cl-useful: 0/103866/103866 lits-rem:0 time: 0.17
453.65/113.60	c calculated reachability. Time: 0.00
453.65/113.60	c  N dy  1519    238294     24304    103866         0     49247    315425   5467700    143.92   no data
480.41/120.38	c  N dy  1621    253582     24304    103866         0     36556    315425   2432050    144.08    161.21
509.97/127.70	c  N dy  1729    269859     24304    103866         0     52833    315425   6134062    144.12    151.97
540.73/135.42	c  N dy  1845    287132     24304    103866         0     41115    315425   3220573    144.12    153.90
574.28/143.86	c  N dy  1972    305459     24304    103866         0     59442    315425   7410159    144.38    153.09
575.88/144.27	c  F st  1976    306251     24304    103866         0     30240    315425    523785    144.35    133.39
609.44/152.60	c  N dy  2077    325060     24304    103866         0     49048    315425   5125200    144.46    154.67
645.81/161.79	c  N dy  2211    345088     24304    103866         0     38077    315425   2040192    144.56    153.73
668.15/167.32	c  S st  2293    357442     24304    103866         0     50431    315425   4799359    144.53   no data
668.95/167.56	c  S st  2293    357946     24304    103866         0     50935    315425   4888107    144.53   no data
668.95/167.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
669.75/167.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
669.75/167.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
669.75/167.76	c bin-w-bin subsume rem            0 bins  time:  0.01 s
669.75/167.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
669.75/167.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24304 time:  0.01 s
669.75/167.78	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
670.55/167.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
671.35/168.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
679.73/170.22	c lits-rem:         7  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.02 s
679.73/170.24	c vivif2 --  cl tried   103866 cl shrink        0 lits rem          0 time: 0.01
680.13/170.32	c vivif2 --  cl tried    50932 cl shrink        0 lits rem          0 time: 0.08
680.55/170.49	c asymm  cl-useful: 0/103866/103866 lits-rem:0 time: 0.17
680.95/170.50	c calculated reachability. Time: 0.00
680.95/170.50	c  N dy  2293    357946     24304    103866         0     50932    315425   4886971    144.53   no data
717.68/179.78	c  N dy  2427    378040     24304    103866         0     39028    315425   2061147    144.52    155.78
755.26/189.13	c  N dy  2557    398086     24304    103866         0     59072    315425   6558491    144.47    156.15
791.98/198.35	c  N dy  2691    418183     24304    103866         0     46166    315425   3476538    144.50    153.19
829.94/207.85	c  N dy  2827    438197     24304    103866         0     66179    315425   7977855    144.50    152.28
865.87/216.88	c  N dy  2960    458232     24304    103866         0     52211    315425   4541893    144.52    178.68
905.05/226.60	c  N dy  3103    478300     24304    103866         0     37285    315425    986954    144.62    171.95
941.37/235.78	c  N dy  3235    498308     24304    103866         0     57291    315425   5564009    144.66    156.65
980.51/245.50	c  N dy  3377    518436     24304    103866         0     41423    315425   1689980    144.67    170.97
1014.89/254.13	c  S st  3504    536919     24304    103866         0     59905    315425   5909193    144.69   no data
1015.68/254.39	c  S st  3504    537422     24304    103866         0     60408    315425   5988337    144.69   no data
1016.08/254.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1016.48/254.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.15
1016.48/254.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1016.48/254.59	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1016.88/254.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1016.88/254.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24304 time:  0.01 s
1016.88/254.62	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1017.28/254.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
1018.47/255.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1031.25/258.20	c lits-rem:         2  cl-subs:        7  v-elim:      0  v-fix:    0  time:  3.09 s
1031.25/258.22	c vivif2 --  cl tried   103866 cl shrink        0 lits rem          0 time: 0.01
1031.65/258.32	c vivif2 --  cl tried    60401 cl shrink        0 lits rem          0 time: 0.10
1032.47/258.51	c asymm  cl-useful: 0/103866/103866 lits-rem:0 time: 0.19
1032.47/258.52	c calculated reachability. Time: 0.00
1032.47/258.52	c  N dy  3504    537422     24304    103866         0     60401    315425   5984424    144.69   no data
1071.20/268.28	c  N dy  3637    557457     24304    103866         0     43440    315425   1924146    144.71    152.52
1109.14/277.72	c  N dy  3774    577571     24304    103866         0     63553    315425   6485239    144.71    163.64
1147.89/287.49	c  N dy  3909    597812     24304    103866         0     45795    315425   2221126    144.69    156.18
1186.26/297.02	c  N dy  4046    617835     24304    103866         0     65816    315425   6764088    144.74    156.48
1225.80/306.91	c  N dy  4170    638100     24304    103866         0     47082    315425   2296459    144.69    156.53
1264.13/316.53	c  N dy  4314    658145     24304    103866         0     67125    315425   6834870    144.80    153.92
1304.08/326.53	c  N dy  4450    678192     24304    103866         0     47175    315425   2081368    144.90    159.83
1343.61/336.50	c  N dy  4598    698350     24304    103866         0     67333    315425   6695962    144.98    154.11
1383.57/346.45	c  N dy  4728    718373     24304    103866         0     46353    315425   1718215    145.03    170.87
1421.91/356.04	c  N dy  4869    738401     24304    103866         0     66381    315425   6296870    145.09    153.75
1462.67/366.29	c  N dy  5005    758467     24304    103866         0     44451    315425   1042719    145.16    154.80
1500.60/375.72	c  N dy  5141    778513     24304    103866         0     64496    315425   5602054    145.14    153.98
1541.76/386.04	c  N dy  5275    798522     24304    103866         0     84504    315425  10119655    145.15    155.64
1556.52/389.77	c  S st  5331    806133     24304    103866         0     49118    315425   1883392    145.19    123.86
1557.72/390.01	c  S st  5331    806634     24304    103866         0     49619    315425   1978749    145.19   no data
1557.72/390.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1558.12/390.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
1558.12/390.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1558.52/390.20	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1558.52/390.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1558.52/390.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24304 time:  0.01 s
1558.52/390.23	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1558.92/390.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
1559.33/390.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1562.51/391.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.76 s
1562.51/391.25	c vivif2 --  cl tried   103866 cl shrink        0 lits rem          0 time: 0.01
1562.51/391.29	c vivif2 --  cl tried    49619 cl shrink        0 lits rem          0 time: 0.04
1563.31/391.46	c asymm  cl-useful: 0/103866/103866 lits-rem:0 time: 0.17
1563.31/391.46	c calculated reachability. Time: 0.00
1563.31/391.46	c  N dy  5331    806634     24304    103866         0     49619    315425   1978749    145.19   no data
1602.45/401.24	c  N dy  5466    826670     24304    103866         0     69651    315425   6534146    145.20    153.94
1645.20/411.92	c  N dy  5606    846945     24304    103866         0     45935    315425    899180    145.22    153.92
1683.54/421.53	c  N dy  5742    867040     24304    103866         0     66027    315425   5518891    145.25    155.27
1725.08/431.94	c  N dy  5875    887063     24304    103866         0     86048    315425  10061044    145.26    160.79
1763.83/441.66	c  N dy  6005    907109     24304    103866         0     61091    315425   4108268    145.26    165.62
1804.97/451.95	c  N dy  6142    927164     24304    103866         0     81144    315425   8744669    145.33    187.92
1845.71/462.14	c  N dy  6274    947369     24304    103866         0     55350    315425   2619510    145.33    155.25
1886.05/472.23	c  N dy  6412    967393     24304    103866         0     75373    315425   7232638    145.37    154.56
1929.19/483.07	c  N dy  6555    987575     24304    103866         0     48552    315425    856418    145.41    153.86
1967.97/492.75	c  N dy  6690   1007760     24304    103866         0     68736    315425   5485480    145.42    156.77
2010.29/503.35	c  N dy  6834   1027845     24304    103866         0     88819    315425  10046154    145.46    153.39
2050.64/513.45	c  N dy  6965   1047904     24304    103866         0     60883    315425   3462639    145.47    164.12
2091.40/523.66	c  N dy  7100   1067920     24304    103866         0     80895    315425   8091920    145.51    153.77
2099.78/525.76	c  F st  7128   1071876     24304    103866         0     84851    315425   8984463    145.51   no data
2134.51/534.42	c  N dy  7204   1087965     24304    103866         0     51948    315425   1165804    145.50    159.18
2173.66/544.28	c  N dy  7335   1108052     24304    103866         0     72035    315425   5709685    145.47    158.98
2216.00/554.88	c  N dy  7462   1128133     24304    103866         0     92115    315425  10278138    145.46    156.28
2257.54/565.21	c  N dy  7597   1148309     24304    103866         0     62295    315425   3325760    145.49    153.92
2298.68/575.51	c  N dy  7730   1168351     24304    103866         0     82337    315425   7888782    145.48    154.28
2342.62/586.51	c  N dy  7860   1188443     24304    103866         0     51425    315425    601646    145.47    157.46
2382.17/596.49	c  N dy  8002   1208491     24304    103866         0     71472    315425   5219365    145.51    157.69
2385.79/597.32	c  S st  8013   1209952     24304    103866         0     72933    315425   5562089    145.51   no data
2386.96/597.64	c  S st  8013   1210454     24304    103866         0     73435    315425   5638494    145.51   no data
2386.96/597.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2387.76/597.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.16
2387.76/597.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2387.76/597.86	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2387.76/597.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2387.76/597.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24304 time:  0.01 s
2387.76/597.89	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
2388.56/598.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
2389.77/598.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2403.36/601.71	c lits-rem:         4  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.32 s
2403.36/601.72	c vivif2 --  cl tried   103866 cl shrink        0 lits rem          0 time: 0.01
2403.73/601.82	c vivif2 --  cl tried    73432 cl shrink        0 lits rem          0 time: 0.10
2404.53/602.03	c asymm  cl-useful: 0/103866/103866 lits-rem:0 time: 0.21
2404.53/602.04	c calculated reachability. Time: 0.00
2404.53/602.04	c  N dy  8013   1210454     24304    103866         0     73432    315425   5636159    145.51   no data
2447.67/612.87	c  N dy  8147   1230584     24304    103866         0     93559    315425  10247765    145.52    153.76
2490.41/623.55	c  N dy  8289   1250647     24304    103866         0     61618    315425   2734474    145.53    156.69
2531.56/633.84	c  N dy  8429   1270732     24304    103866         0     81702    315425   7323136    145.54    157.36
2575.49/644.85	c  N dy  8561   1290784     24304    103866         0    101751    315425  11841643    145.54    153.40
2616.23/655.08	c  N dy  8697   1310840     24304    103866         0     68813    315425   4141894    145.55    155.95
2658.97/665.70	c  N dy  8837   1330859     24304    103866         0     88830    315425   8731570    145.58    154.48
2704.52/677.13	c  N dy  8972   1350896     24304    103866         0     54876    315425    729762    145.61    160.60
2744.06/687.05	c  N dy  9108   1370922     24304    103866         0     74899    315425   5373849    145.65    202.15
2787.60/697.94	c  N dy  9241   1390966     24304    103866         0     94942    315425  10028456    145.67    153.54
2831.94/709.06	c  N dy  9373   1411133     24304    103866         0     60113    315425   1686440    145.67    153.48
2873.10/719.32	c  N dy  9510   1431348     24304    103866         0     80327    315425   6389860    145.70    161.38
2917.44/730.45	c  N dy  9647   1451415     24304    103866         0    100393    315425  10970114    145.72    158.04
2960.97/741.38	c  N dy  9790   1471464     24304    103866         0     64448    315425   2477393    145.74    190.20
3002.90/751.83	c  N dy  9934   1491551     24304    103866         0     84534    315425   7156602    145.78    154.46
3048.03/763.19	c  N dy 10069   1511641     24304    103866         0    104623    315425  11808924    145.80    155.74
3091.98/774.11	c  N dy 10215   1531767     24304    103866         0     67744    315425   2944292    145.82    160.72
3134.31/784.73	c  N dy 10353   1551978     24304    103866         0     87955    315425   7596293    145.82    160.78
3180.24/796.20	c  N dy 10492   1572091     24304    103866         0    108066    315425  12221566    145.83    154.00
3222.99/806.99	c  N dy 10629   1592174     24304    103866         0     70148    315425   3339237    145.84    156.40
3266.52/817.80	c  N dy 10767   1612398     24304    103866         0     90369    315425   7997746    145.87    156.07
3312.48/829.32	c  N dy 10905   1632435     24304    103866         0    110405    315425  12592232    145.87    153.99
3354.80/839.97	c  N dy 11036   1652442     24304    103866         0     71416    315425   3371149    145.87    208.57
3397.93/850.73	c  N dy 11168   1672584     24304    103866         0     91557    315425   7979429    145.86    160.57
3444.69/862.49	c  N dy 11308   1692756     24304    103866         0    111728    315425  12641117    145.90    154.52
3483.83/872.25	c  S st 11427   1710458     24304    103866         0     69431    315425   2669551    145.89    171.71
3485.01/872.51	c  S st 11427   1710959     24304    103866         0     69932    315425   2746465    145.89   no data
3485.01/872.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3485.40/872.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.15
3485.80/872.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3485.80/872.72	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3485.80/872.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3485.80/872.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24304 time:  0.01 s
3485.80/872.75	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
3486.21/872.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
3487.01/873.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3494.60/874.93	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.88 s
3494.60/874.94	c vivif2 --  cl tried   103866 cl shrink        0 lits rem          0 time: 0.01
3494.60/874.99	c vivif2 --  cl tried    69929 cl shrink        0 lits rem          0 time: 0.05
3495.39/875.19	c asymm  cl-useful: 0/103866/103866 lits-rem:0 time: 0.20
3495.79/875.20	c calculated reachability. Time: 0.00
3495.79/875.20	c  N dy 11427   1710959     24304    103866         0     69929    315425   2745593    145.89   no data
3538.53/885.95	c  N dy 11569   1731188     24304    103866         0     90155    315425   7419385    145.92    157.19
3584.47/897.49	c  N dy 11705   1751277     24304    103866         0    110244    315425  11996923    145.93    155.77
3630.00/908.83	c  N dy 11843   1771313     24304    103866         0     69282    315425   2456411    145.94    158.66
3672.35/919.41	c  N dy 11987   1791344     24304    103866         0     89313    315425   7104768    145.96    174.53
3717.87/930.88	c  N dy 12126   1811385     24304    103866         0    109352    315425  11750626    145.98    157.64
3764.61/942.57	c  N dy 12263   1831479     24304    103866         0     67456    315425   1814800    146.00    155.20
3806.56/953.06	c  N dy 12393   1851650     24304    103866         0     87626    315425   6515062    146.00    161.65
3853.68/964.84	c  N dy 12532   1871728     24304    103866         0    107700    315425  11084606    145.99    155.39
3901.63/976.83	c  N dy 12659   1891770     24304    103866         0     64753    315425    993291    145.99    159.31
3943.56/987.35	c  N dy 12797   1912030     24304    103866         0     85013    315425   5677242    146.01    156.11
3989.12/998.74	c  N dy 12942   1932037     24304    103866         0    105019    315425  10290433    146.04    166.15
4037.44/1010.88	c  N dy 13075   1952070     24304    103866         0    125050    315425  14866373    146.04    156.83
4080.57/1021.62	c  N dy 13220   1972173     24304    103866         0     81156    315425   4585544    146.07    155.31
4124.91/1032.73	c  N dy 13364   1992234     24304    103866         0    101215    315425   9141821    146.09    157.54
4173.24/1044.85	c  N dy 13504   2012459     24304    103866         0    121439    315425  13757942    146.11    155.95
4217.99/1056.08	c  N dy 13643   2032473     24304    103866         0     76452    315425   3212114    146.13    154.67
4261.11/1066.86	c  N dy 13777   2052539     24304    103866         0     96518    315425   7767579    146.13    156.42
4308.24/1078.63	c  N dy 13914   2072603     24304    103866         0    116582    315425  12354089    146.14    154.71
4355.77/1090.59	c  N dy 14048   2092667     24304    103866         0     70644    315425   1662496    146.14    198.04
4398.12/1101.17	c  N dy 14178   2112884     24304    103866         0     90859    315425   6341232    146.15    173.09
4444.44/1112.72	c  N dy 14309   2132929     24304    103866         0    110904    315425  11008729    146.17    160.60
4493.97/1125.11	c  N dy 14437   2153022     24304    103866         0    130997    315425  15632942    146.16    156.60
4536.70/1135.88	c  N dy 14576   2173036     24304    103866         0     84011    315425   4522182    146.19    158.96
4581.85/1147.10	c  N dy 14712   2193151     24304    103866         0    104125    315425   9087543    146.19    157.00
4625.78/1158.17	c  S st 14827   2210961     24304    103866         0    121934    315425  13153065    146.19   no data
4627.38/1158.54	c  S st 14827   2211466     24304    103866         0    122439    315425  13247463    146.19   no data
4627.38/1158.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4628.18/1158.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.21
4628.58/1158.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4628.58/1158.82	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4628.58/1158.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4628.58/1158.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24304 time:  0.01 s
4628.58/1158.85	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
4629.77/1159.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.26 s
4632.96/1159.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4662.51/1167.32	c lits-rem:         0  cl-subs:       15  v-elim:      0  v-fix:    0  time:  7.36 s
4662.51/1167.33	c vivif2 --  cl tried   103866 cl shrink        0 lits rem          0 time: 0.01
4663.32/1167.57	c vivif2 --  cl tried   122424 cl shrink        0 lits rem          0 time: 0.23
4664.51/1167.86	c asymm  cl-useful: 0/103866/103866 lits-rem:0 time: 0.30
4664.51/1167.87	c calculated reachability. Time: 0.00
4664.51/1167.87	c  N dy 14827   2211466     24304    103866         0    122424    315425  13241534    146.19   no data
4714.84/1180.43	c  N dy 14965   2231490     24304    103866         0     74448    315425   2077916    146.21    155.05
4757.18/1191.01	c  N dy 15095   2251504     24304    103866         0     94461    315425   6591335    146.20    156.92

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: 977)

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-3173838-1307636070/watcher-3173838-1307636070 -o /tmp/evaluation-result-3173838-1307636070/solver-3173838-1307636070 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173838-1307636070.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: 7.95 8.20 7.74 6/184 28496
/proc/meminfo: memFree=31655528/32951124 swapFree=67054536/67111528
[pid=28496] ppid=28494 vsize=185168 CPUtime=0 cores=0,2,4,6
/proc/28496/stat : 28496 (strangenight2-m) R 28494 28496 28104 0 -1 4202496 2139 0 0 0 0 0 0 0 25 0 4 0 875204926 189612032 1998 33554432000 4194304 4627427 140736451224896 18446744073709551615 271550234832 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28496/statm: 46292 2020 336 106 0 41263 0
[pid=28496/tid=28497] ppid=28494 vsize=185684 CPUtime=0 cores=0,2,4,6
/proc/28496/task/28497/stat : 28497 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 662 0 0 0 0 0 0 0 25 0 4 0 875204926 190140416 2065 33554432000 4194304 4627427 140736451224896 18446744073709551615 271550234832 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28496/tid=28498] ppid=28494 vsize=185876 CPUtime=0 cores=0,2,4,6
/proc/28496/task/28498/stat : 28498 (strangenight2-m) D 28494 28496 28104 0 -1 4202560 423 0 0 0 0 0 0 0 25 0 4 0 875204926 190337024 2092 33554432000 4194304 4627427 140736451224896 18446744073709551615 271550580919 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28496/tid=28499] ppid=28494 vsize=185876 CPUtime=0 cores=0,2,4,6
/proc/28496/task/28499/stat : 28499 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 58 0 0 0 0 0 0 0 25 0 4 0 875204926 190337024 2119 33554432000 4194304 4627427 140736451224896 18446744073709551615 271550537531 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0884779 s]
/proc/loadavg: 7.95 8.20 7.74 6/184 28496
/proc/meminfo: memFree=31655528/32951124 swapFree=67054536/67111528
[pid=28496] ppid=28494 vsize=371220 CPUtime=0.28 cores=0,2,4,6
/proc/28496/stat : 28496 (strangenight2-m) R 28494 28496 28104 0 -1 4202496 15091 0 0 0 21 7 0 0 17 0 4 0 875204926 380129280 13301 33554432000 4194304 4627427 140736451224896 18446744073709551615 271550642719 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28496/statm: 92805 13332 339 106 0 87776 0
[pid=28496/tid=28497] ppid=28494 vsize=371220 CPUtime=0.07 cores=0,2,4,6
/proc/28496/task/28497/stat : 28497 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 3960 0 0 0 6 1 0 0 17 0 4 0 875204926 380129280 13342 33554432000 4194304 4627427 140736451224896 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28496/tid=28498] ppid=28494 vsize=371220 CPUtime=0.06 cores=0,2,4,6
/proc/28496/task/28498/stat : 28498 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 3724 0 0 0 5 1 0 0 17 0 4 0 875204926 380129280 13363 33554432000 4194304 4627427 140736451224896 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28496/tid=28499] ppid=28494 vsize=371220 CPUtime=0.06 cores=0,2,4,6
/proc/28496/task/28499/stat : 28499 (strangenight2-m) S 28494 28496 28104 0 -1 4202560 3437 0 0 0 4 2 0 0 17 0 4 0 875204926 380129280 13379 33554432000 4194304 4627427 140736451224896 18446744073709551615 271550642670 0 0 4096 2 18446604453908325696 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 371220

[startup+0.105525 s]
/proc/loadavg: 7.95 8.20 7.74 6/184 28496
/proc/meminfo: memFree=31655528/32951124 swapFree=67054536/67111528
[pid=28496] ppid=28494 vsize=371220 CPUtime=0.35 cores=0,2,4,6
/proc/28496/stat : 28496 (strangenight2-m) R 28494 28496 28104 0 -1 4202496 15681 0 0 0 25 10 0 0 17 0 4 0 875204926 380129280 13891 33554432000 4194304 4627427 140736451224896 18446744073709551615 271550197675 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28496/statm: 92805 13901 339 106 0 87776 0
[pid=28496/tid=28497] ppid=28494 vsize=371220 CPUtime=0.08 cores=0,2,4,6
/proc/28496/task/28497/stat : 28497 (strangenight2-m) S 28494 28496 28104 0 -1 4202560 4134 0 0 0 7 1 0 0 17 0 4 0 875204926 380129280 13901 33554432000 4194304 4627427 140736451224896 18446744073709551615 271550642670 0 0 4096 2 18446604453908325696 0 0 -1 0 0 0 0
[pid=28496/tid=28498] ppid=28494 vsize=371220 CPUtime=0.08 cores=0,2,4,6
/proc/28496/task/28498/stat : 28498 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 3859 0 0 0 6 2 0 0 17 0 4 0 875204926 380129280 13908 33554432000 4194304 4627427 140736451224896 18446744073709551615 271550580919 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28496/tid=28499] ppid=28494 vsize=371220 CPUtime=0.08 cores=0,2,4,6
/proc/28496/task/28499/stat : 28499 (strangenight2-m) S 28494 28496 28104 0 -1 4202560 3562 0 0 0 5 3 0 0 17 0 4 0 875204926 380129280 13923 33554432000 4194304 4627427 140736451224896 18446744073709551615 271550642670 0 0 4096 2 18446604453908325696 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 371220

[startup+0.300362 s]
/proc/loadavg: 7.95 8.20 7.74 6/184 28496
/proc/meminfo: memFree=31655528/32951124 swapFree=67054536/67111528
[pid=28496] ppid=28494 vsize=383512 CPUtime=1.1 cores=0,2,4,6
/proc/28496/stat : 28496 (strangenight2-m) R 28494 28496 28104 0 -1 4202496 21532 0 0 0 97 13 0 0 18 0 4 0 875204926 392716288 19674 33554432000 4194304 4627427 140736451224896 18446744073709551615 271550234824 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28496/statm: 95878 19700 371 106 0 90849 0
[pid=28496/tid=28497] ppid=28494 vsize=383512 CPUtime=0.28 cores=0,2,4,6
/proc/28496/task/28497/stat : 28497 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 6606 0 0 0 26 2 0 0 18 0 4 0 875204926 392716288 19712 33554432000 4194304 4627427 140736451224896 18446744073709551615 271550202744 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28496/tid=28498] ppid=28494 vsize=383512 CPUtime=0.27 cores=0,2,4,6
/proc/28496/task/28498/stat : 28498 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 5091 0 0 0 24 3 0 0 18 0 4 0 875204926 392716288 19728 33554432000 4194304 4627427 140736451224896 18446744073709551615 271550198469 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28496/tid=28499] ppid=28494 vsize=383512 CPUtime=0.26 cores=0,2,4,6
/proc/28496/task/28499/stat : 28499 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 4316 0 0 0 22 4 0 0 18 0 4 0 875204926 392716288 19741 33554432000 4194304 4627427 140736451224896 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 383512

[startup+0.700291 s]
/proc/loadavg: 7.95 8.20 7.74 6/184 28496
/proc/meminfo: memFree=31655528/32951124 swapFree=67054536/67111528
[pid=28496] ppid=28494 vsize=397752 CPUtime=2.69 cores=0,2,4,6
/proc/28496/stat : 28496 (strangenight2-m) R 28494 28496 28104 0 -1 4202496 37343 0 0 0 252 17 0 0 18 0 4 0 875204926 407298048 26952 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308593 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28496/statm: 99438 26952 385 106 0 94409 0
[pid=28496/tid=28497] ppid=28494 vsize=397752 CPUtime=0.67 cores=0,2,4,6
/proc/28496/task/28497/stat : 28497 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 11237 0 0 0 65 2 0 0 18 0 4 0 875204926 407298048 26952 33554432000 4194304 4627427 140736451224896 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28496/tid=28498] ppid=28494 vsize=397752 CPUtime=0.66 cores=0,2,4,6
/proc/28496/task/28498/stat : 28498 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 11014 0 0 0 62 4 0 0 18 0 4 0 875204926 407298048 26952 33554432000 4194304 4627427 140736451224896 18446744073709551615 4330127 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28496/tid=28499] ppid=28494 vsize=397752 CPUtime=0.65 cores=0,2,4,6
/proc/28496/task/28499/stat : 28499 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 4703 0 0 0 61 4 0 0 18 0 4 0 875204926 407298048 26952 33554432000 4194304 4627427 140736451224896 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 397752

[startup+1.50115 s]
/proc/loadavg: 7.95 8.20 7.74 11/188 28500
/proc/meminfo: memFree=31565744/32951124 swapFree=67054536/67111528
[pid=28496] ppid=28494 vsize=397752 CPUtime=5.89 cores=0,2,4,6
/proc/28496/stat : 28496 (strangenight2-m) R 28494 28496 28104 0 -1 4202496 39538 0 0 0 572 17 0 0 19 0 4 0 875204926 407298048 29131 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28496/statm: 99438 29131 385 106 0 94409 0
[pid=28496/tid=28497] ppid=28494 vsize=397752 CPUtime=1.47 cores=0,2,4,6
/proc/28496/task/28497/stat : 28497 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 11837 0 0 0 145 2 0 0 19 0 4 0 875204926 407298048 29132 33554432000 4194304 4627427 140736451224896 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28496/tid=28498] ppid=28494 vsize=397752 CPUtime=1.46 cores=0,2,4,6
/proc/28496/task/28498/stat : 28498 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 11569 0 0 0 142 4 0 0 19 0 4 0 875204926 407298048 29132 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308326 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28496/tid=28499] ppid=28494 vsize=397752 CPUtime=1.45 cores=0,2,4,6
/proc/28496/task/28499/stat : 28499 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 5198 0 0 0 141 4 0 0 19 0 4 0 875204926 407298048 29132 33554432000 4194304 4627427 140736451224896 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 397752

[startup+3.10085 s]
/proc/loadavg: 7.95 8.20 7.74 9/188 28500
/proc/meminfo: memFree=31568348/32951124 swapFree=67054536/67111528
[pid=28496] ppid=28494 vsize=529016 CPUtime=12.28 cores=0,2,4,6
/proc/28496/stat : 28496 (strangenight2-m) R 28494 28496 28104 0 -1 4202496 43917 0 0 0 1210 18 0 0 23 0 4 0 875204926 541712384 33510 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308654 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28496/statm: 132254 33510 385 106 0 127225 0
[pid=28496/tid=28497] ppid=28494 vsize=529016 CPUtime=3.08 cores=0,2,4,6
/proc/28496/task/28497/stat : 28497 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 12826 0 0 0 305 3 0 0 22 0 4 0 875204926 541712384 33510 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28496/tid=28498] ppid=28494 vsize=529016 CPUtime=3.06 cores=0,2,4,6
/proc/28496/task/28498/stat : 28498 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 12634 0 0 0 302 4 0 0 23 0 4 0 875204926 541712384 33511 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28496/tid=28499] ppid=28494 vsize=529016 CPUtime=3.04 cores=0,2,4,6
/proc/28496/task/28499/stat : 28499 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 6478 0 0 0 300 4 0 0 24 0 4 0 875204926 541712384 33511 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 529016

[startup+6.30027 s]
/proc/loadavg: 7.96 8.20 7.74 9/188 28500
/proc/meminfo: memFree=31493844/32951124 swapFree=67054536/67111528
[pid=28496] ppid=28494 vsize=529016 CPUtime=25.06 cores=0,2,4,6
/proc/28496/stat : 28496 (strangenight2-m) R 28494 28496 28104 0 -1 4202496 51666 0 0 0 2486 20 0 0 25 0 4 0 875204926 541712384 41259 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28496/statm: 132254 41259 385 106 0 127225 0
[pid=28496/tid=28497] ppid=28494 vsize=529016 CPUtime=6.28 cores=0,2,4,6
/proc/28496/task/28497/stat : 28497 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 14739 0 0 0 625 3 0 0 25 0 4 0 875204926 541712384 41259 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28496/tid=28498] ppid=28494 vsize=529016 CPUtime=6.27 cores=0,2,4,6
/proc/28496/task/28498/stat : 28498 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 14603 0 0 0 622 5 0 0 25 0 4 0 875204926 541712384 41259 33554432000 4194304 4627427 140736451224896 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28496/tid=28499] ppid=28494 vsize=529016 CPUtime=6.23 cores=0,2,4,6
/proc/28496/task/28499/stat : 28499 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 8421 0 0 0 618 5 0 0 25 0 4 0 875204926 541712384 41259 33554432000 4194304 4627427 140736451224896 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 529016

[startup+12.7011 s]
/proc/loadavg: 7.96 8.19 7.74 10/188 28500
/proc/meminfo: memFree=31526348/32951124 swapFree=67054536/67111528
[pid=28496] ppid=28494 vsize=646672 CPUtime=50.63 cores=0,2,4,6
/proc/28496/stat : 28496 (strangenight2-m) R 28494 28496 28104 0 -1 4202496 85656 0 0 0 5035 28 0 0 25 0 4 0 875204926 662192128 53719 33554432000 4194304 4627427 140736451224896 18446744073709551615 271550198817 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28496/statm: 161668 53720 390 106 0 156639 0
[pid=28496/tid=28497] ppid=28494 vsize=646672 CPUtime=12.67 cores=0,2,4,6
/proc/28496/task/28497/stat : 28497 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 20272 0 0 0 1263 4 0 0 25 0 4 0 875204926 662192128 53720 33554432000 4194304 4627427 140736451224896 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28496/tid=28498] ppid=28494 vsize=646672 CPUtime=12.67 cores=0,2,4,6
/proc/28496/task/28498/stat : 28498 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 20016 0 0 0 1261 6 0 0 25 0 4 0 875204926 662192128 53726 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28496/tid=28499] ppid=28494 vsize=646672 CPUtime=12.59 cores=0,2,4,6
/proc/28496/task/28499/stat : 28499 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 14345 0 0 0 1253 6 0 0 25 0 4 0 875204926 662192128 53726 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 646672

[startup+25.5008 s]
/proc/loadavg: 7.97 8.18 7.74 9/188 28500
/proc/meminfo: memFree=31206892/32951124 swapFree=67054536/67111528
[pid=28496] ppid=28494 vsize=847632 CPUtime=101.75 cores=0,2,4,6
/proc/28496/stat : 28496 (strangenight2-m) R 28494 28496 28104 0 -1 4202496 166728 0 0 0 10127 48 0 0 25 0 4 0 875204926 867975168 104841 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28496/statm: 211908 104841 390 106 0 206879 0
[pid=28496/tid=28497] ppid=28494 vsize=847632 CPUtime=25.48 cores=0,2,4,6
/proc/28496/task/28497/stat : 28497 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 52125 0 0 0 2535 13 0 0 25 0 4 0 875204926 867975168 104841 33554432000 4194304 4627427 140736451224896 18446744073709551615 4306493 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28496/tid=28498] ppid=28494 vsize=847632 CPUtime=25.39 cores=0,2,4,6
/proc/28496/task/28498/stat : 28498 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 34608 0 0 0 2530 9 0 0 25 0 4 0 875204926 867975168 104841 33554432000 4194304 4627427 140736451224896 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28496/tid=28499] ppid=28494 vsize=847632 CPUtime=25.39 cores=0,2,4,6
/proc/28496/task/28499/stat : 28499 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 33507 0 0 0 2529 10 0 0 25 0 4 0 875204926 867975168 104841 33554432000 4194304 4627427 140736451224896 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 847632

[startup+51.1011 s]
/proc/loadavg: 8.04 8.18 7.75 9/188 28501
/proc/meminfo: memFree=31106036/32951124 swapFree=67054536/67111528
[pid=28496] ppid=28494 vsize=817964 CPUtime=204.01 cores=0,2,4,6
/proc/28496/stat : 28496 (strangenight2-m) R 28494 28496 28104 0 -1 4202496 260786 0 0 0 20333 68 0 0 25 0 4 0 875204926 837595136 144901 33554432000 4194304 4627427 140736451224896 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28496/statm: 204491 144901 390 106 0 199462 0
[pid=28496/tid=28497] ppid=28494 vsize=817964 CPUtime=51.08 cores=0,2,4,6
/proc/28496/task/28497/stat : 28497 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 70889 0 0 0 5091 17 0 0 25 0 4 0 875204926 837595136 144901 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28496/tid=28498] ppid=28494 vsize=817964 CPUtime=50.85 cores=0,2,4,6
/proc/28496/task/28498/stat : 28498 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 50457 0 0 0 5072 13 0 0 25 0 4 0 875204926 837595136 144901 33554432000 4194304 4627427 140736451224896 18446744073709551615 4327583 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28496/tid=28499] ppid=28494 vsize=817964 CPUtime=50.98 cores=0,2,4,6
/proc/28496/task/28499/stat : 28499 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 69954 0 0 0 5082 16 0 0 25 0 4 0 875204926 837595136 144901 33554432000 4194304 4627427 140736451224896 18446744073709551615 4468055 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 817964

[startup+102.307 s]
/proc/loadavg: 8.20 8.20 7.78 9/188 28502
/proc/meminfo: memFree=30897784/32951124 swapFree=67054536/67111528
[pid=28496] ppid=28494 vsize=871732 CPUtime=408.53 cores=0,2,4,6
/proc/28496/stat : 28496 (strangenight2-m) R 28494 28496 28104 0 -1 4202496 362921 0 0 0 40757 96 0 0 25 0 4 0 875204926 892653568 168983 33554432000 4194304 4627427 140736451224896 18446744073709551615 4324736 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28496/statm: 217933 168983 390 106 0 212904 0
[pid=28496/tid=28497] ppid=28494 vsize=871732 CPUtime=102.29 cores=0,2,4,6
/proc/28496/task/28497/stat : 28497 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 95907 0 0 0 10205 24 0 0 25 0 4 0 875204926 892653568 168983 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28496/tid=28498] ppid=28494 vsize=871732 CPUtime=101.76 cores=0,2,4,6
/proc/28496/task/28498/stat : 28498 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 77973 0 0 0 10155 21 0 0 25 0 4 0 875204926 892653568 168983 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28496/tid=28499] ppid=28494 vsize=871732 CPUtime=102.19 cores=0,2,4,6
/proc/28496/task/28499/stat : 28499 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 93579 0 0 0 10196 23 0 0 25 0 4 0 875204926 892653568 168983 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.53
Current children cumulated vsize (KiB) 871732

[startup+162.301 s]

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

[pid=28496] ppid=28494 vsize=1406244 CPUtime=2565.53 cores=0,2,4,6
/proc/28496/stat : 28496 (strangenight2-m) R 28494 28496 28104 0 -1 4202496 1322165 0 0 0 256180 373 0 0 25 0 4 0 875204926 1439993856 276020 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308282 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28496/statm: 351561 276020 390 106 0 346532 0
[pid=28496/tid=28497] ppid=28494 vsize=1406244 CPUtime=642.27 cores=0,2,4,6
/proc/28496/task/28497/stat : 28497 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 337505 0 0 0 64129 98 0 0 25 0 4 0 875204926 1439993856 276020 33554432000 4194304 4627427 140736451224896 18446744073709551615 4310378 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28496/tid=28498] ppid=28494 vsize=1406244 CPUtime=638.77 cores=0,2,4,6
/proc/28496/task/28498/stat : 28498 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 301251 0 0 0 63792 85 0 0 25 0 4 0 875204926 1439993856 276020 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28496/tid=28499] ppid=28494 vsize=1406244 CPUtime=642.2 cores=0,2,4,6
/proc/28496/task/28499/stat : 28499 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 351585 0 0 0 64132 88 0 0 25 0 4 0 875204926 1439993856 276020 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2565.53
Current children cumulated vsize (KiB) 1406244

[startup+702.301 s]
/proc/loadavg: 8.24 8.23 7.98 9/188 28518
/proc/meminfo: memFree=29977220/32951124 swapFree=67054536/67111528
[pid=28496] ppid=28494 vsize=1373860 CPUtime=2805.17 cores=0,2,4,6
/proc/28496/stat : 28496 (strangenight2-m) R 28494 28496 28104 0 -1 4202496 1419919 0 0 0 280115 402 0 0 25 0 4 0 875204926 1406832640 271256 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308329 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28496/statm: 343465 271256 390 106 0 338436 0
[pid=28496/tid=28497] ppid=28494 vsize=1373860 CPUtime=702.27 cores=0,2,4,6
/proc/28496/task/28497/stat : 28497 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 360027 0 0 0 70121 106 0 0 25 0 4 0 875204926 1406832640 271256 33554432000 4194304 4627427 140736451224896 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28496/tid=28498] ppid=28494 vsize=1373860 CPUtime=698.42 cores=0,2,4,6
/proc/28496/task/28498/stat : 28498 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 327357 0 0 0 69750 92 0 0 25 0 4 0 875204926 1406832640 271256 33554432000 4194304 4627427 140736451224896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28496/tid=28499] ppid=28494 vsize=1373860 CPUtime=702.19 cores=0,2,4,6
/proc/28496/task/28499/stat : 28499 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 376149 0 0 0 70124 95 0 0 25 0 4 0 875204926 1406832640 271256 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308291 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.17
Current children cumulated vsize (KiB) 1373860

[startup+762.307 s]
/proc/loadavg: 8.24 8.23 8.00 9/188 28520
/proc/meminfo: memFree=29659108/32951124 swapFree=67054536/67111528
[pid=28496] ppid=28494 vsize=1445304 CPUtime=3044.85 cores=0,2,4,6
/proc/28496/stat : 28496 (strangenight2-m) R 28494 28496 28104 0 -1 4202496 1519347 0 0 0 304056 429 0 0 25 0 4 0 875204926 1479991296 277526 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28496/statm: 361326 277526 390 106 0 356297 0
[pid=28496/tid=28497] ppid=28494 vsize=1445304 CPUtime=762.28 cores=0,2,4,6
/proc/28496/task/28497/stat : 28497 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 386395 0 0 0 76116 112 0 0 25 0 4 0 875204926 1479991296 277526 33554432000 4194304 4627427 140736451224896 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28496/tid=28498] ppid=28494 vsize=1445304 CPUtime=758.1 cores=0,2,4,6
/proc/28496/task/28498/stat : 28498 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 351700 0 0 0 75711 99 0 0 25 0 4 0 875204926 1479991296 277526 33554432000 4194304 4627427 140736451224896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28496/tid=28499] ppid=28494 vsize=1445304 CPUtime=762.2 cores=0,2,4,6
/proc/28496/task/28499/stat : 28499 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 400458 0 0 0 76118 102 0 0 25 0 4 0 875204926 1479991296 277526 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3044.85
Current children cumulated vsize (KiB) 1445304

[startup+822.301 s]
/proc/loadavg: 8.14 8.20 8.00 9/188 28521
/proc/meminfo: memFree=29448748/32951124 swapFree=67054536/67111528
[pid=28496] ppid=28494 vsize=1424436 CPUtime=3284.5 cores=0,2,4,6
/proc/28496/stat : 28496 (strangenight2-m) R 28494 28496 28104 0 -1 4202496 1625591 0 0 0 327988 462 0 0 25 0 4 0 875204926 1458622464 302531 33554432000 4194304 4627427 140736451224896 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28496/statm: 356109 302531 390 106 0 351080 0
[pid=28496/tid=28497] ppid=28494 vsize=1424436 CPUtime=822.27 cores=0,2,4,6
/proc/28496/task/28497/stat : 28497 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 414358 0 0 0 82106 121 0 0 25 0 4 0 875204926 1458622464 302531 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308141 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28496/tid=28498] ppid=28494 vsize=1424436 CPUtime=817.76 cores=0,2,4,6
/proc/28496/task/28498/stat : 28498 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 378212 0 0 0 81669 107 0 0 25 0 4 0 875204926 1458622464 302531 33554432000 4194304 4627427 140736451224896 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28496/tid=28499] ppid=28494 vsize=1424436 CPUtime=822.19 cores=0,2,4,6
/proc/28496/task/28499/stat : 28499 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 428198 0 0 0 82110 109 0 0 25 0 4 0 875204926 1458622464 302531 33554432000 4194304 4627427 140736451224896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.5
Current children cumulated vsize (KiB) 1424436

[startup+882.301 s]
/proc/loadavg: 8.17 8.19 8.01 9/188 28523
/proc/meminfo: memFree=29555208/32951124 swapFree=67054536/67111528
[pid=28496] ppid=28494 vsize=1537572 CPUtime=3524.15 cores=0,2,4,6
/proc/28496/stat : 28496 (strangenight2-m) R 28494 28496 28104 0 -1 4202496 1725182 0 0 0 351922 493 0 0 25 0 4 0 875204926 1574473728 291905 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308712 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28496/statm: 384393 291905 390 106 0 379364 0
[pid=28496/tid=28497] ppid=28494 vsize=1537572 CPUtime=882.26 cores=0,2,4,6
/proc/28496/task/28497/stat : 28497 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 442400 0 0 0 88098 128 0 0 25 0 4 0 875204926 1574473728 291905 33554432000 4194304 4627427 140736451224896 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28496/tid=28498] ppid=28494 vsize=1537572 CPUtime=877.42 cores=0,2,4,6
/proc/28496/task/28498/stat : 28498 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 405706 0 0 0 87625 117 0 0 25 0 4 0 875204926 1574473728 291905 33554432000 4194304 4627427 140736451224896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28496/tid=28499] ppid=28494 vsize=1537572 CPUtime=882.19 cores=0,2,4,6
/proc/28496/task/28499/stat : 28499 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 450054 0 0 0 88103 116 0 0 25 0 4 0 875204926 1574473728 291905 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.15
Current children cumulated vsize (KiB) 1537572

[startup+942.301 s]
/proc/loadavg: 8.17 8.19 8.01 9/188 28525
/proc/meminfo: memFree=29616036/32951124 swapFree=67054536/67111528
[pid=28496] ppid=28494 vsize=1443104 CPUtime=3763.81 cores=0,2,4,6
/proc/28496/stat : 28496 (strangenight2-m) R 28494 28496 28104 0 -1 4202496 1816657 0 0 0 375860 521 0 0 25 0 4 0 875204926 1477738496 284702 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308599 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28496/statm: 360776 284702 390 106 0 355747 0
[pid=28496/tid=28497] ppid=28494 vsize=1443104 CPUtime=942.26 cores=0,2,4,6
/proc/28496/task/28497/stat : 28497 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 465822 0 0 0 94091 135 0 0 25 0 4 0 875204926 1477738496 284702 33554432000 4194304 4627427 140736451224896 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28496/tid=28498] ppid=28494 vsize=1443104 CPUtime=937.09 cores=0,2,4,6
/proc/28496/task/28498/stat : 28498 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 425497 0 0 0 93586 123 0 0 25 0 4 0 875204926 1477738496 284702 33554432000 4194304 4627427 140736451224896 18446744073709551615 4324696 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28496/tid=28499] ppid=28494 vsize=1443104 CPUtime=942.19 cores=0,2,4,6
/proc/28496/task/28499/stat : 28499 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 474061 0 0 0 94097 122 0 0 25 0 4 0 875204926 1477738496 284702 33554432000 4194304 4627427 140736451224896 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3763.81
Current children cumulated vsize (KiB) 1443104

[startup+1002.3 s]
/proc/loadavg: 8.28 8.22 8.03 9/188 28526
/proc/meminfo: memFree=29439660/32951124 swapFree=67054536/67111528
[pid=28496] ppid=28494 vsize=1563448 CPUtime=4003.47 cores=0,2,4,6
/proc/28496/stat : 28496 (strangenight2-m) R 28494 28496 28104 0 -1 4202496 1923862 0 0 0 399799 548 0 0 25 0 4 0 875204926 1600970752 330265 33554432000 4194304 4627427 140736451224896 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28496/statm: 390862 330265 390 106 0 385833 0
[pid=28496/tid=28497] ppid=28494 vsize=1563448 CPUtime=1002.26 cores=0,2,4,6
/proc/28496/task/28497/stat : 28497 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 491305 0 0 0 100083 143 0 0 25 0 4 0 875204926 1600970752 330265 33554432000 4194304 4627427 140736451224896 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28496/tid=28498] ppid=28494 vsize=1563448 CPUtime=996.76 cores=0,2,4,6
/proc/28496/task/28498/stat : 28498 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 459591 0 0 0 99547 129 0 0 25 0 4 0 875204926 1600970752 330265 33554432000 4194304 4627427 140736451224896 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28496/tid=28499] ppid=28494 vsize=1563448 CPUtime=1002.18 cores=0,2,4,6
/proc/28496/task/28499/stat : 28499 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 497055 0 0 0 100090 128 0 0 25 0 4 0 875204926 1600970752 330265 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.47
Current children cumulated vsize (KiB) 1563448

[startup+1062.3 s]
/proc/loadavg: 6.37 7.75 7.89 5/179 28553
/proc/meminfo: memFree=30909824/32951124 swapFree=67054536/67111528
[pid=28496] ppid=28494 vsize=1602212 CPUtime=4243.13 cores=0,2,4,6
/proc/28496/stat : 28496 (strangenight2-m) R 28494 28496 28104 0 -1 4202496 2019473 0 0 0 423729 584 0 0 25 0 4 0 875204926 1640665088 323037 33554432000 4194304 4627427 140736451224896 18446744073709551615 4299732 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28496/statm: 400553 323037 390 106 0 395524 0
[pid=28496/tid=28497] ppid=28494 vsize=1602212 CPUtime=1062.25 cores=0,2,4,6
/proc/28496/task/28497/stat : 28497 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 514122 0 0 0 106073 152 0 0 25 0 4 0 875204926 1640665088 323037 33554432000 4194304 4627427 140736451224896 18446744073709551615 4310126 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28496/tid=28498] ppid=28494 vsize=1602212 CPUtime=1056.43 cores=0,2,4,6
/proc/28496/task/28498/stat : 28498 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 483016 0 0 0 105506 137 0 0 25 0 4 0 875204926 1640665088 323037 33554432000 4194304 4627427 140736451224896 18446744073709551615 4332767 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28496/tid=28499] ppid=28494 vsize=1602212 CPUtime=1062.18 cores=0,2,4,6
/proc/28496/task/28499/stat : 28499 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 523038 0 0 0 106081 137 0 0 25 0 4 0 875204926 1640665088 323038 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.13
Current children cumulated vsize (KiB) 1602212

[startup+1122.3 s]
/proc/loadavg: 5.10 7.14 7.67 5/179 28554
/proc/meminfo: memFree=30851124/32951124 swapFree=67054536/67111528
[pid=28496] ppid=28494 vsize=1588228 CPUtime=4482.78 cores=0,2,4,6
/proc/28496/stat : 28496 (strangenight2-m) R 28494 28496 28104 0 -1 4202496 2112961 0 0 0 447661 617 0 0 25 0 4 0 875204926 1626345472 336877 33554432000 4194304 4627427 140736451224896 18446744073709551615 4324663 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28496/statm: 397057 336877 390 106 0 392028 0
[pid=28496/tid=28497] ppid=28494 vsize=1588228 CPUtime=1122.26 cores=0,2,4,6
/proc/28496/task/28497/stat : 28497 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 537940 0 0 0 112064 162 0 0 25 0 4 0 875204926 1626345472 336877 33554432000 4194304 4627427 140736451224896 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28496/tid=28498] ppid=28494 vsize=1588228 CPUtime=1116.09 cores=0,2,4,6
/proc/28496/task/28498/stat : 28498 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 504193 0 0 0 111466 143 0 0 25 0 4 0 875204926 1626345472 336877 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28496/tid=28499] ppid=28494 vsize=1588228 CPUtime=1122.18 cores=0,2,4,6
/proc/28496/task/28499/stat : 28499 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 546203 0 0 0 112073 145 0 0 25 0 4 0 875204926 1626345472 336877 33554432000 4194304 4627427 140736451224896 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4482.78
Current children cumulated vsize (KiB) 1588228

[startup+1182.3 s]
/proc/loadavg: 4.40 6.57 7.43 5/179 28556
/proc/meminfo: memFree=30614304/32951124 swapFree=67054536/67111528
[pid=28496] ppid=28494 vsize=1871984 CPUtime=4722.43 cores=0,2,4,6
/proc/28496/stat : 28496 (strangenight2-m) R 28494 28496 28104 0 -1 4202496 2264651 0 0 0 471570 673 0 0 25 0 4 0 875204926 1916911616 395656 33554432000 4194304 4627427 140736451224896 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28496/statm: 467996 395656 390 106 0 462967 0
[pid=28496/tid=28497] ppid=28494 vsize=1871984 CPUtime=1182.26 cores=0,2,4,6
/proc/28496/task/28497/stat : 28497 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 591924 0 0 0 118050 176 0 0 25 0 4 0 875204926 1916911616 395656 33554432000 4194304 4627427 140736451224896 18446744073709551615 4408609 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28496/tid=28498] ppid=28494 vsize=1871984 CPUtime=1175.76 cores=0,2,4,6
/proc/28496/task/28498/stat : 28498 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 523163 0 0 0 117425 151 0 0 25 0 4 0 875204926 1916911616 395656 33554432000 4194304 4627427 140736451224896 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28496/tid=28499] ppid=28494 vsize=1871984 CPUtime=1182.18 cores=0,2,4,6
/proc/28496/task/28499/stat : 28499 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 586094 0 0 0 118062 156 0 0 25 0 4 0 875204926 1916911616 395656 33554432000 4194304 4627427 140736451224896 18446744073709551615 4327897 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.43
Current children cumulated vsize (KiB) 1871984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 4.29 6.40 7.36 5/179 28557
/proc/meminfo: memFree=30555756/32951124 swapFree=67054536/67111528
[pid=28496] ppid=28494 vsize=1931736 CPUtime=4800.34 cores=0,2,4,6
/proc/28496/stat : 28496 (strangenight2-m) R 28494 28496 28104 0 -1 4202496 2295953 0 0 0 479348 686 0 0 25 0 4 0 875204926 1978097664 409967 33554432000 4194304 4627427 140736451224896 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28496/statm: 482934 409967 390 106 0 477905 0
[pid=28496/tid=28497] ppid=28494 vsize=1931736 CPUtime=1201.76 cores=0,2,4,6
/proc/28496/task/28497/stat : 28497 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 600745 0 0 0 119997 179 0 0 25 0 4 0 875204926 1978097664 409967 33554432000 4194304 4627427 140736451224896 18446744073709551615 4321364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28496/tid=28498] ppid=28494 vsize=1931736 CPUtime=1195.15 cores=0,2,4,6
/proc/28496/task/28498/stat : 28498 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 530450 0 0 0 119361 154 0 0 25 0 4 0 875204926 1978097664 409967 33554432000 4194304 4627427 140736451224896 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28496/tid=28499] ppid=28494 vsize=1931736 CPUtime=1201.68 cores=0,2,4,6
/proc/28496/task/28499/stat : 28499 (strangenight2-m) R 28494 28496 28104 0 -1 4202560 593414 0 0 0 120009 159 0 0 25 0 4 0 875204926 1978097664 409967 33554432000 4194304 4627427 140736451224896 18446744073709551615 4309347 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) 1931736

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.88
CPU time (s): 4800.43
CPU user time (s): 4793.5
CPU system time (s): 6.92695
CPU usage (%): 399.411
Max. virtual memory (cumulated for all children) (KiB): 1946400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.5
system time used= 6.92695
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2295957
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= 13919
involuntary context switches= 71003

runsolver used 1.91471 second user time and 4.66529 second system time

The end

Launcher Data 

Begin job on node133 at 2011-06-09 18:14:30
IDJOB=3173838
IDBENCH=82656
IDSOLVER=1586
FILE ID=node133/3173838-1307636070
RUNJOBID= node133-1307633326-28122
PBS_JOBID= 13549393
Free space on /tmp= 74164 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173838-1307636070/watcher-3173838-1307636070 -o /tmp/evaluation-result-3173838-1307636070/solver-3173838-1307636070 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173838-1307636070.cnf

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

MD5SUM BENCH= 3d91d29f74f04e1ffeedae8425f55746
RANDOM SEED=1418014334

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
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.75
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.834
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.834
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	: 6741.12
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.834
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.74
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.834
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.834
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.74
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.834
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:      31656204 kB
Buffers:        180272 kB
Cached:         361904 kB
SwapCached:      10420 kB
Active:         832344 kB
Inactive:       265144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31656204 kB
SwapTotal:    67111528 kB
SwapFree:     67054536 kB
Dirty:            7812 kB
Writeback:           0 kB
AnonPages:      552636 kB
Mapped:          13328 kB
Slab:           132304 kB
PageTables:       6004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   920160 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74164 MiB
End job on node133 at 2011-06-09 18:34:34