Trace number 3175291

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-1-mt? (TO) 4800.25 1201.74

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v750-c3195-S158767647-027.SATISFIABLE.cnf
MD5SUM3a195a9f73ea42ae7df353109d53748f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.05899
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of clauses3195
Sum of the clauses size9585
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33195
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175291-1304107969.cnf'
0.00/0.00	c -- header says num vars:            750
0.00/0.00	c -- header says num clauses:        3195
0.00/0.00	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.00	c -- vars added        750
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0       750      3195         0         0      9585         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.01
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    750 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     16  v-fix:    0  time:  0.01 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     310 undec:      86 neg:     354
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       734      3176         0         0      9606         0   no data   no data  --
0.10/0.07	c Decided on static restart strategy
0.37/0.18	c  N st     8      4915       734      3176         0      4866      9606    156205   no data   no data  --
1.57/0.48	c  N st    10     11299       734      3176         0      4525      9606     98715   no data   no data  --
2.77/0.77	c  N st    11     17042       734      3176         0     10218      9606    290814   no data   no data  --
4.76/1.22	c  F st    12     25000       734      3176         0     12522      9606    373320   no data   no data  --
4.76/1.22	c  N st    12     25000       734      3176         0     12522      9606    373320   no data   no data  --
5.57/1.48	c Decided on static restart strategy
5.57/1.48	c  N st    18     30002       734      3176         0     10765      9606    266962   no data   no data  --
5.57/1.48	c  S st    18     30002       734      3176         0     10765      9606    266962   no data   no data  --
5.97/1.51	c  S st    18     30505       734      3176         0     11268      9606    281728   no data   no data  --
5.97/1.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.97/1.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
5.97/1.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
7.16/1.86	c lits-rem:        59  cl-subs:      235  v-elim:      0  v-fix:    0  time:  1.31 s
7.16/1.87	c asymm  cl-useful: 0/3176/3176 lits-rem:0 time: 0.04
7.16/1.87	c calculated reachability. Time: 0.00
7.16/1.87	c  N st    18     30505       734      3176         0     11033      9606    272227   no data   no data  --
8.78/2.29	c  N st    20     37617       734      3176         0     10257      9606    218221   no data   no data  --
10.76/2.75	c  N st    21     44018       734      3176         0     16583      9606    426218   no data   no data  --
11.15/2.88	c  S st    22     45757       734      3176         0      9468      9606    173592   no data   no data  --
11.55/2.91	c  S st    22     46261       734      3176         0      9972      9606    188521   no data   no data  --
11.55/2.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.55/2.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.55/2.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
11.55/2.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.55/2.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.55/2.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
11.55/2.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.95/3.09	c lits-rem:        15  cl-subs:       42  v-elim:      0  v-fix:    0  time:  0.68 s
11.95/3.09	c vivif2 --  cl tried     3176 cl shrink        0 lits rem          0 time: 0.00
11.95/3.09	c vivif2 --  cl tried     9930 cl shrink        0 lits rem          0 time: 0.01
12.35/3.10	c asymm  cl-useful: 0/3176/3176 lits-rem:0 time: 0.03
12.35/3.10	c calculated reachability. Time: 0.00
12.35/3.10	c  N st    22     46261       734      3176         0      9930      9606    187006   no data   no data  --
16.36/4.13	c  N st    23     60659       734      3176         0     14310      9606    320041   no data   no data  --
19.15/4.82	c  N st    24     69391       734      3176         0     12083      9606    235985   no data   no data  --
19.15/4.82	c  S st    24     69391       734      3176         0     12083      9606    235985   no data   no data  --
19.15/4.85	c  S st    24     69894       734      3176         0     12586      9606    251092   no data   no data  --
19.15/4.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.15/4.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.15/4.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
19.15/4.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.15/4.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.15/4.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
19.15/4.87	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
20.35/5.19	c lits-rem:        40  cl-subs:       86  v-elim:      0  v-fix:    0  time:  1.30 s
20.35/5.19	c vivif2 --  cl tried     3176 cl shrink        0 lits rem          0 time: 0.00
20.35/5.19	c vivif2 --  cl tried    12500 cl shrink        0 lits rem          0 time: 0.01
20.75/5.20	c asymm  cl-useful: 0/3176/3176 lits-rem:0 time: 0.04
20.75/5.20	c calculated reachability. Time: 0.00
20.75/5.20	c  N st    24     69894       734      3176         0     12500      9606    247834   no data   no data  --
26.73/6.71	c  F st    25     87503       734      3176         0     18012      9606    408539   no data   no data  --
26.73/6.71	c  N st    25     87503       734      3176         0     18012      9606    408539   no data   no data  --
28.33/7.15	c Decided on static restart strategy
29.53/7.44	c  N st    32     95540       734      3176         0     13140      9606    220626   no data   no data  --
32.32/8.17	c  N st    34    104843       734      3176         0     22265      9606    508731   no data   no data  --
32.32/8.17	c  S st    34    104843       734      3176         0     22265      9606    508731   no data   no data  --
32.72/8.22	c  S st    34    105353       734      3176         0     22775      9606    523591   no data   no data  --
32.72/8.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
32.72/8.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
32.72/8.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
32.72/8.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
32.72/8.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
32.72/8.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
32.72/8.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
38.72/9.71	c lits-rem:       182  cl-subs:      611  v-elim:      0  v-fix:    0  time:  5.83 s
38.72/9.71	c vivif2 --  cl tried     3176 cl shrink        0 lits rem          0 time: 0.00
38.72/9.72	c vivif2 --  cl tried    22164 cl shrink        0 lits rem          0 time: 0.02
38.72/9.74	c asymm  cl-useful: 0/3176/3176 lits-rem:0 time: 0.08
38.72/9.74	c calculated reachability. Time: 0.00
38.72/9.74	c  N st    34    105353       734      3176         0     22164      9606    501488   no data   no data  --
42.32/10.67	c  N st    35    114951       734      3176         0     17868      9606    347133   no data   no data  --
47.50/11.98	c  N st    36    129352       734      3176         0     17296      9606    309940   no data   no data  --
55.90/14.03	c  N st    37    150948       734      3176         0     22832      9606    476345   no data   no data  --
58.69/14.71	c  S st    38    158031       734      3176         0     29791      9606    697926   no data   no data  --
58.69/14.78	c  S st    38    158534       734      3176         0     30294      9606    712854   no data   no data  --
58.69/14.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
58.69/14.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
58.69/14.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
59.09/14.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
59.09/14.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
59.09/14.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
59.09/14.81	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
67.08/16.86	c lits-rem:      1114  cl-subs:      749  v-elim:      0  v-fix:    0  time:  8.17 s
67.08/16.86	c vivif2 --  cl tried     3176 cl shrink        0 lits rem          0 time: 0.00
67.08/16.87	c vivif2 --  cl tried    29545 cl shrink        0 lits rem          0 time: 0.03
67.48/16.90	c asymm  cl-useful: 0/3176/3176 lits-rem:0 time: 0.10
67.48/16.90	c calculated reachability. Time: 0.00
67.48/16.90	c  N st    38    158534       734      3176         0     29545      9606    684294   no data   no data  --
88.25/22.14	c  N st    39    207123       734      3176         0     24096      9606    467091   no data   no data  --
103.43/25.91	c  N st    40    237801       734      3176         0     34725      9606    808079   no data   no data  --
103.43/25.91	c  S st    40    237801       734      3176         0     34725      9606    808079   no data   no data  --
103.83/26.00	c  S st    40    238302       734      3176         0     35226      9606    824445   no data   no data  --
103.83/26.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
103.83/26.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
103.83/26.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
103.83/26.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
103.83/26.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
103.83/26.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
103.83/26.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
114.62/28.72	c lits-rem:       270  cl-subs:      976  v-elim:      0  v-fix:    0  time: 10.70 s
114.62/28.72	c vivif2 --  cl tried     3176 cl shrink        0 lits rem          0 time: 0.00
114.62/28.73	c vivif2 --  cl tried    34250 cl shrink        0 lits rem          0 time: 0.04
114.62/28.76	c asymm  cl-useful: 0/3176/3176 lits-rem:0 time: 0.13
114.62/28.77	c calculated reachability. Time: 0.00
114.62/28.77	c  N st    40    238302       734      3176         0     34250      9606    784177   no data   no data  --
150.96/37.87	c  F st    41    306253       734      3176         0     36137      9606    770260   no data   no data  --
150.96/37.87	c  N st    41    306253       734      3176         0     36137      9606    770260   no data   no data  --
161.75/40.54	c  N dy    98    326164       734      3176         0     32145      9606    531659     20.80     21.90  --
173.73/43.50	c  N dy   160    346845       734      3176         0     27898      9606    351789     20.26     21.34  --
178.92/44.82	c  S st   203    357455       734      3176         0     38428      9606    665790     20.16   no data  --
179.32/44.91	c  S st   203    357960       734      3176         0     38931      9606    681339     20.16   no data  --
179.32/44.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
179.32/44.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
179.32/44.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
179.32/44.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
179.32/44.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
179.32/44.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
179.32/44.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
188.11/47.19	c lits-rem:       586  cl-subs:      409  v-elim:      0  v-fix:    0  time:  8.96 s
188.11/47.19	c vivif2 --  cl tried     3176 cl shrink        0 lits rem          0 time: 0.00
188.11/47.20	c vivif2 --  cl tried    38522 cl shrink        0 lits rem          0 time: 0.03
188.53/47.24	c asymm  cl-useful: 0/3176/3176 lits-rem:0 time: 0.16
188.53/47.24	c calculated reachability. Time: 0.00
188.53/47.24	c  N dy   203    357960       734      3176         0     38522      9606    666985     20.16   no data  --
200.50/50.29	c  N dy   299    378017       734      3176         0     32659      9606    454406     20.21     21.63  --
213.67/53.53	c  N dy   399    398104       734      3176         0     52631      9606   1051011     20.31     21.50  --
224.46/56.22	c  N dy   483    418146       734      3176         0     45724      9606    818924     20.31     21.64  --
238.05/59.68	c  N dy   581    440982       734      3176         0     40610      9606    634534     20.25     21.45  --
252.42/63.20	c  N dy   670    461299       734      3176         0     31968      9606    347560     20.26     21.33  --
264.81/66.31	c  N dy   758    481589       734      3176         0     52098      9606    950491     20.24     21.37  --
278.39/69.72	c  N dy   890    501695       734      3176         0     42282      9606    631466     20.35     21.52  --
293.18/73.49	c  N dy   959    521887       734      3176         0     31568      9606    282461     20.31     21.47  --
301.96/75.65	c  S st  1047    536940       734      3176         0     46517      9606    730419     20.35     16.27  --
302.36/75.76	c  S st  1047    537446       734      3176         0     47023      9606    745152     20.35   no data  --
302.36/75.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
302.36/75.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
302.36/75.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
302.78/75.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
302.78/75.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
302.78/75.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
302.78/75.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
312.34/78.20	c lits-rem:       610  cl-subs:      342  v-elim:      0  v-fix:    0  time:  9.56 s
312.34/78.20	c vivif2 --  cl tried     3176 cl shrink        0 lits rem          0 time: 0.00
312.34/78.21	c vivif2 --  cl tried    46681 cl shrink        0 lits rem          0 time: 0.04
312.34/78.25	c asymm  cl-useful: 0/3176/3176 lits-rem:0 time: 0.18
312.34/78.25	c calculated reachability. Time: 0.00
312.34/78.25	c  N dy  1047    537446       734      3176         0     46681      9606    732134     20.35   no data  --
327.92/82.12	c  N dy  1137    557530       734      3176         0     34847      9606    357285     20.35     22.22  --
340.70/85.32	c  N dy  1235    577589       734      3176         0     54768      9606    961446     20.39     25.56  --
355.50/89.10	c  N dy  1333    597971       734      3176         0     42209      9606    547097     20.40     21.55  --
370.66/92.86	c  N dy  1411    618040       734      3176         0     62115      9606   1139499     20.39     22.94  --
385.44/96.56	c  N dy  1525    639075       734      3176         0     49254      9606    733956     20.42     21.54  --
404.24/101.24	c  N dy  1628    659690       734      3176         0     34975      9606    280778     20.46     21.60  --
418.19/104.72	c  N dy  1709    680800       734      3176         0     55878      9606    903148     20.45     21.56  --
438.57/109.86	c  N dy  1770    701244       734      3176         0     40466      9606    416854     20.43     21.88  --
453.35/113.52	c  N dy  1822    721492       734      3176         0     60529      9606   1016665     20.40     21.57  --
470.53/117.82	c  N dy  1865    742773       734      3176         0     44943      9606    535014     20.35     21.55  --
486.90/121.91	c  N dy  1955    763491       734      3176         0     65500      9606   1160070     20.36     21.80  --
502.88/125.94	c  N dy  1999    783880       734      3176         0     48048      9606    605694     20.29     21.62  --
520.45/130.36	c  N dy  2131    804072       734      3176         0     68109      9606   1216964     20.34     21.79  --
522.87/130.92	c  S st  2140    806171       734      3176         0     70194      9606   1279267     20.34     18.53  --
523.25/131.09	c  S st  2140    806677       734      3176         0     70699      9606   1294027     20.34   no data  --
523.65/131.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
523.65/131.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
523.65/131.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
523.65/131.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
523.65/131.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
523.65/131.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
523.65/131.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
531.26/133.08	c lits-rem:       422  cl-subs:      779  v-elim:      0  v-fix:    0  time:  7.61 s
531.26/133.08	c vivif2 --  cl tried     3176 cl shrink        0 lits rem          0 time: 0.00
531.26/133.09	c vivif2 --  cl tried    69920 cl shrink        0 lits rem          0 time: 0.06
531.66/133.18	c asymm  cl-useful: 0/3176/3176 lits-rem:0 time: 0.36
531.66/133.18	c calculated reachability. Time: 0.00
531.66/133.18	c  N dy  2140    806677       734      3176         0     69920      9606   1266416     20.34   no data  --
549.24/137.51	c  N dy  2248    826715       734      3176         0     51132      9606    674768     20.36     24.54  --
567.59/142.16	c  N dy  2347    846732       734      3176         0     70996      9606   1275392     20.38     21.50  --
585.17/146.55	c  N dy  2445    866818       734      3176         0     51207      9606    652482     20.40     21.49  --
603.54/151.15	c  N dy  2545    886876       734      3176         0     71137      9606   1255661     20.41     24.00  --
622.32/155.83	c  N dy  2647    906914       734      3176         0     50334      9606    599993     20.42     21.57  --
639.90/160.23	c  N dy  2721    926932       734      3176         0     70180      9606   1196811     20.41     22.91  --
660.26/165.35	c  N dy  2798    947754       734      3176         0     49118      9606    538709     20.39     21.80  --
677.43/169.63	c  N dy  2902    967815       734      3176         0     69030      9606   1142675     20.41     23.83  --
699.00/175.00	c  N dy  2966    988052       734      3176         0     46415      9606    431413     20.40     21.49  --
714.99/179.10	c  N dy  3082   1008172       734      3176         0     66373      9606   1039592     20.43     21.52  --
739.36/185.14	c  N dy  3179   1028428       734      3176         0     86476      9606   1642846     20.44     21.56  --
756.94/189.53	c  N dy  3230   1050545       734      3176         0     64724      9606    954824     20.41     21.59  --
781.72/195.76	c  N dy  3357   1071211       734      3176         0     85251      9606   1585464     20.44     21.59  --
782.50/195.99	c  F st  3360   1071875       734      3176         0     85904      9606   1604654     20.44     20.33  --
788.49/197.41	c Decided on static restart strategy
804.87/201.54	c  N st  3370   1100178       734      3176         0     69212      9606   1154933     20.44   no data  --
839.62/210.20	c  N st  3372   1136172       734      3176         0     59202      9606   1254778     20.44   no data  --
869.60/217.73	c  N st  3373   1168564       734      3176         0     90976      9606   2287564     20.44   no data  --
911.92/228.39	c  N st  3374   1210016       734      3176         0     85449      9606   2111972     20.44   no data  --
911.92/228.39	c  S st  3374   1210016       734      3176         0     85449      9606   2111972     20.44   no data  --
913.12/228.66	c  S st  3374   1210522       734      3176         0     85955      9606   2127372     20.44   no data  --
913.12/228.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
913.12/228.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
913.53/228.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
913.53/228.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
913.53/228.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
913.53/228.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
913.53/228.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
949.87/237.86	c lits-rem:       358  cl-subs:     3844  v-elim:      0  v-fix:    0  time: 36.25 s
949.87/237.86	c vivif2 --  cl tried     3176 cl shrink        0 lits rem          0 time: 0.00
949.87/237.88	c vivif2 --  cl tried    82111 cl shrink        0 lits rem          0 time: 0.10
950.67/238.01	c asymm  cl-useful: 0/3176/3176 lits-rem:0 time: 0.51
950.67/238.02	c calculated reachability. Time: 0.00
950.67/238.02	c  N st  3374   1210522       734      3176         0     82111      9606   1988444     20.44   no data  --
1029.75/257.83	c  N st  3375   1283405       734      3176         0     58629      9606   1074060     20.44   no data  --
1156.78/289.66	c  N st  3376   1392729       734      3176         0     66559      9606   1271214     20.44   no data  --
1348.94/337.72	c  N st  3377   1556713       734      3176         0     71362      9606   1310169     20.44   no data  --
1541.88/386.01	c  N st  3378   1710522       734      3176         0     57597      9606    764606     20.44   no data  --
1541.88/386.01	c  S st  3378   1710522       734      3176         0     57597      9606    764606     20.44   no data  --
1542.28/386.18	c  S st  3378   1711025       734      3176         0     58099      9606    779144     20.44   no data  --
1542.28/386.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1542.28/386.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1542.65/386.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.12
1542.65/386.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1542.65/386.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1542.65/386.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
1542.65/386.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1551.44/388.43	c lits-rem:       592  cl-subs:      316  v-elim:      0  v-fix:    0  time:  8.75 s
1551.44/388.43	c vivif2 --  cl tried     3176 cl shrink        0 lits rem          0 time: 0.00
1551.44/388.44	c vivif2 --  cl tried    57783 cl shrink        0 lits rem          0 time: 0.04
1551.84/388.51	c asymm  cl-useful: 0/3176/3176 lits-rem:0 time: 0.28
1551.84/388.51	c calculated reachability. Time: 0.00
1551.84/388.51	c  N st  3378   1711025       734      3176         0     57783      9606    768719     20.44   no data  --
2030.38/508.38	c  N st  3379   2079990       734      3176         0     63464      9606    789519     20.44   no data  --
2201.74/551.23	c  N st  3380   2211027       734      3176         0     65783      9606    805523     20.44   no data  --
2201.74/551.23	c  S st  3380   2211027       734      3176         0     65783      9606    805523     20.44   no data  --
2202.54/551.40	c  S st  3380   2211531       734      3176         0     66287      9606    820656     20.44   no data  --
2202.54/551.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2202.54/551.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2202.54/551.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
2202.54/551.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2202.54/551.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2202.54/551.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
2202.54/551.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2212.53/553.93	c lits-rem:       672  cl-subs:      199  v-elim:      0  v-fix:    0  time:  9.86 s
2212.53/553.93	c vivif2 --  cl tried     3176 cl shrink        0 lits rem          0 time: 0.00
2212.53/553.94	c vivif2 --  cl tried    66088 cl shrink        0 lits rem          0 time: 0.04
2212.93/554.02	c asymm  cl-useful: 0/3176/3176 lits-rem:0 time: 0.33
2212.93/554.03	c calculated reachability. Time: 0.00
2212.93/554.03	c  N st  3380   2211531       734      3176         0     66088      9606    813552     20.44   no data  --
2883.61/721.93	c  N st  3381   2711534       734      3176         0     82716      9606   1215883     20.44   no data  --
2883.61/721.93	c  S st  3381   2711534       734      3176         0     82716      9606   1215883     20.44   no data  --
2884.41/722.18	c  S st  3381   2712036       734      3176         0     83217      9606   1230421     20.44   no data  --
2884.41/722.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2884.41/722.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2884.81/722.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
2884.81/722.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2884.81/722.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2884.81/722.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
2884.81/722.27	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2893.60/724.47	c lits-rem:       119  cl-subs:      948  v-elim:      0  v-fix:    0  time:  8.81 s
2893.60/724.48	c vivif2 --  cl tried     3176 cl shrink        0 lits rem          0 time: 0.00
2893.60/724.49	c vivif2 --  cl tried    82269 cl shrink        0 lits rem          0 time: 0.06
2894.40/724.61	c asymm  cl-useful: 0/3176/3176 lits-rem:0 time: 0.49
2894.40/724.62	c calculated reachability. Time: 0.00
2894.40/724.62	c  N st  3381   2712036       734      3176         0     82269      9606   1199281     20.44   no data  --
3632.98/909.54	c  N st  3382   3212037       734      3176         0    127888      9606   2563017     20.44   no data  --
3632.98/909.54	c  S st  3382   3212037       734      3176         0    127888      9606   2563017     20.44   no data  --
3634.57/909.96	c  S st  3382   3212540       734      3176         0    128391      9606   2577705     20.44   no data  --
3634.57/909.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3634.57/909.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3634.97/910.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.28
3635.37/910.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3635.37/910.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3635.37/910.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
3635.37/910.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3726.08/932.89	c lits-rem:       382  cl-subs:     6909  v-elim:      0  v-fix:    0  time: 90.86 s
3726.08/932.89	c vivif2 --  cl tried     3176 cl shrink        0 lits rem          0 time: 0.00
3726.45/932.92	c vivif2 --  cl tried   121482 cl shrink        0 lits rem          0 time: 0.12
3727.25/933.12	c asymm  cl-useful: 0/3176/3176 lits-rem:0 time: 0.80
3727.25/933.13	c calculated reachability. Time: 0.00
3727.25/933.13	c  N st  3382   3212540       734      3176         0    121482      9606   2362935     20.44   no data  --
4652.80/1164.82	c  N st  3383   3712540       734      3176         0    132140      9606   2561312     20.44   no data  --
4652.80/1164.82	c  S st  3383   3712540       734      3176         0    132140      9606   2561312     20.44   no data  --
4654.37/1165.24	c  S st  3383   3713045       734      3176         0    132645      9606   2576696     20.44   no data  --
4654.37/1165.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4654.37/1165.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4654.77/1165.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.29
4655.17/1165.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4655.17/1165.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4655.17/1165.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
4655.17/1165.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4755.04/1190.40	c lits-rem:        66  cl-subs:     7892  v-elim:      0  v-fix:    0  time: 99.80 s
4755.04/1190.40	c vivif2 --  cl tried     3176 cl shrink        0 lits rem          0 time: 0.00
4755.04/1190.43	c vivif2 --  cl tried   124753 cl shrink        0 lits rem          0 time: 0.12
4755.84/1190.64	c asymm  cl-useful: 0/3176/3176 lits-rem:0 time: 0.84
4755.84/1190.65	c calculated reachability. Time: 0.00
4755.84/1190.65	c  N st  3383   3713045       734      3176         0    124753      9606   2326823     20.44   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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175291-1304107969/watcher-3175291-1304107969 -o /tmp/evaluation-result-3175291-1304107969/solver-3175291-1304107969 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175291-1304107969.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.22 7.96 8.10 4/180 24562
/proc/meminfo: memFree=25371844/32951124 swapFree=67111524/67111528
[pid=24560] ppid=24557 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/24560/stat : 24560 (strangenight1-m) R 24557 24560 24228 0 -1 4202496 412 0 0 0 0 0 0 0 21 0 4 0 522395091 52465664 352 33554432000 4194304 4650419 140735306496480 18446744073709551615 47253762082732 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24560/statm: 12809 352 303 112 0 7774 0
[pid=24560/tid=24563] ppid=24557 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/24560/task/24563/stat : 24563 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 522395092 52465664 352 33554432000 4194304 4650419 140735306496480 18446744073709551615 47253762082728 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24560/tid=24565] ppid=24557 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/24560/task/24565/stat : 24565 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 522395092 52465664 352 33554432000 4194304 4650419 140735306496480 18446744073709551615 47253762082738 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24560/tid=24568] ppid=24557 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/24560/task/24568/stat : 24568 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 522395092 52465664 352 33554432000 4194304 4650419 140735306496480 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.033806 s]
/proc/loadavg: 7.22 7.96 8.10 4/180 24562
/proc/meminfo: memFree=25371844/32951124 swapFree=67111524/67111528
[pid=24560] ppid=24557 vsize=282884 CPUtime=0.1 cores=0,2,4,6
/proc/24560/stat : 24560 (strangenight1-m) R 24557 24560 24228 0 -1 4202496 1657 0 0 0 10 0 0 0 18 0 4 0 522395091 289673216 1508 33554432000 4194304 4650419 140735306496480 18446744073709551615 4333820 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24560/statm: 70721 1508 390 112 0 65686 0
[pid=24560/tid=24563] ppid=24557 vsize=282884 CPUtime=0.02 cores=0,2,4,6
/proc/24560/task/24563/stat : 24563 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 364 0 0 0 2 0 0 0 23 0 4 0 522395092 289673216 1508 33554432000 4194304 4650419 140735306496480 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24560/tid=24565] ppid=24557 vsize=282884 CPUtime=0.02 cores=0,2,4,6
/proc/24560/task/24565/stat : 24565 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 331 0 0 0 2 0 0 0 18 0 4 0 522395092 289673216 1509 33554432000 4194304 4650419 140735306496480 18446744073709551615 4363604 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24560/tid=24568] ppid=24557 vsize=282884 CPUtime=0.02 cores=0,2,4,6
/proc/24560/task/24568/stat : 24568 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 191 0 0 0 2 0 0 0 24 0 4 0 522395092 289673216 1509 33554432000 4194304 4650419 140735306496480 18446744073709551615 4366229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 282884

[startup+0.100794 s]
/proc/loadavg: 7.22 7.96 8.10 4/180 24562
/proc/meminfo: memFree=25371844/32951124 swapFree=67111524/67111528
[pid=24560] ppid=24557 vsize=282884 CPUtime=0.37 cores=0,2,4,6
/proc/24560/stat : 24560 (strangenight1-m) R 24557 24560 24228 0 -1 4202496 1996 0 0 0 37 0 0 0 18 0 4 0 522395091 289673216 1847 33554432000 4194304 4650419 140735306496480 18446744073709551615 4364576 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24560/statm: 70721 1848 391 112 0 65686 0
[pid=24560/tid=24563] ppid=24557 vsize=282884 CPUtime=0.09 cores=0,2,4,6
/proc/24560/task/24563/stat : 24563 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 450 0 0 0 9 0 0 0 23 0 4 0 522395092 289673216 1848 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24560/tid=24565] ppid=24557 vsize=282884 CPUtime=0.09 cores=0,2,4,6
/proc/24560/task/24565/stat : 24565 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 411 0 0 0 9 0 0 0 18 0 4 0 522395092 289673216 1848 33554432000 4194304 4650419 140735306496480 18446744073709551615 4363458 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24560/tid=24568] ppid=24557 vsize=282884 CPUtime=0.08 cores=0,2,4,6
/proc/24560/task/24568/stat : 24568 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 288 0 0 0 8 0 0 0 24 0 4 0 522395092 289673216 1848 33554432000 4194304 4650419 140735306496480 18446744073709551615 4315147 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282884

[startup+0.300759 s]
/proc/loadavg: 7.22 7.96 8.10 4/180 24562
/proc/meminfo: memFree=25371844/32951124 swapFree=67111524/67111528
[pid=24560] ppid=24557 vsize=284364 CPUtime=1.17 cores=0,2,4,6
/proc/24560/stat : 24560 (strangenight1-m) R 24557 24560 24228 0 -1 4202496 3274 0 0 0 117 0 0 0 18 0 4 0 522395091 291188736 2382 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24560/statm: 71091 2382 393 112 0 66056 0
[pid=24560/tid=24563] ppid=24557 vsize=284364 CPUtime=0.29 cores=0,2,4,6
/proc/24560/task/24563/stat : 24563 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 766 0 0 0 29 0 0 0 23 0 4 0 522395092 291188736 2382 33554432000 4194304 4650419 140735306496480 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24560/tid=24565] ppid=24557 vsize=284364 CPUtime=0.29 cores=0,2,4,6
/proc/24560/task/24565/stat : 24565 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 723 0 0 0 29 0 0 0 18 0 4 0 522395092 291188736 2382 33554432000 4194304 4650419 140735306496480 18446744073709551615 4364424 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24560/tid=24568] ppid=24557 vsize=284364 CPUtime=0.28 cores=0,2,4,6
/proc/24560/task/24568/stat : 24568 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 613 0 0 0 28 0 0 0 25 0 4 0 522395092 291188736 2382 33554432000 4194304 4650419 140735306496480 18446744073709551615 4328275 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284364

[startup+0.700689 s]
/proc/loadavg: 7.22 7.96 8.10 4/180 24562
/proc/meminfo: memFree=25371844/32951124 swapFree=67111524/67111528
[pid=24560] ppid=24557 vsize=285420 CPUtime=2.77 cores=0,2,4,6
/proc/24560/stat : 24560 (strangenight1-m) R 24557 24560 24228 0 -1 4202496 5158 0 0 0 277 0 0 0 18 0 4 0 522395091 292270080 3154 33554432000 4194304 4650419 140735306496480 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24560/statm: 71355 3154 393 112 0 66320 0
[pid=24560/tid=24563] ppid=24557 vsize=285420 CPUtime=0.69 cores=0,2,4,6
/proc/24560/task/24563/stat : 24563 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 1228 0 0 0 69 0 0 0 25 0 4 0 522395092 292270080 3154 33554432000 4194304 4650419 140735306496480 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24560/tid=24565] ppid=24557 vsize=285420 CPUtime=0.69 cores=0,2,4,6
/proc/24560/task/24565/stat : 24565 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 1203 0 0 0 69 0 0 0 18 0 4 0 522395092 292270080 3154 33554432000 4194304 4650419 140735306496480 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24560/tid=24568] ppid=24557 vsize=285420 CPUtime=0.68 cores=0,2,4,6
/proc/24560/task/24568/stat : 24568 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 1066 0 0 0 68 0 0 0 25 0 4 0 522395092 292270080 3154 33554432000 4194304 4650419 140735306496480 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285420

[startup+1.50055 s]
/proc/loadavg: 7.22 7.96 8.10 12/188 24570
/proc/meminfo: memFree=25349096/32951124 swapFree=67111524/67111528
[pid=24560] ppid=24557 vsize=286860 CPUtime=5.97 cores=0,2,4,6
/proc/24560/stat : 24560 (strangenight1-m) R 24557 24560 24228 0 -1 4202496 8899 0 0 0 596 1 0 0 20 0 4 0 522395091 293744640 3747 33554432000 4194304 4650419 140735306496480 18446744073709551615 4328298 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24560/statm: 71715 3747 394 112 0 66680 0
[pid=24560/tid=24563] ppid=24557 vsize=286860 CPUtime=1.49 cores=0,2,4,6
/proc/24560/task/24563/stat : 24563 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 2190 0 0 0 149 0 0 0 25 0 4 0 522395092 293744640 3747 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24560/tid=24565] ppid=24557 vsize=286860 CPUtime=1.49 cores=0,2,4,6
/proc/24560/task/24565/stat : 24565 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 2159 0 0 0 149 0 0 0 19 0 4 0 522395092 293744640 3748 33554432000 4194304 4650419 140735306496480 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24560/tid=24568] ppid=24557 vsize=286860 CPUtime=1.48 cores=0,2,4,6
/proc/24560/task/24568/stat : 24568 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 1905 0 0 0 148 0 0 0 25 0 4 0 522395092 293744640 3749 33554432000 4194304 4650419 140735306496480 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286860

[startup+3.10027 s]
/proc/loadavg: 7.22 7.96 8.10 9/188 24570
/proc/meminfo: memFree=25317728/32951124 swapFree=67111524/67111528
[pid=24560] ppid=24557 vsize=282280 CPUtime=12.35 cores=0,2,4,6
/proc/24560/stat : 24560 (strangenight1-m) R 24557 24560 24228 0 -1 4202496 18974 0 0 0 1233 2 0 0 25 0 4 0 522395091 289054720 11284 33554432000 4194304 4650419 140735306496480 18446744073709551615 4370491 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24560/statm: 70570 11284 395 112 0 65535 0
[pid=24560/tid=24563] ppid=24557 vsize=282280 CPUtime=3.09 cores=0,2,4,6
/proc/24560/task/24563/stat : 24563 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 4288 0 0 0 309 0 0 0 25 0 4 0 522395092 289054720 11284 33554432000 4194304 4650419 140735306496480 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24560/tid=24565] ppid=24557 vsize=282280 CPUtime=3.08 cores=0,2,4,6
/proc/24560/task/24565/stat : 24565 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 4955 0 0 0 308 0 0 0 25 0 4 0 522395092 289054720 11284 33554432000 4194304 4650419 140735306496480 18446744073709551615 4370647 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24560/tid=24568] ppid=24557 vsize=282280 CPUtime=3.07 cores=0,2,4,6
/proc/24560/task/24568/stat : 24568 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 4286 0 0 0 307 0 0 0 25 0 4 0 522395092 289054720 11284 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 282280

[startup+6.3007 s]
/proc/loadavg: 7.36 7.98 8.10 9/188 24570
/proc/meminfo: memFree=25265704/32951124 swapFree=67111524/67111528
[pid=24560] ppid=24557 vsize=291692 CPUtime=25.14 cores=0,2,4,6
/proc/24560/stat : 24560 (strangenight1-m) R 24557 24560 24228 0 -1 4202496 26743 0 0 0 2510 4 0 0 25 0 4 0 522395091 298692608 14790 33554432000 4194304 4650419 140735306496480 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24560/statm: 72923 14790 395 112 0 67888 0
[pid=24560/tid=24563] ppid=24557 vsize=291692 CPUtime=6.29 cores=0,2,4,6
/proc/24560/task/24563/stat : 24563 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 6437 0 0 0 628 1 0 0 25 0 4 0 522395092 298692608 14790 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24560/tid=24565] ppid=24557 vsize=291692 CPUtime=6.28 cores=0,2,4,6
/proc/24560/task/24565/stat : 24565 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 6156 0 0 0 628 0 0 0 25 0 4 0 522395092 298692608 14790 33554432000 4194304 4650419 140735306496480 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24560/tid=24568] ppid=24557 vsize=291692 CPUtime=6.25 cores=0,2,4,6
/proc/24560/task/24568/stat : 24568 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 6060 0 0 0 624 1 0 0 25 0 4 0 522395092 298692608 14790 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 291692

[startup+12.7006 s]
/proc/loadavg: 7.41 7.98 8.10 9/188 24570
/proc/meminfo: memFree=25218868/32951124 swapFree=67111524/67111528
[pid=24560] ppid=24557 vsize=301076 CPUtime=50.7 cores=0,2,4,6
/proc/24560/stat : 24560 (strangenight1-m) R 24557 24560 24228 0 -1 4202496 38144 0 0 0 5063 7 0 0 25 0 4 0 522395091 308301824 22120 33554432000 4194304 4650419 140735306496480 18446744073709551615 4329270 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24560/statm: 75269 22120 395 112 0 70234 0
[pid=24560/tid=24563] ppid=24557 vsize=301076 CPUtime=12.68 cores=0,2,4,6
/proc/24560/task/24563/stat : 24563 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 7519 0 0 0 1267 1 0 0 25 0 4 0 522395092 308301824 22120 33554432000 4194304 4650419 140735306496480 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24560/tid=24565] ppid=24557 vsize=301076 CPUtime=12.68 cores=0,2,4,6
/proc/24560/task/24565/stat : 24565 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 9453 0 0 0 1267 1 0 0 25 0 4 0 522395092 308301824 22120 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24560/tid=24568] ppid=24557 vsize=301076 CPUtime=12.61 cores=0,2,4,6
/proc/24560/task/24568/stat : 24568 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 8628 0 0 0 1260 1 0 0 25 0 4 0 522395092 308301824 22120 33554432000 4194304 4650419 140735306496480 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 301076

[startup+25.5003 s]
/proc/loadavg: 7.54 7.98 8.10 9/188 24570
/proc/meminfo: memFree=25173972/32951124 swapFree=67111524/67111528
[pid=24560] ppid=24557 vsize=310952 CPUtime=101.82 cores=0,2,4,6
/proc/24560/stat : 24560 (strangenight1-m) R 24557 24560 24228 0 -1 4202496 55282 0 0 0 10170 12 0 0 25 0 4 0 522395091 318414848 29215 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24560/statm: 77738 29215 395 112 0 72703 0
[pid=24560/tid=24563] ppid=24557 vsize=310952 CPUtime=25.48 cores=0,2,4,6
/proc/24560/task/24563/stat : 24563 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 9110 0 0 0 2546 2 0 0 25 0 4 0 522395092 318414848 29215 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24560/tid=24565] ppid=24557 vsize=310952 CPUtime=25.48 cores=0,2,4,6
/proc/24560/task/24565/stat : 24565 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 13747 0 0 0 2546 2 0 0 25 0 4 0 522395092 318414848 29215 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24560/tid=24568] ppid=24557 vsize=310952 CPUtime=25.34 cores=0,2,4,6
/proc/24560/task/24568/stat : 24568 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 12398 0 0 0 2532 2 0 0 25 0 4 0 522395092 318414848 29215 33554432000 4194304 4650419 140735306496480 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 310952

[startup+51.1007 s]
/proc/loadavg: 7.70 7.98 8.10 9/188 24571
/proc/meminfo: memFree=25116240/32951124 swapFree=67111524/67111528
[pid=24560] ppid=24557 vsize=298944 CPUtime=204.09 cores=0,2,4,6
/proc/24560/stat : 24560 (strangenight1-m) R 24557 24560 24228 0 -1 4202496 89248 0 0 0 20387 22 0 0 25 0 4 0 522395091 306118656 36180 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24560/statm: 74736 36180 395 112 0 69701 0
[pid=24560/tid=24563] ppid=24557 vsize=298944 CPUtime=51.08 cores=0,2,4,6
/proc/24560/task/24563/stat : 24563 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 16663 0 0 0 5103 5 0 0 25 0 4 0 522395092 306118656 36180 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24560/tid=24565] ppid=24557 vsize=298944 CPUtime=51.08 cores=0,2,4,6
/proc/24560/task/24565/stat : 24565 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 24808 0 0 0 5103 5 0 0 25 0 4 0 522395092 306118656 36180 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24560/tid=24568] ppid=24557 vsize=298944 CPUtime=50.81 cores=0,2,4,6
/proc/24560/task/24568/stat : 24568 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 17590 0 0 0 5077 4 0 0 25 0 4 0 522395092 306118656 36180 33554432000 4194304 4650419 140735306496480 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 298944

[startup+102.307 s]
/proc/loadavg: 7.97 8.01 8.10 9/188 24573
/proc/meminfo: memFree=25040700/32951124 swapFree=67111524/67111528
[pid=24560] ppid=24557 vsize=375472 CPUtime=408.63 cores=0,2,4,6
/proc/24560/stat : 24560 (strangenight1-m) R 24557 24560 24228 0 -1 4202496 132137 0 0 0 40826 37 0 0 25 0 4 0 522395091 384483328 49821 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24560/statm: 93868 49821 395 112 0 88833 0
[pid=24560/tid=24563] ppid=24557 vsize=375472 CPUtime=102.29 cores=0,2,4,6
/proc/24560/task/24563/stat : 24563 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 28504 0 0 0 10221 8 0 0 25 0 4 0 522395092 384483328 49821 33554432000 4194304 4650419 140735306496480 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24560/tid=24565] ppid=24557 vsize=375472 CPUtime=102.29 cores=0,2,4,6
/proc/24560/task/24565/stat : 24565 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 37123 0 0 0 10219 10 0 0 25 0 4 0 522395092 384483328 49821 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24560/tid=24568] ppid=24557 vsize=375472 CPUtime=101.73 cores=0,2,4,6
/proc/24560/task/24568/stat : 24568 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 27088 0 0 0 10167 6 0 0 25 0 4 0 522395092 384483328 49821 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 375472

[startup+162.301 s]

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

[pid=24560] ppid=24557 vsize=603796 CPUtime=2805.32 cores=0,2,4,6
/proc/24560/stat : 24560 (strangenight1-m) R 24557 24560 24228 0 -1 4202496 369397 0 0 0 280395 137 0 0 25 0 4 0 522395091 618287104 92942 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24560/statm: 150949 92942 395 112 0 145914 0
[pid=24560/tid=24563] ppid=24557 vsize=603796 CPUtime=702.24 cores=0,2,4,6
/proc/24560/task/24563/stat : 24563 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 53003 0 0 0 70205 19 0 0 25 0 4 0 522395092 618287104 92942 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24560/tid=24565] ppid=24557 vsize=603796 CPUtime=702.3 cores=0,2,4,6
/proc/24560/task/24565/stat : 24565 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 105278 0 0 0 70190 40 0 0 25 0 4 0 522395092 618287104 92942 33554432000 4194304 4650419 140735306496480 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24560/tid=24568] ppid=24557 vsize=603796 CPUtime=698.47 cores=0,2,4,6
/proc/24560/task/24568/stat : 24568 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 83729 0 0 0 69817 30 0 0 25 0 4 0 522395092 618287104 92942 33554432000 4194304 4650419 140735306496480 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.32
Current children cumulated vsize (KiB) 603796

[startup+762.307 s]
/proc/loadavg: 8.29 8.19 8.13 9/188 24590
/proc/meminfo: memFree=24662032/32951124 swapFree=67111524/67111528
[pid=24560] ppid=24557 vsize=604196 CPUtime=3045.01 cores=0,2,4,6
/proc/24560/stat : 24560 (strangenight1-m) R 24557 24560 24228 0 -1 4202496 389545 0 0 0 304355 146 0 0 25 0 4 0 522395091 618696704 97428 33554432000 4194304 4650419 140735306496480 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24560/statm: 151049 97428 395 112 0 146014 0
[pid=24560/tid=24563] ppid=24557 vsize=604196 CPUtime=762.23 cores=0,2,4,6
/proc/24560/task/24563/stat : 24563 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 53331 0 0 0 76204 19 0 0 25 0 4 0 522395092 618696704 97428 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24560/tid=24565] ppid=24557 vsize=604196 CPUtime=762.31 cores=0,2,4,6
/proc/24560/task/24565/stat : 24565 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 111343 0 0 0 76188 43 0 0 25 0 4 0 522395092 618696704 97428 33554432000 4194304 4650419 140735306496480 18446744073709551615 4333952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24560/tid=24568] ppid=24557 vsize=604196 CPUtime=758.15 cores=0,2,4,6
/proc/24560/task/24568/stat : 24568 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 88409 0 0 0 75782 33 0 0 25 0 4 0 522395092 618696704 97428 33554432000 4194304 4650419 140735306496480 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.01
Current children cumulated vsize (KiB) 604196

[startup+822.301 s]
/proc/loadavg: 8.25 8.20 8.13 9/188 24592
/proc/meminfo: memFree=24657916/32951124 swapFree=67111524/67111528
[pid=24560] ppid=24557 vsize=604444 CPUtime=3284.66 cores=0,2,4,6
/proc/24560/stat : 24560 (strangenight1-m) R 24557 24560 24228 0 -1 4202496 405267 0 0 0 328313 153 0 0 25 0 4 0 522395091 618950656 98594 33554432000 4194304 4650419 140735306496480 18446744073709551615 4331981 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24560/statm: 151111 98594 395 112 0 146076 0
[pid=24560/tid=24563] ppid=24557 vsize=604444 CPUtime=822.22 cores=0,2,4,6
/proc/24560/task/24563/stat : 24563 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 53583 0 0 0 82203 19 0 0 25 0 4 0 522395092 618950656 98594 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24560/tid=24565] ppid=24557 vsize=604444 CPUtime=822.3 cores=0,2,4,6
/proc/24560/task/24565/stat : 24565 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 114465 0 0 0 82186 44 0 0 25 0 4 0 522395092 618950656 98594 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24560/tid=24568] ppid=24557 vsize=604444 CPUtime=817.82 cores=0,2,4,6
/proc/24560/task/24568/stat : 24568 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 91992 0 0 0 81748 34 0 0 25 0 4 0 522395092 618950656 98594 33554432000 4194304 4650419 140735306496480 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.66
Current children cumulated vsize (KiB) 604444

[startup+882.3 s]
/proc/loadavg: 8.30 8.22 8.14 10/188 24593
/proc/meminfo: memFree=24666320/32951124 swapFree=67111524/67111528
[pid=24560] ppid=24557 vsize=557972 CPUtime=3524.33 cores=0,2,4,6
/proc/24560/stat : 24560 (strangenight1-m) R 24557 24560 24228 0 -1 4202496 421213 0 0 0 352273 160 0 0 25 0 4 0 522395091 571363328 93169 33554432000 4194304 4650419 140735306496480 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24560/statm: 139493 93169 395 112 0 134458 0
[pid=24560/tid=24563] ppid=24557 vsize=557972 CPUtime=882.22 cores=0,2,4,6
/proc/24560/task/24563/stat : 24563 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 54197 0 0 0 88203 19 0 0 25 0 4 0 522395092 571363328 93169 33554432000 4194304 4650419 140735306496480 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24560/tid=24565] ppid=24557 vsize=557972 CPUtime=882.3 cores=0,2,4,6
/proc/24560/task/24565/stat : 24565 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 118114 0 0 0 88184 46 0 0 25 0 4 0 522395092 571363328 93169 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24560/tid=24568] ppid=24557 vsize=557972 CPUtime=877.49 cores=0,2,4,6
/proc/24560/task/24568/stat : 24568 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 95224 0 0 0 87713 36 0 0 25 0 4 0 522395092 571363328 93169 33554432000 4194304 4650419 140735306496480 18446744073709551615 4366616 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.33
Current children cumulated vsize (KiB) 557972

[startup+942.301 s]
/proc/loadavg: 8.18 8.20 8.14 9/188 24595
/proc/meminfo: memFree=24604536/32951124 swapFree=67111524/67111528
[pid=24560] ppid=24557 vsize=682856 CPUtime=3764 cores=0,2,4,6
/proc/24560/stat : 24560 (strangenight1-m) R 24557 24560 24228 0 -1 4202496 445642 0 0 0 376231 169 0 0 25 0 4 0 522395091 699244544 111430 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24560/statm: 170714 111430 395 112 0 165679 0
[pid=24560/tid=24563] ppid=24557 vsize=682856 CPUtime=942.22 cores=0,2,4,6
/proc/24560/task/24563/stat : 24563 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 56374 0 0 0 94201 21 0 0 25 0 4 0 522395092 699244544 111430 33554432000 4194304 4650419 140735306496480 18446744073709551615 4361036 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24560/tid=24565] ppid=24557 vsize=682856 CPUtime=942.3 cores=0,2,4,6
/proc/24560/task/24565/stat : 24565 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 122517 0 0 0 94182 48 0 0 25 0 4 0 522395092 699244544 111430 33554432000 4194304 4650419 140735306496480 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24560/tid=24568] ppid=24557 vsize=682856 CPUtime=937.16 cores=0,2,4,6
/proc/24560/task/24568/stat : 24568 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 100765 0 0 0 93678 38 0 0 25 0 4 0 522395092 699244544 111430 33554432000 4194304 4650419 140735306496480 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764
Current children cumulated vsize (KiB) 682856

[startup+1002.3 s]
/proc/loadavg: 8.31 8.23 8.15 9/188 24597
/proc/meminfo: memFree=24618508/32951124 swapFree=67111524/67111528
[pid=24560] ppid=24557 vsize=629592 CPUtime=4003.67 cores=0,2,4,6
/proc/24560/stat : 24560 (strangenight1-m) R 24557 24560 24228 0 -1 4202496 462500 0 0 0 400192 175 0 0 25 0 4 0 522395091 644702208 106716 33554432000 4194304 4650419 140735306496480 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24560/statm: 157398 106716 395 112 0 152363 0
[pid=24560/tid=24563] ppid=24557 vsize=629592 CPUtime=1002.21 cores=0,2,4,6
/proc/24560/task/24563/stat : 24563 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 56755 0 0 0 100200 21 0 0 25 0 4 0 522395092 644702208 106716 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24560/tid=24565] ppid=24557 vsize=629592 CPUtime=1002.31 cores=0,2,4,6
/proc/24560/task/24565/stat : 24565 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 125041 0 0 0 100181 50 0 0 25 0 4 0 522395092 644702208 106716 33554432000 4194304 4650419 140735306496480 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24560/tid=24568] ppid=24557 vsize=629592 CPUtime=996.84 cores=0,2,4,6
/proc/24560/task/24568/stat : 24568 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 107871 0 0 0 99644 40 0 0 25 0 4 0 522395092 644702208 106716 33554432000 4194304 4650419 140735306496480 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.67
Current children cumulated vsize (KiB) 629592

[startup+1062.3 s]
/proc/loadavg: 8.15 8.20 8.15 10/188 24598
/proc/meminfo: memFree=24530440/32951124 swapFree=67111524/67111528
[pid=24560] ppid=24557 vsize=754204 CPUtime=4243.34 cores=0,2,4,6
/proc/24560/stat : 24560 (strangenight1-m) R 24557 24560 24228 0 -1 4202496 484846 0 0 0 424149 185 0 0 25 0 4 0 522395091 772304896 122874 33554432000 4194304 4650419 140735306496480 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24560/statm: 188551 122874 395 112 0 183516 0
[pid=24560/tid=24563] ppid=24557 vsize=754204 CPUtime=1062.21 cores=0,2,4,6
/proc/24560/task/24563/stat : 24563 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 62703 0 0 0 106198 23 0 0 25 0 4 0 522395092 772304896 122874 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24560/tid=24565] ppid=24557 vsize=754204 CPUtime=1062.31 cores=0,2,4,6
/proc/24560/task/24565/stat : 24565 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 130201 0 0 0 106179 52 0 0 25 0 4 0 522395092 772304896 122874 33554432000 4194304 4650419 140735306496480 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24560/tid=24568] ppid=24557 vsize=754204 CPUtime=1056.52 cores=0,2,4,6
/proc/24560/task/24568/stat : 24568 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 113587 0 0 0 105609 43 0 0 25 0 4 0 522395092 772304896 122874 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.34
Current children cumulated vsize (KiB) 754204

[startup+1122.3 s]
/proc/loadavg: 8.39 8.24 8.16 9/188 24600
/proc/meminfo: memFree=24509456/32951124 swapFree=67111524/67111528
[pid=24560] ppid=24557 vsize=790144 CPUtime=4483.01 cores=0,2,4,6
/proc/24560/stat : 24560 (strangenight1-m) R 24557 24560 24228 0 -1 4202496 504859 0 0 0 448106 195 0 0 25 0 4 0 522395091 809107456 127490 33554432000 4194304 4650419 140735306496480 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24560/statm: 197536 127490 395 112 0 192501 0
[pid=24560/tid=24563] ppid=24557 vsize=790144 CPUtime=1122.2 cores=0,2,4,6
/proc/24560/task/24563/stat : 24563 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 68554 0 0 0 112195 25 0 0 25 0 4 0 522395092 809107456 127490 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24560/tid=24565] ppid=24557 vsize=790144 CPUtime=1122.31 cores=0,2,4,6
/proc/24560/task/24565/stat : 24565 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 132756 0 0 0 112178 53 0 0 25 0 4 0 522395092 809107456 127490 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24560/tid=24568] ppid=24557 vsize=790144 CPUtime=1116.19 cores=0,2,4,6
/proc/24560/task/24568/stat : 24568 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 118335 0 0 0 111573 46 0 0 25 0 4 0 522395092 809107456 127490 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.01
Current children cumulated vsize (KiB) 790144

[startup+1182.3 s]
/proc/loadavg: 8.25 8.22 8.16 9/188 24601
/proc/meminfo: memFree=24488852/32951124 swapFree=67111524/67111528
[pid=24560] ppid=24557 vsize=773684 CPUtime=4722.69 cores=0,2,4,6
/proc/24560/stat : 24560 (strangenight1-m) R 24557 24560 24228 0 -1 4202496 518689 0 0 0 472066 203 0 0 25 0 4 0 522395091 792252416 128896 33554432000 4194304 4650419 140735306496480 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24560/statm: 193421 128896 395 112 0 188386 0
[pid=24560/tid=24563] ppid=24557 vsize=773684 CPUtime=1182.2 cores=0,2,4,6
/proc/24560/task/24563/stat : 24563 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 69987 0 0 0 118194 26 0 0 25 0 4 0 522395092 792252416 128896 33554432000 4194304 4650419 140735306496480 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24560/tid=24565] ppid=24557 vsize=773684 CPUtime=1182.31 cores=0,2,4,6
/proc/24560/task/24565/stat : 24565 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 136867 0 0 0 118175 56 0 0 25 0 4 0 522395092 792252416 128896 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24560/tid=24568] ppid=24557 vsize=773684 CPUtime=1175.87 cores=0,2,4,6
/proc/24560/task/24568/stat : 24568 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 120695 0 0 0 117539 48 0 0 25 0 4 0 522395092 792252416 128896 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.69
Current children cumulated vsize (KiB) 773684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.18 8.21 8.16 10/188 24602
/proc/meminfo: memFree=24470484/32951124 swapFree=67111524/67111528
[pid=24560] ppid=24557 vsize=731116 CPUtime=4800.2 cores=0,2,4,6
/proc/24560/stat : 24560 (strangenight1-m) R 24557 24560 24228 0 -1 4202496 524855 0 0 0 479815 205 0 0 25 0 4 0 522395091 748662784 132073 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24560/statm: 182779 132073 395 112 0 177744 0
[pid=24560/tid=24563] ppid=24557 vsize=731116 CPUtime=1201.61 cores=0,2,4,6
/proc/24560/task/24563/stat : 24563 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 70352 0 0 0 120134 27 0 0 25 0 4 0 522395092 748662784 132073 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24560/tid=24565] ppid=24557 vsize=731116 CPUtime=1201.72 cores=0,2,4,6
/proc/24560/task/24565/stat : 24565 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 139059 0 0 0 120115 57 0 0 25 0 4 0 522395092 748662784 132073 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24560/tid=24568] ppid=24557 vsize=731116 CPUtime=1195.16 cores=0,2,4,6
/proc/24560/task/24568/stat : 24568 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 121977 0 0 0 119468 48 0 0 25 0 4 0 522395092 748662784 132073 33554432000 4194304 4650419 140735306496480 18446744073709551615 4336647 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 731116

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

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

[startup+1201.7 s]
/proc/loadavg: 8.18 8.21 8.16 10/188 24602
/proc/meminfo: memFree=24470484/32951124 swapFree=67111524/67111528
[pid=24560] ppid=24557 vsize=731116 CPUtime=4800.2 cores=0,2,4,6
/proc/24560/stat : 24560 (strangenight1-m) R 24557 24560 24228 0 -1 4202496 524855 0 0 0 479815 205 0 0 25 0 4 0 522395091 748662784 132073 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/24560/statm: 182779 132073 395 112 0 177744 0
[pid=24560/tid=24563] ppid=24557 vsize=731116 CPUtime=1201.61 cores=0,2,4,6
/proc/24560/task/24563/stat : 24563 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 70352 0 0 0 120134 27 0 0 25 0 4 0 522395092 748662784 132073 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24560/tid=24565] ppid=24557 vsize=731116 CPUtime=1201.72 cores=0,2,4,6
/proc/24560/task/24565/stat : 24565 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 139059 0 0 0 120115 57 0 0 25 0 4 0 522395092 748662784 132073 33554432000 4194304 4650419 140735306496480 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24560/tid=24568] ppid=24557 vsize=731116 CPUtime=1195.16 cores=0,2,4,6
/proc/24560/task/24568/stat : 24568 (strangenight1-m) R 24557 24560 24228 0 -1 4202560 121977 0 0 0 119468 48 0 0 25 0 4 0 522395092 748662784 132073 33554432000 4194304 4650419 140735306496480 18446744073709551615 4336647 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 731116

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.25
CPU user time (s): 4798.17
CPU system time (s): 2.07968
CPU usage (%): 399.443
Max. virtual memory (cumulated for all children) (KiB): 880544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.17
system time used= 2.07968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 524855
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= 244
involuntary context switches= 81330

runsolver used 1.87571 second user time and 4.70328 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 22:12:49
IDJOB=3175291
IDBENCH=82909
IDSOLVER=1588
FILE ID=node132/3175291-1304107969
RUNJOBID= node132-1304107969-24543
PBS_JOBID= 13170650
Free space on /tmp= 71872 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v750-c3195-S158767647-027.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175291-1304107969/watcher-3175291-1304107969 -o /tmp/evaluation-result-3175291-1304107969/solver-3175291-1304107969 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175291-1304107969.cnf

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

MD5SUM BENCH= 3a195a9f73ea42ae7df353109d53748f
RANDOM SEED=1628128423

node132.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	: 5332.74
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.76
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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:      25372404 kB
Buffers:        775532 kB
Cached:        6241184 kB
SwapCached:          4 kB
Active:        2097076 kB
Inactive:      4983884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25372404 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           12448 kB
Writeback:           0 kB
AnonPages:       64076 kB
Mapped:          14508 kB
Slab:           436116 kB
PageTables:       4784 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   191716 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71860 MiB
End job on node132 at 2011-04-29 22:32:53