Trace number 3366247

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.42 1203.79

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.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366247-1305399741.cnf'
0.00/0.01	c -- header says num vars:          25000
0.00/0.01	c -- header says num clauses:      105000
0.32/0.15	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.32/0.15	c -- vars added      25000
0.32/0.15	c Parsing time:  0.07 s
0.32/0.15	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data
0.32/0.28	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.09
0.32/0.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.03
1.30/0.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.30/0.36	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.30/0.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.30/0.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.01 s
1.30/0.38	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
2.00/1.03	c lits-rem:         0  cl-subs:        0  v-elim:    607  v-fix:    0  time:  0.17 s
2.00/1.03	c Finding binary XORs  T:     0.01 s  found:       0
2.00/1.03	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
2.00/1.03	c calculated reachability. Time: 0.00
2.00/1.03	c Calc default polars -  time:   0.01 s pos:   11071 undec:    2808 neg:   11121
2.00/1.03	c =========================================================================================
2.00/1.03	c types(t): F = full restart, N = normal restart
2.00/1.03	c types(t): S = simplification begin/end, E = solution found
2.00/1.03	c restart types(rt): st = static, dy = dynamic
2.00/1.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.00/1.03	c  B st     0         0     24393    104334         0         0    316732         0   no data   no data
7.84/2.00	c  N dy    23      4102     24393    104334         0      4102    316732    950763    143.28    154.16
13.43/3.49	c  N dy    50      8244     24393    104334         0      8244    316732   1924617    145.05    156.62
20.20/5.11	c  N dy    79     12638     24393    104334         0     12638    316732   2914244    144.17    157.51
26.19/6.68	c  N dy   109     16758     24393    104334         0     16757    316732   3828915    143.83    151.63
32.61/8.28	c  N dy   135     20847     24393    104334         0     10852    316732    795273    143.63    188.74
38.55/9.80	c  N dy   160     24919     24393    104334         0     14924    316732   1698999    142.91    150.86
38.95/9.83	c  F st   161     25001     24393    104334         0     15006    316732   1717200    142.93   no data
46.93/11.89	c  N dy   167     30001     24393    104334         0     20006    316732   3331618    142.93   no data
46.93/11.89	c  S st   167     30001     24393    104334         0     20006    316732   3331618    142.93   no data
47.73/12.09	c  S st   167     30503     24393    104334         0     20508    316732   3415459    142.93   no data
48.13/12.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
48.13/12.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.06
48.53/12.21	c blocked clauses removed:      453 vars:     72 tried:       24393 T: 0.01 s
48.53/12.22	c bin-w-bin subsume rem            0 bins  time:  0.01 s
48.53/12.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
48.53/12.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24321 time:  0.01 s
48.53/12.24	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
48.93/12.34	c lits-rem:         0  cl-subs:        0  v-elim:     17  v-fix:    0  time:  0.10 s
50.16/12.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
53.71/13.50	c lits-rem:         3  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.84 s
54.13/13.62	c asymm  cl-useful: 0/103866/103866 lits-rem:0 time: 0.13
54.13/13.63	c calculated reachability. Time: 0.00
54.13/13.63	c  N dy   167     30503     24304    103866         0     20139    315425   3215554    142.93   no data
60.48/15.24	c  N dy   190     34557     24304    103866         0     24193    315425   4129393    142.67    155.43
67.29/16.94	c  N dy   217     38574     24304    103866         0     28210    315425   5068505    143.18    155.13
74.05/18.62	c  N dy   241     42653     24304    103866         0     16972    315425   1072886    142.92    162.50
78.84/19.82	c  S st   264     45757     24304    103866         0     20076    315425   1790389    143.43    142.46
79.63/20.01	c  S st   264     46260     24304    103866         0     20579    315425   1867635    143.43   no data
79.63/20.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
79.63/20.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.07
80.03/20.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.03/20.12	c bin-w-bin subsume rem            0 bins  time:  0.01 s
80.03/20.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
80.03/20.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24304 time:  0.01 s
80.03/20.15	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
80.45/20.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
80.87/20.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
82.01/20.64	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.26 s
82.01/20.65	c vivif2 --  cl tried   103866 cl shrink        0 lits rem          0 time: 0.01
82.01/20.68	c vivif2 --  cl tried    20578 cl shrink        0 lits rem          0 time: 0.03
82.81/20.81	c asymm  cl-useful: 0/103866/103866 lits-rem:0 time: 0.13
82.81/20.82	c calculated reachability. Time: 0.00
82.81/20.82	c  N dy   264     46260     24304    103866         0     20578    315425   1867560    143.43   no data
89.22/22.47	c  N dy   290     50462     24304    103866         0     24780    315425   2787407    143.09    154.10
95.57/24.06	c  N dy   314     54474     24304    103866         0     28792    315425   3660676    142.76    178.21
102.39/25.74	c  N dy   338     58584     24304    103866         0     32902    315425   4563002    142.63    151.73
109.14/27.42	c  N dy   363     62597     24304    103866         0     36915    315425   5444593    142.60    150.94
115.55/29.02	c  N dy   390     66615     24304    103866         0     22275    315425   1490388    142.44    152.15
119.51/30.11	c  S st   409     69390     24304    103866         0     25050    315425   2097418    142.44   no data
120.70/30.31	c  S st   409     69895     24304    103866         0     25555    315425   2185878    142.44   no data
120.70/30.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
121.10/30.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.07
121.10/30.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
121.10/30.43	c bin-w-bin subsume rem            0 bins  time:  0.01 s
121.10/30.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
121.10/30.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24304 time:  0.01 s
121.10/30.46	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
121.50/30.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
121.90/30.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
123.50/31.07	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.37 s
123.50/31.08	c vivif2 --  cl tried   103866 cl shrink        0 lits rem          0 time: 0.01
123.90/31.12	c vivif2 --  cl tried    25554 cl shrink        0 lits rem          0 time: 0.04
124.32/31.25	c asymm  cl-useful: 0/103866/103866 lits-rem:0 time: 0.13
124.32/31.26	c calculated reachability. Time: 0.00
124.32/31.26	c  N dy   409     69895     24304    103866         0     25554    315425   2185746    142.44   no data
131.47/33.08	c  N dy   441     74448     24304    103866         0     30107    315425   3181803    142.48    158.57
139.84/35.14	c  N dy   477     79304     24304    103866         0     34963    315425   4265708    142.67    150.42
149.01/37.46	c  N dy   511     84732     24304    103866         0     40391    315425   5501018    142.89    152.46
154.20/38.71	c  F st   532     87501     24304    103866         0     22330    315425   1020689    143.16   no data
159.83/40.12	c  N st   537     90796     24304    103866         0     25625    315425   2013276    143.16   no data
169.35/42.55	c  N dy   568     96590     24304    103866         0     31419    315425   3472913    143.46    158.00
179.73/45.16	c  N dy   612    102764     24304    103866         0     37592    315425   4875295    143.70    157.89
183.32/46.07	c  S st   627    104842     24304    103866         0     39670    315425   5341320    143.62    107.90
184.52/46.31	c  S st   627    105346     24304    103866         0     40174    315425   5430955    143.62   no data
184.52/46.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
184.92/46.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.08
184.92/46.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
184.92/46.44	c bin-w-bin subsume rem            0 bins  time:  0.01 s
184.92/46.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
184.92/46.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24304 time:  0.01 s
184.92/46.47	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
185.31/46.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
186.91/46.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
193.29/48.56	c lits-rem:        11  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.64 s
193.29/48.58	c vivif2 --  cl tried   103866 cl shrink        0 lits rem          0 time: 0.01
193.69/48.67	c vivif2 --  cl tried    40171 cl shrink        0 lits rem          0 time: 0.09
194.51/48.83	c asymm  cl-useful: 0/103866/103866 lits-rem:0 time: 0.16
194.51/48.83	c calculated reachability. Time: 0.00
194.51/48.84	c  N dy   627    105346     24304    103866         0     40171    315425   5428719    143.62   no data
206.46/51.81	c  N dy   672    112128     24304    103866         0     24542    315425   1095907    143.60    153.94
218.42/54.89	c  N dy   723    119458     24304    103866         0     31871    315425   2753386    143.68    153.60
231.98/58.25	c  N dy   776    127081     24304    103866         0     39494    315425   4509564    143.83    153.21
246.74/61.90	c  N dy   832    135210     24304    103866         0     23914    315425    625417    143.91    159.55
261.10/65.54	c  N dy   893    143987     24304    103866         0     32690    315425   2593237    143.91    153.69
276.66/69.48	c  N dy   951    153182     24304    103866         0     41884    315425   4584948    143.67    154.77
285.44/71.62	c  S st   985    158020     24304    103866         0     46721    315425   5671615    143.77    107.83
286.24/71.87	c  S st   985    158524     24304    103866         0     47225    315425   5753351    143.77   no data
286.24/71.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
286.66/71.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
286.66/72.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
286.66/72.01	c bin-w-bin subsume rem            0 bins  time:  0.01 s
287.08/72.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
287.08/72.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24304 time:  0.01 s
287.08/72.03	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
287.43/72.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
288.63/72.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
297.40/74.61	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.11 s
297.40/74.62	c vivif2 --  cl tried   103866 cl shrink        0 lits rem          0 time: 0.01
297.80/74.72	c vivif2 --  cl tried    47221 cl shrink        0 lits rem          0 time: 0.10
298.20/74.89	c asymm  cl-useful: 0/103866/103866 lits-rem:0 time: 0.17
298.60/74.90	c calculated reachability. Time: 0.00
298.60/74.90	c  N dy   985    158524     24304    103866         0     47221    315425   5752263    143.77   no data
315.74/79.20	c  N dy  1054    168667     24304    103866         0     32512    315425   2293833    143.82    152.66
334.50/83.91	c  N dy  1129    179456     24304    103866         0     43300    315425   4717076    143.87    173.47
354.83/89.05	c  N dy  1204    190992     24304    103866         0     28914    315425   1216797    143.83    185.29
375.97/94.30	c  N dy  1288    203267     24304    103866         0     41189    315425   3952617    143.84    163.34
399.91/100.31	c  N dy  1373    216443     24304    103866         0     27400    315425    612580    143.95    151.74
423.44/106.29	c  N dy  1469    230340     24304    103866         0     41296    315425   3708775    143.93    152.62
437.01/109.64	c  S st  1519    237788     24304    103866         0     48744    315425   5383857    143.92   no data
437.81/109.89	c  S st  1519    238294     24304    103866         0     49250    315425   5470147    143.92   no data
438.21/109.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
438.61/110.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
438.61/110.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
438.61/110.03	c bin-w-bin subsume rem            0 bins  time:  0.01 s
438.61/110.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
438.61/110.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24304 time:  0.01 s
438.61/110.06	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
439.01/110.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
440.23/110.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
449.00/112.66	c lits-rem:         5  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.17 s
449.00/112.67	c vivif2 --  cl tried   103866 cl shrink        0 lits rem          0 time: 0.01
449.42/112.76	c vivif2 --  cl tried    49247 cl shrink        0 lits rem          0 time: 0.09
450.17/112.94	c asymm  cl-useful: 0/103866/103866 lits-rem:0 time: 0.17
450.17/112.95	c calculated reachability. Time: 0.00
450.17/112.95	c  N dy  1519    238294     24304    103866         0     49247    315425   5467700    143.92   no data
477.29/119.73	c  N dy  1621    253582     24304    103866         0     36556    315425   2432050    144.08    161.21
507.05/127.24	c  N dy  1729    269859     24304    103866         0     52833    315425   6134062    144.12    151.97
537.46/134.99	c  N dy  1845    287132     24304    103866         0     41115    315425   3220573    144.12    153.90
571.04/143.44	c  N dy  1972    305459     24304    103866         0     59442    315425   7410159    144.38    153.09
572.62/143.83	c  F st  1976    306251     24304    103866         0     30240    315425    523785    144.35    133.39
605.73/152.16	c  N dy  2077    325060     24304    103866         0     49048    315425   5125200    144.46    154.67
642.42/161.36	c  N dy  2211    345088     24304    103866         0     38077    315425   2040192    144.56    153.73
664.36/166.89	c  S st  2293    357442     24304    103866         0     50431    315425   4799359    144.53   no data
665.55/167.13	c  S st  2293    357946     24304    103866         0     50935    315425   4888107    144.53   no data
665.55/167.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
665.95/167.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
665.95/167.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
665.95/167.28	c bin-w-bin subsume rem            0 bins  time:  0.01 s
665.95/167.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
665.95/167.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24304 time:  0.01 s
666.35/167.30	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
666.74/167.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
667.56/167.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
675.52/169.69	c lits-rem:         7  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.99 s
675.92/169.71	c vivif2 --  cl tried   103866 cl shrink        0 lits rem          0 time: 0.01
675.92/169.79	c vivif2 --  cl tried    50932 cl shrink        0 lits rem          0 time: 0.08
676.76/169.96	c asymm  cl-useful: 0/103866/103866 lits-rem:0 time: 0.18
676.76/169.97	c calculated reachability. Time: 0.00
676.76/169.97	c  N dy  2293    357946     24304    103866         0     50932    315425   4886971    144.53   no data
713.81/179.22	c  N dy  2427    378040     24304    103866         0     39028    315425   2061147    144.52    155.78
751.35/188.63	c  N dy  2557    398086     24304    103866         0     59072    315425   6558491    144.47    156.15
788.00/197.83	c  N dy  2691    418183     24304    103866         0     46166    315425   3476538    144.50    153.19
826.30/207.40	c  N dy  2827    438197     24304    103866         0     66179    315425   7977855    144.50    152.28
862.19/216.43	c  N dy  2960    458232     24304    103866         0     52211    315425   4541893    144.52    178.68
901.28/226.20	c  N dy  3103    478300     24304    103866         0     37285    315425    986954    144.62    171.95
937.98/235.40	c  N dy  3235    498308     24304    103866         0     57291    315425   5564009    144.66    156.65
976.67/245.14	c  N dy  3377    518436     24304    103866         0     41423    315425   1689980    144.67    170.97
1010.97/253.79	c  S st  3504    536919     24304    103866         0     59905    315425   5909193    144.69   no data
1012.17/254.05	c  S st  3504    537422     24304    103866         0     60408    315425   5988337    144.69   no data
1012.17/254.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1012.58/254.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
1012.98/254.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1012.98/254.21	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1012.98/254.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1012.98/254.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24304 time:  0.01 s
1012.98/254.23	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1013.38/254.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
1014.61/254.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1026.94/257.77	c lits-rem:         2  cl-subs:        7  v-elim:      0  v-fix:    0  time:  3.05 s
1026.94/257.78	c vivif2 --  cl tried   103866 cl shrink        0 lits rem          0 time: 0.01
1027.35/257.88	c vivif2 --  cl tried    60401 cl shrink        0 lits rem          0 time: 0.10
1028.13/258.08	c asymm  cl-useful: 0/103866/103866 lits-rem:0 time: 0.19
1028.13/258.08	c calculated reachability. Time: 0.00
1028.13/258.08	c  N dy  3504    537422     24304    103866         0     60401    315425   5984424    144.69   no data
1067.26/267.84	c  N dy  3637    557457     24304    103866         0     43440    315425   1924146    144.71    152.52
1105.11/277.34	c  N dy  3774    577571     24304    103866         0     63553    315425   6485239    144.71    163.64
1144.21/287.11	c  N dy  3909    597812     24304    103866         0     45795    315425   2221126    144.69    156.18
1182.50/296.70	c  N dy  4046    617835     24304    103866         0     65816    315425   6764088    144.74    156.48
1221.58/306.57	c  N dy  4170    638100     24304    103866         0     47082    315425   2296459    144.69    156.53
1260.31/316.23	c  N dy  4314    658145     24304    103866         0     67125    315425   6834870    144.80    153.92
1300.16/326.20	c  N dy  4450    678192     24304    103866         0     47175    315425   2081368    144.90    159.83
1339.30/336.08	c  N dy  4598    698350     24304    103866         0     67333    315425   6695962    144.98    154.11
1380.34/346.30	c  N dy  4728    718373     24304    103866         0     46353    315425   1718215    145.03    170.87
1418.27/355.85	c  N dy  4869    738401     24304    103866         0     66381    315425   6296870    145.09    153.75
1459.32/366.12	c  N dy  5005    758467     24304    103866         0     44451    315425   1042719    145.16    154.80
1496.83/375.53	c  N dy  5141    778513     24304    103866         0     64496    315425   5602054    145.14    153.98
1537.89/385.89	c  N dy  5275    798522     24304    103866         0     84504    315425  10119655    145.15    155.64
1553.05/389.62	c  S st  5331    806133     24304    103866         0     49118    315425   1883392    145.19    123.86
1553.87/389.86	c  S st  5331    806634     24304    103866         0     49619    315425   1978749    145.19   no data
1553.87/389.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1554.28/389.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
1554.28/389.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1554.64/390.00	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1554.64/390.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1554.64/390.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24304 time:  0.01 s
1554.64/390.03	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1555.04/390.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
1555.43/390.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1558.26/391.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.74 s
1558.68/391.01	c vivif2 --  cl tried   103866 cl shrink        0 lits rem          0 time: 0.01
1558.68/391.05	c vivif2 --  cl tried    49619 cl shrink        0 lits rem          0 time: 0.03
1559.43/391.22	c asymm  cl-useful: 0/103866/103866 lits-rem:0 time: 0.17
1559.43/391.23	c calculated reachability. Time: 0.00
1559.43/391.23	c  N dy  5331    806634     24304    103866         0     49619    315425   1978749    145.19   no data
1598.51/401.06	c  N dy  5466    826670     24304    103866         0     69651    315425   6534146    145.20    153.94
1642.39/412.01	c  N dy  5606    846945     24304    103866         0     45935    315425    899180    145.22    153.92
1681.11/421.75	c  N dy  5742    867040     24304    103866         0     66027    315425   5518891    145.25    155.27
1723.37/432.36	c  N dy  5875    887063     24304    103866         0     86048    315425  10061044    145.26    160.79
1762.85/442.23	c  N dy  6005    907109     24304    103866         0     61091    315425   4108268    145.26    165.62
1804.73/452.70	c  N dy  6142    927164     24304    103866         0     81144    315425   8744669    145.33    187.92
1845.82/463.08	c  N dy  6274    947369     24304    103866         0     55350    315425   2619510    145.33    155.25
1886.91/473.32	c  N dy  6412    967393     24304    103866         0     75373    315425   7232638    145.37    154.56
1931.19/484.43	c  N dy  6555    987575     24304    103866         0     48552    315425    856418    145.41    153.86
1970.27/494.26	c  N dy  6690   1007760     24304    103866         0     68736    315425   5485480    145.42    156.77
2013.75/505.10	c  N dy  6834   1027845     24304    103866         0     88819    315425  10046154    145.46    153.39
2054.83/515.40	c  N dy  6965   1047904     24304    103866         0     60883    315425   3462639    145.47    164.12
2095.92/525.76	c  N dy  7100   1067920     24304    103866         0     80895    315425   8091920    145.51    153.77
2104.69/527.91	c  F st  7128   1071876     24304    103866         0     84851    315425   8984463    145.51   no data
2139.78/536.71	c  N dy  7204   1087965     24304    103866         0     51948    315425   1165804    145.50    159.18
2179.67/546.70	c  N dy  7335   1108052     24304    103866         0     72035    315425   5709685    145.47    158.98
2222.74/557.51	c  N dy  7462   1128133     24304    103866         0     92115    315425  10278138    145.46    156.28
2264.66/568.02	c  N dy  7597   1148309     24304    103866         0     62295    315425   3325760    145.49    153.92
2306.11/578.46	c  N dy  7730   1168351     24304    103866         0     82337    315425   7888782    145.48    154.28
2351.19/589.71	c  N dy  7860   1188443     24304    103866         0     51425    315425    601646    145.47    157.46
2391.08/599.70	c  N dy  8002   1208491     24304    103866         0     71472    315425   5219365    145.51    157.69
2394.27/600.52	c  S st  8013   1209952     24304    103866         0     72933    315425   5562089    145.51   no data
2395.47/600.86	c  S st  8013   1210454     24304    103866         0     73435    315425   5638494    145.51   no data
2395.47/600.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2396.29/601.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.13
2396.29/601.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2396.29/601.07	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2396.29/601.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2396.29/601.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24304 time:  0.01 s
2396.29/601.10	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
2397.06/601.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
2398.65/601.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2411.82/604.96	c lits-rem:         4  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.30 s
2411.82/604.97	c vivif2 --  cl tried   103866 cl shrink        0 lits rem          0 time: 0.01
2412.22/605.07	c vivif2 --  cl tried    73432 cl shrink        0 lits rem          0 time: 0.10
2413.02/605.28	c asymm  cl-useful: 0/103866/103866 lits-rem:0 time: 0.21
2413.02/605.29	c calculated reachability. Time: 0.00
2413.02/605.29	c  N dy  8013   1210454     24304    103866         0     73432    315425   5636159    145.51   no data
2457.31/616.33	c  N dy  8147   1230584     24304    103866         0     93559    315425  10247765    145.52    153.76
2500.76/627.21	c  N dy  8289   1250647     24304    103866         0     61618    315425   2734474    145.53    156.69
2542.25/637.64	c  N dy  8429   1270732     24304    103866         0     81702    315425   7323136    145.54    157.36
2587.33/648.92	c  N dy  8561   1290784     24304    103866         0    101751    315425  11841643    145.54    153.40
2628.83/659.33	c  N dy  8697   1310840     24304    103866         0     68813    315425   4141894    145.55    155.95
2671.89/670.10	c  N dy  8837   1330859     24304    103866         0     88830    315425   8731570    145.58    154.48
2718.55/681.83	c  N dy  8972   1350896     24304    103866         0     54876    315425    729762    145.61    160.60
2758.84/691.93	c  N dy  9108   1370922     24304    103866         0     74899    315425   5373849    145.65    202.15
2802.72/702.98	c  N dy  9241   1390966     24304    103866         0     94942    315425  10028456    145.67    153.54
2848.21/714.36	c  N dy  9373   1411133     24304    103866         0     60113    315425   1686440    145.67    153.48
2890.07/724.81	c  N dy  9510   1431348     24304    103866         0     80327    315425   6389860    145.70    161.38
2935.15/736.14	c  N dy  9647   1451415     24304    103866         0    100393    315425  10970114    145.72    158.04
2979.84/747.35	c  N dy  9790   1471464     24304    103866         0     64448    315425   2477393    145.74    190.20
3022.09/757.98	c  N dy  9934   1491551     24304    103866         0     84534    315425   7156602    145.78    154.46
3068.36/769.52	c  N dy 10069   1511641     24304    103866         0    104623    315425  11808924    145.80    155.74
3112.63/780.64	c  N dy 10215   1531767     24304    103866         0     67744    315425   2944292    145.82    160.72
3155.76/791.43	c  N dy 10353   1551978     24304    103866         0     87955    315425   7596293    145.82    160.78
3201.98/803.08	c  N dy 10492   1572091     24304    103866         0    108066    315425  12221566    145.83    154.00
3245.86/814.09	c  N dy 10629   1592174     24304    103866         0     70148    315425   3339237    145.84    156.40
3289.74/825.09	c  N dy 10767   1612398     24304    103866         0     90369    315425   7997746    145.87    156.07
3336.81/836.83	c  N dy 10905   1632435     24304    103866         0    110405    315425  12592232    145.87    153.99
3379.88/847.67	c  N dy 11036   1652442     24304    103866         0     71416    315425   3371149    145.87    208.57
3423.76/858.64	c  N dy 11168   1672584     24304    103866         0     91557    315425   7979429    145.86    160.57
3471.25/870.57	c  N dy 11308   1692756     24304    103866         0    111728    315425  12641117    145.90    154.52
3511.52/880.63	c  S st 11427   1710458     24304    103866         0     69431    315425   2669551    145.89    171.71
3512.72/880.91	c  S st 11427   1710959     24304    103866         0     69932    315425   2746465    145.89   no data
3512.72/880.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3513.12/881.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.11
3513.12/881.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3513.12/881.08	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3513.12/881.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3513.52/881.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24304 time:  0.01 s
3513.52/881.12	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
3513.92/881.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
3514.32/881.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3521.89/883.27	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.83 s
3521.89/883.28	c vivif2 --  cl tried   103866 cl shrink        0 lits rem          0 time: 0.01
3522.29/883.33	c vivif2 --  cl tried    69929 cl shrink        0 lits rem          0 time: 0.05
3523.08/883.54	c asymm  cl-useful: 0/103866/103866 lits-rem:0 time: 0.21
3523.08/883.54	c calculated reachability. Time: 0.00
3523.08/883.54	c  N dy 11427   1710959     24304    103866         0     69929    315425   2745593    145.89   no data
3566.55/894.49	c  N dy 11569   1731188     24304    103866         0     90155    315425   7419385    145.92    157.19
3613.62/906.26	c  N dy 11705   1751277     24304    103866         0    110244    315425  11996923    145.93    155.77
3659.92/917.85	c  N dy 11843   1771313     24304    103866         0     69282    315425   2456411    145.94    158.66
3702.98/928.65	c  N dy 11987   1791344     24304    103866         0     89313    315425   7104768    145.96    174.53
3749.64/940.32	c  N dy 12126   1811385     24304    103866         0    109352    315425  11750626    145.98    157.64
3797.10/952.27	c  N dy 12263   1831479     24304    103866         0     67456    315425   1814800    146.00    155.20
3841.38/963.32	c  N dy 12393   1851650     24304    103866         0     87626    315425   6515062    146.00    161.65
3888.08/975.02	c  N dy 12532   1871728     24304    103866         0    107700    315425  11084606    145.99    155.39
3936.76/987.21	c  N dy 12659   1891770     24304    103866         0     64753    315425    993291    145.99    159.31
3979.40/997.93	c  N dy 12797   1912030     24304    103866         0     85013    315425   5677242    146.01    156.11
4025.67/1009.58	c  N dy 12942   1932037     24304    103866         0    105019    315425  10290433    146.04    166.15
4075.12/1021.92	c  N dy 13075   1952070     24304    103866         0    125050    315425  14866373    146.04    156.83
4118.60/1032.89	c  N dy 13220   1972173     24304    103866         0     81156    315425   4585544    146.07    155.31
4164.08/1044.29	c  N dy 13364   1992234     24304    103866         0    101215    315425   9141821    146.09    157.54
4213.94/1056.70	c  N dy 13504   2012459     24304    103866         0    121439    315425  13757942    146.11    155.95
4259.40/1068.17	c  N dy 13643   2032473     24304    103866         0     76452    315425   3212114    146.13    154.67
4303.69/1079.22	c  N dy 13777   2052539     24304    103866         0     96518    315425   7767579    146.13    156.42
4351.55/1091.28	c  N dy 13914   2072603     24304    103866         0    116582    315425  12354089    146.14    154.71
4400.21/1103.45	c  N dy 14048   2092667     24304    103866         0     70644    315425   1662496    146.14    198.04
4443.29/1114.27	c  N dy 14178   2112884     24304    103866         0     90859    315425   6341232    146.15    173.09
4490.75/1126.12	c  N dy 14309   2132929     24304    103866         0    110904    315425  11008729    146.17    160.60
4541.02/1138.73	c  N dy 14437   2153022     24304    103866         0    130997    315425  15632942    146.16    156.60
4584.90/1149.75	c  N dy 14576   2173036     24304    103866         0     84011    315425   4522182    146.19    158.96
4630.76/1161.25	c  N dy 14712   2193151     24304    103866         0    104125    315425   9087543    146.19    157.00
4675.44/1172.47	c  S st 14827   2210961     24304    103866         0    121934    315425  13153065    146.19   no data
4677.04/1172.89	c  S st 14827   2211466     24304    103866         0    122439    315425  13247463    146.19   no data
4677.44/1172.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4678.28/1173.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.17
4678.28/1173.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4678.28/1173.15	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4678.28/1173.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4678.28/1173.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24304 time:  0.01 s
4678.28/1173.19	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
4679.43/1173.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
4683.02/1174.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4712.54/1181.79	c lits-rem:         0  cl-subs:       15  v-elim:      0  v-fix:    0  time:  7.31 s
4712.96/1181.82	c vivif2 --  cl tried   103866 cl shrink        0 lits rem          0 time: 0.01
4713.73/1182.04	c vivif2 --  cl tried   122424 cl shrink        0 lits rem          0 time: 0.22
4714.93/1182.35	c asymm  cl-useful: 0/103866/103866 lits-rem:0 time: 0.30
4714.93/1182.36	c calculated reachability. Time: 0.00
4714.93/1182.36	c  N dy 14827   2211466     24304    103866         0    122424    315425  13241534    146.19   no data
4763.99/1194.61	c  N dy 14965   2231490     24304    103866         0     74448    315425   2077916    146.21    155.05

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366247-1305399741/watcher-3366247-1305399741 -o /tmp/evaluation-result-3366247-1305399741/solver-3366247-1305399741 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366247-1305399741.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.50 8.01 8.00 7/342 12588
/proc/meminfo: memFree=18093448/32951124 swapFree=67082152/67111528
[pid=12588] ppid=12586 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/12588/stat : 12588 (strangenight2-m) R 12586 12588 12350 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 4 0 651572049 52396032 351 33554432000 4194304 4580107 140734558803168 18446744073709551615 228244348859 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12588/statm: 12792 351 302 95 0 7774 0
[pid=12588/tid=12589] ppid=12586 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651572049 52396032 351 33554432000 4194304 4580107 140734558803168 18446744073709551615 47405353354777 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12588/tid=12590] ppid=12586 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651572049 52396032 351 33554432000 4194304 4580107 140734558803168 18446744073709551615 47405353354768 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12588/tid=12591] ppid=12586 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651572049 52396032 351 33554432000 4194304 4580107 140734558803168 18446744073709551615 47405353355186 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.076246 s]
/proc/loadavg: 7.50 8.01 8.00 7/342 12588
/proc/meminfo: memFree=18093448/32951124 swapFree=67082152/67111528
[pid=12588] ppid=12586 vsize=372228 CPUtime=0.23 cores=0,2,4,6
/proc/12588/stat : 12588 (strangenight2-m) S 12586 12588 12350 0 -1 4202496 14060 0 0 0 17 6 0 0 18 0 4 0 651572049 381161472 11965 33554432000 4194304 4580107 140734558803168 18446744073709551615 228244453870 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12588/statm: 93057 11986 337 95 0 88039 0
[pid=12588/tid=12589] ppid=12586 vsize=372228 CPUtime=0.05 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 3567 0 0 0 4 1 0 0 17 0 4 0 651572049 381161472 12010 33554432000 4194304 4580107 140734558803168 18446744073709551615 228244453919 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12588/tid=12590] ppid=12586 vsize=372228 CPUtime=0.05 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 3447 0 0 0 4 1 0 0 18 0 4 0 651572049 381161472 12019 33554432000 4194304 4580107 140734558803168 18446744073709551615 4512104 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12588/tid=12591] ppid=12586 vsize=372228 CPUtime=0.05 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (strangenight2-m) S 12586 12588 12350 0 -1 4202560 3167 0 0 0 4 1 0 0 18 0 4 0 651572049 381161472 12028 33554432000 4194304 4580107 140734558803168 18446744073709551615 228244453870 0 0 4096 2 18446604441564198976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 372228

[startup+0.103162 s]
/proc/loadavg: 7.50 8.01 8.00 7/342 12588
/proc/meminfo: memFree=18093448/32951124 swapFree=67082152/67111528
[pid=12588] ppid=12586 vsize=374088 CPUtime=0.32 cores=0,2,4,6
/proc/12588/stat : 12588 (strangenight2-m) S 12586 12588 12350 0 -1 4202496 15604 0 0 0 22 10 0 0 17 0 4 0 651572049 383066112 13509 33554432000 4194304 4580107 140734558803168 18446744073709551615 228244453870 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12588/statm: 93522 13522 337 95 0 88504 0
[pid=12588/tid=12589] ppid=12586 vsize=374088 CPUtime=0.07 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (strangenight2-m) S 12586 12588 12350 0 -1 4202560 3998 0 0 0 5 2 0 0 17 0 4 0 651572049 383066112 13528 33554432000 4194304 4580107 140734558803168 18446744073709551615 228244453870 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12588/tid=12590] ppid=12586 vsize=374088 CPUtime=0.08 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 3860 0 0 0 6 2 0 0 17 0 4 0 651572049 383066112 13544 33554432000 4194304 4580107 140734558803168 18446744073709551615 4513892 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12588/tid=12591] ppid=12586 vsize=374088 CPUtime=0.07 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (strangenight2-m) S 12586 12588 12350 0 -1 4202560 3494 0 0 0 5 2 0 0 17 0 4 0 651572049 383066112 13560 33554432000 4194304 4580107 140734558803168 18446744073709551615 228244453870 0 0 4096 2 18446604441564198976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 374088

[startup+0.342608 s]
/proc/loadavg: 7.50 8.01 8.00 7/342 12588
/proc/meminfo: memFree=18093448/32951124 swapFree=67082152/67111528
[pid=12588] ppid=12586 vsize=392084 CPUtime=1.3 cores=0,2,4,6
/proc/12588/stat : 12588 (strangenight2-m) R 12586 12588 12350 0 -1 4202496 26837 0 0 0 115 15 0 0 18 0 4 0 651572049 401494016 24488 33554432000 4194304 4580107 140734558803168 18446744073709551615 4414485 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12588/statm: 98021 25047 371 95 0 93003 0
[pid=12588/tid=12589] ppid=12586 vsize=392084 CPUtime=0.31 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 7556 0 0 0 28 3 0 0 18 0 4 0 651572049 401494016 25060 33554432000 4194304 4580107 140734558803168 18446744073709551615 228244016090 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12588/tid=12590] ppid=12586 vsize=392084 CPUtime=0.33 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 8382 0 0 0 30 3 0 0 18 0 4 0 651572049 401494016 25060 33554432000 4194304 4580107 140734558803168 18446744073709551615 228244453919 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12588/tid=12591] ppid=12586 vsize=392084 CPUtime=0.31 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (strangenight2-m) S 12586 12588 12350 0 -1 4202560 4317 0 0 0 28 3 0 0 18 0 4 0 651572049 401494016 25060 33554432000 4194304 4580107 140734558803168 18446744073709551615 228244453870 0 0 4096 2 18446604441564198976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 392084

[startup+1.14692 s]
/proc/loadavg: 7.50 8.01 8.00 7/342 12588
/proc/meminfo: memFree=18093448/32951124 swapFree=67082152/67111528
[pid=12588] ppid=12586 vsize=398196 CPUtime=4.44 cores=0,2,4,6
/proc/12588/stat : 12588 (strangenight2-m) R 12586 12588 12350 0 -1 4202496 38022 0 0 0 427 17 0 0 18 0 4 0 651572049 407752704 28477 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12588/statm: 99549 28477 377 95 0 94531 0
[pid=12588/tid=12589] ppid=12586 vsize=398196 CPUtime=1.1 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 11735 0 0 0 106 4 0 0 19 0 4 0 651572049 407752704 28477 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293148 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12588/tid=12590] ppid=12586 vsize=398196 CPUtime=1.11 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 10995 0 0 0 108 3 0 0 19 0 4 0 651572049 407752704 28477 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293167 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12588/tid=12591] ppid=12586 vsize=398196 CPUtime=1.09 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 4867 0 0 0 106 3 0 0 19 0 4 0 651572049 407752704 28477 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 398196

[startup+1.50085 s]
/proc/loadavg: 7.50 8.01 8.00 9/346 12592
/proc/meminfo: memFree=17918560/32951124 swapFree=67082152/67111528
[pid=12588] ppid=12586 vsize=398196 CPUtime=5.87 cores=0,2,4,6
/proc/12588/stat : 12588 (strangenight2-m) R 12586 12588 12350 0 -1 4202496 38997 0 0 0 570 17 0 0 19 0 4 0 651572049 407752704 29434 33554432000 4194304 4580107 140734558803168 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12588/statm: 99549 29434 377 95 0 94531 0
[pid=12588/tid=12589] ppid=12586 vsize=398196 CPUtime=1.47 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 11991 0 0 0 143 4 0 0 19 0 4 0 651572049 407752704 29447 33554432000 4194304 4580107 140734558803168 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12588/tid=12590] ppid=12586 vsize=398196 CPUtime=1.47 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 11243 0 0 0 144 3 0 0 19 0 4 0 651572049 407752704 29447 33554432000 4194304 4580107 140734558803168 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12588/tid=12591] ppid=12586 vsize=398196 CPUtime=1.44 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 5070 0 0 0 141 3 0 0 19 0 4 0 651572049 407752704 29447 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 398196

[startup+3.10057 s]
/proc/loadavg: 7.50 8.01 8.00 9/346 12592
/proc/meminfo: memFree=17892168/32951124 swapFree=67082152/67111528
[pid=12588] ppid=12586 vsize=529460 CPUtime=12.24 cores=0,2,4,6
/proc/12588/stat : 12588 (strangenight2-m) R 12586 12588 12350 0 -1 4202496 43399 0 0 0 1205 19 0 0 23 0 4 0 651572049 542167040 33836 33554432000 4194304 4580107 140734558803168 18446744073709551615 4321197 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12588/statm: 132365 33837 377 95 0 127347 0
[pid=12588/tid=12589] ppid=12586 vsize=529460 CPUtime=3.05 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 12973 0 0 0 301 4 0 0 23 0 4 0 651572049 542167040 33837 33554432000 4194304 4580107 140734558803168 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12588/tid=12590] ppid=12586 vsize=529460 CPUtime=3.07 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 12345 0 0 0 303 4 0 0 23 0 4 0 651572049 542167040 33837 33554432000 4194304 4580107 140734558803168 18446744073709551615 4342240 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12588/tid=12591] ppid=12586 vsize=529460 CPUtime=3.02 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 6314 0 0 0 299 3 0 0 23 0 4 0 651572049 542167040 33837 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.24
Current children cumulated vsize (KiB) 529460

[startup+6.30101 s]
/proc/loadavg: 7.54 8.01 8.00 9/346 12592
/proc/meminfo: memFree=17825828/32951124 swapFree=67082152/67111528
[pid=12588] ppid=12586 vsize=529460 CPUtime=24.99 cores=0,2,4,6
/proc/12588/stat : 12588 (strangenight2-m) R 12586 12588 12350 0 -1 4202496 51293 0 0 0 2477 22 0 0 25 0 4 0 651572049 542167040 41730 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293182 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12588/statm: 132365 41730 377 95 0 127347 0
[pid=12588/tid=12589] ppid=12586 vsize=529460 CPUtime=6.25 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 14896 0 0 0 620 5 0 0 25 0 4 0 651572049 542167040 41730 33554432000 4194304 4580107 140734558803168 18446744073709551615 4324255 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12588/tid=12590] ppid=12586 vsize=529460 CPUtime=6.27 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 14391 0 0 0 623 4 0 0 25 0 4 0 651572049 542167040 41730 33554432000 4194304 4580107 140734558803168 18446744073709551615 4319849 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12588/tid=12591] ppid=12586 vsize=529460 CPUtime=6.18 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 8268 0 0 0 613 5 0 0 25 0 4 0 651572049 542167040 41730 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.99
Current children cumulated vsize (KiB) 529460

[startup+12.7009 s]
/proc/loadavg: 7.57 8.00 8.00 9/346 12592
/proc/meminfo: memFree=17794872/32951124 swapFree=67082152/67111528
[pid=12588] ppid=12586 vsize=667572 CPUtime=50.52 cores=0,2,4,6
/proc/12588/stat : 12588 (strangenight2-m) R 12586 12588 12350 0 -1 4202496 88922 0 0 0 5020 32 0 0 25 0 4 0 651572049 683593728 58888 33554432000 4194304 4580107 140734558803168 18446744073709551615 4451895 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12588/statm: 166893 58888 379 95 0 161875 0
[pid=12588/tid=12589] ppid=12586 vsize=667572 CPUtime=12.66 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 20417 0 0 0 1259 7 0 0 18 0 4 0 651572049 683593728 58888 33554432000 4194304 4580107 140734558803168 18446744073709551615 4318744 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12588/tid=12590] ppid=12586 vsize=667572 CPUtime=12.66 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 19889 0 0 0 1261 5 0 0 18 0 4 0 651572049 683593728 58888 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12588/tid=12591] ppid=12586 vsize=667572 CPUtime=12.51 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 13429 0 0 0 1245 6 0 0 25 0 4 0 651572049 683593728 58888 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.52
Current children cumulated vsize (KiB) 667572

[startup+25.5007 s]
/proc/loadavg: 7.67 8.00 8.00 9/346 12593
/proc/meminfo: memFree=17333344/32951124 swapFree=67082152/67111528
[pid=12588] ppid=12586 vsize=823088 CPUtime=101.56 cores=0,2,4,6
/proc/12588/stat : 12588 (strangenight2-m) R 12586 12588 12350 0 -1 4202496 163339 0 0 0 10105 51 0 0 25 0 4 0 651572049 842842112 104113 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293134 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12588/statm: 205772 104113 379 95 0 200754 0
[pid=12588/tid=12589] ppid=12586 vsize=823088 CPUtime=25.37 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 52220 0 0 0 2522 15 0 0 25 0 4 0 651572049 842842112 104113 33554432000 4194304 4580107 140734558803168 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12588/tid=12590] ppid=12586 vsize=823088 CPUtime=25.46 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 34726 0 0 0 2537 9 0 0 25 0 4 0 651572049 842842112 104113 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12588/tid=12591] ppid=12586 vsize=823088 CPUtime=25.25 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 31545 0 0 0 2514 11 0 0 25 0 4 0 651572049 842842112 104113 33554432000 4194304 4580107 140734558803168 18446744073709551615 4316446 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 823088

[startup+51.1132 s]
/proc/loadavg: 7.78 8.00 8.00 9/346 12593
/proc/meminfo: memFree=17095164/32951124 swapFree=67082152/67111528
[pid=12588] ppid=12586 vsize=880524 CPUtime=203.7 cores=0,2,4,6
/proc/12588/stat : 12588 (strangenight2-m) R 12586 12588 12350 0 -1 4202496 242466 0 0 0 20298 72 0 0 25 0 4 0 651572049 901656576 128717 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293138 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12588/statm: 220131 128717 379 95 0 215113 0
[pid=12588/tid=12589] ppid=12586 vsize=880524 CPUtime=50.69 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 68937 0 0 0 5050 19 0 0 25 0 4 0 651572049 901656576 128717 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12588/tid=12590] ppid=12586 vsize=880524 CPUtime=51.07 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 56607 0 0 0 5091 16 0 0 25 0 4 0 651572049 901656576 128717 33554432000 4194304 4580107 140734558803168 18446744073709551615 4301902 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12588/tid=12591] ppid=12586 vsize=880524 CPUtime=50.86 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 49444 0 0 0 5070 16 0 0 25 0 4 0 651572049 901656576 128717 33554432000 4194304 4580107 140734558803168 18446744073709551615 4507434 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.7
Current children cumulated vsize (KiB) 880524

[startup+102.301 s]
/proc/loadavg: 7.95 8.01 8.00 9/346 12595
/proc/meminfo: memFree=16807516/32951124 swapFree=67082152/67111528
[pid=12588] ppid=12586 vsize=960120 CPUtime=407.89 cores=0,2,4,6
/proc/12588/stat : 12588 (strangenight2-m) R 12586 12588 12350 0 -1 4202496 350917 0 0 0 40688 101 0 0 25 0 4 0 651572049 983162880 162794 33554432000 4194304 4580107 140734558803168 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12588/statm: 240030 162794 379 95 0 235012 0
[pid=12588/tid=12589] ppid=12586 vsize=960120 CPUtime=101.82 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 95279 0 0 0 10156 26 0 0 25 0 4 0 651572049 983162880 162794 33554432000 4194304 4580107 140734558803168 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12588/tid=12590] ppid=12586 vsize=960120 CPUtime=102.26 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 81805 0 0 0 10201 25 0 0 25 0 4 0 651572049 983162880 162794 33554432000 4194304 4580107 140734558803168 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12588/tid=12591] ppid=12586 vsize=960120 CPUtime=101.55 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 83853 0 0 0 10131 24 0 0 25 0 4 0 651572049 983162880 162794 33554432000 4194304 4580107 140734558803168 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.89
Current children cumulated vsize (KiB) 960120

[startup+162.301 s]

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

[pid=12588] ppid=12586 vsize=1492180 CPUtime=2561 cores=0,2,4,6
/proc/12588/stat : 12588 (strangenight2-m) R 12586 12588 12350 0 -1 4202496 1378947 0 0 0 255691 409 0 0 25 0 4 0 651572049 1527992320 285903 33554432000 4194304 4580107 140734558803168 18446744073709551615 4489437 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12588/statm: 373045 285904 379 95 0 368027 0
[pid=12588/tid=12589] ppid=12586 vsize=1492180 CPUtime=641.68 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 361230 0 0 0 64063 105 0 0 25 0 4 0 651572049 1527992320 285904 33554432000 4194304 4580107 140734558803168 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12588/tid=12590] ppid=12586 vsize=1492180 CPUtime=642.23 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 338050 0 0 0 64114 109 0 0 25 0 4 0 651572049 1527992320 285904 33554432000 4194304 4580107 140734558803168 18446744073709551615 4294347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12588/tid=12591] ppid=12586 vsize=1492180 CPUtime=637.75 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 342004 0 0 0 63680 95 0 0 25 0 4 0 651572049 1527992320 285904 33554432000 4194304 4580107 140734558803168 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2561
Current children cumulated vsize (KiB) 1492180

[startup+702.313 s]
/proc/loadavg: 8.05 8.07 8.02 9/346 12614
/proc/meminfo: memFree=15697004/32951124 swapFree=67082152/67111528
[pid=12588] ppid=12586 vsize=1455288 CPUtime=2800.37 cores=0,2,4,6
/proc/12588/stat : 12588 (strangenight2-m) R 12586 12588 12350 0 -1 4202496 1475754 0 0 0 279595 442 0 0 25 0 4 0 651572049 1490214912 294342 33554432000 4194304 4580107 140734558803168 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12588/statm: 363822 294342 379 95 0 358804 0
[pid=12588/tid=12589] ppid=12586 vsize=1455288 CPUtime=701.69 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 385486 0 0 0 70057 112 0 0 25 0 4 0 651572049 1490214912 294342 33554432000 4194304 4580107 140734558803168 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12588/tid=12590] ppid=12586 vsize=1455288 CPUtime=702.24 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 362797 0 0 0 70105 119 0 0 25 0 4 0 651572049 1490214912 294342 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12588/tid=12591] ppid=12586 vsize=1455288 CPUtime=697.75 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 369242 0 0 0 69672 103 0 0 25 0 4 0 651572049 1490214912 294342 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2800.37
Current children cumulated vsize (KiB) 1455288

[startup+762.301 s]
/proc/loadavg: 8.07 8.07 8.02 9/346 12615
/proc/meminfo: memFree=15726740/32951124 swapFree=67082152/67111528
[pid=12588] ppid=12586 vsize=1434464 CPUtime=3039.64 cores=0,2,4,6
/proc/12588/stat : 12588 (strangenight2-m) R 12586 12588 12350 0 -1 4202496 1573306 0 0 0 303488 476 0 0 25 0 4 0 651572049 1468891136 292750 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293952 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12588/statm: 358616 292750 379 95 0 353598 0
[pid=12588/tid=12589] ppid=12586 vsize=1434464 CPUtime=761.68 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 409727 0 0 0 76047 121 0 0 25 0 4 0 651572049 1468891136 292750 33554432000 4194304 4580107 140734558803168 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12588/tid=12590] ppid=12586 vsize=1434464 CPUtime=762.22 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 384236 0 0 0 76096 126 0 0 25 0 4 0 651572049 1468891136 292750 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12588/tid=12591] ppid=12586 vsize=1434464 CPUtime=757.72 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 393408 0 0 0 75661 111 0 0 25 0 4 0 651572049 1468891136 292750 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3039.64
Current children cumulated vsize (KiB) 1434464

[startup+822.301 s]
/proc/loadavg: 8.07 8.07 8.02 9/346 12617
/proc/meminfo: memFree=15738868/32951124 swapFree=67082152/67111528
[pid=12588] ppid=12586 vsize=1427792 CPUtime=3278.97 cores=0,2,4,6
/proc/12588/stat : 12588 (strangenight2-m) R 12586 12588 12350 0 -1 4202496 1666771 0 0 0 327388 509 0 0 25 0 4 0 651572049 1462059008 294232 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293204 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12588/statm: 356948 294232 379 95 0 351930 0
[pid=12588/tid=12589] ppid=12586 vsize=1427792 CPUtime=821.68 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 433935 0 0 0 82039 129 0 0 25 0 4 0 651572049 1462059008 294232 33554432000 4194304 4580107 140734558803168 18446744073709551615 228244373399 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12588/tid=12590] ppid=12586 vsize=1427792 CPUtime=822.22 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 405869 0 0 0 82087 135 0 0 25 0 4 0 651572049 1462059008 294232 33554432000 4194304 4580107 140734558803168 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12588/tid=12591] ppid=12586 vsize=1427792 CPUtime=817.71 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 413842 0 0 0 81653 118 0 0 25 0 4 0 651572049 1462059008 294232 33554432000 4194304 4580107 140734558803168 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3278.97
Current children cumulated vsize (KiB) 1427792

[startup+882.301 s]
/proc/loadavg: 8.13 8.09 8.02 9/346 12618
/proc/meminfo: memFree=15777660/32951124 swapFree=67082152/67111528
[pid=12588] ppid=12586 vsize=1414440 CPUtime=3518.3 cores=0,2,4,6
/proc/12588/stat : 12588 (strangenight2-m) R 12586 12588 12350 0 -1 4202496 1754048 0 0 0 351287 543 0 0 25 0 4 0 651572049 1448386560 278926 33554432000 4194304 4580107 140734558803168 18446744073709551615 4416732 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12588/statm: 353610 278926 379 95 0 348592 0
[pid=12588/tid=12589] ppid=12586 vsize=1414440 CPUtime=881.67 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 456410 0 0 0 88030 137 0 0 25 0 4 0 651572049 1448386560 278926 33554432000 4194304 4580107 140734558803168 18446744073709551615 4416310 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12588/tid=12590] ppid=12586 vsize=1414440 CPUtime=882.22 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 429758 0 0 0 88077 145 0 0 25 0 4 0 651572049 1448386560 278926 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12588/tid=12591] ppid=12586 vsize=1414440 CPUtime=877.7 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 435850 0 0 0 87644 126 0 0 25 0 4 0 651572049 1448386560 278926 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3518.3
Current children cumulated vsize (KiB) 1414440

[startup+942.301 s]
/proc/loadavg: 8.14 8.10 8.03 9/346 12620
/proc/meminfo: memFree=15604656/32951124 swapFree=67082152/67111528
[pid=12588] ppid=12586 vsize=1488440 CPUtime=3757.62 cores=0,2,4,6
/proc/12588/stat : 12588 (strangenight2-m) R 12586 12588 12350 0 -1 4202496 1848591 0 0 0 375189 573 0 0 25 0 4 0 651572049 1524162560 310648 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293155 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12588/statm: 372110 310648 379 95 0 367092 0
[pid=12588/tid=12589] ppid=12586 vsize=1488440 CPUtime=941.67 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 480884 0 0 0 94023 144 0 0 25 0 4 0 651572049 1524162560 310648 33554432000 4194304 4580107 140734558803168 18446744073709551615 4318990 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12588/tid=12590] ppid=12586 vsize=1488440 CPUtime=942.22 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 453080 0 0 0 94068 154 0 0 25 0 4 0 651572049 1524162560 310648 33554432000 4194304 4580107 140734558803168 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12588/tid=12591] ppid=12586 vsize=1488440 CPUtime=937.68 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 457758 0 0 0 93635 133 0 0 25 0 4 0 651572049 1524162560 310648 33554432000 4194304 4580107 140734558803168 18446744073709551615 4317377 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3757.62
Current children cumulated vsize (KiB) 1488440

[startup+1002.3 s]
/proc/loadavg: 8.14 8.11 8.03 9/346 12622
/proc/meminfo: memFree=15559864/32951124 swapFree=67082152/67111528
[pid=12588] ppid=12586 vsize=1621368 CPUtime=3996.95 cores=0,2,4,6
/proc/12588/stat : 12588 (strangenight2-m) R 12586 12588 12350 0 -1 4202496 1953945 0 0 0 399088 607 0 0 25 0 4 0 651572049 1660280832 326341 33554432000 4194304 4580107 140734558803168 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12588/statm: 405342 326341 379 95 0 400324 0
[pid=12588/tid=12589] ppid=12586 vsize=1621368 CPUtime=1001.67 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 500789 0 0 0 100016 151 0 0 25 0 4 0 651572049 1660280832 326341 33554432000 4194304 4580107 140734558803168 18446744073709551615 4324249 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12588/tid=12590] ppid=12586 vsize=1621368 CPUtime=1002.21 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 495521 0 0 0 100056 165 0 0 25 0 4 0 651572049 1660280832 326341 33554432000 4194304 4580107 140734558803168 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12588/tid=12591] ppid=12586 vsize=1621368 CPUtime=997.68 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 477557 0 0 0 99627 141 0 0 25 0 4 0 651572049 1660280832 326342 33554432000 4194304 4580107 140734558803168 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3996.95
Current children cumulated vsize (KiB) 1621368

[startup+1062.3 s]
/proc/loadavg: 8.13 8.11 8.04 9/346 12623
/proc/meminfo: memFree=15509500/32951124 swapFree=67082152/67111528
[pid=12588] ppid=12586 vsize=1607908 CPUtime=4236.28 cores=0,2,4,6
/proc/12588/stat : 12588 (strangenight2-m) R 12586 12588 12350 0 -1 4202496 2051901 0 0 0 422988 640 0 0 25 0 4 0 651572049 1646497792 300866 33554432000 4194304 4580107 140734558803168 18446744073709551615 228244392071 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12588/statm: 401977 300866 379 95 0 396959 0
[pid=12588/tid=12589] ppid=12586 vsize=1607908 CPUtime=1061.66 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 527418 0 0 0 106007 159 0 0 25 0 4 0 651572049 1646497792 300866 33554432000 4194304 4580107 140734558803168 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12588/tid=12590] ppid=12586 vsize=1607908 CPUtime=1062.21 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 518587 0 0 0 106047 174 0 0 25 0 4 0 651572049 1646497792 300866 33554432000 4194304 4580107 140734558803168 18446744073709551615 4295856 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12588/tid=12591] ppid=12586 vsize=1607908 CPUtime=1057.66 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (strangenight2-m) D 12586 12588 12350 0 -1 4202560 500146 0 0 0 105618 148 0 0 25 0 4 0 651572049 1646497792 300866 33554432000 4194304 4580107 140734558803168 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4236.28
Current children cumulated vsize (KiB) 1607908

[startup+1122.3 s]
/proc/loadavg: 8.25 8.15 8.05 9/346 12625
/proc/meminfo: memFree=15463968/32951124 swapFree=67082152/67111528
[pid=12588] ppid=12586 vsize=1593820 CPUtime=4475.61 cores=0,2,4,6
/proc/12588/stat : 12588 (strangenight2-m) R 12586 12588 12350 0 -1 4202496 2144983 0 0 0 446888 673 0 0 25 0 4 0 651572049 1632071680 324747 33554432000 4194304 4580107 140734558803168 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12588/statm: 398455 324747 379 95 0 393437 0
[pid=12588/tid=12589] ppid=12586 vsize=1593820 CPUtime=1121.66 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 548668 0 0 0 111999 167 0 0 25 0 4 0 651572049 1632071680 324747 33554432000 4194304 4580107 140734558803168 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12588/tid=12590] ppid=12586 vsize=1593820 CPUtime=1122.21 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 543368 0 0 0 112038 183 0 0 25 0 4 0 651572049 1632071680 324747 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12588/tid=12591] ppid=12586 vsize=1593820 CPUtime=1117.65 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 525501 0 0 0 111607 158 0 0 25 0 4 0 651572049 1632071680 324747 33554432000 4194304 4580107 140734558803168 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4475.61
Current children cumulated vsize (KiB) 1593820

[startup+1182.3 s]
/proc/loadavg: 8.09 8.12 8.05 9/346 12626
/proc/meminfo: memFree=15120596/32951124 swapFree=67082152/67111528
[pid=12588] ppid=12586 vsize=1883096 CPUtime=4714.93 cores=0,2,4,6
/proc/12588/stat : 12588 (strangenight2-m) R 12586 12588 12350 0 -1 4202496 2300989 0 0 0 470774 719 0 0 25 0 4 0 651572049 1928290304 402708 33554432000 4194304 4580107 140734558803168 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12588/statm: 470774 402708 379 95 0 465756 0
[pid=12588/tid=12589] ppid=12586 vsize=1883096 CPUtime=1181.66 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 603741 0 0 0 117984 182 0 0 25 0 4 0 651572049 1928290304 402708 33554432000 4194304 4580107 140734558803168 18446744073709551615 4416727 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12588/tid=12590] ppid=12586 vsize=1883096 CPUtime=1182.21 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 565768 0 0 0 118029 192 0 0 25 0 4 0 651572049 1928290304 402708 33554432000 4194304 4580107 140734558803168 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12588/tid=12591] ppid=12586 vsize=1883096 CPUtime=1177.64 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 571233 0 0 0 117595 169 0 0 25 0 4 0 651572049 1928290304 402708 33554432000 4194304 4580107 140734558803168 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4714.93
Current children cumulated vsize (KiB) 1883096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.06 8.11 8.04 5/341 12628
/proc/meminfo: memFree=16608628/32951124 swapFree=67082152/67111528
[pid=12588] ppid=12586 vsize=1884736 CPUtime=4800.3 cores=0,2,4,6
/proc/12588/stat : 12588 (strangenight2-m) R 12586 12588 12350 0 -1 4202496 2338247 0 0 0 479297 733 0 0 25 0 4 0 651572049 1929969664 387918 33554432000 4194304 4580107 140734558803168 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12588/statm: 471184 387918 379 95 0 466166 0
[pid=12588/tid=12589] ppid=12586 vsize=1884736 CPUtime=1203.07 cores=0,2,4,6
/proc/12588/task/12589/stat : 12589 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 612994 0 0 0 120122 185 0 0 25 0 4 0 651572049 1929969664 387925 33554432000 4194304 4580107 140734558803168 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12588/tid=12590] ppid=12586 vsize=1884736 CPUtime=1203.62 cores=0,2,4,6
/proc/12588/task/12590/stat : 12590 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 573750 0 0 0 120167 195 0 0 25 0 4 0 651572049 1929969664 387925 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12588/tid=12591] ppid=12586 vsize=1884736 CPUtime=1199.03 cores=0,2,4,6
/proc/12588/task/12591/stat : 12591 (strangenight2-m) R 12586 12588 12350 0 -1 4202560 581366 0 0 0 119731 172 0 0 25 0 4 0 651572049 1929969664 387925 33554432000 4194304 4580107 140734558803168 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 1884736

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.79
CPU time (s): 4800.42
CPU user time (s): 4793.01
CPU system time (s): 7.40687
CPU usage (%): 398.775
Max. virtual memory (cumulated for all children) (KiB): 1884736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.01
system time used= 7.40687
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2338259
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= 17648
involuntary context switches= 24515

runsolver used 3.72243 second user time and 9.44456 second system time

The end

Launcher Data 

Begin job on node136 at 2011-05-14 21:02:21
IDJOB=3366247
IDBENCH=82656
IDSOLVER=1844
FILE ID=node136/3366247-1305399741
RUNJOBID= node136-1305397329-12368
PBS_JOBID= 13324455
Free space on /tmp= 72984 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
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-3366247-1305399741/watcher-3366247-1305399741 -o /tmp/evaluation-result-3366247-1305399741/solver-3366247-1305399741 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366247-1305399741.cnf

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

MD5SUM BENCH= 3d91d29f74f04e1ffeedae8425f55746
RANDOM SEED=1932346165

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18093728 kB
Buffers:        293340 kB
Cached:        5035528 kB
SwapCached:       2740 kB
Active:       10631372 kB
Inactive:      3885444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18093728 kB
SwapTotal:    67111528 kB
SwapFree:     67082152 kB
Dirty:           15448 kB
Writeback:          80 kB
AnonPages:     9185876 kB
Mapped:          27568 kB
Slab:           236916 kB
PageTables:      39216 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 70000988 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= 72988 MiB
End job on node136 at 2011-05-14 21:22:27