Trace number 3175413

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf
MD5SUMb3fdf3b46fb0b1e907e496e0b191070b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.289955
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-3175413-1304123055.cnf'
0.00/0.00	c -- header says num vars:             70
0.00/0.00	c -- header says num clauses:        6230
0.00/0.00	c -- clauses added:            0 learnts,         6230 normals,            0 xors
0.00/0.00	c -- vars added         70
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0        70      6230         0         0     43610         0   no data   no data  --
0.00/0.14	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.54
0.00/0.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.56/0.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.56/0.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.56/0.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
0.56/0.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.30/0.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
3.30/0.95	c Finding binary XORs  T:     0.00 s  found:       0
3.30/0.95	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
3.30/0.95	c calculated reachability. Time: 0.00
3.30/0.95	c Calc default polars -  time:   0.00 s pos:      34 undec:       2 neg:      34
3.30/0.95	c =========================================================================================
3.30/0.95	c types(t): F = full restart, N = normal restart
3.30/0.95	c types(t): S = simplification begin/end, E = solution found
3.30/0.95	c restart types(rt): st = static, dy = dynamic
3.30/0.95	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.30/0.95	c  B st     0         0        70      6230         0         0     43610         0   no data   no data  --
3.30/0.95	c  N dy     7      4614        70      6230         0      4163     43610    101092     20.49     21.59  --
3.30/0.95	c  N dy    23      8760        70      6230         0      5671     43610    129918     20.83     22.04  --
3.30/0.95	c  N dy    27     13532        70      6230         0      6109     43610    128955     20.45     21.64  --
3.30/0.95	c  N dy    54     17652        70      6230         0      9851     43610    220675     20.81     21.96  --
4.37/1.12	c  F st    63     25000        70      6230         0     11402     43610    243988     20.57     19.31  --
4.37/1.12	c  N st    63     25000        70      6230         0     11402     43610    243988     20.57     19.31  --
5.18/1.35	c  N dy    69     30000        70      6230         0      9777     43610    196490     20.57   no data  --
5.18/1.35	c  S st    69     30000        70      6230         0      9777     43610    196490     20.57   no data  --
5.18/1.38	c  S st    69     30500        70      6230         0     10232     43610    207751     20.57   no data  --
5.18/1.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.18/1.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.18/1.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.18/1.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.18/1.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.18/1.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
5.18/1.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.57/2.44	c lits-rem:      1552  cl-subs:      863  v-elim:      0  v-fix:    0  time:  4.16 s
10.77/2.75	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.23
10.77/2.75	c calculated reachability. Time: 0.00
10.77/2.75	c  N dy    69     30500        70      6230         0      9369     43610    184396     20.57   no data  --
11.58/2.96	c  N dy    77     34558        70      6230         0     13059     43610    272648     20.52     21.94  --
12.77/3.20	c  N dy    90     39461        70      6230         0     10404     43610    196516     20.50     21.67  --
13.57/3.43	c  N dy    92     43937        70      6230         0     14417     43610    291556     20.44     21.73  --
13.97/3.54	c  S st    95     45751        70      6230         0     16035     43610    329557     20.42     20.03  --
13.97/3.59	c  S st    95     46255        70      6230         0      8439     43610    137761     20.42   no data  --
13.97/3.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.97/3.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.97/3.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.97/3.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.97/3.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.97/3.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
13.97/3.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.16/4.37	c lits-rem:       149  cl-subs:       53  v-elim:      0  v-fix:    0  time:  3.09 s
17.16/4.37	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
17.16/4.37	c vivif2 --  cl tried     8386 cl shrink        0 lits rem          0 time: 0.00
18.35/4.62	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.00
18.35/4.62	c calculated reachability. Time: 0.00
18.35/4.62	c  N dy    95     46255        70      6230         0      8386     43610    136053     20.42   no data  --
19.96/5.08	c  N dy    96     54700        70      6230         0     15958     43610    310513     20.12     21.19  --
21.15/5.35	c  N dy   125     58748        70      6230         0     10685     43610    181829     20.25     22.97  --
22.35/5.60	c  N dy   143     62996        70      6230         0     14541     43610    274699     20.30     21.49  --
23.55/5.94	c  N dy   170     68175        70      6230         0     19256     43610    389449     20.38     21.46  --
23.95/6.03	c  S st   173     69382        70      6230         0     10399     43610    160721     20.38     19.52  --
23.95/6.06	c  S st   173     69882        70      6230         0     10864     43610    172173     20.38   no data  --
23.95/6.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.95/6.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.95/6.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
23.95/6.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.95/6.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.95/6.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
23.95/6.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.54/6.95	c lits-rem:       283  cl-subs:      159  v-elim:      0  v-fix:    0  time:  3.50 s
27.54/6.95	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
27.54/6.95	c vivif2 --  cl tried    10705 cl shrink        0 lits rem          0 time: 0.01
28.74/7.26	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.22
28.74/7.26	c calculated reachability. Time: 0.00
28.74/7.26	c  N dy   173     69882        70      6230         0     10705     43610    167848     20.38   no data  --
31.94/8.07	c  N dy   199     83045        70      6230         0     11751     43610    182655     20.20     21.52  --
32.74/8.29	c  F st   200     87501        70      6230         0     15791     43610    278161     20.14     17.42  --
33.14/8.37	c  N st   203     88690        70      6230         0     16869     43610    305088     20.14   no data  --
35.13/8.84	c  N dy   220     94440        70      6230         0     22069     43610    432724     20.18     21.66  --
37.14/9.39	c  N dy   248    102235        70      6230         0     17375     43610    303163     20.21     21.29  --
37.95/9.59	c  S st   260    104823        70      6230         0     19726     43610    360265     20.24   no data  --
38.36/9.65	c  S st   260    105331        70      6230         0     20202     43610    372017     20.24   no data  --
38.36/9.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
38.36/9.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.36/9.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
38.36/9.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.36/9.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.36/9.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
38.36/9.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.72/11.28	c lits-rem:      1810  cl-subs:     1829  v-elim:      0  v-fix:    0  time:  6.44 s
44.72/11.28	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
44.72/11.28	c vivif2 --  cl tried    18373 cl shrink        0 lits rem          0 time: 0.02
46.32/11.66	c asymm  cl-useful: 0/4938/6230 lits-rem:0 time: 1.49
46.32/11.66	c calculated reachability. Time: 0.00
46.32/11.66	c  N dy   260    105331        70      6230         0     18373     43610    325544     20.24   no data  --
49.11/12.30	c  N dy   280    114246        70      6230         0     13797     43610    205732     20.20     21.39  --
51.13/12.83	c  N dy   331    121601        70      6230         0     20479     43610    368464     20.29     23.11  --
53.91/13.52	c  N dy   359    129400        70      6230         0     14008     43610    198857     20.30     22.31  --
56.31/14.15	c  N dy   409    138026        70      6230         0     21891     43610    391579     20.39     21.58  --
59.50/14.95	c  N dy   449    147065        70      6230         0     15559     43610    222552     20.43     21.56  --
62.70/15.70	c  N dy   507    156542        70      6230         0     24142     43610    432022     20.51     23.28  --
63.10/15.83	c  S st   514    157997        70      6230         0     25482     43610    464644     20.52     20.62  --
63.50/15.90	c  S st   514    158501        70      6230         0     25953     43610    476407     20.52   no data  --
63.50/15.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
63.50/15.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
63.50/15.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
63.50/15.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
63.50/15.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
63.50/15.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
63.50/15.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
72.28/18.18	c lits-rem:      2411  cl-subs:     2127  v-elim:      0  v-fix:    0  time:  9.01 s
72.28/18.18	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
72.28/18.18	c vivif2 --  cl tried    23826 cl shrink        0 lits rem          0 time: 0.02
73.10/18.35	c asymm  cl-useful: 0/1292/6230 lits-rem:0 time: 0.67
73.10/18.35	c calculated reachability. Time: 0.00
73.10/18.35	c  N dy   514    158501        70      6230         0     23826     43610    418829     20.52   no data  --
76.68/19.29	c  N dy   542    168931        70      6230         0     17966     43610    265233     20.51     21.68  --
80.67/20.23	c  N dy   574    179761        70      6230         0     27798     43610    501981     20.51     21.90  --
84.67/21.25	c  N dy   593    191426        70      6230         0     22010     43610    350128     20.49     21.68  --
89.86/22.60	c  N dy   658    203671        70      6230         0     33132     43610    620688     20.54     23.07  --
94.65/23.77	c  N dy   695    216678        70      6230         0     27773     43610    479676     20.54     21.67  --
100.64/25.20	c  N dy   746    230799        70      6230         0     22419     43610    337277     20.57     21.76  --
103.04/25.83	c  S st   773    237751        70      6230         0     28709     43610    490199     20.59   no data  --
103.44/25.90	c  S st   773    238255        70      6230         0     29181     43610    501992     20.59   no data  --
103.44/25.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
103.44/25.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
103.44/25.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
103.44/25.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
103.44/25.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
103.44/25.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
103.44/25.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
113.82/28.58	c lits-rem:      2202  cl-subs:     2257  v-elim:      0  v-fix:    0  time: 10.57 s
113.82/28.58	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
113.82/28.58	c vivif2 --  cl tried    26924 cl shrink        0 lits rem          0 time: 0.02
115.82/29.00	c asymm  cl-useful: 0/3625/6230 lits-rem:0 time: 1.66
115.82/29.00	c calculated reachability. Time: 0.00
115.82/29.00	c  N dy   773    238255        70      6230         0     26924     43610    443393     20.59   no data  --
122.61/30.72	c  N dy   828    255546        70      6230         0     23688     43610    354213     20.60     21.85  --
134.61/33.71	c  N dy   846    287842        70      6230         0     32945     43610    554972     20.44     21.78  --
142.58/35.72	c  F st   906    306253        70      6230         0     28874     43610    453588     20.45   no data  --
142.58/35.72	c  N st   906    306253        70      6230         0     28874     43610    453588     20.45   no data  --
152.97/38.32	c  N dy   985    328862        70      6230         0     27657     43610    409655     20.47     21.55  --
162.56/40.78	c  N dy  1057    348882        70      6230         0     23170     43610    293341     20.49     22.97  --
165.77/41.58	c  S st  1084    357383        70      6230         0     30864     43610    476190     20.48     20.09  --
166.15/41.67	c  S st  1084    357884        70      6230         0     31334     43610    487888     20.48   no data  --
166.15/41.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
166.15/41.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
166.15/41.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
166.15/41.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
166.15/41.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
166.15/41.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
166.15/41.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
176.14/44.16	c lits-rem:      1662  cl-subs:     2029  v-elim:      0  v-fix:    0  time:  9.87 s
176.14/44.16	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
176.14/44.17	c vivif2 --  cl tried    29305 cl shrink        0 lits rem          0 time: 0.02
178.14/44.63	c asymm  cl-useful: 0/2605/6230 lits-rem:0 time: 1.84
178.14/44.63	c calculated reachability. Time: 0.00
178.14/44.63	c  N dy  1084    357884        70      6230         0     29305     43610    437967     20.48   no data  --
191.32/48.00	c  N dy  1162    378449        70      6230         0     24508     43610    311095     20.51     21.63  --
205.69/51.51	c  N dy  1229    406861        70      6230         0     25732     43610    326273     20.47     21.67  --
215.29/53.95	c  N dy  1315    426923        70      6230         0     43907     43610    763321     20.49     21.78  --
224.48/56.25	c  N dy  1324    447720        70      6230         0     37306     43610    585701     20.43     21.51  --
236.46/59.21	c  N dy  1412    468645        70      6230         0     30059     43610    406263     20.46     21.57  --
258.43/64.78	c  N dy  1474    515803        70      6230         0     45190     43610    732899     20.31     21.48  --
270.83/67.82	c  N dy  1584    535859        70      6230         0     35574     43610    518703     20.35     21.98  --
271.23/67.95	c  S st  1594    536826        70      6230         0     36449     43610    540492     20.35   no data  --
271.61/68.05	c  S st  1594    537328        70      6230         0     36906     43610    551824     20.35   no data  --
271.61/68.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
271.61/68.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
271.61/68.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
271.61/68.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
271.61/68.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
271.61/68.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
271.61/68.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
281.59/70.51	c lits-rem:       920  cl-subs:     1712  v-elim:      0  v-fix:    0  time:  9.71 s
281.59/70.51	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
281.59/70.52	c vivif2 --  cl tried    35194 cl shrink        0 lits rem          0 time: 0.02
282.39/70.71	c asymm  cl-useful: 0/1551/6230 lits-rem:0 time: 0.78
282.39/70.71	c calculated reachability. Time: 0.00
282.39/70.71	c  N dy  1594    537328        70      6230         0     35194     43610    505937     20.35   no data  --
294.78/73.81	c  N dy  1695    557346        70      6230         0     53342     43610    947127     20.38     22.28  --
307.15/76.97	c  N dy  1786    579203        70      6230         0     44285     43610    709891     20.39     21.55  --
319.57/80.03	c  N dy  1839    599500        70      6230         0     32854     43610    423287     20.38     21.50  --
334.72/83.80	c  N dy  1954    624444        70      6230         0     55432     43610    971472     20.41     21.54  --
348.31/87.20	c  N dy  2025    646689        70      6230         0     44760     43610    686523     20.40     21.54  --
361.88/90.67	c  N dy  2071    666733        70      6230         0     62810     43610   1117763     20.38     22.47  --
376.28/94.26	c  N dy  2166    688940        70      6230         0     51373     43610    842568     20.40     21.48  --
392.24/98.29	c  N dy  2274    709027        70      6230         0     37041     43610    481913     20.43     23.25  --
405.43/101.56	c  N dy  2331    729047        70      6230         0     55087     43610    913398     20.43     21.71  --
420.63/105.39	c  N dy  2390    750936        70      6230         0     41413     43610    574816     20.43     21.52  --
435.78/109.10	c  N dy  2482    772152        70      6230         0     60583     43610   1038639     20.44     21.71  --
451.76/113.13	c  N dy  2561    794036        70      6230         0     45986     43610    662500     20.44     21.54  --
459.77/115.18	c  S st  2605    805993        70      6230         0     56743     43610    921327     20.44     20.08  --
460.55/115.34	c  S st  2605    806495        70      6230         0     57209     43610    932727     20.44   no data  --
460.55/115.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
460.55/115.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
460.55/115.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.09
460.55/115.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
460.55/115.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
460.55/115.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
460.55/115.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
494.11/123.74	c lits-rem:      2467  cl-subs:     5743  v-elim:      0  v-fix:    0  time: 33.34 s
494.11/123.74	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
494.11/123.75	c vivif2 --  cl tried    51466 cl shrink        0 lits rem          0 time: 0.04
495.32/124.00	c asymm  cl-useful: 0/948/6230 lits-rem:0 time: 1.01
495.32/124.01	c calculated reachability. Time: 0.00
495.32/124.01	c  N dy  2605    806495        70      6230         0     51466     43610    796412     20.44   no data  --
512.90/128.42	c  N dy  2677    826562        70      6230         0     69639     43610   1233343     20.45     21.57  --
526.46/131.88	c  N dy  2771    847911        70      6230         0     54028     43610    855322     20.46     21.56  --
545.64/136.65	c  N dy  2885    867919        70      6230         0     36127     43610    407040     20.48     21.63  --
558.02/139.77	c  N dy  2971    887945        70      6230         0     54255     43610    846700     20.50     22.61  --
574.80/143.96	c  N dy  3027    908151        70      6230         0     72461     43610   1285068     20.49     21.68  --
587.98/147.24	c  N dy  3051    929366        70      6230         0     54505     43610    827163     20.47     21.57  --
606.35/151.84	c  N dy  3173    949454        70      6230         0     72701     43610   1271707     20.49     22.91  --
624.33/156.36	c  N dy  3205    977165        70      6230         0     59571     43610    931638     20.46     21.65  --
645.50/161.68	c  N dy  3291   1001309        70      6230         0     42729     43610    529124     20.47     21.56  --
660.68/165.46	c  N dy  3383   1022430        70      6230         0     61799     43610    994046     20.48     21.76  --
679.05/170.06	c  N dy  3396   1046180        70      6230         0     43498     43610    532972     20.44     21.58  --
698.62/174.91	c  F st  3523   1071875        70      6230         0     66716     43610   1094612     20.45     18.37  --
698.62/174.91	c  N st  3523   1071875        70      6230         0     66716     43610   1094612     20.45     18.37  --
716.60/179.44	c  N dy  3579   1092113        70      6230         0     44452     43610    545002     20.46     21.78  --
732.19/183.37	c  N dy  3677   1112211        70      6230         0     62625     43610    985497     20.47     22.75  --
754.57/188.94	c  N dy  3809   1132360        70      6230         0     80922     43610   1437360     20.49     21.67  --
770.93/193.04	c  N dy  3887   1152857        70      6230         0     57852     43610    855480     20.50     21.59  --
792.10/198.39	c  N dy  3949   1174408        70      6230         0     77262     43610   1323406     20.50     21.66  --
816.09/204.37	c  N dy  4021   1198585        70      6230         0     56577     43610    798233     20.49     21.65  --
828.05/207.38	c  S st  4087   1209745        70      6230         0     66669     43610   1045779     20.50     18.30  --
829.27/207.66	c  S st  4087   1210247        70      6230         0     67141     43610   1057505     20.50   no data  --
829.27/207.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
829.27/207.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
829.64/207.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.18
829.64/207.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
829.64/207.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
829.64/207.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
829.64/207.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
911.54/228.25	c lits-rem:      3817  cl-subs:     6060  v-elim:      0  v-fix:    0  time: 81.87 s
911.54/228.25	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
911.54/228.26	c vivif2 --  cl tried    61081 cl shrink        0 lits rem          0 time: 0.05
913.14/228.63	c asymm  cl-useful: 0/758/6230 lits-rem:0 time: 1.47
913.14/228.63	c calculated reachability. Time: 0.00
913.14/228.63	c  N dy  4087   1210247        70      6230         0     61081     43610    912757     20.50   no data  --
941.50/235.78	c  N dy  4169   1236343        70      6230         0     84608     43610   1479343     20.50     21.59  --
958.67/240.07	c  N dy  4296   1256407        70      6230         0     59806     43610    883520     20.52     22.32  --
977.05/244.61	c  N dy  4346   1276712        70      6230         0     78096     43610   1321883     20.52     21.60  --
995.85/249.33	c  N dy  4390   1296760        70      6230         0     51984     43610    668961     20.51     23.60  --
1012.60/253.59	c  N dy  4423   1316793        70      6230         0     69953     43610   1099163     20.50     23.51  --
1042.96/261.19	c  N dy  4511   1340424        70      6230         0     46360     43610    523213     20.50     21.65  --
1063.33/266.28	c  N dy  4649   1360495        70      6230         0     64532     43610    970193     20.52     22.55  --
1084.50/271.53	c  N dy  4670   1381055        70      6230         0     82931     43610   1406489     20.51     21.59  --
1109.27/277.77	c  N dy  4793   1401084        70      6230         0     55142     43610    723958     20.52     21.65  --
1131.65/283.30	c  N dy  4906   1421159        70      6230         0     73307     43610   1169621     20.54     22.31  --
1161.21/290.70	c  N dy  5038   1441226        70      6230         0     91484     43610   1618744     20.55     21.68  --
1182.37/296.00	c  N dy  5137   1462580        70      6230         0     63795     43610    918802     20.56     21.64  --
1215.13/304.21	c  N dy  5242   1488940        70      6230         0     87600     43610   1493878     20.56     21.67  --
1239.50/310.36	c  N dy  5357   1509029        70      6230         0     57917     43610    768317     20.58     22.97  --
1260.27/315.50	c  N dy  5457   1530653        70      6230         0     77504     43610   1244118     20.58     22.10  --
1286.64/322.13	c  N dy  5571   1550683        70      6230         0     95619     43610   1688339     20.59     22.81  --
1310.21/328.10	c  N dy  5622   1579879        70      6230         0     72835     43610   1096270     20.58     21.66  --
1333.78/333.97	c  N dy  5697   1599938        70      6230         0     90966     43610   1535929     20.58     22.77  --
1355.75/339.48	c  N dy  5739   1621489        70      6230         0     60918     43610    809875     20.57     21.79  --
1389.30/347.82	c  N dy  5841   1658028        70      6230         0     93637     43610   1596099     20.56     21.64  --
1410.07/353.03	c  N dy  5937   1678111        70      6230         0     61449     43610    818165     20.56     22.88  --
1434.84/359.22	c  N dy  6021   1700807        70      6230         0     81828     43610   1314792     20.57     21.68  --
1448.84/362.76	c  S st  6065   1710248        70      6230         0     90333     43610   1523601     20.58     19.51  --
1450.02/363.07	c  S st  6065   1710752        70      6230         0     90807     43610   1535398     20.58   no data  --
1450.02/363.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1450.02/363.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1450.42/363.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.21
1450.42/363.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1450.42/363.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1450.42/363.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
1450.42/363.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1639.76/410.53	c lits-rem:      5564  cl-subs:     9107  v-elim:      0  v-fix:    0  time: 189.11 s
1639.76/410.53	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
1639.76/410.55	c vivif2 --  cl tried    81700 cl shrink        0 lits rem          0 time: 0.08
1641.79/411.01	c asymm  cl-useful: 0/563/6230 lits-rem:0 time: 1.83
1641.79/411.01	c calculated reachability. Time: 0.00
1641.79/411.01	c  N dy  6065   1710752        70      6230         0     81700     43610   1303356     20.58   no data  --
1677.33/419.91	c  N dy  6162   1730880        70      6230         0     99865     43610   1748338     20.58     21.74  --
1709.67/428.01	c  N dy  6174   1761978        70      6230         0     76742     43610   1162247     20.55     21.82  --
1832.70/458.85	c  N dy  6236   1868169        70      6230         0     66830     43610    891551     20.43     21.66  --
1864.66/466.81	c  N dy  6365   1888213        70      6230         0     84975     43610   1337921     20.44     21.55  --
1905.82/477.13	c  N dy  6493   1908219        70      6230         0    103130     43610   1784925     20.45     21.54  --
1941.36/486.03	c  N dy  6626   1929104        70      6230         0     68267     43610    934029     20.47     21.70  --
1977.70/495.14	c  N dy  6770   1949170        70      6230         0     86349     43610   1381561     20.48     22.98  --
2033.64/509.11	c  N dy  6835   1992274        70      6230         0     70192     43610    954552     20.46     21.85  --
2056.41/514.81	c  N dy  6923   2012431        70      6230         0     88288     43610   1390860     20.46     21.60  --
2085.99/522.23	c  N dy  7030   2032448        70      6230         0    106382     43610   1833353     20.47     21.87  --
2110.73/528.49	c  N dy  7152   2053741        70      6230         0     69891     43610    945311     20.48     21.60  --
2135.89/534.74	c  N dy  7274   2074338        70      6230         0     88577     43610   1404203     20.49     21.59  --
2167.05/542.58	c  N dy  7386   2095250        70      6230         0    107467     43610   1864837     20.50     21.66  --
2192.21/548.83	c  N dy  7494   2115259        70      6230         0     68828     43610    907060     20.51     23.91  --
2216.99/555.02	c  N dy  7630   2135317        70      6230         0     86998     43610   1357263     20.52     22.92  --
2245.74/562.23	c  N dy  7717   2155843        70      6230         0    105506     43610   1809991     20.52     21.63  --
2276.90/570.01	c  N dy  7858   2177823        70      6230         0     67671     43610    867069     20.54     21.67  --
2300.47/575.91	c  N dy  7980   2197874        70      6230         0     85798     43610   1313718     20.55     23.44  --
2316.85/580.01	c  S st  8020   2210753        70      6230         0     97381     43610   1595171     20.55   no data  --
2318.05/580.31	c  S st  8020   2211255        70      6230         0     97838     43610   1606512     20.55   no data  --
2318.05/580.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2318.05/580.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2318.05/580.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.19
2318.46/580.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2318.46/580.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2318.46/580.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
2318.46/580.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2654.39/664.54	c lits-rem:      5805  cl-subs:     8418  v-elim:      0  v-fix:    0  time: 335.96 s
2654.39/664.55	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
2654.39/664.57	c vivif2 --  cl tried    89420 cl shrink        0 lits rem          0 time: 0.11
2656.81/665.12	c asymm  cl-useful: 0/516/6230 lits-rem:0 time: 2.20
2656.81/665.13	c calculated reachability. Time: 0.00
2656.81/665.13	c  N dy  8020   2211255        70      6230         0     89420     43610   1389201     20.55   no data  --
2696.76/675.18	c  N dy  8084   2232546        70      6230         0    108469     43610   1846816     20.55     21.75  --
2731.09/683.79	c  N dy  8147   2252634        70      6230         0     68412     43610    872462     20.55     22.69  --
2779.43/695.81	c  N dy  8248   2282943        70      6230         0     95647     43610   1531225     20.55     21.80  --
2828.18/708.09	c  N dy  8345   2307205        70      6230         0    117549     43610   2065677     20.56     21.75  --
2858.12/715.57	c  N dy  8451   2327228        70      6230         0     76323     43610   1052207     20.56     23.31  --
2889.70/723.48	c  N dy  8525   2347321        70      6230         0     94406     43610   1491265     20.57     22.61  --
2929.65/733.41	c  N dy  8599   2367725        70      6230         0    112834     43610   1937280     20.57     21.66  --
2971.57/743.91	c  N dy  8742   2390190        70      6230         0     72816     43610    952932     20.58     21.82  --
2999.95/751.07	c  N dy  8803   2410292        70      6230         0     90895     43610   1391325     20.58     21.98  --
3037.89/760.54	c  N dy  8890   2430350        70      6230         0    109005     43610   1835979     20.58     21.86  --
3079.43/770.90	c  N dy  8995   2450765        70      6230         0     66165     43610    778049     20.59     21.71  --
3109.80/778.56	c  N dy  9114   2470840        70      6230         0     84277     43610   1224078     20.60     24.10  --
3152.13/789.13	c  N dy  9208   2495607        70      6230         0    106545     43610   1768002     20.60     21.69  --
3191.68/799.06	c  N dy  9245   2515630        70      6230         0     62360     43610    671537     20.60     21.77  --
3217.64/805.53	c  N dy  9398   2535704        70      6230         0     80547     43610   1124255     20.61     23.14  --
3246.80/812.85	c  N dy  9480   2558218        70      6230         0    100806     43610   1618401     20.61     21.75  --
3276.78/820.34	c  N dy  9548   2578263        70      6230         0    118869     43610   2057035     20.61     23.40  --
3313.11/829.41	c  N dy  9629   2607392        70      6230         0     82008     43610   1132822     20.61     21.80  --
3340.27/836.25	c  N dy  9747   2627446        70      6230         0    100089     43610   1578355     20.62     22.79  --
3374.23/844.75	c  N dy  9850   2648125        70      6230         0    118657     43610   2033326     20.62     21.76  --
3403.81/852.18	c  N dy  9938   2668574        70      6230         0     73124     43610    904588     20.63     21.75  --
3427.36/858.02	c  N dy 10009   2688744        70      6230         0     91301     43610   1348352     20.63     21.74  --
3457.71/865.68	c  N dy 10125   2708745        70      6230         0    109333     43610   1795553     20.64     23.83  --
3462.51/866.83	c  S st 10140   2711256        70      6230         0    111616     43610   1851333     20.64   no data  --
3463.71/867.17	c  S st 10140   2711760        70      6230         0    112067     43610   1862721     20.64   no data  --
3463.71/867.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3463.71/867.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3464.11/867.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.23
3464.11/867.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3464.11/867.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3464.11/867.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
3464.11/867.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4026.15/1007.97	c lits-rem:      6621  cl-subs:    11039  v-elim:      0  v-fix:    0  time: 561.86 s
4026.15/1007.97	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
4026.55/1008.00	c vivif2 --  cl tried   101028 cl shrink        0 lits rem          0 time: 0.10
4028.55/1008.51	c asymm  cl-useful: 0/451/6230 lits-rem:0 time: 2.05
4028.55/1008.52	c calculated reachability. Time: 0.00
4028.55/1008.52	c  N dy 10140   2711760        70      6230         0    101028     43610   1584253     20.64   no data  --
4076.89/1020.67	c  N dy 10262   2731818        70      6230         0    119138     43610   2031627     20.65     22.35  --
4120.06/1031.47	c  N dy 10370   2751845        70      6230         0     72866     43610    898770     20.65     25.36  --
4163.17/1042.21	c  N dy 10466   2778697        70      6230         0     97029     43610   1486268     20.66     21.91  --
4226.28/1058.09	c  N dy 10470   2818929        70      6230         0     67539     43610    751067     20.63     21.83  --
4258.65/1066.13	c  N dy 10561   2840308        70      6230         0     86772     43610   1222179     20.63     21.74  --
4302.59/1077.15	c  N dy 10650   2864582        70      6230         0    108476     43610   1746957     20.63     21.78  --
4348.95/1088.73	c  N dy 10746   2884655        70      6230         0    126520     43610   2191030     20.64     22.53  --
4390.47/1099.16	c  N dy 10802   2909828        70      6230         0     82803     43610   1101167     20.63     21.76  --
4426.02/1108.04	c  N dy 10884   2929957        70      6230         0    100838     43610   1540577     20.63     21.82  --
4471.16/1119.32	c  N dy 10997   2950378        70      6230         0    119226     43610   1994143     20.64     21.79  --
4520.69/1131.75	c  N dy 11112   2970380        70      6230         0     69994     43610    784321     20.65     23.29  --
4555.47/1140.49	c  N dy 11194   2994773        70      6230         0     91758     43610   1301559     20.64     21.74  --
4596.19/1150.60	c  N dy 11256   3017449        70      6230         0    112071     43610   1795668     20.64     21.75  --
4637.74/1161.02	c  N dy 11284   3039236        70      6230         0    131609     43610   2262688     20.63     21.80  --
4677.69/1171.02	c  N dy 11359   3059257        70      6230         0     81568     43610   1052673     20.63     21.73  --
4724.82/1182.84	c  N dy 11467   3084506        70      6230         0    104210     43610   1601428     20.64     21.80  --
4773.55/1195.05	c  N dy 11595   3104521        70      6230         0    122275     43610   2048253     20.64     21.84  --

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

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

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


[startup+0 s]
/proc/loadavg: 3.72 4.53 6.11 6/180 22549
/proc/meminfo: memFree=17890756/32951124 swapFree=67111528/67111528
[pid=22549] ppid=22547 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/22549/stat : 22549 (strangenight1-m) R 22547 22549 21853 0 -1 4202496 418 0 0 0 0 0 0 0 21 0 4 0 523908153 52465664 357 33554432000 4194304 4650419 140736465129056 18446744073709551615 47485659920306 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22549/statm: 12809 357 306 112 0 7774 0
[pid=22549/tid=22550] ppid=22547 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/22549/task/22550/stat : 22550 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 4 0 523908153 52465664 357 33554432000 4194304 4650419 140736465129056 18446744073709551615 216634515387 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22549/tid=22551] ppid=22547 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/22549/task/22551/stat : 22551 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 523908153 52465664 357 33554432000 4194304 4650419 140736465129056 18446744073709551615 47485659920300 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22549/tid=22552] ppid=22547 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/22549/task/22552/stat : 22552 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 523908153 52465664 357 33554432000 4194304 4650419 140736465129056 18446744073709551615 216629562454 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.146189 s]
/proc/loadavg: 3.72 4.53 6.11 6/180 22549
/proc/meminfo: memFree=17890756/32951124 swapFree=67111528/67111528
[pid=22549] ppid=22547 vsize=283820 CPUtime=0.56 cores=1,3,5,7
/proc/22549/stat : 22549 (strangenight1-m) R 22547 22549 21853 0 -1 4202496 1961 0 0 0 56 0 0 0 23 0 4 0 523908153 290631680 1673 33554432000 4194304 4650419 140736465129056 18446744073709551615 216634558647 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22549/statm: 70955 1722 376 112 0 65920 0
[pid=22549/tid=22550] ppid=22547 vsize=283820 CPUtime=0.14 cores=1,3,5,7
/proc/22549/task/22550/stat : 22550 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 433 0 0 0 14 0 0 0 18 0 4 0 523908153 290631680 1765 33554432000 4194304 4650419 140736465129056 18446744073709551615 216634558647 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22549/tid=22551] ppid=22547 vsize=283976 CPUtime=0.14 cores=1,3,5,7
/proc/22549/task/22551/stat : 22551 (strangenight1-m) D 22547 22549 21853 0 -1 4202560 408 0 0 0 14 0 0 0 18 0 4 0 523908153 290791424 1779 33554432000 4194304 4650419 140736465129056 18446744073709551615 216634212560 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22549/tid=22552] ppid=22547 vsize=283976 CPUtime=0.13 cores=1,3,5,7
/proc/22549/task/22552/stat : 22552 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 420 0 0 0 13 0 0 0 18 0 4 0 523908153 290791424 1827 33554432000 4194304 4650419 140736465129056 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 283820

[startup+0.831727 s]
/proc/loadavg: 3.72 4.53 6.11 6/180 22549
/proc/meminfo: memFree=17890756/32951124 swapFree=67111528/67111528
[pid=22549] ppid=22547 vsize=296712 CPUtime=3.3 cores=1,3,5,7
/proc/22549/stat : 22549 (strangenight1-m) R 22547 22549 21853 0 -1 4202496 6693 0 0 0 329 1 0 0 18 0 4 0 523908153 303833088 3869 33554432000 4194304 4650419 140736465129056 18446744073709551615 4313719 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22549/statm: 74178 3869 390 112 0 69143 0
[pid=22549/tid=22550] ppid=22547 vsize=296712 CPUtime=0.82 cores=1,3,5,7
/proc/22549/task/22550/stat : 22550 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 1803 0 0 0 82 0 0 0 18 0 4 0 523908153 303833088 3869 33554432000 4194304 4650419 140736465129056 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22549/tid=22551] ppid=22547 vsize=296712 CPUtime=0.82 cores=1,3,5,7
/proc/22549/task/22551/stat : 22551 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 1521 0 0 0 82 0 0 0 18 0 4 0 523908153 303833088 3869 33554432000 4194304 4650419 140736465129056 18446744073709551615 216634558823 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22549/tid=22552] ppid=22547 vsize=296712 CPUtime=0.82 cores=1,3,5,7
/proc/22549/task/22552/stat : 22552 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 1372 0 0 0 82 0 0 0 18 0 4 0 523908153 303833088 3869 33554432000 4194304 4650419 140736465129056 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 296712

[startup+1.02333 s]
/proc/loadavg: 3.72 4.53 6.11 6/180 22549
/proc/meminfo: memFree=17890756/32951124 swapFree=67111528/67111528
[pid=22549] ppid=22547 vsize=288040 CPUtime=4.06 cores=1,3,5,7
/proc/22549/stat : 22549 (strangenight1-m) R 22547 22549 21853 0 -1 4202496 7551 0 0 0 405 1 0 0 19 0 4 0 523908153 294952960 4089 33554432000 4194304 4650419 140736465129056 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22549/statm: 72010 4089 391 112 0 66975 0
[pid=22549/tid=22550] ppid=22547 vsize=288040 CPUtime=1.01 cores=1,3,5,7
/proc/22549/task/22550/stat : 22550 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 1914 0 0 0 101 0 0 0 19 0 4 0 523908153 294952960 4089 33554432000 4194304 4650419 140736465129056 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22549/tid=22551] ppid=22547 vsize=288040 CPUtime=1.01 cores=1,3,5,7
/proc/22549/task/22551/stat : 22551 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 1838 0 0 0 101 0 0 0 19 0 4 0 523908153 294952960 4089 33554432000 4194304 4650419 140736465129056 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22549/tid=22552] ppid=22547 vsize=288040 CPUtime=1.01 cores=1,3,5,7
/proc/22549/task/22552/stat : 22552 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 1466 0 0 0 101 0 0 0 19 0 4 0 523908153 294952960 4089 33554432000 4194304 4650419 140736465129056 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 288040

[startup+1.10032 s]
/proc/loadavg: 3.72 4.53 6.11 6/180 22549
/proc/meminfo: memFree=17890756/32951124 swapFree=67111528/67111528
[pid=22549] ppid=22547 vsize=288380 CPUtime=4.37 cores=1,3,5,7
/proc/22549/stat : 22549 (strangenight1-m) R 22547 22549 21853 0 -1 4202496 7953 0 0 0 436 1 0 0 19 0 4 0 523908153 295301120 4133 33554432000 4194304 4650419 140736465129056 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22549/statm: 72095 4133 391 112 0 67060 0
[pid=22549/tid=22550] ppid=22547 vsize=288380 CPUtime=1.09 cores=1,3,5,7
/proc/22549/task/22550/stat : 22550 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 1954 0 0 0 109 0 0 0 19 0 4 0 523908153 295301120 4133 33554432000 4194304 4650419 140736465129056 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22549/tid=22551] ppid=22547 vsize=288380 CPUtime=1.09 cores=1,3,5,7
/proc/22549/task/22551/stat : 22551 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 1880 0 0 0 109 0 0 0 19 0 4 0 523908153 295301120 4133 33554432000 4194304 4650419 140736465129056 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22549/tid=22552] ppid=22547 vsize=288380 CPUtime=1.08 cores=1,3,5,7
/proc/22549/task/22552/stat : 22552 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 1745 0 0 0 108 0 0 0 19 0 4 0 523908153 295301120 4133 33554432000 4194304 4650419 140736465129056 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 288380

[startup+1.50025 s]
/proc/loadavg: 3.72 4.53 6.11 6/180 22549
/proc/meminfo: memFree=17890756/32951124 swapFree=67111528/67111528
[pid=22549] ppid=22547 vsize=288768 CPUtime=5.98 cores=1,3,5,7
/proc/22549/stat : 22549 (strangenight1-m) R 22547 22549 21853 0 -1 4202496 10861 0 0 0 596 2 0 0 19 0 4 0 523908153 295698432 5947 33554432000 4194304 4650419 140736465129056 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22549/statm: 72192 5947 392 112 0 67157 0
[pid=22549/tid=22550] ppid=22547 vsize=288768 CPUtime=1.49 cores=1,3,5,7
/proc/22549/task/22550/stat : 22550 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 2438 0 0 0 149 0 0 0 19 0 4 0 523908153 295698432 5947 33554432000 4194304 4650419 140736465129056 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22549/tid=22551] ppid=22547 vsize=288768 CPUtime=1.49 cores=1,3,5,7
/proc/22549/task/22551/stat : 22551 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 2310 0 0 0 149 0 0 0 19 0 4 0 523908153 295698432 5947 33554432000 4194304 4650419 140736465129056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22549/tid=22552] ppid=22547 vsize=288768 CPUtime=1.48 cores=1,3,5,7
/proc/22549/task/22552/stat : 22552 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 1942 0 0 0 148 0 0 0 19 0 4 0 523908153 295698432 5947 33554432000 4194304 4650419 140736465129056 18446744073709551615 4313715 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 288768

[startup+3.10097 s]
/proc/loadavg: 3.72 4.53 6.11 9/184 22553
/proc/meminfo: memFree=17815984/32951124 swapFree=67111528/67111528
[pid=22549] ppid=22547 vsize=295368 CPUtime=12.36 cores=1,3,5,7
/proc/22549/stat : 22549 (strangenight1-m) R 22547 22549 21853 0 -1 4202496 17740 0 0 0 1233 3 0 0 24 0 4 0 523908153 302456832 10532 33554432000 4194304 4650419 140736465129056 18446744073709551615 4360427 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22549/statm: 73842 10532 392 112 0 68807 0
[pid=22549/tid=22550] ppid=22547 vsize=295368 CPUtime=3.09 cores=1,3,5,7
/proc/22549/task/22550/stat : 22550 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 4034 0 0 0 309 0 0 0 25 0 4 0 523908153 302456832 10532 33554432000 4194304 4650419 140736465129056 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22549/tid=22551] ppid=22547 vsize=295368 CPUtime=3.07 cores=1,3,5,7
/proc/22549/task/22551/stat : 22551 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 4737 0 0 0 307 0 0 0 25 0 4 0 523908153 302456832 10532 33554432000 4194304 4650419 140736465129056 18446744073709551615 4439089 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22549/tid=22552] ppid=22547 vsize=295368 CPUtime=3.09 cores=1,3,5,7
/proc/22549/task/22552/stat : 22552 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 4434 0 0 0 308 1 0 0 24 0 4 0 523908153 302456832 10532 33554432000 4194304 4650419 140736465129056 18446744073709551615 4536664 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) 295368

[startup+6.30641 s]
/proc/loadavg: 4.06 4.59 6.12 9/184 22553
/proc/meminfo: memFree=17789348/32951124 swapFree=67111528/67111528
[pid=22549] ppid=22547 vsize=304912 CPUtime=25.17 cores=1,3,5,7
/proc/22549/stat : 22549 (strangenight1-m) R 22547 22549 21853 0 -1 4202496 25736 0 0 0 2511 6 0 0 25 0 4 0 523908153 312229888 13356 33554432000 4194304 4650419 140736465129056 18446744073709551615 4438393 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22549/statm: 76228 13356 392 112 0 71193 0
[pid=22549/tid=22550] ppid=22547 vsize=304912 CPUtime=6.3 cores=1,3,5,7
/proc/22549/task/22550/stat : 22550 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 6908 0 0 0 629 1 0 0 25 0 4 0 523908153 312229888 13356 33554432000 4194304 4650419 140736465129056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22549/tid=22551] ppid=22547 vsize=304912 CPUtime=6.26 cores=1,3,5,7
/proc/22549/task/22551/stat : 22551 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 5821 0 0 0 625 1 0 0 25 0 4 0 523908153 312229888 13356 33554432000 4194304 4650419 140736465129056 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22549/tid=22552] ppid=22547 vsize=304912 CPUtime=6.29 cores=1,3,5,7
/proc/22549/task/22552/stat : 22552 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 6590 0 0 0 628 1 0 0 25 0 4 0 523908153 312229888 13356 33554432000 4194304 4650419 140736465129056 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 304912

[startup+12.7003 s]
/proc/loadavg: 4.37 4.64 6.13 9/184 22554
/proc/meminfo: memFree=17753528/32951124 swapFree=67111528/67111528
[pid=22549] ppid=22547 vsize=326836 CPUtime=50.72 cores=1,3,5,7
/proc/22549/stat : 22549 (strangenight1-m) R 22547 22549 21853 0 -1 4202496 38684 0 0 0 5063 9 0 0 25 0 4 0 523908153 334680064 18938 33554432000 4194304 4650419 140736465129056 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22549/statm: 81709 18938 392 112 0 76674 0
[pid=22549/tid=22550] ppid=22547 vsize=326836 CPUtime=12.69 cores=1,3,5,7
/proc/22549/task/22550/stat : 22550 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 9947 0 0 0 1267 2 0 0 25 0 4 0 523908153 334680064 18938 33554432000 4194304 4650419 140736465129056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22549/tid=22551] ppid=22547 vsize=326836 CPUtime=12.63 cores=1,3,5,7
/proc/22549/task/22551/stat : 22551 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 8879 0 0 0 1261 2 0 0 25 0 4 0 523908153 334680064 18938 33554432000 4194304 4650419 140736465129056 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22549/tid=22552] ppid=22547 vsize=326836 CPUtime=12.68 cores=1,3,5,7
/proc/22549/task/22552/stat : 22552 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 10290 0 0 0 1266 2 0 0 25 0 4 0 523908153 334680064 18938 33554432000 4194304 4650419 140736465129056 18446744073709551615 4366857 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 326836

[startup+25.501 s]
/proc/loadavg: 5.25 4.82 6.16 9/184 22554
/proc/meminfo: memFree=17712124/32951124 swapFree=67111528/67111528
[pid=22549] ppid=22547 vsize=298552 CPUtime=101.85 cores=1,3,5,7
/proc/22549/stat : 22549 (strangenight1-m) R 22547 22549 21853 0 -1 4202496 59511 0 0 0 10170 15 0 0 25 0 4 0 523908153 305717248 22390 33554432000 4194304 4650419 140736465129056 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22549/statm: 74638 22390 392 112 0 69603 0
[pid=22549/tid=22550] ppid=22547 vsize=298552 CPUtime=25.49 cores=1,3,5,7
/proc/22549/task/22550/stat : 22550 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 15791 0 0 0 2546 3 0 0 25 0 4 0 523908153 305717248 22390 33554432000 4194304 4650419 140736465129056 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22549/tid=22551] ppid=22547 vsize=298552 CPUtime=25.36 cores=1,3,5,7
/proc/22549/task/22551/stat : 22551 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 13596 0 0 0 2533 3 0 0 25 0 4 0 523908153 305717248 22390 33554432000 4194304 4650419 140736465129056 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22549/tid=22552] ppid=22547 vsize=298552 CPUtime=25.48 cores=1,3,5,7
/proc/22549/task/22552/stat : 22552 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 15499 0 0 0 2544 4 0 0 25 0 4 0 523908153 305717248 22390 33554432000 4194304 4650419 140736465129056 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 298552

[startup+51.1005 s]
/proc/loadavg: 6.27 5.09 6.22 9/184 22555
/proc/meminfo: memFree=17653528/32951124 swapFree=67111528/67111528
[pid=22549] ppid=22547 vsize=319372 CPUtime=204.1 cores=1,3,5,7
/proc/22549/stat : 22549 (strangenight1-m) R 22547 22549 21853 0 -1 4202496 88282 0 0 0 20386 24 0 0 25 0 4 0 523908153 327036928 30528 33554432000 4194304 4650419 140736465129056 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22549/statm: 79843 30528 392 112 0 74808 0
[pid=22549/tid=22550] ppid=22547 vsize=319372 CPUtime=51.09 cores=1,3,5,7
/proc/22549/task/22550/stat : 22550 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 22996 0 0 0 5104 5 0 0 25 0 4 0 523908153 327036928 30528 33554432000 4194304 4650419 140736465129056 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22549/tid=22551] ppid=22547 vsize=319372 CPUtime=50.82 cores=1,3,5,7
/proc/22549/task/22551/stat : 22551 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 21707 0 0 0 5077 5 0 0 25 0 4 0 523908153 327036928 30528 33554432000 4194304 4650419 140736465129056 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22549/tid=22552] ppid=22547 vsize=319372 CPUtime=51.09 cores=1,3,5,7
/proc/22549/task/22552/stat : 22552 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 22928 0 0 0 5101 8 0 0 25 0 4 0 523908153 327036928 30528 33554432000 4194304 4650419 140736465129056 18446744073709551615 4366953 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) 319372

[startup+102.301 s]
/proc/loadavg: 7.30 5.55 6.31 9/184 22556
/proc/meminfo: memFree=17621140/32951124 swapFree=67111528/67111528
[pid=22549] ppid=22547 vsize=331724 CPUtime=408.62 cores=1,3,5,7
/proc/22549/stat : 22549 (strangenight1-m) R 22547 22549 21853 0 -1 4202496 131115 0 0 0 40825 37 0 0 25 0 4 0 523908153 339685376 33708 33554432000 4194304 4650419 140736465129056 18446744073709551615 4328199 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22549/statm: 82931 33708 392 112 0 77896 0
[pid=22549/tid=22550] ppid=22547 vsize=331724 CPUtime=102.29 cores=1,3,5,7
/proc/22549/task/22550/stat : 22550 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 32973 0 0 0 10220 9 0 0 25 0 4 0 523908153 339685376 33708 33554432000 4194304 4650419 140736465129056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22549/tid=22551] ppid=22547 vsize=331724 CPUtime=101.73 cores=1,3,5,7
/proc/22549/task/22551/stat : 22551 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 32183 0 0 0 10164 9 0 0 25 0 4 0 523908153 339685376 33708 33554432000 4194304 4650419 140736465129056 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22549/tid=22552] ppid=22547 vsize=331724 CPUtime=102.28 cores=1,3,5,7
/proc/22549/task/22552/stat : 22552 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 35599 0 0 0 10218 10 0 0 25 0 4 0 523908153 339685376 33708 33554432000 4194304 4650419 140736465129056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 331724

[startup+162.301 s]

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

[pid=22549] ppid=22547 vsize=524972 CPUtime=2805.4 cores=1,3,5,7
/proc/22549/stat : 22549 (strangenight1-m) R 22547 22549 21853 0 -1 4202496 402154 0 0 0 280392 148 0 0 25 0 4 0 523908153 537571328 72331 33554432000 4194304 4650419 140736465129056 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22549/statm: 131243 72331 392 112 0 126208 0
[pid=22549/tid=22550] ppid=22547 vsize=524972 CPUtime=702.31 cores=1,3,5,7
/proc/22549/task/22550/stat : 22550 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 110272 0 0 0 70194 37 0 0 25 0 4 0 523908153 537571328 72331 33554432000 4194304 4650419 140736465129056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22549/tid=22551] ppid=22547 vsize=524972 CPUtime=701.51 cores=1,3,5,7
/proc/22549/task/22551/stat : 22551 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 90927 0 0 0 70116 35 0 0 25 0 4 0 523908153 537571328 72331 33554432000 4194304 4650419 140736465129056 18446744073709551615 4370610 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22549/tid=22552] ppid=22547 vsize=524972 CPUtime=699.25 cores=1,3,5,7
/proc/22549/task/22552/stat : 22552 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 94176 0 0 0 69888 37 0 0 25 0 4 0 523908153 537571328 72331 33554432000 4194304 4650419 140736465129056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 524972

[startup+762.3 s]
/proc/loadavg: 8.12 7.80 7.19 9/184 22574
/proc/meminfo: memFree=17261668/32951124 swapFree=67111528/67111528
[pid=22549] ppid=22547 vsize=525080 CPUtime=3045.07 cores=1,3,5,7
/proc/22549/stat : 22549 (strangenight1-m) R 22547 22549 21853 0 -1 4202496 423306 0 0 0 304352 155 0 0 25 0 4 0 523908153 537681920 75009 33554432000 4194304 4650419 140736465129056 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22549/statm: 131270 75009 392 112 0 126235 0
[pid=22549/tid=22550] ppid=22547 vsize=525080 CPUtime=762.3 cores=1,3,5,7
/proc/22549/task/22550/stat : 22550 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 122485 0 0 0 76192 38 0 0 25 0 4 0 523908153 537681920 75009 33554432000 4194304 4650419 140736465129056 18446744073709551615 4476421 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22549/tid=22551] ppid=22547 vsize=525080 CPUtime=761.52 cores=1,3,5,7
/proc/22549/task/22551/stat : 22551 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 96726 0 0 0 76113 39 0 0 25 0 4 0 523908153 537681920 75009 33554432000 4194304 4650419 140736465129056 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22549/tid=22552] ppid=22547 vsize=525080 CPUtime=758.93 cores=1,3,5,7
/proc/22549/task/22552/stat : 22552 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 94226 0 0 0 75856 37 0 0 25 0 4 0 523908153 537681920 75009 33554432000 4194304 4650419 140736465129056 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.07
Current children cumulated vsize (KiB) 525080

[startup+822.301 s]
/proc/loadavg: 8.14 7.86 7.25 9/184 22575
/proc/meminfo: memFree=17225444/32951124 swapFree=67111528/67111528
[pid=22549] ppid=22547 vsize=531960 CPUtime=3284.76 cores=1,3,5,7
/proc/22549/stat : 22549 (strangenight1-m) R 22547 22549 21853 0 -1 4202496 442337 0 0 0 328314 162 0 0 25 0 4 0 523908153 544727040 78785 33554432000 4194304 4650419 140736465129056 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22549/statm: 132990 78785 392 112 0 127955 0
[pid=22549/tid=22550] ppid=22547 vsize=531960 CPUtime=822.31 cores=1,3,5,7
/proc/22549/task/22550/stat : 22550 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 131674 0 0 0 82191 40 0 0 25 0 4 0 523908153 544727040 78785 33554432000 4194304 4650419 140736465129056 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22549/tid=22551] ppid=22547 vsize=531960 CPUtime=821.51 cores=1,3,5,7
/proc/22549/task/22551/stat : 22551 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 102658 0 0 0 82109 42 0 0 25 0 4 0 523908153 544727040 78785 33554432000 4194304 4650419 140736465129056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22549/tid=22552] ppid=22547 vsize=531960 CPUtime=818.6 cores=1,3,5,7
/proc/22549/task/22552/stat : 22552 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 95304 0 0 0 81823 37 0 0 25 0 4 0 523908153 544727040 78785 33554432000 4194304 4650419 140736465129056 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.76
Current children cumulated vsize (KiB) 531960

[startup+882.3 s]
/proc/loadavg: 8.08 7.90 7.30 9/184 22577
/proc/meminfo: memFree=17193544/32951124 swapFree=67111528/67111528
[pid=22549] ppid=22547 vsize=547372 CPUtime=3524.42 cores=1,3,5,7
/proc/22549/stat : 22549 (strangenight1-m) R 22547 22549 21853 0 -1 4202496 459407 0 0 0 352271 171 0 0 25 0 4 0 523908153 560508928 85471 33554432000 4194304 4650419 140736465129056 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22549/statm: 136843 85471 392 112 0 131808 0
[pid=22549/tid=22550] ppid=22547 vsize=547372 CPUtime=882.3 cores=1,3,5,7
/proc/22549/task/22550/stat : 22550 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 137272 0 0 0 88187 43 0 0 25 0 4 0 523908153 560508928 85471 33554432000 4194304 4650419 140736465129056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22549/tid=22551] ppid=22547 vsize=547372 CPUtime=881.52 cores=1,3,5,7
/proc/22549/task/22551/stat : 22551 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 105941 0 0 0 88107 45 0 0 25 0 4 0 523908153 560508928 85471 33554432000 4194304 4650419 140736465129056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22549/tid=22552] ppid=22547 vsize=547372 CPUtime=878.27 cores=1,3,5,7
/proc/22549/task/22552/stat : 22552 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 102834 0 0 0 87786 41 0 0 25 0 4 0 523908153 560508928 85471 33554432000 4194304 4650419 140736465129056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.42
Current children cumulated vsize (KiB) 547372

[startup+942.301 s]
/proc/loadavg: 8.14 7.94 7.35 9/184 22578
/proc/meminfo: memFree=17185328/32951124 swapFree=67111528/67111528
[pid=22549] ppid=22547 vsize=535648 CPUtime=3764.13 cores=1,3,5,7
/proc/22549/stat : 22549 (strangenight1-m) R 22547 22549 21853 0 -1 4202496 465991 0 0 0 376237 176 0 0 25 0 4 0 523908153 548503552 86621 33554432000 4194304 4650419 140736465129056 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22549/statm: 133912 86621 392 112 0 128877 0
[pid=22549/tid=22550] ppid=22547 vsize=535648 CPUtime=942.32 cores=1,3,5,7
/proc/22549/task/22550/stat : 22550 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 141257 0 0 0 94186 46 0 0 25 0 4 0 523908153 548503552 86621 33554432000 4194304 4650419 140736465129056 18446744073709551615 4363398 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22549/tid=22551] ppid=22547 vsize=535648 CPUtime=941.52 cores=1,3,5,7
/proc/22549/task/22551/stat : 22551 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 106652 0 0 0 94107 45 0 0 25 0 4 0 523908153 548503552 86621 33554432000 4194304 4650419 140736465129056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22549/tid=22552] ppid=22547 vsize=535648 CPUtime=937.94 cores=1,3,5,7
/proc/22549/task/22552/stat : 22552 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 104721 0 0 0 93752 42 0 0 25 0 4 0 523908153 548503552 86621 33554432000 4194304 4650419 140736465129056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.13
Current children cumulated vsize (KiB) 535648

[startup+1002.3 s]
/proc/loadavg: 8.05 7.95 7.39 9/184 22580
/proc/meminfo: memFree=17184308/32951124 swapFree=67111528/67111528
[pid=22549] ppid=22547 vsize=548556 CPUtime=4003.78 cores=1,3,5,7
/proc/22549/stat : 22549 (strangenight1-m) R 22547 22549 21853 0 -1 4202496 470808 0 0 0 400198 180 0 0 25 0 4 0 523908153 561721344 86034 33554432000 4194304 4650419 140736465129056 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22549/statm: 137139 86034 392 112 0 132104 0
[pid=22549/tid=22550] ppid=22547 vsize=548556 CPUtime=1002.31 cores=1,3,5,7
/proc/22549/task/22550/stat : 22550 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 143131 0 0 0 100183 48 0 0 25 0 4 0 523908153 561721344 86034 33554432000 4194304 4650419 140736465129056 18446744073709551615 4476432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22549/tid=22551] ppid=22547 vsize=548556 CPUtime=1001.52 cores=1,3,5,7
/proc/22549/task/22551/stat : 22551 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 109226 0 0 0 100105 47 0 0 25 0 4 0 523908153 561721344 86034 33554432000 4194304 4650419 140736465129056 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22549/tid=22552] ppid=22547 vsize=548556 CPUtime=997.62 cores=1,3,5,7
/proc/22549/task/22552/stat : 22552 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 105080 0 0 0 99719 43 0 0 25 0 4 0 523908153 561721344 86034 33554432000 4194304 4650419 140736465129056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.78
Current children cumulated vsize (KiB) 548556

[startup+1062.31 s]
/proc/loadavg: 8.15 7.99 7.43 9/184 22582
/proc/meminfo: memFree=17181928/32951124 swapFree=67111528/67111528
[pid=22549] ppid=22547 vsize=535648 CPUtime=4243.48 cores=1,3,5,7
/proc/22549/stat : 22549 (strangenight1-m) R 22547 22549 21853 0 -1 4202496 474725 0 0 0 424165 183 0 0 25 0 4 0 523908153 548503552 84361 33554432000 4194304 4650419 140736465129056 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22549/statm: 133912 84361 392 112 0 128877 0
[pid=22549/tid=22550] ppid=22547 vsize=535648 CPUtime=1062.32 cores=1,3,5,7
/proc/22549/task/22550/stat : 22550 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 143131 0 0 0 106184 48 0 0 25 0 4 0 523908153 548503552 84361 33554432000 4194304 4650419 140736465129056 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22549/tid=22551] ppid=22547 vsize=535648 CPUtime=1061.53 cores=1,3,5,7
/proc/22549/task/22551/stat : 22551 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 110206 0 0 0 106106 47 0 0 25 0 4 0 523908153 548503552 84361 33554432000 4194304 4650419 140736465129056 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22549/tid=22552] ppid=22547 vsize=535648 CPUtime=1057.3 cores=1,3,5,7
/proc/22549/task/22552/stat : 22552 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 105080 0 0 0 105687 43 0 0 25 0 4 0 523908153 548503552 84361 33554432000 4194304 4650419 140736465129056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.48
Current children cumulated vsize (KiB) 535648

[startup+1122.3 s]
/proc/loadavg: 8.17 8.02 7.48 9/184 22583
/proc/meminfo: memFree=17169492/32951124 swapFree=67111528/67111528
[pid=22549] ppid=22547 vsize=535648 CPUtime=4483.15 cores=1,3,5,7
/proc/22549/stat : 22549 (strangenight1-m) R 22547 22549 21853 0 -1 4202496 480422 0 0 0 448128 187 0 0 25 0 4 0 523908153 548503552 87147 33554432000 4194304 4650419 140736465129056 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22549/statm: 133912 87147 392 112 0 128877 0
[pid=22549/tid=22550] ppid=22547 vsize=535648 CPUtime=1122.31 cores=1,3,5,7
/proc/22549/task/22550/stat : 22550 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 143131 0 0 0 112183 48 0 0 25 0 4 0 523908153 548503552 87147 33554432000 4194304 4650419 140736465129056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22549/tid=22551] ppid=22547 vsize=535648 CPUtime=1121.52 cores=1,3,5,7
/proc/22549/task/22551/stat : 22551 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 113117 0 0 0 112103 49 0 0 25 0 4 0 523908153 548503552 87147 33554432000 4194304 4650419 140736465129056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22549/tid=22552] ppid=22547 vsize=535648 CPUtime=1116.97 cores=1,3,5,7
/proc/22549/task/22552/stat : 22552 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 105080 0 0 0 111654 43 0 0 25 0 4 0 523908153 548503552 87147 33554432000 4194304 4650419 140736465129056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.15
Current children cumulated vsize (KiB) 535648

[startup+1182.3 s]
/proc/loadavg: 8.17 8.04 7.52 9/184 22585
/proc/meminfo: memFree=17117016/32951124 swapFree=67111528/67111528
[pid=22549] ppid=22547 vsize=548784 CPUtime=4722.82 cores=1,3,5,7
/proc/22549/stat : 22549 (strangenight1-m) R 22547 22549 21853 0 -1 4202496 484539 0 0 0 472093 189 0 0 25 0 4 0 523908153 561954816 88515 33554432000 4194304 4650419 140736465129056 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22549/statm: 137196 88515 392 112 0 132161 0
[pid=22549/tid=22550] ppid=22547 vsize=548784 CPUtime=1182.31 cores=1,3,5,7
/proc/22549/task/22550/stat : 22550 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 143131 0 0 0 118183 48 0 0 25 0 4 0 523908153 561954816 88515 33554432000 4194304 4650419 140736465129056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22549/tid=22551] ppid=22547 vsize=548784 CPUtime=1181.53 cores=1,3,5,7
/proc/22549/task/22551/stat : 22551 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 115057 0 0 0 118103 50 0 0 25 0 4 0 523908153 561954816 88515 33554432000 4194304 4650419 140736465129056 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22549/tid=22552] ppid=22547 vsize=548784 CPUtime=1176.64 cores=1,3,5,7
/proc/22549/task/22552/stat : 22552 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 105080 0 0 0 117621 43 0 0 25 0 4 0 523908153 561954816 88515 33554432000 4194304 4650419 140736465129056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.82
Current children cumulated vsize (KiB) 548784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.19 8.05 7.53 10/184 22585
/proc/meminfo: memFree=17111428/32951124 swapFree=67111528/67111528
[pid=22549] ppid=22547 vsize=548784 CPUtime=4800.34 cores=1,3,5,7
/proc/22549/stat : 22549 (strangenight1-m) R 22547 22549 21853 0 -1 4202496 486774 0 0 0 479843 191 0 0 25 0 4 0 523908153 561954816 90750 33554432000 4194304 4650419 140736465129056 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22549/statm: 137196 90750 392 112 0 132161 0
[pid=22549/tid=22550] ppid=22547 vsize=548784 CPUtime=1201.73 cores=1,3,5,7
/proc/22549/task/22550/stat : 22550 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 144565 0 0 0 120124 49 0 0 25 0 4 0 523908153 561954816 90750 33554432000 4194304 4650419 140736465129056 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22549/tid=22551] ppid=22547 vsize=548784 CPUtime=1200.93 cores=1,3,5,7
/proc/22549/task/22551/stat : 22551 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 115057 0 0 0 120043 50 0 0 25 0 4 0 523908153 561954816 90750 33554432000 4194304 4650419 140736465129056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22549/tid=22552] ppid=22547 vsize=548784 CPUtime=1195.94 cores=1,3,5,7
/proc/22549/task/22552/stat : 22552 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 105080 0 0 0 119551 43 0 0 25 0 4 0 523908153 561954816 90750 33554432000 4194304 4650419 140736465129056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 548784

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.19 8.05 7.53 10/184 22585
/proc/meminfo: memFree=17111428/32951124 swapFree=67111528/67111528
[pid=22549] ppid=22547 vsize=548784 CPUtime=4800.34 cores=1,3,5,7
/proc/22549/stat : 22549 (strangenight1-m) R 22547 22549 21853 0 -1 4202496 486774 0 0 0 479843 191 0 0 25 0 4 0 523908153 561954816 90750 33554432000 4194304 4650419 140736465129056 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22549/statm: 137196 90750 392 112 0 132161 0
[pid=22549/tid=22550] ppid=22547 vsize=548784 CPUtime=1201.73 cores=1,3,5,7
/proc/22549/task/22550/stat : 22550 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 144565 0 0 0 120124 49 0 0 25 0 4 0 523908153 561954816 90750 33554432000 4194304 4650419 140736465129056 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22549/tid=22551] ppid=22547 vsize=548784 CPUtime=1200.93 cores=1,3,5,7
/proc/22549/task/22551/stat : 22551 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 115057 0 0 0 120043 50 0 0 25 0 4 0 523908153 561954816 90750 33554432000 4194304 4650419 140736465129056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22549/tid=22552] ppid=22547 vsize=548784 CPUtime=1195.94 cores=1,3,5,7
/proc/22549/task/22552/stat : 22552 (strangenight1-m) R 22547 22549 21853 0 -1 4202560 105080 0 0 0 119551 43 0 0 25 0 4 0 523908153 561954816 90750 33554432000 4194304 4650419 140736465129056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 548784

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.39
CPU user time (s): 4798.46
CPU system time (s): 1.92671
CPU usage (%): 399.457
Max. virtual memory (cumulated for all children) (KiB): 560188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.46
system time used= 1.92671
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 486774
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= 626
involuntary context switches= 35184

runsolver used 1.90071 second user time and 4.66029 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-30 02:24:15
IDJOB=3175413
IDBENCH=83031
IDSOLVER=1588
FILE ID=node103/3175413-1304123055
RUNJOBID= node103-1304123055-22527
PBS_JOBID= 13170711
Free space on /tmp= 71516 MiB

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

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

MD5SUM BENCH= b3fdf3b46fb0b1e907e496e0b191070b
RANDOM SEED=1656281381

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
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.75
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.858
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.83
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.858
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:      17892028 kB
Buffers:       2149744 kB
Cached:       12261204 kB
SwapCached:          0 kB
Active:        5604576 kB
Inactive:      8871380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17892028 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12432 kB
Writeback:           0 kB
AnonPages:       63884 kB
Mapped:          14872 kB
Slab:           520164 kB
PageTables:       4540 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   273400 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71508 MiB
End job on node103 at 2011-04-30 02:44:19