Trace number 3173701

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.18 1201.78

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v35000-c147000-S419010076-063-UNKNOWN.cnf
MD5SUM07407a86c8d0f1e46c34022f68908549
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark606.272
Satisfiable
(Un)Satisfiability was proved
Number of variables35000
Number of clauses147000
Sum of the clauses size441000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3147000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173701-1304030004.cnf'
0.00/0.00	c -- header says num vars:          35000
0.00/0.00	c -- header says num clauses:      147000
0.41/0.13	c -- clauses added:            0 learnts,       147000 normals,            0 xors
0.41/0.13	c -- vars added      35000
0.41/0.13	c Parsing time:  0.11 s
1.17/0.36	c  N st     0         0     35000    147000         0         0    441000         0   no data   no data
1.17/0.36	c asymm  cl-useful: 0/147000/147000 lits-rem:0 time: 0.13
1.17/0.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.08
1.96/0.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.96/0.50	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.96/0.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.96/0.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  35000 time:  0.01 s
1.96/0.50	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
4.75/1.23	c lits-rem:         0  cl-subs:        0  v-elim:    914  v-fix:    0  time:  0.26 s
4.75/1.23	c Finding binary XORs  T:     0.01 s  found:       0
4.75/1.23	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
4.75/1.23	c calculated reachability. Time: 0.00
4.75/1.23	c Calc default polars -  time:   0.01 s pos:   15475 undec:    3961 neg:   15564
4.75/1.23	c =========================================================================================
4.75/1.23	c types(t): F = full restart, N = normal restart
4.75/1.23	c types(t): S = simplification begin/end, E = solution found
4.75/1.23	c restart types(rt): st = static, dy = dynamic
4.75/1.23	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.75/1.23	c  B st     0         0     34086    146006         0         0    443627         0   no data   no data
10.74/2.73	c  N dy    21      4102     34086    146006         0      4102    443627   1162475    164.56    179.76
18.33/4.64	c  N dy    49      8164     34086    146006         0      8164    443627   2167116    165.60    177.14
26.34/6.64	c  N dy    79     12330     34086    146006         0     12330    443627   3214668    165.57    176.95
33.91/8.59	c  N dy   106     16380     34086    146006         0     16380    443627   4260410    166.82    178.45
42.30/10.64	c  N dy   135     20428     34086    146006         0     10428    443627    777402    167.50    177.12
49.88/12.53	c  N dy   159     24460     34086    146006         0     14459    443627   1783606    166.78    175.99
50.68/12.78	c  F st   163     25000     34086    146006         0     14999    443627   1912826    166.63    166.38
61.49/15.48	c  N dy   169     30001     34086    146006         0     19999    443627   3805103    166.63   no data
61.49/15.48	c  S st   169     30001     34086    146006         0     19999    443627   3805103    166.63   no data
62.67/15.72	c  S st   169     30502     34086    146006         0     20500    443627   3897959    166.63   no data
62.67/15.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
63.46/15.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
63.46/15.98	c blocked clauses removed:      611 vars:    102 tried:       34086 T: 0.02 s
63.46/15.99	c bin-w-bin subsume rem            0 bins  time:  0.01 s
63.86/16.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
63.86/16.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33984 time:  0.01 s
63.86/16.03	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
64.67/16.23	c lits-rem:         0  cl-subs:        0  v-elim:     12  v-fix:    0  time:  0.20 s
66.26/16.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
70.28/17.64	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.98 s
71.05/17.81	c asymm  cl-useful: 0/145384/145384 lits-rem:0 time: 0.17
71.05/17.82	c calculated reachability. Time: 0.00
71.05/17.82	c  N dy   169     30502     33972    145384         0     20370    441840   3817580    166.63   no data
79.07/19.88	c  N dy   197     34506     33972    145384         0     24374    441840   4816491    166.15    178.76
87.85/22.09	c  N dy   226     38635     33972    145384         0     28503    441840   5845805    165.99    179.19
96.64/24.24	c  N dy   254     42699     33972    145384         0     17141    441840   1236187    166.42    179.00
102.62/25.76	c  S st   273     45753     33972    145384         0     20194    441840   2007006    165.92   no data
103.81/26.03	c  S st   273     46258     33972    145384         0     20699    441840   2101058    165.92   no data
103.81/26.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
104.61/26.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
104.61/26.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
104.61/26.28	c bin-w-bin subsume rem            0 bins  time:  0.01 s
104.61/26.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
104.61/26.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33972 time:  0.01 s
105.02/26.32	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
105.43/26.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
106.21/26.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
107.40/26.97	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.32 s
107.40/26.99	c vivif2 --  cl tried   145384 cl shrink        0 lits rem          0 time: 0.02
107.80/27.03	c vivif2 --  cl tried    20697 cl shrink        0 lits rem          0 time: 0.04
108.60/27.20	c asymm  cl-useful: 0/145384/145384 lits-rem:0 time: 0.17
108.60/27.21	c calculated reachability. Time: 0.00
108.60/27.21	c  N dy   273     46258     33972    145384         0     20697    441840   2100589    165.92   no data
116.99/29.35	c  N dy   300     50449     33972    145384         0     24887    441840   3179665    166.03    175.19
125.78/31.52	c  N dy   326     54587     33972    145384         0     29025    441840   4211970    165.74    180.73
134.17/33.68	c  N dy   357     58599     33972    145384         0     33037    441840   5258669    166.21    176.95
143.35/35.91	c  N dy   389     62686     33972    145384         0     37124    441840   6312487    166.62    196.65
151.74/38.00	c  N dy   417     66707     33972    145384         0     22426    441840   1712397    166.95    231.53
157.33/39.40	c  S st   435     69387     33972    145384         0     25106    441840   2411157    167.02   no data
158.15/39.67	c  S st   435     69891     33972    145384         0     25610    441840   2525657    167.02   no data
158.15/39.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
158.93/39.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.19
159.33/39.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
159.33/39.93	c bin-w-bin subsume rem            0 bins  time:  0.01 s
159.33/39.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
159.33/39.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33972 time:  0.01 s
159.33/39.97	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
160.13/40.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
160.53/40.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
162.55/40.78	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.46 s
162.92/40.81	c vivif2 --  cl tried   145384 cl shrink        0 lits rem          0 time: 0.02
162.92/40.85	c vivif2 --  cl tried    25609 cl shrink        0 lits rem          0 time: 0.05
163.72/41.04	c asymm  cl-useful: 0/145384/145384 lits-rem:0 time: 0.18
163.72/41.05	c calculated reachability. Time: 0.00
163.72/41.05	c  N dy   435     69891     33972    145384         0     25609    441840   2525603    167.02   no data
172.90/43.38	c  N dy   468     74362     33972    145384         0     30080    441840   3658166    167.16    177.82
183.29/45.91	c  N dy   500     79122     33972    145384         0     34840    441840   4862185    167.11    176.53
194.07/48.64	c  N dy   536     84189     33972    145384         0     39907    441840   6161117    167.36    176.45
201.27/50.48	c  F st   557     87500     33972    145384         0     22362    441840   1110399    167.27   no data
208.86/52.31	c  N st   562     90800     33972    145384         0     25661    441840   2204042    167.27   no data
221.65/55.57	c  N dy   590     96641     33972    145384         0     31502    441840   4095015    167.04    176.11
235.22/58.96	c  N dy   634    102855     33972    145384         0     37716    441840   5711877    167.28    176.86
239.61/60.04	c  S st   649    104836     33972    145384         0     39697    441840   6216095    167.30   no data
240.81/60.32	c  S st   649    105339     33972    145384         0     40200    441840   6323329    167.30   no data
240.81/60.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
241.63/60.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
241.63/60.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
242.02/60.61	c bin-w-bin subsume rem            0 bins  time:  0.01 s
242.02/60.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
242.02/60.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33972 time:  0.01 s
242.02/60.64	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
242.81/60.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
244.81/61.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
251.60/63.07	c lits-rem:         3  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.73 s
251.99/63.10	c vivif2 --  cl tried   145384 cl shrink        0 lits rem          0 time: 0.02
252.39/63.21	c vivif2 --  cl tried    40198 cl shrink        0 lits rem          0 time: 0.11
253.19/63.42	c asymm  cl-useful: 0/145384/145384 lits-rem:0 time: 0.21
253.19/63.43	c calculated reachability. Time: 0.00
253.19/63.43	c  N dy   649    105339     33972    145384         0     40198    441840   6323104    167.30   no data
268.37/67.25	c  N dy   698    112085     33972    145384         0     24510    441840   1185307    167.71    176.72
283.95/71.11	c  N dy   746    119315     33972    145384         0     31738    441840   3045529    167.67    178.36
300.73/75.35	c  N dy   798    127044     33972    145384         0     39467    441840   5057112    167.82    176.70
318.70/79.88	c  N dy   857    135156     33972    145384         0     23865    441840    663041    167.94    189.20
337.48/84.57	c  N dy   920    143928     33972    145384         0     32637    441840   2934295    168.05    181.96
358.65/89.81	c  N dy   987    153390     33972    145384         0     42098    441840   5442064    168.44    185.82
369.06/92.44	c  S st  1017    158012     33972    145384         0     46720    441840   6624238    168.32    158.15
370.23/92.73	c  S st  1017    158521     33972    145384         0     47229    441840   6730381    168.32   no data
370.23/92.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
371.03/92.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
371.43/93.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
371.43/93.02	c bin-w-bin subsume rem            0 bins  time:  0.01 s
371.43/93.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
371.43/93.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33972 time:  0.01 s
371.43/93.06	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
372.23/93.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
374.23/93.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
383.81/96.19	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.43 s
384.21/96.21	c vivif2 --  cl tried   145384 cl shrink        0 lits rem          0 time: 0.02
384.61/96.34	c vivif2 --  cl tried    47227 cl shrink        0 lits rem          0 time: 0.13
385.41/96.56	c asymm  cl-useful: 0/145384/145384 lits-rem:0 time: 0.22
385.41/96.57	c calculated reachability. Time: 0.00
385.41/96.57	c  N dy  1017    158521     33972    145384         0     47227    441840   6730206    168.32   no data
407.78/102.15	c  N dy  1090    168694     33972    145384         0     32549    441840   2636164    168.60    221.89
431.75/108.19	c  N dy  1168    179483     33972    145384         0     43337    441840   5512670    169.02    178.84
458.51/114.87	c  N dy  1257    191026     33972    145384         0     28952    441840   1360722    169.43    202.61
485.68/121.62	c  N dy  1338    203253     33972    145384         0     41178    441840   4595523    169.55    180.75
515.24/129.08	c  N dy  1427    216227     33972    145384         0     27189    441840    610045    169.66    181.00
545.19/136.58	c  N dy  1516    230079     33972    145384         0     41039    441840   4199030    169.67    181.68
562.77/140.96	c  S st  1569    237781     33972    145384         0     48740    441840   6212746    169.69   no data
563.96/141.25	c  S st  1569    238285     33972    145384         0     49244    441840   6301655    169.69   no data
563.96/141.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
564.76/141.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
565.16/141.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
565.16/141.54	c bin-w-bin subsume rem            0 bins  time:  0.01 s
565.16/141.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
565.16/141.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33972 time:  0.01 s
565.16/141.58	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
565.96/141.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
567.56/142.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
577.15/144.60	c lits-rem:         2  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.39 s
577.55/144.62	c vivif2 --  cl tried   145384 cl shrink        0 lits rem          0 time: 0.02
577.95/144.74	c vivif2 --  cl tried    49238 cl shrink        0 lits rem          0 time: 0.12
578.75/144.96	c asymm  cl-useful: 0/145384/145384 lits-rem:0 time: 0.23
578.75/144.97	c calculated reachability. Time: 0.00
578.75/144.98	c  N dy  1569    238285     33972    145384         0     49238    441840   6300393    169.69   no data
613.09/153.56	c  N dy  1674    253496     33972    145384         0     36478    441840   2743876    169.78    189.75
649.87/162.79	c  N dy  1786    269681     33972    145384         0     52661    441840   6938928    169.73    184.29
689.42/172.67	c  N dy  1902    287071     33972    145384         0     41055    441840   3670392    169.76    179.07
731.74/183.24	c  N dy  2023    305462     33972    145384         0     59444    441840   8415450    169.69    233.76
733.76/183.73	c  F st  2028    306251     33972    145384         0     30241    441840    583715    169.69   no data
776.48/194.48	c  N dy  2131    324997     33972    145384         0     48986    441840   5948381    169.78    180.00
822.41/206.00	c  N dy  2258    345106     33972    145384         0     38098    441840   2321956    169.67    180.33
850.78/213.02	c  S st  2347    357427     33972    145384         0     50419    441840   5551710    169.83    139.37
852.00/213.33	c  S st  2347    357931     33972    145384         0     50923    441840   5654728    169.83   no data
852.00/213.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
852.78/213.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
853.18/213.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
853.18/213.63	c bin-w-bin subsume rem            0 bins  time:  0.01 s
853.18/213.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
853.18/213.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33972 time:  0.01 s
853.18/213.67	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
853.98/213.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
855.57/214.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
864.76/216.53	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.28 s
864.76/216.55	c vivif2 --  cl tried   145384 cl shrink        0 lits rem          0 time: 0.02
865.18/216.66	c vivif2 --  cl tried    50920 cl shrink        0 lits rem          0 time: 0.11
865.96/216.89	c asymm  cl-useful: 0/145384/145384 lits-rem:0 time: 0.23
866.35/216.90	c calculated reachability. Time: 0.00
866.35/216.90	c  N dy  2347    357931     33972    145384         0     50920    441840   5652849    169.83   no data
913.09/228.70	c  N dy  2488    378088     33972    145384         0     39076    441840   2315538    169.86    186.15
960.23/240.46	c  N dy  2630    398223     33972    145384         0     59210    441840   7579114    169.95    185.69
1006.96/252.17	c  N dy  2774    418306     33972    145384         0     46295    441840   3964005    170.09    183.95
1054.51/264.10	c  N dy  2910    438385     33972    145384         0     66371    441840   9250758    170.20    184.81
1100.43/275.51	c  N dy  3038    458414     33972    145384         0     52399    441840   5279181    170.16    180.11
1147.96/287.41	c  N dy  3167    478488     33972    145384         0     37477    441840   1144583    170.02    179.15
1193.90/298.99	c  N dy  3307    498588     33972    145384         0     57575    441840   6415492    170.07    198.44
1242.23/311.03	c  N dy  3441    518599     33972    145384         0     41586    441840   1904519    170.07    179.85
1284.98/321.74	c  S st  3571    536897     33972    145384         0     59883    441840   6704601    170.10    161.37
1286.18/322.06	c  S st  3571    537399     33972    145384         0     60385    441840   6801416    170.10   no data
1286.18/322.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1287.40/322.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
1287.40/322.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1287.40/322.36	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1287.40/322.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1287.40/322.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33972 time:  0.01 s
1287.77/322.40	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1288.57/322.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
1290.17/323.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1302.95/326.22	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time:  3.16 s
1302.95/326.25	c vivif2 --  cl tried   145384 cl shrink        0 lits rem          0 time: 0.02
1303.35/326.38	c vivif2 --  cl tried    60380 cl shrink        0 lits rem          0 time: 0.13
1304.56/326.62	c asymm  cl-useful: 0/145384/145384 lits-rem:0 time: 0.25
1304.56/326.64	c calculated reachability. Time: 0.00
1304.56/326.64	c  N dy  3571    537399     33972    145384         0     60380    441840   6798921    170.10   no data
1352.90/338.78	c  N dy  3701    557429     33972    145384         0     43412    441840   2180696    170.04    179.50
1400.42/350.62	c  N dy  3837    577468     33972    145384         0     63450    441840   7459606    170.08    183.69
1448.36/362.69	c  N dy  3968    597514     33972    145384         0     45504    441840   2388429    170.05    180.29
1495.89/374.58	c  N dy  4103    617616     33972    145384         0     65604    441840   7606991    170.10    179.41
1545.03/386.83	c  N dy  4240    637707     33972    145384         0     46690    441840   2487389    170.11    180.52
1592.95/398.82	c  N dy  4372    657861     33972    145384         0     66844    441840   7699579    170.04    179.43
1641.69/411.04	c  N dy  4503    677904     33972    145384         0     46892    441840   2283589    170.06    181.95
1690.42/423.24	c  N dy  4636    698125     33972    145384         0     67110    441840   7504306    170.01    181.00
1740.34/435.70	c  N dy  4768    718193     33972    145384         0     46182    441840   1833179    170.05    181.15
1788.31/447.73	c  N dy  4907    738288     33972    145384         0     66277    441840   7095515    170.06    180.05
1839.41/460.52	c  N dy  5041    758423     33972    145384         0     44411    441840   1173422    170.14    182.87
1886.54/472.37	c  N dy  5180    778473     33972    145384         0     64460    441840   6411233    170.16    179.24
1937.69/485.15	c  N dy  5314    798638     33972    145384         0     84625    441840  11766094    170.17    183.78
1955.64/489.60	c  S st  5368    806098     33972    145384         0     49085    441840   2143305    170.21   no data
1956.45/489.90	c  S st  5368    806601     33972    145384         0     49588    441840   2232612    170.21   no data
1956.85/489.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1957.65/490.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
1957.65/490.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1957.65/490.18	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1957.65/490.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1958.05/490.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33972 time:  0.01 s
1958.05/490.22	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1958.45/490.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
1959.26/490.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1962.44/491.32	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.76 s
1962.44/491.34	c vivif2 --  cl tried   145384 cl shrink        0 lits rem          0 time: 0.02
1962.44/491.39	c vivif2 --  cl tried    49585 cl shrink        0 lits rem          0 time: 0.04
1963.65/491.62	c asymm  cl-useful: 0/145384/145384 lits-rem:0 time: 0.23
1963.65/491.63	c calculated reachability. Time: 0.00
1963.65/491.63	c  N dy  5368    806601     33972    145384         0     49585    441840   2230458    170.21   no data
2011.57/503.66	c  N dy  5497    826605     33972    145384         0     69587    441840   7375962    170.15    179.68
2063.90/516.73	c  N dy  5632    846665     33972    145384         0     45646    441840    902562    170.19    184.26
2111.84/528.79	c  N dy  5772    866801     33972    145384         0     65781    441840   6247901    170.23    180.52
2162.96/541.59	c  N dy  5912    886827     33972    145384         0     85806    441840  11451668    170.26    181.34
2212.09/553.90	c  N dy  6057    906902     33972    145384         0     60883    441840   4731493    170.34    179.36
2262.85/566.51	c  N dy  6195    926973     33972    145384         0     80951    441840   9983041    170.37    182.56
2313.15/579.19	c  N dy  6333    946989     33972    145384         0     54967    441840   2890563    170.39    180.22
2362.28/591.48	c  N dy  6460    967012     33972    145384         0     74989    441840   8237426    170.40    183.61
2415.01/604.65	c  N dy  6596    987059     33972    145384         0     48037    441840    784680    170.41    186.22
2463.34/616.70	c  N dy  6739   1007080     33972    145384         0     68058    441840   6074864    170.46    180.17
2515.26/629.73	c  N dy  6877   1027136     33972    145384         0     88113    441840  11267429    170.45    183.57
2565.61/642.35	c  N dy  7014   1047194     33972    145384         0     60170    441840   3781028    170.47    180.89
2615.52/654.82	c  N dy  7140   1067239     33972    145384         0     80213    441840   8969680    170.44    187.60
2627.53/657.88	c  F st  7170   1071875     33972    145384         0     84849    441840  10211944    170.44    151.40
2668.25/668.01	c  N dy  7242   1087280     33972    145384         0     51261    441840   1105606    170.42    186.64
2717.38/680.30	c  N dy  7387   1107319     33972    145384         0     71299    441840   6341376    170.45    185.17
2769.31/693.30	c  N dy  7521   1127343     33972    145384         0     91322    441840  11587968    170.45    183.35
2820.04/706.07	c  N dy  7652   1147433     33972    145384         0     61415    441840   3467375    170.43    180.89
2870.37/718.66	c  N dy  7783   1167494     33972    145384         0     81475    441840   8709199    170.41    181.00
2924.29/732.19	c  N dy  7921   1187667     33972    145384         0    101645    441840  13976015    170.41    182.39
2973.82/744.50	c  N dy  8060   1207671     33972    145384         0     70651    441840   5690129    170.43    181.24
2979.41/745.90	c  S st  8075   1209902     33972    145384         0     72882    441840   6283745    170.43   no data
2980.61/746.24	c  S st  8075   1210405     33972    145384         0     73385    441840   6379293    170.43   no data
2980.61/746.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2981.82/746.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.24
2981.82/746.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2981.82/746.56	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2981.82/746.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2981.82/746.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33972 time:  0.01 s
2982.22/746.60	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
2983.03/746.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
2984.61/747.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2998.59/750.74	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.50 s
2998.59/750.77	c vivif2 --  cl tried   145384 cl shrink        0 lits rem          0 time: 0.02
2998.99/750.89	c vivif2 --  cl tried    73381 cl shrink        0 lits rem          0 time: 0.12
3000.19/751.15	c asymm  cl-useful: 0/145384/145384 lits-rem:0 time: 0.26
3000.19/751.16	c calculated reachability. Time: 0.00
3000.19/751.16	c  N dy  8075   1210405     33972    145384         0     73381    441840   6377777    170.43   no data
3052.52/764.29	c  N dy  8212   1230513     33972    145384         0     93487    441840  11647509    170.43    181.95
3105.23/777.40	c  N dy  8355   1250529     33972    145384         0     61503    441840   3034872    170.47    181.00
3155.56/790.07	c  N dy  8493   1270584     33972    145384         0     81556    441840   8280143    170.48    186.35
3210.29/803.73	c  N dy  8639   1290695     33972    145384         0    101665    441840  13583186    170.52    179.70
3261.02/816.41	c  N dy  8781   1310726     33972    145384         0     68707    441840   4702919    170.55    186.46
3312.57/829.37	c  N dy  8912   1330853     33972    145384         0     88834    441840   9923329    170.54    183.50
3368.07/843.27	c  N dy  9052   1350889     33972    145384         0     54877    441840    769506    170.56    185.98
3417.60/855.65	c  N dy  9194   1370920     33972    145384         0     74905    441840   6087747    170.60    191.50
3470.74/868.95	c  N dy  9333   1391011     33972    145384         0     94995    441840  11425835    170.63    210.61
3525.44/882.61	c  N dy  9475   1411061     33972    145384         0     60049    441840   1863171    170.63    181.93
3575.39/895.18	c  N dy  9610   1431090     33972    145384         0     80078    441840   7147816    170.65    243.00
3629.70/908.74	c  N dy  9753   1451168     33972    145384         0    100153    441840  12447803    170.68    183.87
3683.63/922.28	c  N dy  9897   1471265     33972    145384         0     64244    441840   2736438    170.69    183.77
3735.15/935.12	c  N dy 10036   1491354     33972    145384         0     84332    441840   7951340    170.69    182.75
3790.29/948.95	c  N dy 10177   1511427     33972    145384         0    104405    441840  13289325    170.74    180.94
3844.23/962.41	c  N dy 10318   1531492     33972    145384         0     67474    441840   3299707    170.77    208.89
3895.74/975.34	c  N dy 10456   1551586     33972    145384         0     87568    441840   8540746    170.78    210.94
3950.86/989.17	c  N dy 10595   1571682     33972    145384         0    107662    441840  13909256    170.80    179.85
4003.18/1002.20	c  N dy 10725   1591704     33972    145384         0     69681    441840   3670653    170.80    186.19
4054.72/1015.16	c  N dy 10859   1611788     33972    145384         0     89764    441840   8947526    170.82    187.28
4109.44/1028.89	c  N dy 10992   1631848     33972    145384         0    109822    441840  14121754    170.80    180.80
4162.96/1042.26	c  N dy 11129   1651917     33972    145384         0     70894    441840   3705341    170.82    184.37
4215.29/1055.33	c  N dy 11267   1671977     33972    145384         0     90954    441840   8983909    170.84    182.12
4271.20/1069.30	c  N dy 11401   1692058     33972    145384         0    111033    441840  14246747    170.85    180.43
4320.34/1081.62	c  S st 11521   1710406     33972    145384         0     69387    441840   3045244    170.84   no data
4321.54/1081.95	c  S st 11521   1710910     33972    145384         0     69891    441840   3147489    170.84   no data
4321.54/1081.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4322.73/1082.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.23
4322.73/1082.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4322.73/1082.26	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4322.73/1082.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4322.73/1082.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33972 time:  0.01 s
4323.15/1082.30	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
4323.55/1082.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
4324.33/1082.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4332.34/1084.65	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.93 s
4332.34/1084.67	c vivif2 --  cl tried   145384 cl shrink        0 lits rem          0 time: 0.02
4332.72/1084.74	c vivif2 --  cl tried    69889 cl shrink        0 lits rem          0 time: 0.06
4333.92/1085.00	c asymm  cl-useful: 0/145384/145384 lits-rem:0 time: 0.26
4333.92/1085.01	c calculated reachability. Time: 0.00
4333.92/1085.01	c  N dy 11521   1710910     33972    145384         0     69889    441840   3146265    170.84   no data
4386.25/1098.11	c  N dy 11656   1731068     33972    145384         0     90046    441840   8420438    170.84    183.60
4442.19/1112.18	c  N dy 11794   1751213     33972    145384         0    110190    441840  13694696    170.86    186.18
4498.08/1126.13	c  N dy 11942   1771433     33972    145384         0     69415    441840   2844733    170.90    182.16
4550.82/1139.31	c  N dy 12088   1791473     33972    145384         0     89454    441840   8152177    170.94    192.21
4606.33/1153.23	c  N dy 12218   1811541     33972    145384         0    109520    441840  13393987    170.93    186.74
4663.85/1167.61	c  N dy 12358   1831878     33972    145384         0     67854    441840   2191807    170.96    182.27
4716.58/1180.85	c  N dy 12498   1852003     33972    145384         0     87977    441840   7447534    170.97    181.06
4772.50/1194.83	c  N dy 12633   1872110     33972    145384         0    108084    441840  12784308    170.99    183.65

Verifier Data

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

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3173701-1304030004/watcher-3173701-1304030004 -o /tmp/evaluation-result-3173701-1304030004/solver-3173701-1304030004 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173701-1304030004.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.76 7.85 6.02 5/180 17113
/proc/meminfo: memFree=21993888/32950928 swapFree=67087032/67111528
[pid=17113] ppid=17111 vsize=51212 CPUtime=0.01 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16886 0 -1 4202496 407 0 0 0 1 0 0 0 25 0 4 0 514597503 52441088 347 33554432000 4194304 4627427 140733855947888 18446744073709551615 47015103575986 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 12803 347 299 106 0 7774 0
[pid=17113/tid=17114] ppid=17111 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514597503 52441088 347 33554432000 4194304 4627427 140733855947888 18446744073709551615 239476751345 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514597503 52441088 347 33554432000 4194304 4627427 140733855947888 18446744073709551615 47015103575986 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 514597503 52441088 347 33554432000 4194304 4627427 140733855947888 18446744073709551615 47015103575986 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.019847 s]
/proc/loadavg: 7.76 7.85 6.02 5/180 17113
/proc/meminfo: memFree=21993888/32950928 swapFree=67087032/67111528
[pid=17113] ppid=17111 vsize=301380 CPUtime=0.06 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16886 0 -1 4202496 10154 0 0 0 4 2 0 0 25 0 4 0 514597503 308613120 8048 33554432000 4194304 4627427 140733855947888 18446744073709551615 4314206 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 75345 8072 339 106 0 70316 0
[pid=17113/tid=17114] ppid=17111 vsize=301380 CPUtime=0 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 2459 0 0 0 0 0 0 0 25 0 4 0 514597503 308613120 8082 33554432000 4194304 4627427 140733855947888 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=301380 CPUtime=0 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 2453 0 0 0 0 0 0 0 25 0 4 0 514597503 308613120 8096 33554432000 4194304 4627427 140733855947888 18446744073709551615 4316560 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=301380 CPUtime=0.01 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 2389 0 0 0 1 0 0 0 25 0 4 0 514597503 308613120 8109 33554432000 4194304 4627427 140733855947888 18446744073709551615 4313601 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 301380

[startup+0.113069 s]
/proc/loadavg: 7.76 7.85 6.02 5/180 17113
/proc/meminfo: memFree=21993888/32950928 swapFree=67087032/67111528
[pid=17113] ppid=17111 vsize=321316 CPUtime=0.41 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) D 17111 17113 16886 0 -1 4202496 23753 0 0 0 36 5 0 0 25 0 4 0 514597503 329027584 19517 33554432000 4194304 4627427 140733855947888 18446744073709551615 239476738231 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 80329 19517 339 106 0 75300 0
[pid=17113/tid=17114] ppid=17111 vsize=321316 CPUtime=0.09 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 5826 0 0 0 8 1 0 0 18 0 4 0 514597503 329027584 19517 33554432000 4194304 4627427 140733855947888 18446744073709551615 239476356129 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=321316 CPUtime=0.09 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) D 17111 17113 16886 0 -1 4202560 5827 0 0 0 8 1 0 0 18 0 4 0 514597503 329027584 19517 33554432000 4194304 4627427 140733855947888 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=321316 CPUtime=0.1 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) D 17111 17113 16886 0 -1 4202560 5859 0 0 0 9 1 0 0 18 0 4 0 514597503 329027584 19517 33554432000 4194304 4627427 140733855947888 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 321316

[startup+0.300796 s]
/proc/loadavg: 7.76 7.85 6.02 5/180 17113
/proc/meminfo: memFree=21993888/32950928 swapFree=67087032/67111528
[pid=17113] ppid=17111 vsize=324276 CPUtime=1.17 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16886 0 -1 4202496 26887 0 0 0 111 6 0 0 25 0 4 0 514597503 332058624 22651 33554432000 4194304 4627427 140733855947888 18446744073709551615 4238983 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 81069 22651 366 106 0 76040 0
[pid=17113/tid=17114] ppid=17111 vsize=324276 CPUtime=0.28 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 6594 0 0 0 27 1 0 0 18 0 4 0 514597503 332058624 22651 33554432000 4194304 4627427 140733855947888 18446744073709551615 4239019 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=324276 CPUtime=0.28 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 6595 0 0 0 27 1 0 0 18 0 4 0 514597503 332058624 22651 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308755 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=324276 CPUtime=0.28 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 6684 0 0 0 27 1 0 0 18 0 4 0 514597503 332058624 22651 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 324276

[startup+0.700719 s]
/proc/loadavg: 7.76 7.85 6.02 5/180 17113
/proc/meminfo: memFree=21993888/32950928 swapFree=67087032/67111528
[pid=17113] ppid=17111 vsize=344352 CPUtime=2.76 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16886 0 -1 4202496 49910 0 0 0 265 11 0 0 18 0 4 0 514597503 352616448 36227 33554432000 4194304 4627427 140733855947888 18446744073709551615 239476359717 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 86088 36227 381 106 0 81059 0
[pid=17113/tid=17114] ppid=17111 vsize=344352 CPUtime=0.68 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 14188 0 0 0 65 3 0 0 18 0 4 0 514597503 352616448 36227 33554432000 4194304 4627427 140733855947888 18446744073709551615 4412478 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=344352 CPUtime=0.68 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 14192 0 0 0 65 3 0 0 18 0 4 0 514597503 352616448 36227 33554432000 4194304 4627427 140733855947888 18446744073709551615 4412900 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=344352 CPUtime=0.68 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 6912 0 0 0 67 1 0 0 18 0 4 0 514597503 352616448 36227 33554432000 4194304 4627427 140733855947888 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 344352

[startup+1.50057 s]
/proc/loadavg: 7.76 7.85 6.02 10/184 17117
/proc/meminfo: memFree=21842328/32950928 swapFree=67087032/67111528
[pid=17113] ppid=17111 vsize=344352 CPUtime=5.95 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16886 0 -1 4202496 53810 0 0 0 583 12 0 0 19 0 4 0 514597503 352616448 38161 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 86088 38161 385 106 0 81059 0
[pid=17113/tid=17114] ppid=17111 vsize=344352 CPUtime=1.48 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 15287 0 0 0 145 3 0 0 19 0 4 0 514597503 352616448 38161 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=344352 CPUtime=1.48 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 15341 0 0 0 145 3 0 0 19 0 4 0 514597503 352616448 38161 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=344352 CPUtime=1.48 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 7412 0 0 0 147 1 0 0 20 0 4 0 514597503 352616448 38161 33554432000 4194304 4627427 140733855947888 18446744073709551615 4321488 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 344352

[startup+3.10026 s]
/proc/loadavg: 7.78 7.86 6.03 9/184 17117
/proc/meminfo: memFree=21850008/32950928 swapFree=67087032/67111528
[pid=17113] ppid=17111 vsize=477256 CPUtime=12.34 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16886 0 -1 4202496 57884 0 0 0 1222 12 0 0 22 0 4 0 514597503 488710144 42235 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 119314 42235 385 106 0 114285 0
[pid=17113/tid=17114] ppid=17111 vsize=477256 CPUtime=3.07 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 16289 0 0 0 304 3 0 0 23 0 4 0 514597503 488710144 42235 33554432000 4194304 4627427 140733855947888 18446744073709551615 4310406 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=477256 CPUtime=3.08 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 16244 0 0 0 305 3 0 0 22 0 4 0 514597503 488710144 42235 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=477256 CPUtime=3.08 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 8675 0 0 0 307 1 0 0 25 0 4 0 514597503 488710144 42235 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 477256

[startup+6.30065 s]
/proc/loadavg: 7.78 7.86 6.03 9/184 17117
/proc/meminfo: memFree=21814444/32950928 swapFree=67087032/67111528
[pid=17113] ppid=17111 vsize=477400 CPUtime=25.13 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16886 0 -1 4202496 64701 0 0 0 2498 15 0 0 25 0 4 0 514597503 488857600 49052 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 119350 49052 385 106 0 114321 0
[pid=17113/tid=17114] ppid=17111 vsize=477400 CPUtime=6.25 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 18006 0 0 0 621 4 0 0 25 0 4 0 514597503 488857600 49052 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=477400 CPUtime=6.28 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 17966 0 0 0 624 4 0 0 25 0 4 0 514597503 488857600 49052 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308588 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=477400 CPUtime=6.29 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 10398 0 0 0 627 2 0 0 25 0 4 0 514597503 488857600 49052 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 477400

[startup+12.7004 s]
/proc/loadavg: 7.81 7.86 6.05 8/184 17149
/proc/meminfo: memFree=22406724/32950928 swapFree=67087032/67111528
[pid=17113] ppid=17111 vsize=376888 CPUtime=50.68 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16886 0 -1 4202496 84984 0 0 0 5048 20 0 0 25 0 4 0 514597503 385933312 45187 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308588 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 94222 45187 387 106 0 89193 0
[pid=17113/tid=17114] ppid=17111 vsize=376888 CPUtime=12.61 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 23009 0 0 0 1256 5 0 0 25 0 4 0 514597503 385933312 45187 33554432000 4194304 4627427 140733855947888 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=376888 CPUtime=12.68 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 23055 0 0 0 1262 6 0 0 25 0 4 0 514597503 385933312 45187 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=376888 CPUtime=12.68 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 15504 0 0 0 1265 3 0 0 25 0 4 0 514597503 385933312 45187 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 376888

[startup+25.501 s]
/proc/loadavg: 7.84 7.86 6.07 9/184 17149
/proc/meminfo: memFree=22052148/32950928 swapFree=67087032/67111528
[pid=17113] ppid=17111 vsize=607620 CPUtime=101.81 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16886 0 -1 4202496 182463 0 0 0 10136 45 0 0 25 0 4 0 514597503 622202880 105527 33554432000 4194304 4627427 140733855947888 18446744073709551615 4299638 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 151905 105527 390 106 0 146876 0
[pid=17113/tid=17114] ppid=17111 vsize=607620 CPUtime=25.34 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 58592 0 0 0 2519 15 0 0 25 0 4 0 514597503 622202880 105527 33554432000 4194304 4627427 140733855947888 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=607620 CPUtime=25.48 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 40129 0 0 0 2538 10 0 0 25 0 4 0 514597503 622202880 105527 33554432000 4194304 4627427 140733855947888 18446744073709551615 4332626 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=607620 CPUtime=25.49 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 30741 0 0 0 2542 7 0 0 25 0 4 0 514597503 622202880 105527 33554432000 4194304 4627427 140733855947888 18446744073709551615 4467719 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 607620

[startup+51.1011 s]
/proc/loadavg: 8.02 7.91 6.13 9/184 17150
/proc/meminfo: memFree=21608176/32950928 swapFree=67087032/67111528
[pid=17113] ppid=17111 vsize=810896 CPUtime=204.06 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16886 0 -1 4202496 261116 0 0 0 20339 67 0 0 25 0 4 0 514597503 830357504 138858 33554432000 4194304 4627427 140733855947888 18446744073709551615 4352192 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 202724 138858 390 106 0 197695 0
[pid=17113/tid=17114] ppid=17111 vsize=810896 CPUtime=50.8 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 75567 0 0 0 5061 19 0 0 25 0 4 0 514597503 830357504 138858 33554432000 4194304 4627427 140733855947888 18446744073709551615 4302476 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=810896 CPUtime=51.08 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 61153 0 0 0 5092 16 0 0 25 0 4 0 514597503 830357504 138858 33554432000 4194304 4627427 140733855947888 18446744073709551615 4519446 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=810896 CPUtime=51.08 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 49541 0 0 0 5096 12 0 0 25 0 4 0 514597503 830357504 138858 33554432000 4194304 4627427 140733855947888 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 810896

[startup+102.306 s]
/proc/loadavg: 8.01 7.92 6.24 9/184 17151
/proc/meminfo: memFree=21171028/32950928 swapFree=67087032/67111528
[pid=17113] ppid=17111 vsize=1023420 CPUtime=408.6 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16886 0 -1 4202496 378191 0 0 0 40756 104 0 0 25 0 4 0 514597503 1047982080 187139 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308654 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 255855 187139 390 106 0 250826 0
[pid=17113/tid=17114] ppid=17111 vsize=1023420 CPUtime=101.73 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 101248 0 0 0 10144 29 0 0 25 0 4 0 514597503 1047982080 187139 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=1023420 CPUtime=102.28 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 85478 0 0 0 10203 25 0 0 25 0 4 0 514597503 1047982080 187139 33554432000 4194304 4627427 140733855947888 18446744073709551615 4330046 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=1023420 CPUtime=102.28 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 70987 0 0 0 10209 19 0 0 25 0 4 0 514597503 1047982080 187139 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 1023420

[startup+162.301 s]

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

[pid=17113] ppid=17111 vsize=1542420 CPUtime=2805.26 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16886 0 -1 4202496 1358916 0 0 0 280068 458 0 0 25 0 4 0 514597503 1579438080 312981 33554432000 4194304 4627427 140733855947888 18446744073709551615 4332873 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 385605 312981 390 106 0 380576 0
[pid=17113/tid=17114] ppid=17111 vsize=1542420 CPUtime=699.46 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 348191 0 0 0 69829 117 0 0 25 0 4 0 514597503 1579438080 312981 33554432000 4194304 4627427 140733855947888 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=1542420 CPUtime=702.27 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 342979 0 0 0 70113 114 0 0 25 0 4 0 514597503 1579438080 312981 33554432000 4194304 4627427 140733855947888 18446744073709551615 4326315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=1542420 CPUtime=701.25 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 308347 0 0 0 70025 100 0 0 25 0 4 0 514597503 1579438080 312981 33554432000 4194304 4627427 140733855947888 18446744073709551615 4327897 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.26
Current children cumulated vsize (KiB) 1542420

[startup+762.307 s]
/proc/loadavg: 8.00 8.02 7.14 9/184 17169
/proc/meminfo: memFree=19953908/32950928 swapFree=67087032/67111528
[pid=17113] ppid=17111 vsize=1543212 CPUtime=3044.94 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16886 0 -1 4202496 1446108 0 0 0 304001 493 0 0 25 0 4 0 514597503 1580249088 324435 33554432000 4194304 4627427 140733855947888 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 385803 324435 390 106 0 380774 0
[pid=17113/tid=17114] ppid=17111 vsize=1543212 CPUtime=759.46 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 375446 0 0 0 75819 127 0 0 25 0 4 0 514597503 1580249088 324435 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=1543212 CPUtime=762.27 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 366445 0 0 0 76105 122 0 0 25 0 4 0 514597503 1580249088 324435 33554432000 4194304 4627427 140733855947888 18446744073709551615 4305855 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=1543212 CPUtime=760.93 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 325888 0 0 0 75985 108 0 0 25 0 4 0 514597503 1580249088 324435 33554432000 4194304 4627427 140733855947888 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.94
Current children cumulated vsize (KiB) 1543212

[startup+822.301 s]
/proc/loadavg: 8.07 8.03 7.20 9/184 17170
/proc/meminfo: memFree=19956496/32950928 swapFree=67087032/67111528
[pid=17113] ppid=17111 vsize=1609780 CPUtime=3284.59 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16886 0 -1 4202496 1540423 0 0 0 327931 528 0 0 25 0 4 0 514597503 1648414720 328143 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308584 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 402445 328143 390 106 0 397416 0
[pid=17113/tid=17114] ppid=17111 vsize=1609780 CPUtime=819.46 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 398989 0 0 0 81811 135 0 0 25 0 4 0 514597503 1648414720 328143 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=1609780 CPUtime=822.26 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 393216 0 0 0 82095 131 0 0 25 0 4 0 514597503 1648414720 328143 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=1609780 CPUtime=820.6 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 346511 0 0 0 81942 118 0 0 25 0 4 0 514597503 1648414720 328143 33554432000 4194304 4627427 140733855947888 18446744073709551615 4306360 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.59
Current children cumulated vsize (KiB) 1609780

[startup+882.301 s]
/proc/loadavg: 8.09 8.04 7.25 9/184 17172
/proc/meminfo: memFree=19963312/32950928 swapFree=67087032/67111528
[pid=17113] ppid=17111 vsize=1579688 CPUtime=3524.25 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16886 0 -1 4202496 1633390 0 0 0 351863 562 0 0 25 0 4 0 514597503 1617600512 315651 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308265 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 394922 315651 390 106 0 389893 0
[pid=17113/tid=17114] ppid=17111 vsize=1579688 CPUtime=879.45 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 425811 0 0 0 87799 146 0 0 25 0 4 0 514597503 1617600512 315651 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308632 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=1579688 CPUtime=882.26 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 412743 0 0 0 88088 138 0 0 25 0 4 0 514597503 1617600512 315651 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=1579688 CPUtime=880.26 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 369205 0 0 0 87900 126 0 0 25 0 4 0 514597503 1617600512 315651 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.25
Current children cumulated vsize (KiB) 1579688

[startup+942.301 s]
/proc/loadavg: 8.10 8.05 7.29 9/184 17173
/proc/meminfo: memFree=19868808/32950928 swapFree=67087032/67111528
[pid=17113] ppid=17111 vsize=1611344 CPUtime=3763.93 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16886 0 -1 4202496 1734063 0 0 0 375793 600 0 0 25 0 4 0 514597503 1650016256 349956 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308584 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 402836 349956 390 106 0 397807 0
[pid=17113/tid=17114] ppid=17111 vsize=1611344 CPUtime=939.45 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 451039 0 0 0 93791 154 0 0 25 0 4 0 514597503 1650016256 349956 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=1611344 CPUtime=942.26 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 439593 0 0 0 94076 150 0 0 25 0 4 0 514597503 1650016256 349956 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=1611344 CPUtime=939.94 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 393767 0 0 0 93859 135 0 0 25 0 4 0 514597503 1650016256 349956 33554432000 4194304 4627427 140733855947888 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.93
Current children cumulated vsize (KiB) 1611344

[startup+1002.3 s]
/proc/loadavg: 8.16 8.07 7.35 9/184 17175
/proc/meminfo: memFree=19869276/32950928 swapFree=67087032/67111528
[pid=17113] ppid=17111 vsize=1675644 CPUtime=4003.58 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16886 0 -1 4202496 1819863 0 0 0 399725 633 0 0 25 0 4 0 514597503 1715859456 326148 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308265 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 418911 326148 390 106 0 413882 0
[pid=17113/tid=17114] ppid=17111 vsize=1675644 CPUtime=999.45 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 473908 0 0 0 99783 162 0 0 25 0 4 0 514597503 1715859456 326148 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=1675644 CPUtime=1002.26 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 461131 0 0 0 100066 160 0 0 25 0 4 0 514597503 1715859456 326148 33554432000 4194304 4627427 140733855947888 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=1675644 CPUtime=999.62 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 412473 0 0 0 99820 142 0 0 25 0 4 0 514597503 1715859456 326148 33554432000 4194304 4627427 140733855947888 18446744073709551615 4322195 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.58
Current children cumulated vsize (KiB) 1675644

[startup+1062.3 s]
/proc/loadavg: 8.14 8.07 7.39 9/184 17177
/proc/meminfo: memFree=19735952/32950928 swapFree=67087032/67111528
[pid=17113] ppid=17111 vsize=1612956 CPUtime=4243.24 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16886 0 -1 4202496 1913119 0 0 0 423657 667 0 0 25 0 4 0 514597503 1651666944 349050 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 403239 349050 390 106 0 398210 0
[pid=17113/tid=17114] ppid=17111 vsize=1612956 CPUtime=1059.45 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 498656 0 0 0 105773 172 0 0 25 0 4 0 514597503 1651666944 349050 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=1612956 CPUtime=1062.26 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 484379 0 0 0 106057 169 0 0 25 0 4 0 514597503 1651666944 349050 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=1612956 CPUtime=1059.28 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 432774 0 0 0 105779 149 0 0 25 0 4 0 514597503 1651666944 349050 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.24
Current children cumulated vsize (KiB) 1612956

[startup+1122.3 s]
/proc/loadavg: 8.09 8.07 7.43 9/184 17178
/proc/meminfo: memFree=19733812/32950928 swapFree=67087032/67111528
[pid=17113] ppid=17111 vsize=1550564 CPUtime=4482.9 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16886 0 -1 4202496 1997581 0 0 0 447587 703 0 0 25 0 4 0 514597503 1587777536 322230 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 387641 322230 390 106 0 382612 0
[pid=17113/tid=17114] ppid=17111 vsize=1550564 CPUtime=1119.45 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 519286 0 0 0 111765 180 0 0 25 0 4 0 514597503 1587777536 322230 33554432000 4194304 4627427 140733855947888 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=1550564 CPUtime=1122.26 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 509030 0 0 0 112046 180 0 0 25 0 4 0 514597503 1587777536 322230 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=1550564 CPUtime=1118.95 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 449462 0 0 0 111738 157 0 0 25 0 4 0 514597503 1587777536 322230 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.9
Current children cumulated vsize (KiB) 1550564

[startup+1182.3 s]
/proc/loadavg: 8.09 8.07 7.47 9/184 17180
/proc/meminfo: memFree=19657280/32950928 swapFree=67087032/67111528
[pid=17113] ppid=17111 vsize=1810224 CPUtime=4722.58 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16886 0 -1 4202496 2106045 0 0 0 471516 742 0 0 25 0 4 0 514597503 1853669376 374728 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 452556 374728 390 106 0 447527 0
[pid=17113/tid=17114] ppid=17111 vsize=1810224 CPUtime=1179.44 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 543639 0 0 0 117756 188 0 0 25 0 4 0 514597503 1853669376 374728 33554432000 4194304 4627427 140733855947888 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=1810224 CPUtime=1182.25 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 549610 0 0 0 118031 194 0 0 25 0 4 0 514597503 1853669376 374728 33554432000 4194304 4627427 140733855947888 18446744073709551615 4427416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=1810224 CPUtime=1178.63 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 469836 0 0 0 117698 165 0 0 25 0 4 0 514597503 1853669376 374728 33554432000 4194304 4627427 140733855947888 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.58
Current children cumulated vsize (KiB) 1810224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.06 8.06 7.48 9/184 17180
/proc/meminfo: memFree=19584860/32950928 swapFree=67087032/67111528
[pid=17113] ppid=17111 vsize=1746588 CPUtime=4800.08 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16886 0 -1 4202496 2134743 0 0 0 479254 754 0 0 25 0 4 0 514597503 1788506112 374072 33554432000 4194304 4627427 140733855947888 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 436647 374072 390 106 0 431618 0
[pid=17113/tid=17114] ppid=17111 vsize=1746588 CPUtime=1198.85 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 550750 0 0 0 119694 191 0 0 25 0 4 0 514597503 1788506112 374072 33554432000 4194304 4627427 140733855947888 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=1746588 CPUtime=1201.66 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 558331 0 0 0 119969 197 0 0 25 0 4 0 514597503 1788506112 374072 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=1746588 CPUtime=1197.92 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 475505 0 0 0 119624 168 0 0 25 0 4 0 514597503 1788506112 374072 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 1746588

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

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

[startup+1201.7 s]
/proc/loadavg: 8.06 8.06 7.48 9/184 17180
/proc/meminfo: memFree=19584860/32950928 swapFree=67087032/67111528
[pid=17113] ppid=17111 vsize=1746588 CPUtime=4800.08 cores=1,3,5,7
/proc/17113/stat : 17113 (strangenight2-m) R 17111 17113 16886 0 -1 4202496 2134743 0 0 0 479254 754 0 0 25 0 4 0 514597503 1788506112 374072 33554432000 4194304 4627427 140733855947888 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17113/statm: 436647 374072 390 106 0 431618 0
[pid=17113/tid=17114] ppid=17111 vsize=1746588 CPUtime=1198.85 cores=1,3,5,7
/proc/17113/task/17114/stat : 17114 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 550750 0 0 0 119694 191 0 0 25 0 4 0 514597503 1788506112 374072 33554432000 4194304 4627427 140733855947888 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17113/tid=17115] ppid=17111 vsize=1746588 CPUtime=1201.66 cores=1,3,5,7
/proc/17113/task/17115/stat : 17115 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 558331 0 0 0 119969 197 0 0 25 0 4 0 514597503 1788506112 374072 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17113/tid=17116] ppid=17111 vsize=1746588 CPUtime=1197.92 cores=1,3,5,7
/proc/17113/task/17116/stat : 17116 (strangenight2-m) R 17111 17113 16886 0 -1 4202560 475505 0 0 0 119624 168 0 0 25 0 4 0 514597503 1788506112 374072 33554432000 4194304 4627427 140733855947888 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 1746588

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.78
CPU time (s): 4800.18
CPU user time (s): 4792.57
CPU system time (s): 7.61484
CPU usage (%): 399.422
Max. virtual memory (cumulated for all children) (KiB): 1810224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.57
system time used= 7.61484
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2134749
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= 2972
involuntary context switches= 30931

runsolver used 1.9437 second user time and 4.6293 second system time

The end

Launcher Data

Begin job on node148 at 2011-04-29 00:33:24
IDJOB=3173701
IDBENCH=82519
IDSOLVER=1586
FILE ID=node148/3173701-1304030004
RUNJOBID= node148-1304028687-16905
PBS_JOBID= 13170304
Free space on /tmp= 71424 MiB

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

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

MD5SUM BENCH= 07407a86c8d0f1e46c34022f68908549
RANDOM SEED=1749767403

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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:     32950928 kB
MemFree:      21994168 kB
Buffers:       2006192 kB
Cached:        7608244 kB
SwapCached:       3548 kB
Active:        2341088 kB
Inactive:      8053292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21994168 kB
SwapTotal:    67111528 kB
SwapFree:     67087032 kB
Dirty:            8500 kB
Writeback:           0 kB
AnonPages:      778312 kB
Mapped:          14472 kB
Slab:           497868 kB
PageTables:       6116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1168960 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= 71416 MiB
End job on node148 at 2011-04-29 00:53:28