Trace number 3366208

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.27 1203.09

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v40000-c168000-S64788608-008-UNKNOWN.cnf
MD5SUMc0e1e71ade06eb64bd0f5dbaf6b892a1
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark138.192
Satisfiable
(Un)Satisfiability was proved
Number of variables40000
Number of clauses168000
Sum of the clauses size504000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3168000
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-3366208-1305398673.cnf'
0.00/0.01	c -- header says num vars:          40000
0.00/0.01	c -- header says num clauses:      168000
0.33/0.19	c -- clauses added:            0 learnts,       168000 normals,            0 xors
0.33/0.19	c -- vars added      40000
0.33/0.19	c Parsing time:  0.11 s
0.33/0.19	c  N st     0         0     40000    168000         0         0    504000         0   no data   no data
0.64/0.44	c asymm  cl-useful: 0/168000/168000 lits-rem:0 time: 0.16
0.64/0.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
1.95/0.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.95/0.54	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.95/0.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.95/0.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  40000 time:  0.01 s
1.95/0.62	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
1.95/0.92	c lits-rem:         0  cl-subs:        0  v-elim:    968  v-fix:    0  time:  0.29 s
1.95/0.92	c Finding binary XORs  T:     0.01 s  found:       0
1.95/1.36	c Finding non-binary XORs:     0.06 s (found:       0, avg size: nan)
1.95/1.36	c calculated reachability. Time: 0.00
1.95/1.36	c Calc default polars -  time:   0.02 s pos:   17771 undec:    4428 neg:   17801
1.95/1.36	c =========================================================================================
1.95/1.36	c types(t): F = full restart, N = normal restart
1.95/1.36	c types(t): S = simplification begin/end, E = solution found
1.95/1.36	c restart types(rt): st = static, dy = dynamic
1.95/1.36	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.95/1.36	c  B st     0         0     39032    166897         0         0    506628         0   no data   no data
12.25/3.15	c  N dy    20      4047     39032    166897         0      4047    506628   1286137    180.64    213.75
21.03/5.31	c  N dy    48      8156     39032    166897         0      8156    506628   2351589    177.54    187.33
29.39/7.46	c  N dy    75     12172     39032    166897         0     12172    506628   3395126    177.10    196.90
38.58/9.73	c  N dy   104     16277     39032    166897         0     16274    506628   4469883    176.89    186.78
47.72/12.07	c  N dy   131     20355     39032    166897         0     10356    506628    766737    177.23    190.92
56.50/14.24	c  N dy   155     24503     39032    166897         0     14504    506628   1835074    175.31    187.11
57.70/14.52	c  F st   159     25000     39032    166897         0     15001    506628   1969956    175.45    161.64
69.30/17.47	c  N dy   165     30000     39032    166897         0     20001    506628   3840798    175.45   no data
69.30/17.47	c  S st   165     30000     39032    166897         0     20001    506628   3840798    175.45   no data
70.46/17.76	c  S st   165     30504     39032    166897         0     20505    506628   3954420    175.45   no data
70.46/17.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
70.85/17.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.10
71.25/17.95	c blocked clauses removed:      799 vars:    132 tried:       39032 T: 0.02 s
71.25/17.96	c bin-w-bin subsume rem            0 bins  time:  0.01 s
71.25/17.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
71.25/17.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38900 time:  0.01 s
71.66/18.01	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
72.46/18.22	c lits-rem:         0  cl-subs:        0  v-elim:     26  v-fix:    0  time:  0.21 s
74.05/18.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
77.66/19.56	c lits-rem:         7  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.89 s
78.44/19.77	c asymm  cl-useful: 0/166076/166076 lits-rem:0 time: 0.20
78.44/19.78	c calculated reachability. Time: 0.00
78.44/19.78	c  N dy   165     30504     38874    166076         0     20111    504337   3675931    175.45   no data
87.62/22.08	c  N dy   192     34593     38874    166076         0     24200    504337   4762782    175.13    187.75
98.00/24.62	c  N dy   220     38764     38874    166076         0     28371    504337   5851065    175.04    187.37
107.58/27.00	c  N dy   250     42807     38874    166076         0     17114    504337   1276088    175.67    193.33
113.96/28.67	c  S st   273     45756     38874    166076         0     20063    504337   2067162    175.93   no data
115.16/28.96	c  S st   273     46258     38874    166076         0     20565    504337   2181909    175.93   no data
115.16/28.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
115.56/29.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.10
115.95/29.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
115.95/29.14	c bin-w-bin subsume rem            0 bins  time:  0.01 s
115.95/29.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
115.95/29.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38874 time:  0.01 s
115.95/29.19	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
116.75/29.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
117.59/29.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
118.74/29.86	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.31 s
118.74/29.89	c vivif2 --  cl tried   166076 cl shrink        0 lits rem          0 time: 0.03
119.13/29.93	c vivif2 --  cl tried    20564 cl shrink        0 lits rem          0 time: 0.04
119.94/30.14	c asymm  cl-useful: 0/166076/166076 lits-rem:0 time: 0.21
119.94/30.15	c calculated reachability. Time: 0.00
119.94/30.15	c  N dy   273     46258     38874    166076         0     20564    504337   2181574    175.93   no data
129.52/32.51	c  N dy   305     50289     38874    166076         0     24595    504337   3263838    176.58    188.19
139.12/34.91	c  N dy   336     54379     38874    166076         0     28685    504337   4380261    176.79    187.42
148.67/37.30	c  N dy   362     58419     38874    166076         0     32725    504337   5466514    176.82    189.16
158.65/39.81	c  N dy   392     62569     38874    166076         0     36875    504337   6597188    177.29    189.77
167.83/42.11	c  N dy   418     66580     38874    166076         0     22234    504337   1708172    177.08    187.96
174.23/43.79	c  S st   437     69392     38874    166076         0     25046    504337   2497526    177.37   no data
175.41/44.08	c  S st   437     69894     38874    166076         0     25548    504337   2611777    177.37   no data
175.81/44.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
176.21/44.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.11
176.21/44.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
176.21/44.27	c bin-w-bin subsume rem            0 bins  time:  0.01 s
176.21/44.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
176.21/44.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38874 time:  0.01 s
176.61/44.31	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
177.01/44.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
177.81/44.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
179.80/45.12	c lits-rem:         3  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.42 s
179.80/45.14	c vivif2 --  cl tried   166076 cl shrink        0 lits rem          0 time: 0.03
179.80/45.19	c vivif2 --  cl tried    25546 cl shrink        0 lits rem          0 time: 0.05
181.00/45.41	c asymm  cl-useful: 0/166076/166076 lits-rem:0 time: 0.21
181.00/45.42	c calculated reachability. Time: 0.00
181.00/45.42	c  N dy   437     69894     38874    166076         0     25546    504337   2610040    177.37   no data
191.79/48.15	c  N dy   468     74478     38874    166076         0     30130    504337   3874858    177.64    193.86
203.35/51.06	c  N dy   500     79359     38874    166076         0     35011    504337   5186605    177.68    190.77
215.71/54.16	c  N dy   535     84500     38874    166076         0     40152    504337   6584821    177.69    190.95
222.94/55.99	c  F st   558     87501     38874    166076         0     22328    504337   1158372    177.74   no data
231.30/58.04	c  N st   563     90799     38874    166076         0     25626    504337   2321933    177.74   no data
245.64/61.62	c  N dy   594     96591     38874    166076         0     31418    504337   4227800    178.19    188.31
260.41/65.30	c  N dy   637    102759     38874    166076         0     37586    504337   5892318    178.20    192.82
265.60/66.60	c  S st   653    104842     38874    166076         0     39669    504337   6450751    178.31   no data
266.83/66.92	c  S st   653    105350     38874    166076         0     40177    504337   6546691    178.31   no data
266.83/66.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
267.19/67.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
267.59/67.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
267.59/67.13	c bin-w-bin subsume rem            0 bins  time:  0.01 s
267.59/67.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
267.59/67.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38874 time:  0.01 s
267.59/67.18	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
268.38/67.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
270.39/67.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
277.17/69.59	c lits-rem:         5  cl-subs:        6  v-elim:      0  v-fix:    0  time:  1.70 s
277.57/69.61	c vivif2 --  cl tried   166076 cl shrink        0 lits rem          0 time: 0.03
277.97/69.74	c vivif2 --  cl tried    40171 cl shrink        0 lits rem          0 time: 0.12
278.77/69.98	c asymm  cl-useful: 0/166076/166076 lits-rem:0 time: 0.24
278.77/69.99	c calculated reachability. Time: 0.00
278.77/69.99	c  N dy   653    105350     38874    166076         0     40171    504337   6544519    178.31   no data
295.93/74.23	c  N dy   702    112211     38874    166076         0     24618    504337   1327831    178.85    189.44
313.08/78.57	c  N dy   751    119439     38874    166076         0     31846    504337   3294528    178.88    262.20
331.84/83.27	c  N dy   801    127159     38874    166076         0     39566    504337   5397808    178.89    190.62
352.60/88.43	c  N dy   861    135287     38874    166076         0     23989    504337    723439    179.35    189.10
372.95/93.58	c  N dy   923    144079     38874    166076         0     32780    504337   3068748    179.31    189.82
395.29/99.17	c  N dy   978    153298     38874    166076         0     41998    504337   5515427    178.92    230.00
407.30/102.19	c  S st  1012    158025     38874    166076         0     46725    504337   6825078    179.03   no data
408.86/102.51	c  S st  1012    158528     38874    166076         0     47228    504337   6923736    179.03   no data
408.86/102.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
409.26/102.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.13
409.66/102.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
409.66/102.73	c bin-w-bin subsume rem            0 bins  time:  0.01 s
409.66/102.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
409.66/102.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38874 time:  0.01 s
409.66/102.78	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
410.46/102.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
412.45/103.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
421.63/105.74	c lits-rem:         1  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.27 s
421.63/105.77	c vivif2 --  cl tried   166076 cl shrink        0 lits rem          0 time: 0.03
422.43/105.90	c vivif2 --  cl tried    47223 cl shrink        0 lits rem          0 time: 0.13
423.23/106.15	c asymm  cl-useful: 0/166076/166076 lits-rem:0 time: 0.26
423.23/106.17	c calculated reachability. Time: 0.00
423.23/106.17	c  N dy  1012    158528     38874    166076         0     47223    504337   6922352    179.03   no data
448.37/112.43	c  N dy  1082    168793     38874    166076         0     32636    504337   2717532    179.00    192.68
475.10/119.15	c  N dy  1158    179604     38874    166076         0     43446    504337   5693974    179.09    230.80
504.24/126.49	c  N dy  1237    191165     38874    166076         0     29083    504337   1466704    179.23    211.44
534.20/133.92	c  N dy  1323    203376     38874    166076         0     41294    504337   4784095    179.23    191.35
567.29/142.22	c  N dy  1412    216452     38874    166076         0     27401    504337    671898    179.22    194.93
601.21/150.70	c  N dy  1509    230382     38874    166076         0     41331    504337   4473125    179.33    189.81
619.56/155.39	c  S st  1559    237792     38874    166076         0     48741    504337   6459854    179.30   no data
621.16/155.71	c  S st  1559    238295     38874    166076         0     49244    504337   6557045    179.30   no data
621.16/155.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
621.56/155.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.13
621.98/155.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
621.98/155.93	c bin-w-bin subsume rem            0 bins  time:  0.01 s
621.98/155.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
621.98/155.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38874 time:  0.01 s
621.98/155.98	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
622.75/156.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
624.35/156.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
633.94/158.90	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.28 s
633.94/158.93	c vivif2 --  cl tried   166076 cl shrink        0 lits rem          0 time: 0.03
634.34/159.05	c vivif2 --  cl tried    49241 cl shrink        0 lits rem          0 time: 0.13
635.56/159.32	c asymm  cl-useful: 0/166076/166076 lits-rem:0 time: 0.26
635.56/159.33	c calculated reachability. Time: 0.00
635.56/159.33	c  N dy  1559    238295     38874    166076         0     49241    504337   6554075    179.30   no data
673.04/168.79	c  N dy  1659    253547     38874    166076         0     36510    504337   2826110    179.16    193.59
714.16/179.06	c  N dy  1770    269820     38874    166076         0     52783    504337   7220081    179.20    193.77
757.64/189.93	c  N dy  1890    287073     38874    166076         0     41048    504337   3752896    179.31    215.40
804.33/201.68	c  N dy  2018    305474     38874    166076         0     59448    504337   8794929    179.40    198.13
806.75/202.23	c  F st  2024    306250     38874    166076         0     30229    504337    585563    179.40   no data
854.63/214.23	c  N dy  2129    325069     38874    166076         0     49046    504337   6387992    179.61    192.32
905.29/226.94	c  N dy  2263    345134     38874    166076         0     38115    504337   2441842    179.59    189.51
936.42/234.70	c  S st  2343    357443     38874    166076         0     50422    504337   5846383    179.59   no data
937.62/235.05	c  S st  2343    357945     38874    166076         0     50924    504337   5957349    179.59   no data
937.62/235.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
938.45/235.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.13
938.45/235.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
938.45/235.28	c bin-w-bin subsume rem            0 bins  time:  0.01 s
938.45/235.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
938.81/235.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38874 time:  0.01 s
938.81/235.32	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
939.60/235.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
941.21/235.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
949.58/238.08	c lits-rem:         3  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.14 s
949.98/238.10	c vivif2 --  cl tried   166076 cl shrink        0 lits rem          0 time: 0.03
950.38/238.22	c vivif2 --  cl tried    50920 cl shrink        0 lits rem          0 time: 0.11
951.19/238.48	c asymm  cl-useful: 0/166076/166076 lits-rem:0 time: 0.26
951.19/238.49	c calculated reachability. Time: 0.00
951.19/238.49	c  N dy  2343    357945     38874    166076         0     50920    504337   5956389    179.59   no data
1003.05/251.40	c  N dy  2475    378027     38874    166076         0     39004    504337   2420100    179.56    193.48
1054.93/264.45	c  N dy  2609    398129     38874    166076         0     59106    504337   7878122    179.51    189.03
1106.41/277.39	c  N dy  2748    418238     38874    166076         0     46216    504337   4110447    179.53    190.18
1160.29/290.80	c  N dy  2891    438460     38874    166076         0     66435    504337   9647337    179.67    191.57
1211.36/303.69	c  N dy  3030    458639     38874    166076         0     52616    504337   5570047    179.68    190.66
1264.44/316.94	c  N dy  3168    478674     38874    166076         0     37656    504337   1243975    179.75    192.81
1315.54/329.79	c  N dy  3305    498720     38874    166076         0     57701    504337   6680014    179.75    189.54
1368.62/343.08	c  N dy  3443    518736     38874    166076         0     41724    504337   2069815    179.80    241.07
1415.69/354.86	c  S st  3569    536917     38874    166076         0     59904    504337   7031829    179.83   no data
1417.27/355.21	c  S st  3569    537420     38874    166076         0     60407    504337   7122207    179.83   no data
1417.27/355.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1417.68/355.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.14
1418.07/355.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1418.07/355.45	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1418.07/355.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1418.07/355.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38874 time:  0.01 s
1418.47/355.50	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
1419.27/355.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
1420.89/356.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1433.65/359.31	c lits-rem:        14  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.12 s
1433.65/359.34	c vivif2 --  cl tried   166076 cl shrink        0 lits rem          0 time: 0.03
1434.06/359.48	c vivif2 --  cl tried    60401 cl shrink        0 lits rem          0 time: 0.14
1435.24/359.76	c asymm  cl-useful: 0/166076/166076 lits-rem:0 time: 0.28
1435.24/359.77	c calculated reachability. Time: 0.00
1435.24/359.77	c  N dy  3569    537420     38874    166076         0     60401    504337   7119252    179.83   no data
1489.51/373.36	c  N dy  3715    557601     38874    166076         0     43583    504337   2369557    179.97    207.35
1541.78/386.47	c  N dy  3854    577667     38874    166076         0     63649    504337   7834149    180.00    194.58
1595.66/399.91	c  N dy  3995    597757     38874    166076         0     45736    504337   2619396    180.10    190.09
1648.34/413.15	c  N dy  4128    617813     38874    166076         0     65792    504337   8144334    180.14    192.00
1701.83/426.60	c  N dy  4263    637958     38874    166076         0     46938    504337   2690580    180.09    193.07
1755.68/440.02	c  N dy  4407    658119     38874    166076         0     67095    504337   8258521    180.18    194.46
1809.56/453.56	c  N dy  4541    678168     38874    166076         0     47145    504337   2460947    180.18    192.08
1863.81/467.11	c  N dy  4675    698261     38874    166076         0     67237    504337   7991674    180.20    194.98
1918.48/480.82	c  N dy  4815    718343     38874    166076         0     46321    504337   1967924    180.27    192.47
1971.57/494.11	c  N dy  4957    738388     38874    166076         0     66361    504337   7457698    180.36    249.04
2027.44/508.12	c  N dy  5098    758416     38874    166076         0     44391    504337   1163945    180.38    196.42
2079.75/521.27	c  N dy  5235    778591     38874    166076         0     64563    504337   6715131    180.41    196.07
2135.98/535.31	c  N dy  5378    798635     38874    166076         0     84607    504337  12198635    180.46    204.64
2155.93/540.33	c  S st  5430    806132     38874    166076         0     49107    504337   2203495    180.50    162.04
2157.12/540.64	c  S st  5430    806640     38874    166076         0     49615    504337   2304619    180.50   no data
2157.12/540.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2157.93/540.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.13
2157.93/540.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2157.93/540.86	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2157.93/540.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2157.93/540.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38874 time:  0.01 s
2158.34/540.91	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
2158.75/541.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
2159.51/541.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2162.31/542.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.74 s
2162.74/542.02	c vivif2 --  cl tried   166076 cl shrink        0 lits rem          0 time: 0.03
2162.74/542.07	c vivif2 --  cl tried    49615 cl shrink        0 lits rem          0 time: 0.05
2163.91/542.33	c asymm  cl-useful: 0/166076/166076 lits-rem:0 time: 0.26
2163.91/542.34	c calculated reachability. Time: 0.00
2163.91/542.34	c  N dy  5430    806640     38874    166076         0     49615    504337   2304619    180.50   no data
2216.98/555.63	c  N dy  5563    826675     38874    166076         0     69648    504337   7810848    180.54    194.11
2274.04/569.92	c  N dy  5697    846761     38874    166076         0     45737    504337    983802    180.60    190.57
2327.52/583.32	c  N dy  5842    866895     38874    166076         0     65870    504337   6506985    180.64    205.08
2384.19/597.58	c  N dy  5976    887155     38874    166076         0     86127    504337  12115671    180.65    190.47
2438.06/611.08	c  N dy  6116    907189     38874    166076         0     61164    504337   4988662    180.72    195.32
2494.73/625.20	c  N dy  6262    927259     38874    166076         0     81232    504337  10647785    180.85    198.00
2550.60/639.24	c  N dy  6404    947460     38874    166076         0     55434    504337   3139773    180.91    191.22
2604.46/652.78	c  N dy  6537    967484     38874    166076         0     75458    504337   8718460    180.95    193.00
2662.33/667.20	c  N dy  6669    987536     38874    166076         0     48510    504337    948766    180.91    190.81
2715.41/680.51	c  N dy  6813   1007559     38874    166076         0     68531    504337   6468605    180.94    195.47
2771.67/694.65	c  N dy  6940   1027626     38874    166076         0     88598    504337  11967864    180.93    232.75
2826.34/708.39	c  N dy  7068   1047806     38874    166076         0     60783    504337   3972156    180.87    197.07
2881.42/722.13	c  N dy  7201   1067871     38874    166076         0     80845    504337   9482468    180.86    217.24
2892.97/725.01	c  F st  7232   1071875     38874    166076         0     84849    504337  10622523    180.89   no data
2938.88/736.53	c  N dy  7311   1087873     38874    166076         0     51849    504337   1327308    180.85    191.02
2992.36/749.98	c  N dy  7457   1107939     38874    166076         0     71915    504337   6846208    180.89    223.81
3049.84/764.34	c  N dy  7593   1127942     38874    166076         0     91916    504337  12332774    180.90    230.69
3106.08/778.43	c  N dy  7734   1148090     38874    166076         0     62067    504337   3879565    180.94    192.89
3161.95/792.41	c  N dy  7874   1168248     38874    166076         0     82223    504337   9446079    180.96    191.25
3221.39/807.32	c  N dy  8013   1188444     38874    166076         0     51420    504337    644066    180.96    196.21
3275.66/820.94	c  N dy  8146   1208523     38874    166076         0     71498    504337   6179452    180.93    195.54
3279.66/821.90	c  S st  8156   1209960     38874    166076         0     72935    504337   6574616    180.94    186.64
3280.86/822.28	c  S st  8156   1210462     38874    166076         0     73437    504337   6674342    180.94   no data
3281.26/822.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3281.66/822.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.15
3282.08/822.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3282.08/822.53	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3282.08/822.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3282.08/822.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38874 time:  0.01 s
3282.08/822.58	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
3282.85/822.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
3284.85/823.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3298.42/826.61	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  3.36 s
3298.42/826.64	c vivif2 --  cl tried   166076 cl shrink        0 lits rem          0 time: 0.03
3298.82/826.77	c vivif2 --  cl tried    73435 cl shrink        0 lits rem          0 time: 0.13
3300.05/827.08	c asymm  cl-useful: 0/166076/166076 lits-rem:0 time: 0.31
3300.05/827.09	c calculated reachability. Time: 0.00
3300.05/827.09	c  N dy  8156   1210462     38874    166076         0     73435    504337   6673553    180.94   no data
3359.06/841.81	c  N dy  8299   1230547     38874    166076         0     93520    504337  12205962    180.99    194.48
3416.13/856.19	c  N dy  8441   1250637     38874    166076         0     61610    504337   3184521    181.01    196.24
3472.00/870.15	c  N dy  8583   1270750     38874    166076         0     81721    504337   8713126    181.01    191.51
3531.46/885.03	c  N dy  8719   1290890     38874    166076         0    101859    504337  14232669    181.00    190.92
3586.92/898.98	c  N dy  8856   1310939     38874    166076         0     68905    504337   4877518    180.98    209.55
3643.58/913.16	c  N dy  8994   1331019     38874    166076         0     88984    504337  10323208    180.96    192.39
3704.23/928.36	c  N dy  9133   1351062     38874    166076         0     55032    504337    843177    180.98    193.21
3759.31/942.17	c  N dy  9274   1371293     38874    166076         0     75263    504337   6437861    181.00    194.37
3818.01/956.87	c  N dy  9419   1391393     38874    166076         0     95362    504337  11954846    181.03    196.35
3877.02/971.64	c  N dy  9553   1411482     38874    166076         0     60453    504337   2103150    181.04    191.01
3932.12/985.46	c  N dy  9689   1431561     38874    166076         0     80530    504337   7590859    181.04    192.94
3991.13/1000.27	c  N dy  9828   1451620     38874    166076         0    100588    504337  13084619    181.05    190.63
4049.00/1014.76	c  N dy  9952   1471809     38874    166076         0     64782    504337   2970720    181.02    203.52
4105.27/1028.88	c  N dy 10093   1491812     38874    166076         0     84784    504337   8460188    181.06    193.88
4165.12/1043.80	c  N dy 10229   1511878     38874    166076         0    104848    504337  13923306    181.05    191.16
4222.58/1058.26	c  N dy 10365   1531989     38874    166076         0     67963    504337   3610098    181.04    192.86
4279.24/1072.44	c  N dy 10499   1552062     38874    166076         0     88034    504337   9155467    181.07    219.37
4339.52/1087.57	c  N dy 10637   1572102     38874    166076         0    108073    504337  14740224    181.09    225.04
4396.99/1101.99	c  N dy 10769   1592236     38874    166076         0     70210    504337   3902346    181.07    190.66
4454.06/1116.22	c  N dy 10900   1612262     38874    166076         0     90235    504337   9375020    181.06    222.00
4514.69/1131.47	c  N dy 11033   1632276     38874    166076         0    110247    504337  14856458    181.06    192.73
4572.16/1145.90	c  N dy 11163   1652367     38874    166076         0     71338    504337   3939996    181.04    205.55
4629.63/1160.23	c  N dy 11296   1672387     38874    166076         0     91358    504337   9365091    181.03    200.21
4690.68/1175.54	c  N dy 11430   1692390     38874    166076         0    111361    504337  14816723    181.03    191.13
4743.76/1188.87	c  S st 11555   1710462     38874    166076         0     69437    504337   3179116    181.01    171.14
4745.34/1189.27	c  S st 11555   1710966     38874    166076         0     69941    504337   3281637    181.01   no data
4745.34/1189.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4746.14/1189.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.15
4746.14/1189.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4746.54/1189.51	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4746.54/1189.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4746.54/1189.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38874 time:  0.01 s
4746.54/1189.55	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
4747.34/1189.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
4748.15/1189.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4755.72/1191.88	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time:  1.89 s
4756.12/1191.90	c vivif2 --  cl tried   166076 cl shrink        0 lits rem          0 time: 0.03
4756.12/1191.97	c vivif2 --  cl tried    69940 cl shrink        0 lits rem          0 time: 0.07
4757.35/1192.26	c asymm  cl-useful: 0/166076/166076 lits-rem:0 time: 0.29
4757.35/1192.28	c calculated reachability. Time: 0.00
4757.35/1192.28	c  N dy 11555   1710966     38874    166076         0     69940    504337   3281046    181.01   no data

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-3366208-1305398673/watcher-3366208-1305398673 -o /tmp/evaluation-result-3366208-1305398673/solver-3366208-1305398673 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366208-1305398673.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.18 8.15 8.03 7/298 20162
/proc/meminfo: memFree=27735808/32951124 swapFree=63649232/67111528
[pid=20162] ppid=20160 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/20162/stat : 20162 (strangenight2-m) R 20160 20162 20027 0 -1 4202496 406 0 0 0 0 0 0 0 25 0 4 0 651465873 52396032 347 33554432000 4194304 4580107 140735308203536 18446744073709551615 47118314059698 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20162/statm: 12792 347 299 95 0 7774 0
[pid=20162/tid=20163] ppid=20160 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/20162/task/20163/stat : 20163 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651465873 52396032 347 33554432000 4194304 4580107 140735308203536 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20162/tid=20164] ppid=20160 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/20162/task/20164/stat : 20164 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651465873 52396032 347 33554432000 4194304 4580107 140735308203536 18446744073709551615 47118314059698 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20162/tid=20165] ppid=20160 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/20162/task/20165/stat : 20165 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651465873 52396032 347 33554432000 4194304 4580107 140735308203536 18446744073709551615 47118314059696 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0538891 s]
/proc/loadavg: 8.18 8.15 8.03 7/298 20162
/proc/meminfo: memFree=27735808/32951124 swapFree=63649232/67111528
[pid=20162] ppid=20160 vsize=380808 CPUtime=0.18 cores=0,2,4,6
/proc/20162/stat : 20162 (strangenight2-m) R 20160 20162 20027 0 -1 4202496 18911 0 0 0 14 4 0 0 18 0 4 0 651465873 389947392 14677 33554432000 4194304 4580107 140735308203536 18446744073709551615 210204752415 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20162/statm: 95235 14754 337 95 0 90217 0
[pid=20162/tid=20163] ppid=20160 vsize=380940 CPUtime=0.03 cores=0,2,4,6
/proc/20162/task/20163/stat : 20163 (strangenight2-m) S 20160 20162 20027 0 -1 4202560 4703 0 0 0 2 1 0 0 18 0 4 0 651465873 390082560 14784 33554432000 4194304 4580107 140735308203536 18446744073709551615 210204752366 0 0 4096 2 18446604449041251200 0 0 -1 6 0 0 0
[pid=20162/tid=20164] ppid=20160 vsize=380940 CPUtime=0.03 cores=0,2,4,6
/proc/20162/task/20164/stat : 20164 (strangenight2-m) S 20160 20162 20027 0 -1 4202560 4730 0 0 0 3 0 0 0 18 0 4 0 651465873 390082560 14799 33554432000 4194304 4580107 140735308203536 18446744073709551615 210204752366 0 0 4096 2 18446604449041251200 0 0 -1 0 0 0 0
[pid=20162/tid=20165] ppid=20160 vsize=380940 CPUtime=0.03 cores=0,2,4,6
/proc/20162/task/20165/stat : 20165 (strangenight2-m) S 20160 20162 20027 0 -1 4202560 4308 0 0 0 3 0 0 0 18 0 4 0 651465873 390082560 14810 33554432000 4194304 4580107 140735308203536 18446744073709551615 210204752366 0 0 4096 2 18446604449041251200 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 380808

[startup+0.104524 s]
/proc/loadavg: 8.18 8.15 8.03 7/298 20162
/proc/meminfo: memFree=27735808/32951124 swapFree=63649232/67111528
[pid=20162] ppid=20160 vsize=447796 CPUtime=0.33 cores=0,2,4,6
/proc/20162/stat : 20162 (strangenight2-m) S 20160 20162 20027 0 -1 4202496 22140 0 0 0 25 8 0 0 18 0 4 0 651465873 458543104 17906 33554432000 4194304 4580107 140735308203536 18446744073709551615 210204752366 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20162/statm: 111949 17906 337 95 0 106931 0
[pid=20162/tid=20163] ppid=20160 vsize=447796 CPUtime=0.07 cores=0,2,4,6
/proc/20162/task/20163/stat : 20163 (strangenight2-m) S 20160 20162 20027 0 -1 4202560 5429 0 0 0 5 2 0 0 18 0 4 0 651465873 458543104 17906 33554432000 4194304 4580107 140735308203536 18446744073709551615 210204752366 0 0 4096 2 18446604449041251200 0 0 -1 6 0 0 0
[pid=20162/tid=20164] ppid=20160 vsize=447796 CPUtime=0.08 cores=0,2,4,6
/proc/20162/task/20164/stat : 20164 (strangenight2-m) S 20160 20162 20027 0 -1 4202560 5558 0 0 0 7 1 0 0 18 0 4 0 651465873 458543104 17906 33554432000 4194304 4580107 140735308203536 18446744073709551615 210204752366 0 0 4096 2 18446604449041251200 0 0 -1 0 0 0 0
[pid=20162/tid=20165] ppid=20160 vsize=447796 CPUtime=0.08 cores=0,2,4,6
/proc/20162/task/20165/stat : 20165 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 5069 0 0 0 6 2 0 0 18 0 4 0 651465873 458543104 17906 33554432000 4194304 4580107 140735308203536 18446744073709551615 210204752415 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 447796

[startup+0.447099 s]
/proc/loadavg: 8.18 8.15 8.03 7/298 20162
/proc/meminfo: memFree=27735808/32951124 swapFree=63649232/67111528
[pid=20162] ppid=20160 vsize=462632 CPUtime=1.64 cores=0,2,4,6
/proc/20162/stat : 20162 (strangenight2-m) R 20160 20162 20027 0 -1 4202496 32300 0 0 0 146 18 0 0 18 0 4 0 651465873 473735168 27981 33554432000 4194304 4580107 140735308203536 18446744073709551615 210204315889 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20162/statm: 116026 29523 363 95 0 111008 0
[pid=20162/tid=20163] ppid=20160 vsize=466532 CPUtime=0.41 cores=0,2,4,6
/proc/20162/task/20163/stat : 20163 (strangenight2-m) S 20160 20162 20027 0 -1 4202560 8501 0 0 0 36 5 0 0 18 0 4 0 651465873 477728768 29836 33554432000 4194304 4580107 140735308203536 18446744073709551615 210204752366 0 0 4096 2 18446604449041251200 0 0 -1 6 0 0 0
[pid=20162/tid=20164] ppid=20160 vsize=466532 CPUtime=0.42 cores=0,2,4,6
/proc/20162/task/20164/stat : 20164 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 8777 0 0 0 39 3 0 0 18 0 4 0 651465873 477728768 29855 33554432000 4194304 4580107 140735308203536 18446744073709551615 4401482 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20162/tid=20165] ppid=20160 vsize=466532 CPUtime=0.42 cores=0,2,4,6
/proc/20162/task/20165/stat : 20165 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 6870 0 0 0 38 4 0 0 18 0 4 0 651465873 477728768 29869 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 462632

[startup+1.50428 s]
/proc/loadavg: 8.18 8.15 8.03 7/298 20162
/proc/meminfo: memFree=27735808/32951124 swapFree=63649232/67111528
[pid=20162] ppid=20160 vsize=490288 CPUtime=5.84 cores=0,2,4,6
/proc/20162/stat : 20162 (strangenight2-m) R 20160 20162 20027 0 -1 4202496 57283 0 0 0 561 23 0 0 19 0 4 0 651465873 502054912 43192 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20162/statm: 122572 43192 377 95 0 117554 0
[pid=20162/tid=20163] ppid=20160 vsize=490288 CPUtime=1.44 cores=0,2,4,6
/proc/20162/task/20163/stat : 20163 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 17107 0 0 0 138 6 0 0 19 0 4 0 651465873 502054912 43192 33554432000 4194304 4580107 140735308203536 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20162/tid=20164] ppid=20160 vsize=490288 CPUtime=1.46 cores=0,2,4,6
/proc/20162/task/20164/stat : 20164 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 16212 0 0 0 141 5 0 0 19 0 4 0 651465873 502054912 43192 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20162/tid=20165] ppid=20160 vsize=490288 CPUtime=1.45 cores=0,2,4,6
/proc/20162/task/20165/stat : 20165 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 7631 0 0 0 141 4 0 0 19 0 4 0 651465873 502054912 43192 33554432000 4194304 4580107 140735308203536 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.84
Current children cumulated vsize (KiB) 490288

[startup+1.60026 s]
/proc/loadavg: 8.18 8.15 8.03 7/298 20162
/proc/meminfo: memFree=27735808/32951124 swapFree=63649232/67111528
[pid=20162] ppid=20160 vsize=490288 CPUtime=6.23 cores=0,2,4,6
/proc/20162/stat : 20162 (strangenight2-m) R 20160 20162 20027 0 -1 4202496 57553 0 0 0 600 23 0 0 19 0 4 0 651465873 502054912 43462 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20162/statm: 122572 43462 377 95 0 117554 0
[pid=20162/tid=20163] ppid=20160 vsize=490288 CPUtime=1.53 cores=0,2,4,6
/proc/20162/task/20163/stat : 20163 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 17167 0 0 0 147 6 0 0 19 0 4 0 651465873 502054912 43462 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20162/tid=20164] ppid=20160 vsize=490288 CPUtime=1.55 cores=0,2,4,6
/proc/20162/task/20164/stat : 20164 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 16289 0 0 0 150 5 0 0 19 0 4 0 651465873 502054912 43462 33554432000 4194304 4580107 140735308203536 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20162/tid=20165] ppid=20160 vsize=490288 CPUtime=1.54 cores=0,2,4,6
/proc/20162/task/20165/stat : 20165 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 7674 0 0 0 150 4 0 0 19 0 4 0 651465873 502054912 43462 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 490288

[startup+3.11101 s]
/proc/loadavg: 8.32 8.18 8.04 9/302 20166
/proc/meminfo: memFree=27487588/32951124 swapFree=63649232/67111528
[pid=20162] ppid=20160 vsize=621552 CPUtime=12.25 cores=0,2,4,6
/proc/20162/stat : 20162 (strangenight2-m) R 20160 20162 20027 0 -1 4202496 60849 0 0 0 1201 24 0 0 22 0 4 0 651465873 636469248 46607 33554432000 4194304 4580107 140735308203536 18446744073709551615 4322552 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20162/statm: 155388 46607 377 95 0 150370 0
[pid=20162/tid=20163] ppid=20160 vsize=621552 CPUtime=3.02 cores=0,2,4,6
/proc/20162/task/20163/stat : 20163 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 17961 0 0 0 296 6 0 0 22 0 4 0 651465873 636469248 46607 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20162/tid=20164] ppid=20160 vsize=621552 CPUtime=3.06 cores=0,2,4,6
/proc/20162/task/20164/stat : 20164 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 17127 0 0 0 301 5 0 0 22 0 4 0 651465873 636469248 46607 33554432000 4194304 4580107 140735308203536 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20162/tid=20165] ppid=20160 vsize=621552 CPUtime=3.06 cores=0,2,4,6
/proc/20162/task/20165/stat : 20165 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 8360 0 0 0 301 5 0 0 23 0 4 0 651465873 636469248 46607 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293802 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 621552

[startup+6.30048 s]
/proc/loadavg: 8.38 8.19 8.05 9/302 20166
/proc/meminfo: memFree=27468128/32951124 swapFree=63649232/67111528
[pid=20162] ppid=20160 vsize=621552 CPUtime=25 cores=0,2,4,6
/proc/20162/stat : 20162 (strangenight2-m) R 20160 20162 20027 0 -1 4202496 67900 0 0 0 2474 26 0 0 25 0 4 0 651465873 636469248 53658 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20162/statm: 155388 53658 377 95 0 150370 0
[pid=20162/tid=20163] ppid=20160 vsize=621552 CPUtime=6.2 cores=0,2,4,6
/proc/20162/task/20163/stat : 20163 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 19589 0 0 0 613 7 0 0 25 0 4 0 651465873 636469248 53664 33554432000 4194304 4580107 140735308203536 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20162/tid=20164] ppid=20160 vsize=621552 CPUtime=6.25 cores=0,2,4,6
/proc/20162/task/20164/stat : 20164 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 18735 0 0 0 620 5 0 0 25 0 4 0 651465873 636469248 53664 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293797 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20162/tid=20165] ppid=20160 vsize=621552 CPUtime=6.26 cores=0,2,4,6
/proc/20162/task/20165/stat : 20165 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 10472 0 0 0 621 5 0 0 25 0 4 0 651465873 636469248 53664 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25
Current children cumulated vsize (KiB) 621552

[startup+12.7004 s]
/proc/loadavg: 8.35 8.19 8.05 9/302 20166
/proc/meminfo: memFree=27268368/32951124 swapFree=63649232/67111528
[pid=20162] ppid=20160 vsize=522296 CPUtime=50.52 cores=0,2,4,6
/proc/20162/stat : 20162 (strangenight2-m) R 20160 20162 20027 0 -1 4202496 87549 0 0 0 5022 30 0 0 25 0 4 0 651465873 534831104 47880 33554432000 4194304 4580107 140735308203536 18446744073709551615 4318418 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20162/statm: 130574 47880 377 95 0 125556 0
[pid=20162/tid=20163] ppid=20160 vsize=522296 CPUtime=12.54 cores=0,2,4,6
/proc/20162/task/20163/stat : 20163 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 24454 0 0 0 1246 8 0 0 25 0 4 0 651465873 534831104 47880 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20162/tid=20164] ppid=20160 vsize=522296 CPUtime=12.65 cores=0,2,4,6
/proc/20162/task/20164/stat : 20164 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 23693 0 0 0 1258 7 0 0 25 0 4 0 651465873 534831104 47880 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20162/tid=20165] ppid=20160 vsize=522296 CPUtime=12.65 cores=0,2,4,6
/proc/20162/task/20165/stat : 20165 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 15274 0 0 0 1259 6 0 0 25 0 4 0 651465873 534831104 47880 33554432000 4194304 4580107 140735308203536 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.52
Current children cumulated vsize (KiB) 522296

[startup+25.5013 s]
/proc/loadavg: 8.29 8.18 8.05 9/302 20167
/proc/meminfo: memFree=27023968/32951124 swapFree=63649232/67111528
[pid=20162] ppid=20160 vsize=785872 CPUtime=101.59 cores=0,2,4,6
/proc/20162/stat : 20162 (strangenight2-m) R 20160 20162 20027 0 -1 4202496 163930 0 0 0 10110 49 0 0 22 0 4 0 651465873 804732928 104707 33554432000 4194304 4580107 140735308203536 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20162/statm: 196468 104707 379 95 0 191450 0
[pid=20162/tid=20163] ppid=20160 vsize=785872 CPUtime=25.21 cores=0,2,4,6
/proc/20162/task/20163/stat : 20163 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 58180 0 0 0 2506 15 0 0 25 0 4 0 651465873 804732928 104707 33554432000 4194304 4580107 140735308203536 18446744073709551615 4306048 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20162/tid=20164] ppid=20160 vsize=785872 CPUtime=25.45 cores=0,2,4,6
/proc/20162/task/20164/stat : 20164 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 32069 0 0 0 2536 9 0 0 25 0 4 0 651465873 804732928 104707 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20162/tid=20165] ppid=20160 vsize=785872 CPUtime=25.44 cores=0,2,4,6
/proc/20162/task/20165/stat : 20165 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 23667 0 0 0 2536 8 0 0 25 0 4 0 651465873 804732928 104707 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.59
Current children cumulated vsize (KiB) 785872

[startup+51.101 s]
/proc/loadavg: 8.18 8.16 8.04 9/302 20168
/proc/meminfo: memFree=26735700/32951124 swapFree=63649232/67111528
[pid=20162] ppid=20160 vsize=1029684 CPUtime=203.75 cores=0,2,4,6
/proc/20162/stat : 20162 (strangenight2-m) R 20160 20162 20027 0 -1 4202496 250806 0 0 0 20304 71 0 0 25 0 4 0 651465873 1054396416 138185 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293155 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20162/statm: 257421 138185 379 95 0 252403 0
[pid=20162/tid=20163] ppid=20160 vsize=1029684 CPUtime=50.58 cores=0,2,4,6
/proc/20162/task/20163/stat : 20163 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 73491 0 0 0 5039 19 0 0 25 0 4 0 651465873 1054396416 138185 33554432000 4194304 4580107 140735308203536 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20162/tid=20164] ppid=20160 vsize=1029684 CPUtime=51.05 cores=0,2,4,6
/proc/20162/task/20164/stat : 20164 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 54491 0 0 0 5091 14 0 0 25 0 4 0 651465873 1054396416 138185 33554432000 4194304 4580107 140735308203536 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20162/tid=20165] ppid=20160 vsize=1029684 CPUtime=51.04 cores=0,2,4,6
/proc/20162/task/20165/stat : 20165 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 51299 0 0 0 5088 16 0 0 25 0 4 0 651465873 1054396416 138185 33554432000 4194304 4580107 140735308203536 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.75
Current children cumulated vsize (KiB) 1029684

[startup+102.3 s]
/proc/loadavg: 8.12 8.15 8.04 9/302 20169
/proc/meminfo: memFree=26420820/32951124 swapFree=63649232/67111528
[pid=20162] ppid=20160 vsize=1082256 CPUtime=408.06 cores=0,2,4,6
/proc/20162/stat : 20162 (strangenight2-m) R 20160 20162 20027 0 -1 4202496 399514 0 0 0 40692 114 0 0 25 0 4 0 651465873 1108230144 188738 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20162/statm: 270564 188738 379 95 0 265546 0
[pid=20162/tid=20163] ppid=20160 vsize=1082256 CPUtime=101.31 cores=0,2,4,6
/proc/20162/task/20163/stat : 20163 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 102336 0 0 0 10103 28 0 0 25 0 4 0 651465873 1108230144 188738 33554432000 4194304 4580107 140735308203536 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20162/tid=20164] ppid=20160 vsize=1082256 CPUtime=102.24 cores=0,2,4,6
/proc/20162/task/20164/stat : 20164 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 89648 0 0 0 10200 24 0 0 25 0 4 0 651465873 1108230144 188738 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20162/tid=20165] ppid=20160 vsize=1082256 CPUtime=102.23 cores=0,2,4,6
/proc/20162/task/20165/stat : 20165 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 101588 0 0 0 10195 28 0 0 25 0 4 0 651465873 1108230144 188738 33554432000 4194304 4580107 140735308203536 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.06
Current children cumulated vsize (KiB) 1082256

[startup+162.3 s]

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

[pid=20162] ppid=20160 vsize=1724296 CPUtime=2802.39 cores=0,2,4,6
/proc/20162/stat : 20162 (strangenight2-m) R 20160 20162 20027 0 -1 4202496 1442596 0 0 0 279795 444 0 0 25 0 4 0 651465873 1765679104 330406 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20162/statm: 431074 330406 379 95 0 426056 0
[pid=20162/tid=20163] ppid=20160 vsize=1724296 CPUtime=695.83 cores=0,2,4,6
/proc/20162/task/20163/stat : 20163 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 343915 0 0 0 69476 107 0 0 25 0 4 0 651465873 1765679104 330406 33554432000 4194304 4580107 140735308203536 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20162/tid=20164] ppid=20160 vsize=1724296 CPUtime=702.21 cores=0,2,4,6
/proc/20162/task/20164/stat : 20164 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 344599 0 0 0 70112 109 0 0 25 0 4 0 651465873 1765679104 330406 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20162/tid=20165] ppid=20160 vsize=1724296 CPUtime=702.08 cores=0,2,4,6
/proc/20162/task/20165/stat : 20165 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 396919 0 0 0 70093 115 0 0 25 0 4 0 651465873 1765679104 330406 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2802.39
Current children cumulated vsize (KiB) 1724296

[startup+762.301 s]
/proc/loadavg: 8.20 8.12 8.07 9/302 20186
/proc/meminfo: memFree=25432520/32951124 swapFree=63649232/67111528
[pid=20162] ppid=20160 vsize=1692780 CPUtime=3041.83 cores=0,2,4,6
/proc/20162/stat : 20162 (strangenight2-m) R 20160 20162 20027 0 -1 4202496 1536174 0 0 0 303708 475 0 0 25 0 4 0 651465873 1733406720 342343 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293138 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20162/statm: 423195 342343 379 95 0 418177 0
[pid=20162/tid=20163] ppid=20160 vsize=1692780 CPUtime=755.27 cores=0,2,4,6
/proc/20162/task/20163/stat : 20163 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 371010 0 0 0 75412 115 0 0 25 0 4 0 651465873 1733406720 342344 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293184 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20162/tid=20164] ppid=20160 vsize=1692780 CPUtime=762.21 cores=0,2,4,6
/proc/20162/task/20164/stat : 20164 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 364947 0 0 0 76104 117 0 0 25 0 4 0 651465873 1733406720 342344 33554432000 4194304 4580107 140735308203536 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20162/tid=20165] ppid=20160 vsize=1692780 CPUtime=762.08 cores=0,2,4,6
/proc/20162/task/20165/stat : 20165 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 422769 0 0 0 76084 124 0 0 25 0 4 0 651465873 1733406720 342344 33554432000 4194304 4580107 140735308203536 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3041.83
Current children cumulated vsize (KiB) 1692780

[startup+822.301 s]
/proc/loadavg: 8.14 8.11 8.07 9/302 20188
/proc/meminfo: memFree=25402968/32951124 swapFree=63649232/67111528
[pid=20162] ppid=20160 vsize=1889352 CPUtime=3281.26 cores=0,2,4,6
/proc/20162/stat : 20162 (strangenight2-m) R 20160 20162 20027 0 -1 4202496 1628834 0 0 0 327620 506 0 0 25 0 4 0 651465873 1934696448 348503 33554432000 4194304 4580107 140735308203536 18446744073709551615 4452962 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20162/statm: 472338 348503 379 95 0 467320 0
[pid=20162/tid=20163] ppid=20160 vsize=1889352 CPUtime=814.73 cores=0,2,4,6
/proc/20162/task/20163/stat : 20163 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 393106 0 0 0 81349 124 0 0 25 0 4 0 651465873 1934696448 348503 33554432000 4194304 4580107 140735308203536 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20162/tid=20164] ppid=20160 vsize=1889352 CPUtime=822.21 cores=0,2,4,6
/proc/20162/task/20164/stat : 20164 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 388197 0 0 0 82096 125 0 0 25 0 4 0 651465873 1934696448 348503 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20162/tid=20165] ppid=20160 vsize=1889352 CPUtime=822.06 cores=0,2,4,6
/proc/20162/task/20165/stat : 20165 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 443600 0 0 0 82075 131 0 0 25 0 4 0 651465873 1934696448 348503 33554432000 4194304 4580107 140735308203536 18446744073709551615 4416041 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3281.26
Current children cumulated vsize (KiB) 1889352

[startup+882.301 s]
/proc/loadavg: 8.11 8.11 8.07 9/302 20190
/proc/meminfo: memFree=25054876/32951124 swapFree=63649232/67111528
[pid=20162] ppid=20160 vsize=1824596 CPUtime=3520.68 cores=0,2,4,6
/proc/20162/stat : 20162 (strangenight2-m) R 20160 20162 20027 0 -1 4202496 1731949 0 0 0 351529 539 0 0 25 0 4 0 651465873 1868386304 374594 33554432000 4194304 4580107 140735308203536 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20162/statm: 456149 374594 379 95 0 451131 0
[pid=20162/tid=20163] ppid=20160 vsize=1824596 CPUtime=874.18 cores=0,2,4,6
/proc/20162/task/20163/stat : 20163 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 427724 0 0 0 87283 135 0 0 25 0 4 0 651465873 1868386304 374594 33554432000 4194304 4580107 140735308203536 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20162/tid=20164] ppid=20160 vsize=1824596 CPUtime=882.21 cores=0,2,4,6
/proc/20162/task/20164/stat : 20164 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 410240 0 0 0 88089 132 0 0 25 0 4 0 651465873 1868386304 374594 33554432000 4194304 4580107 140735308203536 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20162/tid=20165] ppid=20160 vsize=1824596 CPUtime=882.04 cores=0,2,4,6
/proc/20162/task/20165/stat : 20165 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 467448 0 0 0 88066 138 0 0 25 0 4 0 651465873 1868386304 374594 33554432000 4194304 4580107 140735308203536 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3520.68
Current children cumulated vsize (KiB) 1824596

[startup+942.301 s]
/proc/loadavg: 8.10 8.10 8.07 9/302 20191
/proc/meminfo: memFree=25071436/32951124 swapFree=63649232/67111528
[pid=20162] ppid=20160 vsize=1825828 CPUtime=3760.11 cores=0,2,4,6
/proc/20162/stat : 20162 (strangenight2-m) R 20160 20162 20027 0 -1 4202496 1820810 0 0 0 375442 569 0 0 25 0 4 0 651465873 1869647872 364177 33554432000 4194304 4580107 140735308203536 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20162/statm: 456457 364177 379 95 0 451439 0
[pid=20162/tid=20163] ppid=20160 vsize=1825828 CPUtime=933.63 cores=0,2,4,6
/proc/20162/task/20163/stat : 20163 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 445264 0 0 0 93223 140 0 0 25 0 4 0 651465873 1869647872 364177 33554432000 4194304 4580107 140735308203536 18446744073709551615 4342192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20162/tid=20164] ppid=20160 vsize=1825828 CPUtime=942.19 cores=0,2,4,6
/proc/20162/task/20164/stat : 20164 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 433212 0 0 0 94079 140 0 0 25 0 4 0 651465873 1869647872 364177 33554432000 4194304 4580107 140735308203536 18446744073709551615 4302544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20162/tid=20165] ppid=20160 vsize=1825828 CPUtime=942.03 cores=0,2,4,6
/proc/20162/task/20165/stat : 20165 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 493695 0 0 0 94055 148 0 0 25 0 4 0 651465873 1869647872 364177 33554432000 4194304 4580107 140735308203536 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3760.11
Current children cumulated vsize (KiB) 1825828

[startup+1002.3 s]
/proc/loadavg: 8.10 8.10 8.07 9/302 20202
/proc/meminfo: memFree=25015804/32951124 swapFree=63649232/67111528
[pid=20162] ppid=20160 vsize=1646188 CPUtime=3999.52 cores=0,2,4,6
/proc/20162/stat : 20162 (strangenight2-m) R 20160 20162 20027 0 -1 4202496 1907626 0 0 0 399355 597 0 0 25 0 4 0 651465873 1685696512 358224 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20162/statm: 411547 358224 379 95 0 406529 0
[pid=20162/tid=20163] ppid=20160 vsize=1646188 CPUtime=993.08 cores=0,2,4,6
/proc/20162/task/20163/stat : 20163 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 469225 0 0 0 99160 148 0 0 25 0 4 0 651465873 1685696512 358224 33554432000 4194304 4580107 140735308203536 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20162/tid=20164] ppid=20160 vsize=1646188 CPUtime=1002.19 cores=0,2,4,6
/proc/20162/task/20164/stat : 20164 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 456150 0 0 0 100070 149 0 0 25 0 4 0 651465873 1685696512 358224 33554432000 4194304 4580107 140735308203536 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20162/tid=20165] ppid=20160 vsize=1646188 CPUtime=1002.01 cores=0,2,4,6
/proc/20162/task/20165/stat : 20165 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 513582 0 0 0 100047 154 0 0 25 0 4 0 651465873 1685696512 358224 33554432000 4194304 4580107 140735308203536 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3999.52
Current children cumulated vsize (KiB) 1646188

[startup+1062.3 s]
/proc/loadavg: 8.09 8.09 8.07 9/302 20203
/proc/meminfo: memFree=25016880/32951124 swapFree=63649232/67111528
[pid=20162] ppid=20160 vsize=1794444 CPUtime=4238.96 cores=0,2,4,6
/proc/20162/stat : 20162 (strangenight2-m) R 20160 20162 20027 0 -1 4202496 2002315 0 0 0 423270 626 0 0 25 0 4 0 651465873 1837510656 369791 33554432000 4194304 4580107 140735308203536 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20162/statm: 448611 369791 379 95 0 443593 0
[pid=20162/tid=20163] ppid=20160 vsize=1794444 CPUtime=1052.54 cores=0,2,4,6
/proc/20162/task/20163/stat : 20163 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 492731 0 0 0 105098 156 0 0 25 0 4 0 651465873 1837510656 369795 33554432000 4194304 4580107 140735308203536 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20162/tid=20164] ppid=20160 vsize=1794444 CPUtime=1062.19 cores=0,2,4,6
/proc/20162/task/20164/stat : 20164 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 475342 0 0 0 106066 153 0 0 25 0 4 0 651465873 1837510656 369795 33554432000 4194304 4580107 140735308203536 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20162/tid=20165] ppid=20160 vsize=1794444 CPUtime=1062 cores=0,2,4,6
/proc/20162/task/20165/stat : 20165 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 539629 0 0 0 106038 162 0 0 25 0 4 0 651465873 1837510656 369795 33554432000 4194304 4580107 140735308203536 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4238.96
Current children cumulated vsize (KiB) 1794444

[startup+1122.3 s]
/proc/loadavg: 8.08 8.09 8.07 9/302 20205
/proc/meminfo: memFree=24852548/32951124 swapFree=63649232/67111528
[pid=20162] ppid=20160 vsize=1893552 CPUtime=4478.38 cores=0,2,4,6
/proc/20162/stat : 20162 (strangenight2-m) R 20160 20162 20027 0 -1 4202496 2091950 0 0 0 447181 657 0 0 25 0 4 0 651465873 1938997248 378556 33554432000 4194304 4580107 140735308203536 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20162/statm: 473388 378556 379 95 0 468370 0
[pid=20162/tid=20163] ppid=20160 vsize=1893552 CPUtime=1111.98 cores=0,2,4,6
/proc/20162/task/20163/stat : 20163 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 514607 0 0 0 111034 164 0 0 25 0 4 0 651465873 1938997248 378556 33554432000 4194304 4580107 140735308203536 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20162/tid=20164] ppid=20160 vsize=1893552 CPUtime=1122.18 cores=0,2,4,6
/proc/20162/task/20164/stat : 20164 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 494960 0 0 0 112057 161 0 0 25 0 4 0 651465873 1938997248 378556 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20162/tid=20165] ppid=20160 vsize=1893552 CPUtime=1121.98 cores=0,2,4,6
/proc/20162/task/20165/stat : 20165 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 563647 0 0 0 112028 170 0 0 25 0 4 0 651465873 1938997248 378556 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4478.38
Current children cumulated vsize (KiB) 1893552

[startup+1182.31 s]
/proc/loadavg: 8.08 8.08 8.07 9/302 20209
/proc/meminfo: memFree=24873952/32951124 swapFree=63649232/67111528
[pid=20162] ppid=20160 vsize=1779320 CPUtime=4717.85 cores=0,2,4,6
/proc/20162/stat : 20162 (strangenight2-m) R 20160 20162 20027 0 -1 4202496 2177340 0 0 0 471099 686 0 0 25 0 4 0 651465873 1822023680 363838 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20162/statm: 444830 363838 379 95 0 439812 0
[pid=20162/tid=20163] ppid=20160 vsize=1779320 CPUtime=1171.44 cores=0,2,4,6
/proc/20162/task/20163/stat : 20163 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 538171 0 0 0 116972 172 0 0 25 0 4 0 651465873 1822023680 363838 33554432000 4194304 4580107 140735308203536 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20162/tid=20164] ppid=20160 vsize=1779320 CPUtime=1182.2 cores=0,2,4,6
/proc/20162/task/20164/stat : 20164 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 516534 0 0 0 118052 168 0 0 25 0 4 0 651465873 1822023680 363838 33554432000 4194304 4580107 140735308203536 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20162/tid=20165] ppid=20160 vsize=1779320 CPUtime=1181.97 cores=0,2,4,6
/proc/20162/task/20165/stat : 20165 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 584741 0 0 0 118021 176 0 0 25 0 4 0 651465873 1822023680 363838 33554432000 4194304 4580107 140735308203536 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4717.85
Current children cumulated vsize (KiB) 1779320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 8.28 8.13 8.08 6/298 20211
/proc/meminfo: memFree=26300424/32951124 swapFree=63649232/67111528
[pid=20162] ppid=20160 vsize=1779720 CPUtime=4800.15 cores=0,2,4,6
/proc/20162/stat : 20162 (strangenight2-m) R 20160 20162 20027 0 -1 4202496 2204796 0 0 0 479320 695 0 0 25 0 4 0 651465873 1822433280 358989 33554432000 4194304 4580107 140735308203536 18446744073709551615 4306071 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20162/statm: 444930 358989 379 95 0 439912 0
[pid=20162/tid=20163] ppid=20160 vsize=1779720 CPUtime=1191.95 cores=0,2,4,6
/proc/20162/task/20163/stat : 20163 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 543215 0 0 0 119021 174 0 0 25 0 4 0 651465873 1822433280 358998 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293700 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20162/tid=20164] ppid=20160 vsize=1779720 CPUtime=1202.89 cores=0,2,4,6
/proc/20162/task/20164/stat : 20164 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 524291 0 0 0 120118 171 0 0 25 0 4 0 651465873 1822433280 358998 33554432000 4194304 4580107 140735308203536 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20162/tid=20165] ppid=20160 vsize=1779720 CPUtime=1202.39 cores=0,2,4,6
/proc/20162/task/20165/stat : 20165 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 590582 0 0 0 120061 178 0 0 25 0 4 0 651465873 1822433280 358998 33554432000 4194304 4580107 140735308203536 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 1779720

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

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

[startup+1203 s]
/proc/loadavg: 8.28 8.13 8.08 6/298 20211
/proc/meminfo: memFree=26300424/32951124 swapFree=63649232/67111528
[pid=20162] ppid=20160 vsize=1779720 CPUtime=4800.15 cores=0,2,4,6
/proc/20162/stat : 20162 (strangenight2-m) R 20160 20162 20027 0 -1 4202496 2204796 0 0 0 479320 695 0 0 25 0 4 0 651465873 1822433280 358989 33554432000 4194304 4580107 140735308203536 18446744073709551615 4306071 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20162/statm: 444930 358989 379 95 0 439912 0
[pid=20162/tid=20163] ppid=20160 vsize=1779720 CPUtime=1191.95 cores=0,2,4,6
/proc/20162/task/20163/stat : 20163 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 543215 0 0 0 119021 174 0 0 25 0 4 0 651465873 1822433280 358998 33554432000 4194304 4580107 140735308203536 18446744073709551615 4293700 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20162/tid=20164] ppid=20160 vsize=1779720 CPUtime=1202.89 cores=0,2,4,6
/proc/20162/task/20164/stat : 20164 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 524291 0 0 0 120118 171 0 0 25 0 4 0 651465873 1822433280 358998 33554432000 4194304 4580107 140735308203536 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20162/tid=20165] ppid=20160 vsize=1779720 CPUtime=1202.39 cores=0,2,4,6
/proc/20162/task/20165/stat : 20165 (strangenight2-m) R 20160 20162 20027 0 -1 4202560 590582 0 0 0 120061 178 0 0 25 0 4 0 651465873 1822433280 358998 33554432000 4194304 4580107 140735308203536 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 1779720

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.09
CPU time (s): 4800.27
CPU user time (s): 4793.24
CPU system time (s): 7.02893
CPU usage (%): 398.994
Max. virtual memory (cumulated for all children) (KiB): 1911044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.24
system time used= 7.02893
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2204813
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= 18015
involuntary context switches= 20968

runsolver used 3.15752 second user time and 7.80981 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-14 20:44:34
IDJOB=3366208
IDBENCH=82617
IDSOLVER=1844
FILE ID=node130/3366208-1305398673
RUNJOBID= node130-1305397468-20045
PBS_JOBID= 13324461
Free space on /tmp= 73420 MiB

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

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

MD5SUM BENCH= c0e1e71ade06eb64bd0f5dbaf6b892a1
RANDOM SEED=829944336

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27735964 kB
Buffers:        252452 kB
Cached:        3597876 kB
SwapCached:      10248 kB
Active:        1185676 kB
Inactive:      3759884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27735964 kB
SwapTotal:    67111528 kB
SwapFree:     63649232 kB
Dirty:           15620 kB
Writeback:          56 kB
AnonPages:     1092336 kB
Mapped:          13532 kB
Slab:           183172 kB
PageTables:      24928 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 51574532 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= 73420 MiB
End job on node130 at 2011-05-14 21:04:39