Trace number 3173792

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.37 1201.99

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v35000-c147000-S970100151-015-UNKNOWN.cnf
MD5SUM1ba3e47e885ea3862e5726ce64a96a9c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark136.94
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-3173792-1304031210.cnf'
0.00/0.00	c -- header says num vars:          35000
0.00/0.00	c -- header says num clauses:      147000
0.35/0.18	c -- clauses added:            0 learnts,       147000 normals,            0 xors
0.35/0.18	c -- vars added      35000
0.35/0.18	c Parsing time:  0.10 s
0.35/0.19	c  N st     0         0     35000    147000         0         0    441000         0   no data   no data
0.35/0.42	c asymm  cl-useful: 0/147000/147000 lits-rem:0 time: 0.13
0.35/0.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.08
1.54/0.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.54/0.54	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.54/0.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.54/0.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  35000 time:  0.01 s
1.54/0.56	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
4.02/1.07	c lits-rem:         0  cl-subs:        0  v-elim:    891  v-fix:    0  time:  0.25 s
4.02/1.07	c Finding binary XORs  T:     0.01 s  found:       0
4.02/1.07	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
4.02/1.07	c calculated reachability. Time: 0.00
4.02/1.07	c Calc default polars -  time:   0.01 s pos:   15557 undec:    3850 neg:   15593
4.02/1.07	c =========================================================================================
4.02/1.07	c types(t): F = full restart, N = normal restart
4.02/1.07	c types(t): S = simplification begin/end, E = solution found
4.02/1.07	c restart types(rt): st = static, dy = dynamic
4.02/1.07	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.02/1.07	c  B st     0         0     34109    146031         0         0    443521         0   no data   no data
10.69/2.77	c  N dy    19      4077     34109    146031         0      4076    443521   1165083    167.29    180.45
18.68/4.72	c  N dy    45      8260     34109    146031         0      8259    443521   2203601    164.15    179.36
26.26/6.68	c  N dy    74     12322     34109    146031         0     12321    443521   3219836    164.24    191.06
34.65/8.71	c  N dy   102     16438     34109    146031         0     16437    443521   4231066    163.52    177.29
42.64/10.75	c  N dy   129     20497     34109    146031         0     10497    443521    759227    164.20    173.93
50.64/12.74	c  N dy   157     24621     34109    146031         0     14621    443521   1799563    164.92    173.84
51.42/12.91	c  F st   160     25000     34109    146031         0     15000    443521   1896182    164.78   no data
61.82/15.53	c  N dy   166     30001     34109    146031         0     20001    443521   3577785    164.78   no data
61.82/15.53	c  S st   166     30001     34109    146031         0     20001    443521   3577785    164.78   no data
62.61/15.78	c  S st   166     30503     34109    146031         0     20503    443521   3668966    164.78   no data
63.01/15.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
63.41/15.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
63.82/16.04	c blocked clauses removed:      539 vars:     84 tried:       34109 T: 0.02 s
63.82/16.05	c bin-w-bin subsume rem            0 bins  time:  0.01 s
63.82/16.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
63.82/16.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34025 time:  0.01 s
63.82/16.08	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
64.61/16.28	c lits-rem:         0  cl-subs:        0  v-elim:     22  v-fix:    0  time:  0.19 s
66.21/16.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
69.80/17.51	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.84 s
70.20/17.69	c asymm  cl-useful: 0/145472/145472 lits-rem:0 time: 0.17
70.60/17.70	c calculated reachability. Time: 0.00
70.60/17.70	c  N dy   166     30503     34003    145472         0     19962    442007   3310497    164.78   no data
78.99/19.83	c  N dy   194     34609     34003    145472         0     24068    442007   4370930    165.87    180.66
87.78/22.07	c  N dy   222     38760     34003    145472         0     28219    442007   5417885    166.03    176.92
96.56/24.27	c  N dy   251     42936     34003    145472         0     17166    442007   1235632    166.11    176.71
102.15/25.70	c  S st   271     45755     34003    145472         0     19985    442007   1936809    165.93    162.36
103.37/25.95	c  S st   271     46258     34003    145472         0     20488    442007   2047484    165.93   no data
103.37/25.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
104.15/26.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
104.15/26.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
104.55/26.20	c bin-w-bin subsume rem            0 bins  time:  0.01 s
104.55/26.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
104.55/26.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34003 time:  0.01 s
104.55/26.24	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
104.94/26.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
105.75/26.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
106.94/26.87	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.30 s
107.34/26.90	c vivif2 --  cl tried   145472 cl shrink        0 lits rem          0 time: 0.02
107.34/26.94	c vivif2 --  cl tried    20487 cl shrink        0 lits rem          0 time: 0.04
108.16/27.11	c asymm  cl-useful: 0/145472/145472 lits-rem:0 time: 0.18
108.16/27.12	c calculated reachability. Time: 0.00
108.16/27.12	c  N dy   271     46258     34003    145472         0     20487    442007   2046371    165.93   no data
116.55/29.23	c  N dy   303     50312     34003    145472         0     24540    442007   3095755    166.28    182.69
125.33/31.41	c  N dy   332     54469     34003    145472         0     28697    442007   4169790    166.74    178.35
133.70/33.55	c  N dy   354     58552     34003    145472         0     32780    442007   5202202    166.28    182.98
142.90/35.82	c  N dy   384     62744     34003    145472         0     36972    442007   6308050    166.62    177.86
151.28/37.97	c  N dy   414     66853     34003    145472         0     22468    442007   1744719    166.75    177.34
156.87/39.30	c  S st   431     69388     34003    145472         0     25003    442007   2375078    166.81    163.39
157.67/39.55	c  S st   431     69893     34003    145472         0     25508    442007   2473139    166.81   no data
157.67/39.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
158.47/39.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.19
158.87/39.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
158.87/39.81	c bin-w-bin subsume rem            0 bins  time:  0.01 s
158.87/39.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
158.87/39.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34003 time:  0.01 s
158.87/39.85	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
159.67/40.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
160.07/40.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
162.06/40.64	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.43 s
162.06/40.66	c vivif2 --  cl tried   145472 cl shrink        0 lits rem          0 time: 0.02
162.46/40.71	c vivif2 --  cl tried    25507 cl shrink        0 lits rem          0 time: 0.05
162.86/40.89	c asymm  cl-useful: 0/145472/145472 lits-rem:0 time: 0.18
163.26/40.90	c calculated reachability. Time: 0.00
163.26/40.90	c  N dy   431     69893     34003    145472         0     25507    442007   2472947    166.81   no data
172.45/43.28	c  N dy   461     74408     34003    145472         0     30021    442007   3640772    167.03    177.64
183.23/45.95	c  N dy   497     79329     34003    145472         0     34942    442007   4931181    167.34    176.18
194.42/48.74	c  N dy   532     84470     34003    145472         0     40082    442007   6236831    167.30    178.51
201.21/50.40	c  F st   557     87500     34003    145472         0     22307    442007   1086704    167.36   no data
208.40/52.29	c  N st   562     90794     34003    145472         0     25601    442007   2331454    167.36   no data
222.40/55.71	c  N dy   590     96677     34003    145472         0     31483    442007   4422512    167.33    179.06
235.95/59.17	c  N dy   635    102889     34003    145472         0     37695    442007   6064292    167.76    178.17
240.35/60.23	c  S st   650    104840     34003    145472         0     39646    442007   6551013    167.74   no data
241.55/60.52	c  S st   650    105343     34003    145472         0     40149    442007   6650307    167.74   no data
241.55/60.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
242.35/60.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
242.35/60.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
242.75/60.81	c bin-w-bin subsume rem            0 bins  time:  0.01 s
242.75/60.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
242.75/60.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34003 time:  0.01 s
242.75/60.85	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
243.55/61.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
245.54/61.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
252.75/63.30	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  1.76 s
252.75/63.33	c vivif2 --  cl tried   145472 cl shrink        0 lits rem          0 time: 0.02
253.15/63.45	c vivif2 --  cl tried    40145 cl shrink        0 lits rem          0 time: 0.12
253.92/63.66	c asymm  cl-useful: 0/145472/145472 lits-rem:0 time: 0.21
253.92/63.67	c calculated reachability. Time: 0.00
253.92/63.67	c  N dy   650    105343     34003    145472         0     40145    442007   6646812    167.74   no data
269.51/67.54	c  N dy   695    112383     34003    145472         0     24778    442007   1283347    167.55    183.52
285.08/71.46	c  N dy   743    119719     34003    145472         0     32114    442007   3177290    167.57    178.09
301.85/75.68	c  N dy   795    127548     34003    145472         0     39943    442007   5148277    167.44    176.40
320.64/80.36	c  N dy   854    135718     34003    145472         0     24413    442007    823966    167.63    178.96
339.41/85.04	c  N dy   912    144503     34003    145472         0     33197    442007   3092370    167.64    182.52
360.19/90.20	c  N dy   977    153752     34003    145472         0     42446    442007   5518626    167.81    177.79
369.77/92.62	c  S st  1005    158014     34003    145472         0     46708    442007   6606929    167.74    150.32
370.97/92.91	c  S st  1005    158517     34003    145472         0     47211    442007   6703320    167.74   no data
370.97/92.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
371.78/93.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
371.78/93.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
372.16/93.20	c bin-w-bin subsume rem            0 bins  time:  0.01 s
372.16/93.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
372.16/93.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34003 time:  0.01 s
372.16/93.24	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
372.97/93.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
374.57/93.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
384.16/96.25	c lits-rem:         2  cl-subs:        8  v-elim:      0  v-fix:    0  time:  2.35 s
384.16/96.27	c vivif2 --  cl tried   145472 cl shrink        0 lits rem          0 time: 0.02
384.57/96.40	c vivif2 --  cl tried    47203 cl shrink        0 lits rem          0 time: 0.12
385.75/96.62	c asymm  cl-useful: 0/145472/145472 lits-rem:0 time: 0.22
385.75/96.63	c calculated reachability. Time: 0.00
385.75/96.63	c  N dy  1005    158517     34003    145472         0     47203    442007   6700696    167.74   no data
408.52/102.32	c  N dy  1080    168669     34003    145472         0     32505    442007   2627020    168.02    182.54
432.48/108.32	c  N dy  1155    179568     34003    145472         0     43403    442007   5431689    168.03    179.20
458.85/114.91	c  N dy  1238    191051     34003    145472         0     28969    442007   1369728    168.39    178.86
485.63/121.63	c  N dy  1324    203272     34003    145472         0     41190    442007   4503006    168.47    184.96
515.57/129.17	c  N dy  1414    216368     34003    145472         0     27323    442007    644405    168.31    177.71
545.92/136.72	c  N dy  1506    230283     34003    145472         0     41238    442007   4173471    168.21    177.74
563.10/141.03	c  S st  1560    237775     34003    145472         0     48730    442007   6092418    168.22    141.13
564.30/141.32	c  S st  1560    238282     34003    145472         0     49237    442007   6186376    168.22   no data
564.30/141.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
565.12/141.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
565.49/141.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
565.49/141.61	c bin-w-bin subsume rem            0 bins  time:  0.01 s
565.49/141.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
565.49/141.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34003 time:  0.01 s
565.49/141.65	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
566.29/141.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
567.90/142.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
577.49/144.61	c lits-rem:         3  cl-subs:        0  v-elim:      0  v-fix:    0  time:  2.35 s
577.49/144.63	c vivif2 --  cl tried   145472 cl shrink        0 lits rem          0 time: 0.02
577.90/144.75	c vivif2 --  cl tried    49237 cl shrink        0 lits rem          0 time: 0.11
578.68/144.98	c asymm  cl-useful: 0/145472/145472 lits-rem:0 time: 0.23
578.68/144.99	c calculated reachability. Time: 0.00
578.68/144.99	c  N dy  1560    238282     34003    145472         0     49237    442007   6186373    168.22   no data
613.45/153.65	c  N dy  1664    253488     34003    145472         0     36461    442007   2688835    168.30    180.66
650.58/162.92	c  N dy  1782    269690     34003    145472         0     52661    442007   6924967    168.48    184.92
689.72/172.71	c  N dy  1902    287023     34003    145472         0     41002    442007   3631286    168.52    178.98
732.09/183.31	c  N dy  2019    305430     34003    145472         0     59408    442007   8306673    168.45    200.16
734.07/183.84	c  F st  2027    306252     34003    145472         0     30239    442007    564241    168.46   no data
776.41/194.47	c  N dy  2120    325034     34003    145472         0     49020    442007   5843240    168.41    181.88
823.14/206.12	c  N dy  2265    345054     34003    145472         0     38039    442007   2322965    168.48    192.17
851.50/213.22	c  S st  2352    357423     34003    145472         0     50407    442007   5521964    168.53   no data
852.70/213.54	c  S st  2352    357927     34003    145472         0     50910    442007   5625117    168.53   no data
852.70/213.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
853.50/213.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
853.90/213.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
853.90/213.83	c bin-w-bin subsume rem            0 bins  time:  0.01 s
853.90/213.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
853.90/213.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34003 time:  0.01 s
853.90/213.88	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
854.71/214.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
856.30/214.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
865.09/216.67	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.22 s
865.09/216.70	c vivif2 --  cl tried   145472 cl shrink        0 lits rem          0 time: 0.02
865.89/216.80	c vivif2 --  cl tried    50907 cl shrink        0 lits rem          0 time: 0.11
866.69/217.03	c asymm  cl-useful: 0/145472/145472 lits-rem:0 time: 0.23
866.69/217.04	c calculated reachability. Time: 0.00
866.69/217.04	c  N dy  2352    357927     34003    145472         0     50907    442007   5624224    168.53   no data
913.02/228.69	c  N dy  2487    377941     34003    145472         0     38919    442007   2292468    168.57    178.74
959.76/240.35	c  N dy  2622    398018     34003    145472         0     58994    442007   7409347    168.59    180.11
1006.50/252.01	c  N dy  2762    418096     34003    145472         0     46073    442007   3850533    168.61    177.57
1054.03/263.98	c  N dy  2910    438151     34003    145472         0     66128    442007   9075263    168.72    186.31
1100.37/275.53	c  N dy  3054    458183     34003    145472         0     52165    442007   5187155    168.81    184.55
1148.30/287.54	c  N dy  3188    478234     34003    145472         0     37221    442007   1035531    168.76    182.71
1194.63/299.10	c  N dy  3317    498340     34003    145472         0     57326    442007   6227946    168.73    179.02
1242.56/311.19	c  N dy  3454    518412     34003    145472         0     41397    442007   1929808    168.91    193.14
1286.10/322.08	c  S st  3585    536890     34003    145472         0     59874    442007   6805980    169.03   no data
1287.30/322.39	c  S st  3585    537394     34003    145472         0     60378    442007   6906054    169.03   no data
1287.70/322.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1288.50/322.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
1288.50/322.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1288.90/322.70	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1288.90/322.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1288.90/322.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34003 time:  0.01 s
1288.90/322.74	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1289.72/322.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
1291.30/323.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1304.47/326.63	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.24 s
1304.47/326.65	c vivif2 --  cl tried   145472 cl shrink        0 lits rem          0 time: 0.02
1304.87/326.78	c vivif2 --  cl tried    60375 cl shrink        0 lits rem          0 time: 0.13
1306.08/327.03	c asymm  cl-useful: 0/145472/145472 lits-rem:0 time: 0.25
1306.08/327.04	c calculated reachability. Time: 0.00
1306.08/327.04	c  N dy  3585    537394     34003    145472         0     60375    442007   6905411    169.03   no data
1354.80/339.21	c  N dy  3730    557434     34003    145472         0     43415    442007   2188883    169.10    178.76
1402.34/351.10	c  N dy  3867    577473     34003    145472         0     63454    442007   7396961    169.08    178.05
1450.67/363.28	c  N dy  4000    597512     34003    145472         0     45493    442007   2413694    169.02    198.47
1499.00/375.36	c  N dy  4141    617524     34003    145472         0     65505    442007   7702257    169.13    210.37
1548.54/387.71	c  N dy  4285    637540     34003    145472         0     46527    442007   2517398    169.28    209.24
1596.47/399.75	c  N dy  4428    657671     34003    145472         0     66657    442007   7766433    169.33    183.71
1646.02/412.13	c  N dy  4566    677682     34003    145472         0     46664    442007   2261433    169.38    181.56
1694.73/424.38	c  N dy  4709    697731     34003    145472         0     66711    442007   7481988    169.42    179.93
1745.06/436.95	c  N dy  4845    717824     34003    145472         0     45807    442007   1754694    169.43    185.56
1792.99/448.92	c  N dy  4981    737848     34003    145472         0     65830    442007   7008208    169.47    179.29
1843.71/461.67	c  N dy  5117    758007     34003    145472         0     43991    442007   1032017    169.48    180.35
1891.64/473.63	c  N dy  5259    778022     34003    145472         0     64006    442007   6273281    169.53    178.60
1943.56/486.61	c  N dy  5404    798154     34003    145472         0     84138    442007  11609028    169.61    184.08
1961.95/491.30	c  S st  5453    806091     34003    145472         0     49077    442007   2072921    169.60    161.20
1963.13/491.59	c  S st  5453    806593     34003    145472         0     49579    442007   2158735    169.60   no data
1963.52/491.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1964.32/491.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
1964.32/491.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1964.32/491.88	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1964.32/491.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1964.72/491.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34003 time:  0.01 s
1964.72/491.92	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1965.12/492.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
1965.92/492.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1968.71/492.95	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.71 s
1968.71/492.97	c vivif2 --  cl tried   145472 cl shrink        0 lits rem          0 time: 0.02
1969.11/493.01	c vivif2 --  cl tried    49575 cl shrink        0 lits rem          0 time: 0.04
1969.92/493.24	c asymm  cl-useful: 0/145472/145472 lits-rem:0 time: 0.23
1969.92/493.25	c calculated reachability. Time: 0.00
1969.92/493.25	c  N dy  5453    806593     34003    145472         0     49575    442007   2155963    169.60   no data
2018.65/505.48	c  N dy  5595    826642     34003    145472         0     69622    442007   7457984    169.68    178.94
2070.98/518.51	c  N dy  5725    846830     34003    145472         0     45808    442007    969216    169.59    181.48
2118.51/530.43	c  N dy  5868    866835     34003    145472         0     65809    442007   6165637    169.64    184.53
2170.84/543.53	c  N dy  6011    886947     34003    145472         0     85919    442007  11506738    169.72    178.90
2220.37/555.92	c  N dy  6153    907047     34003    145472         0     61025    442007   4735774    169.78    179.65
2271.49/568.71	c  N dy  6293    927099     34003    145472         0     81076    442007  10036561    169.85    213.20
2321.83/581.39	c  N dy  6433    947106     34003    145472         0     55087    442007   2892257    169.88    184.55
2371.75/593.87	c  N dy  6575    967169     34003    145472         0     75149    442007   8180371    169.94    185.01
2424.47/607.00	c  N dy  6709    987215     34003    145472         0     48193    442007    824360    169.93    180.78
2472.80/619.13	c  N dy  6846   1007272     34003    145472         0     68250    442007   6026446    169.95    182.88
2525.13/632.23	c  N dy  6984   1027367     34003    145472         0     88343    442007  11243263    169.94    181.15
2575.87/644.90	c  N dy  7124   1047462     34003    145472         0     60443    442007   3793349    169.98    181.93
2626.13/657.59	c  N dy  7261   1067519     34003    145472         0     80498    442007   8998841    169.96    194.82
2637.58/660.45	c  F st  7295   1071878     34003    145472         0     84857    442007  10135071    169.98   no data
2678.42/670.79	c  N dy  7375   1087669     34003    145472         0     51648    442007   1206964    170.01    181.30
2727.15/682.93	c  N dy  7504   1107757     34003    145472         0     71735    442007   6365400    169.97    179.36
2779.48/696.03	c  N dy  7638   1127853     34003    145472         0     91829    442007  11587264    169.96    178.92
2830.61/708.89	c  N dy  7782   1148056     34003    145472         0     62036    442007   3685695    169.99    181.60
2881.34/721.59	c  N dy  7916   1168097     34003    145472         0     82076    442007   8937339    170.00    182.03
2935.67/735.16	c  N dy  8050   1188155     34003    145472         0     51131    442007    557246    170.01    185.20
2985.61/747.67	c  N dy  8189   1208396     34003    145472         0     71372    442007   5868993    170.04    180.60
2989.61/748.67	c  S st  8202   1209889     34003    145472         0     72865    442007   6284114    170.05   no data
2991.18/749.01	c  S st  8202   1210395     34003    145472         0     73371    442007   6390124    170.05   no data
2991.18/749.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2991.98/749.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.23
2992.38/749.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2992.38/749.33	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2992.38/749.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2992.38/749.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34003 time:  0.01 s
2992.38/749.37	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
2993.18/749.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
2994.78/749.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3008.76/753.47	c lits-rem:         1  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.47 s
3008.76/753.49	c vivif2 --  cl tried   145472 cl shrink        0 lits rem          0 time: 0.02
3009.56/753.61	c vivif2 --  cl tried    73365 cl shrink        0 lits rem          0 time: 0.12
3010.36/753.88	c asymm  cl-useful: 0/145472/145472 lits-rem:0 time: 0.27
3010.76/753.90	c calculated reachability. Time: 0.00
3010.76/753.90	c  N dy  8202   1210395     34003    145472         0     73365    442007   6386792    170.05   no data
3063.49/767.18	c  N dy  8341   1230470     34003    145472         0     93440    442007  11674894    170.07    189.03
3116.22/780.39	c  N dy  8489   1250584     34003    145472         0     61562    442007   3140891    170.12    190.70
3166.95/793.04	c  N dy  8622   1270599     34003    145472         0     81575    442007   8391520    170.11    195.05
3221.68/806.71	c  N dy  8760   1290622     34003    145472         0    101596    442007  13663377    170.18    225.55
3272.80/819.57	c  N dy  8891   1311007     34003    145472         0     68981    442007   4740429    170.17    185.62
3324.72/832.50	c  N dy  9017   1331051     34003    145472         0     89022    442007   9954071    170.16    188.72
3380.66/846.51	c  N dy  9153   1351178     34003    145472         0     55150    442007    846638    170.15    184.44
3430.18/858.92	c  N dy  9294   1371206     34003    145472         0     75177    442007   6154880    170.20    181.92
3482.90/872.13	c  N dy  9420   1391225     34003    145472         0     95194    442007  11376232    170.15    191.87
3537.22/885.77	c  N dy  9562   1411359     34003    145472         0     60331    442007   1925776    170.18    186.05
3587.17/898.26	c  N dy  9695   1431417     34003    145472         0     80388    442007   7096700    170.13    183.41
3641.08/911.75	c  N dy  9835   1451451     34003    145472         0    100421    442007  12345022    170.14    179.31
3695.00/925.22	c  N dy  9974   1471551     34003    145472         0     64527    442007   2756003    170.15    180.63
3745.75/937.99	c  N dy 10107   1491644     34003    145472         0     84619    442007   8049407    170.16    179.63
3800.85/951.79	c  N dy 10246   1511750     34003    145472         0    104725    442007  13317238    170.18    194.77
3853.98/965.06	c  N dy 10385   1531900     34003    145472         0     67872    442007   3423800    170.17    187.10
3905.90/978.05	c  N dy 10529   1551956     34003    145472         0     87925    442007   8749507    170.21    185.37
3961.82/992.01	c  N dy 10665   1571987     34003    145472         0    107953    442007  13961505    170.19    180.53
4014.14/1005.16	c  N dy 10793   1592033     34003    145472         0     70008    442007   3643450    170.18    198.24
4066.49/1018.24	c  N dy 10925   1612155     34003    145472         0     90126    442007   8846656    170.18    185.27
4122.80/1032.33	c  N dy 11065   1632159     34003    145472         0    110128    442007  14126401    170.20    179.32
4176.34/1045.72	c  N dy 11212   1652219     34003    145472         0     71194    442007   3853396    170.27    183.38
4228.67/1058.90	c  N dy 11354   1672436     34003    145472         0     91410    442007   9145607    170.29    187.96
4284.96/1072.91	c  N dy 11485   1692548     34003    145472         0    111521    442007  14421836    170.30    190.34
4333.29/1085.01	c  S st 11614   1710395     34003    145472         0     69365    442007   2981727    170.32   no data
4334.51/1085.33	c  S st 11614   1710895     34003    145472         0     69865    442007   3078909    170.32   no data
4334.51/1085.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4335.29/1085.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.24
4335.69/1085.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4335.69/1085.65	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4335.69/1085.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4335.69/1085.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34003 time:  0.01 s
4335.69/1085.69	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
4336.49/1085.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
4337.29/1086.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4345.27/1088.09	c lits-rem:         1  cl-subs:        5  v-elim:      0  v-fix:    0  time:  1.99 s
4345.67/1088.11	c vivif2 --  cl tried   145472 cl shrink        0 lits rem          0 time: 0.02
4345.67/1088.18	c vivif2 --  cl tried    69860 cl shrink        0 lits rem          0 time: 0.06
4346.87/1088.43	c asymm  cl-useful: 0/145472/145472 lits-rem:0 time: 0.26
4346.87/1088.44	c calculated reachability. Time: 0.00
4346.87/1088.45	c  N dy 11614   1710895     34003    145472         0     69860    442007   3076889    170.32   no data
4399.20/1101.52	c  N dy 11757   1730905     34003    145472         0     89866    442007   8362886    170.36    182.38
4455.12/1115.58	c  N dy 11896   1750992     34003    145472         0    109951    442007  13615456    170.38    179.54
4510.64/1129.47	c  N dy 12032   1771048     34003    145472         0     69018    442007   2691160    170.40    182.84
4562.99/1142.51	c  N dy 12175   1791089     34003    145472         0     89059    442007   7972128    170.43    182.14
4618.09/1156.36	c  N dy 12316   1811100     34003    145472         0    109070    442007  13206182    170.44    179.68
4674.40/1170.46	c  N dy 12452   1831185     34003    145472         0     67159    442007   1916059    170.45    184.44
4725.93/1183.37	c  N dy 12590   1851321     34003    145472         0     87292    442007   7162336    170.45    179.55
4782.67/1197.56	c  N dy 12728   1871326     34003    145472         0    107296    442007  12491716    170.49    182.03

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-3173792-1304031210/watcher-3173792-1304031210 -o /tmp/evaluation-result-3173792-1304031210/solver-3173792-1304031210 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173792-1304031210.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: 8.15 8.10 7.50 5/180 7140
/proc/meminfo: memFree=14405440/32950928 swapFree=67111528/67111528
[pid=7140] ppid=7138 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/7140/stat : 7140 (strangenight2-m) R 7138 7140 6848 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 514719752 52441088 347 33554432000 4194304 4627427 140736976001984 18446744073709551615 251814296561 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7140/statm: 12803 347 299 106 0 7774 0
[pid=7140/tid=7141] ppid=7138 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/7140/task/7141/stat : 7141 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 514719753 52441088 347 33554432000 4194304 4627427 140736976001984 18446744073709551615 47867502585778 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7140/tid=7142] ppid=7138 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/7140/task/7142/stat : 7142 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514719753 52441088 347 33554432000 4194304 4627427 140736976001984 18446744073709551615 47867502585782 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7140/tid=7143] ppid=7138 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/7140/task/7143/stat : 7143 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514719753 52441088 347 33554432000 4194304 4627427 140736976001984 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.069532 s]
/proc/loadavg: 8.15 8.10 7.50 5/180 7140
/proc/meminfo: memFree=14405440/32950928 swapFree=67111528/67111528
[pid=7140] ppid=7138 vsize=380964 CPUtime=0.23 cores=0,2,4,6
/proc/7140/stat : 7140 (strangenight2-m) S 7138 7140 6848 0 -1 4202496 19594 0 0 0 19 4 0 0 18 0 4 0 514719752 390107136 15461 33554432000 4194304 4627427 140736976001984 18446744073709551615 251814345198 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7140/statm: 95241 15461 339 106 0 90212 0
[pid=7140/tid=7141] ppid=7138 vsize=381096 CPUtime=0.05 cores=0,2,4,6
/proc/7140/task/7141/stat : 7141 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 5040 0 0 0 5 0 0 0 18 0 4 0 514719753 390242304 15503 33554432000 4194304 4627427 140736976001984 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7140/tid=7142] ppid=7138 vsize=381096 CPUtime=0.05 cores=0,2,4,6
/proc/7140/task/7142/stat : 7142 (strangenight2-m) S 7138 7140 6848 0 -1 4202560 4979 0 0 0 4 1 0 0 18 0 4 0 514719753 390242304 15527 33554432000 4194304 4627427 140736976001984 18446744073709551615 251814345198 0 0 4096 2 18446604453901571008 0 0 -1 6 0 0 0
[pid=7140/tid=7143] ppid=7138 vsize=381500 CPUtime=0.06 cores=0,2,4,6
/proc/7140/task/7143/stat : 7143 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 4807 0 0 0 5 1 0 0 18 0 4 0 514719753 390656000 15540 33554432000 4194304 4627427 140736976001984 18446744073709551615 251813937344 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 380964

[startup+0.102384 s]
/proc/loadavg: 8.15 8.10 7.50 5/180 7140
/proc/meminfo: memFree=14405440/32950928 swapFree=67111528/67111528
[pid=7140] ppid=7138 vsize=382484 CPUtime=0.35 cores=0,2,4,6
/proc/7140/stat : 7140 (strangenight2-m) R 7138 7140 6848 0 -1 4202496 21601 0 0 0 27 8 0 0 17 0 4 0 514719752 391663616 17468 33554432000 4194304 4627427 140736976001984 18446744073709551615 251814345247 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7140/statm: 95621 17499 339 106 0 90592 0
[pid=7140/tid=7141] ppid=7138 vsize=382484 CPUtime=0.08 cores=0,2,4,6
/proc/7140/task/7141/stat : 7141 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 5700 0 0 0 7 1 0 0 18 0 4 0 514719753 391663616 17519 33554432000 4194304 4627427 140736976001984 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7140/tid=7142] ppid=7138 vsize=382484 CPUtime=0.07 cores=0,2,4,6
/proc/7140/task/7142/stat : 7142 (strangenight2-m) S 7138 7140 6848 0 -1 4202560 5327 0 0 0 6 1 0 0 18 0 4 0 514719753 391663616 17525 33554432000 4194304 4627427 140736976001984 18446744073709551615 251814345198 0 0 4096 2 18446604453901571008 0 0 -1 6 0 0 0
[pid=7140/tid=7143] ppid=7138 vsize=382484 CPUtime=0.08 cores=0,2,4,6
/proc/7140/task/7143/stat : 7143 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 5326 0 0 0 7 1 0 0 17 0 4 0 514719753 391663616 17525 33554432000 4194304 4627427 140736976001984 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 382484

[startup+0.410168 s]
/proc/loadavg: 8.15 8.10 7.50 5/180 7140
/proc/meminfo: memFree=14405440/32950928 swapFree=67111528/67111528
[pid=7140] ppid=7138 vsize=391904 CPUtime=1.54 cores=0,2,4,6
/proc/7140/stat : 7140 (strangenight2-m) R 7138 7140 6848 0 -1 4202496 29131 0 0 0 138 16 0 0 18 0 4 0 514719752 401309696 24998 33554432000 4194304 4627427 140736976001984 18446744073709551615 4415675 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7140/statm: 99517 26571 371 106 0 94488 0
[pid=7140/tid=7141] ppid=7138 vsize=400608 CPUtime=0.41 cores=0,2,4,6
/proc/7140/task/7141/stat : 7141 (strangenight2-m) D 7138 7140 6848 0 -1 4202560 9400 0 0 0 39 2 0 0 18 0 4 0 514719753 410222592 28251 33554432000 4194304 4627427 140736976001984 18446744073709551615 251814283447 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7140/tid=7142] ppid=7138 vsize=400608 CPUtime=0.4 cores=0,2,4,6
/proc/7140/task/7142/stat : 7142 (strangenight2-m) D 7138 7140 6848 0 -1 4202560 8041 0 0 0 36 4 0 0 18 0 4 0 514719753 410222592 28251 33554432000 4194304 4627427 140736976001984 18446744073709551615 251813900997 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7140/tid=7143] ppid=7138 vsize=400608 CPUtime=0.41 cores=0,2,4,6
/proc/7140/task/7143/stat : 7143 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 6827 0 0 0 38 3 0 0 18 0 4 0 514719753 410222592 28251 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 391904

[startup+1.03118 s]
/proc/loadavg: 8.15 8.10 7.50 5/180 7140
/proc/meminfo: memFree=14405440/32950928 swapFree=67111528/67111528
[pid=7140] ppid=7138 vsize=420884 CPUtime=4.02 cores=0,2,4,6
/proc/7140/stat : 7140 (strangenight2-m) R 7138 7140 6848 0 -1 4202496 51476 0 0 0 382 20 0 0 18 0 4 0 514719752 430985216 37643 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7140/statm: 105221 37643 385 106 0 100192 0
[pid=7140/tid=7141] ppid=7138 vsize=420884 CPUtime=1 cores=0,2,4,6
/proc/7140/task/7141/stat : 7141 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 14679 0 0 0 97 3 0 0 19 0 4 0 514719753 430985216 37643 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7140/tid=7142] ppid=7138 vsize=420884 CPUtime=0.99 cores=0,2,4,6
/proc/7140/task/7142/stat : 7142 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 14730 0 0 0 93 6 0 0 19 0 4 0 514719753 430985216 37643 33554432000 4194304 4627427 140736976001984 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7140/tid=7143] ppid=7138 vsize=420884 CPUtime=0.99 cores=0,2,4,6
/proc/7140/task/7143/stat : 7143 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 7240 0 0 0 96 3 0 0 18 0 4 0 514719753 430985216 37644 33554432000 4194304 4627427 140736976001984 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 420884

[startup+1.5011 s]
/proc/loadavg: 8.15 8.10 7.50 5/180 7140
/proc/meminfo: memFree=14405440/32950928 swapFree=67111528/67111528
[pid=7140] ppid=7138 vsize=420884 CPUtime=5.9 cores=0,2,4,6
/proc/7140/stat : 7140 (strangenight2-m) R 7138 7140 6848 0 -1 4202496 52795 0 0 0 570 20 0 0 19 0 4 0 514719752 430985216 38852 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7140/statm: 105221 38852 385 106 0 100192 0
[pid=7140/tid=7141] ppid=7138 vsize=420884 CPUtime=1.47 cores=0,2,4,6
/proc/7140/task/7141/stat : 7141 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 14981 0 0 0 144 3 0 0 19 0 4 0 514719753 430985216 38852 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7140/tid=7142] ppid=7138 vsize=420884 CPUtime=1.46 cores=0,2,4,6
/proc/7140/task/7142/stat : 7142 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 15069 0 0 0 140 6 0 0 19 0 4 0 514719753 430985216 38852 33554432000 4194304 4627427 140736976001984 18446744073709551615 4305894 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7140/tid=7143] ppid=7138 vsize=420884 CPUtime=1.46 cores=0,2,4,6
/proc/7140/task/7143/stat : 7143 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 7527 0 0 0 143 3 0 0 19 0 4 0 514719753 430985216 38852 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 420884

[startup+3.10083 s]
/proc/loadavg: 8.30 8.13 7.51 9/184 7144
/proc/meminfo: memFree=14227196/32950928 swapFree=67111528/67111528
[pid=7140] ppid=7138 vsize=552148 CPUtime=12.29 cores=0,2,4,6
/proc/7140/stat : 7140 (strangenight2-m) R 7138 7140 6848 0 -1 4202496 56411 0 0 0 1208 21 0 0 24 0 4 0 514719752 565399552 42431 33554432000 4194304 4627427 140736976001984 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7140/statm: 138037 42431 385 106 0 133008 0
[pid=7140/tid=7141] ppid=7138 vsize=552148 CPUtime=3.07 cores=0,2,4,6
/proc/7140/task/7141/stat : 7141 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 15875 0 0 0 303 4 0 0 24 0 4 0 514719753 565399552 42432 33554432000 4194304 4627427 140736976001984 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7140/tid=7142] ppid=7138 vsize=552148 CPUtime=3.05 cores=0,2,4,6
/proc/7140/task/7142/stat : 7142 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 15968 0 0 0 299 6 0 0 24 0 4 0 514719753 565399552 42432 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7140/tid=7143] ppid=7138 vsize=552148 CPUtime=3.06 cores=0,2,4,6
/proc/7140/task/7143/stat : 7143 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 8352 0 0 0 303 3 0 0 24 0 4 0 514719753 565399552 42432 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 552148

[startup+6.30029 s]
/proc/loadavg: 8.27 8.13 7.51 9/184 7144
/proc/meminfo: memFree=14188012/32950928 swapFree=67111528/67111528
[pid=7140] ppid=7138 vsize=552456 CPUtime=25.06 cores=0,2,4,6
/proc/7140/stat : 7140 (strangenight2-m) R 7138 7140 6848 0 -1 4202496 63388 0 0 0 2483 23 0 0 25 0 4 0 514719752 565714944 49408 33554432000 4194304 4627427 140736976001984 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7140/statm: 138114 49408 385 106 0 133085 0
[pid=7140/tid=7141] ppid=7138 vsize=552456 CPUtime=6.26 cores=0,2,4,6
/proc/7140/task/7141/stat : 7141 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 17686 0 0 0 622 4 0 0 25 0 4 0 514719753 565714944 49408 33554432000 4194304 4627427 140736976001984 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7140/tid=7142] ppid=7138 vsize=552456 CPUtime=6.23 cores=0,2,4,6
/proc/7140/task/7142/stat : 7142 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 17646 0 0 0 616 7 0 0 25 0 4 0 514719753 565714944 49408 33554432000 4194304 4627427 140736976001984 18446744073709551615 4310445 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7140/tid=7143] ppid=7138 vsize=552456 CPUtime=6.26 cores=0,2,4,6
/proc/7140/task/7143/stat : 7143 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 10085 0 0 0 623 3 0 0 25 0 4 0 514719753 565714944 49408 33554432000 4194304 4627427 140736976001984 18446744073709551615 4324721 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 552456

[startup+12.7002 s]
/proc/loadavg: 8.25 8.13 7.51 9/184 7144
/proc/meminfo: memFree=14215832/32950928 swapFree=67111528/67111528
[pid=7140] ppid=7138 vsize=452660 CPUtime=50.64 cores=0,2,4,6
/proc/7140/stat : 7140 (strangenight2-m) R 7138 7140 6848 0 -1 4202496 83293 0 0 0 5036 28 0 0 25 0 4 0 514719752 463523840 45321 33554432000 4194304 4627427 140736976001984 18446744073709551615 4327929 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7140/statm: 113165 45321 387 106 0 108136 0
[pid=7140/tid=7141] ppid=7138 vsize=452660 CPUtime=12.67 cores=0,2,4,6
/proc/7140/task/7141/stat : 7141 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 22670 0 0 0 1261 6 0 0 25 0 4 0 514719753 463523840 45321 33554432000 4194304 4627427 140736976001984 18446744073709551615 4330000 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7140/tid=7142] ppid=7138 vsize=452660 CPUtime=12.6 cores=0,2,4,6
/proc/7140/task/7142/stat : 7142 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 22482 0 0 0 1252 8 0 0 25 0 4 0 514719753 463523840 45321 33554432000 4194304 4627427 140736976001984 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7140/tid=7143] ppid=7138 vsize=452660 CPUtime=12.67 cores=0,2,4,6
/proc/7140/task/7143/stat : 7143 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 15075 0 0 0 1262 5 0 0 25 0 4 0 514719753 463523840 45321 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 452660

[startup+25.5011 s]
/proc/loadavg: 8.21 8.12 7.52 9/184 7145
/proc/meminfo: memFree=13968948/32950928 swapFree=67111528/67111528
[pid=7140] ppid=7138 vsize=677132 CPUtime=101.75 cores=0,2,4,6
/proc/7140/stat : 7140 (strangenight2-m) R 7138 7140 6848 0 -1 4202496 168822 0 0 0 10124 51 0 0 25 0 4 0 514719752 693383168 96499 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7140/statm: 169283 96499 390 106 0 164254 0
[pid=7140/tid=7141] ppid=7138 vsize=677132 CPUtime=25.47 cores=0,2,4,6
/proc/7140/task/7141/stat : 7141 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 58532 0 0 0 2532 15 0 0 25 0 4 0 514719753 693383168 96499 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7140/tid=7142] ppid=7138 vsize=677132 CPUtime=25.33 cores=0,2,4,6
/proc/7140/task/7142/stat : 7142 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 38075 0 0 0 2521 12 0 0 25 0 4 0 514719753 693383168 96499 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7140/tid=7143] ppid=7138 vsize=677132 CPUtime=25.46 cores=0,2,4,6
/proc/7140/task/7143/stat : 7143 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 23690 0 0 0 2539 7 0 0 25 0 4 0 514719753 693383168 96499 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 677132

[startup+51.1008 s]
/proc/loadavg: 8.14 8.11 7.53 9/184 7145
/proc/meminfo: memFree=13845444/32950928 swapFree=67111528/67111528
[pid=7140] ppid=7138 vsize=812684 CPUtime=204 cores=0,2,4,6
/proc/7140/stat : 7140 (strangenight2-m) R 7138 7140 6848 0 -1 4202496 248211 0 0 0 20330 70 0 0 25 0 4 0 514719752 832188416 129329 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7140/statm: 203171 129329 390 106 0 198142 0
[pid=7140/tid=7141] ppid=7138 vsize=812684 CPUtime=51.07 cores=0,2,4,6
/proc/7140/task/7141/stat : 7141 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 75475 0 0 0 5088 19 0 0 25 0 4 0 514719753 832188416 129329 33554432000 4194304 4627427 140736976001984 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7140/tid=7142] ppid=7138 vsize=812684 CPUtime=50.79 cores=0,2,4,6
/proc/7140/task/7142/stat : 7142 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 54004 0 0 0 5062 17 0 0 25 0 4 0 514719753 832188416 129329 33554432000 4194304 4627427 140736976001984 18446744073709551615 4449612 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7140/tid=7143] ppid=7138 vsize=812684 CPUtime=51.06 cores=0,2,4,6
/proc/7140/task/7143/stat : 7143 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 50905 0 0 0 5094 12 0 0 25 0 4 0 514719753 832188416 129329 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204
Current children cumulated vsize (KiB) 812684

[startup+102.301 s]
/proc/loadavg: 8.09 8.10 7.56 9/184 7147
/proc/meminfo: memFree=13587540/32950928 swapFree=67111528/67111528
[pid=7140] ppid=7138 vsize=1122816 CPUtime=408.52 cores=0,2,4,6
/proc/7140/stat : 7140 (strangenight2-m) R 7138 7140 6848 0 -1 4202496 382571 0 0 0 40748 104 0 0 25 0 4 0 514719752 1149763584 194215 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7140/statm: 280704 194215 390 106 0 275675 0
[pid=7140/tid=7141] ppid=7138 vsize=1122816 CPUtime=102.26 cores=0,2,4,6
/proc/7140/task/7141/stat : 7141 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 97729 0 0 0 10202 24 0 0 25 0 4 0 514719753 1149763584 194215 33554432000 4194304 4627427 140736976001984 18446744073709551615 4330954 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7140/tid=7142] ppid=7138 vsize=1122816 CPUtime=101.71 cores=0,2,4,6
/proc/7140/task/7142/stat : 7142 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 91492 0 0 0 10145 26 0 0 25 0 4 0 514719753 1149763584 194215 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7140/tid=7143] ppid=7138 vsize=1122816 CPUtime=102.25 cores=0,2,4,6
/proc/7140/task/7143/stat : 7143 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 83490 0 0 0 10204 21 0 0 25 0 4 0 514719753 1149763584 194215 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.52
Current children cumulated vsize (KiB) 1122816

[startup+162.301 s]

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

[pid=7140] ppid=7138 vsize=1596256 CPUtime=2565.47 cores=0,2,4,6
/proc/7140/stat : 7140 (strangenight2-m) R 7138 7140 6848 0 -1 4202496 1322671 0 0 0 256145 402 0 0 25 0 4 0 514719752 1634566144 302146 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7140/statm: 399064 302146 390 106 0 394035 0
[pid=7140/tid=7141] ppid=7138 vsize=1596256 CPUtime=641.4 cores=0,2,4,6
/proc/7140/task/7141/stat : 7141 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 318166 0 0 0 64046 94 0 0 25 0 4 0 514719753 1634566144 302146 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7140/tid=7142] ppid=7138 vsize=1596256 CPUtime=639.63 cores=0,2,4,6
/proc/7140/task/7142/stat : 7142 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 339238 0 0 0 63858 105 0 0 25 0 4 0 514719753 1634566144 302146 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7140/tid=7143] ppid=7138 vsize=1596256 CPUtime=642.23 cores=0,2,4,6
/proc/7140/task/7143/stat : 7143 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 327319 0 0 0 64128 95 0 0 25 0 4 0 514719753 1634566144 302146 33554432000 4194304 4627427 140736976001984 18446744073709551615 4305848 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.47
Current children cumulated vsize (KiB) 1596256

[startup+702.3 s]
/proc/loadavg: 8.20 8.10 7.79 9/184 7206
/proc/meminfo: memFree=13358684/32950928 swapFree=67111528/67111528
[pid=7140] ppid=7138 vsize=1547372 CPUtime=2804.65 cores=0,2,4,6
/proc/7140/stat : 7140 (strangenight2-m) R 7138 7140 6848 0 -1 4202496 1441675 0 0 0 280025 440 0 0 25 0 4 0 514719752 1584508928 300002 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308343 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7140/statm: 386843 300002 390 106 0 381814 0
[pid=7140/tid=7141] ppid=7138 vsize=1547372 CPUtime=701.09 cores=0,2,4,6
/proc/7140/task/7141/stat : 7141 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 338444 0 0 0 70007 102 0 0 25 0 4 0 514719753 1584508928 300002 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7140/tid=7142] ppid=7138 vsize=1547372 CPUtime=699.36 cores=0,2,4,6
/proc/7140/task/7142/stat : 7142 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 368464 0 0 0 69821 115 0 0 25 0 4 0 514719753 1584508928 300002 33554432000 4194304 4627427 140736976001984 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7140/tid=7143] ppid=7138 vsize=1547372 CPUtime=701.99 cores=0,2,4,6
/proc/7140/task/7143/stat : 7143 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 370901 0 0 0 70095 104 0 0 25 0 4 0 514719753 1584508928 300002 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2804.65
Current children cumulated vsize (KiB) 1547372

[startup+762.301 s]
/proc/loadavg: 8.23 8.11 7.81 9/184 7207
/proc/meminfo: memFree=13363008/32950928 swapFree=67111528/67111528
[pid=7140] ppid=7138 vsize=1582412 CPUtime=3044.31 cores=0,2,4,6
/proc/7140/stat : 7140 (strangenight2-m) R 7138 7140 6848 0 -1 4202496 1537994 0 0 0 303957 474 0 0 25 0 4 0 514719752 1620389888 320245 33554432000 4194304 4627427 140736976001984 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7140/statm: 395603 320245 390 106 0 390574 0
[pid=7140/tid=7141] ppid=7138 vsize=1582412 CPUtime=760.78 cores=0,2,4,6
/proc/7140/task/7141/stat : 7141 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 366398 0 0 0 75966 112 0 0 25 0 4 0 514719753 1620389888 320245 33554432000 4194304 4627427 140736976001984 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7140/tid=7142] ppid=7138 vsize=1582412 CPUtime=759.37 cores=0,2,4,6
/proc/7140/task/7142/stat : 7142 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 395467 0 0 0 75811 126 0 0 25 0 4 0 514719753 1620389888 320245 33554432000 4194304 4627427 140736976001984 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7140/tid=7143] ppid=7138 vsize=1582412 CPUtime=761.99 cores=0,2,4,6
/proc/7140/task/7143/stat : 7143 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 394149 0 0 0 76086 113 0 0 25 0 4 0 514719753 1620389888 320245 33554432000 4194304 4627427 140736976001984 18446744073709551615 4306360 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3044.31
Current children cumulated vsize (KiB) 1582412

[startup+822.301 s]
/proc/loadavg: 8.23 8.12 7.83 9/184 7209
/proc/meminfo: memFree=13264548/32950928 swapFree=67111528/67111528
[pid=7140] ppid=7138 vsize=1676912 CPUtime=3284.01 cores=0,2,4,6
/proc/7140/stat : 7140 (strangenight2-m) R 7138 7140 6848 0 -1 4202496 1641704 0 0 0 327893 508 0 0 25 0 4 0 514719752 1717157888 341603 33554432000 4194304 4627427 140736976001984 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7140/statm: 419228 341603 390 106 0 414199 0
[pid=7140/tid=7141] ppid=7138 vsize=1676912 CPUtime=820.45 cores=0,2,4,6
/proc/7140/task/7141/stat : 7141 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 393797 0 0 0 81925 120 0 0 25 0 4 0 514719753 1717157888 341604 33554432000 4194304 4627427 140736976001984 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7140/tid=7142] ppid=7138 vsize=1676912 CPUtime=819.37 cores=0,2,4,6
/proc/7140/task/7142/stat : 7142 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 421073 0 0 0 81802 135 0 0 25 0 4 0 514719753 1717157888 341604 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7140/tid=7143] ppid=7138 vsize=1676912 CPUtime=821.99 cores=0,2,4,6
/proc/7140/task/7143/stat : 7143 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 421427 0 0 0 82078 121 0 0 25 0 4 0 514719753 1717157888 341604 33554432000 4194304 4627427 140736976001984 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.01
Current children cumulated vsize (KiB) 1676912

[startup+882.301 s]
/proc/loadavg: 8.22 8.13 7.85 9/184 7210
/proc/meminfo: memFree=13316360/32950928 swapFree=67111528/67111528
[pid=7140] ppid=7138 vsize=1599844 CPUtime=3523.64 cores=0,2,4,6
/proc/7140/stat : 7140 (strangenight2-m) R 7138 7140 6848 0 -1 4202496 1736667 0 0 0 351822 542 0 0 25 0 4 0 514719752 1638240256 329077 33554432000 4194304 4627427 140736976001984 18446744073709551615 4305638 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7140/statm: 399961 329077 390 106 0 394932 0
[pid=7140/tid=7141] ppid=7138 vsize=1599844 CPUtime=880.13 cores=0,2,4,6
/proc/7140/task/7141/stat : 7141 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 416341 0 0 0 87885 128 0 0 25 0 4 0 514719753 1638240256 329077 33554432000 4194304 4627427 140736976001984 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7140/tid=7142] ppid=7138 vsize=1599844 CPUtime=879.36 cores=0,2,4,6
/proc/7140/task/7142/stat : 7142 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 446121 0 0 0 87792 144 0 0 25 0 4 0 514719753 1638240256 329077 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7140/tid=7143] ppid=7138 vsize=1599844 CPUtime=881.98 cores=0,2,4,6
/proc/7140/task/7143/stat : 7143 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 447734 0 0 0 88068 130 0 0 25 0 4 0 514719753 1638240256 329077 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3523.64
Current children cumulated vsize (KiB) 1599844

[startup+942.307 s]
/proc/loadavg: 8.20 8.13 7.86 9/184 7212
/proc/meminfo: memFree=13152668/32950928 swapFree=67111528/67111528
[pid=7140] ppid=7138 vsize=1744552 CPUtime=3763.33 cores=0,2,4,6
/proc/7140/stat : 7140 (strangenight2-m) R 7138 7140 6848 0 -1 4202496 1834639 0 0 0 375755 578 0 0 25 0 4 0 514719752 1786421248 361603 33554432000 4194304 4627427 140736976001984 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7140/statm: 436138 361603 390 106 0 431109 0
[pid=7140/tid=7141] ppid=7138 vsize=1744552 CPUtime=939.81 cores=0,2,4,6
/proc/7140/task/7141/stat : 7141 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 441218 0 0 0 93843 138 0 0 25 0 4 0 514719753 1786421248 361603 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7140/tid=7142] ppid=7138 vsize=1744552 CPUtime=939.36 cores=0,2,4,6
/proc/7140/task/7142/stat : 7142 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 471136 0 0 0 93784 152 0 0 25 0 4 0 514719753 1786421248 361603 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7140/tid=7143] ppid=7138 vsize=1744552 CPUtime=941.98 cores=0,2,4,6
/proc/7140/task/7143/stat : 7143 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 472822 0 0 0 94060 138 0 0 25 0 4 0 514719753 1786421248 361603 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3763.33
Current children cumulated vsize (KiB) 1744552

[startup+1002.3 s]
/proc/loadavg: 8.19 8.14 7.88 9/184 7214
/proc/meminfo: memFree=13237976/32950928 swapFree=67111528/67111528
[pid=7140] ppid=7138 vsize=1682608 CPUtime=4002.96 cores=0,2,4,6
/proc/7140/stat : 7140 (strangenight2-m) R 7138 7140 6848 0 -1 4202496 1928764 0 0 0 399685 611 0 0 25 0 4 0 514719752 1722990592 337252 33554432000 4194304 4627427 140736976001984 18446744073709551615 4332667 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7140/statm: 420652 337252 390 106 0 415623 0
[pid=7140/tid=7141] ppid=7138 vsize=1682608 CPUtime=999.49 cores=0,2,4,6
/proc/7140/task/7141/stat : 7141 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 467826 0 0 0 99801 148 0 0 25 0 4 0 514719753 1722990592 337252 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7140/tid=7142] ppid=7138 vsize=1682608 CPUtime=999.36 cores=0,2,4,6
/proc/7140/task/7142/stat : 7142 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 497863 0 0 0 99774 162 0 0 25 0 4 0 514719753 1722990592 337252 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7140/tid=7143] ppid=7138 vsize=1682608 CPUtime=1001.97 cores=0,2,4,6
/proc/7140/task/7143/stat : 7143 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 491317 0 0 0 100053 144 0 0 25 0 4 0 514719753 1722990592 337252 33554432000 4194304 4627427 140736976001984 18446744073709551615 4306044 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4002.96
Current children cumulated vsize (KiB) 1682608

[startup+1062.3 s]
/proc/loadavg: 8.17 8.14 7.90 9/184 7215
/proc/meminfo: memFree=13163312/32950928 swapFree=67111528/67111528
[pid=7140] ppid=7138 vsize=1764808 CPUtime=4242.63 cores=0,2,4,6
/proc/7140/stat : 7140 (strangenight2-m) R 7138 7140 6848 0 -1 4202496 2023353 0 0 0 423621 642 0 0 25 0 4 0 514719752 1807163392 351989 33554432000 4194304 4627427 140736976001984 18446744073709551615 4299657 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7140/statm: 441202 351989 390 106 0 436173 0
[pid=7140/tid=7141] ppid=7138 vsize=1764808 CPUtime=1059.16 cores=0,2,4,6
/proc/7140/task/7141/stat : 7141 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 488410 0 0 0 105760 156 0 0 25 0 4 0 514719753 1807163392 351989 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308703 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7140/tid=7142] ppid=7138 vsize=1764808 CPUtime=1059.35 cores=0,2,4,6
/proc/7140/task/7142/stat : 7142 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 522367 0 0 0 105765 170 0 0 25 0 4 0 514719753 1807163392 351989 33554432000 4194304 4627427 140736976001984 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7140/tid=7143] ppid=7138 vsize=1764808 CPUtime=1061.97 cores=0,2,4,6
/proc/7140/task/7143/stat : 7143 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 515865 0 0 0 106046 151 0 0 25 0 4 0 514719753 1807163392 351989 33554432000 4194304 4627427 140736976001984 18446744073709551615 4325147 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4242.63
Current children cumulated vsize (KiB) 1764808

[startup+1122.3 s]
/proc/loadavg: 8.18 8.14 7.91 9/184 7217
/proc/meminfo: memFree=13058268/32950928 swapFree=67111528/67111528
[pid=7140] ppid=7138 vsize=1588976 CPUtime=4482.28 cores=0,2,4,6
/proc/7140/stat : 7140 (strangenight2-m) R 7138 7140 6848 0 -1 4202496 2117303 0 0 0 447550 678 0 0 25 0 4 0 514719752 1627111424 335663 33554432000 4194304 4627427 140736976001984 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7140/statm: 397244 335663 390 106 0 392215 0
[pid=7140/tid=7141] ppid=7138 vsize=1588976 CPUtime=1118.84 cores=0,2,4,6
/proc/7140/task/7141/stat : 7141 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 509112 0 0 0 111721 163 0 0 25 0 4 0 514719753 1627111424 335663 33554432000 4194304 4627427 140736976001984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7140/tid=7142] ppid=7138 vsize=1588976 CPUtime=1119.35 cores=0,2,4,6
/proc/7140/task/7142/stat : 7142 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 548862 0 0 0 111754 181 0 0 25 0 4 0 514719753 1627111424 335663 33554432000 4194304 4627427 140736976001984 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7140/tid=7143] ppid=7138 vsize=1588976 CPUtime=1121.96 cores=0,2,4,6
/proc/7140/task/7143/stat : 7143 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 539698 0 0 0 112036 160 0 0 25 0 4 0 514719753 1627111424 335663 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4482.28
Current children cumulated vsize (KiB) 1588976

[startup+1182.3 s]
/proc/loadavg: 8.07 8.11 7.91 9/184 7218
/proc/meminfo: memFree=12970720/32950928 swapFree=67111528/67111528
[pid=7140] ppid=7138 vsize=1749176 CPUtime=4721.94 cores=0,2,4,6
/proc/7140/stat : 7140 (strangenight2-m) R 7138 7140 6848 0 -1 4202496 2209163 0 0 0 471481 713 0 0 25 0 4 0 514719752 1791156224 346118 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308593 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7140/statm: 437294 346118 390 106 0 432265 0
[pid=7140/tid=7141] ppid=7138 vsize=1749176 CPUtime=1178.51 cores=0,2,4,6
/proc/7140/task/7141/stat : 7141 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 533232 0 0 0 117678 173 0 0 25 0 4 0 514719753 1791156224 346118 33554432000 4194304 4627427 140736976001984 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7140/tid=7142] ppid=7138 vsize=1749176 CPUtime=1179.34 cores=0,2,4,6
/proc/7140/task/7142/stat : 7142 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 569530 0 0 0 117746 188 0 0 25 0 4 0 514719753 1791156224 346118 33554432000 4194304 4627427 140736976001984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7140/tid=7143] ppid=7138 vsize=1749176 CPUtime=1181.95 cores=0,2,4,6
/proc/7140/task/7143/stat : 7143 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 564320 0 0 0 118027 168 0 0 25 0 4 0 514719753 1791156224 346118 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4721.94
Current children cumulated vsize (KiB) 1749176



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.91 s]
/proc/loadavg: 8.13 8.12 7.92 10/184 7219
/proc/meminfo: memFree=12746396/32950928 swapFree=67111528/67111528
[pid=7140] ppid=7138 vsize=1855968 CPUtime=4800.26 cores=0,2,4,6
/proc/7140/stat : 7140 (strangenight2-m) R 7138 7140 6848 0 -1 4202496 2259914 0 0 0 479302 724 0 0 25 0 4 0 514719752 1900511232 396869 33554432000 4194304 4627427 140736976001984 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7140/statm: 463992 396869 390 106 0 458963 0
[pid=7140/tid=7141] ppid=7138 vsize=1855968 CPUtime=1198.01 cores=0,2,4,6
/proc/7140/task/7141/stat : 7141 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 540115 0 0 0 119626 175 0 0 25 0 4 0 514719753 1900511232 396869 33554432000 4194304 4627427 140736976001984 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7140/tid=7142] ppid=7138 vsize=1855968 CPUtime=1198.95 cores=0,2,4,6
/proc/7140/task/7142/stat : 7142 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 599131 0 0 0 119702 193 0 0 25 0 4 0 514719753 1900511232 396869 33554432000 4194304 4627427 140736976001984 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7140/tid=7143] ppid=7138 vsize=1855968 CPUtime=1201.57 cores=0,2,4,6
/proc/7140/task/7143/stat : 7143 (strangenight2-m) R 7138 7140 6848 0 -1 4202560 571389 0 0 0 119986 171 0 0 25 0 4 0 514719753 1900511232 396869 33554432000 4194304 4627427 140736976001984 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 1855968

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.99
CPU time (s): 4800.37
CPU user time (s): 4793.05
CPU system time (s): 7.31989
CPU usage (%): 399.369
Max. virtual memory (cumulated for all children) (KiB): 1855968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.05
system time used= 7.31989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2259919
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= 11661
involuntary context switches= 21752

runsolver used 1.88971 second user time and 4.56331 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-29 00:53:31
IDJOB=3173792
IDBENCH=82610
IDSOLVER=1586
FILE ID=node126/3173792-1304031210
RUNJOBID= node126-1304028687-6867
PBS_JOBID= 13170326
Free space on /tmp= 71588 MiB

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

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

MD5SUM BENCH= 1ba3e47e885ea3862e5726ce64a96a9c
RANDOM SEED=39755635

node126.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.783
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.56
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.783
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.783
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.74
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.783
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.74
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.783
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.80
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.783
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.783
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.783
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      14405596 kB
Buffers:       1839248 kB
Cached:       15251792 kB
SwapCached:          0 kB
Active:        7419712 kB
Inactive:     10541880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14405596 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            8596 kB
Writeback:           0 kB
AnonPages:      870124 kB
Mapped:          15512 kB
Slab:           519320 kB
PageTables:       6532 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1203132 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= 71584 MiB
End job on node126 at 2011-04-29 01:13:34