Trace number 3369075

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 (fixed)SAT 3558.78 897.231

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S969033069-088.SATISFIABLE.cnf
MD5SUM73d9fe7597a311fec40e782ce52bc60b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.101983
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of clauses5340
Sum of the clauses size37380
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 55340

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-3369075-1305411607.cnf'
0.00/0.00	c -- header says num vars:             60
0.00/0.00	c -- header says num clauses:        5340
0.00/0.00	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.00/0.00	c -- vars added         60
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.43/0.12	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.45
0.43/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.43/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.43/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.43/0.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
0.43/0.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.43/0.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
0.43/0.14	c Finding binary XORs  T:     0.00 s  found:       0
0.43/0.14	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.43/0.14	c calculated reachability. Time: 0.00
0.43/0.14	c Calc default polars -  time:   0.00 s pos:      24 undec:       3 neg:      33
0.43/0.14	c =========================================================================================
0.43/0.14	c types(t): F = full restart, N = normal restart
0.43/0.14	c types(t): S = simplification begin/end, E = solution found
0.43/0.14	c restart types(rt): st = static, dy = dynamic
0.43/0.14	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.43/0.14	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.77/0.25	c  N dy     7      4396        60      5340         0      3890     37380     83044     17.75     18.73  --
1.56/0.41	c  N dy    14      9449        60      5340         0      6141     37380    123172     17.41     18.38  --
1.96/0.57	c  N dy    43     13673        60      5340         0      6164     37380    119151     17.95     19.01  --
3.17/0.81	c  N dy    64     19158        60      5340         0      6045     37380    106678     18.09     19.05  --
3.99/1.06	c  F st    67     25001        60      5340         0     11203     37380    212736     17.85     16.10  --
3.99/1.06	c  N st    67     25001        60      5340         0     11203     37380    212736     17.85     16.10  --
4.75/1.28	c  N dy    73     30000        60      5340         0      9620     37380    172116     17.85   no data  --
4.75/1.28	c  S st    73     30000        60      5340         0      9620     37380    172116     17.85   no data  --
5.15/1.31	c  S st    73     30506        60      5340         0     10095     37380    182788     17.85   no data  --
5.15/1.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.15/1.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.15/1.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.15/1.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.15/1.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.15/1.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
5.15/1.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.80/2.25	c lits-rem:      1431  cl-subs:     1143  v-elim:      0  v-fix:    0  time:  3.67 s
9.94/2.50	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.02
9.94/2.50	c calculated reachability. Time: 0.00
9.94/2.50	c  N dy    73     30506        60      5340         0      8952     37380    158279     17.85   no data  --
10.75/2.75	c  N dy    89     35171        60      5340         0     13129     37380    246868     17.89     18.87  --
11.54/2.97	c  N dy   117     39244        60      5340         0      9795     37380    167278     18.03     19.58  --
12.76/3.26	c  N dy   127     45037        60      5340         0     14948     37380    276529     17.99     18.98  --
13.18/3.31	c  S st   135     45759        60      5340         0     15609     37380    291076     18.02   no data  --
13.18/3.37	c  S st   135     46262        60      5340         0      8087     37380    122515     18.02   no data  --
13.18/3.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.18/3.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.18/3.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.18/3.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.18/3.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.18/3.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
13.18/3.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.33/4.13	c lits-rem:       102  cl-subs:       19  v-elim:      0  v-fix:    0  time:  3.02 s
16.33/4.13	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
16.33/4.13	c vivif2 --  cl tried     8068 cl shrink        0 lits rem          0 time: 0.00
17.15/4.36	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.89
17.15/4.36	c calculated reachability. Time: 0.00
17.15/4.36	c  N dy   135     46262        60      5340         0      8068     37380    121943     18.02   no data  --
17.92/4.58	c  N dy   163     50406        60      5340         0     11780     37380    202106     18.13     19.09  --
19.11/4.87	c  N dy   185     55251        60      5340         0     16073     37380    294170     18.21     19.20  --
22.31/5.65	c  N dy   191     68641        60      5340         0     18904     37380    331614     17.91     18.89  --
22.71/5.72	c  S st   198     69394        60      5340         0      9883     37380    143090     17.94   no data  --
22.71/5.75	c  S st   198     69900        60      5340         0     10336     37380    153018     17.94   no data  --
22.71/5.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.71/5.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.71/5.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
22.71/5.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.71/5.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.71/5.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
22.71/5.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.92/6.60	c lits-rem:       270  cl-subs:      120  v-elim:      0  v-fix:    0  time:  3.33 s
25.92/6.60	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
25.92/6.60	c vivif2 --  cl tried    10216 cl shrink        0 lits rem          0 time: 0.00
27.09/6.86	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.04
27.09/6.86	c calculated reachability. Time: 0.00
27.09/6.86	c  N dy   198     69900        60      5340         0     10216     37380    149936     17.94   no data  --
28.68/7.22	c  N dy   203     76909        60      5340         0     16411     37380    278681     17.86     18.85  --
30.31/7.63	c  N dy   233     82139        60      5340         0     21097     37380    379435     17.93     18.92  --
31.48/7.99	c  F st   258     87500        60      5340         0     15243     37380    245787     17.97     17.03  --
31.48/7.99	c  N st   258     87500        60      5340         0     15243     37380    245787     17.97     17.03  --
33.08/8.39	c  N dy   268     93123        60      5340         0     20255     37380    353498     17.98     19.85  --
35.11/8.85	c  N dy   284     99441        60      5340         0     14324     37380    215526     17.97     18.99  --
36.66/9.27	c  S st   333    104850        60      5340         0     19153     37380    321267     18.07   no data  --
37.06/9.33	c  S st   333    105356        60      5340         0     19614     37380    331426     18.07   no data  --
37.06/9.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
37.06/9.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.06/9.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
37.06/9.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.06/9.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.06/9.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
37.06/9.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.85/10.55	c lits-rem:      1595  cl-subs:     1741  v-elim:      0  v-fix:    0  time:  4.82 s
41.85/10.55	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
41.85/10.55	c vivif2 --  cl tried    17873 cl shrink        0 lits rem          0 time: 0.01
43.05/10.90	c asymm  cl-useful: 0/4417/5340 lits-rem:0 time: 1.38
43.05/10.90	c calculated reachability. Time: 0.00
43.05/10.90	c  N dy   333    105356        60      5340         0     17873     37380    291322     18.07   no data  --
45.84/11.50	c  N dy   359    112259        60      5340         0     24005     37380    421420     18.10     19.08  --
48.62/12.29	c  N dy   389    123536        60      5340         0     21690     37380    362531     18.07     19.05  --
54.62/13.71	c  N dy   400    143060        60      5340         0     25553     37380    422465     17.83     18.92  --
57.40/14.48	c  N dy   460    152190        60      5340         0     19640     37380    301232     17.90     20.55  --
59.80/15.02	c  S st   498    158034        60      5340         0     24870     37380    413723     17.94     17.18  --
59.80/15.09	c  S st   498    158539        60      5340         0     25326     37380    423780     17.94   no data  --
59.80/15.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
59.80/15.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
59.80/15.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
60.20/15.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.20/15.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.20/15.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
60.20/15.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
68.17/17.10	c lits-rem:      2048  cl-subs:     2450  v-elim:      0  v-fix:    0  time:  7.95 s
68.17/17.10	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
68.17/17.11	c vivif2 --  cl tried    22876 cl shrink        0 lits rem          0 time: 0.02
68.57/17.21	c asymm  cl-useful: 0/923/5340 lits-rem:0 time: 0.43
68.57/17.21	c calculated reachability. Time: 0.00
68.57/17.21	c  N dy   498    158539        60      5340         0     22876     37380    367606     17.94   no data  --
92.14/23.17	c  N dy   552    231354        60      5340         0     21759     37380    299891     17.27     18.29  --
94.90/23.82	c  S st   609    237808        60      5340         0     27524     37380    425224     17.33   no data  --
94.90/23.89	c  S st   609    238312        60      5340         0     27984     37380    435385     17.33   no data  --
94.90/23.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
94.90/23.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
95.30/23.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
95.30/23.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
95.30/23.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
95.30/23.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
95.30/23.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
103.67/26.08	c lits-rem:      1883  cl-subs:     2906  v-elim:      0  v-fix:    0  time:  8.64 s
103.67/26.08	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
103.67/26.09	c vivif2 --  cl tried    25078 cl shrink        0 lits rem          0 time: 0.02
105.31/26.44	c asymm  cl-useful: 0/3317/5340 lits-rem:0 time: 1.40
105.31/26.44	c calculated reachability. Time: 0.00
105.31/26.44	c  N dy   609    238312        60      5340         0     25078     37380    378919     17.33   no data  --
112.85/28.32	c  N dy   738    253659        60      5340         0     20450     37380    271746     17.46     18.38  --
120.02/30.13	c  N dy   859    269910        60      5340         0     34989     37380    585583     17.56     19.90  --
127.59/32.07	c  N dy   978    287387        60      5340         0     31149     37380    487274     17.63     18.63  --
136.36/34.29	c  N dy  1102    305796        60      5340         0     27076     37380    390446     17.72     19.76  --
136.76/34.33	c  F st  1107    306250        60      5340         0     27477     37380    399429     17.72   no data  --
146.34/36.72	c  N dy  1197    325341        60      5340         0     23152     37380    297585     17.76     19.88  --
156.31/39.20	c  N dy  1333    345368        60      5340         0     41049     37380    683984     17.84     18.82  --
162.34/40.71	c  S st  1392    357470        60      5340         0     29472     37380    419512     17.86     17.24  --
162.34/40.79	c  S st  1392    357974        60      5340         0     29927     37380    429572     17.86   no data  --
162.34/40.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
162.34/40.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
162.68/40.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
162.68/40.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
162.68/40.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
162.68/40.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
162.68/40.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
171.46/43.06	c lits-rem:      1310  cl-subs:     1899  v-elim:      0  v-fix:    0  time:  8.94 s
171.46/43.06	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
171.46/43.06	c vivif2 --  cl tried    28028 cl shrink        0 lits rem          0 time: 0.02
173.06/43.44	c asymm  cl-useful: 0/2023/5340 lits-rem:0 time: 1.52
173.06/43.44	c calculated reachability. Time: 0.00
173.06/43.44	c  N dy  1392    357974        60      5340         0     28028     37380    388737     17.86   no data  --
185.03/46.44	c  N dy  1455    378067        60      5340         0     45853     37380    763383     17.87     19.02  --
196.19/49.23	c  N dy  1551    398087        60      5340         0     40587     37380    648101     17.90     20.25  --
206.56/51.87	c  N dy  1665    418140        60      5340         0     34510     37380    509989     17.95     20.12  --
219.72/55.17	c  N dy  1767    441443        60      5340         0     30301     37380    402158     17.98     19.01  --
231.30/58.05	c  N dy  1866    461524        60      5340         0     48104     37380    783322     18.00     19.08  --
251.23/63.01	c  N dy  1907    504626        60      5340         0     33747     37380    445472     17.86     18.92  --
263.98/66.25	c  N dy  2051    524677        60      5340         0     51656     37380    835718     17.92     18.98  --
270.78/67.94	c  S st  2114    536962        60      5340         0     35114     37380    477835     17.93     17.59  --
271.18/68.03	c  S st  2114    537465        60      5340         0     35561     37380    487756     17.93   no data  --
271.18/68.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
271.18/68.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
271.18/68.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
271.18/68.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
271.18/68.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
271.18/68.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
271.18/68.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
280.37/70.38	c lits-rem:       898  cl-subs:     1952  v-elim:      0  v-fix:    0  time:  9.25 s
280.37/70.38	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
280.37/70.39	c vivif2 --  cl tried    33609 cl shrink        0 lits rem          0 time: 0.02
281.93/70.77	c asymm  cl-useful: 0/2657/5340 lits-rem:0 time: 1.53
281.93/70.77	c calculated reachability. Time: 0.00
281.93/70.77	c  N dy  2114    537465        60      5340         0     33609     37380    445331     17.93   no data  --
296.70/74.46	c  N dy  2234    561109        60      5340         0     54598     37380    895924     17.96     19.05  --
307.86/77.28	c  N dy  2314    581152        60      5340         0     44187     37380    658857     17.98     19.32  --
322.63/80.94	c  N dy  2443    601215        60      5340         0     32869     37380    410677     18.01     20.21  --
333.78/83.71	c  N dy  2476    621243        60      5340         0     50486     37380    776655     17.99     19.17  --
346.59/86.98	c  N dy  2556    641336        60      5340         0     38190     37380    511843     17.99     18.96  --
360.91/90.58	c  N dy  2643    661375        60      5340         0     55961     37380    893386     18.00     19.38  --
374.07/93.81	c  N dy  2719    681449        60      5340         0     42769     37380    602426     18.01     21.42  --
388.82/97.56	c  N dy  2795    702319        60      5340         0     61340     37380    997854     18.02     19.00  --
406.38/101.98	c  N dy  2926    726581        60      5340         0     50981     37380    770252     18.05     19.05  --
423.93/106.31	c  N dy  2965    752189        60      5340         0     40755     37380    529889     18.02     18.97  --
438.73/110.06	c  N dy  3084    772532        60      5340         0     58807     37380    922823     18.05     19.01  --
454.24/113.94	c  N dy  3203    792576        60      5340         0     42945     37380    575946     18.07     19.17  --
463.80/116.36	c  S st  3280    806198        60      5340         0     55063     37380    838914     18.09     18.67  --
464.63/116.51	c  S st  3280    806704        60      5340         0     55523     37380    849381     18.09   no data  --
464.63/116.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
464.63/116.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
464.63/116.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
464.63/116.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
464.63/116.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
464.63/116.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
464.63/116.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
494.92/124.16	c lits-rem:      2399  cl-subs:     4966  v-elim:      0  v-fix:    0  time: 30.29 s
494.92/124.16	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
494.92/124.17	c vivif2 --  cl tried    50557 cl shrink        0 lits rem          0 time: 0.04
496.10/124.47	c asymm  cl-useful: 0/780/5340 lits-rem:0 time: 1.20
496.10/124.47	c calculated reachability. Time: 0.00
496.10/124.47	c  N dy  3280    806704        60      5340         0     50557     37380    737227     18.09   no data  --
510.87/128.13	c  N dy  3307    826781        60      5340         0     68182     37380   1101187     18.05     19.05  --
523.23/131.28	c  N dy  3368    846859        60      5340         0     51640     37380    742861     18.05     19.07  --
541.57/135.81	c  N dy  3499    866875        60      5340         0     69529     37380   1132248     18.07     21.31  --
555.14/139.28	c  N dy  3600    887012        60      5340         0     52079     37380    746799     18.08     19.16  --
573.09/143.78	c  N dy  3701    907055        60      5340         0     69813     37380   1127706     18.10     19.34  --
587.47/147.36	c  N dy  3755    929170        60      5340         0     52906     37380    740055     18.08     19.05  --
606.98/152.29	c  N dy  3815    952826        60      5340         0     73808     37380   1176071     18.06     19.12  --
626.14/157.09	c  N dy  3940    980478        60      5340         0     61163     37380    919417     18.07     19.27  --
646.07/162.08	c  N dy  4052   1000565        60      5340         0     40965     37380    479339     18.09     19.07  --
661.22/165.87	c  N dy  4161   1021309        60      5340         0     59377     37380    877421     18.10     19.10  --
683.57/171.49	c  N dy  4251   1042874        60      5340         0     39552     37380    436388     18.11     19.20  --
697.14/174.85	c  N dy  4330   1062886        60      5340         0     57247     37380    816392     18.12     19.83  --
705.50/176.91	c  F st  4383   1071880        60      5340         0     65260     37380    990291     18.13   no data  --
719.08/180.37	c  N dy  4411   1086056        60      5340         0     77792     37380   1257471     18.13     19.17  --
735.41/184.45	c  N dy  4518   1106123        60      5340         0     55699     37380    776131     18.14     19.11  --
754.17/189.11	c  N dy  4595   1126158        60      5340         0     73458     37380   1153207     18.15     21.04  --
773.70/194.00	c  N dy  4707   1146248        60      5340         0     50535     37380    655527     18.16     19.85  --
793.24/198.97	c  N dy  4782   1166697        60      5340         0     68659     37380   1046214     18.17     19.21  --
821.16/205.93	c  N dy  4834   1192769        60      5340         0     49898     37380    618517     18.15     19.11  --
839.91/210.68	c  S st  4899   1210056        60      5340         0     65198     37380    945569     18.15   no data  --
841.11/210.93	c  S st  4899   1210562        60      5340         0     65647     37380    955531     18.15   no data  --
841.11/210.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
841.11/210.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
841.11/210.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.16
841.51/211.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
841.51/211.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
841.51/211.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
841.51/211.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
910.09/228.23	c lits-rem:      2842  cl-subs:     7274  v-elim:      0  v-fix:    0  time: 68.64 s
910.09/228.23	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
910.09/228.24	c vivif2 --  cl tried    58373 cl shrink        0 lits rem          0 time: 0.04
911.68/228.60	c asymm  cl-useful: 0/652/5340 lits-rem:0 time: 1.44
911.68/228.60	c calculated reachability. Time: 0.00
911.68/228.60	c  N dy  4899   1210562        60      5340         0     58373     37380    809625     18.15   no data  --
931.62/233.68	c  N dy  4980   1230650        60      5340         0     76165     37380   1191898     18.16     19.21  --
956.75/239.94	c  N dy  5070   1259572        60      5340         0     59693     37380    825359     18.15     19.17  --
977.49/245.16	c  N dy  5193   1279587        60      5340         0     77424     37380   1212238     18.17     19.16  --
994.24/249.30	c  N dy  5218   1299608        60      5340         0     52077     37380    658501     18.16     20.05  --
1024.15/256.83	c  N dy  5263   1331828        60      5340         0     80422     37380   1254131     18.14     19.12  --
1047.68/262.71	c  N dy  5348   1351900        60      5340         0     54148     37380    688722     18.14     19.87  --
1070.45/268.45	c  N dy  5441   1373655        60      5340         0     73352     37380   1100757     18.15     19.22  --
1097.93/275.31	c  N dy  5546   1393736        60      5340         0     46145     37380    510325     18.16     19.19  --
1117.47/280.24	c  N dy  5628   1418150        60      5340         0     67662     37380    964596     18.15     19.23  --
1141.40/286.24	c  N dy  5725   1439283        60      5340         0     86372     37380   1369604     18.16     19.20  --
1162.59/291.57	c  N dy  5751   1464013        60      5340         0     62251     37380    831111     18.15     19.12  --
1183.28/296.73	c  N dy  5846   1484175        60      5340         0     80059     37380   1213109     18.15     19.15  --
1204.02/301.96	c  N dy  5904   1504219        60      5340         0     50903     37380    592766     18.15     20.16  --
1224.75/307.14	c  N dy  5999   1528440        60      5340         0     72250     37380   1048862     18.15     19.13  --
1250.68/313.68	c  N dy  6116   1548522        60      5340         0     90101     37380   1438340     18.16     19.54  --
1274.22/319.50	c  N dy  6207   1572576        60      5340         0     63696     37380    854005     18.17     19.16  --
1298.94/325.73	c  N dy  6293   1596804        60      5340         0     85072     37380   1310095     18.17     19.36  --
1327.27/332.82	c  N dy  6417   1620026        60      5340         0     57083     37380    704205     18.18     19.23  --
1346.43/337.66	c  N dy  6505   1640117        60      5340         0     74837     37380   1083322     18.18     19.20  --
1371.93/344.05	c  N dy  6582   1660895        60      5340         0     93141     37380   1473796     18.18     19.26  --
1394.26/349.66	c  N dy  6668   1680960        60      5340         0     61419     37380    786422     18.19     20.08  --
1422.58/356.74	c  N dy  6802   1702695        60      5340         0     80724     37380   1206093     18.20     19.30  --
1434.17/359.68	c  S st  6839   1710563        60      5340         0     87722     37380   1359304     18.20     17.60  --
1435.74/360.00	c  S st  6839   1711067        60      5340         0     88172     37380   1369353     18.20   no data  --
1435.74/360.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1435.74/360.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1435.74/360.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.21
1436.14/360.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1436.14/360.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1436.14/360.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
1436.14/360.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1638.71/410.98	c lits-rem:      5489  cl-subs:     9529  v-elim:      0  v-fix:    0  time: 202.82 s
1638.71/410.98	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
1639.10/411.00	c vivif2 --  cl tried    78643 cl shrink        0 lits rem          0 time: 0.07
1640.75/411.45	c asymm  cl-useful: 0/506/5340 lits-rem:0 time: 1.80
1640.75/411.46	c calculated reachability. Time: 0.00
1640.75/411.46	c  N dy  6839   1711067        60      5340         0     78643     37380   1158373     18.20   no data  --
1683.77/422.24	c  N dy  6898   1740129        60      5340         0     54266     37380    621378     18.19     19.20  --
1710.52/428.96	c  N dy  7010   1760225        60      5340         0     72021     37380   1007422     18.20     20.52  --
1743.19/437.17	c  N dy  7043   1780286        60      5340         0     89609     37380   1367631     18.19     20.13  --
1781.48/446.78	c  N dy  7074   1808850        60      5340         0     63831     37380    812774     18.17     19.14  --
1813.38/454.76	c  N dy  7173   1828885        60      5340         0     81533     37380   1195185     18.18     19.82  --
1858.86/466.19	c  N dy  7232   1857264        60      5340         0     54639     37380    608859     18.16     19.34  --
1885.99/472.97	c  N dy  7364   1877296        60      5340         0     72398     37380    995617     18.17     19.36  --
1916.71/480.61	c  N dy  7483   1897692        60      5340         0     90479     37380   1390892     18.18     19.21  --
1952.23/489.54	c  N dy  7593   1918343        60      5340         0     55842     37380    626571     18.19     19.33  --
1980.89/496.78	c  N dy  7653   1948635        60      5340         0     82412     37380   1185662     18.18     19.18  --
2011.21/504.31	c  N dy  7740   1971504        60      5340         0    102638     37380   1619505     18.18     19.19  --
2036.73/510.79	c  N dy  7831   1995495        60      5340         0     70017     37380    916051     18.18     19.26  --
2088.57/523.75	c  N dy  7877   2049546        60      5340         0     62708     37380    745332     18.14     19.11  --
2111.71/529.57	c  N dy  8031   2069571        60      5340         0     80516     37380   1138384     18.15     19.77  --
2138.44/536.23	c  N dy  8107   2090360        60      5340         0     98768     37380   1526991     18.15     19.12  --
2166.77/543.33	c  N dy  8212   2110417        60      5340         0     61134     37380    714753     18.16     19.56  --
2193.09/549.93	c  N dy  8256   2141043        60      5340         0     87962     37380   1271015     18.15     19.16  --
2227.37/558.51	c  N dy  8393   2162132        60      5340         0    106666     37380   1679821     18.16     19.21  --
2260.87/566.99	c  N dy  8470   2194761        60      5340         0     78917     37380   1069371     18.15     19.19  --
2279.62/571.65	c  S st  8520   2211068        60      5340         0     93163     37380   1370550     18.14     17.94  --
2280.83/571.95	c  S st  8520   2211575        60      5340         0     93605     37380   1380403     18.14   no data  --
2280.83/571.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2280.83/571.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2280.83/572.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
2281.26/572.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2281.26/572.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2281.26/572.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
2281.26/572.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2389.70/599.29	c lits-rem:      4326  cl-subs:    11887  v-elim:      0  v-fix:    0  time: 108.64 s
2389.70/599.29	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
2390.10/599.30	c vivif2 --  cl tried    81718 cl shrink        0 lits rem          0 time: 0.06
2391.29/599.64	c asymm  cl-useful: 0/478/5340 lits-rem:0 time: 1.33
2391.29/599.64	c calculated reachability. Time: 0.00
2391.29/599.64	c  N dy  8520   2211575        60      5340         0     81718     37380   1141640     18.14   no data  --
2441.94/612.32	c  N dy  8597   2257208        60      5340         0     65325     37380    778551     18.11     19.08  --
2466.27/618.45	c  N dy  8742   2277284        60      5340         0     83079     37380   1168827     18.13     19.36  --
2503.36/627.70	c  N dy  8834   2302484        60      5340         0    105381     37380   1643732     18.13     19.27  --
2542.85/637.60	c  N dy  8940   2324725        60      5340         0     67323     37380    819426     18.13     19.15  --
2574.35/645.59	c  N dy  9075   2344817        60      5340         0     85173     37380   1211802     18.14     19.48  --
2609.87/654.42	c  N dy  9132   2365251        60      5340         0    103185     37380   1594159     18.14     19.10  --
2648.54/664.11	c  N dy  9189   2385282        60      5340         0     61897     37380    690392     18.13     19.09  --
2673.26/670.32	c  N dy  9240   2405359        60      5340         0     79446     37380   1055321     18.13     19.70  --
2709.16/679.37	c  N dy  9333   2425371        60      5340         0     97079     37380   1431577     18.13     19.58  --
2753.03/690.37	c  N dy  9447   2445551        60      5340         0    114929     37380   1820181     18.14     19.11  --
2786.92/698.89	c  N dy  9551   2465571        60      5340         0     72690     37380    908960     18.14     20.77  --
2823.62/708.09	c  N dy  9683   2486122        60      5340         0     90939     37380   1308846     18.15     19.11  --
2867.09/718.93	c  N dy  9808   2506144        60      5340         0    108686     37380   1696896     18.16     20.15  --
2914.14/730.72	c  N dy  9946   2526486        60      5340         0     65871     37380    753894     18.17     19.16  --
2941.26/737.54	c  N dy 10021   2546504        60      5340         0     83455     37380   1128222     18.17     19.84  --
2976.37/746.30	c  N dy 10103   2571048        60      5340         0    104992     37380   1589166     18.17     19.28  --
3017.87/756.77	c  N dy 10211   2591120        60      5340         0    122758     37380   1977157     18.18     19.40  --
3045.36/763.61	c  N dy 10342   2611569        60      5340         0     79115     37380   1035229     18.18     19.17  --
3073.28/770.67	c  N dy 10425   2632570        60      5340         0     97655     37380   1433441     18.19     19.19  --
3103.20/778.12	c  N dy 10476   2653683        60      5340         0    116170     37380   1824068     18.18     19.19  --
3133.50/785.71	c  N dy 10546   2673784        60      5340         0     71304     37380    851906     18.19     20.02  --
3159.83/792.34	c  N dy 10676   2693840        60      5340         0     89070     37380   1239479     18.19     19.17  --
3187.74/799.31	c  S st 10780   2711576        60      5340         0    104707     37380   1578968     18.20     17.73  --
3188.96/799.61	c  S st 10780   2712079        60      5340         0    105164     37380   1589164     18.20   no data  --
3188.96/799.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3188.96/799.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3188.96/799.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
3189.38/799.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3189.38/799.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3189.38/799.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3189.38/799.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3558.33/897.00	c lits-rem:      6491  cl-subs:    11088  v-elim:      0  v-fix:    0  time: 368.82 s
3558.33/897.01	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
3558.33/897.02	c vivif2 --  cl tried    94076 cl shrink        0 lits rem          0 time: 0.03
3558.73/897.21	c asymm  cl-useful: 0/531/5340 lits-rem:0 time: 0.38
3558.73/897.21	c calculated reachability. Time: 0.00
3558.73/897.21	c  N dy 10780   2712079        60      5340         0     94076     37380   1344343     18.20   no data  --
3558.73/897.21	c Following stats are for *FIRST FINISHED THREAD ONLY*
3558.73/897.21	c num threads              : 4          
3558.73/897.21	c restarts                 : 11226      
3558.73/897.21	c dynamic restarts         : 11196      
3558.73/897.21	c static restarts          : 30         
3558.73/897.21	c full restarts            : 4          
3558.73/897.21	c total simplify time      : 0.03       
3558.73/897.21	c learnts DL2              : 0          
3558.73/897.21	c learnts size 2           : 0          
3558.73/897.21	c learnts size 1           : 0           (0.00      % of vars)
3558.73/897.21	c filedLit time            : 0.92        (0.03      % time)
3558.73/897.21	c v-elim SatELite          : 0           (0.00      % vars)
3558.73/897.21	c SatELite time            : 407.85      (11.47     % time)
3558.73/897.21	c v-elim xor               : 0           (0.00      % vars)
3558.73/897.21	c xor elim time            : 0.13        (0.00      % time)
3558.73/897.21	c num binary xor trees     : 0          
3558.73/897.21	c binxor trees' crown      : 0           (nan       leafs/tree)
3558.73/897.21	c bin xor find time        : 0.00       
3558.73/897.21	c OTF clause improved      : 343054      (0.12      clauses/conflict)
3558.73/897.21	c OTF impr. size diff      : 344983      (1.01       lits/clause)
3558.73/897.21	c OTF cl watch-shrink      : 0           (0.00      clauses/conflict)
3558.73/897.21	c OTF cl watch-sh-lit      : 0           (nan        lits/clause)
3558.73/897.21	c tried to recurMin cls    : 238317      (8.13       % of conflicts)
3558.73/897.21	c updated cache            : 35          (0.00       lits/tried recurMin)
3558.73/897.21	c unit cls received        : 0           (nan       % of units)
3558.73/897.21	c unit cls sent            : 0           (nan       % of units)
3558.73/897.21	c bin cls received         : 0          
3558.73/897.21	c bin cls sent             : 0          
3558.73/897.21	c clauses over max glue    : 0           (0.00      % of all clauses)
3558.73/897.21	c conflicts                : 2932853     (824.50    / sec)
3558.73/897.21	c decisions                : 3418638     (0.42      % random)
3558.73/897.21	c bogo-props               : 109084355343 (30666540.00 / sec)
3558.73/897.21	c conflict literals        : 62422088    (10.37     % deleted)
3558.73/897.21	c Memory used              : 491.57      MB
3558.73/897.21	c single-thread CPU time   : 3557.11     s
3558.73/897.21	c all-threads sum CPU time : 3557.11     s
3558.73/897.21	s SATISFIABLE
3558.73/897.21	v 1 2 -3 4 -5 -6 7 -8 -9 10 11 -12 13 14 15 16 -17 18 -19 20 -21 22 -23 24 -25 -26 -27 -28 -29 -30 -31 -32 33 -34 -35 -36 37 -38 -39 -40 -41 42 43 44 45 -46 -47 -48 49 -50 -51 -52 53 54 -55 56 57 58 -59 60 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369075-1305411607/watcher-3369075-1305411607 -o /tmp/evaluation-result-3369075-1305411607/solver-3369075-1305411607 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369075-1305411607.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.69 7.97 7.78 5/367 16038
/proc/meminfo: memFree=23182096/32950928 swapFree=65730864/67111528
[pid=16038] ppid=16036 vsize=207908 CPUtime=0 cores=1,3,5,7
/proc/16038/stat : 16038 (strangenight1-m) R 16036 16038 15496 0 -1 4202496 662 0 0 0 0 0 0 0 25 0 4 0 731391369 212897792 579 33554432000 4194304 4650419 140735744101184 18446744073709551615 260905054917 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16038/statm: 51977 581 343 112 0 46942 0
[pid=16038/tid=16039] ppid=16036 vsize=281912 CPUtime=0 cores=1,3,5,7
/proc/16038/task/16039/stat : 16039 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 170 0 0 0 0 0 0 0 25 0 4 0 731391369 288677888 959 33554432000 4194304 4650419 140735744101184 18446744073709551615 4370526 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16038/tid=16040] ppid=16036 vsize=281912 CPUtime=0 cores=1,3,5,7
/proc/16038/task/16040/stat : 16040 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 60 0 0 0 0 0 0 0 25 0 4 0 731391369 288677888 959 33554432000 4194304 4650419 140735744101184 18446744073709551615 260905499118 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16038/tid=16041] ppid=16036 vsize=281912 CPUtime=0 cores=1,3,5,7
/proc/16038/task/16041/stat : 16041 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 198 0 0 0 0 0 0 0 25 0 4 0 731391369 288677888 959 33554432000 4194304 4650419 140735744101184 18446744073709551615 260905055265 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0614821 s]
/proc/loadavg: 7.69 7.97 7.78 5/367 16038
/proc/meminfo: memFree=23182096/32950928 swapFree=65730864/67111528
[pid=16038] ppid=16036 vsize=281908 CPUtime=0.21 cores=1,3,5,7
/proc/16038/stat : 16038 (strangenight1-m) R 16036 16038 15496 0 -1 4202496 1259 0 0 0 21 0 0 0 25 0 4 0 731391369 288673792 1176 33554432000 4194304 4650419 140735744101184 18446744073709551615 260905499167 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16038/statm: 70477 1176 366 112 0 65442 0
[pid=16038/tid=16039] ppid=16036 vsize=281908 CPUtime=0.05 cores=1,3,5,7
/proc/16038/task/16039/stat : 16039 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 182 0 0 0 5 0 0 0 25 0 4 0 731391369 288673792 1176 33554432000 4194304 4650419 140735744101184 18446744073709551615 4370582 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16038/tid=16040] ppid=16036 vsize=281908 CPUtime=0.04 cores=1,3,5,7
/proc/16038/task/16040/stat : 16040 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 173 0 0 0 4 0 0 0 25 0 4 0 731391369 288673792 1176 33554432000 4194304 4650419 140735744101184 18446744073709551615 260905499118 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16038/tid=16041] ppid=16036 vsize=281908 CPUtime=0.05 cores=1,3,5,7
/proc/16038/task/16041/stat : 16041 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 278 0 0 0 5 0 0 0 25 0 4 0 731391369 288673792 1176 33554432000 4194304 4650419 140735744101184 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 281908

[startup+0.114649 s]
/proc/loadavg: 7.69 7.97 7.78 5/367 16038
/proc/meminfo: memFree=23182096/32950928 swapFree=65730864/67111528
[pid=16038] ppid=16036 vsize=281908 CPUtime=0.43 cores=1,3,5,7
/proc/16038/stat : 16038 (strangenight1-m) R 16036 16038 15496 0 -1 4202496 1352 0 0 0 43 0 0 0 25 0 4 0 731391369 288673792 1269 33554432000 4194304 4650419 140735744101184 18446744073709551615 4370567 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16038/statm: 70477 1269 366 112 0 65442 0
[pid=16038/tid=16039] ppid=16036 vsize=281908 CPUtime=0.11 cores=1,3,5,7
/proc/16038/task/16039/stat : 16039 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 191 0 0 0 11 0 0 0 25 0 4 0 731391369 288673792 1269 33554432000 4194304 4650419 140735744101184 18446744073709551615 4370610 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16038/tid=16040] ppid=16036 vsize=281908 CPUtime=0.1 cores=1,3,5,7
/proc/16038/task/16040/stat : 16040 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 180 0 0 0 10 0 0 0 25 0 4 0 731391369 288673792 1269 33554432000 4194304 4650419 140735744101184 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16038/tid=16041] ppid=16036 vsize=281908 CPUtime=0.1 cores=1,3,5,7
/proc/16038/task/16041/stat : 16041 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 348 0 0 0 10 0 0 0 25 0 4 0 731391369 288673792 1269 33554432000 4194304 4650419 140735744101184 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 281908

[startup+0.300618 s]
/proc/loadavg: 7.69 7.97 7.78 5/367 16038
/proc/meminfo: memFree=23182096/32950928 swapFree=65730864/67111528
[pid=16038] ppid=16036 vsize=285336 CPUtime=1.16 cores=1,3,5,7
/proc/16038/stat : 16038 (strangenight1-m) R 16036 16038 15496 0 -1 4202496 3592 0 0 0 116 0 0 0 25 0 4 0 731391369 292184064 2684 33554432000 4194304 4650419 140735744101184 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16038/statm: 71334 2685 390 112 0 66299 0
[pid=16038/tid=16039] ppid=16036 vsize=285336 CPUtime=0.29 cores=1,3,5,7
/proc/16038/task/16039/stat : 16039 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 862 0 0 0 29 0 0 0 25 0 4 0 731391369 292184064 2685 33554432000 4194304 4650419 140735744101184 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16038/tid=16040] ppid=16036 vsize=285336 CPUtime=0.28 cores=1,3,5,7
/proc/16038/task/16040/stat : 16040 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 796 0 0 0 28 0 0 0 25 0 4 0 731391369 292184064 2685 33554432000 4194304 4650419 140735744101184 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16038/tid=16041] ppid=16036 vsize=285336 CPUtime=0.29 cores=1,3,5,7
/proc/16038/task/16041/stat : 16041 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 649 0 0 0 29 0 0 0 25 0 4 0 731391369 292184064 2685 33554432000 4194304 4650419 140735744101184 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 285336

[startup+0.700547 s]
/proc/loadavg: 7.69 7.97 7.78 5/367 16038
/proc/meminfo: memFree=23182096/32950928 swapFree=65730864/67111528
[pid=16038] ppid=16036 vsize=286420 CPUtime=2.77 cores=1,3,5,7
/proc/16038/stat : 16038 (strangenight1-m) R 16036 16038 15496 0 -1 4202496 5546 0 0 0 276 1 0 0 25 0 4 0 731391369 293294080 3458 33554432000 4194304 4650419 140735744101184 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16038/statm: 71605 3458 390 112 0 66570 0
[pid=16038/tid=16039] ppid=16036 vsize=286420 CPUtime=0.69 cores=1,3,5,7
/proc/16038/task/16039/stat : 16039 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 1306 0 0 0 69 0 0 0 25 0 4 0 731391369 293294080 3458 33554432000 4194304 4650419 140735744101184 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16038/tid=16040] ppid=16036 vsize=286420 CPUtime=0.68 cores=1,3,5,7
/proc/16038/task/16040/stat : 16040 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 1221 0 0 0 68 0 0 0 25 0 4 0 731391369 293294080 3458 33554432000 4194304 4650419 140735744101184 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16038/tid=16041] ppid=16036 vsize=286420 CPUtime=0.69 cores=1,3,5,7
/proc/16038/task/16041/stat : 16041 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 1256 0 0 0 69 0 0 0 25 0 4 0 731391369 293294080 3458 33554432000 4194304 4650419 140735744101184 18446744073709551615 4367232 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) 286420

[startup+1.5004 s]
/proc/loadavg: 7.69 7.97 7.78 9/371 16042
/proc/meminfo: memFree=23168300/32950928 swapFree=65730864/67111528
[pid=16038] ppid=16036 vsize=287716 CPUtime=5.95 cores=1,3,5,7
/proc/16038/stat : 16038 (strangenight1-m) R 16036 16038 15496 0 -1 4202496 9974 0 0 0 594 1 0 0 25 0 4 0 731391369 294621184 5379 33554432000 4194304 4650419 140735744101184 18446744073709551615 4438393 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16038/statm: 71929 5379 392 112 0 66894 0
[pid=16038/tid=16039] ppid=16036 vsize=287716 CPUtime=1.49 cores=1,3,5,7
/proc/16038/task/16039/stat : 16039 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 2133 0 0 0 149 0 0 0 25 0 4 0 731391369 294621184 5379 33554432000 4194304 4650419 140735744101184 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16038/tid=16040] ppid=16036 vsize=287716 CPUtime=1.47 cores=1,3,5,7
/proc/16038/task/16040/stat : 16040 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 1968 0 0 0 147 0 0 0 25 0 4 0 731391369 294621184 5379 33554432000 4194304 4650419 140735744101184 18446744073709551615 4334208 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16038/tid=16041] ppid=16036 vsize=287716 CPUtime=1.49 cores=1,3,5,7
/proc/16038/task/16041/stat : 16041 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 2098 0 0 0 149 0 0 0 25 0 4 0 731391369 294621184 5379 33554432000 4194304 4650419 140735744101184 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 287716

[startup+3.10111 s]
/proc/loadavg: 7.69 7.97 7.78 9/371 16042
/proc/meminfo: memFree=23146972/32950928 swapFree=65730864/67111528
[pid=16038] ppid=16036 vsize=283544 CPUtime=12.34 cores=1,3,5,7
/proc/16038/stat : 16038 (strangenight1-m) R 16036 16038 15496 0 -1 4202496 16229 0 0 0 1232 2 0 0 25 0 4 0 731391369 290349056 10133 33554432000 4194304 4650419 140735744101184 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16038/statm: 70886 10133 392 112 0 65851 0
[pid=16038/tid=16039] ppid=16036 vsize=283544 CPUtime=3.09 cores=1,3,5,7
/proc/16038/task/16039/stat : 16039 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 3549 0 0 0 309 0 0 0 25 0 4 0 731391369 290349056 10133 33554432000 4194304 4650419 140735744101184 18446744073709551615 4311212 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16038/tid=16040] ppid=16036 vsize=283544 CPUtime=3.05 cores=1,3,5,7
/proc/16038/task/16040/stat : 16040 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 4056 0 0 0 305 0 0 0 25 0 4 0 731391369 290349056 10133 33554432000 4194304 4650419 140735744101184 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16038/tid=16041] ppid=16036 vsize=283544 CPUtime=3.09 cores=1,3,5,7
/proc/16038/task/16041/stat : 16041 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 4418 0 0 0 309 0 0 0 25 0 4 0 731391369 290349056 10133 33554432000 4194304 4650419 140735744101184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 283544

[startup+6.30052 s]
/proc/loadavg: 7.72 7.97 7.78 9/371 16042
/proc/meminfo: memFree=23122428/32950928 swapFree=65730864/67111528
[pid=16038] ppid=16036 vsize=290692 CPUtime=25.11 cores=1,3,5,7
/proc/16038/stat : 16038 (strangenight1-m) R 16036 16038 15496 0 -1 4202496 23489 0 0 0 2508 3 0 0 25 0 4 0 731391369 297668608 12844 33554432000 4194304 4650419 140735744101184 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16038/statm: 72673 12844 392 112 0 67638 0
[pid=16038/tid=16039] ppid=16036 vsize=290692 CPUtime=6.29 cores=1,3,5,7
/proc/16038/task/16039/stat : 16039 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 6058 0 0 0 629 0 0 0 25 0 4 0 731391369 297668608 12844 33554432000 4194304 4650419 140735744101184 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16038/tid=16040] ppid=16036 vsize=290692 CPUtime=6.21 cores=1,3,5,7
/proc/16038/task/16040/stat : 16040 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 5834 0 0 0 621 0 0 0 25 0 4 0 731391369 297668608 12844 33554432000 4194304 4650419 140735744101184 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16038/tid=16041] ppid=16036 vsize=290692 CPUtime=6.29 cores=1,3,5,7
/proc/16038/task/16041/stat : 16041 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 6452 0 0 0 629 0 0 0 25 0 4 0 731391369 297668608 12844 33554432000 4194304 4650419 140735744101184 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 290692

[startup+12.7003 s]
/proc/loadavg: 7.74 7.97 7.78 9/371 16042
/proc/meminfo: memFree=23102572/32950928 swapFree=65730864/67111528
[pid=16038] ppid=16036 vsize=299012 CPUtime=50.62 cores=1,3,5,7
/proc/16038/stat : 16038 (strangenight1-m) R 16036 16038 15496 0 -1 4202496 34300 0 0 0 5056 6 0 0 25 0 4 0 731391369 306188288 18814 33554432000 4194304 4650419 140735744101184 18446744073709551615 4365203 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16038/statm: 74753 18814 392 112 0 69718 0
[pid=16038/tid=16039] ppid=16036 vsize=299012 CPUtime=12.69 cores=1,3,5,7
/proc/16038/task/16039/stat : 16039 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 8173 0 0 0 1268 1 0 0 25 0 4 0 731391369 306188288 18814 33554432000 4194304 4650419 140735744101184 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16038/tid=16040] ppid=16036 vsize=299012 CPUtime=12.53 cores=1,3,5,7
/proc/16038/task/16040/stat : 16040 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 8415 0 0 0 1252 1 0 0 25 0 4 0 731391369 306188288 18814 33554432000 4194304 4650419 140735744101184 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16038/tid=16041] ppid=16036 vsize=299012 CPUtime=12.69 cores=1,3,5,7
/proc/16038/task/16041/stat : 16041 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 9958 0 0 0 1268 1 0 0 25 0 4 0 731391369 306188288 18814 33554432000 4194304 4650419 140735744101184 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 299012

[startup+25.501 s]
/proc/loadavg: 7.86 7.98 7.79 9/371 16042
/proc/meminfo: memFree=23070332/32950928 swapFree=65730864/67111528
[pid=16038] ppid=16036 vsize=367240 CPUtime=101.67 cores=1,3,5,7
/proc/16038/stat : 16038 (strangenight1-m) R 16036 16038 15496 0 -1 4202496 49861 0 0 0 10156 11 0 0 25 0 4 0 731391369 376053760 23851 33554432000 4194304 4650419 140735744101184 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16038/statm: 91810 23851 392 112 0 86775 0
[pid=16038/tid=16039] ppid=16036 vsize=367240 CPUtime=25.49 cores=1,3,5,7
/proc/16038/task/16039/stat : 16039 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 11304 0 0 0 2547 2 0 0 25 0 4 0 731391369 376053760 23851 33554432000 4194304 4650419 140735744101184 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16038/tid=16040] ppid=16036 vsize=367240 CPUtime=25.18 cores=1,3,5,7
/proc/16038/task/16040/stat : 16040 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 12784 0 0 0 2515 3 0 0 25 0 4 0 731391369 376053760 23851 33554432000 4194304 4650419 140735744101184 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16038/tid=16041] ppid=16036 vsize=367240 CPUtime=25.49 cores=1,3,5,7
/proc/16038/task/16041/stat : 16041 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 14562 0 0 0 2547 2 0 0 25 0 4 0 731391369 376053760 23851 33554432000 4194304 4650419 140735744101184 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 367240

[startup+51.1003 s]
/proc/loadavg: 7.97 8.00 7.80 9/371 16043
/proc/meminfo: memFree=23073896/32950928 swapFree=65730864/67111528
[pid=16038] ppid=16036 vsize=298844 CPUtime=203.77 cores=1,3,5,7
/proc/16038/stat : 16038 (strangenight1-m) R 16036 16038 15496 0 -1 4202496 75303 0 0 0 20359 18 0 0 25 0 4 0 731391369 306016256 24055 33554432000 4194304 4650419 140735744101184 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16038/statm: 74711 24055 392 112 0 69676 0
[pid=16038/tid=16039] ppid=16036 vsize=298844 CPUtime=51.09 cores=1,3,5,7
/proc/16038/task/16039/stat : 16039 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 16535 0 0 0 5106 3 0 0 25 0 4 0 731391369 306016256 24055 33554432000 4194304 4650419 140735744101184 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16038/tid=16040] ppid=16036 vsize=298844 CPUtime=50.48 cores=1,3,5,7
/proc/16038/task/16040/stat : 16040 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 19347 0 0 0 5043 5 0 0 25 0 4 0 731391369 306016256 24055 33554432000 4194304 4650419 140735744101184 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16038/tid=16041] ppid=16036 vsize=298844 CPUtime=51.09 cores=1,3,5,7
/proc/16038/task/16041/stat : 16041 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 22036 0 0 0 5105 4 0 0 25 0 4 0 731391369 306016256 24055 33554432000 4194304 4650419 140735744101184 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.77
Current children cumulated vsize (KiB) 298844

[startup+102.314 s]
/proc/loadavg: 8.10 8.03 7.82 9/371 16045
/proc/meminfo: memFree=23029680/32950928 swapFree=65730864/67111528
[pid=16038] ppid=16036 vsize=324740 CPUtime=408.02 cores=1,3,5,7
/proc/16038/stat : 16038 (strangenight1-m) R 16036 16038 15496 0 -1 4202496 117519 0 0 0 40770 32 0 0 25 0 4 0 731391369 332533760 28647 33554432000 4194304 4650419 140735744101184 18446744073709551615 4365203 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16038/statm: 81185 28647 392 112 0 76150 0
[pid=16038/tid=16039] ppid=16036 vsize=324740 CPUtime=102.3 cores=1,3,5,7
/proc/16038/task/16039/stat : 16039 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 25768 0 0 0 10224 6 0 0 25 0 4 0 731391369 332533760 28647 33554432000 4194304 4650419 140735744101184 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16038/tid=16040] ppid=16036 vsize=324740 CPUtime=101.09 cores=1,3,5,7
/proc/16038/task/16040/stat : 16040 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 29837 0 0 0 10100 9 0 0 25 0 4 0 731391369 332533760 28647 33554432000 4194304 4650419 140735744101184 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16038/tid=16041] ppid=16036 vsize=324740 CPUtime=102.3 cores=1,3,5,7
/proc/16038/task/16041/stat : 16041 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 35986 0 0 0 10222 8 0 0 25 0 4 0 731391369 332533760 28647 33554432000 4194304 4650419 140735744101184 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.02
Current children cumulated vsize (KiB) 324740

[startup+162.301 s]

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

/proc/16038/task/16041/stat : 16041 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 100841 0 0 0 70197 33 0 0 25 0 4 0 731391369 510181376 68694 33554432000 4194304 4650419 140735744101184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2800.88
Current children cumulated vsize (KiB) 498224

[startup+762.314 s]
/proc/loadavg: 4.12 5.06 6.48 5/362 16079
/proc/meminfo: memFree=23017424/32950928 swapFree=65730864/67111528
[pid=16038] ppid=16036 vsize=498456 CPUtime=3040.23 cores=1,3,5,7
/proc/16038/stat : 16038 (strangenight1-m) R 16036 16038 15496 0 -1 4202496 365284 0 0 0 303875 148 0 0 25 0 4 0 731391369 510418944 71022 33554432000 4194304 4650419 140735744101184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16038/statm: 124614 71022 392 112 0 119579 0
[pid=16038/tid=16039] ppid=16036 vsize=498456 CPUtime=762.32 cores=1,3,5,7
/proc/16038/task/16039/stat : 16039 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 67498 0 0 0 76206 26 0 0 25 0 4 0 731391369 510418944 71022 33554432000 4194304 4650419 140735744101184 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16038/tid=16040] ppid=16036 vsize=498456 CPUtime=753.25 cores=1,3,5,7
/proc/16038/task/16040/stat : 16040 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 98308 0 0 0 75280 45 0 0 25 0 4 0 731391369 510418944 71022 33554432000 4194304 4650419 140735744101184 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16038/tid=16041] ppid=16036 vsize=498456 CPUtime=762.32 cores=1,3,5,7
/proc/16038/task/16041/stat : 16041 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 103081 0 0 0 76197 35 0 0 25 0 4 0 731391369 510418944 71022 33554432000 4194304 4650419 140735744101184 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3040.23
Current children cumulated vsize (KiB) 498456

[startup+822.301 s]
/proc/loadavg: 4.04 4.86 6.32 5/362 16081
/proc/meminfo: memFree=23003724/32950928 swapFree=65730864/67111528
[pid=16038] ppid=16036 vsize=499164 CPUtime=3279.48 cores=1,3,5,7
/proc/16038/stat : 16038 (strangenight1-m) R 16036 16038 15496 0 -1 4202496 381793 0 0 0 327790 158 0 0 25 0 4 0 731391369 511143936 74541 33554432000 4194304 4650419 140735744101184 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16038/statm: 124791 74541 392 112 0 119756 0
[pid=16038/tid=16039] ppid=16036 vsize=499164 CPUtime=822.31 cores=1,3,5,7
/proc/16038/task/16039/stat : 16039 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 68849 0 0 0 82204 27 0 0 25 0 4 0 731391369 511143936 74541 33554432000 4194304 4650419 140735744101184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16038/tid=16040] ppid=16036 vsize=499164 CPUtime=812.53 cores=1,3,5,7
/proc/16038/task/16040/stat : 16040 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 104880 0 0 0 81204 49 0 0 25 0 4 0 731391369 511143936 74541 33554432000 4194304 4650419 140735744101184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16038/tid=16041] ppid=16036 vsize=499164 CPUtime=822.31 cores=1,3,5,7
/proc/16038/task/16041/stat : 16041 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 106652 0 0 0 82194 37 0 0 25 0 4 0 731391369 511143936 74541 33554432000 4194304 4650419 140735744101184 18446744073709551615 4313695 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3279.48
Current children cumulated vsize (KiB) 499164

[startup+882.301 s]
/proc/loadavg: 4.01 4.70 6.17 5/362 16082
/proc/meminfo: memFree=23005644/32950928 swapFree=65730864/67111528
[pid=16038] ppid=16036 vsize=503360 CPUtime=3518.77 cores=1,3,5,7
/proc/16038/stat : 16038 (strangenight1-m) R 16036 16038 15496 0 -1 4202496 396678 0 0 0 351713 164 0 0 25 0 4 0 731391369 515440640 74000 33554432000 4194304 4650419 140735744101184 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16038/statm: 125840 74000 392 112 0 120805 0
[pid=16038/tid=16039] ppid=16036 vsize=503360 CPUtime=882.31 cores=1,3,5,7
/proc/16038/task/16039/stat : 16039 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 70308 0 0 0 88203 28 0 0 25 0 4 0 731391369 515440640 74000 33554432000 4194304 4650419 140735744101184 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16038/tid=16040] ppid=16036 vsize=503360 CPUtime=871.82 cores=1,3,5,7
/proc/16038/task/16040/stat : 16040 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 108600 0 0 0 87131 51 0 0 25 0 4 0 731391369 515440640 74000 33554432000 4194304 4650419 140735744101184 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16038/tid=16041] ppid=16036 vsize=503360 CPUtime=882.31 cores=1,3,5,7
/proc/16038/task/16041/stat : 16041 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 108986 0 0 0 88192 39 0 0 25 0 4 0 731391369 515440640 74000 33554432000 4194304 4650419 140735744101184 18446744073709551615 4313058 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3518.77
Current children cumulated vsize (KiB) 503360

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

[startup+883.101 s]
/proc/loadavg: 4.01 4.70 6.17 5/362 16082
/proc/meminfo: memFree=23005644/32950928 swapFree=65730864/67111528
[pid=16038] ppid=16036 vsize=503360 CPUtime=3521.97 cores=1,3,5,7
/proc/16038/stat : 16038 (strangenight1-m) R 16036 16038 15496 0 -1 4202496 397733 0 0 0 352033 164 0 0 25 0 4 0 731391369 515440640 74955 33554432000 4194304 4650419 140735744101184 18446744073709551615 4476331 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16038/statm: 125840 74955 392 112 0 120805 0
[pid=16038/tid=16039] ppid=16036 vsize=503360 CPUtime=883.11 cores=1,3,5,7
/proc/16038/task/16039/stat : 16039 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 70308 0 0 0 88283 28 0 0 25 0 4 0 731391369 515440640 74955 33554432000 4194304 4650419 140735744101184 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16038/tid=16040] ppid=16036 vsize=503360 CPUtime=872.62 cores=1,3,5,7
/proc/16038/task/16040/stat : 16040 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 108631 0 0 0 87211 51 0 0 25 0 4 0 731391369 515440640 74955 33554432000 4194304 4650419 140735744101184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16038/tid=16041] ppid=16036 vsize=503360 CPUtime=883.11 cores=1,3,5,7
/proc/16038/task/16041/stat : 16041 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 110010 0 0 0 88272 39 0 0 25 0 4 0 731391369 515440640 74955 33554432000 4194304 4650419 140735744101184 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3521.97
Current children cumulated vsize (KiB) 503360

[startup+889.501 s]
/proc/loadavg: 3.85 4.65 6.14 3/362 16082
/proc/meminfo: memFree=23000668/32950928 swapFree=65730864/67111528
[pid=16038] ppid=16036 vsize=503360 CPUtime=3543.33 cores=1,3,5,7
/proc/16038/stat : 16038 (strangenight1-m) R 16036 16038 15496 0 -1 4202496 398829 0 0 0 354168 165 0 0 25 0 4 0 731391369 515440640 75065 33554432000 4194304 4650419 140735744101184 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16038/statm: 125840 75065 392 112 0 120805 0
[pid=16038/tid=16039] ppid=16036 vsize=503360 CPUtime=887.41 cores=1,3,5,7
/proc/16038/task/16039/stat : 16039 (strangenight1-m) S 16036 16038 15496 0 -1 4202560 70308 0 0 0 88713 28 0 0 25 0 4 0 731391369 515440640 75065 33554432000 4194304 4650419 140735744101184 18446744073709551615 47811001534004 0 0 4096 2 18446604454801780800 0 0 -1 5 0 0 0
[pid=16038/tid=16040] ppid=16036 vsize=503360 CPUtime=878.97 cores=1,3,5,7
/proc/16038/task/16040/stat : 16040 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 108805 0 0 0 87846 51 0 0 25 0 4 0 731391369 515440640 75065 33554432000 4194304 4650419 140735744101184 18446744073709551615 47811001509419 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16038/tid=16041] ppid=16036 vsize=503360 CPUtime=887.41 cores=1,3,5,7
/proc/16038/task/16041/stat : 16041 (strangenight1-m) S 16036 16038 15496 0 -1 4202560 110298 0 0 0 88702 39 0 0 25 0 4 0 731391369 515440640 75065 33554432000 4194304 4650419 140735744101184 18446744073709551615 47811001534004 0 0 4096 2 18446604454801780800 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3543.33
Current children cumulated vsize (KiB) 503360

[startup+892.701 s]
/proc/loadavg: 3.85 4.65 6.14 3/362 16083
/proc/meminfo: memFree=23000788/32950928 swapFree=65730864/67111528
[pid=16038] ppid=16036 vsize=503360 CPUtime=3549.73 cores=1,3,5,7
/proc/16038/stat : 16038 (strangenight1-m) R 16036 16038 15496 0 -1 4202496 399150 0 0 0 354808 165 0 0 25 0 4 0 731391369 515440640 75002 33554432000 4194304 4650419 140735744101184 18446744073709551615 4476297 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16038/statm: 125840 75002 392 112 0 120805 0
[pid=16038/tid=16039] ppid=16036 vsize=503360 CPUtime=887.41 cores=1,3,5,7
/proc/16038/task/16039/stat : 16039 (strangenight1-m) S 16036 16038 15496 0 -1 4202560 70308 0 0 0 88713 28 0 0 25 0 4 0 731391369 515440640 75002 33554432000 4194304 4650419 140735744101184 18446744073709551615 47811001534004 0 0 4096 2 18446604454801780800 0 0 -1 5 0 0 0
[pid=16038/tid=16040] ppid=16036 vsize=503360 CPUtime=882.17 cores=1,3,5,7
/proc/16038/task/16040/stat : 16040 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 108805 0 0 0 88166 51 0 0 25 0 4 0 731391369 515440640 75002 33554432000 4194304 4650419 140735744101184 18446744073709551615 47811001509419 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16038/tid=16041] ppid=16036 vsize=503360 CPUtime=887.41 cores=1,3,5,7
/proc/16038/task/16041/stat : 16041 (strangenight1-m) S 16036 16038 15496 0 -1 4202560 110298 0 0 0 88702 39 0 0 25 0 4 0 731391369 515440640 75002 33554432000 4194304 4650419 140735744101184 18446744073709551615 47811001534004 0 0 4096 2 18446604454801780800 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3549.73
Current children cumulated vsize (KiB) 503360

[startup+894.314 s]
/proc/loadavg: 3.70 4.60 6.11 3/362 16083
/proc/meminfo: memFree=23000664/32950928 swapFree=65730864/67111528
[pid=16038] ppid=16036 vsize=503360 CPUtime=3552.96 cores=1,3,5,7
/proc/16038/stat : 16038 (strangenight1-m) R 16036 16038 15496 0 -1 4202496 399150 0 0 0 355131 165 0 0 25 0 4 0 731391369 515440640 75002 33554432000 4194304 4650419 140735744101184 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16038/statm: 125840 75002 392 112 0 120805 0
[pid=16038/tid=16039] ppid=16036 vsize=503360 CPUtime=887.41 cores=1,3,5,7
/proc/16038/task/16039/stat : 16039 (strangenight1-m) S 16036 16038 15496 0 -1 4202560 70308 0 0 0 88713 28 0 0 25 0 4 0 731391369 515440640 75002 33554432000 4194304 4650419 140735744101184 18446744073709551615 47811001534004 0 0 4096 2 18446604454801780800 0 0 -1 5 0 0 0
[pid=16038/tid=16040] ppid=16036 vsize=503360 CPUtime=883.78 cores=1,3,5,7
/proc/16038/task/16040/stat : 16040 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 108805 0 0 0 88327 51 0 0 25 0 4 0 731391369 515440640 75002 33554432000 4194304 4650419 140735744101184 18446744073709551615 47811001509419 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16038/tid=16041] ppid=16036 vsize=503360 CPUtime=887.41 cores=1,3,5,7
/proc/16038/task/16041/stat : 16041 (strangenight1-m) S 16036 16038 15496 0 -1 4202560 110298 0 0 0 88702 39 0 0 25 0 4 0 731391369 515440640 75002 33554432000 4194304 4650419 140735744101184 18446744073709551615 47811001534004 0 0 4096 2 18446604454801780800 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3552.96
Current children cumulated vsize (KiB) 503360

[startup+895.901 s]
/proc/loadavg: 3.70 4.60 6.11 3/362 16083
/proc/meminfo: memFree=23000664/32950928 swapFree=65730864/67111528
[pid=16038] ppid=16036 vsize=503360 CPUtime=3556.13 cores=1,3,5,7
/proc/16038/stat : 16038 (strangenight1-m) R 16036 16038 15496 0 -1 4202496 399182 0 0 0 355448 165 0 0 25 0 4 0 731391369 515440640 75034 33554432000 4194304 4650419 140735744101184 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16038/statm: 125840 75034 392 112 0 120805 0
[pid=16038/tid=16039] ppid=16036 vsize=503360 CPUtime=887.41 cores=1,3,5,7
/proc/16038/task/16039/stat : 16039 (strangenight1-m) S 16036 16038 15496 0 -1 4202560 70308 0 0 0 88713 28 0 0 25 0 4 0 731391369 515440640 75034 33554432000 4194304 4650419 140735744101184 18446744073709551615 47811001534004 0 0 4096 2 18446604454801780800 0 0 -1 5 0 0 0
[pid=16038/tid=16040] ppid=16036 vsize=503360 CPUtime=885.37 cores=1,3,5,7
/proc/16038/task/16040/stat : 16040 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 108805 0 0 0 88486 51 0 0 25 0 4 0 731391369 515440640 75034 33554432000 4194304 4650419 140735744101184 18446744073709551615 47811001509419 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16038/tid=16041] ppid=16036 vsize=503360 CPUtime=887.41 cores=1,3,5,7
/proc/16038/task/16041/stat : 16041 (strangenight1-m) S 16036 16038 15496 0 -1 4202560 110298 0 0 0 88702 39 0 0 25 0 4 0 731391369 515440640 75034 33554432000 4194304 4650419 140735744101184 18446744073709551615 47811001534004 0 0 4096 2 18446604454801780800 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3556.13
Current children cumulated vsize (KiB) 503360

[startup+896.7 s]
/proc/loadavg: 3.70 4.60 6.11 3/362 16083
/proc/meminfo: memFree=23000664/32950928 swapFree=65730864/67111528
[pid=16038] ppid=16036 vsize=503360 CPUtime=3557.73 cores=1,3,5,7
/proc/16038/stat : 16038 (strangenight1-m) R 16036 16038 15496 0 -1 4202496 399255 0 0 0 355608 165 0 0 25 0 4 0 731391369 515440640 75107 33554432000 4194304 4650419 140735744101184 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16038/statm: 125840 75107 392 112 0 120805 0
[pid=16038/tid=16039] ppid=16036 vsize=503360 CPUtime=887.41 cores=1,3,5,7
/proc/16038/task/16039/stat : 16039 (strangenight1-m) S 16036 16038 15496 0 -1 4202560 70308 0 0 0 88713 28 0 0 25 0 4 0 731391369 515440640 75107 33554432000 4194304 4650419 140735744101184 18446744073709551615 47811001534004 0 0 4096 2 18446604454801780800 0 0 -1 5 0 0 0
[pid=16038/tid=16040] ppid=16036 vsize=503360 CPUtime=886.17 cores=1,3,5,7
/proc/16038/task/16040/stat : 16040 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 108805 0 0 0 88566 51 0 0 25 0 4 0 731391369 515440640 75107 33554432000 4194304 4650419 140735744101184 18446744073709551615 4205736 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16038/tid=16041] ppid=16036 vsize=503360 CPUtime=887.41 cores=1,3,5,7
/proc/16038/task/16041/stat : 16041 (strangenight1-m) S 16036 16038 15496 0 -1 4202560 110298 0 0 0 88702 39 0 0 25 0 4 0 731391369 515440640 75107 33554432000 4194304 4650419 140735744101184 18446744073709551615 47811001534004 0 0 4096 2 18446604454801780800 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3557.73
Current children cumulated vsize (KiB) 503360

[startup+897.1 s]
/proc/loadavg: 3.70 4.60 6.11 3/362 16083
/proc/meminfo: memFree=23000664/32950928 swapFree=65730864/67111528
[pid=16038] ppid=16036 vsize=503360 CPUtime=3558.53 cores=1,3,5,7
/proc/16038/stat : 16038 (strangenight1-m) R 16036 16038 15496 0 -1 4202496 399332 0 0 0 355688 165 0 0 25 0 4 0 731391369 515440640 75034 33554432000 4194304 4650419 140735744101184 18446744073709551615 4370537 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16038/statm: 125840 75034 392 112 0 120805 0
[pid=16038/tid=16039] ppid=16036 vsize=503360 CPUtime=887.41 cores=1,3,5,7
/proc/16038/task/16039/stat : 16039 (strangenight1-m) S 16036 16038 15496 0 -1 4202560 70308 0 0 0 88713 28 0 0 25 0 4 0 731391369 515440640 75034 33554432000 4194304 4650419 140735744101184 18446744073709551615 47811001534004 0 0 4096 2 18446604454801780800 0 0 -1 5 0 0 0
[pid=16038/tid=16040] ppid=16036 vsize=503360 CPUtime=886.57 cores=1,3,5,7
/proc/16038/task/16040/stat : 16040 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 108805 0 0 0 88606 51 0 0 25 0 4 0 731391369 515440640 75034 33554432000 4194304 4650419 140735744101184 18446744073709551615 47811001509419 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16038/tid=16041] ppid=16036 vsize=503360 CPUtime=887.41 cores=1,3,5,7
/proc/16038/task/16041/stat : 16041 (strangenight1-m) S 16036 16038 15496 0 -1 4202560 110298 0 0 0 88702 39 0 0 25 0 4 0 731391369 515440640 75034 33554432000 4194304 4650419 140735744101184 18446744073709551615 47811001534004 0 0 4096 2 18446604454801780800 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3558.53
Current children cumulated vsize (KiB) 503360

[startup+897.2 s]
/proc/loadavg: 3.70 4.60 6.11 3/362 16083
/proc/meminfo: memFree=23000664/32950928 swapFree=65730864/67111528
[pid=16038] ppid=16036 vsize=503360 CPUtime=3558.73 cores=1,3,5,7
/proc/16038/stat : 16038 (strangenight1-m) R 16036 16038 15496 0 -1 4202496 399332 0 0 0 355708 165 0 0 25 0 4 0 731391369 515440640 75034 33554432000 4194304 4650419 140735744101184 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16038/statm: 125840 75034 392 112 0 120805 0
[pid=16038/tid=16039] ppid=16036 vsize=503360 CPUtime=887.41 cores=1,3,5,7
/proc/16038/task/16039/stat : 16039 (strangenight1-m) S 16036 16038 15496 0 -1 4202560 70308 0 0 0 88713 28 0 0 25 0 4 0 731391369 515440640 75034 33554432000 4194304 4650419 140735744101184 18446744073709551615 47811001534004 0 0 4096 2 18446604454801780800 0 0 -1 5 0 0 0
[pid=16038/tid=16040] ppid=16036 vsize=503360 CPUtime=886.67 cores=1,3,5,7
/proc/16038/task/16040/stat : 16040 (strangenight1-m) R 16036 16038 15496 0 -1 4202560 108805 0 0 0 88616 51 0 0 25 0 4 0 731391369 515440640 75034 33554432000 4194304 4650419 140735744101184 18446744073709551615 47811001509419 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16038/tid=16041] ppid=16036 vsize=503360 CPUtime=887.41 cores=1,3,5,7
/proc/16038/task/16041/stat : 16041 (strangenight1-m) S 16036 16038 15496 0 -1 4202560 110298 0 0 0 88702 39 0 0 25 0 4 0 731391369 515440640 75034 33554432000 4194304 4650419 140735744101184 18446744073709551615 47811001534004 0 0 4096 2 18446604454801780800 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3558.73
Current children cumulated vsize (KiB) 503360

Child status: 10
Real time (s): 897.231
CPU time (s): 3558.78
CPU user time (s): 3557.11
CPU system time (s): 1.66575
CPU usage (%): 396.64
Max. virtual memory (cumulated for all children) (KiB): 551392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3557.11
system time used= 1.66575
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 399340
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= 206
involuntary context switches= 15300

runsolver used 3.03954 second user time and 7.64784 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-15 00:20:07
IDJOB=3369075
IDBENCH=83084
IDSOLVER=1846
FILE ID=node116/3369075-1305411607
RUNJOBID= node116-1305410264-15849
PBS_JOBID= 13324511
Free space on /tmp= 73132 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S969033069-088.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369075-1305411607/watcher-3369075-1305411607 -o /tmp/evaluation-result-3369075-1305411607/solver-3369075-1305411607 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369075-1305411607.cnf

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

MD5SUM BENCH= 73d9fe7597a311fec40e782ce52bc60b
RANDOM SEED=331938735

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
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:     32950928 kB
MemFree:      23182376 kB
Buffers:         42664 kB
Cached:         112864 kB
SwapCached:      12356 kB
Active:        9502220 kB
Inactive:        59952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23182376 kB
SwapTotal:    67111528 kB
SwapFree:     65730864 kB
Dirty:            6236 kB
Writeback:           0 kB
AnonPages:     9404712 kB
Mapped:          16392 kB
Slab:            96532 kB
PageTables:      44460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 82978312 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= 73132 MiB
End job on node116 at 2011-05-15 00:35:04