Trace number 3366421

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

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v175-c3727-S82160031-050.SATISFIABLE.cnf
MD5SUM90ea123f6d02a54bb761f724a5a1c9d1
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.43278
Satisfiable
(Un)Satisfiability was proved
Number of variables175
Number of clauses3727
Sum of the clauses size18635
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 53727
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-3366421-1305403954.cnf'
0.00/0.01	c -- header says num vars:            175
0.00/0.01	c -- header says num clauses:        3727
0.04/0.02	c -- clauses added:            0 learnts,         3727 normals,            0 xors
0.04/0.02	c -- vars added        175
0.04/0.02	c Parsing time:  0.00 s
0.04/0.02	c  N st     0         0       175      3727         0         0     18635         0   no data   no data
0.04/0.02	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.01
0.04/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.04/0.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.04/0.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.04/0.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.04/0.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
0.04/0.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.17/0.85	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.85	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.85	c calculated reachability. Time: 0.00
3.17/0.85	c Calc default polars -  time:   0.00 s pos:      83 undec:       5 neg:      87
3.17/0.85	c =========================================================================================
3.17/0.85	c types(t): F = full restart, N = normal restart
3.17/0.85	c types(t): S = simplification begin/end, E = solution found
3.17/0.85	c restart types(rt): st = static, dy = dynamic
3.17/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.85	c  B st     0         0       175      3727         0         0     18635         0   no data   no data
3.17/0.85	c Decided on static restart strategy
3.17/0.85	c  N st     8      4915       175      3727         0      4748     18635    166739   no data   no data
3.17/0.85	c  N st    10     11298       175      3727         0      4389     18635    112889   no data   no data
3.17/0.85	c  N st    11     17041       175      3727         0      9885     18635    306557   no data   no data
3.98/1.05	c  F st    12     25001       175      3727         0     12055     18635    366364   no data   no data
3.98/1.05	c  N st    12     25001       175      3727         0     12055     18635    366364   no data   no data
4.76/1.25	c Decided on static restart strategy
4.76/1.25	c  N st    18     30002       175      3727         0     10360     18635    298778   no data   no data
4.76/1.25	c  S st    18     30002       175      3727         0     10360     18635    298778   no data   no data
4.76/1.28	c  S st    18     30507       175      3727         0     10854     18635    314730   no data   no data
4.76/1.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.76/1.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.76/1.28	c blocked clauses removed:        0 vars:      0 tried:         175 T: 0.00 s
4.76/1.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.76/1.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.76/1.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
4.76/1.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.76/1.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.15/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.49	c lits-rem:       151  cl-subs:     1046  v-elim:      0  v-fix:    0  time:  0.19 s
5.96/1.54	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.04
5.96/1.54	c calculated reachability. Time: 0.00
5.96/1.54	c  N st    18     30507       175      3727         0      9808     18635    272812   no data   no data
7.56/1.91	c  N st    20     37617       175      3727         0      9049     18635    222835   no data   no data
8.79/2.26	c  N st    21     44016       175      3727         0     15134     18635    427538   no data   no data
9.15/2.38	c  S st    22     45760       175      3727         0     16806     18635    483133   no data   no data
9.55/2.43	c  S st    22     46263       175      3727         0      8763     18635    190639   no data   no data
9.55/2.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.55/2.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
9.55/2.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.55/2.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.55/2.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
9.55/2.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.55/2.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.55/2.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.47	c lits-rem:        26  cl-subs:      122  v-elim:      0  v-fix:    0  time:  0.02 s
9.55/2.47	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
9.55/2.47	c vivif2 --  cl tried     8641 cl shrink        0 lits rem          0 time: 0.00
9.95/2.51	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.04
9.95/2.51	c calculated reachability. Time: 0.00
9.95/2.51	c  N st    22     46263       175      3727         0      8641     18635    185999   no data   no data
13.19/3.34	c  N st    23     60661       175      3727         0     12880     18635    313493   no data   no data
15.54/3.94	c  N st    24     69395       175      3727         0     10745     18635    221877   no data   no data
15.54/3.94	c  S st    24     69395       175      3727         0     10745     18635    221877   no data   no data
15.54/3.97	c  S st    24     69896       175      3727         0     11238     18635    238142   no data   no data
15.54/3.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.54/3.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.54/3.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.54/3.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.54/3.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.54/3.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
15.54/3.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.54/3.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.54/3.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.94/4.04	c lits-rem:        26  cl-subs:      221  v-elim:      0  v-fix:    0  time:  0.05 s
15.94/4.04	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
15.94/4.04	c vivif2 --  cl tried    11017 cl shrink        0 lits rem          0 time: 0.00
15.94/4.09	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.05
15.94/4.09	c calculated reachability. Time: 0.00
15.94/4.09	c  N st    24     69896       175      3727         0     11017     18635    229782   no data   no data
20.73/5.25	c  F st    25     87500       175      3727         0     16358     18635    399876   no data   no data
20.73/5.25	c  N st    25     87500       175      3727         0     16358     18635    399876   no data   no data
22.32/5.60	c Decided on static restart strategy
22.72/5.79	c  N st    32     95539       175      3727         0     24064     18635    660357   no data   no data
25.12/6.37	c  N st    34    104846       175      3727         0     20555     18635    533206   no data   no data
25.12/6.37	c  S st    34    104846       175      3727         0     20555     18635    533206   no data   no data
25.52/6.43	c  S st    34    105348       175      3727         0     21049     18635    549297   no data   no data
25.52/6.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.52/6.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.52/6.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.52/6.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.52/6.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.52/6.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
25.52/6.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.52/6.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
25.52/6.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.51/6.95	c lits-rem:       265  cl-subs:     1288  v-elim:      0  v-fix:    0  time:  0.49 s
27.51/6.95	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
27.51/6.96	c vivif2 --  cl tried    19761 cl shrink        0 lits rem          0 time: 0.01
27.90/7.04	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.08
27.90/7.04	c calculated reachability. Time: 0.00
27.90/7.04	c  N st    34    105348       175      3727         0     19761     18635    499443   no data   no data
30.33/7.69	c  N st    35    114946       175      3727         0     15570     18635    346279   no data   no data
34.72/8.80	c  N st    36    129344       175      3727         0     15021     18635    298714   no data   no data
41.08/10.39	c  N st    37    150939       175      3727         0     20406     18635    457913   no data   no data
43.49/10.91	c  S st    38    158022       175      3727         0     27220     18635    696813   no data   no data
43.49/10.97	c  S st    38    158524       175      3727         0     27711     18635    713127   no data   no data
43.49/10.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.49/10.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
43.49/10.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.49/10.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.49/10.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.49/10.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
43.49/10.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.49/10.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
43.90/11.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.47/11.91	c lits-rem:       454  cl-subs:     1675  v-elim:      0  v-fix:    0  time:  0.90 s
47.47/11.91	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
47.47/11.92	c vivif2 --  cl tried    26036 cl shrink        0 lits rem          0 time: 0.01
47.88/12.04	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.12
47.88/12.04	c calculated reachability. Time: 0.00
47.88/12.04	c  N st    38    158524       175      3727         0     26036     18635    647923   no data   no data
65.03/16.39	c  N st    39    207112       175      3727         0     20864     18635    414272   no data   no data
77.80/19.50	c  N st    40    237786       175      3727         0     30981     18635    756251   no data   no data
77.80/19.50	c  S st    40    237786       175      3727         0     30981     18635    756251   no data   no data
78.20/19.61	c  S st    40    238292       175      3727         0     31479     18635    772484   no data   no data
78.20/19.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.20/19.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
78.20/19.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
78.20/19.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
78.20/19.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
78.20/19.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
78.20/19.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
78.20/19.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
78.20/19.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.18/21.62	c lits-rem:       597  cl-subs:     2032  v-elim:      0  v-fix:    0  time:  1.96 s
86.18/21.62	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
86.18/21.63	c vivif2 --  cl tried    29447 cl shrink        0 lits rem          0 time: 0.01
86.58/21.76	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.13
86.58/21.76	c calculated reachability. Time: 0.00
86.58/21.76	c  N st    40    238292       175      3727         0     29447     18635    695377   no data   no data
115.70/29.01	c  F st    41    306251       175      3727         0     31249     18635    694017   no data   no data
115.70/29.01	c  N st    41    306251       175      3727         0     31249     18635    694017   no data   no data
118.12/29.62	c Decided on static restart strategy
128.08/32.19	c  N st    51    334553       175      3727         0     35495     18635    831629   no data   no data
138.06/34.64	c  N st    53    357438       175      3727         0     33474     18635    717433   no data   no data
138.06/34.64	c  S st    53    357438       175      3727         0     33474     18635    717433   no data   no data
138.46/34.72	c  S st    53    357941       175      3727         0     33969     18635    734068   no data   no data
138.46/34.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
138.46/34.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
138.46/34.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
138.46/34.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
138.46/34.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138.46/34.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
138.46/34.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
138.46/34.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
138.46/34.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.05/35.64	c lits-rem:       485  cl-subs:     1554  v-elim:      0  v-fix:    0  time:  0.89 s
142.05/35.64	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
142.05/35.65	c vivif2 --  cl tried    32415 cl shrink        0 lits rem          0 time: 0.01
142.85/35.81	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.16
142.85/35.81	c calculated reachability. Time: 0.00
142.85/35.81	c  N st    53    357941       175      3727         0     32415     18635    675968   no data   no data
156.81/39.32	c  N st    54    390333       175      3727         0     38501     18635    879836   no data   no data
185.14/46.48	c  N st    55    438921       175      3727         0     32402     18635    640294   no data   no data
223.07/56.01	c  N st    56    511804       175      3727         0     45398     18635   1042099   no data   no data
235.03/58.90	c  N st    57    536911       175      3727         0     39930     18635    834128   no data   no data
235.03/58.90	c  S st    57    536911       175      3727         0     39930     18635    834128   no data   no data
235.43/59.01	c  S st    57    537412       175      3727         0     40422     18635    850456   no data   no data
235.43/59.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
235.43/59.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
235.43/59.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
235.43/59.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
235.43/59.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
235.43/59.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
235.43/59.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
235.43/59.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
235.43/59.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
240.62/60.30	c lits-rem:       560  cl-subs:     1550  v-elim:      0  v-fix:    0  time:  1.24 s
240.62/60.30	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
240.62/60.32	c vivif2 --  cl tried    38872 cl shrink        0 lits rem          0 time: 0.01
241.45/60.51	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.19
241.45/60.51	c calculated reachability. Time: 0.00
241.45/60.51	c  N st    57    537412       175      3727         0     38872     18635    787721   no data   no data
334.00/83.76	c  N st    58    701397       175      3727         0     67569     18635   1785625   no data   no data
400.65/100.47	c  N st    59    806118       175      3727         0     61522     18635   1466715   no data   no data
400.65/100.47	c  S st    59    806118       175      3727         0     61522     18635   1466715   no data   no data
401.45/100.63	c  S st    59    806620       175      3727         0     62008     18635   1482974   no data   no data
401.45/100.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
401.45/100.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
401.45/100.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
401.45/100.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
401.45/100.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
401.45/100.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
401.45/100.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
401.45/100.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
401.85/100.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
434.19/108.81	c lits-rem:      1743  cl-subs:     4092  v-elim:      0  v-fix:    0  time:  8.09 s
434.19/108.82	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
434.19/108.84	c vivif2 --  cl tried    57916 cl shrink        0 lits rem          0 time: 0.02
435.36/109.15	c asymm  cl-useful: 0/3099/3727 lits-rem:0 time: 0.31
435.36/109.15	c calculated reachability. Time: 0.00
435.36/109.15	c  N st    59    806620       175      3727         0     57916     18635   1326541   no data   no data
605.41/151.79	c  F st    60   1071876       175      3727         0     73638     18635   1799893   no data   no data
605.41/151.79	c  N st    60   1071876       175      3727         0     73638     18635   1799893   no data   no data
610.21/152.97	c Decided on static restart strategy
625.34/156.75	c  N st    70   1100185       175      3727         0     57899     18635   1155688   no data   no data
657.67/164.89	c  N st    72   1136180       175      3727         0     48376     18635    795585   no data   no data
682.81/171.10	c  N st    73   1168572       175      3727         0     79156     18635   1883531   no data   no data
719.54/180.32	c  N st    74   1209932       175      3727         0     73679     18635   1613441   no data   no data
719.54/180.32	c  S st    74   1209932       175      3727         0     73679     18635   1613441   no data   no data
720.31/180.58	c  S st    74   1210432       175      3727         0     74176     18635   1630414   no data   no data
720.31/180.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
720.71/180.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.05
720.71/180.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
720.71/180.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
720.71/180.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
720.71/180.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
720.71/180.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
720.71/180.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
721.11/180.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
804.10/201.53	c lits-rem:      1217  cl-subs:     5070  v-elim:      0  v-fix:    0  time: 20.81 s
804.10/201.53	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
804.10/201.56	c vivif2 --  cl tried    69106 cl shrink        0 lits rem          0 time: 0.03
804.90/201.71	c asymm  cl-useful: 0/628/3727 lits-rem:0 time: 0.15
804.90/201.71	c calculated reachability. Time: 0.00
804.90/201.71	c  N st    74   1210432       175      3727         0     69106     18635   1456569   no data   no data
872.75/218.75	c  N st    75   1283315       175      3727         0     92470     18635   2260179   no data   no data
980.49/245.79	c  N st    76   1392641       175      3727         0     54114     18635    876785   no data   no data
1112.59/278.87	c  N st    77   1556625       175      3727         0     58680     18635    983762   no data   no data
1241.51/311.14	c  N st    78   1710432       175      3727         0     99396     18635   2366211   no data   no data
1241.51/311.14	c  S st    78   1710432       175      3727         0     99396     18635   2366211   no data   no data
1242.70/311.45	c  S st    78   1710936       175      3727         0     99891     18635   2382826   no data   no data
1242.70/311.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1243.10/311.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1243.10/311.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1243.10/311.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1243.10/311.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1243.10/311.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
1243.10/311.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1243.10/311.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1243.50/311.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1351.24/338.68	c lits-rem:      4315  cl-subs:     8184  v-elim:      0  v-fix:    0  time: 27.07 s
1351.24/338.68	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
1351.66/338.71	c vivif2 --  cl tried    91707 cl shrink        0 lits rem          0 time: 0.03
1352.83/339.08	c asymm  cl-useful: 0/2047/3727 lits-rem:0 time: 0.37
1352.83/339.08	c calculated reachability. Time: 0.00
1352.83/339.08	c  N st    78   1710936       175      3727         0     91707     18635   2087673   no data   no data
1702.86/426.80	c  N st    79   2079901       175      3727         0    103530     18635   2345712   no data   no data
1823.76/457.01	c  N st    80   2210936       175      3727         0    107692     18635   2522950   no data   no data
1823.76/457.01	c  S st    80   2210936       175      3727         0    107692     18635   2522950   no data   no data
1824.96/457.34	c  S st    80   2211441       175      3727         0    108187     18635   2539631   no data   no data
1824.96/457.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1825.36/457.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1825.36/457.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1825.36/457.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1825.36/457.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1825.36/457.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
1825.36/457.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1825.36/457.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1825.36/457.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1931.89/484.14	c lits-rem:      3349  cl-subs:     7286  v-elim:      0  v-fix:    0  time: 26.63 s
1931.89/484.14	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
1931.89/484.17	c vivif2 --  cl tried   100901 cl shrink        0 lits rem          0 time: 0.04
1933.50/484.55	c asymm  cl-useful: 0/1680/3727 lits-rem:0 time: 0.37
1933.50/484.55	c calculated reachability. Time: 0.00
1933.50/484.55	c  N st    80   2211441       175      3727         0    100901     18635   2264363   no data   no data
2463.88/617.44	c  N st    81   2711442       175      3727         0    123726     18635   2931360   no data   no data
2463.88/617.44	c  S st    81   2711442       175      3727         0    123726     18635   2931360   no data   no data
2465.48/617.84	c  S st    81   2711946       175      3727         0    124224     18635   2948019   no data   no data
2465.48/617.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2465.88/617.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2465.88/617.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2465.88/617.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2465.88/617.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2465.88/617.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
2465.88/617.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2465.88/617.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2466.29/618.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2645.45/662.91	c lits-rem:      3188  cl-subs:    11041  v-elim:      0  v-fix:    0  time: 44.88 s
2645.45/662.91	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
2645.45/662.95	c vivif2 --  cl tried   113183 cl shrink        0 lits rem          0 time: 0.04
2647.08/663.34	c asymm  cl-useful: 0/1709/3727 lits-rem:0 time: 0.39
2647.08/663.34	c calculated reachability. Time: 0.00
2647.08/663.34	c  N st    81   2711946       175      3727         0    113183     18635   2576626   no data   no data
3262.81/817.63	c  N st    82   3211946       175      3727         0     89458     18635   1538452   no data   no data
3262.81/817.63	c  S st    82   3211946       175      3727         0     89458     18635   1538452   no data   no data
3264.01/817.90	c  S st    82   3212452       175      3727         0     89953     18635   1555059   no data   no data
3264.01/817.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3264.01/817.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3264.01/817.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3264.01/817.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3264.01/817.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3264.01/817.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
3264.01/817.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3264.01/817.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3264.41/818.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3285.55/823.36	c lits-rem:       906  cl-subs:     3558  v-elim:      0  v-fix:    0  time:  5.35 s
3285.55/823.36	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
3285.55/823.38	c vivif2 --  cl tried    86395 cl shrink        0 lits rem          0 time: 0.02
3287.15/823.74	c asymm  cl-useful: 0/2018/3727 lits-rem:0 time: 0.36
3287.15/823.74	c calculated reachability. Time: 0.00
3287.15/823.74	c  N st    82   3212452       175      3727         0     86395     18635   1439908   no data   no data
3919.32/982.20	c  N st    83   3712453       175      3727         0     97259     18635   1702846   no data   no data
3919.32/982.20	c  S st    83   3712453       175      3727         0     97259     18635   1702846   no data   no data
3921.31/982.61	c  S st    83   3712957       175      3727         0     97756     18635   1719528   no data   no data
3921.31/982.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3921.31/982.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
3921.31/982.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3921.31/982.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3921.31/982.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3921.31/982.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
3921.31/982.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3921.71/982.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3921.71/982.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3968.79/994.54	c lits-rem:       961  cl-subs:     3704  v-elim:      0  v-fix:    0  time: 11.77 s
3968.79/994.54	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
3968.79/994.57	c vivif2 --  cl tried    94052 cl shrink        0 lits rem          0 time: 0.03
3971.19/995.15	c asymm  cl-useful: 0/2071/3727 lits-rem:0 time: 0.58
3971.19/995.16	c calculated reachability. Time: 0.00
3971.19/995.16	c  N st    83   3712957       175      3727         0     94052     18635   1593030   no data   no data
4024.26/1008.47	c  F st    84   3751562       175      3727         0    130782     18635   2873932   no data   no data
4024.26/1008.47	c  N st    84   3751562       175      3727         0    130782     18635   2873932   no data   no data
4034.28/1010.98	c Decided on static restart strategy
4084.13/1023.45	c  N st    94   3779861       175      3727         0    157952     18635   3833505   no data   no data
4125.63/1033.87	c  N st    96   3815854       175      3727         0    111605     18635   2185745   no data   no data
4166.74/1044.11	c  N st    97   3848246       175      3727         0    142429     18635   3268614   no data   no data
4231.41/1060.31	c  N st    98   3896834       175      3727         0    107004     18635   1973803   no data   no data
4357.11/1091.86	c  N st    99   3969719       175      3727         0     93561     18635   1480548   no data   no data
4509.56/1130.03	c  N st   100   4079042       175      3727         0    113829     18635   2187161   no data   no data
4693.15/1176.09	c  N st   101   4212957       175      3727         0    156307     18635   3610402   no data   no data
4693.15/1176.09	c  S st   101   4212957       175      3727         0    156307     18635   3610402   no data   no data
4695.14/1176.56	c  S st   101   4213461       175      3727         0    156801     18635   3627344   no data   no data
4695.14/1176.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4695.54/1176.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4695.54/1176.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4695.54/1176.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4695.54/1176.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4695.54/1176.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
4695.54/1176.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4695.94/1176.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4696.35/1176.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

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-3366421-1305403954/watcher-3366421-1305403954 -o /tmp/evaluation-result-3366421-1305403954/solver-3366421-1305403954 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366421-1305403954.cnf 

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

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


[startup+0 s]
/proc/loadavg: 3.40 4.80 6.46 6/298 20669
/proc/meminfo: memFree=27774788/32951124 swapFree=63649232/67111528
[pid=20669] ppid=20667 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/20669/stat : 20669 (strangenight2-m) R 20667 20669 20027 0 -1 4202496 412 0 0 0 0 0 0 0 21 0 4 0 651993869 52396032 352 33554432000 4194304 4580107 140733285252384 18446744073709551615 47707549534130 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20669/statm: 12792 352 302 95 0 7774 0
[pid=20669/tid=20670] ppid=20667 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/20669/task/20670/stat : 20670 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 4 0 651993869 52396032 352 33554432000 4194304 4580107 140733285252384 18446744073709551615 47707549533721 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20669/tid=20671] ppid=20667 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/20669/task/20671/stat : 20671 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 651993869 52396032 352 33554432000 4194304 4580107 140733285252384 18446744073709551615 47707549534130 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20669/tid=20672] ppid=20667 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/20669/task/20672/stat : 20672 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 651993870 52396032 352 33554432000 4194304 4580107 140733285252384 18446744073709551615 47707549533715 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0165229 s]
/proc/loadavg: 3.40 4.80 6.46 6/298 20669
/proc/meminfo: memFree=27774788/32951124 swapFree=63649232/67111528
[pid=20669] ppid=20667 vsize=281836 CPUtime=0.04 cores=1,3,5,7
/proc/20669/stat : 20669 (strangenight2-m) R 20667 20669 20027 0 -1 4202496 987 0 0 0 4 0 0 0 18 0 4 0 651993869 288600064 894 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20669/statm: 70459 894 357 95 0 65441 0
[pid=20669/tid=20670] ppid=20667 vsize=281836 CPUtime=0.01 cores=1,3,5,7
/proc/20669/task/20670/stat : 20670 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 144 0 0 0 1 0 0 0 18 0 4 0 651993869 288600064 894 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20669/tid=20671] ppid=20667 vsize=281836 CPUtime=0 cores=1,3,5,7
/proc/20669/task/20671/stat : 20671 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 140 0 0 0 0 0 0 0 23 0 4 0 651993869 288600064 894 33554432000 4194304 4580107 140733285252384 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20669/tid=20672] ppid=20667 vsize=281836 CPUtime=0 cores=1,3,5,7
/proc/20669/task/20672/stat : 20672 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 151 0 0 0 0 0 0 0 18 0 4 0 651993870 288600064 895 33554432000 4194304 4580107 140733285252384 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 281836

[startup+0.100506 s]
/proc/loadavg: 3.40 4.80 6.46 6/298 20669
/proc/meminfo: memFree=27774788/32951124 swapFree=63649232/67111528
[pid=20669] ppid=20667 vsize=282508 CPUtime=0.37 cores=1,3,5,7
/proc/20669/stat : 20669 (strangenight2-m) R 20667 20669 20027 0 -1 4202496 2197 0 0 0 37 0 0 0 18 0 4 0 651993869 289288192 2013 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20669/statm: 70627 2013 376 95 0 65609 0
[pid=20669/tid=20670] ppid=20667 vsize=282508 CPUtime=0.09 cores=1,3,5,7
/proc/20669/task/20670/stat : 20670 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 495 0 0 0 9 0 0 0 18 0 4 0 651993869 289288192 2013 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20669/tid=20671] ppid=20667 vsize=282508 CPUtime=0.08 cores=1,3,5,7
/proc/20669/task/20671/stat : 20671 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 492 0 0 0 8 0 0 0 23 0 4 0 651993869 289288192 2013 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20669/tid=20672] ppid=20667 vsize=282508 CPUtime=0.09 cores=1,3,5,7
/proc/20669/task/20672/stat : 20672 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 312 0 0 0 9 0 0 0 18 0 4 0 651993870 289288192 2013 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282508

[startup+0.300471 s]
/proc/loadavg: 3.40 4.80 6.46 6/298 20669
/proc/meminfo: memFree=27774788/32951124 swapFree=63649232/67111528
[pid=20669] ppid=20667 vsize=284680 CPUtime=1.17 cores=1,3,5,7
/proc/20669/stat : 20669 (strangenight2-m) R 20667 20669 20027 0 -1 4202496 3582 0 0 0 117 0 0 0 18 0 4 0 651993869 291512320 2589 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20669/statm: 71170 2589 377 95 0 66152 0
[pid=20669/tid=20670] ppid=20667 vsize=284680 CPUtime=0.29 cores=1,3,5,7
/proc/20669/task/20670/stat : 20670 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 813 0 0 0 29 0 0 0 18 0 4 0 651993869 291512320 2589 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20669/tid=20671] ppid=20667 vsize=284680 CPUtime=0.28 cores=1,3,5,7
/proc/20669/task/20671/stat : 20671 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 844 0 0 0 28 0 0 0 23 0 4 0 651993869 291512320 2589 33554432000 4194304 4580107 140733285252384 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20669/tid=20672] ppid=20667 vsize=284680 CPUtime=0.29 cores=1,3,5,7
/proc/20669/task/20672/stat : 20672 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 683 0 0 0 29 0 0 0 18 0 4 0 651993870 291512320 2589 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284680

[startup+0.700409 s]
/proc/loadavg: 3.40 4.80 6.46 6/298 20669
/proc/meminfo: memFree=27774788/32951124 swapFree=63649232/67111528
[pid=20669] ppid=20667 vsize=286364 CPUtime=2.77 cores=1,3,5,7
/proc/20669/stat : 20669 (strangenight2-m) R 20667 20669 20027 0 -1 4202496 6339 0 0 0 276 1 0 0 18 0 4 0 651993869 293236736 2956 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20669/statm: 71591 2956 377 95 0 66573 0
[pid=20669/tid=20670] ppid=20667 vsize=286364 CPUtime=0.69 cores=1,3,5,7
/proc/20669/task/20670/stat : 20670 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 1338 0 0 0 69 0 0 0 18 0 4 0 651993869 293236736 2956 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20669/tid=20671] ppid=20667 vsize=286364 CPUtime=0.68 cores=1,3,5,7
/proc/20669/task/20671/stat : 20671 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 1571 0 0 0 68 0 0 0 25 0 4 0 651993869 293236736 2956 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20669/tid=20672] ppid=20667 vsize=286364 CPUtime=0.69 cores=1,3,5,7
/proc/20669/task/20672/stat : 20672 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 1436 0 0 0 69 0 0 0 18 0 4 0 651993870 293236736 2956 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286364

[startup+1.50027 s]
/proc/loadavg: 3.40 4.80 6.46 9/302 20673
/proc/meminfo: memFree=27749200/32951124 swapFree=63649232/67111528
[pid=20669] ppid=20667 vsize=287748 CPUtime=5.96 cores=1,3,5,7
/proc/20669/stat : 20669 (strangenight2-m) R 20667 20669 20027 0 -1 4202496 12145 0 0 0 594 2 0 0 20 0 4 0 651993869 294653952 5333 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20669/statm: 71937 5333 379 95 0 66919 0
[pid=20669/tid=20670] ppid=20667 vsize=287748 CPUtime=1.49 cores=1,3,5,7
/proc/20669/task/20670/stat : 20670 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 2394 0 0 0 149 0 0 0 19 0 4 0 651993869 294653952 5333 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20669/tid=20671] ppid=20667 vsize=287748 CPUtime=1.47 cores=1,3,5,7
/proc/20669/task/20671/stat : 20671 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 2692 0 0 0 147 0 0 0 25 0 4 0 651993869 294653952 5333 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20669/tid=20672] ppid=20667 vsize=287748 CPUtime=1.48 cores=1,3,5,7
/proc/20669/task/20672/stat : 20672 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 2520 0 0 0 148 0 0 0 20 0 4 0 651993870 294653952 5333 33554432000 4194304 4580107 140733285252384 18446744073709551615 4319961 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 287748

[startup+3.10101 s]
/proc/loadavg: 3.40 4.80 6.46 10/302 20673
/proc/meminfo: memFree=27705544/32951124 swapFree=63649232/67111528
[pid=20669] ppid=20667 vsize=299460 CPUtime=12.36 cores=1,3,5,7
/proc/20669/stat : 20669 (strangenight2-m) R 20667 20669 20027 0 -1 4202496 24156 0 0 0 1231 5 0 0 25 0 4 0 651993869 306647040 12149 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20669/statm: 74865 12149 379 95 0 69847 0
[pid=20669/tid=20670] ppid=20667 vsize=299460 CPUtime=3.08 cores=1,3,5,7
/proc/20669/task/20670/stat : 20670 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 5586 0 0 0 308 0 0 0 25 0 4 0 651993869 306647040 12149 33554432000 4194304 4580107 140733285252384 18446744073709551615 4318602 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20669/tid=20671] ppid=20667 vsize=299460 CPUtime=3.06 cores=1,3,5,7
/proc/20669/task/20671/stat : 20671 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 6283 0 0 0 305 1 0 0 25 0 4 0 651993869 306647040 12149 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20669/tid=20672] ppid=20667 vsize=299460 CPUtime=3.08 cores=1,3,5,7
/proc/20669/task/20672/stat : 20672 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 6179 0 0 0 307 1 0 0 25 0 4 0 651993870 306647040 12149 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 299460

[startup+6.30048 s]
/proc/loadavg: 3.77 4.85 6.47 9/302 20673
/proc/meminfo: memFree=27675936/32951124 swapFree=63649232/67111528
[pid=20669] ppid=20667 vsize=306788 CPUtime=25.12 cores=1,3,5,7
/proc/20669/stat : 20669 (strangenight2-m) R 20667 20669 20027 0 -1 4202496 37667 0 0 0 2505 7 0 0 25 0 4 0 651993869 314150912 16960 33554432000 4194304 4580107 140733285252384 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20669/statm: 76697 16960 379 95 0 71679 0
[pid=20669/tid=20670] ppid=20667 vsize=306788 CPUtime=6.29 cores=1,3,5,7
/proc/20669/task/20670/stat : 20670 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 9677 0 0 0 628 1 0 0 25 0 4 0 651993869 314150912 16960 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20669/tid=20671] ppid=20667 vsize=306788 CPUtime=6.23 cores=1,3,5,7
/proc/20669/task/20671/stat : 20671 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 9906 0 0 0 622 1 0 0 25 0 4 0 651993869 314150912 16960 33554432000 4194304 4580107 140733285252384 18446744073709551615 4416477 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20669/tid=20672] ppid=20667 vsize=306788 CPUtime=6.28 cores=1,3,5,7
/proc/20669/task/20672/stat : 20672 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 8818 0 0 0 627 1 0 0 25 0 4 0 651993870 314150912 16960 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 306788

[startup+12.7004 s]
/proc/loadavg: 4.11 4.90 6.48 9/302 20673
/proc/meminfo: memFree=27624396/32951124 swapFree=63649232/67111528
[pid=20669] ppid=20667 vsize=316488 CPUtime=50.65 cores=1,3,5,7
/proc/20669/stat : 20669 (strangenight2-m) R 20667 20669 20027 0 -1 4202496 60397 0 0 0 5054 11 0 0 25 0 4 0 651993869 324083712 23891 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20669/statm: 79122 23891 379 95 0 74104 0
[pid=20669/tid=20670] ppid=20667 vsize=316488 CPUtime=12.69 cores=1,3,5,7
/proc/20669/task/20670/stat : 20670 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 14956 0 0 0 1267 2 0 0 25 0 4 0 651993869 324083712 23891 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20669/tid=20671] ppid=20667 vsize=316488 CPUtime=12.56 cores=1,3,5,7
/proc/20669/task/20671/stat : 20671 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 13990 0 0 0 1254 2 0 0 25 0 4 0 651993869 324083712 23891 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20669/tid=20672] ppid=20667 vsize=316488 CPUtime=12.69 cores=1,3,5,7
/proc/20669/task/20672/stat : 20672 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 14938 0 0 0 1266 3 0 0 25 0 4 0 651993870 324083712 23891 33554432000 4194304 4580107 140733285252384 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 316488

[startup+25.5003 s]
/proc/loadavg: 4.97 5.05 6.50 9/302 20674
/proc/meminfo: memFree=27575284/32951124 swapFree=63649232/67111528
[pid=20669] ppid=20667 vsize=299012 CPUtime=101.74 cores=1,3,5,7
/proc/20669/stat : 20669 (strangenight2-m) R 20667 20669 20027 0 -1 4202496 91180 0 0 0 10154 20 0 0 25 0 4 0 651993869 306188288 32211 33554432000 4194304 4580107 140733285252384 18446744073709551615 4304874 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20669/statm: 74753 32211 379 95 0 69735 0
[pid=20669/tid=20670] ppid=20667 vsize=299012 CPUtime=25.49 cores=1,3,5,7
/proc/20669/task/20670/stat : 20670 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 23597 0 0 0 2545 4 0 0 25 0 4 0 651993869 306188288 32211 33554432000 4194304 4580107 140733285252384 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20669/tid=20671] ppid=20667 vsize=299012 CPUtime=25.24 cores=1,3,5,7
/proc/20669/task/20671/stat : 20671 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 21700 0 0 0 2520 4 0 0 25 0 4 0 651993869 306188288 32211 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20669/tid=20672] ppid=20667 vsize=299012 CPUtime=25.48 cores=1,3,5,7
/proc/20669/task/20672/stat : 20672 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 22123 0 0 0 2543 5 0 0 25 0 4 0 651993870 306188288 32211 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 299012

[startup+51.101 s]
/proc/loadavg: 6.00 5.29 6.54 9/302 20674
/proc/meminfo: memFree=27530732/32951124 swapFree=63649232/67111528
[pid=20669] ppid=20667 vsize=326676 CPUtime=203.9 cores=1,3,5,7
/proc/20669/stat : 20669 (strangenight2-m) R 20667 20669 20027 0 -1 4202496 134885 0 0 0 20357 33 0 0 25 0 4 0 651993869 334516224 41528 33554432000 4194304 4580107 140733285252384 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20669/statm: 81669 41528 379 95 0 76651 0
[pid=20669/tid=20670] ppid=20667 vsize=326676 CPUtime=51.09 cores=1,3,5,7
/proc/20669/task/20670/stat : 20670 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 33492 0 0 0 5103 6 0 0 25 0 4 0 651993869 334516224 41528 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20669/tid=20671] ppid=20667 vsize=326676 CPUtime=50.61 cores=1,3,5,7
/proc/20669/task/20671/stat : 20671 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 33869 0 0 0 5053 8 0 0 25 0 4 0 651993869 334516224 41528 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20669/tid=20672] ppid=20667 vsize=326676 CPUtime=51.09 cores=1,3,5,7
/proc/20669/task/20672/stat : 20672 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 34112 0 0 0 5099 10 0 0 25 0 4 0 651993870 334516224 41528 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 326676

[startup+102.311 s]
/proc/loadavg: 7.13 5.70 6.62 9/302 20676
/proc/meminfo: memFree=27458428/32951124 swapFree=63649232/67111528
[pid=20669] ppid=20667 vsize=339940 CPUtime=408.28 cores=1,3,5,7
/proc/20669/stat : 20669 (strangenight2-m) R 20667 20669 20027 0 -1 4202496 200593 0 0 0 40774 54 0 0 25 0 4 0 651993869 348098560 54844 33554432000 4194304 4580107 140733285252384 18446744073709551615 4406350 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20669/statm: 84985 54844 379 95 0 79967 0
[pid=20669/tid=20670] ppid=20667 vsize=339940 CPUtime=102.29 cores=1,3,5,7
/proc/20669/task/20670/stat : 20670 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 42601 0 0 0 10221 8 0 0 25 0 4 0 651993869 348098560 54844 33554432000 4194304 4580107 140733285252384 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20669/tid=20671] ppid=20667 vsize=339940 CPUtime=101.35 cores=1,3,5,7
/proc/20669/task/20671/stat : 20671 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 48252 0 0 0 10121 14 0 0 25 0 4 0 651993869 348098560 54844 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294404 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20669/tid=20672] ppid=20667 vsize=339940 CPUtime=102.3 cores=1,3,5,7
/proc/20669/task/20672/stat : 20672 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 53746 0 0 0 10215 15 0 0 25 0 4 0 651993870 348098560 54844 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.28
Current children cumulated vsize (KiB) 339940

[startup+162.3 s]

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

[pid=20669] ppid=20667 vsize=733396 CPUtime=2563.26 cores=1,3,5,7
/proc/20669/stat : 20669 (strangenight2-m) R 20667 20669 20027 0 -1 4202496 614514 0 0 0 256107 219 0 0 25 0 4 0 651993869 750997504 112792 33554432000 4194304 4580107 140733285252384 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20669/statm: 183349 112792 379 95 0 178331 0
[pid=20669/tid=20670] ppid=20667 vsize=733396 CPUtime=642.3 cores=1,3,5,7
/proc/20669/task/20670/stat : 20670 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 150828 0 0 0 64178 52 0 0 25 0 4 0 651993869 750997504 112794 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20669/tid=20671] ppid=20667 vsize=733396 CPUtime=636.35 cores=1,3,5,7
/proc/20669/task/20671/stat : 20671 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 139379 0 0 0 63583 52 0 0 25 0 4 0 651993869 750997504 112794 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20669/tid=20672] ppid=20667 vsize=733396 CPUtime=642.3 cores=1,3,5,7
/proc/20669/task/20672/stat : 20672 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 172295 0 0 0 64163 67 0 0 25 0 4 0 651993870 750997504 112794 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2563.26
Current children cumulated vsize (KiB) 733396

[startup+702.301 s]
/proc/loadavg: 8.10 7.77 7.30 9/302 20722
/proc/meminfo: memFree=27113272/32951124 swapFree=63649232/67111528
[pid=20669] ppid=20667 vsize=734340 CPUtime=2802.69 cores=1,3,5,7
/proc/20669/stat : 20669 (strangenight2-m) R 20667 20669 20027 0 -1 4202496 650252 0 0 0 280035 234 0 0 25 0 4 0 651993869 751964160 120363 33554432000 4194304 4580107 140733285252384 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20669/statm: 183585 120363 379 95 0 178567 0
[pid=20669/tid=20670] ppid=20667 vsize=734340 CPUtime=702.3 cores=1,3,5,7
/proc/20669/task/20670/stat : 20670 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 161291 0 0 0 70174 56 0 0 25 0 4 0 651993869 751964160 120363 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20669/tid=20671] ppid=20667 vsize=734340 CPUtime=695.78 cores=1,3,5,7
/proc/20669/task/20671/stat : 20671 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 147792 0 0 0 69523 55 0 0 25 0 4 0 651993869 751964160 120363 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20669/tid=20672] ppid=20667 vsize=734340 CPUtime=702.29 cores=1,3,5,7
/proc/20669/task/20672/stat : 20672 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 181801 0 0 0 70158 71 0 0 25 0 4 0 651993870 751964160 120363 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2802.69
Current children cumulated vsize (KiB) 734340

[startup+762.311 s]
/proc/loadavg: 6.67 7.49 7.23 5/293 20740
/proc/meminfo: memFree=27243192/32951124 swapFree=63649232/67111528
[pid=20669] ppid=20667 vsize=679592 CPUtime=3042.17 cores=1,3,5,7
/proc/20669/stat : 20669 (strangenight2-m) R 20667 20669 20027 0 -1 4202496 700421 0 0 0 303965 252 0 0 25 0 4 0 651993869 695902208 134421 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294595 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20669/statm: 169898 134421 379 95 0 164880 0
[pid=20669/tid=20670] ppid=20667 vsize=679592 CPUtime=762.3 cores=1,3,5,7
/proc/20669/task/20670/stat : 20670 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 176086 0 0 0 76169 61 0 0 25 0 4 0 651993869 695902208 134421 33554432000 4194304 4580107 140733285252384 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20669/tid=20671] ppid=20667 vsize=679592 CPUtime=755.24 cores=1,3,5,7
/proc/20669/task/20671/stat : 20671 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 158563 0 0 0 75465 59 0 0 25 0 4 0 651993869 695902208 134421 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20669/tid=20672] ppid=20667 vsize=679592 CPUtime=762.3 cores=1,3,5,7
/proc/20669/task/20672/stat : 20672 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 197754 0 0 0 76155 75 0 0 25 0 4 0 651993870 695902208 134421 33554432000 4194304 4580107 140733285252384 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3042.17
Current children cumulated vsize (KiB) 679592

[startup+822.301 s]
/proc/loadavg: 5.02 6.87 7.03 5/293 20742
/proc/meminfo: memFree=27228524/32951124 swapFree=63649232/67111528
[pid=20669] ppid=20667 vsize=736156 CPUtime=3281.57 cores=1,3,5,7
/proc/20669/stat : 20669 (strangenight2-m) R 20667 20669 20027 0 -1 4202496 718879 0 0 0 327892 265 0 0 25 0 4 0 651993869 753823744 138458 33554432000 4194304 4580107 140733285252384 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20669/statm: 184039 138458 379 95 0 179021 0
[pid=20669/tid=20670] ppid=20667 vsize=736156 CPUtime=822.3 cores=1,3,5,7
/proc/20669/task/20670/stat : 20670 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 176946 0 0 0 82168 62 0 0 25 0 4 0 651993869 753823744 138458 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20669/tid=20671] ppid=20667 vsize=736156 CPUtime=814.66 cores=1,3,5,7
/proc/20669/task/20671/stat : 20671 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 166405 0 0 0 81401 65 0 0 25 0 4 0 651993869 753823744 138458 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20669/tid=20672] ppid=20667 vsize=736156 CPUtime=822.3 cores=1,3,5,7
/proc/20669/task/20672/stat : 20672 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 201420 0 0 0 82152 78 0 0 25 0 4 0 651993870 753823744 138458 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3281.57
Current children cumulated vsize (KiB) 736156

[startup+882.301 s]
/proc/loadavg: 4.41 6.36 6.85 5/293 20743
/proc/meminfo: memFree=27228844/32951124 swapFree=63649232/67111528
[pid=20669] ppid=20667 vsize=737048 CPUtime=3521.02 cores=1,3,5,7
/proc/20669/stat : 20669 (strangenight2-m) R 20667 20669 20027 0 -1 4202496 748312 0 0 0 351818 284 0 0 25 0 4 0 651993869 754737152 138195 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20669/statm: 184262 138195 379 95 0 179244 0
[pid=20669/tid=20670] ppid=20667 vsize=737048 CPUtime=882.29 cores=1,3,5,7
/proc/20669/task/20670/stat : 20670 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 185526 0 0 0 88162 67 0 0 25 0 4 0 651993869 754737152 138195 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20669/tid=20671] ppid=20667 vsize=737048 CPUtime=874.11 cores=1,3,5,7
/proc/20669/task/20671/stat : 20671 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 172221 0 0 0 87342 69 0 0 25 0 4 0 651993869 754737152 138195 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20669/tid=20672] ppid=20667 vsize=737048 CPUtime=882.29 cores=1,3,5,7
/proc/20669/task/20672/stat : 20672 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 210848 0 0 0 88146 83 0 0 25 0 4 0 651993870 754737152 138195 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3521.02
Current children cumulated vsize (KiB) 737048

[startup+942.301 s]
/proc/loadavg: 4.19 5.94 6.67 5/293 20745
/proc/meminfo: memFree=27231904/32951124 swapFree=63649232/67111528
[pid=20669] ppid=20667 vsize=853500 CPUtime=3760.48 cores=1,3,5,7
/proc/20669/stat : 20669 (strangenight2-m) R 20667 20669 20027 0 -1 4202496 782165 0 0 0 375749 299 0 0 25 0 4 0 651993869 873984000 137544 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20669/statm: 213375 137544 379 95 0 208357 0
[pid=20669/tid=20670] ppid=20667 vsize=853500 CPUtime=942.29 cores=1,3,5,7
/proc/20669/task/20670/stat : 20670 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 194405 0 0 0 94158 71 0 0 25 0 4 0 651993869 873984000 137544 33554432000 4194304 4580107 140733285252384 18446744073709551615 4305229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20669/tid=20671] ppid=20667 vsize=853500 CPUtime=933.57 cores=1,3,5,7
/proc/20669/task/20671/stat : 20671 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 181227 0 0 0 93285 72 0 0 25 0 4 0 651993869 873984000 137544 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20669/tid=20672] ppid=20667 vsize=853500 CPUtime=942.3 cores=1,3,5,7
/proc/20669/task/20672/stat : 20672 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 221104 0 0 0 94141 89 0 0 25 0 4 0 651993870 873984000 137544 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3760.48
Current children cumulated vsize (KiB) 853500

[startup+1002.3 s]
/proc/loadavg: 4.10 5.60 6.51 5/293 20747
/proc/meminfo: memFree=27204464/32951124 swapFree=63649232/67111528
[pid=20669] ppid=20667 vsize=773412 CPUtime=3999.92 cores=1,3,5,7
/proc/20669/stat : 20669 (strangenight2-m) R 20667 20669 20027 0 -1 4202496 816176 0 0 0 399678 314 0 0 25 0 4 0 651993869 791973888 144129 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20669/statm: 193353 144129 379 95 0 188335 0
[pid=20669/tid=20670] ppid=20667 vsize=773412 CPUtime=1002.29 cores=1,3,5,7
/proc/20669/task/20670/stat : 20670 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 205242 0 0 0 100153 76 0 0 25 0 4 0 651993869 791973888 144129 33554432000 4194304 4580107 140733285252384 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20669/tid=20671] ppid=20667 vsize=773412 CPUtime=993 cores=1,3,5,7
/proc/20669/task/20671/stat : 20671 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 188801 0 0 0 99224 76 0 0 25 0 4 0 651993869 791973888 144129 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20669/tid=20672] ppid=20667 vsize=773412 CPUtime=1002.29 cores=1,3,5,7
/proc/20669/task/20672/stat : 20672 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 229132 0 0 0 100138 91 0 0 25 0 4 0 651993870 791973888 144129 33554432000 4194304 4580107 140733285252384 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3999.92
Current children cumulated vsize (KiB) 773412

[startup+1062.3 s]
/proc/loadavg: 4.15 5.33 6.36 5/293 20748
/proc/meminfo: memFree=27213392/32951124 swapFree=63649232/67111528
[pid=20669] ppid=20667 vsize=832208 CPUtime=4239.38 cores=1,3,5,7
/proc/20669/stat : 20669 (strangenight2-m) R 20667 20669 20027 0 -1 4202496 846598 0 0 0 423607 331 0 0 25 0 4 0 651993869 852180992 142267 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20669/statm: 208052 142267 379 95 0 203034 0
[pid=20669/tid=20670] ppid=20667 vsize=832208 CPUtime=1062.3 cores=1,3,5,7
/proc/20669/task/20670/stat : 20670 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 210761 0 0 0 106150 80 0 0 25 0 4 0 651993869 852180992 142267 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20669/tid=20671] ppid=20667 vsize=832208 CPUtime=1052.46 cores=1,3,5,7
/proc/20669/task/20671/stat : 20671 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 197003 0 0 0 105166 80 0 0 25 0 4 0 651993869 852180992 142267 33554432000 4194304 4580107 140733285252384 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20669/tid=20672] ppid=20667 vsize=832208 CPUtime=1062.3 cores=1,3,5,7
/proc/20669/task/20672/stat : 20672 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 237222 0 0 0 106134 96 0 0 25 0 4 0 651993870 852180992 142267 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4239.38
Current children cumulated vsize (KiB) 832208

[startup+1122.3 s]
/proc/loadavg: 4.05 5.09 6.21 6/293 20750
/proc/meminfo: memFree=27195864/32951124 swapFree=63649232/67111528
[pid=20669] ppid=20667 vsize=965572 CPUtime=4478.83 cores=1,3,5,7
/proc/20669/stat : 20669 (strangenight2-m) R 20667 20669 20027 0 -1 4202496 879102 0 0 0 447536 347 0 0 25 0 4 0 651993869 988745728 147345 33554432000 4194304 4580107 140733285252384 18446744073709551615 4485991 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20669/statm: 241393 147353 379 95 0 236375 0
[pid=20669/tid=20670] ppid=20667 vsize=965572 CPUtime=1122.3 cores=1,3,5,7
/proc/20669/task/20670/stat : 20670 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 220372 0 0 0 112145 85 0 0 25 0 4 0 651993869 988745728 147357 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20669/tid=20671] ppid=20667 vsize=965572 CPUtime=1111.91 cores=1,3,5,7
/proc/20669/task/20671/stat : 20671 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 203431 0 0 0 111107 84 0 0 25 0 4 0 651993869 988745728 147361 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20669/tid=20672] ppid=20667 vsize=965572 CPUtime=1122.3 cores=1,3,5,7
/proc/20669/task/20672/stat : 20672 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 246370 0 0 0 112129 101 0 0 25 0 4 0 651993870 988745728 147366 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4478.83
Current children cumulated vsize (KiB) 965572

[startup+1182.3 s]
/proc/loadavg: 4.02 4.89 6.07 5/293 20751
/proc/meminfo: memFree=27180568/32951124 swapFree=63649232/67111528
[pid=20669] ppid=20667 vsize=958732 CPUtime=4718.3 cores=1,3,5,7
/proc/20669/stat : 20669 (strangenight2-m) R 20667 20669 20027 0 -1 4202496 919320 0 0 0 471464 366 0 0 25 0 4 0 651993869 981741568 150326 33554432000 4194304 4580107 140733285252384 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20669/statm: 239683 150326 379 95 0 234665 0
[pid=20669/tid=20670] ppid=20667 vsize=958732 CPUtime=1182.3 cores=1,3,5,7
/proc/20669/task/20670/stat : 20670 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 230053 0 0 0 118141 89 0 0 25 0 4 0 651993869 981741568 150326 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20669/tid=20671] ppid=20667 vsize=958732 CPUtime=1171.37 cores=1,3,5,7
/proc/20669/task/20671/stat : 20671 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 211937 0 0 0 117049 88 0 0 25 0 4 0 651993869 981741568 150326 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20669/tid=20672] ppid=20667 vsize=958732 CPUtime=1182.3 cores=1,3,5,7
/proc/20669/task/20672/stat : 20672 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 256797 0 0 0 118124 106 0 0 25 0 4 0 651993870 981741568 150326 33554432000 4194304 4580107 140733285252384 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4718.3
Current children cumulated vsize (KiB) 958732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 4.01 4.83 6.02 5/293 20752
/proc/meminfo: memFree=27180940/32951124 swapFree=63649232/67111528
[pid=20669] ppid=20667 vsize=893268 CPUtime=4800.11 cores=1,3,5,7
/proc/20669/stat : 20669 (strangenight2-m) R 20667 20669 20027 0 -1 4202496 925231 0 0 0 479642 369 0 0 25 0 4 0 651993869 914706432 150103 33554432000 4194304 4580107 140733285252384 18446744073709551615 4406483 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20669/statm: 223317 150103 379 95 0 218299 0
[pid=20669/tid=20670] ppid=20667 vsize=893268 CPUtime=1202.81 cores=1,3,5,7
/proc/20669/task/20670/stat : 20670 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 233434 0 0 0 120191 90 0 0 25 0 4 0 651993869 914706432 150103 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20669/tid=20671] ppid=20667 vsize=893268 CPUtime=1191.67 cores=1,3,5,7
/proc/20669/task/20671/stat : 20671 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 213016 0 0 0 119078 89 0 0 25 0 4 0 651993869 914706432 150103 33554432000 4194304 4580107 140733285252384 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20669/tid=20672] ppid=20667 vsize=893268 CPUtime=1202.81 cores=1,3,5,7
/proc/20669/task/20672/stat : 20672 (strangenight2-m) R 20667 20669 20027 0 -1 4202560 258248 0 0 0 120174 107 0 0 25 0 4 0 651993870 914706432 150103 33554432000 4194304 4580107 140733285252384 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 893268

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.84
CPU time (s): 4800.18
CPU user time (s): 4796.46
CPU system time (s): 3.72243
CPU usage (%): 399.069
Max. virtual memory (cumulated for all children) (KiB): 967356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.46
system time used= 3.72243
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 925234
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= 464
involuntary context switches= 31746

runsolver used 3.08753 second user time and 8.06877 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-14 22:12:34
IDJOB=3366421
IDBENCH=82830
IDSOLVER=1844
FILE ID=node130/3366421-1305403954
RUNJOBID= node130-1305403954-20647
PBS_JOBID= 13324461
Free space on /tmp= 73424 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v175-c3727-S82160031-050.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366421-1305403954/watcher-3366421-1305403954 -o /tmp/evaluation-result-3366421-1305403954/solver-3366421-1305403954 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366421-1305403954.cnf

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

MD5SUM BENCH= 90ea123f6d02a54bb761f724a5a1c9d1
RANDOM SEED=1044750043

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:      27775440 kB
Buffers:        256792 kB
Cached:        3593808 kB
SwapCached:      10248 kB
Active:        1145256 kB
Inactive:      3761176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27775440 kB
SwapTotal:    67111528 kB
SwapFree:     63649232 kB
Dirty:           10968 kB
Writeback:           0 kB
AnonPages:     1053376 kB
Mapped:          13272 kB
Slab:           182784 kB
PageTables:      25176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 51545684 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= 73424 MiB
End job on node130 at 2011-05-14 22:32:39