Trace number 3175200

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v70-c6230-S635440951-015.UNKNOWN.cnf
MD5SUM84865a406d2a10d67b7d2a7ac3e327ce
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
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-3175200-1304098122.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.38/0.10	c Parsing time:  0.01 s
0.38/0.10	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
0.38/0.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
0.38/0.16	c Finding binary XORs  T:     0.00 s  found:       0
0.38/0.17	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.38/0.17	c calculated reachability. Time: 0.00
0.38/0.17	c Calc default polars -  time:   0.00 s pos:      30 undec:       0 neg:      40
0.38/0.17	c =========================================================================================
0.38/0.17	c types(t): F = full restart, N = normal restart
0.38/0.17	c types(t): S = simplification begin/end, E = solution found
0.38/0.17	c restart types(rt): st = static, dy = dynamic
0.38/0.17	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.38/0.17	c  B st     0         0        70      6230         0         0     43610         0   no data   no data  --
1.57/0.46	c  N dy    14      9112        70      6230         0      5978     43610    134839     20.11     21.25  --
3.57/0.99	c  N dy    38     21109        70      6230         0      7798     43610    157145     19.78     20.85  --
4.39/1.18	c  F st    71     25000        70      6230         0     11366     43610    244348     20.14   no data  --
4.76/1.20	c  N st    72     25251        70      6230         0     11601     43610    250166     20.14   no data  --
5.56/1.42	c  N dy    77     30001        70      6230         0      9757     43610    197931     20.14   no data  --
5.56/1.42	c  S st    77     30001        70      6230         0      9757     43610    197931     20.14   no data  --
5.56/1.45	c  S st    77     30503        70      6230         0     10228     43610    209418     20.14   no data  --
5.56/1.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.56/1.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.56/1.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
5.56/1.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.96/2.59	c lits-rem:      1628  cl-subs:      918  v-elim:      0  v-fix:    0  time:  4.51 s
11.56/2.90	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.23
11.56/2.90	c calculated reachability. Time: 0.00
11.56/2.90	c  N dy    77     30503        70      6230         0      9310     43610    184741     20.14   no data  --
12.36/3.18	c  N dy   108     35202        70      6230         0     13620     43610    289049     20.35     21.45  --
13.55/3.41	c  N dy   124     39665        70      6230         0     10537     43610    199945     20.35     21.42  --
14.76/3.77	c  N dy   152     45755        70      6230         0     16042     43610    332536     20.40     18.84  --
14.76/3.77	c  S st   152     45755        70      6230         0     16042     43610    332536     20.40     18.84  --
15.16/3.81	c  S st   152     46258        70      6230         0      8420     43610    138152     20.40   no data  --
15.16/3.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.16/3.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.16/3.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.16/3.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.16/3.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.16/3.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
15.16/3.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.95/4.59	c lits-rem:       107  cl-subs:       37  v-elim:      0  v-fix:    0  time:  3.08 s
17.95/4.60	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
18.35/4.60	c vivif2 --  cl tried     8383 cl shrink        0 lits rem          0 time: 0.00
19.15/4.85	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.03
19.15/4.85	c calculated reachability. Time: 0.00
19.15/4.85	c  N dy   152     46258        70      6230         0      8383     43610    136933     20.40   no data  --
19.95/5.07	c  N dy   158     50810        70      6230         0     12541     43610    236327     20.34     21.47  --
21.16/5.34	c  N dy   184     55045        70      6230         0     16370     43610    328861     20.43     21.58  --
22.35/5.69	c  N dy   187     61492        70      6230         0     13135     43610    236296     20.29     21.42  --
23.55/5.96	c  N dy   208     65515        70      6230         0     16819     43610    325209     20.36     21.49  --
24.75/6.26	c  S st   224     69387        70      6230         0     10372     43610    160255     20.39     20.29  --
25.15/6.30	c  S st   224     69889        70      6230         0     10836     43610    171433     20.39   no data  --
25.15/6.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.15/6.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.15/6.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
25.15/6.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.15/6.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.15/6.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
25.15/6.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.34/7.18	c lits-rem:       328  cl-subs:      146  v-elim:      0  v-fix:    0  time:  3.47 s
28.34/7.18	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
28.34/7.18	c vivif2 --  cl tried    10690 cl shrink        0 lits rem          0 time: 0.01
29.54/7.48	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.20
29.54/7.48	c calculated reachability. Time: 0.00
29.54/7.48	c  N dy   224     69889        70      6230         0     10690     43610    167437     20.39   no data  --
30.75/7.75	c  N dy   257     74534        70      6230         0     14912     43610    271384     20.50     21.62  --
32.33/8.10	c  N dy   277     79594        70      6230         0     19519     43610    383043     20.54     21.69  --
33.53/8.46	c  N dy   285     84687        70      6230         0     13230     43610    217389     20.52     22.71  --
34.33/8.65	c  F st   299     87502        70      6230         0     15770     43610    278532     20.54     20.33  --
35.15/8.86	c  N st   304     90798        70      6230         0     18757     43610    351375     20.54   no data  --
37.13/9.32	c  N dy   311     96953        70      6230         0     12545     43610    186789     20.52     21.62  --
38.73/9.80	c  N dy   319    104835        70      6230         0     19632     43610    352486     20.42     19.09  --
38.73/9.80	c  S st   319    104835        70      6230         0     19632     43610    352486     20.42     19.09  --
39.15/9.86	c  S st   319    105336        70      6230         0     20094     43610    363575     20.42   no data  --
39.15/9.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.15/9.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
39.15/9.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
39.15/9.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.15/9.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.15/9.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
39.15/9.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.52/11.45	c lits-rem:      1592  cl-subs:     2120  v-elim:      0  v-fix:    0  time:  6.28 s
45.52/11.45	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
45.52/11.45	c vivif2 --  cl tried    17974 cl shrink        0 lits rem          0 time: 0.02
47.12/11.83	c asymm  cl-useful: 0/4788/6230 lits-rem:0 time: 1.52
47.12/11.83	c calculated reachability. Time: 0.00
47.12/11.83	c  N dy   319    105336        70      6230         0     17974     43610    313744     20.42   no data  --
49.11/12.33	c  N dy   342    112183        70      6230         0     24164     43610    461193     20.43     21.52  --
54.30/13.64	c  N dy   346    129189        70      6230         0     26811     43610    506693     20.24     21.32  --
57.12/14.34	c  N dy   360    139403        70      6230         0     22556     43610    400829     20.19     21.30  --
62.69/15.77	c  N dy   421    157221        70      6230         0     24288     43610    426924     20.17     21.25  --
63.09/15.84	c  S st   427    158004        70      6230         0     25008     43610    444438     20.18   no data  --
63.49/15.91	c  S st   427    158507        70      6230         0     25472     43610    456173     20.18   no data  --
63.49/15.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
63.49/15.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
63.49/15.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
63.49/15.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
63.49/15.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
63.49/15.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
63.49/15.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
72.28/18.14	c lits-rem:      2360  cl-subs:     2815  v-elim:      0  v-fix:    0  time:  8.81 s
72.28/18.14	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
72.28/18.14	c vivif2 --  cl tried    22657 cl shrink        0 lits rem          0 time: 0.02
73.07/18.33	c asymm  cl-useful: 0/1442/6230 lits-rem:0 time: 0.77
73.07/18.34	c calculated reachability. Time: 0.00
73.07/18.34	c  N dy   427    158507        70      6230         0     22657     43610    389588     20.18   no data  --
77.47/19.40	c  N dy   491    168859        70      6230         0     16878     43610    241969     20.27     21.39  --
81.07/20.34	c  N dy   528    180813        70      6230         0     27754     43610    503312     20.29     21.40  --
85.46/21.41	c  N dy   581    192376        70      6230         0     22004     43610    354938     20.33     21.76  --
90.65/22.77	c  N dy   633    205318        70      6230         0     33745     43610    636782     20.35     21.44  --
95.85/24.05	c  N dy   707    218445        70      6230         0     28399     43610    498193     20.42     22.32  --
101.84/25.54	c  N dy   742    234371        70      6230         0     24678     43610    387749     20.40     21.50  --
103.04/25.87	c  S st   765    237762        70      6230         0     27766     43610    463192     20.42     19.82  --
103.44/25.94	c  S st   765    238265        70      6230         0     28227     43610    474336     20.42   no data  --
103.44/25.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
103.44/25.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
103.44/25.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
103.44/25.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
103.44/25.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
103.44/25.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
103.44/25.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
112.63/28.24	c lits-rem:      1759  cl-subs:     2402  v-elim:      0  v-fix:    0  time:  9.09 s
112.63/28.24	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
112.63/28.25	c vivif2 --  cl tried    25825 cl shrink        0 lits rem          0 time: 0.02
114.24/28.63	c asymm  cl-useful: 0/3659/6230 lits-rem:0 time: 1.53
114.24/28.63	c calculated reachability. Time: 0.00
114.24/28.63	c  N dy   765    238265        70      6230         0     25825     43610    415392     20.42   no data  --
121.01/30.37	c  N dy   813    255599        70      6230         0     22626     43610    324568     20.41     21.52  --
127.80/32.03	c  N dy   880    271968        70      6230         0     37413     43610    678370     20.42     21.93  --
135.00/33.88	c  N dy   988    289387        70      6230         0     33409     43610    580916     20.50     21.89  --
142.58/35.74	c  F st  1043    306252        70      6230         0     27842     43610    425389     20.49     19.09  --
143.38/35.92	c  N st  1047    308285        70      6230         0     29699     43610    471062     20.49   no data  --
152.57/38.20	c  N dy  1110    328474        70      6230         0     26263     43610    379068     20.50     21.76  --
162.57/40.75	c  N dy  1215    348507        70      6230         0     44446     43610    821080     20.55     23.40  --
166.56/41.70	c  S st  1256    357397        70      6230         0     29847     43610    454139     20.57     20.89  --
166.56/41.79	c  S st  1256    357901        70      6230         0     30318     43610    465719     20.57   no data  --
166.56/41.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
166.56/41.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
166.56/41.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
166.96/41.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
166.96/41.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
166.96/41.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
166.96/41.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
175.36/44.00	c lits-rem:      1681  cl-subs:     1521  v-elim:      0  v-fix:    0  time:  8.73 s
175.36/44.00	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
175.76/44.00	c vivif2 --  cl tried    28797 cl shrink        0 lits rem          0 time: 0.02
177.34/44.40	c asymm  cl-useful: 0/2571/6230 lits-rem:0 time: 1.59
177.34/44.40	c calculated reachability. Time: 0.00
177.34/44.40	c  N dy  1256    357901        70      6230         0     28797     43610    425271     20.57   no data  --
188.12/47.19	c  N dy  1275    381404        70      6230         0     26424     43610    353708     20.45     21.65  --
201.31/50.48	c  N dy  1332    407180        70      6230         0     25409     43610    318222     20.41     21.52  --
210.91/52.88	c  N dy  1401    427420        70      6230         0     43614     43610    751330     20.41     21.63  --
226.47/56.72	c  N dy  1492    457562        70      6230         0     45560     43610    781505     20.40     21.48  --
238.05/59.63	c  N dy  1577    478924        70      6230         0     38779     43610    612652     20.41     21.56  --
254.85/63.85	c  N dy  1632    513950        70      6230         0     43023     43610    691131     20.34     21.54  --
267.63/67.02	c  N dy  1742    533987        70      6230         0     33314     43610    462214     20.37     23.22  --
268.81/67.38	c  S st  1759    536853        70      6230         0     35916     43610    525408     20.38     20.71  --
269.21/67.48	c  S st  1759    537356        70      6230         0     36385     43610    537175     20.38   no data  --
269.21/67.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
269.21/67.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
269.61/67.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
269.61/67.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
269.61/67.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
269.61/67.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
269.61/67.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
278.79/69.89	c lits-rem:      1217  cl-subs:     1584  v-elim:      0  v-fix:    0  time:  9.49 s
278.79/69.89	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
279.19/69.90	c vivif2 --  cl tried    34801 cl shrink        0 lits rem          0 time: 0.02
279.59/70.09	c asymm  cl-useful: 0/1581/6230 lits-rem:0 time: 0.79
279.99/70.10	c calculated reachability. Time: 0.00
279.99/70.10	c  N dy  1759    537356        70      6230         0     34801     43610    494855     20.38   no data  --
293.18/73.40	c  N dy  1899    557400        70      6230         0     52963     43610    941531     20.43     23.28  --
304.76/76.39	c  N dy  2000    577470        70      6230         0     42376     43610    664806     20.45     24.81  --
318.34/79.72	c  N dy  2050    597523        70      6230         0     30692     43610    371124     20.44     22.99  --
329.55/82.59	c  N dy  2148    617572        70      6230         0     48853     43610    811634     20.46     22.69  --
341.51/85.56	c  N dy  2166    638829        70      6230         0     37231     43610    510347     20.42     21.56  --
355.52/89.02	c  N dy  2268    659241        70      6230         0     55736     43610    960712     20.44     21.58  --
366.68/91.88	c  N dy  2283    679297        70      6230         0     42142     43610    611272     20.40     21.52  --
379.46/95.02	c  N dy  2319    699308        70      6230         0     60036     43610   1022910     20.36     23.19  --
393.45/98.55	c  N dy  2453    719405        70      6230         0     45863     43610    698595     20.40     23.99  --
409.02/102.49	c  N dy  2521    739731        70      6230         0     64179     43610   1138654     20.40     21.54  --
421.01/105.50	c  N dy  2541    760248        70      6230         0     49154     43610    745916     20.37     21.47  --
438.58/109.80	c  N dy  2656    780318        70      6230         0     67335     43610   1188432     20.39     23.14  --
452.95/113.49	c  N dy  2716    804882        70      6230         0     55286     43610    892677     20.39     21.54  --
454.15/113.73	c  S st  2726    806034        70      6230         0     56324     43610    918143     20.39   no data  --
454.95/113.90	c  S st  2726    806540        70      6230         0     56793     43610    929799     20.39   no data  --
454.95/113.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
454.95/113.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
454.95/113.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
454.95/113.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
454.95/113.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
454.95/113.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
454.95/113.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
490.50/122.86	c lits-rem:      2662  cl-subs:     5186  v-elim:      0  v-fix:    0  time: 35.56 s
490.50/122.86	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
490.50/122.87	c vivif2 --  cl tried    51607 cl shrink        0 lits rem          0 time: 0.04
491.73/123.20	c asymm  cl-useful: 0/963/6230 lits-rem:0 time: 1.29
491.73/123.20	c calculated reachability. Time: 0.00
491.73/123.20	c  N dy  2726    806540        70      6230         0     51607     43610    804253     20.39   no data  --
511.28/128.01	c  N dy  2830    826564        70      6230         0     69717     43610   1244660     20.40     22.94  --
523.66/131.15	c  N dy  2932    846623        70      6230         0     52814     43610    826610     20.41     22.89  --
542.04/135.74	c  N dy  3001    868692        70      6230         0     36775     43610    423774     20.41     21.55  --
555.22/139.09	c  N dy  3115    888788        70      6230         0     54972     43610    866186     20.43     22.47  --
588.39/147.32	c  N dy  3137    941837        70      6230         0     65398     43610   1067965     20.33     21.43  --
605.55/151.69	c  N dy  3248    961929        70      6230         0     45998     43610    626694     20.35     24.66  --
621.13/155.53	c  N dy  3341    982015        70      6230         0     64184     43610   1069498     20.36     22.65  --
640.30/160.37	c  N dy  3463   1002081        70      6230         0     43629     43610    555406     20.38     21.52  --
655.88/164.23	c  N dy  3581   1022376        70      6230         0     61979     43610   1004012     20.40     21.48  --
676.67/169.41	c  N dy  3681   1042443        70      6230         0     40357     43610    460659     20.42     23.49  --
689.86/172.70	c  N dy  3758   1062477        70      6230         0     58434     43610    894777     20.42     22.69  --
697.43/174.69	c  F st  3791   1071876        70      6230         0     66936     43610   1100083     20.43     21.35  --
708.21/177.34	c  N dy  3832   1082511        70      6230         0     76514     43610   1335141     20.43     21.93  --
724.61/181.48	c  N dy  3871   1106005        70      6230         0     56978     43610    837027     20.42     21.52  --
745.36/186.61	c  N dy  4016   1126098        70      6230         0     75194     43610   1286901     20.45     22.82  --
765.34/191.68	c  N dy  4093   1149798        70      6230         0     55069     43610    781731     20.44     21.62  --
787.30/197.18	c  N dy  4198   1169832        70      6230         0     73127     43610   1221250     20.46     22.13  --
808.50/202.44	c  N dy  4276   1190669        70      6230         0     49527     43610    644720     20.46     21.63  --
829.65/207.72	c  S st  4401   1209810        70      6230         0     66895     43610   1070755     20.48   no data  --
830.47/207.98	c  S st  4401   1210314        70      6230         0     67359     43610   1082525     20.48   no data  --
830.47/207.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
830.47/207.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
830.84/208.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.18
830.84/208.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
830.84/208.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
830.84/208.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
830.84/208.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
903.55/226.22	c lits-rem:      3133  cl-subs:     5070  v-elim:      0  v-fix:    0  time: 72.48 s
903.55/226.22	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
903.55/226.23	c vivif2 --  cl tried    62289 cl shrink        0 lits rem          0 time: 0.06
904.76/226.60	c asymm  cl-useful: 0/754/6230 lits-rem:0 time: 1.46
904.76/226.60	c calculated reachability. Time: 0.00
904.76/226.60	c  N dy  4401   1210314        70      6230         0     62289     43610    949213     20.48   no data  --
928.31/232.48	c  N dy  4508   1230336        70      6230         0     80445     43610   1392263     20.49     22.18  --
944.72/236.54	c  N dy  4579   1250475        70      6230         0     55467     43610    774308     20.50     21.82  --
963.07/241.15	c  N dy  4660   1271127        70      6230         0     74085     43610   1220921     20.50     21.58  --
987.83/247.37	c  N dy  4752   1291192        70      6230         0     48119     43610    583519     20.50     22.78  --
1006.61/252.07	c  N dy  4828   1311734        70      6230         0     66655     43610   1032737     20.51     21.64  --
1041.38/260.79	c  N dy  4941   1339859        70      6230         0     46950     43610    536394     20.51     21.65  --
1060.94/265.60	c  N dy  5017   1362100        70      6230         0     67027     43610   1024236     20.52     21.63  --
1085.32/271.72	c  N dy  5085   1384522        70      6230         0     87174     43610   1509134     20.52     21.61  --
1123.65/281.33	c  N dy  5160   1433494        70      6230         0     84930     43610   1410996     20.47     21.55  --
1143.22/286.22	c  N dy  5246   1453569        70      6230         0     56418     43610    746878     20.47     24.04  --
1165.99/291.91	c  N dy  5309   1479560        70      6230         0     79636     43610   1291820     20.46     21.58  --
1190.78/298.11	c  N dy  5370   1501889        70      6230         0     52089     43610    623251     20.45     21.54  --
1207.54/302.35	c  N dy  5473   1521915        70      6230         0     70219     43610   1068605     20.46     22.60  --
1229.11/307.79	c  N dy  5540   1542431        70      6230         0     88660     43610   1517734     20.47     21.56  --
1253.47/313.86	c  N dy  5594   1567721        70      6230         0     62722     43610    859624     20.46     21.56  --
1273.45/318.86	c  N dy  5688   1587782        70      6230         0     80828     43610   1299740     20.47     21.93  --
1303.01/326.25	c  N dy  5717   1622401        70      6230         0     62263     43610    828584     20.43     21.63  --
1320.59/330.65	c  N dy  5783   1642448        70      6230         0     80257     43610   1261067     20.43     21.57  --
1352.14/338.50	c  N dy  5890   1665358        70      6230         0     50683     43610    556651     20.44     21.55  --
1371.31/343.33	c  N dy  5998   1685429        70      6230         0     68888     43610   1001138     20.45     22.58  --
1395.68/349.42	c  N dy  6051   1705482        70      6230         0     86847     43610   1429587     20.45     21.71  --
1402.87/351.26	c  S st  6070   1710314        70      6230         0     91231     43610   1535554     20.45     19.85  --
1404.47/351.61	c  S st  6070   1710817        70      6230         0     91697     43610   1547305     20.45   no data  --
1404.47/351.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1404.47/351.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1404.47/351.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.22
1404.87/351.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1404.87/351.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1404.87/351.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
1404.87/351.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1606.19/402.11	c lits-rem:      6080  cl-subs:     9830  v-elim:      0  v-fix:    0  time: 201.28 s
1606.19/402.11	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
1606.19/402.13	c vivif2 --  cl tried    81867 cl shrink        0 lits rem          0 time: 0.08
1607.81/402.60	c asymm  cl-useful: 0/556/6230 lits-rem:0 time: 1.85
1607.81/402.60	c calculated reachability. Time: 0.00
1607.81/402.60	c  N dy  6070   1710817        70      6230         0     81867     43610   1302440     20.45   no data  --
1642.97/411.39	c  N dy  6131   1730988        70      6230         0     99978     43610   1738895     20.45     21.57  --
1670.51/418.29	c  N dy  6204   1754612        70      6230         0     70526     43610   1023650     20.45     21.65  --
1708.06/427.68	c  N dy  6338   1774628        70      6230         0     88609     43610   1467821     20.46     23.39  --
1744.81/436.89	c  N dy  6409   1794669        70      6230         0     54681     43610    629759     20.47     21.69  --
1771.18/443.40	c  N dy  6504   1814731        70      6230         0     72760     43610   1070312     20.47     21.71  --
1806.32/452.20	c  N dy  6609   1834817        70      6230         0     90906     43610   1513187     20.48     23.40  --
1843.08/461.42	c  N dy  6639   1856741        70      6230         0     57528     43610    679963     20.47     21.63  --
1870.64/468.30	c  N dy  6770   1877076        70      6230         0     75894     43610   1133533     20.49     21.57  --
1905.00/476.92	c  N dy  6889   1897176        70      6230         0     94012     43610   1578277     20.50     21.79  --
1943.34/486.53	c  N dy  7006   1917193        70      6230         0     58085     43610    686888     20.51     21.66  --
1965.71/492.17	c  N dy  7069   1937260        70      6230         0     76169     43610   1123067     20.51     22.17  --
1989.68/498.19	c  N dy  7119   1957379        70      6230         0     94183     43610   1552862     20.50     21.66  --
2022.84/506.48	c  N dy  7204   1978717        70      6230         0     58582     43610    683572     20.51     21.64  --
2044.40/511.81	c  N dy  7351   1998718        70      6230         0     76729     43610   1132439     20.52     22.84  --
2071.57/518.67	c  N dy  7457   2019921        70      6230         0     95840     43610   1596763     20.53     21.70  --
2101.13/526.09	c  N dy  7519   2044253        70      6230         0     61796     43610    745918     20.53     21.61  --
2123.10/531.54	c  N dy  7656   2064265        70      6230         0     79911     43610   1192576     20.54     22.11  --
2145.06/537.03	c  N dy  7691   2085468        70      6230         0     98809     43610   1636578     20.53     21.65  --
2179.04/545.58	c  N dy  7739   2115595        70      6230         0     69106     43610    904714     20.52     21.70  --
2199.80/550.70	c  N dy  7775   2137288        70      6230         0     88546     43610   1368767     20.51     21.64  --
2230.95/558.54	c  N dy  7859   2159772        70      6230         0    108742     43610   1856418     20.51     21.63  --
2256.91/565.02	c  N dy  7990   2179819        70      6230         0     69426     43610    913619     20.53     22.24  --
2279.68/570.78	c  N dy  8104   2199874        70      6230         0     87491     43610   1354791     20.53     23.95  --
2296.06/574.81	c  S st  8180   2210818        70      6230         0     97432     43610   1600667     20.54   no data  --
2296.86/575.09	c  S st  8180   2211321        70      6230         0     97900     43610   1612691     20.54   no data  --
2296.86/575.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2296.86/575.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2297.26/575.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2297.26/575.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2297.26/575.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2297.26/575.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
2297.26/575.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2713.50/679.39	c lits-rem:      5927  cl-subs:     8706  v-elim:      0  v-fix:    0  time: 416.11 s
2713.50/679.39	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
2713.90/679.41	c vivif2 --  cl tried    89194 cl shrink        0 lits rem          0 time: 0.09
2715.89/679.92	c asymm  cl-useful: 0/521/6230 lits-rem:0 time: 2.04
2715.89/679.93	c calculated reachability. Time: 0.00
2715.89/679.93	c  N dy  8180   2211321        70      6230         0     89194     43610   1387284     20.54   no data  --
2758.65/690.62	c  N dy  8329   2231353        70      6230         0    107370     43610   1836880     20.55     21.72  --
2794.21/699.58	c  N dy  8393   2254762        70      6230         0     70276     43610    919089     20.55     21.89  --
2825.37/707.39	c  N dy  8494   2274767        70      6230         0     88293     43610   1360933     20.56     23.80  --
2862.89/716.72	c  N dy  8588   2295923        70      6230         0    107354     43610   1827616     20.57     21.75  --
2904.06/727.04	c  N dy  8697   2317584        70      6230         0     67607     43610    839978     20.57     21.73  --
2936.40/735.10	c  N dy  8831   2337732        70      6230         0     85830     43610   1290090     20.59     21.70  --
2977.54/745.47	c  N dy  8842   2365114        70      6230         0    110257     43610   1865946     20.57     21.67  --
3018.71/755.76	c  N dy  8891   2390982        70      6230         0     73214     43610    954032     20.57     21.65  --
3053.05/764.30	c  N dy  9008   2411837        70      6230         0     92064     43610   1416554     20.57     21.69  --
3082.20/771.64	c  N dy  9035   2431909        70      6230         0    110105     43610   1852474     20.57     23.32  --
3122.95/781.88	c  N dy  9137   2451933        70      6230         0     67077     43610    800543     20.57     21.77  --
3145.74/787.59	c  N dy  9148   2471965        70      6230         0     84888     43610   1216719     20.56     23.03  --
3188.46/798.27	c  N dy  9236   2499633        70      6230         0    109758     43610   1815764     20.56     21.72  --
3217.62/805.55	c  N dy  9291   2519659        70      6230         0     65795     43610    756201     20.56     22.12  --
3239.59/811.08	c  N dy  9398   2539705        70      6230         0     83935     43610   1200631     20.56     22.89  --
3278.73/820.80	c  N dy  9536   2567413        70      6230         0    108838     43610   1812377     20.57     21.66  --
3315.49/830.01	c  N dy  9598   2594284        70      6230         0     70035     43610    843889     20.57     21.70  --
3345.04/837.46	c  N dy  9601   2625575        70      6230         0     97742     43610   1482802     20.55     21.65  --
3377.40/845.56	c  N dy  9639   2648939        70      6230         0    118649     43610   1985376     20.54     21.64  --
3408.97/853.49	c  N dy  9760   2668953        70      6230         0     73162     43610    918389     20.55     22.97  --
3441.31/861.57	c  N dy  9833   2695418        70      6230         0     96806     43610   1487263     20.55     21.64  --
3464.49/867.30	c  S st  9880   2711321        70      6230         0    111141     43610   1834539     20.55     19.02  --
3465.68/867.64	c  S st  9880   2711825        70      6230         0    111602     43610   1846113     20.55   no data  --
3465.68/867.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3465.68/867.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3466.08/867.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.23
3466.08/867.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3466.08/867.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3466.08/867.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
3466.08/867.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3915.48/980.27	c lits-rem:      7025  cl-subs:    11590  v-elim:      0  v-fix:    0  time: 449.30 s
3915.48/980.27	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
3915.88/980.30	c vivif2 --  cl tried   100012 cl shrink        0 lits rem          0 time: 0.09
3917.47/980.73	c asymm  cl-useful: 0/452/6230 lits-rem:0 time: 1.75
3917.47/980.74	c calculated reachability. Time: 0.00
3917.47/980.74	c  N dy  9880   2711825        70      6230         0    100012     43610   1561704     20.55   no data  --
3965.41/992.77	c  N dy  9981   2731884        70      6230         0    118063     43610   2001328     20.55     22.26  --
4006.97/1003.11	c  N dy 10043   2751892        70      6230         0     72032     43610    873953     20.55     22.29  --
4038.91/1011.19	c  N dy 10157   2771992        70      6230         0     90182     43610   1322202     20.56     24.09  --
4074.06/1019.96	c  N dy 10216   2792030        70      6230         0    108149     43610   1754452     20.56     22.54  --
4115.20/1030.23	c  N dy 10266   2812055        70      6230         0    126062     43610   2184820     20.55     21.66  --
4154.35/1040.02	c  N dy 10374   2833983        70      6230         0     80597     43610   1072540     20.56     21.71  --
4190.31/1049.08	c  N dy 10463   2855614        70      6230         0    100045     43610   1543361     20.56     21.66  --
4225.06/1057.79	c  N dy 10480   2876308        70      6230         0    118589     43610   1985010     20.56     21.69  --
4274.19/1070.02	c  N dy 10609   2896469        70      6230         0     70437     43610    810025     20.56     21.71  --
4310.17/1079.05	c  N dy 10725   2919742        70      6230         0     91381     43610   1318976     20.57     21.73  --
4348.50/1088.69	c  N dy 10807   2940813        70      6230         0    110316     43610   1778872     20.57     21.72  --
4404.02/1102.51	c  N dy 10942   2960861        70      6230         0    128378     43610   2225002     20.58     22.98  --
4446.38/1113.20	c  N dy 11050   2980893        70      6230         0     79059     43610   1007960     20.59     22.41  --
4489.11/1123.82	c  N dy 11139   3003870        70      6230         0     99656     43610   1504545     20.59     21.67  --
4537.04/1135.81	c  N dy 11248   3024473        70      6230         0    118213     43610   1957955     20.59     21.77  --
4590.17/1149.12	c  N dy 11326   3045252        70      6230         0     68573     43610    736365     20.59     21.85  --
4622.14/1157.19	c  N dy 11450   3066192        70      6230         0     87454     43610   1201572     20.60     22.04  --
4650.88/1164.32	c  N dy 11464   3086323        70      6230         0    105448     43610   1622926     20.59     21.69  --
4697.24/1175.91	c  N dy 11582   3106379        70      6230         0    123532     43610   2069517     20.60     21.70  --
4741.96/1187.15	c  N dy 11670   3126884        70      6230         0     72747     43610    826529     20.60     21.73  --
4768.32/1193.72	c  N dy 11789   3147031        70      6230         0     90969     43610   1277325     20.61     21.75  --
4796.69/1200.83	c  N dy 11864   3167096        70      6230         0    108964     43610   1714548     20.61     21.73  --

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-3175200-1304098122/watcher-3175200-1304098122 -o /tmp/evaluation-result-3175200-1304098122/solver-3175200-1304098122 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175200-1304098122.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: 7.95 8.07 8.08 6/184 23707
/proc/meminfo: memFree=24889296/32951124 swapFree=67111524/67111528
[pid=23707] ppid=23705 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23707/stat : 23707 (strangenight1-m) R 23705 23707 23437 0 -1 4202496 417 0 0 0 0 0 0 0 25 0 4 0 521410377 52465664 357 33554432000 4194304 4650419 140737219611168 18446744073709551615 232335892411 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23707/statm: 12809 357 306 112 0 7774 0
[pid=23707/tid=23708] ppid=23705 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23707/task/23708/stat : 23708 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521410377 52465664 357 33554432000 4194304 4650419 140737219611168 18446744073709551615 47573919897526 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23707/tid=23709] ppid=23705 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23707/task/23709/stat : 23709 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521410377 52465664 357 33554432000 4194304 4650419 140737219611168 18446744073709551615 232330939478 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23707/tid=23710] ppid=23705 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23707/task/23710/stat : 23710 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521410378 52465664 357 33554432000 4194304 4650419 140737219611168 18446744073709551615 232330939478 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0896501 s]
/proc/loadavg: 7.95 8.07 8.08 6/184 23707
/proc/meminfo: memFree=24889296/32951124 swapFree=67111524/67111528
[pid=23707] ppid=23705 vsize=282052 CPUtime=0.33 cores=1,3,5,7
/proc/23707/stat : 23707 (strangenight1-m) R 23705 23707 23437 0 -1 4202496 1425 0 0 0 33 0 0 0 25 0 4 0 521410377 288821248 1338 33554432000 4194304 4650419 140737219611168 18446744073709551615 4370686 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23707/statm: 70513 1338 366 112 0 65478 0
[pid=23707/tid=23708] ppid=23705 vsize=282052 CPUtime=0.08 cores=1,3,5,7
/proc/23707/task/23708/stat : 23708 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 215 0 0 0 8 0 0 0 25 0 4 0 521410377 288821248 1338 33554432000 4194304 4650419 140737219611168 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23707/tid=23709] ppid=23705 vsize=282052 CPUtime=0.08 cores=1,3,5,7
/proc/23707/task/23709/stat : 23709 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 221 0 0 0 8 0 0 0 25 0 4 0 521410377 288821248 1338 33554432000 4194304 4650419 140737219611168 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23707/tid=23710] ppid=23705 vsize=282052 CPUtime=0.08 cores=1,3,5,7
/proc/23707/task/23710/stat : 23710 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 335 0 0 0 8 0 0 0 25 0 4 0 521410378 288821248 1338 33554432000 4194304 4650419 140737219611168 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 282052

[startup+0.100647 s]
/proc/loadavg: 7.95 8.07 8.08 6/184 23707
/proc/meminfo: memFree=24889296/32951124 swapFree=67111524/67111528
[pid=23707] ppid=23705 vsize=282052 CPUtime=0.38 cores=1,3,5,7
/proc/23707/stat : 23707 (strangenight1-m) R 23705 23707 23437 0 -1 4202496 1439 0 0 0 38 0 0 0 25 0 4 0 521410377 288821248 1352 33554432000 4194304 4650419 140737219611168 18446744073709551615 4370675 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23707/statm: 70513 1352 366 112 0 65478 0
[pid=23707/tid=23708] ppid=23705 vsize=282052 CPUtime=0.09 cores=1,3,5,7
/proc/23707/task/23708/stat : 23708 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 216 0 0 0 9 0 0 0 25 0 4 0 521410377 288821248 1352 33554432000 4194304 4650419 140737219611168 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23707/tid=23709] ppid=23705 vsize=282052 CPUtime=0.09 cores=1,3,5,7
/proc/23707/task/23709/stat : 23709 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 222 0 0 0 9 0 0 0 25 0 4 0 521410377 288821248 1352 33554432000 4194304 4650419 140737219611168 18446744073709551615 4371143 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23707/tid=23710] ppid=23705 vsize=282052 CPUtime=0.09 cores=1,3,5,7
/proc/23707/task/23710/stat : 23710 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 346 0 0 0 9 0 0 0 25 0 4 0 521410378 288821248 1352 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282052

[startup+0.300613 s]
/proc/loadavg: 7.95 8.07 8.08 6/184 23707
/proc/meminfo: memFree=24889296/32951124 swapFree=67111524/67111528
[pid=23707] ppid=23705 vsize=285436 CPUtime=1.17 cores=1,3,5,7
/proc/23707/stat : 23707 (strangenight1-m) R 23705 23707 23437 0 -1 4202496 3661 0 0 0 117 0 0 0 25 0 4 0 521410377 292286464 3149 33554432000 4194304 4650419 140737219611168 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23707/statm: 71359 3149 390 112 0 66324 0
[pid=23707/tid=23708] ppid=23705 vsize=285436 CPUtime=0.29 cores=1,3,5,7
/proc/23707/task/23708/stat : 23708 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 831 0 0 0 29 0 0 0 25 0 4 0 521410377 292286464 3149 33554432000 4194304 4650419 140737219611168 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23707/tid=23709] ppid=23705 vsize=285436 CPUtime=0.29 cores=1,3,5,7
/proc/23707/task/23709/stat : 23709 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 862 0 0 0 29 0 0 0 25 0 4 0 521410377 292286464 3149 33554432000 4194304 4650419 140737219611168 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23707/tid=23710] ppid=23705 vsize=285436 CPUtime=0.29 cores=1,3,5,7
/proc/23707/task/23710/stat : 23710 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 701 0 0 0 29 0 0 0 25 0 4 0 521410378 292286464 3149 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 285436

[startup+0.700543 s]
/proc/loadavg: 7.95 8.07 8.08 6/184 23707
/proc/meminfo: memFree=24889296/32951124 swapFree=67111524/67111528
[pid=23707] ppid=23705 vsize=286936 CPUtime=2.77 cores=1,3,5,7
/proc/23707/stat : 23707 (strangenight1-m) R 23705 23707 23437 0 -1 4202496 6106 0 0 0 277 0 0 0 25 0 4 0 521410377 293822464 3679 33554432000 4194304 4650419 140737219611168 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23707/statm: 71734 3679 390 112 0 66699 0
[pid=23707/tid=23708] ppid=23705 vsize=286936 CPUtime=0.69 cores=1,3,5,7
/proc/23707/task/23708/stat : 23708 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 1432 0 0 0 69 0 0 0 25 0 4 0 521410377 293822464 3679 33554432000 4194304 4650419 140737219611168 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23707/tid=23709] ppid=23705 vsize=286936 CPUtime=0.69 cores=1,3,5,7
/proc/23707/task/23709/stat : 23709 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 1414 0 0 0 69 0 0 0 25 0 4 0 521410377 293822464 3679 33554432000 4194304 4650419 140737219611168 18446744073709551615 4315110 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23707/tid=23710] ppid=23705 vsize=286936 CPUtime=0.69 cores=1,3,5,7
/proc/23707/task/23710/stat : 23710 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 1386 0 0 0 69 0 0 0 25 0 4 0 521410378 293822464 3679 33554432000 4194304 4650419 140737219611168 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286936

[startup+1.50041 s]
/proc/loadavg: 7.95 8.07 8.08 9/188 23711
/proc/meminfo: memFree=24873392/32951124 swapFree=67111524/67111528
[pid=23707] ppid=23705 vsize=288180 CPUtime=5.96 cores=1,3,5,7
/proc/23707/stat : 23707 (strangenight1-m) R 23705 23707 23437 0 -1 4202496 10990 0 0 0 596 0 0 0 25 0 4 0 521410377 295096320 5760 33554432000 4194304 4650419 140737219611168 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23707/statm: 72045 5760 392 112 0 67010 0
[pid=23707/tid=23708] ppid=23705 vsize=288180 CPUtime=1.49 cores=1,3,5,7
/proc/23707/task/23708/stat : 23708 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 2334 0 0 0 149 0 0 0 25 0 4 0 521410377 295096320 5760 33554432000 4194304 4650419 140737219611168 18446744073709551615 4333613 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23707/tid=23709] ppid=23705 vsize=288180 CPUtime=1.48 cores=1,3,5,7
/proc/23707/task/23709/stat : 23709 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 2321 0 0 0 148 0 0 0 25 0 4 0 521410377 295096320 5760 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23707/tid=23710] ppid=23705 vsize=288180 CPUtime=1.49 cores=1,3,5,7
/proc/23707/task/23710/stat : 23710 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 2283 0 0 0 149 0 0 0 25 0 4 0 521410378 295096320 5760 33554432000 4194304 4650419 140737219611168 18446744073709551615 4331882 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 288180

[startup+3.10112 s]
/proc/loadavg: 7.95 8.07 8.08 9/188 23711
/proc/meminfo: memFree=24855412/32951124 swapFree=67111524/67111528
[pid=23707] ppid=23705 vsize=297704 CPUtime=12.36 cores=1,3,5,7
/proc/23707/stat : 23707 (strangenight1-m) R 23705 23707 23437 0 -1 4202496 17920 0 0 0 1235 1 0 0 25 0 4 0 521410377 304848896 11246 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23707/statm: 74426 11246 392 112 0 69391 0
[pid=23707/tid=23708] ppid=23705 vsize=297704 CPUtime=3.09 cores=1,3,5,7
/proc/23707/task/23708/stat : 23708 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 3906 0 0 0 309 0 0 0 25 0 4 0 521410377 304848896 11246 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23707/tid=23709] ppid=23705 vsize=297704 CPUtime=3.07 cores=1,3,5,7
/proc/23707/task/23709/stat : 23709 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 4928 0 0 0 307 0 0 0 25 0 4 0 521410377 304848896 11246 33554432000 4194304 4650419 140737219611168 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23707/tid=23710] ppid=23705 vsize=297704 CPUtime=3.09 cores=1,3,5,7
/proc/23707/task/23710/stat : 23710 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 4921 0 0 0 309 0 0 0 25 0 4 0 521410378 304848896 11246 33554432000 4194304 4650419 140737219611168 18446744073709551615 4370658 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 297704

[startup+6.30055 s]
/proc/loadavg: 7.96 8.07 8.08 9/188 23711
/proc/meminfo: memFree=24839556/32951124 swapFree=67111524/67111528
[pid=23707] ppid=23705 vsize=307860 CPUtime=25.15 cores=1,3,5,7
/proc/23707/stat : 23707 (strangenight1-m) R 23705 23707 23437 0 -1 4202496 26362 0 0 0 2512 3 0 0 25 0 4 0 521410377 315248640 15190 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23707/statm: 76965 15190 392 112 0 71930 0
[pid=23707/tid=23708] ppid=23705 vsize=307860 CPUtime=6.29 cores=1,3,5,7
/proc/23707/task/23708/stat : 23708 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 6665 0 0 0 629 0 0 0 25 0 4 0 521410377 315248640 15190 33554432000 4194304 4650419 140737219611168 18446744073709551615 4441818 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23707/tid=23709] ppid=23705 vsize=307860 CPUtime=6.25 cores=1,3,5,7
/proc/23707/task/23709/stat : 23709 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 6627 0 0 0 625 0 0 0 25 0 4 0 521410377 315248640 15191 33554432000 4194304 4650419 140737219611168 18446744073709551615 4313071 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23707/tid=23710] ppid=23705 vsize=307860 CPUtime=6.28 cores=1,3,5,7
/proc/23707/task/23710/stat : 23710 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 7108 0 0 0 628 0 0 0 25 0 4 0 521410378 315248640 15191 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 307860

[startup+12.7004 s]
/proc/loadavg: 7.96 8.07 8.08 9/188 23711
/proc/meminfo: memFree=24808280/32951124 swapFree=67111524/67111528
[pid=23707] ppid=23705 vsize=298716 CPUtime=50.71 cores=1,3,5,7
/proc/23707/stat : 23707 (strangenight1-m) R 23705 23707 23437 0 -1 4202496 36815 0 0 0 5065 6 0 0 25 0 4 0 521410377 305885184 19710 33554432000 4194304 4650419 140737219611168 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23707/statm: 74679 19710 392 112 0 69644 0
[pid=23707/tid=23708] ppid=23705 vsize=298716 CPUtime=12.68 cores=1,3,5,7
/proc/23707/task/23708/stat : 23708 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 9208 0 0 0 1267 1 0 0 25 0 4 0 521410377 305885184 19710 33554432000 4194304 4650419 140737219611168 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23707/tid=23709] ppid=23705 vsize=298716 CPUtime=12.62 cores=1,3,5,7
/proc/23707/task/23709/stat : 23709 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 8409 0 0 0 1261 1 0 0 25 0 4 0 521410377 305885184 19710 33554432000 4194304 4650419 140737219611168 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23707/tid=23710] ppid=23705 vsize=298716 CPUtime=12.68 cores=1,3,5,7
/proc/23707/task/23710/stat : 23710 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 11020 0 0 0 1267 1 0 0 25 0 4 0 521410378 305885184 19710 33554432000 4194304 4650419 140737219611168 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 298716

[startup+25.5011 s]
/proc/loadavg: 7.97 8.06 8.08 9/188 23712
/proc/meminfo: memFree=24774552/32951124 swapFree=67111524/67111528
[pid=23707] ppid=23705 vsize=313148 CPUtime=101.84 cores=1,3,5,7
/proc/23707/stat : 23707 (strangenight1-m) R 23705 23707 23437 0 -1 4202496 56235 0 0 0 10172 12 0 0 25 0 4 0 521410377 320663552 25573 33554432000 4194304 4650419 140737219611168 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23707/statm: 78287 25573 392 112 0 73252 0
[pid=23707/tid=23708] ppid=23705 vsize=313148 CPUtime=25.49 cores=1,3,5,7
/proc/23707/task/23708/stat : 23708 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 15125 0 0 0 2546 3 0 0 25 0 4 0 521410377 320663552 25573 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23707/tid=23709] ppid=23705 vsize=313148 CPUtime=25.34 cores=1,3,5,7
/proc/23707/task/23709/stat : 23709 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 12408 0 0 0 2532 2 0 0 25 0 4 0 521410377 320663552 25573 33554432000 4194304 4650419 140737219611168 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23707/tid=23710] ppid=23705 vsize=313148 CPUtime=25.49 cores=1,3,5,7
/proc/23707/task/23710/stat : 23710 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 16236 0 0 0 2546 3 0 0 25 0 4 0 521410378 320663552 25573 33554432000 4194304 4650419 140737219611168 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 313148

[startup+51.1006 s]
/proc/loadavg: 8.04 8.07 8.08 9/188 23713
/proc/meminfo: memFree=24738572/32951124 swapFree=67111524/67111528
[pid=23707] ppid=23705 vsize=305536 CPUtime=204.1 cores=1,3,5,7
/proc/23707/stat : 23707 (strangenight1-m) R 23705 23707 23437 0 -1 4202496 85812 0 0 0 20388 22 0 0 25 0 4 0 521410377 312868864 29992 33554432000 4194304 4650419 140737219611168 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23707/statm: 76384 29992 392 112 0 71349 0
[pid=23707/tid=23708] ppid=23705 vsize=305536 CPUtime=51.08 cores=1,3,5,7
/proc/23707/task/23708/stat : 23708 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 23456 0 0 0 5103 5 0 0 25 0 4 0 521410377 312868864 29992 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23707/tid=23709] ppid=23705 vsize=305536 CPUtime=50.81 cores=1,3,5,7
/proc/23707/task/23709/stat : 23709 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 18809 0 0 0 5076 5 0 0 25 0 4 0 521410377 312868864 29992 33554432000 4194304 4650419 140737219611168 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23707/tid=23710] ppid=23705 vsize=305536 CPUtime=51.09 cores=1,3,5,7
/proc/23707/task/23710/stat : 23710 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 24345 0 0 0 5103 6 0 0 25 0 4 0 521410378 312868864 29992 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 305536

[startup+102.307 s]
/proc/loadavg: 8.08 8.08 8.08 9/188 23714
/proc/meminfo: memFree=24736704/32951124 swapFree=67111524/67111528
[pid=23707] ppid=23705 vsize=306220 CPUtime=408.64 cores=1,3,5,7
/proc/23707/stat : 23707 (strangenight1-m) R 23705 23707 23437 0 -1 4202496 128175 0 0 0 40825 39 0 0 25 0 4 0 521410377 313569280 37187 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365242 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23707/statm: 76555 37187 392 112 0 71520 0
[pid=23707/tid=23708] ppid=23705 vsize=306220 CPUtime=102.3 cores=1,3,5,7
/proc/23707/task/23708/stat : 23708 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 34369 0 0 0 10221 9 0 0 25 0 4 0 521410377 313569280 37187 33554432000 4194304 4650419 140737219611168 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23707/tid=23709] ppid=23705 vsize=306220 CPUtime=101.73 cores=1,3,5,7
/proc/23707/task/23709/stat : 23709 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 27163 0 0 0 10164 9 0 0 25 0 4 0 521410377 313569280 37187 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23707/tid=23710] ppid=23705 vsize=306220 CPUtime=102.29 cores=1,3,5,7
/proc/23707/task/23710/stat : 23710 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 38897 0 0 0 10218 11 0 0 25 0 4 0 521410378 313569280 37187 33554432000 4194304 4650419 140737219611168 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 306220

[startup+162.301 s]

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

[pid=23707] ppid=23705 vsize=527960 CPUtime=2805.38 cores=1,3,5,7
/proc/23707/stat : 23707 (strangenight1-m) R 23705 23707 23437 0 -1 4202496 400538 0 0 0 280395 143 0 0 25 0 4 0 521410377 540631040 80851 33554432000 4194304 4650419 140737219611168 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23707/statm: 131990 80851 392 112 0 126955 0
[pid=23707/tid=23708] ppid=23705 vsize=527960 CPUtime=702.31 cores=1,3,5,7
/proc/23707/task/23708/stat : 23708 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 108471 0 0 0 70194 37 0 0 25 0 4 0 521410377 540631040 80851 33554432000 4194304 4650419 140737219611168 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23707/tid=23709] ppid=23705 vsize=527960 CPUtime=698.45 cores=1,3,5,7
/proc/23707/task/23709/stat : 23709 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 67941 0 0 0 69817 28 0 0 25 0 4 0 521410377 540631040 80851 33554432000 4194304 4650419 140737219611168 18446744073709551615 4368151 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23707/tid=23710] ppid=23705 vsize=527960 CPUtime=702.31 cores=1,3,5,7
/proc/23707/task/23710/stat : 23710 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 115977 0 0 0 70193 38 0 0 25 0 4 0 521410378 540631040 80851 33554432000 4194304 4650419 140737219611168 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.38
Current children cumulated vsize (KiB) 527960

[startup+762.307 s]
/proc/loadavg: 8.14 8.16 8.10 9/188 23762
/proc/meminfo: memFree=24722756/32951124 swapFree=67111524/67111528
[pid=23707] ppid=23705 vsize=528056 CPUtime=3045.08 cores=1,3,5,7
/proc/23707/stat : 23707 (strangenight1-m) R 23705 23707 23437 0 -1 4202496 430738 0 0 0 304357 151 0 0 25 0 4 0 521410377 540729344 80842 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23707/statm: 132014 80842 392 112 0 126979 0
[pid=23707/tid=23708] ppid=23705 vsize=528056 CPUtime=762.31 cores=1,3,5,7
/proc/23707/task/23708/stat : 23708 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 120935 0 0 0 76193 38 0 0 25 0 4 0 521410377 540729344 80842 33554432000 4194304 4650419 140737219611168 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23707/tid=23709] ppid=23705 vsize=528056 CPUtime=758.12 cores=1,3,5,7
/proc/23707/task/23709/stat : 23709 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 68251 0 0 0 75784 28 0 0 25 0 4 0 521410377 540729344 80842 33554432000 4194304 4650419 140737219611168 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23707/tid=23710] ppid=23705 vsize=528056 CPUtime=762.31 cores=1,3,5,7
/proc/23707/task/23710/stat : 23710 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 128050 0 0 0 76191 40 0 0 25 0 4 0 521410378 540729344 80842 33554432000 4194304 4650419 140737219611168 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 528056

[startup+822.301 s]
/proc/loadavg: 8.34 8.21 8.12 9/188 23764
/proc/meminfo: memFree=24729180/32951124 swapFree=67111524/67111528
[pid=23707] ppid=23705 vsize=493004 CPUtime=3284.72 cores=1,3,5,7
/proc/23707/stat : 23707 (strangenight1-m) R 23705 23707 23437 0 -1 4202496 453650 0 0 0 328313 159 0 0 25 0 4 0 521410377 504836096 78141 33554432000 4194304 4650419 140737219611168 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23707/statm: 123251 78141 392 112 0 118216 0
[pid=23707/tid=23708] ppid=23705 vsize=493004 CPUtime=822.31 cores=1,3,5,7
/proc/23707/task/23708/stat : 23708 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 129527 0 0 0 82191 40 0 0 25 0 4 0 521410377 504836096 78141 33554432000 4194304 4650419 140737219611168 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23707/tid=23709] ppid=23705 vsize=493004 CPUtime=817.79 cores=1,3,5,7
/proc/23707/task/23709/stat : 23709 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 68667 0 0 0 81751 28 0 0 25 0 4 0 521410377 504836096 78141 33554432000 4194304 4650419 140737219611168 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23707/tid=23710] ppid=23705 vsize=493004 CPUtime=822.3 cores=1,3,5,7
/proc/23707/task/23710/stat : 23710 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 136040 0 0 0 82188 42 0 0 25 0 4 0 521410378 504836096 78141 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.72
Current children cumulated vsize (KiB) 493004

[startup+882.301 s]
/proc/loadavg: 8.16 8.18 8.11 9/188 23766
/proc/meminfo: memFree=24721712/32951124 swapFree=67111524/67111528
[pid=23707] ppid=23705 vsize=546580 CPUtime=3524.4 cores=1,3,5,7
/proc/23707/stat : 23707 (strangenight1-m) R 23705 23707 23437 0 -1 4202496 474751 0 0 0 352269 171 0 0 25 0 4 0 521410377 559697920 79231 33554432000 4194304 4650419 140737219611168 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23707/statm: 136645 79231 392 112 0 131610 0
[pid=23707/tid=23708] ppid=23705 vsize=546580 CPUtime=882.3 cores=1,3,5,7
/proc/23707/task/23708/stat : 23708 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 134820 0 0 0 88188 42 0 0 25 0 4 0 521410377 559697920 79231 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23707/tid=23709] ppid=23705 vsize=546580 CPUtime=877.47 cores=1,3,5,7
/proc/23707/task/23709/stat : 23709 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 71182 0 0 0 87717 30 0 0 25 0 4 0 521410377 559697920 79231 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23707/tid=23710] ppid=23705 vsize=546580 CPUtime=882.3 cores=1,3,5,7
/proc/23707/task/23710/stat : 23710 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 141350 0 0 0 88184 46 0 0 25 0 4 0 521410378 559697920 79231 33554432000 4194304 4650419 140737219611168 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.4
Current children cumulated vsize (KiB) 546580

[startup+942.3 s]
/proc/loadavg: 8.22 8.19 8.12 9/188 23767
/proc/meminfo: memFree=24659688/32951124 swapFree=67111524/67111528
[pid=23707] ppid=23705 vsize=546712 CPUtime=3764.08 cores=1,3,5,7
/proc/23707/stat : 23707 (strangenight1-m) R 23705 23707 23437 0 -1 4202496 499626 0 0 0 376227 181 0 0 25 0 4 0 521410377 559833088 88700 33554432000 4194304 4650419 140737219611168 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23707/statm: 136678 88700 392 112 0 131643 0
[pid=23707/tid=23708] ppid=23705 vsize=546712 CPUtime=942.3 cores=1,3,5,7
/proc/23707/task/23708/stat : 23708 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 139937 0 0 0 94184 46 0 0 25 0 4 0 521410377 559833088 88700 33554432000 4194304 4650419 140737219611168 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23707/tid=23709] ppid=23705 vsize=546712 CPUtime=937.14 cores=1,3,5,7
/proc/23707/task/23709/stat : 23709 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 73901 0 0 0 93683 31 0 0 25 0 4 0 521410377 559833088 88700 33554432000 4194304 4650419 140737219611168 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23707/tid=23710] ppid=23705 vsize=546712 CPUtime=942.31 cores=1,3,5,7
/proc/23707/task/23710/stat : 23710 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 146299 0 0 0 94182 49 0 0 25 0 4 0 521410378 559833088 88700 33554432000 4194304 4650419 140737219611168 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.08
Current children cumulated vsize (KiB) 546712

[startup+1002.3 s]
/proc/loadavg: 8.13 8.17 8.11 10/188 23769
/proc/meminfo: memFree=24648880/32951124 swapFree=67111524/67111528
[pid=23707] ppid=23705 vsize=534204 CPUtime=4003.75 cores=1,3,5,7
/proc/23707/stat : 23707 (strangenight1-m) R 23705 23707 23437 0 -1 4202496 520487 0 0 0 400187 188 0 0 25 0 4 0 521410377 547024896 82155 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23707/statm: 133551 82155 392 112 0 128516 0
[pid=23707/tid=23708] ppid=23705 vsize=534204 CPUtime=1002.31 cores=1,3,5,7
/proc/23707/task/23708/stat : 23708 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 142763 0 0 0 100184 47 0 0 25 0 4 0 521410377 547024896 82155 33554432000 4194304 4650419 140737219611168 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23707/tid=23709] ppid=23705 vsize=534204 CPUtime=996.81 cores=1,3,5,7
/proc/23707/task/23709/stat : 23709 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 78777 0 0 0 99647 34 0 0 25 0 4 0 521410377 547024896 82155 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23707/tid=23710] ppid=23705 vsize=534204 CPUtime=1002.31 cores=1,3,5,7
/proc/23707/task/23710/stat : 23710 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 149479 0 0 0 100181 50 0 0 25 0 4 0 521410378 547024896 82155 33554432000 4194304 4650419 140737219611168 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.75
Current children cumulated vsize (KiB) 534204

[startup+1062.3 s]
/proc/loadavg: 8.20 8.18 8.12 9/188 23770
/proc/meminfo: memFree=24642288/32951124 swapFree=67111524/67111528
[pid=23707] ppid=23705 vsize=534276 CPUtime=4243.44 cores=1,3,5,7
/proc/23707/stat : 23707 (strangenight1-m) R 23705 23707 23437 0 -1 4202496 536034 0 0 0 424149 195 0 0 25 0 4 0 521410377 547098624 86010 33554432000 4194304 4650419 140737219611168 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23707/statm: 133569 86010 392 112 0 128534 0
[pid=23707/tid=23708] ppid=23705 vsize=534276 CPUtime=1062.31 cores=1,3,5,7
/proc/23707/task/23708/stat : 23708 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 147580 0 0 0 106183 48 0 0 25 0 4 0 521410377 547098624 86010 33554432000 4194304 4650419 140737219611168 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23707/tid=23709] ppid=23705 vsize=534276 CPUtime=1056.49 cores=1,3,5,7
/proc/23707/task/23709/stat : 23709 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 82684 0 0 0 105612 37 0 0 25 0 4 0 521410377 547098624 86010 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23707/tid=23710] ppid=23705 vsize=534276 CPUtime=1062.31 cores=1,3,5,7
/proc/23707/task/23710/stat : 23710 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 152037 0 0 0 106180 51 0 0 25 0 4 0 521410378 547098624 86010 33554432000 4194304 4650419 140737219611168 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.44
Current children cumulated vsize (KiB) 534276

[startup+1122.3 s]
/proc/loadavg: 8.15 8.17 8.11 9/188 23772
/proc/meminfo: memFree=24637180/32951124 swapFree=67111524/67111528
[pid=23707] ppid=23705 vsize=534316 CPUtime=4483.11 cores=1,3,5,7
/proc/23707/stat : 23707 (strangenight1-m) R 23705 23707 23437 0 -1 4202496 555919 0 0 0 448109 202 0 0 25 0 4 0 521410377 547139584 83579 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365242 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23707/statm: 133579 83579 392 112 0 128544 0
[pid=23707/tid=23708] ppid=23705 vsize=534316 CPUtime=1122.31 cores=1,3,5,7
/proc/23707/task/23708/stat : 23708 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 157085 0 0 0 112182 49 0 0 25 0 4 0 521410377 547139584 83579 33554432000 4194304 4650419 140737219611168 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23707/tid=23709] ppid=23705 vsize=534316 CPUtime=1116.15 cores=1,3,5,7
/proc/23707/task/23709/stat : 23709 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 85185 0 0 0 111577 38 0 0 25 0 4 0 521410377 547139584 83579 33554432000 4194304 4650419 140737219611168 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23707/tid=23710] ppid=23705 vsize=534316 CPUtime=1122.32 cores=1,3,5,7
/proc/23707/task/23710/stat : 23710 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 156949 0 0 0 112180 52 0 0 25 0 4 0 521410378 547139584 83579 33554432000 4194304 4650419 140737219611168 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.11
Current children cumulated vsize (KiB) 534316

[startup+1182.3 s]
/proc/loadavg: 8.20 8.18 8.12 9/188 23774
/proc/meminfo: memFree=24626244/32951124 swapFree=67111524/67111528
[pid=23707] ppid=23705 vsize=534364 CPUtime=4722.79 cores=1,3,5,7
/proc/23707/stat : 23707 (strangenight1-m) R 23705 23707 23437 0 -1 4202496 573275 0 0 0 472070 209 0 0 25 0 4 0 521410377 547188736 84545 33554432000 4194304 4650419 140737219611168 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23707/statm: 133591 84545 392 112 0 128556 0
[pid=23707/tid=23708] ppid=23705 vsize=534364 CPUtime=1182.32 cores=1,3,5,7
/proc/23707/task/23708/stat : 23708 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 164986 0 0 0 118181 51 0 0 25 0 4 0 521410377 547188736 84545 33554432000 4194304 4650419 140737219611168 18446744073709551615 4229514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23707/tid=23709] ppid=23705 vsize=534364 CPUtime=1175.83 cores=1,3,5,7
/proc/23707/task/23709/stat : 23709 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 87994 0 0 0 117541 42 0 0 25 0 4 0 521410377 547188736 84545 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23707/tid=23710] ppid=23705 vsize=534364 CPUtime=1182.32 cores=1,3,5,7
/proc/23707/task/23710/stat : 23710 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 160637 0 0 0 118180 52 0 0 25 0 4 0 521410378 547188736 84545 33554432000 4194304 4650419 140737219611168 18446744073709551615 4476411 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.79
Current children cumulated vsize (KiB) 534364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.28 8.20 8.13 9/188 23774
/proc/meminfo: memFree=24596728/32951124 swapFree=67111524/67111528
[pid=23707] ppid=23705 vsize=534364 CPUtime=4800.29 cores=1,3,5,7
/proc/23707/stat : 23707 (strangenight1-m) R 23705 23707 23437 0 -1 4202496 580268 0 0 0 479817 212 0 0 25 0 4 0 521410377 547188736 90898 33554432000 4194304 4650419 140737219611168 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23707/statm: 133591 90898 392 112 0 128556 0
[pid=23707/tid=23708] ppid=23705 vsize=534364 CPUtime=1201.72 cores=1,3,5,7
/proc/23707/task/23708/stat : 23708 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 166918 0 0 0 120120 52 0 0 25 0 4 0 521410377 547188736 90898 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23707/tid=23709] ppid=23705 vsize=534364 CPUtime=1195.13 cores=1,3,5,7
/proc/23707/task/23709/stat : 23709 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 89145 0 0 0 119470 43 0 0 25 0 4 0 521410377 547188736 90898 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23707/tid=23710] ppid=23705 vsize=534364 CPUtime=1201.72 cores=1,3,5,7
/proc/23707/task/23710/stat : 23710 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 162328 0 0 0 120120 52 0 0 25 0 4 0 521410378 547188736 90898 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 534364

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.28 8.20 8.13 9/188 23774
/proc/meminfo: memFree=24596728/32951124 swapFree=67111524/67111528
[pid=23707] ppid=23705 vsize=534364 CPUtime=4800.29 cores=1,3,5,7
/proc/23707/stat : 23707 (strangenight1-m) R 23705 23707 23437 0 -1 4202496 580268 0 0 0 479817 212 0 0 25 0 4 0 521410377 547188736 90898 33554432000 4194304 4650419 140737219611168 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23707/statm: 133591 90898 392 112 0 128556 0
[pid=23707/tid=23708] ppid=23705 vsize=534364 CPUtime=1201.72 cores=1,3,5,7
/proc/23707/task/23708/stat : 23708 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 166918 0 0 0 120120 52 0 0 25 0 4 0 521410377 547188736 90898 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23707/tid=23709] ppid=23705 vsize=534364 CPUtime=1195.13 cores=1,3,5,7
/proc/23707/task/23709/stat : 23709 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 89145 0 0 0 119470 43 0 0 25 0 4 0 521410377 547188736 90898 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23707/tid=23710] ppid=23705 vsize=534364 CPUtime=1201.72 cores=1,3,5,7
/proc/23707/task/23710/stat : 23710 (strangenight1-m) R 23705 23707 23437 0 -1 4202560 162328 0 0 0 120120 52 0 0 25 0 4 0 521410378 547188736 90898 33554432000 4194304 4650419 140737219611168 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 534364

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.34
CPU user time (s): 4798.2
CPU system time (s): 2.14667
CPU usage (%): 399.453
Max. virtual memory (cumulated for all children) (KiB): 559788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.2
system time used= 2.14667
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 580270
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= 286
involuntary context switches= 34125

runsolver used 1.66875 second user time and 4.91225 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 19:28:42
IDJOB=3175200
IDBENCH=82818
IDSOLVER=1588
FILE ID=node132/3175200-1304098122
RUNJOBID= node132-1304095714-23456
PBS_JOBID= 13170598
Free space on /tmp= 71868 MiB

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

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

MD5SUM BENCH= 84865a406d2a10d67b7d2a7ac3e327ce
RANDOM SEED=1756579077

node132.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24889452 kB
Buffers:        774272 kB
Cached:        6240416 kB
SwapCached:          4 kB
Active:        2576616 kB
Inactive:      4986332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24889452 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            6240 kB
Writeback:           0 kB
AnonPages:      548424 kB
Mapped:          15552 kB
Slab:           435548 kB
PageTables:       5956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   843704 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71860 MiB
End job on node132 at 2011-04-29 19:48:46