Trace number 3366213

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf
MD5SUM48acd8df0141c3f57a132eb6d7253d5f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark130.328
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366213-1305398941.cnf'
0.00/0.01	c -- header says num vars:          35000
0.00/0.01	c -- header says num clauses:      147000
0.34/0.17	c -- clauses added:            0 learnts,       147000 normals,            0 xors
0.34/0.17	c -- vars added      35000
0.34/0.17	c Parsing time:  0.12 s
0.34/0.17	c  N st     0         0     35000    147000         0         0    441000         0   no data   no data
0.34/0.38	c asymm  cl-useful: 0/147000/147000 lits-rem:0 time: 0.14
0.34/0.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
1.62/0.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.62/0.49	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.62/0.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.62/0.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  35000 time:  0.01 s
1.62/0.53	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
2.39/1.25	c lits-rem:         0  cl-subs:        0  v-elim:    909  v-fix:    0  time:  0.25 s
2.39/1.25	c Finding binary XORs  T:     0.01 s  found:       0
2.39/1.25	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
2.39/1.25	c calculated reachability. Time: 0.00
2.39/1.25	c Calc default polars -  time:   0.01 s pos:   15646 undec:    3811 neg:   15543
2.39/1.25	c =========================================================================================
2.39/1.25	c types(t): F = full restart, N = normal restart
2.39/1.25	c types(t): S = simplification begin/end, E = solution found
2.39/1.25	c restart types(rt): st = static, dy = dynamic
2.39/1.25	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.39/1.25	c  B st     0         0     34091    145976         0         0    443570         0   no data   no data
10.64/2.73	c  N dy    22      4005     34091    145976         0      4004    443570   1184756    172.14    194.90
18.62/4.74	c  N dy    51      8177     34091    145976         0      8175    443570   2244637    169.69    181.31
26.60/6.71	c  N dy    77     12178     34091    145976         0     12176    443570   3273164    168.96    210.47
34.58/8.76	c  N dy   104     16288     34091    145976         0     16286    443570   4328159    167.80    177.36
43.36/10.91	c  N dy   136     20313     34091    145976         0     10313    443570    738247    169.43    178.61
51.37/12.92	c  N dy   162     24386     34091    145976         0     14385    443570   1802050    169.49    196.63
52.53/13.22	c  F st   166     25000     34091    145976         0     14999    443570   1951624    169.26    154.69
63.32/15.90	c  N dy   172     30002     34091    145976         0     19999    443570   3850335    169.26   no data
63.32/15.90	c  S st   172     30002     34091    145976         0     19999    443570   3850335    169.26   no data
64.13/16.17	c  S st   172     30504     34091    145976         0     20501    443570   3942189    169.26   no data
64.13/16.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
64.54/16.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
64.90/16.33	c blocked clauses removed:      649 vars:    104 tried:       34091 T: 0.02 s
64.90/16.34	c bin-w-bin subsume rem            0 bins  time:  0.01 s
64.90/16.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
64.90/16.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33987 time:  0.01 s
64.90/16.38	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
65.71/16.55	c lits-rem:         0  cl-subs:        0  v-elim:     13  v-fix:    0  time:  0.17 s
66.91/16.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
71.29/17.91	c lits-rem:         6  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.98 s
71.69/18.09	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.18
72.09/18.10	c calculated reachability. Time: 0.00
72.09/18.10	c  N dy   172     30504     33974    145315         0     20331    441645   3866264    169.26   no data
80.48/20.24	c  N dy   199     34579     33974    145315         0     24406    441645   4904211    169.17    181.95
89.65/22.50	c  N dy   229     38727     33974    145315         0     28554    441645   5983466    169.23    179.32
98.03/24.69	c  N dy   255     42883     33974    145315         0     17295    441645   1254093    168.54    180.28
104.04/26.15	c  S st   274     45756     33974    145315         0     20168    441645   1970135    168.25   no data
105.21/26.42	c  S st   274     46257     33974    145315         0     20669    441645   2074485    168.25   no data
105.21/26.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
105.61/26.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
105.61/26.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
105.61/26.59	c bin-w-bin subsume rem            0 bins  time:  0.01 s
106.00/26.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
106.00/26.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.01 s
106.00/26.63	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
106.41/26.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
107.21/26.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
108.44/27.23	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.28 s
108.44/27.25	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.02
108.44/27.29	c vivif2 --  cl tried    20668 cl shrink        0 lits rem          0 time: 0.04
109.19/27.47	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.18
109.19/27.48	c calculated reachability. Time: 0.00
109.19/27.48	c  N dy   274     46257     33974    145315         0     20668    441645   2074411    168.25   no data
117.98/29.64	c  N dy   303     50390     33974    145315         0     24801    441645   3142843    168.47    184.92
126.36/31.75	c  N dy   329     54420     33974    145315         0     28831    441645   4172795    168.30    178.23
135.14/33.95	c  N dy   356     58513     33974    145315         0     32924    441645   5215373    168.26    179.43
143.91/36.19	c  N dy   382     62618     33974    145315         0     37028    441645   6237800    167.97    177.31
152.70/38.37	c  N dy   408     66704     33974    145315         0     22407    441645   1722746    168.00    178.53
158.28/39.79	c  S st   427     69386     33974    145315         0     25089    441645   2423781    168.04   no data
159.48/40.05	c  S st   427     69889     33974    145315         0     25592    441645   2522751    168.04   no data
159.48/40.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
159.88/40.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
160.28/40.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
160.28/40.21	c bin-w-bin subsume rem            0 bins  time:  0.01 s
160.28/40.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
160.28/40.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.01 s
160.28/40.25	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
160.70/40.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
161.48/40.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
163.47/41.03	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.44 s
163.47/41.06	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.02
163.88/41.10	c vivif2 --  cl tried    25590 cl shrink        0 lits rem          0 time: 0.05
164.28/41.29	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.19
164.68/41.30	c calculated reachability. Time: 0.00
164.68/41.30	c  N dy   427     69889     33974    145315         0     25590    441645   2521628    168.04   no data
173.88/43.69	c  N dy   458     74379     33974    145315         0     30080    441645   3678965    168.08    180.02
184.23/46.24	c  N dy   486     79135     33974    145315         0     34836    441645   4866997    167.52    178.15
195.41/49.07	c  N dy   521     84242     33974    145315         0     39943    441645   6223514    167.77    180.03
202.99/50.96	c  F st   547     87500     33974    145315         0     22346    441645   1113777    168.36   no data
210.17/52.79	c  N st   552     90799     33974    145315         0     25645    441645   2340737    168.36   no data
223.34/56.06	c  N dy   583     96741     33974    145315         0     31586    441645   4105778    168.65    178.71
236.91/59.45	c  N dy   629    102928     33974    145315         0     37772    441645   5718983    168.90    178.66
241.30/60.51	c  S st   642    104833     33974    145315         0     39677    441645   6210157    168.89   no data
242.50/60.80	c  S st   642    105339     33974    145315         0     40183    441645   6302456    168.89   no data
242.50/60.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
242.90/60.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.11
242.90/60.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
242.90/60.98	c bin-w-bin subsume rem            0 bins  time:  0.01 s
242.90/60.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
243.29/61.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.01 s
243.29/61.02	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
243.69/61.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
245.69/61.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
252.47/63.38	c lits-rem:         5  cl-subs:        7  v-elim:      0  v-fix:    0  time:  1.73 s
252.89/63.41	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.02
253.30/63.53	c vivif2 --  cl tried    40176 cl shrink        0 lits rem          0 time: 0.11
254.06/63.74	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.21
254.06/63.75	c calculated reachability. Time: 0.00
254.06/63.75	c  N dy   642    105339     33974    145315         0     40176    441645   6298673    168.89   no data
268.83/67.48	c  N dy   686    112119     33974    145315         0     24532    441645   1210401    168.95    179.14
284.79/71.40	c  N dy   735    119283     33974    145315         0     31696    441645   3066660    169.08    178.68
301.59/75.69	c  N dy   788    127003     33974    145315         0     39415    441645   5060641    168.96    181.75
320.71/80.44	c  N dy   845    135302     33974    145315         0     24003    441645    705636    169.11    184.29
339.08/85.06	c  N dy   897    144084     33974    145315         0     32785    441645   2948942    168.67    179.95
359.82/90.28	c  N dy   961    153414     33974    145315         0     42115    441645   5333845    168.74    183.98
370.21/92.83	c  S st   990    158009     33974    145315         0     46710    441645   6454370    168.49   no data
371.43/93.13	c  S st   990    158511     33974    145315         0     47212    441645   6537559    168.49   no data
371.43/93.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
371.84/93.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.11
372.20/93.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
372.20/93.32	c bin-w-bin subsume rem            0 bins  time:  0.01 s
372.20/93.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
372.20/93.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.01 s
372.20/93.36	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
373.00/93.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
374.60/93.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
383.78/96.20	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.21 s
383.78/96.22	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.02
384.18/96.34	c vivif2 --  cl tried    47208 cl shrink        0 lits rem          0 time: 0.12
385.01/96.58	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.22
385.01/96.59	c calculated reachability. Time: 0.00
385.01/96.59	c  N dy   990    158511     33974    145315         0     47208    441645   6535668    168.49   no data
407.32/102.13	c  N dy  1054    168642     33974    145315         0     32483    441645   2536528    168.41    182.67
431.67/108.21	c  N dy  1128    179611     33974    145315         0     43451    441645   5386212    168.62    188.40
457.60/114.72	c  N dy  1202    191082     33974    145315         0     28998    441645   1344651    168.61    178.91
484.35/121.47	c  N dy  1286    203396     33974    145315         0     41312    441645   4539997    168.64    177.68
514.68/129.04	c  N dy  1378    216454     33974    145315         0     27416    441645    677906    168.74    178.04
545.41/136.74	c  N dy  1477    230416     33974    145315         0     41377    441645   4302425    168.80    179.63
562.17/140.93	c  S st  1526    237766     33974    145315         0     48726    441645   6163054    168.79   no data
563.37/141.23	c  S st  1526    238268     33974    145315         0     49228    441645   6260402    168.79   no data
563.37/141.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
563.77/141.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
564.17/141.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
564.17/141.42	c bin-w-bin subsume rem            0 bins  time:  0.01 s
564.17/141.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
564.17/141.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.01 s
564.17/141.46	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
565.01/141.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
566.56/142.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
576.15/144.41	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.33 s
576.15/144.43	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.02
576.55/144.54	c vivif2 --  cl tried    49227 cl shrink        0 lits rem          0 time: 0.11
577.34/144.77	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.23
577.34/144.78	c calculated reachability. Time: 0.00
577.34/144.78	c  N dy  1526    238268     33974    145315         0     49227    441645   6259366    168.79   no data
612.07/153.42	c  N dy  1631    253477     33974    145315         0     36450    441645   2707180    168.89    187.19
648.78/162.68	c  N dy  1743    269665     33974    145315         0     52637    441645   6894526    169.07    182.09
688.68/172.65	c  N dy  1864    286975     33974    145315         0     40955    441645   3615691    169.09    182.08
731.83/183.46	c  N dy  1999    305332     33974    145315         0     59312    441645   8448326    169.31    186.08
734.19/184.02	c  F st  2004    306250     33974    145315         0     30241    441645    569839    169.28   no data
776.50/194.63	c  N dy  2097    324910     33974    145315         0     48900    441645   5934545    169.20    183.76
823.19/206.33	c  N dy  2234    345032     33974    145315         0     38019    441645   2258896    169.20    179.09
851.12/213.36	c  S st  2318    357402     33974    145315         0     50389    441645   5474176    169.32    163.10
852.32/213.67	c  S st  2318    357904     33974    145315         0     50891    441645   5558909    169.32   no data
852.32/213.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
853.12/213.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
853.12/213.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
853.12/213.86	c bin-w-bin subsume rem            0 bins  time:  0.01 s
853.12/213.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
853.12/213.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.01 s
853.53/213.90	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
853.93/214.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
855.52/214.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
863.90/216.52	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.07 s
863.90/216.54	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.02
864.30/216.64	c vivif2 --  cl tried    50890 cl shrink        0 lits rem          0 time: 0.10
865.09/216.87	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.23
865.09/216.89	c calculated reachability. Time: 0.00
865.09/216.89	c  N dy  2318    357904     33974    145315         0     50890    441645   5558849    169.32   no data
911.41/228.49	c  N dy  2449    378029     33974    145315         0     39017    441645   2247476    169.07    186.56
958.89/240.35	c  N dy  2588    398071     33974    145315         0     59059    441645   7418890    169.13    256.65
1004.78/251.88	c  N dy  2715    418109     33974    145315         0     46093    441645   3879078    169.19    222.34
1052.67/263.88	c  N dy  2847    438121     33974    145315         0     66103    441645   9111977    169.29    180.42
1098.98/275.46	c  N dy  2990    458146     33974    145315         0     52130    441645   5181098    169.35    181.98
1147.66/287.66	c  N dy  3131    478188     33974    145315         0     37170    441645   1059831    169.40    181.15
1193.95/299.29	c  N dy  3269    498239     33974    145315         0     57219    441645   6305841    169.49    218.35
1242.25/311.35	c  N dy  3408    518289     33974    145315         0     41272    441645   1864095    169.56    191.37
1285.35/322.12	c  S st  3531    536856     33974    145315         0     59837    441645   6607460    169.50   no data
1286.55/322.43	c  S st  3531    537359     33974    145315         0     60340    441645   6711191    169.50   no data
1286.55/322.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1286.95/322.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.13
1287.35/322.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1287.35/322.64	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1287.35/322.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1287.35/322.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.01 s
1287.35/322.68	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1288.16/322.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
1289.74/323.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1302.14/326.37	c lits-rem:         4  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.04 s
1302.14/326.39	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.02
1302.91/326.51	c vivif2 --  cl tried    60337 cl shrink        0 lits rem          0 time: 0.12
1303.71/326.76	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.25
1303.71/326.77	c calculated reachability. Time: 0.00
1303.71/326.77	c  N dy  3531    537359     33974    145315         0     60337    441645   6710486    169.50   no data
1352.40/338.99	c  N dy  3674    557445     33974    145315         0     43425    441645   2158498    169.58    179.05
1399.89/350.86	c  N dy  3813    577564     33974    145315         0     63541    441645   7395863    169.63    180.95
1448.19/362.98	c  N dy  3946    597644     33974    145315         0     45626    441645   2477523    169.62    185.96
1496.48/375.05	c  N dy  4089    617720     33974    145315         0     65701    441645   7764612    169.70    179.02
1545.58/387.38	c  N dy  4236    637898     33974    145315         0     46879    441645   2555713    169.74    183.52
1594.27/399.53	c  N dy  4370    658063     33974    145315         0     67042    441645   7878005    169.77    179.35
1643.36/411.83	c  N dy  4507    678098     33974    145315         0     47081    441645   2332245    169.79    186.28
1693.64/424.43	c  N dy  4641    698668     33974    145315         0     67649    441645   7631784    169.74    179.55
1743.52/436.91	c  N dy  4775    718789     33974    145315         0     46768    441645   1998142    169.77    180.58
1792.22/449.13	c  N dy  4917    739069     33974    145315         0     67047    441645   7340688    169.81    181.71
1842.54/461.78	c  N dy  5045    759205     33974    145315         0     45186    441645   1331314    169.76    182.33
1890.41/473.74	c  N dy  5185    779378     33974    145315         0     65358    441645   6664341    169.77    178.93
1942.28/486.70	c  N dy  5327    799467     33974    145315         0     85447    441645  11877691    169.79    210.29
1957.45/490.59	c  S st  5374    806038     33974    145315         0     49017    441645   2069035    169.80    151.03
1958.65/490.88	c  S st  5374    806540     33974    145315         0     49519    441645   2165379    169.80   no data
1959.05/490.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1959.45/491.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.11
1959.45/491.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1959.45/491.06	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1959.45/491.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1959.45/491.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.01 s
1959.85/491.10	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1960.25/491.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
1960.66/491.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1963.83/492.16	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.74 s
1963.83/492.18	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.02
1964.23/492.23	c vivif2 --  cl tried    49518 cl shrink        0 lits rem          0 time: 0.04
1965.05/492.46	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.23
1965.05/492.47	c calculated reachability. Time: 0.00
1965.05/492.48	c  N dy  5374    806540     33974    145315         0     49518    441645   2164476    169.80   no data
2013.76/504.65	c  N dy  5513    826591     33974    145315         0     69566    441645   7410412    169.83    179.46
2066.02/517.74	c  N dy  5653    846605     33974    145315         0     45582    441645    912046    169.92    180.60
2113.50/529.64	c  N dy  5784    866661     33974    145315         0     65638    441645   6131392    169.94    184.76
2164.58/542.45	c  N dy  5909    886734     33974    145315         0     85710    441645  11372219    169.90    193.79
2212.48/554.45	c  N dy  6039    906746     33974    145315         0     60723    441645   4623226    169.88    205.97
2262.36/566.98	c  N dy  6167    926884     33974    145315         0     80859    441645   9841248    169.86    189.07
2313.05/579.65	c  N dy  6304    946912     33974    145315         0     54892    441645   2801870    169.87    188.57
2362.54/592.02	c  N dy  6435    967101     33974    145315         0     75081    441645   8026769    169.85    180.18
2415.21/605.29	c  N dy  6576    987179     33974    145315         0     48163    441645    804930    169.89    183.38
2463.50/617.38	c  N dy  6714   1007246     33974    145315         0     68229    441645   6047460    169.91    195.02
2514.99/630.27	c  N dy  6850   1027285     33974    145315         0     88266    441645  11300744    169.92    179.25
2565.28/642.87	c  N dy  6981   1047363     33974    145315         0     60348    441645   3640007    169.90    181.39
2615.56/655.43	c  N dy  7107   1067396     33974    145315         0     80379    441645   8868224    169.89    184.79
2627.14/658.37	c  F st  7139   1071875     33974    145315         0     84858    441645  10042800    169.89    131.61
2668.24/668.61	c  N dy  7213   1087476     33974    145315         0     51456    441645   1173551    169.87    181.91
2717.34/680.90	c  N dy  7345   1107647     33974    145315         0     71626    441645   6495692    169.89    184.43
2770.02/694.14	c  N dy  7482   1127831     33974    145315         0     91809    441645  11769364    169.89    180.34
2821.13/706.96	c  N dy  7623   1147853     33974    145315         0     61830    441645   3656179    169.94    214.08
2871.79/719.65	c  N dy  7760   1167901     33974    145315         0     81876    441645   8858468    169.95    192.63
2925.66/733.16	c  N dy  7896   1187913     33974    145315         0    101885    441645  14103491    169.98    181.51
2975.18/745.51	c  N dy  8039   1207994     33974    145315         0     70971    441645   5754499    170.01    179.15
2979.94/746.70	c  S st  8053   1209810     33974    145315         0     72787    441645   6234630    170.01   no data
2981.14/747.04	c  S st  8053   1210318     33974    145315         0     73295    441645   6327868    170.01   no data
2981.14/747.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2981.94/747.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.14
2981.94/747.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2981.94/747.26	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2981.94/747.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2981.94/747.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.01 s
2982.34/747.30	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
2982.73/747.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
2984.33/747.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2998.29/751.33	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.39 s
2998.29/751.36	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.02
2998.69/751.47	c vivif2 --  cl tried    73292 cl shrink        0 lits rem          0 time: 0.12
2999.89/751.74	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.27
2999.89/751.75	c calculated reachability. Time: 0.00
2999.89/751.75	c  N dy  8053   1210318     33974    145315         0     73292    441645   6326218    170.01   no data
3053.38/765.12	c  N dy  8192   1230380     33974    145315         0     93353    441645  11507595    170.02    199.27
3105.67/778.29	c  N dy  8335   1250381     33974    145315         0     61358    441645   3080545    170.09    180.35
3155.94/790.84	c  N dy  8477   1270383     33974    145315         0     81359    441645   8339153    170.13    196.90
3210.22/804.40	c  N dy  8618   1290434     33974    145315         0    101409    441645  13554066    170.14    203.92
3260.91/817.11	c  N dy  8762   1310463     33974    145315         0     68437    441645   4606782    170.17    179.39
3312.82/830.18	c  N dy  8902   1330579     33974    145315         0     88553    441645   9978141    170.21    179.52
3368.27/844.03	c  N dy  9034   1350701     33974    145315         0     54689    441645    721317    170.19    183.11
3417.76/856.41	c  N dy  9169   1370716     33974    145315         0     74703    441645   6099502    170.24    199.15
3470.85/869.73	c  N dy  9312   1390726     33974    145315         0     94711    441645  11351939    170.26    185.15
3525.11/883.31	c  N dy  9444   1410776     33974    145315         0     59758    441645   1802908    170.26    181.94
3574.99/895.88	c  N dy  9579   1430869     33974    145315         0     79851    441645   7115491    170.28    252.96
3628.88/909.37	c  N dy  9719   1450930     33974    145315         0     99911    441645  12452932    170.32    188.79
3682.74/922.88	c  N dy  9861   1470947     33974    145315         0     63927    441645   2669204    170.36    182.16
3733.83/935.68	c  N dy 10001   1491026     33974    145315         0     84003    441645   8006783    170.40    180.54
3788.90/949.42	c  N dy 10137   1511057     33974    145315         0    104034    441645  13315600    170.42    180.24
3842.37/962.88	c  N dy 10276   1531090     33974    145315         0     67064    441645   3203827    170.44    180.89
3893.46/975.68	c  N dy 10410   1551110     33974    145315         0     87084    441645   8360998    170.42    181.81
3948.53/989.48	c  N dy 10547   1571133     33974    145315         0    107107    441645  13547318    170.44    179.63
4002.81/1003.02	c  N dy 10693   1591481     33974    145315         0     69456    441645   3534004    170.45    195.01
4054.71/1016.04	c  N dy 10832   1611601     33974    145315         0     89575    441645   8969649    170.49    179.54
4110.17/1029.97	c  N dy 10973   1631669     33974    145315         0    109642    441645  14289311    170.51    179.79
4163.65/1043.38	c  N dy 11110   1651721     33974    145315         0     70698    441645   3672248    170.52    203.94
4215.52/1056.38	c  N dy 11242   1671763     33974    145315         0     90738    441645   8876516    170.52    194.04
4270.59/1070.18	c  N dy 11373   1691793     33974    145315         0    110767    441645  14131446    170.51    182.98
4320.49/1082.65	c  S st 11494   1710319     33974    145315         0     69307    441645   3002508    170.50   no data
4321.69/1082.98	c  S st 11494   1710823     33974    145315         0     69811    441645   3094280    170.50   no data
4322.09/1083.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4322.51/1083.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.13
4322.51/1083.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4322.51/1083.20	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4322.92/1083.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4322.92/1083.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.01 s
4322.92/1083.24	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
4323.68/1083.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
4324.49/1083.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4332.06/1085.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  1.88 s
4332.06/1085.55	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.02
4332.46/1085.61	c vivif2 --  cl tried    69811 cl shrink        0 lits rem          0 time: 0.06
4333.26/1085.87	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.26
4333.26/1085.89	c calculated reachability. Time: 0.00
4333.26/1085.89	c  N dy 11494   1710823     33974    145315         0     69811    441645   3094280    170.50   no data
4385.14/1098.86	c  N dy 11623   1730965     33974    145315         0     89952    441645   8301486    170.49    186.77
4440.22/1112.61	c  N dy 11751   1751016     33974    145315         0    110000    441645  13500366    170.48    179.82
4495.69/1126.59	c  N dy 11895   1771058     33974    145315         0     69040    441645   2740599    170.53    188.53
4547.57/1139.57	c  N dy 12024   1791092     33974    145315         0     89074    441645   7944864    170.50    181.97
4602.65/1153.37	c  N dy 12163   1811165     33974    145315         0    109145    441645  13163480    170.51    186.25
4659.32/1167.57	c  N dy 12297   1831283     33974    145315         0     67261    441645   1988937    170.50    179.97
4712.79/1180.92	c  N dy 12437   1851398     33974    145315         0     87376    441645   7246265    170.51    180.55
4767.87/1194.77	c  N dy 12576   1871409     33974    145315         0    107385    441645  12440750    170.52    207.94

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.41 7.84 6.67 7/282 18441
/proc/meminfo: memFree=25073808/32951124 swapFree=67057896/67111528
[pid=18441] ppid=18439 vsize=51168 CPUtime=0.01 cores=0,2,4,6
/proc/18441/stat : 18441 (strangenight2-m) R 18439 18441 18306 0 -1 4202496 406 0 0 0 1 0 0 0 25 0 4 0 632309457 52396032 347 33554432000 4194304 4580107 140736685899088 18446744073709551615 47266577950640 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18441/statm: 12792 347 299 95 0 7774 0
[pid=18441/tid=18442] ppid=18439 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18441/task/18442/stat : 18442 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 632309458 52396032 347 33554432000 4194304 4580107 140736685899088 18446744073709551615 254261672945 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18441/tid=18443] ppid=18439 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18441/task/18443/stat : 18443 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 632309458 52396032 347 33554432000 4194304 4580107 140736685899088 18446744073709551615 47266577950642 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18441/tid=18444] ppid=18439 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18441/task/18444/stat : 18444 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 632309458 52396032 347 33554432000 4194304 4580107 140736685899088 18446744073709551615 47266577950642 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0867079 s]
/proc/loadavg: 7.41 7.84 6.67 7/282 18441
/proc/meminfo: memFree=25073808/32951124 swapFree=67057896/67111528
[pid=18441] ppid=18439 vsize=385132 CPUtime=0.29 cores=0,2,4,6
/proc/18441/stat : 18441 (strangenight2-m) S 18439 18441 18306 0 -1 4202496 19802 0 0 0 24 5 0 0 18 0 4 0 632309457 394375168 15684 33554432000 4194304 4580107 140736685899088 18446744073709551615 254261721582 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18441/statm: 96283 15684 337 95 0 91265 0
[pid=18441/tid=18442] ppid=18439 vsize=385132 CPUtime=0.05 cores=0,2,4,6
/proc/18441/task/18442/stat : 18442 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 4598 0 0 0 5 0 0 0 18 0 4 0 632309458 394375168 15684 33554432000 4194304 4580107 140736685899088 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18441/tid=18443] ppid=18439 vsize=385132 CPUtime=0.07 cores=0,2,4,6
/proc/18441/task/18443/stat : 18443 (strangenight2-m) S 18439 18441 18306 0 -1 4202560 5093 0 0 0 6 1 0 0 18 0 4 0 632309458 394375168 15684 33554432000 4194304 4580107 140736685899088 18446744073709551615 254261721582 0 0 4096 2 18446604449690352640 0 0 -1 2 0 0 0
[pid=18441/tid=18444] ppid=18439 vsize=385132 CPUtime=0.07 cores=0,2,4,6
/proc/18441/task/18444/stat : 18444 (strangenight2-m) S 18439 18441 18306 0 -1 4202560 4636 0 0 0 5 2 0 0 18 0 4 0 632309458 394375168 15684 33554432000 4194304 4580107 140736685899088 18446744073709551615 254261721582 0 0 4096 2 18446604449690352640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 385132

[startup+0.100677 s]
/proc/loadavg: 7.41 7.84 6.67 7/282 18441
/proc/meminfo: memFree=25073808/32951124 swapFree=67057896/67111528
[pid=18441] ppid=18439 vsize=385528 CPUtime=0.34 cores=0,2,4,6
/proc/18441/stat : 18441 (strangenight2-m) S 18439 18441 18306 0 -1 4202496 20670 0 0 0 28 6 0 0 18 0 4 0 632309457 394780672 16552 33554432000 4194304 4580107 140736685899088 18446744073709551615 254261721582 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18441/statm: 96382 16589 337 95 0 91364 0
[pid=18441/tid=18442] ppid=18439 vsize=385528 CPUtime=0.07 cores=0,2,4,6
/proc/18441/task/18442/stat : 18442 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 4964 0 0 0 6 1 0 0 18 0 4 0 632309458 394780672 16609 33554432000 4194304 4580107 140736685899088 18446744073709551615 4299456 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18441/tid=18443] ppid=18439 vsize=385528 CPUtime=0.08 cores=0,2,4,6
/proc/18441/task/18443/stat : 18443 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 5241 0 0 0 7 1 0 0 18 0 4 0 632309458 394780672 16633 33554432000 4194304 4580107 140736685899088 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18441/tid=18444] ppid=18439 vsize=385528 CPUtime=0.08 cores=0,2,4,6
/proc/18441/task/18444/stat : 18444 (strangenight2-m) S 18439 18441 18306 0 -1 4202560 4911 0 0 0 6 2 0 0 18 0 4 0 632309458 394780672 16635 33554432000 4194304 4580107 140736685899088 18446744073709551615 254261721582 0 0 4096 2 18446604449690352640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 385528

[startup+0.381223 s]
/proc/loadavg: 7.41 7.84 6.67 7/282 18441
/proc/meminfo: memFree=25073808/32951124 swapFree=67057896/67111528
[pid=18441] ppid=18439 vsize=400340 CPUtime=1.43 cores=0,2,4,6
/proc/18441/stat : 18441 (strangenight2-m) R 18439 18441 18306 0 -1 4202496 29376 0 0 0 130 13 0 0 18 0 4 0 632309457 409948160 25258 33554432000 4194304 4580107 140736685899088 18446744073709551615 254261277381 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18441/statm: 100151 25645 363 95 0 95133 0
[pid=18441/tid=18442] ppid=18439 vsize=400604 CPUtime=0.34 cores=0,2,4,6
/proc/18441/task/18442/stat : 18442 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 7236 0 0 0 31 3 0 0 18 0 4 0 632309458 410218496 25663 33554432000 4194304 4580107 140736685899088 18446744073709551615 254261313647 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18441/tid=18443] ppid=18439 vsize=402368 CPUtime=0.36 cores=0,2,4,6
/proc/18441/task/18443/stat : 18443 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 7637 0 0 0 33 3 0 0 18 0 4 0 632309458 412024832 26624 33554432000 4194304 4580107 140736685899088 18446744073709551615 254261277729 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18441/tid=18444] ppid=18439 vsize=402368 CPUtime=0.36 cores=0,2,4,6
/proc/18441/task/18444/stat : 18444 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 6341 0 0 0 33 3 0 0 18 0 4 0 632309458 412024832 26929 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 400340

[startup+1.33836 s]
/proc/loadavg: 7.41 7.84 6.67 7/282 18441
/proc/meminfo: memFree=25073808/32951124 swapFree=67057896/67111528
[pid=18441] ppid=18439 vsize=420524 CPUtime=5.2 cores=0,2,4,6
/proc/18441/stat : 18441 (strangenight2-m) R 18439 18441 18306 0 -1 4202496 52137 0 0 0 503 17 0 0 19 0 4 0 632309457 430616576 38712 33554432000 4194304 4580107 140736685899088 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18441/statm: 105131 38712 377 95 0 100113 0
[pid=18441/tid=18442] ppid=18439 vsize=420524 CPUtime=1.28 cores=0,2,4,6
/proc/18441/task/18442/stat : 18442 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 15150 0 0 0 124 4 0 0 19 0 4 0 632309458 430616576 38712 33554432000 4194304 4580107 140736685899088 18446744073709551615 4321188 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18441/tid=18443] ppid=18439 vsize=420524 CPUtime=1.3 cores=0,2,4,6
/proc/18441/task/18443/stat : 18443 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 14758 0 0 0 125 5 0 0 19 0 4 0 632309458 430616576 38712 33554432000 4194304 4580107 140736685899088 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18441/tid=18444] ppid=18439 vsize=420524 CPUtime=1.29 cores=0,2,4,6
/proc/18441/task/18444/stat : 18444 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 6910 0 0 0 126 3 0 0 19 0 4 0 632309458 430616576 38712 33554432000 4194304 4580107 140736685899088 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.2
Current children cumulated vsize (KiB) 420524

[startup+1.50033 s]
/proc/loadavg: 7.41 7.84 6.67 7/282 18441
/proc/meminfo: memFree=25073808/32951124 swapFree=67057896/67111528
[pid=18441] ppid=18439 vsize=420524 CPUtime=5.85 cores=0,2,4,6
/proc/18441/stat : 18441 (strangenight2-m) R 18439 18441 18306 0 -1 4202496 52559 0 0 0 568 17 0 0 19 0 4 0 632309457 430616576 39134 33554432000 4194304 4580107 140736685899088 18446744073709551615 4306071 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18441/statm: 105131 39134 377 95 0 100113 0
[pid=18441/tid=18442] ppid=18439 vsize=420524 CPUtime=1.44 cores=0,2,4,6
/proc/18441/task/18442/stat : 18442 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 15259 0 0 0 140 4 0 0 19 0 4 0 632309458 430616576 39134 33554432000 4194304 4580107 140736685899088 18446744073709551615 4320772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18441/tid=18443] ppid=18439 vsize=420524 CPUtime=1.46 cores=0,2,4,6
/proc/18441/task/18443/stat : 18443 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 14872 0 0 0 141 5 0 0 19 0 4 0 632309458 430616576 39134 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18441/tid=18444] ppid=18439 vsize=420524 CPUtime=1.45 cores=0,2,4,6
/proc/18441/task/18444/stat : 18444 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 7003 0 0 0 142 3 0 0 19 0 4 0 632309458 430616576 39134 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 420524

[startup+3.10105 s]
/proc/loadavg: 7.41 7.84 6.67 9/286 18446
/proc/meminfo: memFree=24857248/32951124 swapFree=67057896/67111528
[pid=18441] ppid=18439 vsize=551788 CPUtime=12.23 cores=0,2,4,6
/proc/18441/stat : 18441 (strangenight2-m) R 18439 18441 18306 0 -1 4202496 56145 0 0 0 1206 17 0 0 23 0 4 0 632309457 565030912 42720 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18441/statm: 137947 42720 377 95 0 132929 0
[pid=18441/tid=18442] ppid=18439 vsize=551788 CPUtime=3.04 cores=0,2,4,6
/proc/18441/task/18442/stat : 18442 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 16158 0 0 0 300 4 0 0 24 0 4 0 632309458 565030912 42720 33554432000 4194304 4580107 140736685899088 18446744073709551615 4321152 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18441/tid=18443] ppid=18439 vsize=551788 CPUtime=3.06 cores=0,2,4,6
/proc/18441/task/18443/stat : 18443 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 15796 0 0 0 301 5 0 0 23 0 4 0 632309458 565030912 42720 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18441/tid=18444] ppid=18439 vsize=551788 CPUtime=3.05 cores=0,2,4,6
/proc/18441/task/18444/stat : 18444 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 7819 0 0 0 302 3 0 0 22 0 4 0 632309458 565030912 42720 33554432000 4194304 4580107 140736685899088 18446744073709551615 4318702 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 551788

[startup+6.31048 s]
/proc/loadavg: 7.53 7.86 6.69 9/286 18446
/proc/meminfo: memFree=24753764/32951124 swapFree=67057896/67111528
[pid=18441] ppid=18439 vsize=553836 CPUtime=25.04 cores=0,2,4,6
/proc/18441/stat : 18441 (strangenight2-m) R 18439 18441 18306 0 -1 4202496 63279 0 0 0 2485 19 0 0 25 0 4 0 632309457 567128064 49854 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18441/statm: 138459 49854 377 95 0 133441 0
[pid=18441/tid=18442] ppid=18439 vsize=553836 CPUtime=6.25 cores=0,2,4,6
/proc/18441/task/18442/stat : 18442 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 17868 0 0 0 621 4 0 0 25 0 4 0 632309458 567128064 49854 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18441/tid=18443] ppid=18439 vsize=553836 CPUtime=6.27 cores=0,2,4,6
/proc/18441/task/18443/stat : 18443 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 17454 0 0 0 622 5 0 0 25 0 4 0 632309458 567128064 49854 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18441/tid=18444] ppid=18439 vsize=553836 CPUtime=6.27 cores=0,2,4,6
/proc/18441/task/18444/stat : 18444 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 9911 0 0 0 623 4 0 0 25 0 4 0 632309458 567128064 49854 33554432000 4194304 4580107 140736685899088 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 553836

[startup+12.7004 s]
/proc/loadavg: 7.57 7.86 6.69 9/286 18446
/proc/meminfo: memFree=24726924/32951124 swapFree=67057896/67111528
[pid=18441] ppid=18439 vsize=453776 CPUtime=50.54 cores=0,2,4,6
/proc/18441/stat : 18441 (strangenight2-m) R 18439 18441 18306 0 -1 4202496 82968 0 0 0 5029 25 0 0 25 0 4 0 632309457 464666624 45504 33554432000 4194304 4580107 140736685899088 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18441/statm: 113444 45504 378 95 0 108426 0
[pid=18441/tid=18442] ppid=18439 vsize=453776 CPUtime=12.64 cores=0,2,4,6
/proc/18441/task/18442/stat : 18442 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 22859 0 0 0 1258 6 0 0 25 0 4 0 632309458 464666624 45504 33554432000 4194304 4580107 140736685899088 18446744073709551615 4295365 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18441/tid=18443] ppid=18439 vsize=453776 CPUtime=12.66 cores=0,2,4,6
/proc/18441/task/18443/stat : 18443 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 22318 0 0 0 1260 6 0 0 25 0 4 0 632309458 464666624 45504 33554432000 4194304 4580107 140736685899088 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18441/tid=18444] ppid=18439 vsize=453776 CPUtime=12.66 cores=0,2,4,6
/proc/18441/task/18444/stat : 18444 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 14754 0 0 0 1260 6 0 0 25 0 4 0 632309458 464666624 45504 33554432000 4194304 4580107 140736685899088 18446744073709551615 4322552 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 453776

[startup+25.5011 s]
/proc/loadavg: 7.75 7.89 6.72 9/286 18446
/proc/meminfo: memFree=24443456/32951124 swapFree=67057896/67111528
[pid=18441] ppid=18439 vsize=603004 CPUtime=101.62 cores=0,2,4,6
/proc/18441/stat : 18441 (strangenight2-m) R 18439 18441 18306 0 -1 4202496 171715 0 0 0 10117 45 0 0 25 0 4 0 632309457 617476096 100573 33554432000 4194304 4580107 140736685899088 18446744073709551615 4318708 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18441/statm: 150751 100573 379 95 0 145733 0
[pid=18441/tid=18442] ppid=18439 vsize=603004 CPUtime=25.44 cores=0,2,4,6
/proc/18441/task/18442/stat : 18442 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 57919 0 0 0 2528 16 0 0 25 0 4 0 632309458 617476096 100573 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18441/tid=18443] ppid=18439 vsize=603004 CPUtime=25.45 cores=0,2,4,6
/proc/18441/task/18443/stat : 18443 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 38763 0 0 0 2536 9 0 0 25 0 4 0 632309458 617476096 100573 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18441/tid=18444] ppid=18439 vsize=603004 CPUtime=25.45 cores=0,2,4,6
/proc/18441/task/18444/stat : 18444 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 23135 0 0 0 2537 8 0 0 25 0 4 0 632309458 617476096 100573 33554432000 4194304 4580107 140736685899088 18446744073709551615 4294347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.62
Current children cumulated vsize (KiB) 603004

[startup+51.1006 s]
/proc/loadavg: 7.83 7.89 6.75 9/286 18447
/proc/meminfo: memFree=24269468/32951124 swapFree=67057896/67111528
[pid=18441] ppid=18439 vsize=726132 CPUtime=203.79 cores=0,2,4,6
/proc/18441/stat : 18441 (strangenight2-m) R 18439 18441 18306 0 -1 4202496 259185 0 0 0 20311 68 0 0 25 0 4 0 632309457 743559168 130784 33554432000 4194304 4580107 140736685899088 18446744073709551615 4295890 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18441/statm: 181533 130784 379 95 0 176515 0
[pid=18441/tid=18442] ppid=18439 vsize=726132 CPUtime=51.04 cores=0,2,4,6
/proc/18441/task/18442/stat : 18442 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 73258 0 0 0 5083 21 0 0 25 0 4 0 632309458 743559168 130784 33554432000 4194304 4580107 140736685899088 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18441/tid=18443] ppid=18439 vsize=726132 CPUtime=51.05 cores=0,2,4,6
/proc/18441/task/18443/stat : 18443 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 63816 0 0 0 5088 17 0 0 25 0 4 0 632309458 743559168 130784 33554432000 4194304 4580107 140736685899088 18446744073709551615 4452118 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18441/tid=18444] ppid=18439 vsize=726132 CPUtime=51.05 cores=0,2,4,6
/proc/18441/task/18444/stat : 18444 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 51102 0 0 0 5091 14 0 0 25 0 4 0 632309458 743559168 130784 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 726132

[startup+102.301 s]
/proc/loadavg: 8.09 7.95 6.83 9/286 18448
/proc/meminfo: memFree=24004068/32951124 swapFree=67057896/67111528
[pid=18441] ppid=18439 vsize=1123432 CPUtime=408.12 cores=0,2,4,6
/proc/18441/stat : 18441 (strangenight2-m) R 18439 18441 18306 0 -1 4202496 384964 0 0 0 40713 99 0 0 25 0 4 0 632309457 1150394368 189092 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18441/statm: 280858 189092 379 95 0 275840 0
[pid=18441/tid=18442] ppid=18439 vsize=1123432 CPUtime=102.23 cores=0,2,4,6
/proc/18441/task/18442/stat : 18442 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 98126 0 0 0 10197 26 0 0 25 0 4 0 632309458 1150394368 189092 33554432000 4194304 4580107 140736685899088 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18441/tid=18443] ppid=18439 vsize=1123432 CPUtime=102.24 cores=0,2,4,6
/proc/18441/task/18443/stat : 18443 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 92149 0 0 0 10199 25 0 0 25 0 4 0 632309458 1150394368 189092 33554432000 4194304 4580107 140736685899088 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18441/tid=18444] ppid=18439 vsize=1123432 CPUtime=102.25 cores=0,2,4,6
/proc/18441/task/18444/stat : 18444 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 82881 0 0 0 10202 23 0 0 25 0 4 0 632309458 1150394368 189092 33554432000 4194304 4580107 140736685899088 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.12
Current children cumulated vsize (KiB) 1123432

[startup+162.301 s]

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

[pid=18441] ppid=18439 vsize=1610544 CPUtime=2563.28 cores=0,2,4,6
/proc/18441/stat : 18441 (strangenight2-m) R 18439 18441 18306 0 -1 4202496 1340441 0 0 0 255945 383 0 0 25 0 4 0 632309457 1649197056 313557 33554432000 4194304 4580107 140736685899088 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18441/statm: 402636 313557 379 95 0 397618 0
[pid=18441/tid=18442] ppid=18439 vsize=1610544 CPUtime=642.24 cores=0,2,4,6
/proc/18441/task/18442/stat : 18442 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 310494 0 0 0 64137 87 0 0 25 0 4 0 632309458 1649197056 313557 33554432000 4194304 4580107 140736685899088 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18441/tid=18443] ppid=18439 vsize=1610544 CPUtime=642.15 cores=0,2,4,6
/proc/18441/task/18443/stat : 18443 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 341143 0 0 0 64118 97 0 0 25 0 4 0 632309458 1649197056 313557 33554432000 4194304 4580107 140736685899088 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18441/tid=18444] ppid=18439 vsize=1610544 CPUtime=642.22 cores=0,2,4,6
/proc/18441/task/18444/stat : 18444 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 336385 0 0 0 64125 97 0 0 25 0 4 0 632309458 1649197056 313557 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2563.28
Current children cumulated vsize (KiB) 1610544

[startup+702.3 s]
/proc/loadavg: 8.17 8.12 7.43 9/286 18464
/proc/meminfo: memFree=23274824/32951124 swapFree=67057896/67111528
[pid=18441] ppid=18439 vsize=1425688 CPUtime=2802.75 cores=0,2,4,6
/proc/18441/stat : 18441 (strangenight2-m) R 18439 18441 18306 0 -1 4202496 1442709 0 0 0 279864 411 0 0 25 0 4 0 632309457 1459904512 306072 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18441/statm: 356422 306072 379 95 0 351404 0
[pid=18441/tid=18442] ppid=18439 vsize=1425688 CPUtime=702.23 cores=0,2,4,6
/proc/18441/task/18442/stat : 18442 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 332485 0 0 0 70129 94 0 0 25 0 4 0 632309458 1459904512 306072 33554432000 4194304 4580107 140736685899088 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18441/tid=18443] ppid=18439 vsize=1425688 CPUtime=702.15 cores=0,2,4,6
/proc/18441/task/18443/stat : 18443 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 369342 0 0 0 70111 104 0 0 25 0 4 0 632309458 1459904512 306072 33554432000 4194304 4580107 140736685899088 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18441/tid=18444] ppid=18439 vsize=1425688 CPUtime=702.21 cores=0,2,4,6
/proc/18441/task/18444/stat : 18444 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 364389 0 0 0 70117 104 0 0 25 0 4 0 632309458 1459904512 306072 33554432000 4194304 4580107 140736685899088 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2802.75
Current children cumulated vsize (KiB) 1425688

[startup+762.301 s]
/proc/loadavg: 8.15 8.12 7.47 9/286 18475
/proc/meminfo: memFree=23019100/32951124 swapFree=67057896/67111528
[pid=18441] ppid=18439 vsize=1678064 CPUtime=3042.19 cores=0,2,4,6
/proc/18441/stat : 18441 (strangenight2-m) R 18439 18441 18306 0 -1 4202496 1546026 0 0 0 303779 440 0 0 25 0 4 0 632309457 1718337536 348123 33554432000 4194304 4580107 140736685899088 18446744073709551615 4320729 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18441/statm: 419516 348123 379 95 0 414498 0
[pid=18441/tid=18442] ppid=18439 vsize=1678064 CPUtime=762.24 cores=0,2,4,6
/proc/18441/task/18442/stat : 18442 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 362342 0 0 0 76123 101 0 0 25 0 4 0 632309458 1718337536 348123 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18441/tid=18443] ppid=18439 vsize=1678064 CPUtime=762.14 cores=0,2,4,6
/proc/18441/task/18443/stat : 18443 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 392698 0 0 0 76102 112 0 0 25 0 4 0 632309458 1718337536 348123 33554432000 4194304 4580107 140736685899088 18446744073709551615 4318305 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18441/tid=18444] ppid=18439 vsize=1678064 CPUtime=762.2 cores=0,2,4,6
/proc/18441/task/18444/stat : 18444 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 390756 0 0 0 76108 112 0 0 25 0 4 0 632309458 1718337536 348123 33554432000 4194304 4580107 140736685899088 18446744073709551615 4294363 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3042.19
Current children cumulated vsize (KiB) 1678064

[startup+822.301 s]
/proc/loadavg: 8.10 8.11 7.51 9/286 18476
/proc/meminfo: memFree=23113948/32951124 swapFree=67057896/67111528
[pid=18441] ppid=18439 vsize=1632528 CPUtime=3281.67 cores=0,2,4,6
/proc/18441/stat : 18441 (strangenight2-m) R 18439 18441 18306 0 -1 4202496 1634033 0 0 0 327699 468 0 0 25 0 4 0 632309457 1671708672 332351 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293131 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18441/statm: 408132 332351 379 95 0 403114 0
[pid=18441/tid=18442] ppid=18439 vsize=1632528 CPUtime=822.23 cores=0,2,4,6
/proc/18441/task/18442/stat : 18442 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 385146 0 0 0 82116 107 0 0 25 0 4 0 632309458 1671708672 332351 33554432000 4194304 4580107 140736685899088 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18441/tid=18443] ppid=18439 vsize=1632528 CPUtime=822.13 cores=0,2,4,6
/proc/18441/task/18443/stat : 18443 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 419530 0 0 0 82092 121 0 0 25 0 4 0 632309458 1671708672 332351 33554432000 4194304 4580107 140736685899088 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18441/tid=18444] ppid=18439 vsize=1632528 CPUtime=822.2 cores=0,2,4,6
/proc/18441/task/18444/stat : 18444 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 409847 0 0 0 82102 118 0 0 25 0 4 0 632309458 1671708672 332351 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3281.67
Current children cumulated vsize (KiB) 1632528

[startup+882.301 s]
/proc/loadavg: 8.08 8.10 7.54 9/286 18478
/proc/meminfo: memFree=23004068/32951124 swapFree=67057896/67111528
[pid=18441] ppid=18439 vsize=1633272 CPUtime=3521.11 cores=0,2,4,6
/proc/18441/stat : 18441 (strangenight2-m) R 18439 18441 18306 0 -1 4202496 1725692 0 0 0 351615 496 0 0 20 0 4 0 632309457 1672470528 355661 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293131 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18441/statm: 408318 355661 379 95 0 403300 0
[pid=18441/tid=18442] ppid=18439 vsize=1633272 CPUtime=882.24 cores=0,2,4,6
/proc/18441/task/18442/stat : 18442 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 405867 0 0 0 88110 114 0 0 25 0 4 0 632309458 1672470528 355661 33554432000 4194304 4580107 140736685899088 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18441/tid=18443] ppid=18439 vsize=1633272 CPUtime=882.12 cores=0,2,4,6
/proc/18441/task/18443/stat : 18443 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 445297 0 0 0 88083 129 0 0 25 0 4 0 632309458 1672470528 355661 33554432000 4194304 4580107 140736685899088 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18441/tid=18444] ppid=18439 vsize=1633272 CPUtime=882.19 cores=0,2,4,6
/proc/18441/task/18444/stat : 18444 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 430741 0 0 0 88094 125 0 0 25 0 4 0 632309458 1672470528 355661 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3521.11
Current children cumulated vsize (KiB) 1633272

[startup+942.301 s]
/proc/loadavg: 8.14 8.11 7.58 9/286 18480
/proc/meminfo: memFree=23005032/32951124 swapFree=67057896/67111528
[pid=18441] ppid=18439 vsize=1681520 CPUtime=3760.59 cores=0,2,4,6
/proc/18441/stat : 18441 (strangenight2-m) R 18439 18441 18306 0 -1 4202496 1822247 0 0 0 375533 526 0 0 25 0 4 0 632309457 1721876480 349592 33554432000 4194304 4580107 140736685899088 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18441/statm: 420380 349592 379 95 0 415362 0
[pid=18441/tid=18442] ppid=18439 vsize=1681520 CPUtime=942.24 cores=0,2,4,6
/proc/18441/task/18442/stat : 18442 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 432537 0 0 0 94102 122 0 0 25 0 4 0 632309458 1721876480 349596 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18441/tid=18443] ppid=18439 vsize=1681520 CPUtime=942.11 cores=0,2,4,6
/proc/18441/task/18443/stat : 18443 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 468100 0 0 0 94075 136 0 0 25 0 4 0 632309458 1721876480 349596 33554432000 4194304 4580107 140736685899088 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18441/tid=18444] ppid=18439 vsize=1681520 CPUtime=942.2 cores=0,2,4,6
/proc/18441/task/18444/stat : 18444 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 457721 0 0 0 94087 133 0 0 25 0 4 0 632309458 1721876480 349596 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3760.59
Current children cumulated vsize (KiB) 1681520

[startup+1002.3 s]
/proc/loadavg: 8.15 8.12 7.61 9/286 18481
/proc/meminfo: memFree=22788756/32951124 swapFree=67057896/67111528
[pid=18441] ppid=18439 vsize=1716216 CPUtime=4000.02 cores=0,2,4,6
/proc/18441/stat : 18441 (strangenight2-m) R 18439 18441 18306 0 -1 4202496 1915797 0 0 0 399446 556 0 0 25 0 4 0 632309457 1757405184 358174 33554432000 4194304 4580107 140736685899088 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18441/statm: 429054 358174 379 95 0 424036 0
[pid=18441/tid=18442] ppid=18439 vsize=1716216 CPUtime=1002.23 cores=0,2,4,6
/proc/18441/task/18442/stat : 18442 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 456764 0 0 0 100094 129 0 0 25 0 4 0 632309458 1757405184 358174 33554432000 4194304 4580107 140736685899088 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18441/tid=18443] ppid=18439 vsize=1716216 CPUtime=1002.1 cores=0,2,4,6
/proc/18441/task/18443/stat : 18443 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 493304 0 0 0 100065 145 0 0 25 0 4 0 632309458 1757405184 358174 33554432000 4194304 4580107 140736685899088 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18441/tid=18444] ppid=18439 vsize=1716216 CPUtime=1002.19 cores=0,2,4,6
/proc/18441/task/18444/stat : 18444 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 483521 0 0 0 100078 141 0 0 25 0 4 0 632309458 1757405184 358174 33554432000 4194304 4580107 140736685899088 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4000.02
Current children cumulated vsize (KiB) 1716216

[startup+1062.31 s]
/proc/loadavg: 8.14 8.12 7.64 9/286 18483
/proc/meminfo: memFree=22872944/32951124 swapFree=67057896/67111528
[pid=18441] ppid=18439 vsize=1683684 CPUtime=4239.51 cores=0,2,4,6
/proc/18441/stat : 18441 (strangenight2-m) R 18439 18441 18306 0 -1 4202496 2010876 0 0 0 423366 585 0 0 25 0 4 0 632309457 1724092416 350547 33554432000 4194304 4580107 140736685899088 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18441/statm: 420921 350547 379 95 0 415903 0
[pid=18441/tid=18442] ppid=18439 vsize=1683684 CPUtime=1062.24 cores=0,2,4,6
/proc/18441/task/18442/stat : 18442 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 479192 0 0 0 106087 137 0 0 25 0 4 0 632309458 1724092416 350547 33554432000 4194304 4580107 140736685899088 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18441/tid=18443] ppid=18439 vsize=1683684 CPUtime=1062.09 cores=0,2,4,6
/proc/18441/task/18443/stat : 18443 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 515818 0 0 0 106057 152 0 0 25 0 4 0 632309458 1724092416 350547 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18441/tid=18444] ppid=18439 vsize=1683684 CPUtime=1062.19 cores=0,2,4,6
/proc/18441/task/18444/stat : 18444 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 508329 0 0 0 106071 148 0 0 25 0 4 0 632309458 1724092416 350547 33554432000 4194304 4580107 140736685899088 18446744073709551615 4318711 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4239.51
Current children cumulated vsize (KiB) 1683684

[startup+1122.3 s]
/proc/loadavg: 8.08 8.11 7.67 9/286 18484
/proc/meminfo: memFree=22722748/32951124 swapFree=67057896/67111528
[pid=18441] ppid=18439 vsize=1702220 CPUtime=4478.93 cores=0,2,4,6
/proc/18441/stat : 18441 (strangenight2-m) R 18439 18441 18306 0 -1 4202496 2100715 0 0 0 447282 611 0 0 25 0 4 0 632309457 1743073280 363219 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18441/statm: 425555 363219 379 95 0 420537 0
[pid=18441/tid=18442] ppid=18439 vsize=1702220 CPUtime=1122.23 cores=0,2,4,6
/proc/18441/task/18442/stat : 18442 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 504397 0 0 0 112078 145 0 0 25 0 4 0 632309458 1743073280 363219 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293802 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18441/tid=18443] ppid=18439 vsize=1702220 CPUtime=1122.07 cores=0,2,4,6
/proc/18441/task/18443/stat : 18443 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 536610 0 0 0 112050 157 0 0 25 0 4 0 632309458 1743073280 363219 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18441/tid=18444] ppid=18439 vsize=1702220 CPUtime=1122.18 cores=0,2,4,6
/proc/18441/task/18444/stat : 18444 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 531175 0 0 0 112063 155 0 0 25 0 4 0 632309458 1743073280 363219 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293828 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4478.93
Current children cumulated vsize (KiB) 1702220

[startup+1182.3 s]
/proc/loadavg: 8.19 8.13 7.70 9/286 18486
/proc/meminfo: memFree=22735384/32951124 swapFree=67057896/67111528
[pid=18441] ppid=18439 vsize=1916276 CPUtime=4718.38 cores=0,2,4,6
/proc/18441/stat : 18441 (strangenight2-m) R 18439 18441 18306 0 -1 4202496 2209095 0 0 0 471197 641 0 0 25 0 4 0 632309457 1962266624 372123 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293097 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18441/statm: 479069 372123 379 95 0 474051 0
[pid=18441/tid=18442] ppid=18439 vsize=1916276 CPUtime=1182.22 cores=0,2,4,6
/proc/18441/task/18442/stat : 18442 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 526410 0 0 0 118071 151 0 0 25 0 4 0 632309458 1962266624 372123 33554432000 4194304 4580107 140736685899088 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18441/tid=18443] ppid=18439 vsize=1916276 CPUtime=1182.06 cores=0,2,4,6
/proc/18441/task/18443/stat : 18443 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 580297 0 0 0 118039 167 0 0 25 0 4 0 632309458 1962266624 372123 33554432000 4194304 4580107 140736685899088 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18441/tid=18444] ppid=18439 vsize=1916276 CPUtime=1182.17 cores=0,2,4,6
/proc/18441/task/18444/stat : 18444 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 553215 0 0 0 118057 160 0 0 25 0 4 0 632309458 1962266624 372123 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293923 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4718.38
Current children cumulated vsize (KiB) 1916276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.21 8.14 7.71 5/281 18488
/proc/meminfo: memFree=23556424/32951124 swapFree=67057896/67111528
[pid=18441] ppid=18439 vsize=1850808 CPUtime=4800.21 cores=0,2,4,6
/proc/18441/stat : 18441 (strangenight2-m) R 18439 18441 18306 0 -1 4202496 2237694 0 0 0 479373 648 0 0 25 0 4 0 632309457 1895227392 382704 33554432000 4194304 4580107 140736685899088 18446744073709551615 4294389 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18441/statm: 462702 382704 379 95 0 457684 0
[pid=18441/tid=18442] ppid=18439 vsize=1850808 CPUtime=1202.73 cores=0,2,4,6
/proc/18441/task/18442/stat : 18442 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 534192 0 0 0 120120 153 0 0 25 0 4 0 632309458 1895227392 382707 33554432000 4194304 4580107 140736685899088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18441/tid=18443] ppid=18439 vsize=1850808 CPUtime=1202.57 cores=0,2,4,6
/proc/18441/task/18443/stat : 18443 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 585795 0 0 0 120088 169 0 0 25 0 4 0 632309458 1895227392 382707 33554432000 4194304 4580107 140736685899088 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18441/tid=18444] ppid=18439 vsize=1850808 CPUtime=1202.68 cores=0,2,4,6
/proc/18441/task/18444/stat : 18444 (strangenight2-m) R 18439 18441 18306 0 -1 4202560 560992 0 0 0 120106 162 0 0 25 0 4 0 632309458 1895227392 382707 33554432000 4194304 4580107 140736685899088 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 1850808

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): 1202.88
CPU time (s): 4800.32
CPU user time (s): 4793.77
CPU system time (s): 6.555
CPU usage (%): 399.068
Max. virtual memory (cumulated for all children) (KiB): 1916276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.77
system time used= 6.555
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2237704
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= 15165
involuntary context switches= 21809

runsolver used 3.12153 second user time and 7.44187 second system time

The end

Launcher Data 

Begin job on node140 at 2011-05-14 20:49:01
IDJOB=3366213
IDBENCH=82622
IDSOLVER=1844
FILE ID=node140/3366213-1305398941
RUNJOBID= node140-1305397736-18324
PBS_JOBID= 13324465
Free space on /tmp= 73480 MiB

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

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

MD5SUM BENCH= 48acd8df0141c3f57a132eb6d7253d5f
RANDOM SEED=1275113828

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25074096 kB
Buffers:        295420 kB
Cached:        3723124 kB
SwapCached:       8056 kB
Active:        4891624 kB
Inactive:      2676144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25074096 kB
SwapTotal:    67111528 kB
SwapFree:     67057896 kB
Dirty:           14408 kB
Writeback:           4 kB
AnonPages:     3546032 kB
Mapped:          22792 kB
Slab:           224704 kB
PageTables:      21680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 45663252 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= 73472 MiB
End job on node140 at 2011-05-14 21:09:06