Trace number 3175186

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.29 1201.73

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v70-c6230-S2143190124-085.SATISFIABLE.cnf
MD5SUM2cb285a396d74446b485c2112c34e09c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.216967
Satisfiable
(Un)Satisfiability was proved
Number of variables70
Number of clauses6230
Sum of the clauses size43610
Maximum clause length7
Minimum clause length7
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 50
Number of clauses of size over 56230

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-3175186-1304096639.cnf'
0.00/0.00	c -- header says num vars:             70
0.00/0.00	c -- header says num clauses:        6230
0.00/0.01	c -- clauses added:            0 learnts,         6230 normals,            0 xors
0.00/0.01	c -- vars added         70
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        70      6230         0         0     43610         0   no data   no data  --
0.38/0.14	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.55
0.38/0.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.38/0.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.38/0.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.38/0.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
0.38/0.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:      40 undec:       2 neg:      28
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0        70      6230         0         0     43610         0   no data   no data  --
3.17/0.80	c  N dy     9      5705        70      6230         0      2898     43610     63605     21.17     22.37  --
3.17/0.80	c  N dy    16      9801        70      6230         0      6633     43610    155366     21.03     22.27  --
3.17/0.80	c  N dy    19     17251        70      6230         0      9465     43610    208399     20.22     21.36  --
4.39/1.12	c  F st    35     25001        70      6230         0     11357     43610    242952     19.99     18.45  --
4.39/1.12	c  N st    35     25001        70      6230         0     11357     43610    242952     19.99     18.45  --
5.16/1.35	c  N dy    41     30001        70      6230         0      9745     43610    196164     19.99   no data  --
5.16/1.35	c  S st    41     30001        70      6230         0      9745     43610    196164     19.99   no data  --
5.16/1.39	c  S st    41     30502        70      6230         0     10213     43610    207725     19.99   no data  --
5.16/1.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.16/1.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.57/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
5.57/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.15/2.38	c lits-rem:      1544  cl-subs:      893  v-elim:      0  v-fix:    0  time:  3.91 s
10.36/2.67	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.17
10.36/2.67	c calculated reachability. Time: 0.00
10.36/2.67	c  N dy    41     30502        70      6230         0      9320     43610    184130     19.99   no data  --
11.16/2.89	c  N dy    60     34604        70      6230         0     13021     43610    272331     20.13     21.21  --
13.55/3.48	c  N dy    90     45458        70      6230         0     15729     43610    321267     19.98     21.09  --
13.95/3.51	c  S st    92     45755        70      6230         0     15997     43610    327661     19.98   no data  --
13.95/3.55	c  S st    92     46258        70      6230         0      8404     43610    138794     19.98   no data  --
13.95/3.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.95/3.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.95/3.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.95/3.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.95/3.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.95/3.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
13.95/3.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.17/4.32	c lits-rem:       226  cl-subs:       38  v-elim:      0  v-fix:    0  time:  3.05 s
17.17/4.32	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
17.17/4.32	c vivif2 --  cl tried     8366 cl shrink        0 lits rem          0 time: 0.00
17.95/4.58	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.01
17.95/4.58	c calculated reachability. Time: 0.00
17.95/4.58	c  N dy    92     46258        70      6230         0      8366     43610    137532     19.98   no data  --
18.75/4.79	c  N dy   126     50299        70      6230         0     12044     43610    227869     20.18     21.59  --
20.34/5.15	c  N dy   147     55917        70      6230         0     17188     43610    351495     20.23     21.43  --
21.56/5.44	c  N dy   152     60815        70      6230         0     12542     43610    221150     20.13     21.29  --
22.74/5.72	c  N dy   186     64978        70      6230         0     16356     43610    315470     20.27     21.34  --
23.94/6.05	c  N dy   210     69369        70      6230         0     10367     43610    160190     20.34     21.43  --
23.94/6.05	c  S st   211     69387        70      6230         0     10385     43610    160659     20.34   no data  --
23.94/6.09	c  S st   211     69892        70      6230         0     10849     43610    172049     20.34   no data  --
23.94/6.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.94/6.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.94/6.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
24.34/6.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.34/6.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.34/6.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
24.34/6.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.93/7.02	c lits-rem:       275  cl-subs:      154  v-elim:      0  v-fix:    0  time:  3.66 s
27.93/7.02	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
27.93/7.02	c vivif2 --  cl tried    10695 cl shrink        0 lits rem          0 time: 0.00
29.13/7.33	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.24
29.13/7.33	c calculated reachability. Time: 0.00
29.13/7.33	c  N dy   211     69892        70      6230         0     10695     43610    167899     20.34   no data  --
33.13/8.32	c  N dy   219     86584        70      6230         0     14817     43610    251123     19.95     21.08  --
33.13/8.39	c  F st   228     87500        70      6230         0     15666     43610    271931     19.97   no data  --
34.74/8.75	c  N dy   234     92696        70      6230         0     20314     43610    385934     19.97   no data  --
36.72/9.29	c  N dy   239    100991        70      6230         0     16113     43610    273183     19.89     20.94  --
38.33/9.60	c  S st   275    104839        70      6230         0     19624     43610    359593     19.98   no data  --
38.33/9.66	c  S st   275    105343        70      6230         0     20090     43610    371430     19.98   no data  --
38.33/9.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
38.33/9.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.33/9.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
38.33/9.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.33/9.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.33/9.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
38.33/9.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.51/11.42	c lits-rem:      2089  cl-subs:     1793  v-elim:      0  v-fix:    0  time:  6.94 s
45.51/11.42	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
45.51/11.42	c vivif2 --  cl tried    18297 cl shrink        0 lits rem          0 time: 0.01
46.71/11.80	c asymm  cl-useful: 0/4662/6230 lits-rem:0 time: 1.49
47.11/11.80	c calculated reachability. Time: 0.00
47.11/11.80	c  N dy   275    105343        70      6230         0     18297     43610    326514     19.98   no data  --
49.10/12.38	c  N dy   318    112441        70      6230         0     24739     43610    482539     20.08     21.20  --
51.50/12.90	c  N dy   358    119687        70      6230         0     18764     43610    329799     20.15     22.04  --
54.30/13.61	c  N dy   422    127352        70      6230         0     25768     43610    502896     20.29     22.57  --
56.71/14.26	c  N dy   466    135510        70      6230         0     19614     43610    335826     20.34     22.42  --
60.29/15.18	c  N dy   508    145905        70      6230         0     14519     43610    198047     20.35     21.47  --
63.49/15.91	c  N dy   560    155315        70      6230         0     23072     43610    404263     20.41     22.60  --
64.29/16.15	c  S st   575    158016        70      6230         0     25531     43610    464114     20.42   no data  --
64.69/16.22	c  S st   575    158520        70      6230         0     25997     43610    475670     20.42   no data  --
64.69/16.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
64.69/16.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
64.69/16.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
64.69/16.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
64.69/16.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
64.69/16.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
64.69/16.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
73.87/18.56	c lits-rem:      1878  cl-subs:     2302  v-elim:      0  v-fix:    0  time:  9.26 s
73.87/18.56	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
73.87/18.57	c vivif2 --  cl tried    23695 cl shrink        0 lits rem          0 time: 0.02
74.69/18.78	c asymm  cl-useful: 0/1568/6230 lits-rem:0 time: 0.83
74.69/18.78	c calculated reachability. Time: 0.00
74.69/18.78	c  N dy   575    158520        70      6230         0     23695     43610    415519     20.42   no data  --
79.08/19.81	c  N dy   607    168728        70      6230         0     17660     43610    261092     20.42     21.52  --
82.27/20.66	c  N dy   625    180279        70      6230         0     28092     43610    510883     20.37     21.59  --
86.65/21.72	c  N dy   674    191815        70      6230         0     22264     43610    359659     20.41     22.70  --
92.26/23.13	c  N dy   747    204213        70      6230         0     33523     43610    633930     20.48     21.57  --
101.83/25.54	c  N dy   811    230128        70      6230         0     21637     43610    316416     20.44     21.68  --
104.63/26.29	c  S st   867    237781        70      6230         0     28642     43610    489307     20.49   no data  --
105.05/26.36	c  S st   867    238287        70      6230         0     29111     43610    500906     20.49   no data  --
105.05/26.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
105.05/26.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
105.05/26.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
105.05/26.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
105.05/26.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
105.05/26.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
105.05/26.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
116.21/29.14	c lits-rem:      2862  cl-subs:     2281  v-elim:      0  v-fix:    0  time: 11.00 s
116.21/29.14	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
116.21/29.14	c vivif2 --  cl tried    26830 cl shrink        0 lits rem          0 time: 0.02
117.81/29.53	c asymm  cl-useful: 0/3480/6230 lits-rem:0 time: 1.55
117.81/29.53	c calculated reachability. Time: 0.00
117.81/29.53	c  N dy   867    238287        70      6230         0     26830     43610    442222     20.49   no data  --
123.80/31.04	c  N dy   897    253505        70      6230         0     21715     43610    307778     20.45     23.92  --
130.59/32.70	c  N dy   959    269707        70      6230         0     36359     43610    657996     20.44     22.28  --
138.18/34.61	c  N dy  1020    288159        70      6230         0     33128     43610    564758     20.44     21.52  --
146.57/36.72	c  F st  1113    306251        70      6230         0     28779     43610    453950     20.49     19.41  --
146.57/36.79	c  N st  1115    306876        70      6230         0     29343     43610    468035     20.49   no data  --
160.55/40.20	c  N dy  1151    339523        70      6230         0     36978     43610    623390     20.39     21.53  --
169.34/42.42	c  S st  1238    357430        70      6230         0     30651     43610    475365     20.43   no data  --
169.73/42.50	c  S st  1238    357932        70      6230         0     31118     43610    486968     20.43   no data  --
169.73/42.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
169.73/42.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
169.73/42.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
169.73/42.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
169.73/42.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
169.73/42.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
169.73/42.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
178.93/44.89	c lits-rem:      1416  cl-subs:     1832  v-elim:      0  v-fix:    0  time:  9.47 s
178.93/44.89	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
179.33/44.90	c vivif2 --  cl tried    29286 cl shrink        0 lits rem          0 time: 0.02
180.92/45.38	c asymm  cl-useful: 0/2750/6230 lits-rem:0 time: 1.93
180.92/45.38	c calculated reachability. Time: 0.00
180.92/45.38	c  N dy  1238    357932        70      6230         0     29286     43610    440060     20.43   no data  --
198.90/49.80	c  N dy  1345    389534        70      6230         0     34410     43610    545539     20.42     21.53  --
210.49/52.71	c  N dy  1444    409547        70      6230         0     28212     43610    386273     20.46     22.53  --
220.47/55.24	c  N dy  1493    430694        70      6230         0     47290     43610    843314     20.44     21.53  --
235.65/59.05	c  N dy  1583    460955        70      6230         0     49235     43610    868100     20.41     21.56  --
246.43/61.77	c  N dy  1698    481035        70      6230         0     41290     43610    680451     20.45     21.94  --
258.42/64.79	c  N dy  1748    503506        70      6230         0     34509     43610    498238     20.43     21.56  --
271.59/68.03	c  N dy  1856    524635        70      6230         0     53721     43610    965651     20.46     21.58  --
278.39/69.79	c  S st  1912    536899        70      6230         0     36769     43610    539396     20.47   no data  --
278.79/69.88	c  S st  1912    537400        70      6230         0     37235     43610    550862     20.47   no data  --
278.79/69.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
278.79/69.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
278.79/69.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
279.19/69.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
279.19/69.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
279.19/69.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
279.19/69.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
290.77/72.86	c lits-rem:      1250  cl-subs:     2075  v-elim:      0  v-fix:    0  time: 11.78 s
290.77/72.86	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
290.77/72.87	c vivif2 --  cl tried    35160 cl shrink        0 lits rem          0 time: 0.02
291.57/73.07	c asymm  cl-useful: 0/1566/6230 lits-rem:0 time: 0.80
291.57/73.07	c calculated reachability. Time: 0.00
291.57/73.07	c  N dy  1912    537400        70      6230         0     35160     43610    498748     20.47   no data  --
303.55/76.08	c  N dy  1975    557452        70      6230         0     53218     43610    931118     20.47     21.57  --
315.53/79.06	c  N dy  2041    578084        70      6230         0     43020     43610    675800     20.47     21.58  --
329.91/82.60	c  N dy  2145    598141        70      6230         0     31421     43610    388369     20.50     22.46  --
340.70/85.36	c  N dy  2194    618833        70      6230         0     50018     43610    834582     20.49     21.70  --
362.27/90.79	c  N dy  2225    659615        70      6230         0     55881     43610    941529     20.39     21.50  --
389.44/97.50	c  N dy  2260    701430        70      6230         0     61729     43610   1050701     20.29     21.41  --
403.01/100.90	c  N dy  2337    721508        70      6230         0     47644     43610    734517     20.29     22.77  --
420.20/105.29	c  N dy  2467    741584        70      6230         0     65844     43610   1180385     20.33     22.62  --
432.17/108.26	c  N dy  2547    761592        70      6230         0     50731     43610    800076     20.34     22.06  --
451.35/113.04	c  N dy  2594    792144        70      6230         0     43928     43610    614272     20.30     21.45  --
459.74/115.13	c  S st  2620    806100        70      6230         0     56495     43610    910792     20.28     18.13  --
460.14/115.28	c  S st  2620    806604        70      6230         0     56966     43610    922688     20.28   no data  --
460.14/115.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
460.14/115.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
460.54/115.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.09
460.54/115.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
460.54/115.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
460.54/115.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
460.54/115.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
494.09/123.72	c lits-rem:      2609  cl-subs:     6140  v-elim:      0  v-fix:    0  time: 33.47 s
494.09/123.72	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
494.09/123.73	c vivif2 --  cl tried    50826 cl shrink        0 lits rem          0 time: 0.04
495.29/124.05	c asymm  cl-useful: 0/919/6230 lits-rem:0 time: 1.29
495.29/124.05	c calculated reachability. Time: 0.00
495.29/124.05	c  N dy  2620    806604        70      6230         0     50826     43610    786433     20.28   no data  --
515.25/129.03	c  N dy  2749    826671        70      6230         0     68977     43610   1228830     20.31     22.48  --
529.65/132.60	c  N dy  2896    846735        70      6230         0     52283     43610    822520     20.35     22.09  --
547.62/137.15	c  N dy  2979    868116        70      6230         0     71590     43610   1286234     20.36     21.43  --
563.19/141.00	c  N dy  3044    893239        70      6230         0     58219     43610    935257     20.35     21.42  --
580.77/145.47	c  N dy  3137    913511        70      6230         0     39678     43610    480938     20.36     21.50  --
615.15/154.09	c  N dy  3296    965700        70      6230         0     48712     43610    676457     20.32     21.40  --
632.32/158.33	c  N dy  3410    985786        70      6230         0     66892     43610   1118712     20.34     22.43  --
650.68/162.90	c  N dy  3509   1006659        70      6230         0     47000     43610    634984     20.36     21.49  --
668.25/167.35	c  N dy  3595   1029335        70      6230         0     67529     43610   1132548     20.37     21.58  --
688.22/172.38	c  N dy  3722   1049661        70      6230         0     46238     43610    602094     20.39     21.69  --
706.60/176.98	c  N dy  3855   1071608        70      6230         0     66088     43610   1086342     20.42     21.51  --
707.01/177.05	c  F st  3858   1071876        70      6230         0     66331     43610   1092356     20.42   no data  --
727.38/182.16	c  N dy  3970   1091619        70      6230         0     43497     43610    522942     20.44     22.35  --
741.75/185.75	c  N dy  4035   1111688        70      6230         0     61578     43610    959987     20.44     22.52  --
761.33/190.64	c  N dy  4096   1131826        70      6230         0     79698     43610   1392977     20.44     21.53  --
775.70/194.22	c  N dy  4166   1151896        70      6230         0     56302     43610    820128     20.44     22.37  --
804.87/201.50	c  N dy  4260   1179248        70      6230         0     80960     43610   1413283     20.44     21.55  --
825.24/206.61	c  N dy  4347   1199299        70      6230         0     56661     43610    812440     20.45     21.86  --
839.24/210.11	c  S st  4419   1209907        70      6230         0     66294     43610   1049535     20.46     18.34  --
840.02/210.38	c  S st  4419   1210415        70      6230         0     66762     43610   1061621     20.46   no data  --
840.02/210.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
840.02/210.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
840.42/210.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.17
840.42/210.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
840.42/210.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
840.42/210.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
840.42/210.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
919.51/230.26	c lits-rem:      3082  cl-subs:     5226  v-elim:      0  v-fix:    0  time: 79.05 s
919.51/230.26	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
919.51/230.27	c vivif2 --  cl tried    61536 cl shrink        0 lits rem          0 time: 0.05
921.11/230.64	c asymm  cl-useful: 0/744/6230 lits-rem:0 time: 1.48
921.11/230.64	c calculated reachability. Time: 0.00
921.11/230.64	c  N dy  4419   1210415        70      6230         0     61536     43610    928906     20.46   no data  --
942.68/236.03	c  N dy  4482   1230511        70      6230         0     79652     43610   1365322     20.46     21.54  --
960.66/240.58	c  N dy  4587   1250570        70      6230         0     54757     43610    757723     20.48     21.92  --
980.63/245.57	c  N dy  4658   1271881        70      6230         0     73958     43610   1217381     20.48     21.60  --
1007.39/252.26	c  N dy  4743   1291947        70      6230         0     47975     43610    578194     20.48     23.24  --
1026.56/257.04	c  N dy  4844   1312012        70      6230         0     66108     43610   1023267     20.50     23.01  --
1053.73/263.85	c  N dy  4940   1333840        70      6230         0     85799     43610   1503837     20.51     21.69  --
1075.31/269.22	c  N dy  5028   1353907        70      6230         0     58788     43610    825695     20.51     22.79  --
1093.28/273.78	c  N dy  5093   1374136        70      6230         0     77016     43610   1265837     20.52     21.78  --
1118.05/279.90	c  N dy  5191   1394160        70      6230         0     49106     43610    579732     20.52     23.58  --
1156.39/289.55	c  N dy  5274   1441789        70      6230         0     91741     43610   1579657     20.49     21.59  --
1176.76/294.65	c  N dy  5387   1464278        70      6230         0     65296     43610    962219     20.50     21.70  --
1199.55/300.36	c  N dy  5498   1484762        70      6230         0     83715     43610   1410571     20.51     21.67  --
1223.10/306.20	c  N dy  5563   1506744        70      6230         0     55821     43610    712734     20.51     21.72  --
1243.09/311.26	c  N dy  5706   1526810        70      6230         0     73989     43610   1161138     20.53     23.18  --
1271.84/318.44	c  N dy  5826   1549375        70      6230         0     94374     43610   1657944     20.54     21.67  --
1290.61/323.16	c  N dy  5929   1569386        70      6230         0     63718     43610    895543     20.55     22.34  --
1310.97/328.21	c  N dy  5993   1590581        70      6230         0     82760     43610   1353252     20.55     21.64  --
1336.94/334.74	c  N dy  6082   1610739        70      6230         0     51403     43610    582232     20.55     21.68  --
1355.72/339.44	c  N dy  6214   1630768        70      6230         0     69511     43610   1029944     20.57     23.79  --
1398.46/350.10	c  N dy  6298   1675711        70      6230         0     59291     43610    745799     20.52     21.79  --
1417.63/354.93	c  N dy  6370   1696390        70      6230         0     77905     43610   1197467     20.52     21.67  --
1438.81/360.28	c  S st  6443   1710415        70      6230         0     90526     43610   1503759     20.53     17.85  --
1440.40/360.62	c  S st  6443   1710920        70      6230         0     90994     43610   1515514     20.53   no data  --
1440.40/360.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1440.40/360.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1440.40/360.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.24
1440.82/360.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1440.82/360.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1440.82/360.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
1440.82/360.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1653.31/413.95	c lits-rem:      5643  cl-subs:    10301  v-elim:      0  v-fix:    0  time: 212.52 s
1653.31/413.95	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
1653.31/413.97	c vivif2 --  cl tried    80693 cl shrink        0 lits rem          0 time: 0.08
1655.31/414.44	c asymm  cl-useful: 0/565/6230 lits-rem:0 time: 1.86
1655.31/414.44	c calculated reachability. Time: 0.00
1655.31/414.44	c  N dy  6443   1710920        70      6230         0     80693     43610   1273553     20.53   no data  --
1698.45/425.25	c  N dy  6566   1734464        70      6230         0     51220     43610    559423     20.54     21.66  --
1721.62/431.02	c  N dy  6657   1754490        70      6230         0     69251     43610    999600     20.54     21.84  --
1756.77/439.82	c  N dy  6695   1780266        70      6230         0     92277     43610   1539380     20.52     21.62  --
1793.11/448.93	c  N dy  6813   1801094        70      6230         0     59202     43610    740256     20.54     21.70  --
1816.29/454.77	c  N dy  6902   1821125        70      6230         0     77300     43610   1179066     20.54     21.66  --
1881.80/471.14	c  N dy  7001   1877193        70      6230         0     74364     43610   1066355     20.50     21.67  --
1915.78/479.69	c  N dy  7112   1900792        70      6230         0     95594     43610   1582404     20.51     21.60  --
1943.31/486.56	c  N dy  7177   1920992        70      6230         0     59997     43610    731321     20.50     21.64  --
1966.49/492.39	c  N dy  7281   1941029        70      6230         0     78201     43610   1175917     20.51     22.24  --
2013.62/504.13	c  N dy  7390   1984605        70      6230         0     62412     43610    764924     20.49     21.70  --
2032.40/508.89	c  N dy  7448   2004892        70      6230         0     80659     43610   1203404     20.49     21.61  --
2062.75/516.48	c  N dy  7577   2026058        70      6230         0     99803     43610   1673534     20.50     21.70  --
2093.91/524.27	c  N dy  7692   2048101        70      6230         0     63833     43610    789690     20.50     21.62  --
2117.90/530.26	c  N dy  7758   2074122        70      6230         0     87152     43610   1347360     20.50     21.60  --
2144.64/536.92	c  N dy  7839   2094140        70      6230         0    105174     43610   1780446     20.50     21.93  --
2180.99/546.04	c  N dy  7932   2125906        70      6230         0     76993     43610   1089181     20.49     21.73  --
2215.74/554.70	c  N dy  8017   2155669        70      6230         0    103738     43610   1727617     20.48     21.57  --
2243.70/561.76	c  N dy  8093   2175747        70      6230         0     64332     43610    782532     20.49     22.35  --
2267.67/567.76	c  N dy  8191   2199111        70      6230         0     85405     43610   1295947     20.49     21.67  --
2282.85/571.56	c  S st  8243   2210920        70      6230         0     95979     43610   1553677     20.49   no data  --
2284.05/571.86	c  S st  8243   2211426        70      6230         0     96444     43610   1565284     20.49   no data  --
2284.05/571.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2284.05/571.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2284.46/571.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
2284.46/571.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2284.46/571.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2284.46/571.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
2284.46/571.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2757.41/690.33	c lits-rem:      6848  cl-subs:     9000  v-elim:      0  v-fix:    0  time: 472.78 s
2757.41/690.33	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
2757.41/690.35	c vivif2 --  cl tried    87444 cl shrink        0 lits rem          0 time: 0.08
2759.43/690.83	c asymm  cl-useful: 0/504/6230 lits-rem:0 time: 1.90
2759.43/690.83	c calculated reachability. Time: 0.00
2759.43/690.83	c  N dy  8243   2211426        70      6230         0     87444     43610   1342884     20.49   no data  --
2804.14/702.02	c  N dy  8385   2233414        70      6230         0    107290     43610   1832562     20.51     21.60  --
2843.28/711.82	c  N dy  8519   2253423        70      6230         0     67414     43610    853546     20.52     23.35  --
2883.64/721.90	c  N dy  8664   2278920        70      6230         0     90362     43610   1417529     20.53     21.73  --
2920.78/731.30	c  N dy  8753   2298982        70      6230         0    108457     43610   1860375     20.54     22.13  --
2957.54/740.45	c  N dy  8835   2319018        70      6230         0     67276     43610    830201     20.54     22.27  --
3000.27/751.16	c  N dy  8866   2351772        70      6230         0     96515     43610   1521377     20.52     21.61  --
3040.25/761.19	c  N dy  8955   2374687        70      6230         0    116997     43610   2014783     20.52     21.64  --
3081.77/771.50	c  N dy  8978   2411544        70      6230         0     89855     43610   1337395     20.49     21.74  --
3121.72/781.56	c  N dy  9077   2436332        70      6230         0    112127     43610   1876654     20.49     21.64  --
3160.05/791.19	c  N dy  9233   2456353        70      6230         0     69305     43610    861244     20.51     22.64  --
3186.02/797.60	c  N dy  9333   2478219        70      6230         0     89025     43610   1343466     20.51     21.61  --
3217.19/805.43	c  N dy  9455   2498289        70      6230         0    107146     43610   1790360     20.52     21.77  --
3291.10/823.94	c  N dy  9530   2563699        70      6230         0    103322     43610   1605637     20.47     21.88  --
3329.83/833.60	c  N dy  9694   2583702        70      6230         0    121402     43610   2055890     20.49     23.02  --
3367.38/843.02	c  N dy  9768   2617709        70      6230         0     89290     43610   1301758     20.48     21.58  --
3422.52/856.81	c  N dy  9850   2656439        70      6230         0    123883     43610   2122803     20.47     21.63  --
3451.67/864.14	c  N dy  9941   2676501        70      6230         0     78341     43610   1037653     20.48     22.06  --
3478.03/870.71	c  N dy 10028   2696560        70      6230         0     96302     43610   1470037     20.48     22.32  --
3504.00/877.22	c  S st 10143   2711426        70      6230         0    109770     43610   1805837     20.49   no data  --
3505.19/877.58	c  S st 10143   2711930        70      6230         0    110233     43610   1817513     20.49   no data  --
3505.19/877.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3505.19/877.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3505.59/877.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.23
3505.59/877.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3505.59/877.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3505.59/877.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
3505.59/877.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4135.53/1035.37	c lits-rem:      7017  cl-subs:    10472  v-elim:      0  v-fix:    0  time: 629.80 s
4135.53/1035.37	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
4135.93/1035.40	c vivif2 --  cl tried    99761 cl shrink        0 lits rem          0 time: 0.10
4137.53/1035.88	c asymm  cl-useful: 0/438/6230 lits-rem:0 time: 1.94
4137.53/1035.89	c calculated reachability. Time: 0.00
4137.53/1035.89	c  N dy 10143   2711930        70      6230         0     99761     43610   1553707     20.49   no data  --
4184.27/1047.55	c  N dy 10275   2732049        70      6230         0    117957     43610   2001849     20.49     21.58  --
4231.02/1059.26	c  N dy 10422   2752304        70      6230         0     72140     43610    882642     20.51     21.59  --
4267.35/1068.39	c  N dy 10525   2775528        70      6230         0     93035     43610   1391533     20.51     21.73  --
4310.89/1079.28	c  N dy 10647   2795611        70      6230         0    111143     43610   1837751     20.52     21.62  --
4361.23/1091.88	c  N dy 10768   2815750        70      6230         0    129273     43610   2284510     20.53     21.65  --
4392.39/1099.66	c  N dy 10826   2835875        70      6230         0     81813     43610   1091214     20.53     21.66  --
4435.13/1110.30	c  N dy 10994   2855932        70      6230         0     99961     43610   1544599     20.54     23.15  --
4488.26/1123.64	c  N dy 11142   2875974        70      6230         0    118037     43610   1994120     20.55     22.29  --
4544.18/1137.64	c  N dy 11277   2895978        70      6230         0     69647     43610    787793     20.56     22.23  --
4572.14/1144.68	c  N dy 11313   2916044        70      6230         0     87563     43610   1215303     20.55     23.51  --
4614.88/1155.33	c  N dy 11421   2936176        70      6230         0    105693     43610   1661054     20.56     21.74  --
4664.41/1167.73	c  N dy 11500   2956242        70      6230         0    123766     43610   2099752     20.56     21.66  --
4713.94/1180.15	c  N dy 11606   2976305        70      6230         0     74461     43610    890203     20.57     21.70  --
4746.70/1188.38	c  N dy 11682   2996373        70      6230         0     92504     43610   1328292     20.57     22.85  --

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-3175186-1304096639/watcher-3175186-1304096639 -o /tmp/evaluation-result-3175186-1304096639/solver-3175186-1304096639 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175186-1304096639.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.59 8.03 8.06 7/184 10557
/proc/meminfo: memFree=25005568/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=117744 CPUtime=0 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 510 0 0 0 0 0 0 0 22 0 4 0 521262114 120569856 439 33554432000 4194304 4650419 140737341961552 18446744073709551615 246516834107 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 29436 467 331 112 0 24401 0
[pid=10557/tid=10558] ppid=10555 vsize=183296 CPUtime=0 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 66 0 0 0 0 0 0 0 23 0 4 0 521262114 187695104 549 33554432000 4194304 4650419 140737341961552 18446744073709551615 246516495045 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=183280 CPUtime=0 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) D 10555 10557 9884 0 -1 4202560 76 0 0 0 0 0 0 0 23 0 4 0 521262114 187678720 556 33554432000 4194304 4650419 140737341961552 18446744073709551615 246516877402 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=199696 CPUtime=0 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 4 0 521262114 204488704 562 33554432000 4194304 4650419 140737341961552 18446744073709551615 246516530955 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0348691 s]
/proc/loadavg: 7.59 8.03 8.06 7/184 10557
/proc/meminfo: memFree=25005568/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=216712 CPUtime=0.11 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 1294 0 0 0 11 0 0 0 18 0 4 0 521262114 221913088 1213 33554432000 4194304 4650419 140737341961552 18446744073709551615 4369360 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 54178 1213 366 112 0 49143 0
[pid=10557/tid=10558] ppid=10555 vsize=216712 CPUtime=0.03 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 207 0 0 0 3 0 0 0 18 0 4 0 521262114 221913088 1213 33554432000 4194304 4650419 140737341961552 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=216712 CPUtime=0.02 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 214 0 0 0 2 0 0 0 18 0 4 0 521262114 221913088 1213 33554432000 4194304 4650419 140737341961552 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=216712 CPUtime=0.02 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 223 0 0 0 2 0 0 0 23 0 4 0 521262114 221913088 1213 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 216712

[startup+0.100857 s]
/proc/loadavg: 7.59 8.03 8.06 7/184 10557
/proc/meminfo: memFree=25005568/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=216852 CPUtime=0.38 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 1421 0 0 0 38 0 0 0 18 0 4 0 521262114 222056448 1340 33554432000 4194304 4650419 140737341961552 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 54213 1340 366 112 0 49178 0
[pid=10557/tid=10558] ppid=10555 vsize=216852 CPUtime=0.09 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 217 0 0 0 9 0 0 0 18 0 4 0 521262114 222056448 1340 33554432000 4194304 4650419 140737341961552 18446744073709551615 4370682 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=216852 CPUtime=0.09 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 218 0 0 0 9 0 0 0 18 0 4 0 521262114 222056448 1340 33554432000 4194304 4650419 140737341961552 18446744073709551615 4370701 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=216852 CPUtime=0.09 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 328 0 0 0 9 0 0 0 23 0 4 0 521262114 222056448 1340 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 216852

[startup+0.300821 s]
/proc/loadavg: 7.59 8.03 8.06 7/184 10557
/proc/meminfo: memFree=25005568/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=220556 CPUtime=1.17 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 3620 0 0 0 117 0 0 0 18 0 4 0 521262114 225849344 3119 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 55139 3119 390 112 0 50104 0
[pid=10557/tid=10558] ppid=10555 vsize=220556 CPUtime=0.29 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 830 0 0 0 29 0 0 0 18 0 4 0 521262114 225849344 3119 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366950 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=220556 CPUtime=0.29 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 832 0 0 0 29 0 0 0 18 0 4 0 521262114 225849344 3120 33554432000 4194304 4650419 140737341961552 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=220556 CPUtime=0.29 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 666 0 0 0 29 0 0 0 23 0 4 0 521262114 225849344 3120 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366943 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) 220556

[startup+0.700749 s]
/proc/loadavg: 7.59 8.03 8.06 7/184 10557
/proc/meminfo: memFree=25005568/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=222468 CPUtime=2.77 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 5975 0 0 0 277 0 0 0 18 0 4 0 521262114 227807232 3565 33554432000 4194304 4650419 140737341961552 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 55617 3565 390 112 0 50582 0
[pid=10557/tid=10558] ppid=10555 vsize=222468 CPUtime=0.69 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 1400 0 0 0 69 0 0 0 18 0 4 0 521262114 227807232 3565 33554432000 4194304 4650419 140737341961552 18446744073709551615 4329260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=222468 CPUtime=0.69 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 1420 0 0 0 69 0 0 0 18 0 4 0 521262114 227807232 3565 33554432000 4194304 4650419 140737341961552 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=222468 CPUtime=0.69 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 1280 0 0 0 69 0 0 0 25 0 4 0 521262114 227807232 3565 33554432000 4194304 4650419 140737341961552 18446744073709551615 4363420 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) 222468

[startup+1.5006 s]
/proc/loadavg: 8.03 8.11 8.08 9/188 10561
/proc/meminfo: memFree=24981356/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=223820 CPUtime=5.97 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 10660 0 0 0 596 1 0 0 20 0 4 0 521262114 229191680 5842 33554432000 4194304 4650419 140737341961552 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 55955 5842 392 112 0 50920 0
[pid=10557/tid=10558] ppid=10555 vsize=223820 CPUtime=1.49 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 2235 0 0 0 149 0 0 0 19 0 4 0 521262114 229191680 5843 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=223820 CPUtime=1.49 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 2331 0 0 0 149 0 0 0 19 0 4 0 521262114 229191680 5843 33554432000 4194304 4650419 140737341961552 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=223820 CPUtime=1.48 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 1964 0 0 0 148 0 0 0 25 0 4 0 521262114 229191680 5843 33554432000 4194304 4650419 140737341961552 18446744073709551615 4360299 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) 223820

[startup+3.10031 s]
/proc/loadavg: 8.03 8.11 8.08 9/188 10561
/proc/meminfo: memFree=24956812/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=233300 CPUtime=12.36 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 18143 0 0 0 1234 2 0 0 25 0 4 0 521262114 238899200 10676 33554432000 4194304 4650419 140737341961552 18446744073709551615 4333600 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 58325 10676 392 112 0 53290 0
[pid=10557/tid=10558] ppid=10555 vsize=233300 CPUtime=3.09 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 3865 0 0 0 309 0 0 0 25 0 4 0 521262114 238899200 10676 33554432000 4194304 4650419 140737341961552 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=233300 CPUtime=3.08 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 4859 0 0 0 308 0 0 0 25 0 4 0 521262114 238899200 10676 33554432000 4194304 4650419 140737341961552 18446744073709551615 4438378 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=233300 CPUtime=3.07 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 4869 0 0 0 307 0 0 0 25 0 4 0 521262114 238899200 10676 33554432000 4194304 4650419 140737341961552 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 233300

[startup+6.30073 s]
/proc/loadavg: 8.03 8.11 8.08 9/188 10561
/proc/meminfo: memFree=24905200/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=234644 CPUtime=25.14 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 26818 0 0 0 2510 4 0 0 25 0 4 0 521262114 240275456 13335 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 58661 13335 392 112 0 53626 0
[pid=10557/tid=10558] ppid=10555 vsize=234644 CPUtime=6.29 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 6680 0 0 0 628 1 0 0 25 0 4 0 521262114 240275456 13335 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=234644 CPUtime=6.29 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 6997 0 0 0 628 1 0 0 25 0 4 0 521262114 240275456 13335 33554432000 4194304 4650419 140737341961552 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=234644 CPUtime=6.26 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 6996 0 0 0 625 1 0 0 25 0 4 0 521262114 240275456 13335 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366819 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) 234644

[startup+12.7006 s]
/proc/loadavg: 8.02 8.11 8.08 9/188 10561
/proc/meminfo: memFree=24859700/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=248684 CPUtime=50.7 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 38214 0 0 0 5063 7 0 0 25 0 4 0 521262114 254652416 18607 33554432000 4194304 4650419 140737341961552 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 62171 18607 392 112 0 57136 0
[pid=10557/tid=10558] ppid=10555 vsize=248684 CPUtime=12.69 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 8965 0 0 0 1268 1 0 0 25 0 4 0 521262114 254652416 18607 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=248684 CPUtime=12.69 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 9504 0 0 0 1267 2 0 0 25 0 4 0 521262114 254652416 18607 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=248684 CPUtime=12.62 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 10865 0 0 0 1260 2 0 0 25 0 4 0 521262114 254652416 18607 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366920 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) 248684

[startup+25.5002 s]
/proc/loadavg: 8.02 8.11 8.08 9/188 10563
/proc/meminfo: memFree=24792112/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=246820 CPUtime=101.83 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 58140 0 0 0 10170 13 0 0 25 0 4 0 521262114 252743680 24593 33554432000 4194304 4650419 140737341961552 18446744073709551615 4315464 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 61705 24593 392 112 0 56670 0
[pid=10557/tid=10558] ppid=10555 vsize=246820 CPUtime=25.48 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 13580 0 0 0 2546 2 0 0 25 0 4 0 521262114 252743680 24593 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=246820 CPUtime=25.48 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 14170 0 0 0 2545 3 0 0 25 0 4 0 521262114 252743680 24593 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=246820 CPUtime=25.35 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 16024 0 0 0 2532 3 0 0 25 0 4 0 521262114 252743680 24593 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 246820

[startup+51.1005 s]
/proc/loadavg: 8.20 8.14 8.09 9/188 10565
/proc/meminfo: memFree=24745924/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=303056 CPUtime=204.09 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 82797 0 0 0 20389 20 0 0 25 0 4 0 521262114 310329344 31483 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 75764 31483 392 112 0 70729 0
[pid=10557/tid=10558] ppid=10555 vsize=303056 CPUtime=51.09 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 20027 0 0 0 5105 4 0 0 25 0 4 0 521262114 310329344 31483 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=303056 CPUtime=51.09 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 19538 0 0 0 5104 5 0 0 25 0 4 0 521262114 310329344 31483 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=303056 CPUtime=50.81 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 22984 0 0 0 5076 5 0 0 25 0 4 0 521262114 310329344 31483 33554432000 4194304 4650419 140737341961552 18446744073709551615 4364762 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) 303056

[startup+102.307 s]
/proc/loadavg: 8.14 8.13 8.09 9/188 10567
/proc/meminfo: memFree=24691888/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=281300 CPUtime=408.63 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 127303 0 0 0 40829 34 0 0 25 0 4 0 521262114 288051200 35455 33554432000 4194304 4650419 140737341961552 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 70325 35455 392 112 0 65290 0
[pid=10557/tid=10558] ppid=10555 vsize=281300 CPUtime=102.29 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 30275 0 0 0 10222 7 0 0 25 0 4 0 521262114 288051200 35455 33554432000 4194304 4650419 140737341961552 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=281300 CPUtime=102.3 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 29932 0 0 0 10222 8 0 0 25 0 4 0 521262114 288051200 35455 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=281300 CPUtime=101.73 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 34835 0 0 0 10164 9 0 0 25 0 4 0 521262114 288051200 35455 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366904 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) 281300

[startup+162.3 s]

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

[pid=10557] ppid=10555 vsize=435696 CPUtime=2805.34 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 374119 0 0 0 280410 124 0 0 25 0 4 0 521262114 446152704 76186 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 108924 76186 392 112 0 103889 0
[pid=10557/tid=10558] ppid=10555 vsize=435696 CPUtime=702.31 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 92921 0 0 0 70205 26 0 0 25 0 4 0 521262114 446152704 76186 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=435696 CPUtime=702.3 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 91936 0 0 0 70196 34 0 0 25 0 4 0 521262114 446152704 76186 33554432000 4194304 4650419 140737341961552 18446744073709551615 4360806 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=435696 CPUtime=698.4 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 92797 0 0 0 69811 29 0 0 25 0 4 0 521262114 446152704 76186 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.34
Current children cumulated vsize (KiB) 435696

[startup+762.307 s]
/proc/loadavg: 8.17 8.22 8.14 9/188 10584
/proc/meminfo: memFree=24340904/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=423824 CPUtime=3045.04 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 388922 0 0 0 304374 130 0 0 25 0 4 0 521262114 433995776 72258 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 105956 72258 392 112 0 100921 0
[pid=10557/tid=10558] ppid=10555 vsize=423824 CPUtime=762.31 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 100951 0 0 0 76204 27 0 0 25 0 4 0 521262114 433995776 72258 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=423824 CPUtime=762.32 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 96327 0 0 0 76195 37 0 0 25 0 4 0 521262114 433995776 72258 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=423824 CPUtime=758.08 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 94943 0 0 0 75778 30 0 0 25 0 4 0 521262114 433995776 72258 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.04
Current children cumulated vsize (KiB) 423824

[startup+822.301 s]
/proc/loadavg: 8.11 8.19 8.14 9/188 10586
/proc/meminfo: memFree=24308524/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=498204 CPUtime=3284.69 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 408412 0 0 0 328330 139 0 0 25 0 4 0 521262114 510160896 81298 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 124551 81298 392 112 0 119516 0
[pid=10557/tid=10558] ppid=10555 vsize=498204 CPUtime=822.32 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 108402 0 0 0 82202 30 0 0 25 0 4 0 521262114 510160896 81298 33554432000 4194304 4650419 140737341961552 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=498204 CPUtime=822.31 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 101904 0 0 0 82192 39 0 0 25 0 4 0 521262114 510160896 81298 33554432000 4194304 4650419 140737341961552 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=498204 CPUtime=817.75 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 94943 0 0 0 81745 30 0 0 25 0 4 0 521262114 510160896 81298 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.69
Current children cumulated vsize (KiB) 498204

[startup+882.301 s]
/proc/loadavg: 8.16 8.20 8.14 9/188 10587
/proc/meminfo: memFree=24279724/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=497904 CPUtime=3524.36 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 420821 0 0 0 352291 145 0 0 25 0 4 0 521262114 509853696 86045 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 124476 86045 392 112 0 119441 0
[pid=10557/tid=10558] ppid=10555 vsize=497904 CPUtime=882.32 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 111037 0 0 0 88201 31 0 0 25 0 4 0 521262114 509853696 86045 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=497904 CPUtime=882.31 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 103440 0 0 0 88191 40 0 0 25 0 4 0 521262114 509853696 86045 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=497904 CPUtime=877.41 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 100130 0 0 0 87709 32 0 0 25 0 4 0 521262114 509853696 86045 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.36
Current children cumulated vsize (KiB) 497904

[startup+942.301 s]
/proc/loadavg: 8.17 8.20 8.15 9/188 10589
/proc/meminfo: memFree=24249208/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=510824 CPUtime=3764.04 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 425905 0 0 0 376257 147 0 0 25 0 4 0 521262114 523083776 88288 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 127706 88288 392 112 0 122671 0
[pid=10557/tid=10558] ppid=10555 vsize=510824 CPUtime=942.32 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 111044 0 0 0 94201 31 0 0 25 0 4 0 521262114 523083776 88288 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=510824 CPUtime=942.31 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 108209 0 0 0 94189 42 0 0 25 0 4 0 521262114 523083776 88288 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=510824 CPUtime=937.08 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 100437 0 0 0 93676 32 0 0 25 0 4 0 521262114 523083776 88288 33554432000 4194304 4650419 140737341961552 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.04
Current children cumulated vsize (KiB) 510824

[startup+1002.3 s]
/proc/loadavg: 8.17 8.21 8.15 9/188 10591
/proc/meminfo: memFree=24246324/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=497904 CPUtime=4003.71 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 430702 0 0 0 400222 149 0 0 25 0 4 0 521262114 509853696 90224 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 124476 90224 392 112 0 119441 0
[pid=10557/tid=10558] ppid=10555 vsize=497904 CPUtime=1002.32 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 114174 0 0 0 100200 32 0 0 25 0 4 0 521262114 509853696 90224 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=497904 CPUtime=1002.31 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 109372 0 0 0 100188 43 0 0 25 0 4 0 521262114 509853696 90224 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=497904 CPUtime=996.75 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 100941 0 0 0 99643 32 0 0 25 0 4 0 521262114 509853696 90224 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.71
Current children cumulated vsize (KiB) 497904

[startup+1062.3 s]
/proc/loadavg: 8.13 8.19 8.15 9/188 10592
/proc/meminfo: memFree=24267260/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=497904 CPUtime=4243.39 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 435911 0 0 0 424187 152 0 0 25 0 4 0 521262114 509853696 86701 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 124476 86701 392 112 0 119441 0
[pid=10557/tid=10558] ppid=10555 vsize=497904 CPUtime=1062.32 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 114174 0 0 0 106200 32 0 0 25 0 4 0 521262114 509853696 86701 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=497904 CPUtime=1062.32 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 112487 0 0 0 106187 45 0 0 25 0 4 0 521262114 509853696 86701 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=497904 CPUtime=1056.42 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 100941 0 0 0 105610 32 0 0 25 0 4 0 521262114 509853696 86701 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.39
Current children cumulated vsize (KiB) 497904

[startup+1122.3 s]
/proc/loadavg: 8.12 8.18 8.15 9/188 10594
/proc/meminfo: memFree=24200620/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=511016 CPUtime=4483.06 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 441760 0 0 0 448149 157 0 0 25 0 4 0 521262114 523280384 89671 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365313 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 127754 89671 392 112 0 122719 0
[pid=10557/tid=10558] ppid=10555 vsize=511016 CPUtime=1122.32 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 114364 0 0 0 112199 33 0 0 25 0 4 0 521262114 523280384 89671 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=511016 CPUtime=1122.32 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 114454 0 0 0 112186 46 0 0 25 0 4 0 521262114 523280384 89671 33554432000 4194304 4650419 140737341961552 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=511016 CPUtime=1116.09 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 100944 0 0 0 111577 32 0 0 25 0 4 0 521262114 523280384 89671 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.06
Current children cumulated vsize (KiB) 511016

[startup+1182.3 s]
/proc/loadavg: 8.08 8.16 8.14 9/188 10595
/proc/meminfo: memFree=24169220/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=511016 CPUtime=4722.74 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 446291 0 0 0 472113 161 0 0 25 0 4 0 521262114 523280384 94202 33554432000 4194304 4650419 140737341961552 18446744073709551615 4355007 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 127754 94202 392 112 0 122719 0
[pid=10557/tid=10558] ppid=10555 vsize=511016 CPUtime=1182.33 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 114364 0 0 0 118200 33 0 0 25 0 4 0 521262114 523280384 94202 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=511016 CPUtime=1182.32 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 114454 0 0 0 118186 46 0 0 25 0 4 0 521262114 523280384 94202 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=511016 CPUtime=1175.76 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 100944 0 0 0 117544 32 0 0 25 0 4 0 521262114 523280384 94202 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.74
Current children cumulated vsize (KiB) 511016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.12 8.17 8.14 9/188 10596
/proc/meminfo: memFree=24162880/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=511016 CPUtime=4800.24 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 447865 0 0 0 479862 162 0 0 25 0 4 0 521262114 523280384 95776 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 127754 95776 392 112 0 122719 0
[pid=10557/tid=10558] ppid=10555 vsize=511016 CPUtime=1201.73 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 114759 0 0 0 120140 33 0 0 25 0 4 0 521262114 523280384 95776 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=511016 CPUtime=1201.73 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 114454 0 0 0 120127 46 0 0 25 0 4 0 521262114 523280384 95776 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=511016 CPUtime=1195.05 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 101081 0 0 0 119473 32 0 0 25 0 4 0 521262114 523280384 95776 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 511016

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.12 8.17 8.14 9/188 10596
/proc/meminfo: memFree=24162880/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=511016 CPUtime=4800.24 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 447865 0 0 0 479862 162 0 0 25 0 4 0 521262114 523280384 95776 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 127754 95776 392 112 0 122719 0
[pid=10557/tid=10558] ppid=10555 vsize=511016 CPUtime=1201.73 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 114759 0 0 0 120140 33 0 0 25 0 4 0 521262114 523280384 95776 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=511016 CPUtime=1201.73 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 114454 0 0 0 120127 46 0 0 25 0 4 0 521262114 523280384 95776 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=511016 CPUtime=1195.05 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 101081 0 0 0 119473 32 0 0 25 0 4 0 521262114 523280384 95776 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 511016

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.29
CPU user time (s): 4798.65
CPU system time (s): 1.64275
CPU usage (%): 399.448
Max. virtual memory (cumulated for all children) (KiB): 523696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.65
system time used= 1.64275
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 447865
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= 545
involuntary context switches= 84256

runsolver used 1.90271 second user time and 4.67129 second system time

The end

Launcher Data 

Begin job on node134 at 2011-04-29 19:03:59
IDJOB=3175186
IDBENCH=82804
IDSOLVER=1588
FILE ID=node134/3175186-1304096639
RUNJOBID= node134-1304096639-10534
PBS_JOBID= 13170571
Free space on /tmp= 71580 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v70-c6230-S2143190124-085.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175186-1304096639/watcher-3175186-1304096639 -o /tmp/evaluation-result-3175186-1304096639/solver-3175186-1304096639 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175186-1304096639.cnf

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

MD5SUM BENCH= 2cb285a396d74446b485c2112c34e09c
RANDOM SEED=1744018454

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25006848 kB
Buffers:       1490908 kB
Cached:        5867000 kB
SwapCached:         64 kB
Active:        1476376 kB
Inactive:      5946064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25006848 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:           12560 kB
Writeback:           0 kB
AnonPages:       63744 kB
Mapped:          15040 kB
Slab:           459484 kB
PageTables:       5004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   228632 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= 71572 MiB
End job on node134 at 2011-04-29 19:24:03